This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Beltrami–Klein model | |
|---|---|
| Name | Beltrami–Klein model |
| Field | Mathematics |
| Introduced | 1868 |
| Creators | Eugenio Beltrami; Felix Klein |
| Related | Hyperbolic geometry; Poincaré disk model; Cayley–Klein metrics |
Beltrami–Klein model The Beltrami–Klein model is a representation of two-dimensional and higher-dimensional hyperbolic geometry inside an open unit ball, introduced in the 19th century by Eugenio Beltrami and developed by Felix Klein. It gives a projective model in which "lines" are straight chords of the ball and which contrasts with the conformal Poincaré disk model, the analytic work of Henri Poincaré, and the metric interpretations used by Bernhard Riemann. The model played a role in the broader 19th-century development linking non-Euclidean geometry to projective techniques associated with Arthur Cayley and influenced later work by Felix Klein on the Erlangen program.
The model is defined as the set of points interior to a chosen open unit ball in Euclidean space, often the unit disk in the plane familiar from Poincaré disk model, the unit ball considerations of Arthur Cayley, and the metric discussions in the writings of Carl Friedrich Gauss. Geodesics are the straight chords of the ball, matching projective line segments studied in Projective geometry associated with figures such as Jean-Victor Poncelet and Julius Plücker. Distance arises from a projective metric derived from cross ratios, echoing analytic techniques akin to those in works by Augustin-Louis Cauchy and Évariste Galois on invariants.
One constructs the model by choosing an open unit ball B in Euclidean space centered at a point often denoted O, a setup reminiscent of coordinate charts used by Bernhard Riemann and affine choices appearing in Sophus Lie's transformations. Points are the interior points of B; Euclidean straight lines intersecting B produce chords representing hyperbolic lines, a perspective used in projective treatments by Poncelet and later by Felix Klein. Coordinates in the disk version commonly use Cartesian coordinates (x,y) with x^2 + y^2 < 1, similar in spirit to coordinate patches in Carl Gustav Jacob Jacobi's work, and in higher dimensions use vector coordinates in R^n as in studies by Henri Lebesgue and David Hilbert.
Geodesics are straight chord segments whose endpoints lie on the boundary sphere, analogous to projective lines investigated by Julius Plücker and Arthur Cayley. The distance between two interior points is given by a formula involving the logarithm of a cross ratio of four collinear points, connecting to analytic methods of Karl Weierstrass and logarithmic forms used by Sofia Kovalevskaya. Explicitly, if A and B are interior points and P,Q are the intersection points of the Euclidean line through A and B with the boundary sphere, then hyperbolic distance d(A,B) = (1/2) ln([P,A,B,Q]) up to orientation, echoing cross-ratio use in Felix Klein's projects. The metric is complete and negative in curvature in the sense made formal in later work by Henri Poincaré and David Hilbert.
The model is projectively equivalent to the Poincaré disk model via a radial projection from the boundary, a transformation style familiar from the mappings used by Bernhard Riemann and conformal analyses by Henri Poincaré. It relates to the upper half-plane model central in the work of Felix Klein and Henri Poincaré through Möbius transformations studied by Augustin-Louis Cauchy and Niels Henrik Abel, and to the hyperboloid model rooted in the Lorentzian geometry exploited by Hermann Minkowski and Lobachevsky. Klein's formulation connected the model to the Cayley–Klein metrics developed by Arthur Cayley, linking projective invariants and hyperbolic metrics in a manner influential for Emil Artin and others.
Isometries of the model are restrictions of projective transformations preserving the bounding sphere, reflecting the role of the projective linear group PGL and groups studied by Sophus Lie and Élie Cartan. The full orientation-preserving isometry group is isomorphic to the matrix groups familiar from Henri Poincaré's automorphism groups and the orthogonal groups of indefinite quadratic forms used by Hermann Minkowski and Emmy Noether. Discrete isometry subgroups give rise to tessellations and Fuchsian groups in the tradition of Henri Poincaré and Felix Klein, with implications for the theories developed by Bernhard Riemann and Andrey Kolmogorov in geometric function theory and dynamical systems.
Historically the model provided a concrete realization of non-Euclidean geometry questioned by critics of Eugenio Beltrami and was central to debates involving Felix Klein's Erlangen program and the foundations work of David Hilbert. It has applications in the study of hyperbolic tessellations related to Johannes Kepler's packing problems, in discrete groups and Teichmüller theory following Bernhard Riemann and Oswald Teichmüller, and in modern computational geometry and computer graphics where projective techniques influenced by Arthur Cayley and Felix Klein are applied. The model also appears in relativity-adjacent geometric constructions connected to Hermann Minkowski and influenced later categorical and structural perspectives advanced by Emmy Noether and Alexander Grothendieck.