Hyperboloid model

Hyperboloid model

In geometry, the hyperboloid model, also known as the Minkowski model or the Lorentz model (after Hermann Minkowski and Hendrik Lorentz), is a model of n-dimensional hyperbolic geometry in which points are represented by the points on the forward sheet S+ of a two-sheeted hyperboloid in (n+1)-dimensional Minkowski space and m-planes are represented by the intersections of the (m+1)-planes in Minkowski space with S+. The hyperbolic distance function admits a simple expression in this model. The hyperboloid model of the n-dimensional hyperbolic space is closely related to the Beltrami–Klein model: both are projective models in the sense that the isometry group is a subgroup of the projective group.

Contents

Minkowski quadratic form

If (x0, x1, …, xn) is a vector in the (n+1)-dimensional coordinate space Rn+1, the Minkowski quadratic form is defined to be

 Q(x_0, x_1, \ldots, x_n) = x_0^2 - x_1^2 - \ldots - x_n^2.

The vectors vRn+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 Minkowski bilinear form B is the polarization of the Minkowski quadratic form Q,

B(u,v) = (Q(u + v) − Q(u) − Q(v)) / 2.

Explicitly,

B((x_0, x_1, \ldots, x_n), (y_0, y_1, \ldots, y_n)) = x_0y_0 - x_1 y_1 - \ldots - x_n y_n.

The hyperbolic distance between two points u and v of S+ is given by the formula

d(u,v) = cosh  − 1(B(u,v)).

Isometries

The 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. The subgroup of O(1,n) which preserves the sign of the first coordinate is the orthochronous Lorentz group, denoted O+(1,n). 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

\begin{pmatrix}  
1      & 0 & \ldots & 0 \\
0      &   &        &   \\
\vdots &   & A      &   \\
0      &   &        &   \\
\end{pmatrix}

Where A belongs to the compact special orthogonal group SO(n) (generalizing the rotation group 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,

 \mathbb{H}^n=SO^{+}(1,n)/SO(n).

In fact, the group SO+(1,n) is the full group of orientation-preserving isometries of the n-dimensional hyperbolic space.

History

In 1880 Wilhelm Killing published "Die Rechnung in Nicht-Euclidischen Raumformen" in Crelle's Journal (89:265–87). This work discusses the hyperboloid model in a way that shows the analogy to the hemisphere model. Killing attributes the idea to Karl Weierstrass in a Berlin seminar some years before. Following on Killing’s attribution, the phrase Weierstrass coordinates has been associated with elements of the hyperboloid model as follows: Given an inner product  \langle \cdot, \cdot \rangle on Rn, the Weierstrass coordinates of x ∈ Rn are:

 (x , \sqrt {1 + \langle x,x \rangle}) \in R^{n+1} compared to  (x, \sqrt {1 - \langle x,x \rangle})\in R^{n+1}

for the hemispherical model. (See Elena Deza and Michel Deza (2006) Dictionary of Distances.)

According to Jeremy Gray (1986),[1] Poincaré used the hyperboloid model in his personal notes in 1880. Gray shows where the hyperboloid model is implicit in later writing by Poincaré.[2]

For his part, W. Killing continued to publish on the hyperboloid model, particularly in 1885 in his Analytic treatment of non-Euclidean spaceforms.[3] Further exposure of the model was given by Alfred Clebsch and Ferdinand Lindemann in 1891 in Vorlesungen uber Geometrie, page 524.

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

\cosh A + \alpha \ \sinh A

where α is a basis vector orthogonal to the hyperboloid axis. For example, he obtained the hyperbolic law of cosines through use of his Algebra of Physics.[4]

H. Jansen made the hyperboloid model the explicit focus of his 1909 paper "Representation of hyperbolic geometry on a two sheeted hyperboloid".[5] In 1993 W.F. Reynolds recounted some of the early history of the model in his article in the American Mathematical Monthly.

Being a commonplace model by the twentieth century, it was identified with the Geschwindigkeitsvectoren (velocity vectors) by Hermann Minkowski in his Minkowski space of 1908. Scott Walter, in his 1999 paper "The Non-Euclidean Style of Special Relativity" 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.

See also

Notes and references

  1. ^ Linear differential equations and group theory from Riemann to Poincaré (pages 271,2)
  2. ^ 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).
  3. ^ Die nicht-Euclidischen Raumformen in analytischer Behandlung J. reine angew. math.(Crelle) vol. 26
  4. ^ A. Macfarlane (1894) Papers on Space Analysis, B. Westerman, New York, weblink from archive.org
  5. ^ Abbildung hyperbolische Geometrie auf ein zweischaliges Hyperboloid Mitt. Math. Gesellsch Hamburg 4:409–440.
  • 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 3-540-52000-7 
  • 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
  • Reynolds, William F. (1993) "Hyperbolic geometry on a hyperboloid", American Mathematical Monthly 100:442–55.
  • Ryan, Patrick J. (1986), Euclidean and non-Euclidean geometry: An analytical approach, Cambridge, London, New York, New Rochelle, Melbourne, Sydney: Cambridge University Press, ISBN 0-521-25654-2 
  • Varićak, V. (1912), "On the Non-Euclidean Interpretation of the Theory of Relativity", Jahresbericht der Deutschen Mathematiker-Vereinigung 21: 103–127 
  • Walter, Scott (1999), "The non-Euclidean style of Minkowskian relativity", in J. Gray, The Symbolic Universe: Geometry and Physics, Oxford University Press, pp. 91–127, http://www.univ-nancy2.fr/DepPhilo/walter/papers/nes.pdf (see page 17 of e-link)

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Hyperboloid — Not to be confused with Hyperbolic paraboloid. Hyperboloid of one sheet …   Wikipedia

  • Poincaré disk model — Poincaré disc model of great rhombitruncated {3,7} tiling …   Wikipedia

  • Klein model — In geometry, the Klein model, also called the projective model, the Beltrami–Klein model, the Klein–Beltrami model and the Cayley–Klein model, is a model of n dimensional hyperbolic geometry in which the points of the geometry are in an n… …   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 space — In mathematics, hyperbolic n space, denoted H n , is the maximally symmetric, simply connected, n dimensional Riemannian manifold with constant sectional curvature −1. Hyperbolic space is the principal example of a space exhibiting hyperbolic… …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   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

  • Horocycle — A blue horocycle in the Poincaré disk model and some red normals. The normals converge asymptotically to the upper central point. In hyperbolic geometry, a horocycle (Greek: όριο + κύκλος border + circle) is a curve whose normals all converge… …   Wikipedia

  • Non-Euclidean geometry — Behavior of lines with a common perpendicular in each of the three types of geometry Non Euclidean geometry is the term used to refer to two specific geometries which are, loosely speaking, obtained by negating the Euclidean parallel postulate,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”