In geometry, the hyperboloid model, also known as the Minkowski model after Hermann Minkowski, is a model of n-dimensional hyperbolic geometry in which points are represented by points on the forward sheet S+ of a two-sheeted hyperboloid in (n+1)-dimensional Minkowski space or by the displacement vectors from the origin to those points, and m-planes are represented by the intersections of (m+1)-planes passing through the origin in Minkowski space with S+ or by wedge products of m vectors. Hyperbolic space is embedded isometrically in Minkowski space; that is, the hyperbolic distance function is inherited from Minkowski space, analogous to the way spherical distance is inherited from Euclidean distance when the n-sphere is embedded in (n+1)-dimensional Euclidean space.
![](https://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/HyperboloidProjection.png/220px-HyperboloidProjection.png)
Other models of hyperbolic space can be thought of as map projections of S+: the Beltrami–Klein model is the projection of S+ through the origin onto a plane perpendicular to a vector from the origin to specific point in S+ analogous to the gnomonic projection of the sphere; the Poincaré disk model is a projection of S+ through a point on the other sheet S− onto perpendicular plane, analogous to the stereographic projection of the sphere; the Gans model is the orthogonal projection of S+ onto a plane perpendicular to a specific point in S+, analogous to the orthographic projection; the band model of the hyperbolic plane is a conformal “cylindrical” projection analogous to the Mercator projection of the sphere; Lobachevsky coordinates are a cylindrical projection analogous to the equirectangular projection (longitude, latitude) of the sphere.
Minkowski quadratic form
editIf (x0, x1, ..., xn) is a vector in the (n + 1)-dimensional coordinate space Rn+1, the Minkowski quadratic form is defined to be
The vectors v ∈ Rn+1 such that Q(v) = -1 form an n-dimensional hyperboloid S consisting of two connected components, or sheets: the forward, or future, sheet S+, where x0>0 and the backward, or past, sheet S−, where x0<0. The points of the n-dimensional hyperboloid model are the points on the forward sheet S+.
The metric on the hyperboloid is The Minkowski bilinear form B is the polarization of the Minkowski quadratic form Q,
(This is sometimes also written using scalar product notation ) Explicitly,
The hyperbolic distance between two points u and v of S+ is given by the formula
where arcosh is the inverse function of hyperbolic cosine.
Choice of metric signature
editThe bilinear form also functions as the metric tensor over the space. In n+1 dimensional Minkowski space, there are two choices for the metric with opposite signature, in the 3-dimensional case either (+, −, −) or (−, +, +).
If the signature (−, +, +) is chosen, then the scalar square of chords between distinct points on the same sheet of the hyperboloid will be positive, which more closely aligns with conventional definitions and expectations in mathematics. Then n-dimensional hyperbolic space is a Riemannian space and distance or length can be defined as the square root of the scalar square. If the signature (+, −, −) is chosen, scalar square between distinct points on the hyperboloid will be negative, so various definitions of basic terms must be adjusted, which can be inconvenient. Nonetheless, the signature (+, −, −, −) is also common for describing spacetime in physics. (Cf. Sign convention#Metric signature.)
Straight lines
editA straight line in hyperbolic n-space is modeled by a geodesic on the hyperboloid. A geodesic on the hyperboloid is the (non-empty) intersection of the hyperboloid with a two-dimensional linear subspace (including the origin) of the n+1-dimensional Minkowski space. If we take u and v to be basis vectors of that linear subspace with
and use w as a real parameter for points on the geodesic, then
will be a point on the geodesic.[1]
More generally, a k-dimensional "flat" in the hyperbolic n-space will be modeled by the (non-empty) intersection of the hyperboloid with a k+1-dimensional linear subspace (including the origin) of the Minkowski space.
Isometries
editThe indefinite orthogonal group O(1,n), also called the (n+1)-dimensional Lorentz group, is the Lie group of real (n+1)×(n+1) matrices which preserve the Minkowski bilinear form. In a different language, it is the group of linear isometries of the Minkowski space. In particular, this group preserves the hyperboloid S. Recall that indefinite orthogonal groups have four connected components, corresponding to reversing or preserving the orientation on each subspace (here 1-dimensional and n-dimensional), and form a Klein four-group. The subgroup of O(1,n) that preserves the sign of the first coordinate is the orthochronous Lorentz group, denoted O+(1,n), and has two components, corresponding to preserving or reversing the orientation of the spatial subspace. Its subgroup SO+(1,n) consisting of matrices with determinant one is a connected Lie group of dimension n(n+1)/2 which acts on S+ by linear automorphisms and preserves the hyperbolic distance. This action is transitive and the stabilizer of the vector (1,0,...,0) consists of the matrices of the form
Where belongs to the compact special orthogonal group SO(n) (generalizing the rotation group SO(3) for n = 3). It follows that the n-dimensional hyperbolic space can be exhibited as the homogeneous space and a Riemannian symmetric space of rank 1,
The group SO+(1,n) is the full group of orientation-preserving isometries of the n-dimensional hyperbolic space.
In more concrete terms, SO+(1,n) can be split into n(n-1)/2 rotations (formed with a regular Euclidean rotation matrix in the lower-right block) and n hyperbolic translations, which take the form
where is the distance translated (along the x axis in this case), and the 2nd row/column can be exchanged with a different pair to change to a translation along a different axis. The general form of a translation in 3 dimensions along the vector is:
where . This extends naturally to more dimensions, and is also the simplified version of a Lorentz boost when you remove the relativity-specific terms.
Examples of groups of isometries
editThe group of all isometries of the hyperboloid model is O+(1,n). Any group of isometries is a subgroup of it.
Reflections
editFor two points , there is a unique reflection exchanging them.
Let . Note that , and therefore .
Then
is a reflection that exchanges and . This is equivalent to the following matrix:
(note the use of block matrix notation).
Then is a group of isometries. All such subgroups are conjugate.
Rotations and reflections
editis the group of rotations and reflections that preserve . The function is an isomorphism from O(n) to this group. For any point , if is an isometry that maps to , then is the group of rotations and reflections that preserve .
Translations
editFor any real number , there is a translation
This is a translation of distance in the positive x direction if or of distance in the negative x direction if . Any translation of distance is conjugate to and . The set is the group of translations through the x-axis, and a group of isometries is conjugate to it if and only if it is a group of isometries through a line.
For example, let's say we want to find the group of translations through a line . Let be an isometry that maps to and let be an isometry that fixes and maps to . An example of such a is a reflection exchanging and (assuming they are different), because they are both the same distance from . Then is an isometry mapping to and a point on the positive x-axis to . is a translation through the line of distance . If , it is in the direction. If , it is in the direction. is the group of translations through .
Symmetries of horospheres
editLet H be some horosphere such that points of the form are inside of it for arbitrarily large x. For any vector b in
is a hororotation that maps H to itself. The set of such hororotations is the group of hororotations preserving H. All hororotations are conjugate to each other.
For any in O(n-1)
is a rotation or reflection that preserves H and the x-axis. These hororotations, rotations, and reflections generate the group of symmetries of H. The symmetry group of any horosphere is conjugate to it. They are isomorphic to the Euclidean group E(n-1).
History
editIn several papers between 1878-1885, Wilhelm Killing[2][3][4] used the representation he attributed to Karl Weierstrass for Lobachevskian geometry. In particular, he discussed quadratic forms such as or in arbitrary dimensions , where is the reciprocal measure of curvature, denotes Euclidean geometry, elliptic geometry, and hyperbolic geometry.
According to Jeremy Gray (1986),[5] Poincaré used the hyperboloid model in his personal notes in 1880. Poincaré published his results in 1881, in which he discussed the invariance of the quadratic form .[6] Gray shows where the hyperboloid model is implicit in later writing by Poincaré.[7]
Also Homersham Cox in 1882[8][9] used Weierstrass coordinates (without using this name) satisfying the relation as well as .
Further exposure of the model was given by Alfred Clebsch and Ferdinand Lindemann in 1891 discussing the relation and .[10]
Weierstrass coordinates were also used by Gérard (1892),[11] Felix Hausdorff (1899),[12] Frederick S. Woods (1903)],[13] Heinrich Liebmann (1905).[14]
The hyperboloid was explored as a metric space by Alexander Macfarlane in his Papers in Space Analysis (1894). He noted that points on the hyperboloid could be written as
where
H. Jansen made the hyperboloid model the explicit focus of his 1909 paper "Representation of hyperbolic geometry on a two sheeted hyperboloid".[15] In 1993 W.F. Reynolds recounted some of the early history of the model in his article in the American Mathematical Monthly.[16]
Being a commonplace model by the twentieth century, it was identified with the Geschwindigkeitsvectoren (velocity vectors) by Hermann Minkowski in his 1907 Göttingen lecture 'The Relativity Principle'. Scott Walter, in his 1999 paper "The Non-Euclidean Style of Minkowskian Relativity"[17] recalls Minkowski's awareness, but traces the lineage of the model to Hermann Helmholtz rather than Weierstrass and Killing.
In the early years of relativity the hyperboloid model was used by Vladimir Varićak to explain the physics of velocity. In his speech to the German mathematical union in 1912 he referred to Weierstrass coordinates.[18]
See also
editNotes and references
edit- ^ a b Alexander Macfarlane (1894) Papers on Space Analysis, B. Westerman, New York, weblink from archive.org
- ^ Killing, W. (1878) [1877]. "Ueber zwei Raumformen mit constanter positiver Krümmung". Journal für die Reine und Angewandte Mathematik. 86: 72–83.
- ^ Killing, W. (1880) [1879]. "Die Rechnung in den Nicht-Euklidischen Raumformen". Journal für die Reine und Angewandte Mathematik. 89: 265–287.
- ^ Killing, W. (1885). Die nicht-euklidischen Raumformen. Leipzig.
{{cite book}}
: CS1 maint: location missing publisher (link) - ^ Linear differential equations and group theory from Riemann to Poincaré (pages 271,2)
- ^ Poincaré, H. (1881). "Sur les applications de la géométrie non-euclidienne à la théorie des formes quadratiques" (PDF). Association Française Pour l'Avancement des Sciences. 10: 132–138.
- ^ See also Poincaré: On the fundamental hypotheses of geometry 1887 Collected works vol.11, 71-91 and referred to in the book of B.A. Rosenfeld A History of Non-Euclidean Geometry p.266 in English version (Springer 1988).
- ^ Cox, H. (1881). "Homogeneous coordinates in imaginary geometry and their application to systems of forces". The Quarterly Journal of Pure and Applied Mathematics. 18 (70): 178–192.
- ^ Cox, H. (1882) [1881]. "Homogeneous coordinates in imaginary geometry and their application to systems of forces (continued)". The Quarterly Journal of Pure and Applied Mathematics. 18 (71): 193–215.
- ^ Lindemann, F. (1891) [1890]. Vorlesungen über Geometrie von Clebsch II. Leipzig. p. 524.
{{cite book}}
: CS1 maint: location missing publisher (link) - ^ Gérard, L. (1892). Sur la géométrie non-Euclidienne. Paris: Gauthier-Villars.
- ^ Hausdorff, F. (1899). "Analytische Beiträge zur nichteuklidischen Geometrie". Leipziger Math.-Phys. Berichte. 51: 161–214. hdl:2027/hvd.32044092889328.
- ^ Woods, F. S. (1905) [1903]. "Forms of non-Euclidean space". The Boston Colloquium: Lectures on Mathematics for the Year 1903: 31–74.
- ^ Liebmann, H. (1905) [1904]. Nichteuklidische Geometrie. Leipzig: Göschen.
- ^ Abbildung hyperbolische Geometrie auf ein zweischaliges Hyperboloid Mitt. Math. Gesellsch Hamburg 4:409–440.
- ^ Reynolds, William F. (1993) "Hyperbolic geometry on a hyperboloid", American Mathematical Monthly 100:442–55, Jstor link
- ^ Walter, Scott A. (1999), "The non-Euclidean style of Minkowskian relativity", in J. Gray (ed.), The Symbolic Universe: Geometry and Physics 1890-1930, Oxford University Press, pp. 91–127
- ^ Varićak, V. (1912), , Jahresbericht der Deutschen Mathematiker-Vereinigung, 21: 103–127
- Alekseevskij, D.V.; Vinberg, E.B.; Solodovnikov, A.S. (1993), Geometry of Spaces of Constant Curvature, Encyclopaedia of Mathematical Sciences, Berlin, New York: Springer-Verlag, ISBN 978-3-540-52000-9
- Anderson, James (2005), Hyperbolic Geometry, Springer Undergraduate Mathematics Series (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-1-85233-934-0
- Ratcliffe, John G. (1994), Foundations of hyperbolic manifolds, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94348-0, Chapter 3
- Miles Reid & Balázs Szendröi (2005) Geometry and Topology, Figure 3.10, p 45, Cambridge University Press, ISBN 0-521-61325-6, MR2194744.
- Ryan, Patrick J. (1986), Euclidean and non-Euclidean geometry: An analytical approach, Cambridge, London, New York, New Rochelle, Melbourne, Sydney: Cambridge University Press, ISBN 978-0-521-25654-4
- Parkkonen, Jouni. "HYPERBOLIC GEOMETRY" (PDF). Retrieved September 5, 2020.