Editing Differential geometry (section)

=== Intrinsic geometry and non-Euclidean geometry (1800–1900) ===

The field of differential geometry became an area of study considered in its own right, distinct from the more broad idea of analytic geometry, in the 1800s, primarily through the foundational work of [[Carl Friedrich Gauss]] and [[Bernhard Riemann]], and also in the important contributions of [[Nikolai Lobachevsky]] on [[hyperbolic geometry]] and [[non-Euclidean geometry]] and throughout the same period the development of [[projective geometry]].

Dubbed the single most important work in the history of differential geometry,<ref name="spivak2">Spivak, M., 1975. A comprehensive introduction to differential geometry (Vol. 2). Publish or Perish, Incorporated.</ref> in 1827 Gauss produced the ''Disquisitiones generales circa superficies curvas'' detailing the general theory of curved surfaces.<ref name="Gauss">Gauss, C.F., 1828. Disquisitiones generales circa superficies curvas (Vol. 1). Typis Dieterichianis.</ref><ref name="spivak2" /><ref name="struik2">Struik, D.J. "Outline of a History of Differential Geometry (II)." Isis, vol. 20, no. 1, 1933, pp. 161–191. JSTOR, www.jstor.org/stable/224886</ref> In this work and his subsequent papers and unpublished notes on the theory of surfaces, Gauss has been dubbed the inventor of non-Euclidean geometry and the inventor of intrinsic differential geometry.<ref name="struik2" /> In his fundamental paper Gauss introduced the [[Gauss map]], [[Gaussian curvature]], [[first fundamental form|first]] and [[second fundamental form]]s, proved the [[Theorema Egregium]] showing the intrinsic nature of the Gaussian curvature, and studied geodesics, computing the area of a [[geodesic triangle]] in various non-Euclidean geometries on surfaces.

At this time Gauss was already of the opinion that the standard paradigm of [[Euclidean geometry]] should be discarded, and was in possession of private manuscripts on non-Euclidean geometry which informed his study of geodesic triangles.<ref name="struik2" /><ref>{{MacTutor|id=Non-Euclidean_Geometry|title=Non-Euclidean Geometry|class=HistTopics}}</ref> Around this same time [[János Bolyai]] and Lobachevsky independently discovered [[hyperbolic geometry]] and thus demonstrated the existence of consistent geometries outside Euclid's paradigm. Concrete models of hyperbolic geometry were produced by [[Eugenio Beltrami]] later in the 1860s, and [[Felix Klein]] coined the term non-Euclidean geometry in 1871, and through the [[Erlangen program]] put Euclidean and non-Euclidean geometries on the same footing.<ref>{{aut|[[John Milnor|Milnor, John W.]]}}, (1982) ''[http://projecteuclid.org/euclid.bams/1183548588 Hyperbolic geometry: The first 150 years]'', Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 9–24.</ref> Implicitly, the [[spherical geometry]] of the Earth that had been studied since antiquity was a non-Euclidean geometry, an [[elliptic geometry]].

The development of intrinsic differential geometry in the language of Gauss was spurred on by his student, [[Bernhard Riemann]] in his [[Habilitationsschrift]], ''On the hypotheses which lie at the foundation of geometry''.<ref>1868 ''On the hypotheses which lie at the foundation of geometry'', translated by [[William Kingdon Clifford|W.K.Clifford]], Nature 8 1873 183 – reprinted in Clifford's Collected Mathematical Papers, London 1882 (MacMillan); New York 1968 (Chelsea) http://www.emis.de/classics/Riemann/. Also in Ewald, William B., ed., 1996 "From Kant to Hilbert: A Source Book in the Foundations of Mathematics", 2 vols. Oxford Uni. Press: 652&ndash;61.</ref> In this work Riemann introduced the notion of a [[Riemannian metric]] and the [[Riemannian curvature tensor]] for the first time, and began the systematic study of differential geometry in higher dimensions. This intrinsic point of view in terms of the Riemannian metric, denoted by <math>ds^2</math> by Riemann, was the development of an idea of Gauss's about the linear element <math>ds</math> of a surface. At this time Riemann began to introduce the systematic use of [[linear algebra]] and [[multilinear algebra]] into the subject, making great use of the theory of [[quadratic form]]s in his investigation of metrics and curvature. At this time Riemann did not yet develop the modern notion of a manifold, as even the notion of a [[topological space]] had not been encountered, but he did propose that it might be possible to investigate or measure the properties of the metric of [[spacetime]] through the analysis of masses within spacetime, linking with the earlier observation of Euler that masses under the effect of no forces would travel along geodesics on surfaces, and predicting Einstein's fundamental observation of the [[equivalence principle]] a full 60 years before it appeared in the scientific literature.<ref name="struik2" /><ref name="spivak2" />

In the wake of Riemann's new description, the focus of techniques used to study differential geometry shifted from the ad hoc and extrinsic methods of the study of curves and surfaces to a more systematic approach in terms of [[tensor calculus]] and Klein's Erlangen program, and progress increased in the field. The notion of groups of transformations was developed by [[Sophus Lie]] and [[Jean Gaston Darboux]], leading to important results in the theory of [[Lie groups]] and [[symplectic geometry]]. The notion of differential calculus on curved spaces was studied by [[Elwin Christoffel]], who introduced the [[Christoffel symbols]] which describe the [[covariant derivative]] in 1868, and by others including [[Eugenio Beltrami]] who studied many analytic questions on manifolds.<ref>{{cite journal |last=Christoffel |first=E.B. |year=1869 |title=Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades |url=http://resolver.sub.uni-goettingen.de/purl?PPN243919689_0070 |journal=Journal für die Reine und Angewandte Mathematik |volume=70}}</ref> In 1899 [[Luigi Bianchi]] produced his ''Lectures on differential geometry'' which studied differential geometry from Riemann's perspective, and a year later [[Tullio Levi-Civita]] and [[Gregorio Ricci-Curbastro]] produced their textbook systematically developing the theory of [[absolute differential calculus]] and [[tensor calculus]].<ref>{{cite journal |last1=Ricci |first1=Gregorio |last2=Levi-Civita |first2=Tullio |author-link2=Tullio Levi-Civita |title=Méthodes de calcul différentiel absolu et leurs applications |trans-title=Methods of the absolute differential calculus and their applications |journal=[[Mathematische Annalen]] |date=March 1900 |volume=54 |issue=1–2 |pages=125–201 |doi=10.1007/BF01454201 |url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002258102 |publisher=Springer |s2cid=120009332 |language=fr}}</ref><ref name="spivak2" /> It was in this language that differential geometry was used by Einstein in the development of general relativity and [[pseudo-Riemannian geometry]].