Hyperbolic Space

Get Hyperbolic Space essential facts below. View Videos or join the Hyperbolic Space discussion. Add Hyperbolic Space to your PopFlock.com topic list for future reference or share this resource on social media.
## Formal definition

## Models of hyperbolic space

### Hyperboloid model

### Klein model

### Poincaré ball model

### Poincaré half-space model

## Hyperbolic manifolds

### Riemann surfaces

## See also

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Hyperbolic Space

In mathematics, a **hyperbolic space** is a homogeneous space that has a constant negative curvature, where in this case the curvature is the sectional curvature. It is hyperbolic geometry in more than 2 dimensions, and is distinguished from Euclidean spaces with zero curvature that define the Euclidean geometry, and elliptic geometry that have a constant positive curvature.

When embedded to a Euclidean space (of a higher dimension), every point of a hyperbolic space is a saddle point. Another distinctive property is the amount of space covered by the *n*-ball in hyperbolic *n*-space: it increases exponentially with respect to the radius of the ball for large radii, rather than polynomially.

**Hyperbolic n-space**, denoted

Hyperbolic 2-space, **H**^{2}, is also called the hyperbolic plane.

Hyperbolic space, developed independently by Nikolai Lobachevsky and János Bolyai, is a geometrical space analogous to Euclidean space, but such that Euclid's parallel postulate is no longer assumed to hold. Instead, the parallel postulate is replaced by the following alternative (in two dimensions):

- Given any line
*L*and point*P*not on*L*, there are at least two distinct lines passing through*P*which do not intersect*L*.

It is then a theorem that there are infinitely many such lines through *P*. This axiom still does not uniquely characterize the hyperbolic plane up to isometry; there is an extra constant, the curvature , which must be specified. However, it does uniquely characterize it up to homothety, meaning up to bijections which only change the notion of distance by an overall constant. By choosing an appropriate length scale, one can thus assume, without loss of generality, that .

Models of hyperbolic spaces that can be embedded in a flat (e.g. Euclidean) spaces may be constructed. In particular, the existence of model spaces implies that the parallel postulate is logically independent of the other axioms of Euclidean geometry.

There are several important models of hyperbolic space: the **Klein model**, the **hyperboloid model**, the **Poincaré ball model** and the **Poincaré half space model**. These all model the same geometry in the sense that any two of them can be related by a transformation that preserves all the geometrical properties of the space, including isometry (though not with respect to the metric of a Euclidean embedding).

The hyperboloid model realizes hyperbolic space as a hyperboloid in **R**^{n+1} = {(*x*_{0},...,*x*_{n})|*x*_{i}?**R**, *i*=0,1,...,*n*}. The hyperboloid is the locus **H**^{n} of points whose coordinates satisfy

In this model a *line* (or geodesic) is the curve formed by the intersection of **H**^{n} with a plane through the origin in **R**^{n+1}.

The hyperboloid model is closely related to the geometry of Minkowski space. The quadratic form

which defines the hyperboloid, polarizes to give the bilinear form

The space **R**^{n+1}, equipped with the bilinear form *B*, is an (*n*+1)-dimensional Minkowski space **R**^{n,1}.

One can associate a *distance* on the hyperboloid model by defining^{[1]} the distance between two points *x* and *y* on **H**^{n} to be

This function satisfies the axioms of a metric space. It is preserved by the action of the Lorentz group on **R**^{n,1}. Hence the Lorentz group acts as a transformation group preserving isometry on **H**^{n}.

An alternative model of hyperbolic geometry is on a certain domain in projective space. The Minkowski quadratic form *Q* defines a subset given as the locus of points for which in the homogeneous coordinates *x*. The domain *U*^{n} is the **Klein model** of hyperbolic space.

The lines of this model are the open line segments of the ambient projective space which lie in *U*^{n}. The distance between two points *x* and *y* in *U*^{n} is defined by

This is well-defined on projective space, since the ratio under the inverse hyperbolic cosine is homogeneous of degree 0.

This model is related to the hyperboloid model as follows. Each point corresponds to a line *L*_{x} through the origin in **R**^{n+1}, by the definition of projective space. This line intersects the hyperboloid **H**^{n} in a unique point. Conversely, through any point on **H**^{n}, there passes a unique line through the origin (which is a point in the projective space). This correspondence defines a bijection between *U*^{n} and **H**^{n}. It is an isometry, since evaluating along reproduces the definition of the distance given for the hyperboloid model.

A closely related pair of models of hyperbolic geometry are the Poincaré ball and Poincaré half-space models.

The ball model comes from a stereographic projection of the hyperboloid in **R**^{n+1} onto the hyperplane {*x*_{0} = 0}. In detail, let *S* be the point in **R**^{n+1} with coordinates (-1,0,0,...,0): the *South pole* for the stereographic projection. For each point *P* on the hyperboloid **H**^{n}, let *P*^{*} be the unique point of intersection of the line *SP* with the plane {*x*_{0} = 0}.

This establishes a bijective mapping of **H**^{n} into the unit ball

in the plane {*x*_{0} = 0}.

The geodesics in this model are semicircles that are perpendicular to the boundary sphere of *B*^{n}. Isometries of the ball are generated by spherical inversion in hyperspheres perpendicular to the boundary.

The half-space model results from applying inversion in a circle with centre a boundary point of the Poincaré ball model *B*^{n} above and a radius of twice the radius.

This sends circles to circles and lines, and is moreover a conformal transformation. Consequently, the geodesics of the half-space model are lines and circles perpendicular to the boundary hyperplane.

Every complete, connected, simply connected manifold of constant negative curvature −1 is isometric to the real hyperbolic space **H**^{n}. As a result, the universal cover of any closed manifold *M* of constant negative curvature −1, which is to say, a hyperbolic manifold, is **H**^{n}. Thus, every such *M* can be written as **H**^{n}/? where ? is a torsion-free discrete group of isometries on **H**^{n}. That is, ? is a lattice in SO^{+}(*n*,1).

Two-dimensional hyperbolic surfaces can also be understood according to the language of Riemann surfaces. According to the uniformization theorem, every Riemann surface is either elliptic, parabolic or hyperbolic. Most hyperbolic surfaces have a non-trivial fundamental group ?_{1}=?; the groups that arise this way are known as Fuchsian groups. The quotient space **H**²/? of the upper half-plane modulo the fundamental group is known as the Fuchsian model of the hyperbolic surface. The Poincaré half plane is also hyperbolic, but is simply connected and noncompact. It is the universal cover of the other hyperbolic surfaces.

The analogous construction for three-dimensional hyperbolic surfaces is the Kleinian model.

- Dini's surface
- Hyperbolic 3-manifold
- Ideal polyhedron
- Mostow rigidity theorem
- Murakami-Yano formula
- Pseudosphere

**^**Note the similarity with the chordal metric on a sphere, which uses trigonometric instead of hyperbolic functions.

- A'Campo, Norbert and Papadopoulos, Athanase, (2012)
*Notes on hyperbolic geometry*, in: Strasbourg Master class on Geometry, pp. 1-182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zürich: European Mathematical Society (EMS), 461 pages, SBN ISBN 978-3-03719-105-7, DOI 10.4171/105. - Ratcliffe, John G.,
*Foundations of hyperbolic manifolds*, New York, Berlin. Springer-Verlag, 1994. - Reynolds, William F. (1993) "Hyperbolic Geometry on a Hyperboloid", American Mathematical Monthly 100:442-455.
- Wolf, Joseph A.
*Spaces of constant curvature*, 1967. See page 67. - Hyperbolic Voronoi diagrams made easy, Frank Nielsen

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists