- Hyperbolic space
In

mathematics ,**hyperbolic "n"-space**, denoted "H"^{"n"}, is the maximally symmetric,simply connected , "n"-dimensionalRiemannian manifold with constantsectional curvature −1. Hyperbolic space is the principal example of a space exhibitinghyperbolic geometry . It can be thought of as the negative-curvature analogue of the "n"-sphere . Although hyperbolic space "H"^{"n"}isdiffeomorphic to**R**^{"n"}its negative-curvature metric gives it very different geometric properties.Hyperbolic 2-space, "H"², is also called the

hyperbolic plane .**Models of hyperbolic space**Hyperbolic space, developed independently by Lobachevsky and 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". [*Strictly speaking, a slightly more restrictive condition is necessary for uniqueness of the hyperbolic plane: There are "exactly two" such lines which are asymptotically parallel to "L".*] Hyperbolic spaces are constructed in order to model such a modification of Euclidean geometry. In particular, the existence of model spaces implies that the parallel postulate islogically independent of the other axioms of Euclidean geometry.There are several important models of hyperbolic space: the

**Klein model**, the**hyperboloid model**, and the**Poincaré model**. These all model the same geometry in the sense that any two of them can be related by a transformation which preserves all the geometrical properties of the space. They areisometric .**The hyperboloid model**The first 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:$x\_0^2-x\_1^2-ldots-x\_n^2=1,quad\; x\_0>0.$In this model a "line" (orgeodesic ) is the curve cut out by intersecting "H"^{n}with a plane through the origin in**R**^{n+1}.The hyperboloid model is closely related to the geometry of

Minkowski space . Thequadratic form :$Q(x)\; =\; x\_0^2\; -\; x\_1^2\; -\; x\_2^2\; -\; cdots\; -\; x\_n^2$which defines the hyperboloid polarizes to give thebilinear form "B" defined by:$B(x,y)\; =\; (Q(x+y)-Q(x)-Q(y))/2=x\_0y\_0\; -\; x\_1y\_1\; -\; cdots\; -\; x\_ny\_n.$The space**R**^{n+1}, equipped with the bilinear form "B" is an ("n"+1)-dimensional Minkowski space**R**^{n,1}.From this perspective, one can associate a notion of "distance" to the hyperboloid model, by defining the distance between two points "x" and "y" on "H" to be:$d(x,\; y)\; =\; operatorname\{arccosh\},\; B(x,y).$This function satisfies the axioms of a

metric space . [*Note the similarity with the chordal metric on a sphere, which uses trigonometric instead of hyperbolic functions.*] Moreover, it is preserved by the action of theLorentz group on**R**^{n,1}. Hence the Lorentz group acts as atransformation group of isometries on "H"^{n}.**The Klein model**An alternative model of hyperbolic geometry is on a certain domain in

projective space . The Minkowski quadratic form "Q" defines a subset "U"^{n}⊂**RP**^{n}given as the locus of points for which "Q"("x") > 0 in thehomogeneous 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:$d(x,\; y)\; =\; operatorname\{arccosh\}left(frac\{B(x,y)\}\{sqrt\{Q(x)Q(y)\; ight).$Note that 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 "x" ∈ "U"

^{n}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 abijection between "U"^{n}and "H"^{n}. It is an isometry since evaluating "d"("x","y") along "Q"("x") = "Q"("y") = 1 reproduces the definition of the distance given for the hyperboloid model.**The Poincaré models**: "Main articles:

Poincaré disc model ,Poincaré half-plane model "Another closely related pair of models of hyperbolic geometry are the Poincaré ball and Poincaré half-space models. The ball model comes from astereographic projection of the hyperboloid in**R**^{n+1}onto the plane {"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 :$B^n\; =\; \{(x\_1,ldots,x\_n)\; |\; x\_1^2+ldots+x\_n^2\; <\; 1\}$in the plane {"x"_{0}= 0}.The geodesics in this model are

semicircle s which 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 an

inversion in a point of the boundary of "B"^{n}. This sends circles to circles and lines, and is moreover aconformal transformation . Consequently the geodesics of the half-space model are lines and circles perpendicular to the boundary hyperplane.**Hyperbolic manifolds**Every complete, connected,

simply-connected manifold of constant negative curvature −1 isisometric to the real hyperbolic space "H"^{"n"}. As a result, theuniversal cover of anyclosed manifold "M" of constant negative curvature −1, which is to say, ahyperbolic manifold , is "H"^{"n"}. Thus, every such "M" can be written as "H"^{"n"}/Γ where Γ is a torsion-freediscrete group of isometries on "H"^{"n"}. That is, Γ is a lattice in SO^{+}("n",1).**Riemann surfaces**Two-dimensional hyperbolic surfaces can also be understood according to the language of

Riemann surface s. According to theuniformization theorem , every Riemann surface is either elliptic, parabolic or hyperbolic. Most hyperbolic surfaces have a non-trivialfundamental group $pi\_1=Gamma$; the groups that arise this way are known asFuchsian group s. Thequotient space **H**/Γ of the upper half-planemodulo the fundamental group is known as theFuchsian model of the hyperbolic surface. ThePoincaré half plane is also hyperbolic, but issimply connected andnoncompact . It is theuniversal cover of the other hyperbolic surfaces.The analogous construction for three-dimensional hyperbolic surfaces is the

Kleinian model .**ee also***

Mostow rigidity theorem

*Hyperbolic manifold

*Hyperbolic 3-manifold **References*** 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.

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**hyperbolic space**— hiperbolinė erdvė statusas T sritis fizika atitikmenys: angl. hyperbolic space vok. hyperbolischer Raum, m rus. гиперболическое пространство, n pranc. espace hyperbolique, m … Fizikos terminų žodynas**hyperbolic space**— noun Any space exhibiting hyperbolic geometry rather than Cartesian geometry … Wiktionary**Δ-hyperbolic space**— In mathematics, a delta; hyperbolic space is a geodesic metric space in which every geodesic triangle is delta; thin .There are many equivalent definitions of delta; thin . A simple definition is as follows: pick three points and draw geodesic… … Wikipedia**δ-hyperbolic space**— In mathematics, a δ hyperbolic space is a geodesic metric space in which every geodesic triangle is δ thin. There are many equivalent definitions of δ thin . A simple definition is as follows: pick three points and draw geodesic lines between… … Wikipedia**Convex uniform honeycombs in hyperbolic space**— The {5,3,4} honeycomb in 3D hyperbolic space, viewed in perspective In geometry, a convex uniform honeycomb is a tessellation of convex uniform polyhedron cells. In 3 dimensional hyperbolic space there are nine Coxeter group f … Wikipedia**Hyperbolic geometry**— Lines through a given point P and asymptotic to line R. A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparall … Wikipedia**Hyperbolic group**— In group theory, a hyperbolic group, also known as a word hyperbolic group, Gromov hyperbolic group, negatively curved group is a finitely generated group equipped with a word metric satisfying certain properties characteristic of hyperbolic… … Wikipedia**Hyperbolic quaternion**— In mathematics, a hyperbolic quaternion is a mathematical concept first suggested by Alexander MacFarlane in 1891 in a speech to the American Association for the Advancement of Science. The idea was criticized for its failure to conform to… … Wikipedia**Hyperbolic tree**— In Web development jargon and information visualization, a hyperbolic tree (often shortened as hypertree) defines a visualization method for a graph inspired by hyperbolic geometry.Displaying hierarchical data as a tree suffers from visual… … Wikipedia**Hyperbolic 3-manifold**— A hyperbolic 3 manifold is a 3 manifold equipped with a complete Riemannian metric of constant sectional curvature 1. In other words, it is the quotient of three dimensional hyperbolic space by a subgroup of hyperbolic isometries acting freely… … Wikipedia