Abstract
In two articles published in 1868 and 1869, Eugenio Beltrami provided three models in Euclidean plane (or space) for non-Euclidean geometry. Our main aim here is giving an extensive account of the two articles’ content. We will also try to understand how the way Beltrami, especially in the first article, develops his theory depends on a changing attitude with regards to the definition of surface. In the end, an example from contemporary mathematics shows how the boundary at infinity of the non-Euclidean plane, which Beltrami made intuitively and mathematically accessible in his models, made non-Euclidean geometry a natural tool in the study of functions defined on the real line (or on the circle).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In a letter to Genocchi in 1868 ([15] p. 578–579), Beltrami says that he had the manuscript of the Saggioready in 1867, but that, faced with criticism from Cremona, he had postponed its publication. After reading Riemann’s Habilitationschrift, he felt confident in submitting the article to the Neapolitan Giornale di matematiche, emended of a statement about three dimensional non-Euclidean geometry and with some integration “which I can hazard now, because substantially agreeing with some of Riemann’s ideas.”
- 2.
In another letter to Genocchi ([15] p. 588), Beltrami writes that this fact clearly follows from his Saggio, and that “in the note of Hoüel I do not find further elements to prove it”. Beltrami being generally rather unassuming about his own work, it is likely that he had already thought of this consequence of his model, but that he thought it prudent to leave it to state explicitely to the reader.
- 3.
Interestingly, the work of Saccheri, which had an indirect role in the development of non-Euclidean geometry and was then forgotten, was re-discovered by Beltrami [10].
- 4.
The obtuse hypothesis holds on a sphere, using geodesics (great circles) as straight lines; but on a sphere we do not have uniqueness of the geodesic through two points. This was considered to be a major problem by Beltrami, who was looking for a geometry in which all principles of Euclidean geometry hold true, but the uniqueness of parallels, but not for Riemann. In the Habilitationschrift, Riemann offered the sphere as a model for a geometry in which no parallel existed. Some of the principles used by Saccheri had to be abandoned: uniqueness of the line through two points, it seemed; but also the infinite extension of lines (Riemann seems to be the first to point out that the right geometric requirement is not that the straight lines have infinite length – what he calls “infinite extent of the line”, translated in “unboundedness” in modern netric space theory –, but that one finds no obstructions while following a straight line – a property he calls “unboundedness”, translated nowadays in “metrically complete and without boundary”). Clifford used the two-to-one covering of the real projective plane by the sphere to exhibit a geometry with positive constant curvature in which (1) there was just one line through two points; (2) space was homogeneous and isotropic; and (3) there are no distinct, parallel straight lines. Kelin realized the role of this model in the discussion of non-Euclidean geometries. Of course, in the projective-space model, often called Riemann’s non-Euclidean geometry, one not only has to give up the infinite extension of straight lines, but also the fact that a line divides the plane into two parts; or, which is about the same, orientability of the plane.
- 5.
This is true also for geodesics not in the form u = constand v = const. See the formulae at p. 381 in the Saggio.
- 6.
This amounts to say that, for each given value of Rthere is, but for isometries, exactly one non-Euclidean plane having “radius of curvature” equal to R(where Ris connected to the universal geometric constants envisioned by Lobachevsky, Bolyai, and Gauss).
- 7.
As a matter of fact, later Hilbert showed that no regular surface in Euclidean three space is isometric to the whole pseudosphere. Much later, Nash showed that any surface can be isometrically imbedded in a Euclidean space having dimension large enough.
- 8.
At this point only I disagree with Gray’s account of Beltrami’s work. He writes, p. 208 in [19]: “...but all Beltrami did was hint that the pseudosphere [the tractroid, in this paper’s terminology] must be cut open before there is any chance of a map between it and the disc [Beltrami’s projective model]”. In fact, Beltrami’s hint at p. 390 follows his formula (12), which can be used to find (after a cut) a surface of revolution in Euclidean space, what we call here S 3. Formula (14) at p. 393 leads to our S 2and, finally, formula (17) at p. 394 leads to the tractroid, our S 1below. The tractrix, called by Beltrami linea dalle tangenti costanti(constant tangent curve) is explicitly mentioned at p. 395. I find it indicative of Beltrami virtuosism, that he managed to exhibit three different surfaces of revolution by using the projective model, which is not especially amenable to this sort of calculations.
- 9.
The main reason for this is that, infinitesimal balls centered at the point (r, 0) in \({\mathbb{B}}_{{\mathbb{C}}^{2}}\)(0 < r < 1), have two (real) large directions and two (real) small directions. Let \(z = x + iy\): end consider (z, 0) in the small ball the x(normal) direction is small exactly as in the Beltrami–Klein model. Due to the holomorphic coupling of the variables in the metric (21), the (tangential) direction yis small as well. We have then two large and one small tangential directions, causing an interesting degeneracy of the metric in the limit.
- 10.
A similar remark is in Teoria, p. 427.
References
Ahlfors, Lars Valerian. 1938. An extension of Schwarz’s lemma. Trans. Amer. Math. Soc.43: 3 359–364.
Beltrami, Eugenio. 1904. Opere matematiche di Eugenio Beltrami, pubblicate per cura della Facoltà di Scienze dalla Regia Università di Roma. vol. I (1902) vii + 437 p.; vol. II, 468 p., Hoepli: Milano.
Beltrami, Eugenio. 1865. Risoluzione del problema: “Riportare i punti di una superficie sopra un piano in modo che le linee geodetiche vengano rappresentate da linee rette”. Ann. Mat. Pura App.I no. 7: 185–204.
Beltrami, Eugenio. 1867. Delle variabili complesse sopra una superificie qualunque, Ann. Mat. Pura App.Ser. II vol. I 329–366.
Beltrami, Eugenio. 1868. Saggio di interpretazione della geometria non-euclidea, Giornale di Matematiche. VI 284–312; English transl., Essai d’interpretation de la géométrie noneuclidéenne, Annales scientifiques de l’É.N.S. I resérie, 6, 1869, 251–288.
Beltrami, Eugenio. 1868–1869. Teoria fondamentale degli spazii di curvatura costante, Ann. Mat. Pura App., Serie II, vol. II, (Unknown Month 1868), 232–255; English transl., Théorie fondamentale des espace de courbure constante, Annales scientifiques de l’É.N.S. I resérie, 6, 1869, 347-375-288.
Beltrami, Eugenio. 1871–1873. Osservazione sulla nota del prof. L. Schlaefli alla memoria del sig. Beltrami “Sugli spazi di curvatura costante”. Ann. Mat. Pura Appl.V, 194–198.
Beltrami, Eugenio. 1872. Teorema di geometria pseudosferica. Giorn. Mat.X, 53.
Beltrami, Eugenio. 1872. Sulla superficie di rotazione che serve di tipo alle superficie pseudosferiche. Giorn. Mat.X, 147–159.
Beltrami, Eugenio. 1889. Un precursore italiano di Legendre e di Lobatschewsky. Rendiconti della R. Accad. dei Lincei, V. I semestre, 441–448.
Bonola, Roberto. 1906. La geometria non-euclidea. Zanichelli: Bologna.
Boyer, Carl B. 1959. The History of the Calculus and Its Conceptual Development. Dover Publications, Inc.: New York.
Bridson, Martin R. 1999. André, Häfliger, Metric Spaces of Non-Positive Curvature, Grundlehren der mathematischen Wissenschaften, Vol. 319, p. Springer: Berlin.
Cannon, James W. Floyd, William J., Kenyon, Richard, Walter R. 1997. Hyperbolic Geometry. Math. Sci. Res. Inst. Publ., Cambridge Univ. Press: Cambridge.
Cicenia, Salvatore. 1989. Le lettere di E. Beltrami ad A. Genocchi sulle geometrie non euclidee. Nuncius, 567–593.
Enriques, Federigo. 1918. Conferenze sulla geometria non-euclidea. Zanichelli: Bologna.
Hoüel, Jules. 1870. Note sur l’impossibilité de démotrer par une construction plane le principe des parallèles, dit Postulatum d’Euclide, Nouvelles annales de mathématiques 2esérie. tome 9: 93–96.
Gray, Jeremy. 1979. Non-Euclidean geometry: a re-interpretation. Historia Mathematica6: 236–258.
Gray, Jeremy. 2007. Worlds out of nothing: a course in the history of geometry in the 19th Century. Springer Undergraduate Mathematics Series. Springer: Berlin.
Merrick, Teri. 2006. What Frege Meant When He Said: Kant is Right about Geometry. Philophia Math.(III), 1–32.
Milnor, John. 1982. Hyperbolic Geometry: the first 150 years. Bull. Am. Math. Soc.6: 19–24.
Monge. 1850. Application de l’Analyse à la Géométrie, 5. éd., rev., cor. et annotée par m. Liouville. Bachelier: Paris.
Osserman, Robert. 1999. From Schwarz to Pick to Ahlfors and beyond. Notices Amer. Math. Soc.46: no. 8, 868–873.
Pick, Georg. 1915. Über eine Eigenschaft der konformen Abbildung kreisförmiger Bereiche. Math. Ann.77: 1 1–6.
Poincaré, Henri. 1882. Théorie des groupes Fuchsiens. Acta Math.1: 1 1–76.
Riemann, Bernhard. 1873. Ueber die Hypothesen, welche der Geometrie zu Grunde liegen, Abhandlungen der Kniglichen Gesellschaft der Wissenschaften zu Göttingen, 13, 1867, On the Hypotheses which lie at the Bases of Geometry, Nature, no. VIII, 183: 14–17.
Scanlan, Michael J. 1988. Beltrami’s Model and the Independance of the Parallel Postulate. Hist. Philos. Logic, 9: no. 1, 13–34.
Winger, R.M. 1925. Gauss and non-Euclidean geometry. Bull. Amer. Math. Soc.31: 7 356–358.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Basel AG
About this chapter
Cite this chapter
Arcozzi, N. (2012). Beltrami’s Models of Non-Euclidean Geometry. In: Coen, S. (eds) Mathematicians in Bologna 1861–1960. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-0227-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0227-7_1
Published:
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-0226-0
Online ISBN: 978-3-0348-0227-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)