Editing Hyperbolic space

{{Short description|Non-Euclidean geometry}}
[[File:Hyperbolic orthogonal dodecahedral honeycomb.png|thumb|A perspective projection of a [[Hyperbolic small dodecahedral honeycomb|dodecahedral tessellation]] in [[Hyperbolic 3-manifold|'''H'''<sup>3</sup>]].{{br}}Four [[dodecahedron|dodecahedra]] meet at each edge, and eight meet at each vertex, like the cubes of a [[Cubic honeycomb|cubic tessellation]] in ''[[Euclidean space|E<sup>3</sup>]]'']]

In [[mathematics]], '''hyperbolic space''' of dimension ''n'' is the unique [[simply connected]], ''n''-dimensional [[Riemannian manifold]] of constant [[sectional curvature]] equal to&nbsp;−1.<ref name=gn98>
{{citation
 | last1 = Grigor'yan | first1 = Alexander
 | last2 = Noguchi | first2 = Masakazu
 | doi = 10.1112/S0024609398004780
 | issue = 6
 | journal = The Bulletin of the London Mathematical Society
 | mr = 1642767
 | pages = 643–650
 | title = The heat kernel on hyperbolic space
 | volume = 30
 | year = 1998}}</ref> It is [[homogeneous space|homogeneous]], and satisfies the stronger property of being a [[symmetric space]]. There are many ways to construct it as an open subset of <math>\mathbb R^n</math> with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, '''H'''<sup>2</sup>, which was the first instance studied, is also called the [[hyperbolic plane]]. 

It is also sometimes referred to as '''Lobachevsky space''' or '''Bolyai–Lobachevsky space''' after the names of the author who first published on the topic of [[hyperbolic geometry]]. Sometimes the qualificative "real" is added to distinguish it from [[complex hyperbolic space]]s. 

Hyperbolic space serves as the prototype of a [[Gromov hyperbolic space]], which is a far-reaching notion including differential-geometric as well as more combinatorial spaces via a synthetic approach to negative curvature. Another generalisation is the notion of a [[CAT(k) space|CAT(−1)]] space.

== Formal definition and models ==

=== Definition ===
The <math>n</math>-dimensional hyperbolic space or '''hyperbolic <math>n</math>-space''', usually denoted <math>\mathbb H^n</math>, is the unique simply connected, <math>n</math>-dimensional [[Riemannian manifold#Geodesic completeness|complete]] Riemannian manifold with a constant negative sectional curvature equal to −1.<ref name=gn98/> The unicity means that any two Riemannian manifolds that satisfy these properties are isometric to each other. It is a consequence of the [[Killing–Hopf theorem]].

=== Models of hyperbolic space ===

To prove the existence of such a space as described above one can explicitly construct it, for example as an open subset of <math>\mathbb R^n</math> with a Riemannian metric given by a simple formula. There are many such constructions or models of hyperbolic space, each suited to different aspects of its study. They are isometric to each other according to the previous paragraph, and in each case an explicit isometry can be explicitly given. Here is a list of the better-known models which are described in more detail in their namesake articles:
* [[Poincaré half-space model]]: this is the upper-half space <math>\{(x_1, \ldots, x_n) \in \mathbb R^n : x_n > 0\}</math> with the metric <math>\tfrac{dx_1^2+\cdots + dx_n^2}{x_n^2}</math>
* [[Poincaré disc model]]: this is the unit ball of <math>\mathbb R^n</math> with the metric <math>4\tfrac{dx_1^2+\cdots + dx_n^2}{(1 - (x_1^2 + \cdots + x_n^2))^2}</math>. The isometry to the half-space model can be realised by a [[homography]] sending a point of the [[unit sphere]] to infinity. 
* [[Hyperboloid model]]: In contrast with the previous two models this realises hyperbolic <math>n</math>-space as isometrically embedded inside the <math>(n+1)</math>-dimensional [[Minkowski space]] (which is not a Riemannian but rather a [[Lorentzian manifold]]). More precisely, looking at the quadratic form <math>q(x) = x_1^2 + \cdots + x_n^2 - x_{n+1}^2</math> on <math>\mathbb R^{n+1}</math>, its restriction to the tangent spaces of the upper sheet of the [[hyperboloid]] given by <math>q(x) = -1</math> are definite positive, hence they endow it with a Riemannian metric that turns out to be of constant curvature −1. The isometry to the previous models can be realised by [[stereographic projection]] from the hyperboloid to the plane <math>\{x_{n+1} = 0\}</math>, taking the vertex from which to project to be <math>(0, \ldots, 0, 1)</math> for the ball and a point at infinity in the cone <math>q(x)=0</math> inside [[projective space]] for the half-space. 
* [[Beltrami–Klein model]]: This is another model realised on the unit ball of <math>\mathbb R^n</math>; rather than being given as an explicit metric it is usually presented as obtained by using stereographic projection from the hyperboloid model in Minkowski space to its horizontal tangent plane (that is, <math>x_{n+1}=1</math>) from the origin <math>(0, \ldots, 0)</math>.
* Symmetric space: Hyperbolic <math>n</math>-space can be realised as the symmetric space of the simple Lie group <math>\mathrm{SO}(n, 1)</math> (the group of isometries of the quadratic form <math>q</math> with positive determinant); as a set the latter is the [[coset space]] <math>\mathrm{SO}(n, 1)/\mathrm{O}(n)</math>. The isometry to the hyperboloid model is immediate through the action of the connected component of <math>\mathrm{SO}(n, 1)</math> on the hyperboloid.

== Geometric properties ==

=== Parallel lines ===
Hyperbolic space, developed independently by [[Nikolai Lobachevsky]], [[János Bolyai]] and [[Carl Friedrich Gauss]], is a geometric 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&nbsp;''L'', there are at least two distinct lines passing through ''P'' that do not intersect&nbsp;''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 {{nowrap|''K'' < 0}},  that must be specified. However, it does uniquely characterize it up to [[homothety]], meaning up to bijections that 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 {{nowrap|1=''K'' = −1}}.

=== Euclidean embeddings ===
The hyperbolic plane cannot be isometrically embedded into Euclidean 3-space by [[Hilbert's theorem (differential geometry)|Hilbert's theorem]]. On the other hand the [[Nash embedding theorem]] implies that hyperbolic n-space can be isometrically embedded into some Euclidean space of larger dimension (5 for the hyperbolic plane by the Nash embedding theorem). 

When isometrically embedded to a Euclidean space every point of a hyperbolic space is a [[saddle point]].

=== Volume growth and isoperimetric inequality ===
The volume of balls in hyperbolic space increases [[exponential growth|exponentially]] with respect to the radius of the ball rather than [[polynomial]]ly as in Euclidean space. Namely, if <math>B(r)</math> is any ball of radius <math>r</math> in <math>\mathbb H^n</math> then:<math display=block> \mathrm{Vol}(B(r)) = \mathrm{Vol}(S^{n-1}) \int_0^r \sinh^{n-1}(t) dt</math>
where <math>S^{n-1}</math> is the total volume of the Euclidean [[n-sphere|<math>(n-1)</math>-sphere]] of radius&nbsp;1.

The hyperbolic space also satisfies a linear [[isoperimetric inequality]], that is there exists a constant <math>i</math> such that any embedded disk whose boundary has length <math>r</math> has area at most <math>i \cdot r</math>. This is to be contrasted with Euclidean space where the isoperimetric inequality is quadratic.

=== Other metric properties ===
{{main|Gromov hyperbolic space|CAT space}}
There are many more metric properties of hyperbolic space that differentiate it from Euclidean space. Some can be generalised to the setting of Gromov-hyperbolic spaces, which is a generalisation of the notion of negative curvature to general metric spaces using only the large-scale properties. A finer notion is that of a CAT(−1)-space.

== Hyperbolic manifolds ==
Every [[complete space|complete]], [[connected space|connected]], [[simply connected]] manifold of constant negative curvature &minus;1 is [[Isometry|isometric]] to the real hyperbolic space&nbsp;'''H'''<sup>''n''</sup>. As a result, the [[universal cover]] of any [[closed manifold]] ''M'' of constant negative curvature&nbsp;−1, which is to say, a [[hyperbolic manifold]], is  '''H'''<sup>''n''</sup>. Thus, every such ''M'' can be written as '''H'''<sup>''n''</sup>{{px2}}/{{px2}}Γ, where Γ is a [[torsion (algebra)|torsion-free]] [[discrete group]] of [[isometry|isometries]] on '''H'''<sup>''n''</sup>.  That is, Γ is a [[lattice (discrete subgroup)|lattice]] in {{nowrap|[[Indefinite orthogonal group|SO<sup>+</sup>(''n'', 1)]]}}.

=== Riemann surfaces ===
Two-dimensional hyperbolic surfaces can also be understood according to the language of [[Riemann surface]]s. According to the [[uniformization theorem]], every Riemann surface is either elliptic, parabolic or hyperbolic. Most hyperbolic surfaces have a non-trivial [[fundamental group]] {{nowrap|1=π<sub>1</sub> = Γ}}; the groups that arise this way are known as [[Fuchsian group]]s. The [[Quotient space (topology)|quotient space]] '''H'''<sup>2</sup>{{px2}}/{{px2}}Γ of the upper half-plane [[Ideal (ring theory)|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]].

== See also ==
* [[Dini's surface]]
* [[Hyperbolic 3-manifold]]
* [[Ideal polyhedron]]
* [[Mostow rigidity theorem]]
* [[Murakami–Yano formula]]
* [[Pseudosphere]]

== References ==
=== Footnotes ===
{{reflist}}

=== Bibliography ===
* 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.

[[Category:Homogeneous spaces]]
[[Category:Hyperbolic geometry]]
[[Category:Topological spaces]]