Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Differential geometry of surfaces
open-in-new
<h2 id="history">History</h2> <p>The volumes of certain <a href="/facts/Quadric_surface/L3cTApd4">quadric surfaces</a> of <a href="/facts/Surface_of_revolution/yzpQMdzx">revolution</a> were calculated by <a href="/facts/Archimedes/sIeMhSVF">Archimedes</a>.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> The development of <a href="/facts/Calculus/MEmUTYoz">calculus</a> in the seventeenth century provided a more systematic way of computing them.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> Curvature of general surfaces was first studied by <a href="/facts/Leonhard_Euler/z2fsbjgj">Euler</a>. In 1760<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> he proved a formula for the curvature of a plane section of a surface and in 1771<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a> he considered surfaces represented in a parametric form. <a href="/facts/Gaspard_Monge/JMvYFCFv">Monge</a> laid down the foundations of their theory in his classical memoir <i>L'application de l'analyse à la géometrie</i> which appeared in 1795. The defining contribution to the theory of surfaces was made by <a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Gauss</a> in two remarkable papers written in 1825 and 1827.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> This marked a new departure from tradition because for the first time Gauss considered the <i>intrinsic</i> geometry of a surface, the properties which are determined only by the geodesic distances between points on the surface independently of the particular way in which the surface is located in the ambient Euclidean space. The crowning result, the <a href="/facts/Theorema_Egregium/pKPCA0QI">Theorema Egregium</a> of Gauss, established that the <a href="/facts/Gaussian_curvature/ARdhnb7o">Gaussian curvature</a> is an intrinsic invariant, i.e. invariant under local <a href="/facts/Isometry/K5wX8ah6">isometries</a>. This point of view was extended to higher-dimensional spaces by <a href="/facts/Riemann/oV2fL0k8">Riemann</a> and led to what is known today as <a href="/facts/Riemannian_geometry/pPEzjyQC">Riemannian geometry</a>. The nineteenth century was the golden age for the theory of surfaces, from both the topological and the differential-geometric point of view, with most leading geometers devoting themselves to their study. <a href="/facts/Gaston_Darboux/evh2nMHN">Darboux</a> collected many results in his four-volume treatise <i>Théorie des surfaces</i> (1887–1896). </p> <h2 id="overview">Overview</h2> <p class="note">For broader coverage of this topic, see <a href="/facts/Surface_(mathematics)/whF08jvy">Surface (mathematics)</a>.</p> <p>It is intuitively quite familiar to say that the leaf of a plant, the surface of a glass, or the shape of a face, are curved in certain ways, and that all of these shapes, even after ignoring any distinguishing markings, have certain geometric features which distinguish one from another. The differential geometry of surfaces is concerned with a mathematical understanding of such phenomena. The study of this field, which was initiated in its modern form in the 1700s, has led to the development of higher-dimensional and abstract geometry, such as <a href="/facts/Riemannian_geometry/pPEzjyQC">Riemannian geometry</a> and <a href="/facts/General_relativity/jVsoIg8X">general relativity</a>.[<i>original research?</i>] </p><p>The essential mathematical object is that of a regular surface. Although conventions vary in their precise definition, these form a general class of subsets of three-dimensional <a href="/facts/Euclidean_space/R2UbzmzM">Euclidean space</a> (ℝ3) which capture part of the familiar notion of "surface." By analyzing the class of curves which lie on such a surface, and the degree to which the surfaces force them to curve in ℝ3, one can associate to each point of the surface two numbers, called the <i><a href="/facts/Principal_curvature/7K9D3NqU">principal curvatures</a></i>. Their average is called the <i><a href="/facts/Mean_curvature/lgdJ9b0k">mean curvature</a></i> of the surface, and their product is called the <i><a href="/facts/Gaussian_curvature/ARdhnb7o">Gaussian curvature</a></i>. </p><p>There are many classic examples of regular surfaces, including: </p> <ul><li>familiar examples such as planes, cylinders, and spheres</li> <li><a href="/facts/Minimal_surface/Fy7VkrLQ">minimal surfaces</a>, which are defined by the property that their mean curvature is zero at every point. The best-known examples are <a href="/facts/Catenoid/f094Ud1m">catenoids</a> and <a href="/facts/Helicoid/ekrSN1Pm">helicoids</a>, although many more have been discovered. Minimal surfaces can also be defined by properties to do with <a href="/facts/Surface_area/WNowzFCw">surface area</a>, with the consequence that they provide a mathematical model for the shape of <a href="/facts/Soap_film/JCTzDK23">soap films</a> when stretched across a wire frame</li> <li><a href="/facts/Ruled_surface/uAGM9b1X">ruled surfaces</a>, which are surfaces that have at least one straight line running through every point; examples include the cylinder and the <a href="/facts/Hyperboloid/K5mDV2Nw">hyperboloid</a> of one sheet.</li></ul> <p>A surprising result of <a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Carl Friedrich Gauss</a>, known as the <i><a href="/facts/Theorema_Egregium/pKPCA0QI">Theorema Egregium</a></i>, showed that the Gaussian curvature of a surface, which by its definition has to do with how curves on the surface change directions in three dimensional space, can actually be measured by the lengths of curves lying on the surfaces together with the angles made when two curves on the surface intersect. Terminologically, this says that the Gaussian curvature can be calculated from the <i><a href="/facts/First_fundamental_form/uGBRcbSg">first fundamental form</a></i> (also called <a href="/facts/Metric_tensor/tbqek1gJ">metric tensor</a>) of the surface. The <i><a href="/facts/Second_fundamental_form/3Ihz5tEc">second fundamental form</a></i>, by contrast, is an object which encodes how lengths and angles of curves on the surface are distorted when the curves are pushed off of the surface. </p><p>Despite measuring different aspects of length and angle, the first and second fundamental forms are not independent from one another, and they satisfy certain constraints called the <i><a href="/facts/Gauss%E2%80%93Codazzi_equations/PxQSgtNn">Gauss–Codazzi equations</a></i>. A major theorem, often called the fundamental theorem of the differential geometry of surfaces, asserts that whenever two objects satisfy the Gauss-Codazzi constraints, they will arise as the first and second fundamental forms of a regular surface. </p><p>Using the first fundamental form, it is possible to define new objects on a regular surface. <i><a href="/facts/Geodesic/fbWR6l80">Geodesics</a></i> are curves on the surface which satisfy a certain second-order <a href="/facts/Ordinary_differential_equation/ygKGQ8kD">ordinary differential equation</a> which is specified by the first fundamental form. They are very directly connected to the study of lengths of curves; a geodesic of sufficiently short length will always be the curve of shortest length on the surface which connects its two endpoints. Thus, geodesics are fundamental to the optimization problem of determining the shortest path between two given points on a regular surface. </p><p>One can also define <i><a href="/facts/Parallel_transport/QX0Wfcte">parallel transport</a></i> along any given curve, which gives a prescription for how to deform a tangent vector to the surface at one point of the curve to tangent vectors at all other points of the curve. The prescription is determined by a first-order <a href="/facts/Ordinary_differential_equation/ygKGQ8kD">ordinary differential equation</a> which is specified by the first fundamental form. </p><p>The above concepts are essentially all to do with multivariable calculus. The <i><a href="/facts/Gauss%E2%80%93Bonnet_theorem/pvTbtH91">Gauss–Bonnet theorem</a></i> is a more global result, which relates the Gaussian curvature of a surface together with its topological type. It asserts that the average value of the Gaussian curvature is completely determined by the <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> of the surface together with its surface area. </p><p>Any regular surface is an example both of a <i><a href="/facts/Riemannian_manifold/5KYnmEgF">Riemannian manifold</a></i> and <i><a href="/facts/Riemann_surface/qoj8ogv8">Riemann surface</a></i>. Essentially all of the theory of regular surfaces as discussed here has a generalization in the theory of Riemannian manifolds and their submanifolds. </p> <h2 id="regular-surfaces-in-euclidean-space">Regular surfaces in Euclidean space</h2> <h3>Definition</h3> <p>It is intuitively clear that a sphere is smooth, while a cone or a pyramid, due to their vertex or edges, are not. The notion of a "regular surface" is a formalization of the notion of a smooth surface. The definition utilizes the local representation of a surface via maps between <a href="/facts/Euclidean_space/R2UbzmzM">Euclidean spaces</a>. There is a standard notion of smoothness for such maps; a map between two open subsets of Euclidean space is smooth if its partial derivatives of every order exist at every point of the domain.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a><a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a><a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> </p><p>A regular surface in Euclidean space ℝ3 is a subset S of ℝ3 such that every point of S admits any of the following three concepts: <i>local parametrizations</i>, <i>Monge patches</i>, or <i>implicit functions</i>. The following table gives definitions of such objects; Monge patches is perhaps the most visually intuitive, as it essentially says that a regular surface is a subset of ℝ3 which is locally the graph of a smooth function (whether over a region in the <i>yz</i> plane, the <i>xz</i> plane, or the <i>xy</i> plane). </p> <table><tbody><tr><th>Objects</th><th>Definition</th></tr><tr><td>Local parametrizations</td><td>An open neighborhood <i>U</i> ⊂ <i>S</i> for which there is an open subset V of ℝ2 and a <a href="/facts/Homeomorphism/jMfWg3Mn">homeomorphism</a> <i>f</i> : <i>V</i> → <i>U</i> such that<ul><li>f, as a function <i>V</i> → ℝ3, is <a href="/facts/Infinitely_differentiable/mffL4ch2">infinitely differentiable</a> (i.e. smooth)</li><li>for each point of V, the two partial derivatives ∂<i>u </i><i>f</i> and ∂<i>v </i><i>f</i> are <a href="/facts/Linearly_independent/8JrHfIIa">linearly independent</a> as elements of ℝ3.<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a><a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a><a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a><a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a></li></ul></td></tr><tr><td><a href="/facts/Monge_patch/v8zKuA67">Monge patches</a></td><td>An open neighborhood <i>U</i> ⊂ ℝ3 for which there is an open subset V of ℝ2 and a smooth function <i>h</i> : <i>V</i> → ℝ such that one of the following holds:<ul><li><i>S</i> ∩ <i>U</i> = {(<i>h</i>(<i>u</i>, <i>v</i>), <i>u</i>, <i>v</i>) : (<i>u</i>, <i>v</i>) ∈ <i>V</i>}</li><li><i>S</i> ∩ <i>U</i> = {(<i>u</i>, <i>h</i>(<i>u</i>, <i>v</i>), <i>v</i>) : (<i>u</i>, <i>v</i>) ∈ <i>V</i>}</li><li><i>S</i> ∩ <i>U</i> = {(<i>u</i>, <i>v</i>, <i>h</i>(<i>u</i>, <i>v</i>)) : (<i>u</i>, <i>v</i>) ∈ <i>V</i>}.</li></ul></td></tr><tr><td>Implicit functions</td><td>An open neighborhood <i>U</i> ⊂ ℝ3 for which there is a smooth function <i>F</i> : <i>U</i> → ℝ with:<ul><li><i>S</i> ∩ <i>U</i> = {(<i>x</i>, <i>y</i>, <i>z</i>) ∈ <i>U</i> : <i>F</i>(<i>x</i>, <i>y</i>, <i>z</i>) = 0}</li><li>at each point of <i>S</i> ∩ <i>U</i>, at least one partial derivative of F is nonzero.</li></ul></td></tr></tbody></table> <p>The homeomorphisms appearing in the first definition are known as local parametrizations or local coordinate systems or local charts on S.<a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a> The equivalence of the first two definitions asserts that, around any point on a regular surface, there always exist local parametrizations of the form (<i>u</i>, <i>v</i>) ↦ (<i>h</i>(<i>u</i>, <i>v</i>), <i>u</i>, <i>v</i>), (<i>u</i>, <i>v</i>) ↦ (<i>u</i>, <i>h</i>(<i>u</i>, <i>v</i>), <i>v</i>), or (<i>u</i>, <i>v</i>) ↦ (<i>u</i>, <i>v</i>, <i>h</i>(<i>u</i>, <i>v</i>)), known as Monge patches. Functions F as in the third definition are called local defining functions. The equivalence of all three definitions follows from the <a href="/facts/Implicit_function_theorem/r4h0RpWw">implicit function theorem</a>.<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a><a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a><a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a> </p> <p>Given any two local parametrizations <i>f</i> : <i>V</i> → <i>U</i> and <i>f</i> ′ : <i>V</i> ′→ <i>U</i> ′ of a regular surface, the composition <i>f</i> −1 ∘ <i>f</i> ′ is necessarily smooth as a map between open subsets of ℝ2.<a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a> This shows that any regular surface naturally has the structure of a <a href="/facts/Smooth_manifold/aSnbXKcV">smooth manifold</a>, with a smooth atlas being given by the inverses of local parametrizations. </p><p>In the classical theory of differential geometry, surfaces are usually studied only in the regular case.<a class="footnote-ref" id="fnref:21" href="#fn:21"><sup>21</sup></a><a class="footnote-ref" id="fnref:22" href="#fn:22"><sup>22</sup></a> It is, however, also common to study non-regular surfaces, in which the two partial derivatives ∂<i>u </i><i>f</i> and ∂<i>v </i><i>f</i> of a local parametrization may fail to be <a href="/facts/Linearly_independent/8JrHfIIa">linearly independent</a>. In this case, S may have singularities such as <a href="/facts/Cuspidal_edge/QH3fEGry">cuspidal edges</a>. Such surfaces are typically studied in <a href="/facts/Singularity_theory/MgLkyrhl">singularity theory</a>. Other weakened forms of regular surfaces occur in <a href="/facts/Computer-aided_design/5gSXrmmN">computer-aided design</a>, where a surface is broken apart into disjoint pieces, with the derivatives of local parametrizations failing to even be continuous along the boundaries. </p> <p>Simple examples. A simple example of a regular surface is given by the 2-sphere {(<i>x</i>, <i>y</i>, <i>z</i>) | <i>x</i>2 + <i>y</i>2 + <i>z</i>2 = 1}; this surface can be covered by six Monge patches (two of each of the three types given above), taking <i>h</i>(<i>u</i>, <i>v</i>) = ± (1 − <i>u</i>2 − <i>v</i>2)1/2. It can also be covered by two local parametrizations, using <a href="/facts/Stereographic_projection/oVyMrWqR">stereographic projection</a>. The set {(<i>x</i>, <i>y</i>, <i>z</i>) : ((<i>x</i>2 + <i>y</i>2)1/2 − <i>r</i>)2 + <i>z</i>2 = <i>R</i>2} is a <a href="/facts/Torus/J9SkaV1W">torus of revolution</a> with radii r and R. It is a regular surface; local parametrizations can be given of the form </p> f ( s , t ) = ( ( R cos s + r ) cos t , ( R cos s + r ) sin t , R sin s ) . {\displaystyle f(s,t)={\big (}(R\cos s+r)\cos t,(R\cos s+r)\sin t,R\sin s{\big )}.} <p>The <a href="/facts/Hyperboloid/K5mDV2Nw">hyperboloid</a> on two sheets {(<i>x</i>, <i>y</i>, <i>z</i>) : <i>z</i>2 = 1 + <i>x</i>2 + <i>y</i>2} is a regular surface; it can be covered by two Monge patches, with <i>h</i>(<i>u</i>, <i>v</i>) = ±(1 + <i>u</i>2 + <i>v</i>2)1/2. The <a href="/facts/Helicoid/ekrSN1Pm">helicoid</a> appears in the theory of <a href="/facts/Minimal_surfaces/Fy7VkrLQ">minimal surfaces</a>. It is covered by a single local parametrization, <i>f</i>(<i>u</i>, <i>v</i>) = (<i>u</i> sin <i>v</i>, <i>u</i> cos <i>v</i>, <i>v</i>). </p> <h3>Tangent vectors and normal vectors</h3> <p class="note">See also: <a href="/facts/Parametric_surface/GjtIdq1q">Parametric surface § Tangent plane and normal vector</a></p> <p class="note">Further information: <a href="/facts/Tangential_and_normal_components/1gswuKMY">Tangential and normal components</a></p> <p>Let S be a regular surface in ℝ3, and let p be an element of S. Using any of the above definitions, one can single out certain vectors in ℝ3 as being tangent to S at p, and certain vectors in ℝ3 as being orthogonal to S at p. </p> <table><tbody><tr><th>Objects used in definition</th><th>A vector X in ℝ3 is tangent to S at p if...</th><th>A vector n in ℝ3 is normal to S at p if...</th></tr><tr><td>Local parametrizations</td><td>... given any local parametrization <i>f</i> : <i>V</i> → <i>S</i> with <i>p</i> ∈ <i>f</i>(<i>V</i>), X is a linear combination of ∂ f ∂ u | f − 1 ( p ) {\displaystyle \textstyle {\frac {\partial f}{\partial u}}{\big |}_{f^{-1}(p)}} and ∂ f ∂ v | f − 1 ( p ) {\displaystyle \textstyle {\frac {\partial f}{\partial v}}{\big |}_{f^{-1}(p)}} </td><td>... it is orthogonal to every tangent vector to S at p</td></tr><tr><td>Monge patches</td><td>... for any Monge patch (<i>u</i>, <i>v</i>) ↦ (<i>u</i>, <i>v</i>, <i>h</i>(<i>u</i>, <i>v</i>)) whose range includes p, one has X 1 ∂ h ∂ u + X 2 ∂ h ∂ v − X 3 = 0 , {\displaystyle X^{1}{\frac {\partial h}{\partial u}}+X^{2}{\frac {\partial h}{\partial v}}-X^{3}=0,} <p>with the partial derivatives evaluated at the point (<i>p</i>1, <i>p</i>2). The analogous definition applies in the case of the Monge patches of the other two forms.</p></td><td>... for any Monge patch (<i>u</i>, <i>v</i>) ↦ (<i>u</i>, <i>v</i>, <i>h</i>(<i>u</i>, <i>v</i>)) whose range includes p, n is a multiple of (∂<i>h</i>/∂<i>u</i>, ∂<i>h</i>/∂<i>v</i>, −1) as evaluated at the point (<i>p</i>1, <i>p</i>2). The analogous definition applies in the case of the Monge patches of the other two forms.</td></tr><tr><td>Implicit functions</td><td>... for any local defining function F whose domain contains p, X is orthogonal to ∇<i>F</i>(<i>p</i>)</td><td>... for any local defining function F whose domain contains p, n is a multiple of ∇<i>F</i>(<i>p</i>)</td></tr></tbody></table> <p>One sees that the <i><a href="/facts/Tangent_space/crvpbSeG">tangent space</a></i> or <i><a href="/facts/Tangent_plane_(geometry)/sF0jH3EI">tangent plane</a></i> to S at p, which is defined to consist of all tangent vectors to S at p, is a two-dimensional linear subspace of ℝ3; it is often denoted by <i>T</i><i>p</i><i>S</i>. The <i><a href="/facts/Normal_space/t4DLqLCd">normal space</a></i> to S at p, which is defined to consist of all normal vectors to S at p, is a one-dimensional linear subspace of ℝ3 which is orthogonal to the tangent space <i>T</i><i>p</i><i>S</i>. As such, at each point p of S, there are two normal vectors of unit length (unit normal vectors). The unit normal vectors at p can be given in terms of local parametrizations, Monge patches, or local defining functions, via the formulas </p> ± ∂ f ∂ u × ∂ f ∂ v ‖ ∂ f ∂ u × ∂ f ∂ v ‖ | f − 1 ( p ) , ± ( ∂ h ∂ u , ∂ h ∂ v , − 1 ) 1 + ( ∂ h ∂ u ) 2 + ( ∂ h ∂ v ) 2 | ( p 1 , p 2 ) , or ± ∇ F ( p ) ‖ ∇ F ( p ) ‖ , {\displaystyle \pm \left.{\frac {{\frac {\partial f}{\partial u}}\times {\frac {\partial f}{\partial v}}}{{\big \|}{\frac {\partial f}{\partial u}}\times {\frac {\partial f}{\partial v}}{\big \|}}}\right|_{f^{-1}(p)},\qquad \pm \left.{\frac {{\big (}{\frac {\partial h}{\partial u}},{\frac {\partial h}{\partial v}},-1{\big )}}{\sqrt {1+{\big (}{\frac {\partial h}{\partial u}}{\big )}^{2}+{\big (}{\frac {\partial h}{\partial v}}{\big )}^{2}}}}\right|_{(p_{1},p_{2})},\qquad {\text{or}}\qquad \pm {\frac {\nabla F(p)}{{\big \|}\nabla F(p){\big \|}}},} <p>following the same notations as in the previous definitions. </p><p>It is also useful to note an "intrinsic" definition of tangent vectors, which is typical of the generalization of regular surface theory to the setting of <a href="/facts/Smooth_manifold/aSnbXKcV">smooth manifolds</a>. It defines the tangent space as an abstract two-dimensional real vector space, rather than as a linear subspace of ℝ3. In this definition, one says that a tangent vector to S at p is an assignment, to each local parametrization <i>f</i> : <i>V</i> → <i>S</i> with <i>p</i> ∈ <i>f</i>(<i>V</i>), of two numbers <i>X</i>1 and <i>X</i>2, such that for any other local parametrization <i>f</i> ′ : <i>V</i> → <i>S</i> with <i>p</i> ∈ <i>f</i>(<i>V</i>) (and with corresponding numbers (<i>X</i> ′)1 and (<i>X</i> ′)2), one has </p> ( X 1 X 2 ) = A f ′ ( p ) ( ( X ′ ) 1 ( X ′ ) 2 ) , {\displaystyle {\begin{pmatrix}X^{1}\\X^{2}\end{pmatrix}}=A_{f'(p)}{\begin{pmatrix}(X')^{1}\\(X')^{2}\end{pmatrix}},} <p>where <i>A</i><i>f</i> ′(<i>p</i>) is the <a href="/facts/Jacobian_matrix_and_determinant/0tNv6o8j">Jacobian matrix</a> of the mapping <i>f</i> −1 ∘ <i>f</i> ′, evaluated at the point <i>f</i> ′(<i>p</i>). The collection of tangent vectors to S at p naturally has the structure of a two-dimensional vector space. A tangent vector in this sense corresponds to a tangent vector in the previous sense by considering the vector </p> X 1 ∂ f ∂ u + X 2 ∂ f ∂ v . {\displaystyle X^{1}{\frac {\partial f}{\partial u}}+X^{2}{\frac {\partial f}{\partial v}}.} <p>in ℝ3. The Jacobian condition on <i>X</i>1 and <i>X</i>2 ensures, by the <a href="/facts/Chain_rule/aMLYxP0x">chain rule</a>, that this vector does not depend on f. </p><p>For smooth functions on a surface, vector fields (i.e. tangent vector fields) have an important interpretation as first order operators or derivations. Let S {\displaystyle S} be a regular surface, U {\displaystyle U} an open subset of the plane and f : U → S {\displaystyle f:U\rightarrow S} a coordinate chart. If V = f ( U ) {\displaystyle V=f(U)} , the space C ∞ ( U ) {\displaystyle C^{\infty }(U)} can be identified with C ∞ ( V ) {\displaystyle C^{\infty }(V)} . Similarly f {\displaystyle f} identifies vector fields on U {\displaystyle U} with vector fields on V {\displaystyle V} . Taking standard variables u and v, a vector field has the form X = a ∂ u + b ∂ v {\displaystyle X=a\partial _{u}+b\partial _{v}} , with a and b smooth functions. If X {\displaystyle X} is a vector field and g {\displaystyle g} is a smooth function, then X g {\displaystyle Xg} is also a smooth function. The first order differential operator X {\displaystyle X} is a <i>derivation</i>, i.e. it satisfies the Leibniz rule X ( g h ) = ( X g ) h + g ( X h ) . {\displaystyle X(gh)=(Xg)h+g(Xh).} <a class="footnote-ref" id="fnref:23" href="#fn:23"><sup>23</sup></a> </p><p>For vector fields X and Y it is simple to check that the operator [ X , Y ] = X Y − Y X {\displaystyle [X,Y]=XY-YX} is a derivation corresponding to a vector field. It is called the <a href="/facts/Lie_bracket_of_vector_fields/n22pPTnV">Lie bracket</a> [ X , Y ] {\displaystyle [X,Y]} . It is skew-symmetric [ X , Y ] = − [ Y , X ] {\displaystyle [X,Y]=-[Y,X]} and satisfies the Jacobi identity: </p> [ [ X , Y ] , Z ] + [ [ Y , Z ] , X ] + [ [ Z , X ] , Y ] = 0. {\displaystyle [[X,Y],Z]+[[Y,Z],X]+[[Z,X],Y]=0.} <p>In summary, vector fields on U {\displaystyle U} or V {\displaystyle V} form a <a href="/facts/Lie_algebra/n2gAUkNq">Lie algebra</a> under the Lie bracket.<a class="footnote-ref" id="fnref:24" href="#fn:24"><sup>24</sup></a> </p> <h3>First and second fundamental forms, the shape operator, and the curvature</h3> <p>Let S be a regular surface in ℝ3. Given a local parametrization <i>f</i> : <i>V</i> → <i>S</i> and a unit normal vector field n to <i>f</i>(<i>V</i>), one defines the following objects as real-valued or matrix-valued functions on V. The first fundamental form depends only on f, and not on n. The fourth column records the way in which these functions depend on f, by relating the functions <i>E</i> ′, <i>F</i> ′, <i>G</i> ′, <i>L</i> ′, etc., arising for a different choice of local parametrization, <i>f</i> ′ : <i>V</i> ′ → <i>S</i>, to those arising for f. Here A denotes the <a href="/facts/Jacobian_matrix_and_determinant/0tNv6o8j">Jacobian matrix</a> of <i>f</i> –1 ∘ <i>f</i> ′. The key relation in establishing the formulas of the fourth column is then </p> ( ∂ f ′ ∂ u ∂ f ′ ∂ v ) = A ( ∂ f ∂ u ∂ f ∂ v ) , {\displaystyle {\begin{pmatrix}{\frac {\partial f'}{\partial u}}\\{\frac {\partial f'}{\partial v}}\end{pmatrix}}=A{\begin{pmatrix}{\frac {\partial f}{\partial u}}\\{\frac {\partial f}{\partial v}}\end{pmatrix}},} <p>as follows by the <a href="/facts/Chain_rule/aMLYxP0x">chain rule</a>. </p> <table><tbody><tr><th>Terminology</th><th>Notation</th><th>Definition</th><th>Dependence on local parametrization</th></tr><tr><td rowspan="3"><a href="/facts/First_fundamental_form/uGBRcbSg">First fundamental form</a></td><td>E</td><td> E = ∂ f ∂ u ⋅ ∂ f ∂ u {\displaystyle E={\frac {\partial f}{\partial u}}\cdot {\frac {\partial f}{\partial u}}} </td><td rowspan="3"> ( E ′ F ′ F ′ G ′ ) = A ( E F F G ) A T {\displaystyle {\begin{pmatrix}E'&F'\\F'&G'\end{pmatrix}}=A{\begin{pmatrix}E&F\\F&G\end{pmatrix}}A^{T}} </td></tr><tr><td>F</td><td> F = ∂ f ∂ u ⋅ ∂ f ∂ v {\displaystyle F={\frac {\partial f}{\partial u}}\cdot {\frac {\partial f}{\partial v}}} </td></tr><tr><td>G</td><td> G = ∂ f ∂ v ⋅ ∂ f ∂ v {\displaystyle G={\frac {\partial f}{\partial v}}\cdot {\frac {\partial f}{\partial v}}} </td></tr><tr><td rowspan="3"><a href="/facts/Second_fundamental_form/3Ihz5tEc">Second fundamental form</a></td><td>L</td><td> L = ∂ 2 f ∂ u 2 ⋅ n {\displaystyle L={\frac {\partial ^{2}f}{\partial u^{2}}}\cdot n} </td><td rowspan="3"> ( L ′ M ′ M ′ N ′ ) = A ( L M M N ) A T {\displaystyle {\begin{pmatrix}L'&M'\\M'&N'\end{pmatrix}}=A{\begin{pmatrix}L&M\\M&N\end{pmatrix}}A^{T}} </td></tr><tr><td>M</td><td> M = ∂ 2 f ∂ u ∂ v ⋅ n {\displaystyle M={\frac {\partial ^{2}f}{\partial u\partial v}}\cdot n} </td></tr><tr><td>N</td><td> N = ∂ 2 f ∂ v 2 ⋅ n {\displaystyle N={\frac {\partial ^{2}f}{\partial v^{2}}}\cdot n} </td></tr><tr><td>Shape operator<a class="footnote-ref" id="fnref:25" href="#fn:25"><sup>25</sup></a></td><td>P</td><td> P = ( E F F G ) − 1 ( L M M N ) {\displaystyle P={\begin{pmatrix}E&F\\F&G\end{pmatrix}}^{-1}{\begin{pmatrix}L&M\\M&N\end{pmatrix}}} </td><td> P ′ = A P A − 1 {\displaystyle P'=APA^{-1}} </td></tr><tr><td><a href="/facts/Gaussian_curvature/ARdhnb7o">Gaussian curvature</a></td><td>K</td><td> K = L N − M 2 E G − F 2 {\displaystyle K={\frac {LN-M^{2}}{EG-F^{2}}}} </td><td> K ′ = K {\displaystyle K'=K} </td></tr><tr><td><a href="/facts/Mean_curvature/lgdJ9b0k">Mean curvature</a></td><td>H</td><td> H = G L − 2 F M + E N 2 ( E G − F 2 ) {\displaystyle H={\frac {GL-2FM+EN}{2(EG-F^{2})}}} </td><td> H ′ = H {\displaystyle H'=H} </td></tr><tr><td><a href="/facts/Principal_curvature/7K9D3NqU">Principal curvatures</a></td><td> κ ± {\displaystyle \kappa _{\pm }} </td><td> H ± H 2 − K {\displaystyle H\pm {\sqrt {H^{2}-K}}} </td><td> κ ± ′ = κ ± {\displaystyle \kappa _{\pm }'=\kappa _{\pm }} </td></tr></tbody></table> <p>By a direct calculation with the matrix defining the shape operator, it can be checked that the Gaussian curvature is the <a href="/facts/Determinant/eGYqJ2TF">determinant</a> of the shape operator, the mean curvature is half of the <a href="/facts/Trace_(linear_algebra)/dchFFvHt">trace</a> of the shape operator, and the principal curvatures are the <a href="/facts/Eigenvalue/8TjEoT8u">eigenvalues</a> of the shape operator; moreover the Gaussian curvature is the product of the principal curvatures and the mean curvature is their sum. These observations can also be formulated as definitions of these objects. These observations also make clear that the last three rows of the fourth column follow immediately from the previous row, as <a href="/facts/Similar_matrix/ySevpav1">similar matrices</a> have identical determinant, trace, and eigenvalues. It is fundamental to note E, G, and <i>EG</i> − <i>F</i>2 are all necessarily positive. This ensures that the matrix inverse in the definition of the shape operator is well-defined, and that the principal curvatures are real numbers. </p><p>Note also that a negation of the choice of unit normal vector field will negate the second fundamental form, the shape operator, the mean curvature, and the principal curvatures, but will leave the Gaussian curvature unchanged. In summary, this has shown that, given a regular surface S, the Gaussian curvature of S can be regarded as a real-valued function on S; relative to a choice of unit normal vector field on all of S, the two principal curvatures and the mean curvature are also real-valued functions on S. </p> <p>Geometrically, the first and second fundamental forms can be viewed as giving information on how <i>f</i>(<i>u</i>, <i>v</i>) moves around in ℝ3 as (<i>u</i>, <i>v</i>) moves around in V. In particular, the first fundamental form encodes how quickly f moves, while the second fundamental form encodes the extent to which its motion is in the direction of the normal vector n. In other words, the second fundamental form at a point p encodes the length of the orthogonal projection from S to the tangent plane to S at p; in particular it gives the quadratic function which best approximates this length. This thinking can be made precise by the formulas </p> lim ( h , k ) → ( 0 , 0 ) | f ( u + h , v + k ) − f ( u , v ) | 2 − ( E h 2 + 2 F h k + G k 2 ) h 2 + k 2 = 0 lim ( h , k ) → ( 0 , 0 ) ( f ( u + h , v + k ) − f ( u , v ) ) ⋅ n − 1 2 ( L h 2 + 2 M h k + N k 2 ) h 2 + k 2 = 0 , {\displaystyle {\begin{aligned}\lim _{(h,k)\to (0,0)}{\frac {{\big |}f(u+h,v+k)-f(u,v){\big |}^{2}-{\big (}Eh^{2}+2Fhk+Gk^{2}{\big )}}{h^{2}+k^{2}}}&=0\\\lim _{(h,k)\to (0,0)}{\frac {{\big (}f(u+h,v+k)-f(u,v){\big )}\cdot n-{\frac {1}{2}}{\big (}Lh^{2}+2Mhk+Nk^{2}{\big )}}{h^{2}+k^{2}}}&=0,\end{aligned}}} <p>as follows directly from the definitions of the fundamental forms and <a href="/facts/Taylor%27s_theorem/gxQTaNQF">Taylor's theorem</a> in two dimensions. The principal curvatures can be viewed in the following way. At a given point p of S, consider the collection of all planes which contain the orthogonal line to S. Each such plane has a curve of intersection with S, which can be regarded as a <a href="/facts/Plane_curve/huCfWa4K">plane curve</a> inside of the plane itself. The two principal curvatures at p are the maximum and minimum possible values of the curvature of this plane curve at p, as the plane under consideration rotates around the normal line. </p><p>The following summarizes the calculation of the above quantities relative to a Monge patch <i>f</i>(<i>u</i>, <i>v</i>) = (<i>u</i>, <i>v</i>, <i>h</i>(<i>u</i>, <i>v</i>)). Here <i>h</i><i>u</i> and <i>h</i><i>v</i> denote the two partial derivatives of h, with analogous notation for the second partial derivatives. The second fundamental form and all subsequent quantities are calculated relative to the given choice of unit normal vector field. </p> <table><tbody><tr><th>Quantity</th><th>Formula</th></tr><tr><td>A unit normal vector field</td><td> n = ( − h u , − h v , 1 ) 1 + h u 2 + h v 2 {\displaystyle n={\frac {(-h_{u},-h_{v},1)}{\sqrt {1+h_{u}^{2}+h_{v}^{2}}}}} </td></tr><tr><td>First fundamental form</td><td> ( E F F G ) = ( 1 + h u 2 h u h v h u h v 1 + h v 2 ) {\displaystyle {\begin{pmatrix}E&F\\F&G\end{pmatrix}}={\begin{pmatrix}1+h_{u}^{2}&h_{u}h_{v}\\h_{u}h_{v}&1+h_{v}^{2}\end{pmatrix}}} </td></tr><tr><td>Second fundamental form</td><td> ( L M M N ) = 1 1 + h u 2 + h v 2 ( h u u h u v h u v h v v ) {\displaystyle {\begin{pmatrix}L&M\\M&N\end{pmatrix}}={\frac {1}{\sqrt {1+h_{u}^{2}+h_{v}^{2}}}}{\begin{pmatrix}h_{uu}&h_{uv}\\h_{uv}&h_{vv}\end{pmatrix}}} </td></tr><tr><td>Shape operator</td><td> P = 1 ( 1 + h u 2 + h v 2 ) 3 / 2 ( h u u ( 1 + h v 2 ) − h u v h u h v h u v ( 1 + h v 2 ) − h v v h u h v h u v ( 1 + h u 2 ) − h u u h u h v h v v ( 1 + h u 2 ) − h u v h u h v ) {\displaystyle P={\frac {1}{(1+h_{u}^{2}+h_{v}^{2})^{3/2}}}{\begin{pmatrix}h_{uu}(1+h_{v}^{2})-h_{uv}h_{u}h_{v}&h_{uv}(1+h_{v}^{2})-h_{vv}h_{u}h_{v}\\h_{uv}(1+h_{u}^{2})-h_{uu}h_{u}h_{v}&h_{vv}(1+h_{u}^{2})-h_{uv}h_{u}h_{v}\end{pmatrix}}} </td></tr><tr><td>Gaussian curvature</td><td> K = h u u h v v − h u v 2 ( 1 + h u 2 + h v 2 ) 2 {\displaystyle K={\frac {h_{uu}h_{vv}-h_{uv}^{2}}{(1+h_{u}^{2}+h_{v}^{2})^{2}}}} </td></tr><tr><td>Mean curvature</td><td> H = ( 1 + h v 2 ) h u u − 2 h u h v h u v + ( 1 + h u 2 ) h v v 2 ( 1 + h u 2 + h v 2 ) 3 / 2 {\displaystyle H={\frac {(1+h_{v}^{2})h_{uu}-2h_{u}h_{v}h_{uv}+(1+h_{u}^{2})h_{vv}}{2(1+h_{u}^{2}+h_{v}^{2})^{3/2}}}} </td></tr></tbody></table> <h3>Christoffel symbols, Gauss–Codazzi equations, and the Theorema Egregium</h3> <p>Let S be a regular surface in ℝ3. The <a href="/facts/Christoffel_symbols/uCyd7RWX">Christoffel symbols</a> assign, to each local parametrization <i>f</i> : <i>V</i> → <i>S</i>, eight functions on V, defined by<a class="footnote-ref" id="fnref:26" href="#fn:26"><sup>26</sup></a> </p> ( Γ 11 1 Γ 12 1 Γ 21 1 Γ 22 1 Γ 11 2 Γ 12 2 Γ 21 2 Γ 22 2 ) = ( E F F G ) − 1 ( 1 2 ∂ E ∂ u 1 2 ∂ E ∂ v 1 2 ∂ E ∂ v ∂ F ∂ v − 1 2 ∂ G ∂ u ∂ F ∂ u − 1 2 ∂ E ∂ v 1 2 ∂ G ∂ u 1 2 ∂ G ∂ u 1 2 ∂ G ∂ v ) . {\displaystyle {\begin{pmatrix}\Gamma _{11}^{1}&\Gamma _{12}^{1}&\Gamma _{21}^{1}&\Gamma _{22}^{1}\\\Gamma _{11}^{2}&\Gamma _{12}^{2}&\Gamma _{21}^{2}&\Gamma _{22}^{2}\end{pmatrix}}={\begin{pmatrix}E&F\\F&G\end{pmatrix}}^{-1}{\begin{pmatrix}{\frac {1}{2}}{\frac {\partial E}{\partial u}}&{\frac {1}{2}}{\frac {\partial E}{\partial v}}&{\frac {1}{2}}{\frac {\partial E}{\partial v}}&{\frac {\partial F}{\partial v}}-{\frac {1}{2}}{\frac {\partial G}{\partial u}}\\{\frac {\partial F}{\partial u}}-{\frac {1}{2}}{\frac {\partial E}{\partial v}}&{\frac {1}{2}}{\frac {\partial G}{\partial u}}&{\frac {1}{2}}{\frac {\partial G}{\partial u}}&{\frac {1}{2}}{\frac {\partial G}{\partial v}}\end{pmatrix}}.} <p>They can also be defined by the following formulas, in which n is a unit normal vector field along <i>f</i>(<i>V</i>) and <i>L</i>, <i>M</i>, <i>N</i> are the corresponding components of the second fundamental form: </p> ∂ 2 f ∂ u 2 = Γ 11 1 ∂ f ∂ u + Γ 11 2 ∂ f ∂ v + L n ∂ 2 f ∂ u ∂ v = Γ 12 1 ∂ f ∂ u + Γ 12 2 ∂ f ∂ v + M n ∂ 2 f ∂ v 2 = Γ 22 1 ∂ f ∂ u + Γ 22 2 ∂ f ∂ v + N n . {\displaystyle {\begin{aligned}{\frac {\partial ^{2}f}{\partial u^{2}}}&=\Gamma _{11}^{1}{\frac {\partial f}{\partial u}}+\Gamma _{11}^{2}{\frac {\partial f}{\partial v}}+Ln\\{\frac {\partial ^{2}f}{\partial u\partial v}}&=\Gamma _{12}^{1}{\frac {\partial f}{\partial u}}+\Gamma _{12}^{2}{\frac {\partial f}{\partial v}}+Mn\\{\frac {\partial ^{2}f}{\partial v^{2}}}&=\Gamma _{22}^{1}{\frac {\partial f}{\partial u}}+\Gamma _{22}^{2}{\frac {\partial f}{\partial v}}+Nn.\end{aligned}}} <p>The key to this definition is that ∂<i>f</i>/∂<i>u</i>, ∂<i>f</i>/∂<i>v</i>, and n form a basis of ℝ3 at each point, relative to which each of the three equations uniquely specifies the Christoffel symbols as coordinates of the second partial derivatives of f. The choice of unit normal has no effect on the Christoffel symbols, since if n is exchanged for its negation, then the components of the second fundamental form are also negated, and so the signs of <i>Ln</i>, <i>Mn</i>, <i>Nn</i> are left unchanged. </p><p>The second definition shows, in the context of local parametrizations, that the Christoffel symbols are geometrically natural. Although the formulas in the first definition appear less natural, they have the importance of showing that the Christoffel symbols can be calculated from the first fundamental form, which is not immediately apparent from the second definition. The equivalence of the definitions can be checked by directly substituting the first definition into the second, and using the definitions of <i>E</i>, <i>F</i>, <i>G</i>. </p><p>The <a href="/facts/Gauss-Codazzi_equations/PxQSgtNn">Codazzi equations</a> assert that<a class="footnote-ref" id="fnref:27" href="#fn:27"><sup>27</sup></a> </p> ∂ L ∂ v − ∂ M ∂ u = L Γ 12 1 + M ( Γ 12 2 − Γ 11 1 ) − N Γ 11 2 ∂ M ∂ v − ∂ N ∂ u = L Γ 22 1 + M ( Γ 22 2 − Γ 12 1 ) − N Γ 12 2 . {\displaystyle {\begin{aligned}{\frac {\partial L}{\partial v}}-{\frac {\partial M}{\partial u}}&=L\Gamma _{12}^{1}+M(\Gamma _{12}^{2}-\Gamma _{11}^{1})-N\Gamma _{11}^{2}\\{\frac {\partial M}{\partial v}}-{\frac {\partial N}{\partial u}}&=L\Gamma _{22}^{1}+M(\Gamma _{22}^{2}-\Gamma _{12}^{1})-N\Gamma _{12}^{2}.\end{aligned}}} <p>These equations can be directly derived from the second definition of Christoffel symbols given above; for instance, the first Codazzi equation is obtained by differentiating the first equation with respect to v, the second equation with respect to u, subtracting the two, and taking the <a href="/facts/Dot_product/tNz8MLjT">dot product</a> with n. The <a href="/facts/Gauss-Codazzi_equations/PxQSgtNn">Gauss equation</a> asserts that<a class="footnote-ref" id="fnref:28" href="#fn:28"><sup>28</sup></a> </p> K E = ∂ Γ 11 2 ∂ v − ∂ Γ 21 2 ∂ u + Γ 21 2 Γ 11 1 + Γ 22 2 Γ 11 2 − Γ 11 2 Γ 21 1 − Γ 12 2 Γ 21 2 K F = ∂ Γ 12 2 ∂ v − ∂ Γ 22 2 ∂ u + Γ 21 2 Γ 12 1 − Γ 11 2 Γ 22 1 K G = ∂ Γ 22 1 ∂ u − ∂ Γ 12 1 ∂ v + Γ 11 1 Γ 22 1 + Γ 12 1 Γ 22 2 − Γ 21 1 Γ 12 1 − Γ 22 1 Γ 12 2 {\displaystyle {\begin{aligned}KE&={\frac {\partial \Gamma _{11}^{2}}{\partial v}}-{\frac {\partial \Gamma _{21}^{2}}{\partial u}}+\Gamma _{21}^{2}\Gamma _{11}^{1}+\Gamma _{22}^{2}\Gamma _{11}^{2}-\Gamma _{11}^{2}\Gamma _{21}^{1}-\Gamma _{12}^{2}\Gamma _{21}^{2}\\KF&={\frac {\partial \Gamma _{12}^{2}}{\partial v}}-{\frac {\partial \Gamma _{22}^{2}}{\partial u}}+\Gamma _{21}^{2}\Gamma _{12}^{1}-\Gamma _{11}^{2}\Gamma _{22}^{1}\\KG&={\frac {\partial \Gamma _{22}^{1}}{\partial u}}-{\frac {\partial \Gamma _{12}^{1}}{\partial v}}+\Gamma _{11}^{1}\Gamma _{22}^{1}+\Gamma _{12}^{1}\Gamma _{22}^{2}-\Gamma _{21}^{1}\Gamma _{12}^{1}-\Gamma _{22}^{1}\Gamma _{12}^{2}\end{aligned}}} <p>These can be similarly derived as the Codazzi equations, with one using the <a href="/facts/Weingarten_equations/95HmwPA7">Weingarten equations</a> instead of taking the <a href="/facts/Dot_product/tNz8MLjT">dot product</a> with n. Although these are written as three separate equations, they are identical when the definitions of the Christoffel symbols, in terms of the first fundamental form, are substituted in. There are many ways to write the resulting expression, one of them derived in 1852 by <a href="/facts/Francesco_Brioschi/EB6KYW61">Brioschi</a> using a skillful use of determinants:<a class="footnote-ref" id="fnref:29" href="#fn:29"><sup>29</sup></a><a class="footnote-ref" id="fnref:30" href="#fn:30"><sup>30</sup></a> </p> K = 1 ( E G − F 2 ) 2 det ( − 1 2 ∂ 2 E ∂ v 2 + ∂ 2 F ∂ u ∂ v − 1 2 ∂ 2 G ∂ u 2 1 2 ∂ E ∂ u ∂ F ∂ u − 1 2 ∂ E ∂ v ∂ F ∂ v − 1 2 ∂ G ∂ u E F 1 2 ∂ G ∂ v F G ) − 1 ( E G − F 2 ) 2 det ( 0 1 2 ∂ E ∂ v 1 2 ∂ G ∂ u 1 2 ∂ E ∂ v E F 1 2 ∂ G ∂ u F G ) . {\displaystyle K={\frac {1}{(EG-F^{2})^{2}}}\det {\begin{pmatrix}-{1 \over 2}{\frac {\partial ^{2}E}{\partial v^{2}}}+{\frac {\partial ^{2}F}{\partial u\partial v}}-{1 \over 2}{\frac {\partial ^{2}G}{\partial u^{2}}}&{1 \over 2}{\frac {\partial E}{\partial u}}&{\frac {\partial F}{\partial u}}-{1 \over 2}{\frac {\partial E}{\partial v}}\\{\frac {\partial F}{\partial v}}-{1 \over 2}{\frac {\partial G}{\partial u}}&E&F\\{1 \over 2}{\frac {\partial G}{\partial v}}&F&G\end{pmatrix}}-{\frac {1}{(EG-F^{2})^{2}}}\det {\begin{pmatrix}0&{1 \over 2}{\frac {\partial E}{\partial v}}&{1 \over 2}{\frac {\partial G}{\partial u}}\\{1 \over 2}{\frac {\partial E}{\partial v}}&E&F\\{1 \over 2}{\frac {\partial G}{\partial u}}&F&G\end{pmatrix}}.} <p>When the Christoffel symbols are considered as being defined by the first fundamental form, the Gauss and Codazzi equations represent certain constraints between the first and second fundamental forms. The Gauss equation is particularly noteworthy, as it shows that the Gaussian curvature can be computed directly from the first fundamental form, without the need for any other information; equivalently, this says that <i>LN</i> − <i>M</i>2 can actually be written as a function of <i>E</i>, <i>F</i>, <i>G</i>, even though the individual components <i>L</i>, <i>M</i>, <i>N</i> cannot. This is known as the <a href="/facts/Theorema_egregium/pKPCA0QI">theorema egregium</a>, and was a major discovery of <a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Carl Friedrich Gauss</a>. It is particularly striking when one recalls the geometric definition of the Gaussian curvature of S as being defined by the maximum and minimum radii of osculating circles; they seem to be fundamentally defined by the geometry of how S bends within ℝ3. Nevertheless, the theorem shows that their product can be determined from the "intrinsic" geometry of S, having only to do with the lengths of curves along S and the angles formed at their intersections. As said by <a href="/facts/Marcel_Berger/bgaDdaU1">Marcel Berger</a>:<a class="footnote-ref" id="fnref:31" href="#fn:31"><sup>31</sup></a> </p> <p>This theorem is baffling. [...] It is the kind of theorem which could have waited dozens of years more before being discovered by another mathematician since, unlike so much of intellectual history, it was absolutely not in the air. [...] To our knowledge there is no simple geometric proof of the theorema egregium today.</p> <p>The Gauss-Codazzi equations can also be <a href="/facts/Riemannian_connection_on_a_surface/yGj0UUvs">succinctly expressed and derived</a> in the language of <a href="/facts/Connection_form/Hnn6FJFN">connection forms</a> due to <a href="/facts/%C3%89lie_Cartan/Uvhkp66S">Élie Cartan</a>.<a class="footnote-ref" id="fnref:32" href="#fn:32"><sup>32</sup></a> In the language of <a href="/facts/Tensor_calculus/VqecNRwX">tensor calculus</a>, making use of natural metrics and connections on <a href="/facts/Tensor_bundle/cAC6F6rF">tensor bundles</a>, the Gauss equation can be written as <i>H</i>2 − |<i>h</i>|2 = <i>R</i> and the two Codazzi equations can be written as ∇1 <i>h</i>12 = ∇2 <i>h</i>11 and ∇1 <i>h</i>22 = ∇2 <i>h</i>12; the complicated expressions to do with Christoffel symbols and the first fundamental form are completely absorbed into the definitions of the covariant tensor derivative ∇<i>h</i> and the <a href="/facts/Scalar_curvature/tfgm3AuK">scalar curvature</a> R. <a href="/facts/Pierre_Ossian_Bonnet/SdVY6I56">Pierre Bonnet</a> proved that two quadratic forms satisfying the Gauss-Codazzi equations always uniquely determine an embedded surface locally.<a class="footnote-ref" id="fnref:33" href="#fn:33"><sup>33</sup></a> For this reason the Gauss-Codazzi equations are often called the fundamental equations for embedded surfaces, precisely identifying where the intrinsic and extrinsic curvatures come from. They admit generalizations to surfaces embedded in more general <a href="/facts/Riemannian_manifold/5KYnmEgF">Riemannian manifolds</a>. </p> <h3>Isometries</h3> <p>A diffeomorphism φ {\displaystyle \varphi } between open sets U {\displaystyle U} and V {\displaystyle V} in a regular surface S {\displaystyle S} is said to be an <a href="/facts/Isometry/K5wX8ah6">isometry</a> if it preserves the metric, i.e. the first fundamental form.<a class="footnote-ref" id="fnref:34" href="#fn:34"><sup>34</sup></a><a class="footnote-ref" id="fnref:35" href="#fn:35"><sup>35</sup></a><a class="footnote-ref" id="fnref:36" href="#fn:36"><sup>36</sup></a> Thus for every point p {\displaystyle p} in U {\displaystyle U} and tangent vectors w 1 , w 2 {\displaystyle w_{1},\,\,w_{2}} at p {\displaystyle p} , there are equalities </p> E ( p ) w 1 ⋅ w 1 + 2 F ( p ) w 1 ⋅ w 2 + G ( p ) w 2 ⋅ w 2 = E ( φ ( p ) ) φ ′ ( w 1 ) ⋅ φ ′ ( w 1 ) + 2 F ( φ ( p ) ) φ ′ ( w 1 ) ⋅ φ ′ ( w 2 ) + G ( φ ( p ) ) φ ′ ( w 1 ) ⋅ φ ′ ( w 2 ) . {\displaystyle E(p)w_{1}\cdot w_{1}+2F(p)w_{1}\cdot w_{2}+G(p)w_{2}\cdot w_{2}=E(\varphi (p))\varphi ^{\prime }(w_{1})\cdot \varphi ^{\prime }(w_{1})+2F(\varphi (p))\varphi ^{\prime }(w_{1})\cdot \varphi ^{\prime }(w_{2})+G(\varphi (p))\varphi ^{\prime }(w_{1})\cdot \varphi ^{\prime }(w_{2}).} <p>In terms of the inner product coming from the first fundamental form, this can be rewritten as </p> ( w 1 , w 2 ) p = ( φ ′ ( w 1 ) , φ ′ ( w 2 ) ) φ ( p ) {\displaystyle (w_{1},w_{2})_{p}=(\varphi ^{\prime }(w_{1}),\varphi ^{\prime }(w_{2}))_{\varphi (p)}} . <p>On the other hand, the length of a parametrized curve γ ( t ) = ( x ( t ) , y ( t ) ) {\displaystyle \gamma (t)=(x(t),y(t))} can be calculated as </p> L ( γ ) = ∫ a b E x ˙ ⋅ x ˙ + 2 F x ˙ ⋅ y ˙ + G y ˙ ⋅ y ˙ d t {\displaystyle L(\gamma )=\int _{a}^{b}{\sqrt {E{\dot {x}}\cdot {\dot {x}}+2F{\dot {x}}\cdot {\dot {y}}+G{\dot {y}}\cdot {\dot {y}}}}\,dt} <p>and, if the curve lies in U {\displaystyle U} , the rules for change of variables show that </p> L ( φ ∘ γ ) = L ( γ ) . {\displaystyle L(\varphi \circ \gamma )=L(\gamma ).} <p>Conversely if φ {\displaystyle \varphi } preserves the lengths of all parametrized in curves then φ {\displaystyle \varphi } is an isometry. Indeed, for suitable choices of γ {\displaystyle \gamma } , the tangent vectors x ˙ {\displaystyle {\dot {x}}} and y ˙ {\displaystyle {\dot {y}}} give arbitrary tangent vectors w 1 {\displaystyle w_{1}} and w 2 {\displaystyle w_{2}} . The equalities must hold for all choice of tangent vectors w 1 {\displaystyle w_{1}} and w 2 {\displaystyle w_{2}} as well as φ ′ ( w 1 ) {\displaystyle \varphi ^{\prime }(w_{1})} and φ ′ ( w 2 ) {\displaystyle \varphi ^{\prime }(w_{2})} , so that ( φ ′ ( w 1 ) , φ ′ ( w 2 ) ) φ ( p ) = ( w 1 , w 1 ) p {\displaystyle (\varphi ^{\prime }(w_{1}),\varphi ^{\prime }(w_{2}))_{\varphi (p)}=(w_{1},w_{1})_{p}} .<a class="footnote-ref" id="fnref:37" href="#fn:37"><sup>37</sup></a> </p><p>A simple example of an isometry is provided by two parametrizations f 1 {\displaystyle f_{1}} and f 2 {\displaystyle f_{2}} of an open set U {\displaystyle U} into regular surfaces S 1 {\displaystyle S_{1}} and S 2 {\displaystyle S_{2}} . If E 1 = E 2 {\displaystyle E_{1}=E_{2}} , F 1 = F 2 {\displaystyle F_{1}=F_{2}} and G 1 = G 2 {\displaystyle G_{1}=G_{2}} , then φ = f 2 ∘ f 1 − 1 {\displaystyle \varphi =f_{2}\circ f_{1}^{-1}} is an isometry of f 1 ( U ) {\displaystyle f_{1}(U)} onto f 2 ( U ) {\displaystyle f_{2}(U)} . <a class="footnote-ref" id="fnref:38" href="#fn:38"><sup>38</sup></a> </p><p>The cylinder and the plane give examples of surfaces that are locally isometric but which cannot be extended to an isometry for topological reasons.<a class="footnote-ref" id="fnref:39" href="#fn:39"><sup>39</sup></a> As another example, the <a href="/facts/Catenoid/f094Ud1m">catenoid</a> and <a href="/facts/Helicoid/ekrSN1Pm">helicoid</a> are locally isometric.<a class="footnote-ref" id="fnref:40" href="#fn:40"><sup>40</sup></a> </p> <h3>Covariant derivatives</h3> <p class="note">Main articles: <a href="/facts/Covariant_derivative/sRGN0Xh6">Covariant derivative</a> and <a href="/facts/Riemannian_connection_on_a_surface/yGj0UUvs">Riemannian connection on a surface</a></p> <p>A tangential vector field X on S assigns, to each p in S, a tangent vector <i>X</i><i>p</i> to S at p. According to the "intrinsic" definition of tangent vectors given above, a tangential vector field X then assigns, to each local parametrization <i>f</i> : <i>V</i> → <i>S</i>, two real-valued functions <i>X</i>1 and <i>X</i>2 on V, so that </p> X p = X 1 ( f − 1 ( p ) ) ∂ f ∂ u | f − 1 ( p ) + X 2 ( f − 1 ( p ) ) ∂ f ∂ v | f − 1 ( p ) {\displaystyle X_{p}=X^{1}{\big (}f^{-1}(p){\big )}{\frac {\partial f}{\partial u}}{\Big |}_{f^{-1}(p)}+X^{2}{\big (}f^{-1}(p){\big )}{\frac {\partial f}{\partial v}}{\Big |}_{f^{-1}(p)}} <p>for each p in S. One says that X is smooth if the functions <i>X</i>1 and <i>X</i>2 are smooth, for any choice of f.<a class="footnote-ref" id="fnref:41" href="#fn:41"><sup>41</sup></a> According to the other definitions of tangent vectors given above, one may also regard a tangential vector field X on S as a map <i>X</i> : <i>S</i> → ℝ3 such that <i>X</i>(<i>p</i>) is contained in the tangent space <i>T</i><i>p</i><i>S</i> ⊂ ℝ3 for each p in S. As is common in the more general situation of <a href="/facts/Smooth_manifold/aSnbXKcV">smooth manifolds</a>, tangential vector fields <a href="/facts/Vector_field/ccFNuPPp">can also be defined</a> as certain differential operators on the space of smooth functions on S. </p><p>The covariant derivatives (also called "tangential derivatives") of <a href="/facts/Tullio_Levi-Civita/LmxVG3GP">Tullio Levi-Civita</a> and <a href="/facts/Gregorio_Ricci-Curbastro/HjBVjmPB">Gregorio Ricci-Curbastro</a> provide a means of differentiating smooth tangential vector fields. Given a tangential vector field X and a tangent vector Y to S at p, the covariant derivative ∇<i>Y</i><i>X</i> is a certain tangent vector to S at p. Consequently, if X and Y are both tangential vector fields, then ∇<i>Y</i><i>X</i> can also be regarded as a tangential vector field; iteratively, if X, Y, and Z are tangential vector fields, the one may compute ∇<i>Z</i>∇<i>Y</i><i>X</i>, which will be another tangential vector field. There are a few ways to define the covariant derivative; the first below uses the <a href="/facts/Christoffel_symbols/uCyd7RWX">Christoffel symbols</a> and the "intrinsic" definition of tangent vectors, and the second is more manifestly geometric. </p><p>Given a tangential vector field X and a tangent vector Y to S at p, one defines ∇<i>Y</i><i>X</i> to be the tangent vector to p which assigns to a local parametrization <i>f</i> : <i>V</i> → <i>S</i> the two numbers </p> ( ∇ Y X ) k = D ( Y 1 , Y 2 ) X k | f − 1 ( p ) + ∑ i = 1 2 ∑ j = 1 2 ( Γ i j k X j ) | f − 1 ( p ) Y i , ( k = 1 , 2 ) {\displaystyle (\nabla _{Y}X)^{k}=D_{(Y^{1},Y^{2})}X^{k}{\Big |}_{f^{-1}(p)}+\sum _{i=1}^{2}\sum _{j=1}^{2}{\big (}\Gamma _{ij}^{k}X^{j}{\big )}{\Big |}_{f^{-1}(p)}Y^{i},\qquad (k=1,2)} <p>where <i>D</i>(<i>Y</i>1, <i>Y</i>2) is the <a href="/facts/Directional_derivative/Fjc3JSVn">directional derivative</a>.<a class="footnote-ref" id="fnref:42" href="#fn:42"><sup>42</sup></a> This is often abbreviated in the less cumbersome form (∇<i>Y</i><i>X</i>)<i>k</i> = ∂<i>Y</i>(<i>X</i> <i>k</i>) + <i>Y</i> <i>i</i>Γ<i>k</i><i>ij</i><i>X</i><i> j</i>, making use of <a href="/facts/Einstein_notation/UXwS43wU">Einstein notation</a> and with the locations of function evaluation being implicitly understood. This follows a <a href="/facts/Levi-Civita_connection/16KGSQUY">standard prescription</a> in <a href="/facts/Riemannian_geometry/pPEzjyQC">Riemannian geometry</a> for obtaining a <a href="/facts/Connection_(mathematics)/KURsCmIu">connection</a> from a <a href="/facts/Riemannian_metric/5KYnmEgF">Riemannian metric</a>. It is a fundamental fact that the vector </p> ( ∇ Y X ) 1 ∂ f ∂ u + ( ∇ Y X ) 2 ∂ f ∂ v {\displaystyle (\nabla _{Y}X)^{1}{\frac {\partial f}{\partial u}}+(\nabla _{Y}X)^{2}{\frac {\partial f}{\partial v}}} <p>in ℝ3 is independent of the choice of local parametization f, although this is rather tedious to check. </p><p>One can also define the covariant derivative by the following geometric approach, which does not make use of <a href="/facts/Christoffel_symbols/uCyd7RWX">Christoffel symbols</a> or local parametrizations.<a class="footnote-ref" id="fnref:43" href="#fn:43"><sup>43</sup></a><a class="footnote-ref" id="fnref:44" href="#fn:44"><sup>44</sup></a><a class="footnote-ref" id="fnref:45" href="#fn:45"><sup>45</sup></a> Let X be a vector field on S, viewed as a function <i>S</i> → ℝ3. Given any curve <i>c</i> : (<i>a</i>, <i>b</i>) → <i>S</i>, one may consider the composition <i>X</i> ∘ <i>c</i> : (<i>a</i>, <i>b</i>) → ℝ3. As a map between Euclidean spaces, it can be differentiated at any input value to get an element (<i>X</i> ∘ <i>c</i>)′(<i>t</i>) of ℝ3. The <a href="/facts/Orthogonal_projection/sElXGkxD">orthogonal projection</a> of this vector onto <i>T</i><i>c</i>(<i>t</i>)<i>S</i> defines the covariant derivative ∇<i>c</i> ′(<i>t</i>)<i>X</i>. Although this is a very geometrically clean definition, it is necessary to show that the result only depends on <i>c</i>′(<i>t</i>) and X, and not on c and X; local parametrizations can be used for this small technical argument. </p><p>It is not immediately apparent from the second definition that covariant differentiation depends only on the first fundamental form of S; however, this is immediate from the first definition, since the Christoffel symbols can be defined directly from the first fundamental form. It is straightforward to check that the two definitions are equivalent. The key is that when one regards <i>X</i>1∂<i>f</i>/∂<i>u</i> + <i>X</i>2∂<i>f</i>/∂<i>v</i> as a ℝ3-valued function, its differentiation along a curve results in second partial derivatives ∂2<i>f</i>; the Christoffel symbols enter with orthogonal projection to the tangent space, due to the formulation of the Christoffel symbols as the tangential components of the second derivatives of f relative to the basis ∂<i>f</i>/∂<i>u</i>, ∂<i>f</i>/∂<i>v</i>, n.<a class="footnote-ref" id="fnref:46" href="#fn:46"><sup>46</sup></a> This is discussed in the above section. </p><p>The right-hand side of the three Gauss equations can be expressed using covariant differentiation. For instance, the right-hand side </p> ∂ Γ 11 2 ∂ v − ∂ Γ 21 2 ∂ u + Γ 21 2 Γ 11 1 + Γ 22 2 Γ 11 2 − Γ 11 2 Γ 21 1 − Γ 12 2 Γ 21 2 {\displaystyle {\frac {\partial \Gamma _{11}^{2}}{\partial v}}-{\frac {\partial \Gamma _{21}^{2}}{\partial u}}+\Gamma _{21}^{2}\Gamma _{11}^{1}+\Gamma _{22}^{2}\Gamma _{11}^{2}-\Gamma _{11}^{2}\Gamma _{21}^{1}-\Gamma _{12}^{2}\Gamma _{21}^{2}} <p>can be recognized as the second coordinate of </p> ∇ ∂ f ∂ v ∇ ∂ f ∂ u ∂ f ∂ u − ∇ ∂ f ∂ u ∇ ∂ f ∂ v ∂ f ∂ u {\displaystyle \nabla _{\frac {\partial f}{\partial v}}\nabla _{\frac {\partial f}{\partial u}}{\frac {\partial f}{\partial u}}-\nabla _{\frac {\partial f}{\partial u}}\nabla _{\frac {\partial f}{\partial v}}{\frac {\partial f}{\partial u}}} <p>relative to the basis ∂<i>f</i>/∂<i>u</i>, ∂<i>f</i>/∂<i>v</i>, as can be directly verified using the definition of covariant differentiation by Christoffel symbols. In the language of <a href="/facts/Riemannian_geometry/pPEzjyQC">Riemannian geometry</a>, this observation can also be phrased as saying that the right-hand sides of the Gauss equations are various components of the <a href="/facts/Ricci_curvature/qujou7QS">Ricci curvature</a> of the <a href="/facts/Levi-Civita_connection/16KGSQUY">Levi-Civita connection</a> of the first fundamental form, when interpreted as a <a href="/facts/Riemannian_metric/5KYnmEgF">Riemannian metric</a>. </p> <h2 id="examples">Examples</h2> <h3>Surfaces of revolution</h3> <p class="note">Further information: <a href="/facts/Surface_of_revolution/yzpQMdzx">Surface of revolution</a></p> <p>A surface of revolution is obtained by rotating a curve in the <i>xz</i>-plane about the <i>z</i>-axis. Such surfaces include spheres, cylinders, cones, tori, and the <a href="/facts/Catenoid/f094Ud1m">catenoid</a>. The general <a href="/facts/Ellipsoid/pe9vm0Sh">ellipsoids</a>, <a href="/facts/Hyperboloid/K5mDV2Nw">hyperboloids</a>, and <a href="/facts/Paraboloid/AUdRV2QH">paraboloids</a> are not. Suppose that the curve is parametrized by </p> x = c 1 ( s ) , z = c 2 ( s ) {\displaystyle x=c_{1}(s),\,\,z=c_{2}(s)} <p>with <i>s</i> drawn from an interval (<i>a</i>, <i>b</i>). If <i>c</i>1 is never zero, if <i>c</i>1′ and <i>c</i>2′ are never both equal to zero, and if <i>c</i>1 and <i>c</i>2 are both smooth, then the corresponding surface of revolution </p> S = { ( c 1 ( s ) cos t , c 1 ( s ) sin t , c 2 ( s ) ) : s ∈ ( a , b ) and t ∈ R } {\displaystyle S={\Big \{}{\big (}c_{1}(s)\cos t,c_{1}(s)\sin t,c_{2}(s){\big )}\colon s\in (a,b){\text{ and }}t\in \mathbb {R} {\Big \}}} <p>will be a regular surface in ℝ3. A local parametrization <i>f</i> : (<i>a</i>, <i>b</i>) × (0, 2π) → <i>S</i> is given by </p> f ( s , t ) = ( c 1 ( s ) cos t , c 1 ( s ) sin t , c 2 ( s ) ) . {\displaystyle f(s,t)={\big (}c_{1}(s)\cos t,c_{1}(s)\sin t,c_{2}(s){\big )}.} <p>Relative to this parametrization, the geometric data is:<a class="footnote-ref" id="fnref:47" href="#fn:47"><sup>47</sup></a> </p> <table><tbody><tr><th>Quantity</th><th>Formula</th></tr><tr><td>A unit normal vector field</td><td> n = ( − c 2 ′ ( s ) cos t , − c 2 ′ ( s ) sin t , c 1 ′ ( s ) ) c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 {\displaystyle n={\frac {{\big (}-c_{2}'(s)\cos t,-c_{2}'(s)\sin t,c_{1}'(s){\big )}}{\sqrt {c_{1}'(s)^{2}+c_{2}'(s)^{2}}}}} </td></tr><tr><td>First fundamental form</td><td> ( E F F G ) = ( c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 0 0 c 1 ( s ) 2 ) {\displaystyle {\begin{pmatrix}E&F\\F&G\end{pmatrix}}={\begin{pmatrix}c_{1}'(s)^{2}+c_{2}'(s)^{2}&0\\0&c_{1}(s)^{2}\end{pmatrix}}} </td></tr><tr><td>Second fundamental form</td><td> ( L M M N ) = ( c 1 ′ ( s ) c 2 ″ ( s ) − c 2 ′ ( s ) c 1 ″ ( s ) c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 0 0 c 1 ( s ) c 2 ′ ( s ) c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 ) {\displaystyle {\begin{pmatrix}L&M\\M&N\end{pmatrix}}={\begin{pmatrix}{\frac {c_{1}'(s)c_{2}''(s)-c_{2}'(s)c_{1}''(s)}{\sqrt {c_{1}'(s)^{2}+c_{2}'(s)^{2}}}}&0\\0&{\frac {c_{1}(s)c_{2}'(s)}{\sqrt {c_{1}'(s)^{2}+c_{2}'(s)^{2}}}}\end{pmatrix}}} </td></tr><tr><td>Principal curvatures</td><td> c 1 ′ ( s ) c 2 ″ ( s ) − c 2 ′ ( s ) c 1 ″ ( s ) ( c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 ) 3 / 2 and c 2 ′ ( s ) c 1 ( s ) c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 {\displaystyle {\frac {c_{1}'(s)c_{2}''(s)-c_{2}'(s)c_{1}''(s)}{{\big (}c_{1}'(s)^{2}+c_{2}'(s)^{2}{\big )}^{3/2}}}\quad {\text{and}}\quad {\frac {c_{2}'(s)}{c_{1}(s){\sqrt {c_{1}'(s)^{2}+c_{2}'(s)^{2}}}}}} </td></tr><tr><td>Gaussian curvature</td><td> K = c 2 ′ ( s ) ( c 1 ′ ( s ) c 2 ″ ( s ) − c 2 ′ ( s ) c 1 ″ ( s ) ) c 1 ( s ) ( c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 ) 2 {\displaystyle K={\frac {c_{2}'(s){\big (}c_{1}'(s)c_{2}''(s)-c_{2}'(s)c_{1}''(s){\big )}}{c_{1}(s){\big (}c_{1}'(s)^{2}+c_{2}'(s)^{2}{\big )}^{2}}}} </td></tr><tr><td>Mean curvature</td><td> H = 1 2 c 1 ′ ( s ) c 2 ″ ( s ) − c 2 ′ ( s ) c 1 ″ ( s ) ( c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 ) 3 / 2 + 1 2 c 2 ′ ( s ) c 1 ( s ) c 1 ′ ( s ) 2 + c 2 ′ ( s ) 2 . {\displaystyle H={\frac {1}{2}}{\frac {c_{1}'(s)c_{2}''(s)-c_{2}'(s)c_{1}''(s)}{{\big (}c_{1}'(s)^{2}+c_{2}'(s)^{2}{\big )}^{3/2}}}+{\frac {1}{2}}{\frac {c_{2}'(s)}{c_{1}(s){\sqrt {c_{1}'(s)^{2}+c_{2}'(s)^{2}}}}}.} </td></tr></tbody></table> <p>In the special case that the original curve is parametrized by arclength, i.e. (<i>c</i>1′(<i>s</i>))2 + (<i>c</i>2′(<i>s</i>))2 = 1, one can differentiate to find <i>c</i>1′(<i>s</i>)<i>c</i>1′′(<i>s</i>) + <i>c</i>2′(<i>s</i>)<i>c</i>2′′(<i>s</i>) = 0. On substitution into the Gaussian curvature, one has the simplified </p> K = − c 1 ″ ( s ) c 1 ( s ) and H = c 1 ′ ( s ) c 2 ″ ( s ) − c 2 ′ ( s ) c 1 ″ ( s ) + c 2 ′ ( s ) c 1 ( s ) . {\displaystyle K=-{\frac {c_{1}''(s)}{c_{1}(s)}}\qquad {\text{and}}\qquad H=c_{1}'(s)c_{2}''(s)-c_{2}'(s)c_{1}''(s)+{\frac {c_{2}'(s)}{c_{1}(s)}}.} <p>The simplicity of this formula makes it particularly easy to study the class of rotationally symmetric surfaces with constant Gaussian curvature.<a class="footnote-ref" id="fnref:48" href="#fn:48"><sup>48</sup></a> By reduction to the alternative case that <i>c</i>2(s) = s, one can study the rotationally symmetric minimal surfaces, with the result that any such surface is part of a plane or a scaled catenoid.<a class="footnote-ref" id="fnref:49" href="#fn:49"><sup>49</sup></a> </p><p>Each constant-t curve on S can be parametrized as a geodesic; a constant-s curve on S can be parametrized as a geodesic if and only if <i>c</i>1′(s) is equal to zero. Generally, geodesics on S are governed by <a href="/facts/Clairaut%27s_relation/eDfdSss8">Clairaut's relation</a>. </p> <h3>Quadric surfaces</h3> <p class="note">Further information: <a href="/facts/Quadric_surface/L3cTApd4">Quadric surface</a></p> <p>Consider the quadric surface defined by<a class="footnote-ref" id="fnref:50" href="#fn:50"><sup>50</sup></a> </p> x 2 a + y 2 b + z 2 c = 1. {\displaystyle {x^{2} \over a}+{y^{2} \over b}+{z^{2} \over c}=1.} <p>This surface admits a parametrization </p> x = a ( a − u ) ( a − v ) ( a − b ) ( a − c ) , y = b ( b − u ) ( b − v ) ( b − a ) ( b − c ) , z = c ( c − u ) ( c − v ) ( c − b ) ( c − a ) . {\displaystyle x={\sqrt {a(a-u)(a-v) \over (a-b)(a-c)}},\,\,y={\sqrt {b(b-u)(b-v) \over (b-a)(b-c)}},\,\,z={\sqrt {c(c-u)(c-v) \over (c-b)(c-a)}}.} <p>The Gaussian curvature and mean curvature are given by </p> K = a b c u 2 v 2 , K m = − ( u + v ) a b c u 3 v 3 . {\displaystyle K={abc \over u^{2}v^{2}},\,\,K_{m}=-(u+v){\sqrt {abc \over u^{3}v^{3}}}.} <h3>Ruled surfaces</h3> <p class="note">Further information: <a href="/facts/Ruled_surface/uAGM9b1X">Ruled surface</a></p> <p>A ruled surface is one which can be generated by the motion of a straight line in E3.<a class="footnote-ref" id="fnref:51" href="#fn:51"><sup>51</sup></a> Choosing a <i>directrix</i> on the surface, i.e. a smooth unit speed curve <i>c</i>(<i>t</i>) orthogonal to the straight lines, and then choosing <i>u</i>(<i>t</i>) to be unit vectors along the curve in the direction of the lines, the velocity vector <i>v</i> = <i>c</i>t and <i>u</i> satisfy </p> u ⋅ v = 0 , ‖ u ‖ = 1 , ‖ v ‖ = 1. {\displaystyle u\cdot v=0,\,\,\|u\|=1,\,\,\|v\|=1.} <p>The surface consists of points </p> c ( t ) + s ⋅ u ( t ) {\displaystyle c(t)+s\cdot u(t)} <p>as <i>s</i> and <i>t</i> vary. </p><p>Then, if </p> a = ‖ u t ‖ , b = u t ⋅ v , α = − b a 2 , β = a 2 − b 2 a 2 , {\displaystyle a=\|u_{t}\|,\,\,b=u_{t}\cdot v,\,\,\alpha =-{\frac {b}{a^{2}}},\,\,\beta ={\frac {\sqrt {a^{2}-b^{2}}}{a^{2}}},} <p>the Gaussian and mean curvature are given by </p> K = − β 2 ( ( s − α ) 2 + β 2 ) 2 , K m = − r [ ( s − α ) 2 + β 2 ) ] + β t ( s − α ) + β α t [ ( s − α ) 2 + β 2 ] 3 2 . {\displaystyle K=-{\beta ^{2} \over ((s-\alpha )^{2}+\beta ^{2})^{2}},\,\,K_{m}=-{r[(s-\alpha )^{2}+\beta ^{2})]+\beta _{t}(s-\alpha )+\beta \alpha _{t} \over [(s-\alpha )^{2}+\beta ^{2}]^{\frac {3}{2}}}.} <p>The Gaussian curvature of the ruled surface vanishes if and only if <i>u</i><i>t</i> and <i>v</i> are proportional,<a class="footnote-ref" id="fnref:52" href="#fn:52"><sup>52</sup></a> This condition is equivalent to the surface being the <a href="/facts/Envelope_(mathematics)/jr5DkCGD">envelope</a> of the planes along the curve containing the tangent vector <i>v</i> and the orthogonal vector <i>u</i>, i.e. to the surface being <a href="/facts/Developable_surface/4lMmnSKm">developable</a> along the curve.<a class="footnote-ref" id="fnref:53" href="#fn:53"><sup>53</sup></a> More generally a surface in E3 has vanishing Gaussian curvature near a point if and only if it is developable near that point.<a class="footnote-ref" id="fnref:54" href="#fn:54"><sup>54</sup></a> (An equivalent condition is given below in terms of the metric.) </p> <h3>Minimal surfaces</h3> <p class="note">Further information: <a href="/facts/Minimal_surface/Fy7VkrLQ">Minimal surface</a></p> <p>In 1760 <a href="/facts/Lagrange/bTQUaSTv">Lagrange</a> extended Euler's results on the <a href="/facts/Calculus_of_variations/Ya5Lsma3">calculus of variations</a> involving integrals in one variable to two variables.<a class="footnote-ref" id="fnref:55" href="#fn:55"><sup>55</sup></a> He had in mind the following problem: </p> <p> Given a closed curve in E3, find a surface having the curve as boundary with minimal area.</p> <p>Such a surface is called a minimal surface. </p><p>In 1776 <a href="/facts/Jean_Baptiste_Meusnier/WMym2w97">Jean Baptiste Meusnier</a> showed that the differential equation derived by Lagrange was equivalent to the vanishing of the mean curvature of the surface: </p> <p>A surface is minimal if and only if its mean curvature vanishes.</p> <p>Minimal surfaces have a simple interpretation in real life: they are the shape a soap film will assume if a wire frame shaped like the curve is dipped into a soap solution and then carefully lifted out. The question as to whether a minimal surface with given boundary exists is called <a href="/facts/Plateau%27s_problem/UyRuUh2c">Plateau's problem</a> after the Belgian physicist <a href="/facts/Joseph_Plateau/mve0khny">Joseph Plateau</a> who carried out experiments on soap films in the mid-nineteenth century. In 1930 <a href="/facts/Jesse_Douglas/fdfINaVr">Jesse Douglas</a> and <a href="/facts/Tibor_Rad%C3%B3/wputMr4V">Tibor Radó</a> gave an affirmative answer to Plateau's problem (Douglas was awarded one of the first <a href="/facts/Fields_medal/khFmkEnm">Fields medals</a> for this work in 1936).<a class="footnote-ref" id="fnref:56" href="#fn:56"><sup>56</sup></a> </p><p>Many explicit examples of minimal surface are known explicitly, such as the <a href="/facts/Catenoid/f094Ud1m">catenoid</a>, the <a href="/facts/Helicoid/ekrSN1Pm">helicoid</a>, the <a href="/facts/Scherk_surface/YwqYr8nB">Scherk surface</a> and the <a href="/facts/Enneper_surface/ML6QRCG2">Enneper surface</a>. There has been extensive research in this area, summarised in Osserman (2002). In particular a result of Osserman shows that if a minimal surface is non-planar, then its image under the Gauss map is dense in <i>S</i>2. </p> <h3>Surfaces of constant Gaussian curvature</h3> <p>If a surface has constant Gaussian curvature, it is called a surface of constant curvature.<a class="footnote-ref" id="fnref:57" href="#fn:57"><sup>57</sup></a> </p> <ul><li>The unit <a href="/facts/Sphere/jywYLNM2">sphere</a> in E3 has constant Gaussian curvature +1.</li> <li>The Euclidean <a href="/facts/Plane_(mathematics)/tAUtRFcn">plane</a> and the <a href="/facts/Cylinder_(geometry)/0wQPPr3k">cylinder</a> both have constant Gaussian curvature 0.</li> <li>A unit <a href="/facts/Pseudosphere/KPSkPdKB">pseudosphere</a> has constant Gaussian curvature -1 (apart from its equator, that is <a href="/facts/Singularity_(mathematics)/Y5sMQY4I">singular</a>). Pseudosphere can be obtained by rotating a <a href="/facts/Tractrix/n42tlXCJ">tractrix</a> around its asymptote. In 1868 <a href="/facts/Eugenio_Beltrami/vkp9UPR9">Eugenio Beltrami</a> showed that the geometry of the pseudosphere was directly related to that of the more abstract <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic plane</a>, discovered independently by <a href="/facts/Nikolai_Lobachevsky/0fe8z6jY">Lobachevsky</a> (1830) and <a href="/facts/Bolyai/JeXBranr">Bolyai</a> (1832). Already in 1840, F. Minding, a student of Gauss, had obtained trigonometric formulas for the pseudosphere identical to those for the hyperbolic plane.<a class="footnote-ref" id="fnref:58" href="#fn:58"><sup>58</sup></a> The intrinsic geometry of this surface is now better understood in terms of the <a href="/facts/Poincar%C3%A9_metric/BVRGJuvL">Poincaré metric</a> on the <a href="/facts/Upper_half_plane/7fPqrowr">upper half plane</a> or the <a href="/facts/Unit_disc/phrUu7yC">unit disc</a>, and has been described by other models such as the <a href="/facts/Klein_model/Y2HavAIY">Klein model</a> or the <a href="/facts/Hyperboloid_model/L79z8k4Q">hyperboloid model</a>, obtained by considering the two-sheeted hyperboloid <i>q</i>(<i>x</i>, <i>y</i>, <i>z</i>) = −1 in three-dimensional <a href="/facts/Minkowski_space/vDkfkQJn">Minkowski space</a>, where <i>q</i>(<i>x</i>, <i>y</i>, <i>z</i>) = <i>x</i>2 + <i>y</i>2 – <i>z</i>2.<a class="footnote-ref" id="fnref:59" href="#fn:59"><sup>59</sup></a></li></ul> <p>The sphere, the plane and the hyperbolic plane have <a href="/facts/Group_action/Vh9VtUUw">transitive</a> <a href="/facts/Lie_group/a9jCQyjF">Lie group</a> of symmetries. This group theoretic fact has far-reaching consequences, all the more remarkable because of the central role these special surfaces play in the geometry of surfaces, due to <a href="/facts/Henri_Poincar%C3%A9/AazL2j4X">Poincaré</a>'s <a href="/facts/Uniformization_theorem/mEa8a6IQ">uniformization theorem</a> (see below). </p><p>Other examples of surfaces with Gaussian curvature 0 include <a href="/facts/Cone_(geometry)/2c9GIzYD">cones</a>, <a href="/facts/Tangent_developable/e24EwwRp">tangent developables</a>, and more generally any developable surface. </p> <h2 id="local-metric-structure">Local metric structure</h2> <p class="note">Further information: <a href="/facts/Riemannian_manifold/5KYnmEgF">Riemannian manifold</a></p> <p>For any surface embedded in Euclidean space of dimension 3 or higher, it is possible to measure the length of a curve on the surface, the angle between two curves and the area of a region on the surface. This structure is encoded infinitesimally in a <a href="/facts/Riemannian_metric/5KYnmEgF">Riemannian metric</a> on the surface through <i>line elements</i> and <i>area elements</i>. Classically in the nineteenth and early twentieth centuries only surfaces embedded in R3 were considered and the metric was given as a 2×2 <a href="/facts/Positive_definite_matrix/Hbr6AuPS">positive definite matrix</a> varying smoothly from point to point in a local parametrization of the surface. The idea of local parametrization and change of coordinate was later formalized through the current abstract notion of a <a href="/facts/Manifold/rXPERJtu">manifold</a>, a topological space where the <a href="/facts/Smooth_structure/lfvfhqxr">smooth structure</a> is given by local charts on the manifold, exactly as the planet Earth is mapped by <a href="/facts/Atlas/0P16fANt">atlases</a> today. Changes of coordinates between different charts of the same region are required to be smooth. Just as contour lines on real-life maps encode changes in elevation, taking into account local distortions of the Earth's surface to calculate true distances, so the Riemannian metric describes distances and areas "in the small" in each local chart. In each local chart a Riemannian metric is given by smoothly assigning a 2×2 positive definite matrix to each point; when a different chart is taken, the matrix is transformed according to the <a href="/facts/Jacobian_matrix/0tNv6o8j">Jacobian matrix</a> of the coordinate change. The manifold then has the structure of a 2-dimensional <a href="/facts/Riemannian_manifold/5KYnmEgF">Riemannian manifold</a>. </p> <h3>Shape operator</h3> <p>The <a href="/facts/Differential_of_a_function/337XJVMC">differential</a> <i>dn</i> of the <a href="/facts/Gauss_map/FHfEvkbk">Gauss map</a> <i>n</i> can be used to define a type of extrinsic curvature, known as the shape operator<a class="footnote-ref" id="fnref:60" href="#fn:60"><sup>60</sup></a> or <a href="/facts/Julius_Weingarten/szCRqdrB">Weingarten</a> map. This operator first appeared implicitly in the work of <a href="/facts/Wilhelm_Blaschke/NQPEocq3">Wilhelm Blaschke</a> and later explicitly in a treatise by Burali-Forti and Burgati.<a class="footnote-ref" id="fnref:61" href="#fn:61"><sup>61</sup></a> Since at each point <i>x</i> of the surface, the tangent space is an <a href="/facts/Inner_product_space/HoyjElEy">inner product space</a>, the shape operator <i>S</i><i>x</i> can be defined as a linear operator on this space by the formula </p> ( S x v , w ) = ( d n ( v ) , w ) {\displaystyle (S_{x}v,w)=(dn(v),w)} <p>for tangent vectors <i>v</i>, <i>w</i> (the inner product makes sense because <i>dn</i>(<i>v</i>) and <i>w</i> both lie in E3).<a class="footnote-ref" id="fnref:62" href="#fn:62"><sup>62</sup></a> The right hand side is symmetric in <i>v</i> and <i>w</i>, so the shape operator is <a href="/facts/Symmetric_matrix/08CGwjNl">self-adjoint</a> on the tangent space. The eigenvalues of <i>S</i><i>x</i> are just the principal curvatures <i>k</i>1 and <i>k</i>2 at <i>x</i>. In particular the <a href="/facts/Determinant/eGYqJ2TF">determinant</a> of the shape operator at a point is the Gaussian curvature, but it also contains other information, since the <a href="/facts/Mean_curvature/lgdJ9b0k">mean curvature</a> is half the <a href="/facts/Trace_(linear_algebra)/dchFFvHt">trace</a> of the shape operator. The mean curvature is an extrinsic invariant. In intrinsic geometry, a cylinder is developable, meaning that every piece of it is intrinsically indistinguishable from a piece of a plane since its Gauss curvature vanishes identically. Its mean curvature is not zero, though; hence extrinsically it is different from a plane. </p><p>Equivalently, the shape operator can be defined as a linear operator on tangent spaces, <i>S</i><i>p</i>: <i>T</i><i>p</i><i>M</i>→<i>T</i><i>p</i><i>M</i>. If <i>n</i> is a unit normal field to <i>M</i> and <i>v</i> is a tangent vector then </p> S ( v ) = ± ∇ v n {\displaystyle S(v)=\pm \nabla _{v}n} <p>(there is no standard agreement whether to use + or − in the definition). </p><p>In general, the <a href="/facts/Eigenvalue,_eigenvector_and_eigenspace/8TjEoT8u">eigenvectors and eigenvalues</a> of the shape operator at each point determine the directions in which the surface bends at each point. The eigenvalues correspond to the <a href="/facts/Principal_curvatures/7K9D3NqU">principal curvatures</a> of the surface and the eigenvectors are the corresponding principal directions. The principal directions specify the directions that a curve embedded in the surface must travel to have maximum and minimum curvature, these being given by the principal curvatures. </p> <h2 id="geodesic-curves-on-a-surface">Geodesic curves on a surface</h2> <p>Curves on a surface which minimize length between the endpoints are called <a href="/facts/Geodesic/fbWR6l80">geodesics</a>; they are the shape that an <a href="/facts/Elastic_band/PMSbEPEp">elastic band</a> stretched between the two points would take. Mathematically they are described using <a href="/facts/Ordinary_differential_equation/ygKGQ8kD">ordinary differential equations</a> and the <a href="/facts/Calculus_of_variations/Ya5Lsma3">calculus of variations</a>. The differential geometry of surfaces revolves around the study of geodesics. It is still an open question whether every Riemannian metric on a 2-dimensional local chart arises from an embedding in 3-dimensional Euclidean space: the theory of geodesics has been used to show this is true in the important case when the components of the metric are <a href="/facts/Analytic_function/JhL3z8FP">analytic</a>. </p> <h3>Geodesics</h3> <p>Given a piecewise smooth path <i>c</i>(<i>t</i>) = (<i>x</i>(<i>t</i>), <i>y</i>(<i>t</i>)) in the chart for <i>t</i> in [<i>a</i>, <i>b</i>], its <i>length</i> is defined by </p> L ( c ) = ∫ a b ( E x ˙ 2 + 2 F x ˙ y ˙ + G y ˙ 2 ) 1 2 d t {\displaystyle L(c)=\int _{a}^{b}(E{\dot {x}}^{2}+2F{\dot {x}}{\dot {y}}+G{\dot {y}}^{2})^{\frac {1}{2}}\,dt} <p>and <i>energy</i> by </p> E ( c ) = ∫ a b ( E x ˙ 2 + 2 F x ˙ y ˙ + G y ˙ 2 ) d t . {\displaystyle E(c)=\int _{a}^{b}(E{\dot {x}}^{2}+2F{\dot {x}}{\dot {y}}+G{\dot {y}}^{2})\,dt.} <p>The length is independent of the parametrization of a path. By the <a href="/facts/Euler%E2%80%93Lagrange_equations/Ymq3r3Dh">Euler–Lagrange equations</a>, if <i>c</i>(<i>t</i>) is a path minimising length, <i>parametrized by arclength</i>, it must satisfy the <a href="/facts/Euler_equations/F1zh068s">Euler equations</a> </p> x ¨ + Γ 11 1 x ˙ 2 + 2 Γ 12 1 x ˙ y ˙ + Γ 22 1 y ˙ 2 = 0 {\displaystyle {\ddot {x}}+\Gamma _{11}^{1}{\dot {x}}^{2}+2\Gamma _{12}^{1}{\dot {x}}{\dot {y}}+\Gamma _{22}^{1}{\dot {y}}^{2}=0} y ¨ + Γ 11 2 x ˙ 2 + 2 Γ 12 2 x ˙ y ˙ + Γ 22 2 y ˙ 2 = 0 {\displaystyle {\ddot {y}}+\Gamma _{11}^{2}{\dot {x}}^{2}+2\Gamma _{12}^{2}{\dot {x}}{\dot {y}}+\Gamma _{22}^{2}{\dot {y}}^{2}=0} <p>where the <a href="/facts/Christoffel_symbols/uCyd7RWX">Christoffel symbols</a> Γ<i>k</i><i>ij</i> are given by </p> Γ i j k = 1 2 g k m ( ∂ j g i m + ∂ i g j m − ∂ m g i j ) {\displaystyle \Gamma _{ij}^{k}={\tfrac {1}{2}}g^{km}(\partial _{j}g_{im}+\partial _{i}g_{jm}-\partial _{m}g_{ij})} <p>where <i>g</i>11 = <i>E</i>, <i>g</i>12 = <i>F</i>, <i>g</i>22 = <i>G</i> and <i>g</i><i>ij</i> is the inverse matrix to <i>g</i><i>ij</i>. A path satisfying the Euler equations is called a <a href="/facts/Geodesic/fbWR6l80">geodesic</a>. By the <a href="/facts/Cauchy%E2%80%93Schwarz_inequality/poMzQUIY">Cauchy–Schwarz inequality</a> a path minimising energy is just a geodesic parametrised by arc length; and, for any geodesic, the parameter <i>t</i> is proportional to arclength.<a class="footnote-ref" id="fnref:63" href="#fn:63"><sup>63</sup></a> </p> <h3>Geodesic curvature</h3> <p class="note">See also: <a href="/facts/Geodesic_curvature/2BNtWjqj">Geodesic curvature</a> and <a href="/facts/Darboux_frame/B9SRuNUp">Darboux frame</a></p> <p>The geodesic curvature <i>kg</i> at a point of a curve <i>c</i>(<i>t</i>), parametrised by arc length, on an oriented surface is defined to be<a class="footnote-ref" id="fnref:64" href="#fn:64"><sup>64</sup></a> </p> k g = c ¨ ( t ) ⋅ n ( t ) . {\displaystyle k_{g}={\ddot {c}}(t)\cdot \mathbf {n} (t).} <p>where n(<i>t</i>) is the "principal" unit normal to the curve in the surface, constructed by rotating the unit tangent vector ċ(<i>t</i>) through an angle of +90°. </p> <ul><li>The geodesic curvature at a point is an intrinsic invariant depending only on the metric near the point.</li> <li>A unit speed curve on a surface is a geodesic if and only if its geodesic curvature vanishes at all points on the curve.</li> <li>A unit speed curve <i>c</i>(<i>t</i>) in an embedded surface is a geodesic if and only if its acceleration vector c̈(<i>t</i>) is normal to the surface.</li></ul> <p>The geodesic curvature measures in a precise way how far a curve on the surface is from being a geodesic. </p> <h3>Orthogonal coordinates</h3> <p>When <i>F</i> = 0 throughout a coordinate chart, such as with the geodesic polar coordinates discussed below, the images of lines parallel to the <i>x</i>- and <i>y</i>-axes are <a href="/facts/Orthogonal/JVIjYPog">orthogonal</a> and provide <a href="/facts/Orthogonal_coordinates/LLoa2lAJ">orthogonal coordinates</a>. If <i>H</i> = (<i>EG</i>)1⁄2, then the Gaussian curvature is given by<a class="footnote-ref" id="fnref:65" href="#fn:65"><sup>65</sup></a> </p> K = − 1 2 H [ ∂ x ( G x H ) + ∂ y ( E y H ) ] . {\displaystyle K=-{1 \over 2H}\left[\partial _{x}\left({\frac {G_{x}}{H}}\right)+\partial _{y}\left({\frac {E_{y}}{H}}\right)\right].} <p>If in addition <i>E</i> = 1, so that <i>H</i> = <i>G</i>1⁄2, then the angle <i>φ</i> at the intersection between geodesic (<i>x</i>(<i>t</i>),<i>y</i>(<i>t</i>)) and the line <i>y</i> = constant is given by the equation </p> tan φ = H ⋅ y ˙ x ˙ . {\displaystyle \tan \varphi =H\cdot {\frac {\dot {y}}{\dot {x}}}.} <p>The derivative of <i>φ</i> is given by a classical derivative formula of Gauss:<a class="footnote-ref" id="fnref:66" href="#fn:66"><sup>66</sup></a> </p> φ ˙ = − H x ⋅ y ˙ . {\displaystyle {\dot {\varphi }}=-H_{x}\cdot {\dot {y}}.} <h2 id="geodesic-polar-coordinates">Geodesic polar coordinates</h2> <p>Once a metric is given on a surface and a base point is fixed, there is a unique geodesic connecting the base point to each sufficiently nearby point. The direction of the geodesic at the base point and the distance uniquely determine the other endpoint. These two bits of data, a direction and a magnitude, thus determine a tangent vector at the base point. The map from tangent vectors to endpoints smoothly sweeps out a neighbourhood of the base point and defines what is called the <i><a href="/facts/Exponential_map_(Riemannian_geometry)/YfsKa30B">exponential map</a></i>, defining a local coordinate chart at that base point. The neighbourhood swept out has similar properties to balls in Euclidean space, namely any two points in it are joined by a unique geodesic. This property is called "geodesic convexity" and the coordinates are called <i><a href="/facts/Normal_coordinates/yEPcdFUd">normal coordinates</a></i>. The explicit calculation of normal coordinates can be accomplished by considering the differential equation satisfied by geodesics. The convexity properties are consequences of <a href="/facts/Gauss%27s_lemma_(Riemannian_geometry)/HaWIMsSP">Gauss's lemma</a> and its generalisations. Roughly speaking this lemma states that geodesics starting at the base point must cut the spheres of fixed radius centred on the base point at right angles. Geodesic polar coordinates are obtained by combining the exponential map with <a href="/facts/Polar_coordinates/HBko4YoN">polar coordinates</a> on tangent vectors at the base point. The Gaussian curvature of the surface is then given by the second order deviation of the metric at the point from the Euclidean metric. In particular the Gaussian curvature is an invariant of the metric, Gauss's celebrated <i><a href="/facts/Theorema_Egregium/pKPCA0QI">Theorema Egregium</a></i>. A convenient way to understand the curvature comes from an ordinary differential equation, first considered by Gauss and later generalized by Jacobi, arising from the change of normal coordinates about two different points. The Gauss–Jacobi equation provides another way of computing the Gaussian curvature. Geometrically it explains what happens to geodesics from a fixed base point as the endpoint varies along a small curve segment through data recorded in the <a href="/facts/Jacobi_field/drY2JJkQ">Jacobi field</a>, a <a href="/facts/Vector_field/ccFNuPPp">vector field</a> along the geodesic.<a class="footnote-ref" id="fnref:67" href="#fn:67"><sup>67</sup></a> One and a quarter centuries after Gauss and Jacobi, <a href="/facts/Marston_Morse/qYfc9fjk">Marston Morse</a> gave a more conceptual interpretation of the Jacobi field in terms of second derivatives of the energy function on the infinite-dimensional <a href="/facts/Hilbert_manifold/b1n79WkP">Hilbert manifold</a> of paths.<a class="footnote-ref" id="fnref:68" href="#fn:68"><sup>68</sup></a> </p> <h3>Exponential map</h3> <p class="note">Further information: <a href="/facts/Normal_coordinates/yEPcdFUd">Normal coordinates</a></p> <p>The theory of <a href="/facts/Ordinary_differential_equation/ygKGQ8kD">ordinary differential equations</a> shows that if <i>f</i>(<i>t</i>, <i>v</i>) is smooth then the differential equation <i>dv</i>/<i>dt</i> = <i>f</i>(<i>t</i>, <i>v</i>) with initial condition <i>v</i>(0) = <i>v</i>0 has a unique solution for |<i>t</i>| sufficiently small and the solution depends smoothly on <i>t</i> and <i>v</i>0. This implies that for sufficiently small <a href="/facts/Tangent_vector/UEq5yffm">tangent vectors</a> <i>v</i> at a given point <i>p</i> = (<i>x</i>0, <i>y</i>0), there is a geodesic <i>c</i><i>v</i>(<i>t</i>) defined on (−2, 2) with <i>c</i><i>v</i>(0) = (<i>x</i>0, <i>y</i>0) and <i>ċ</i><i>v</i>(0) = <i>v</i>. Moreover, if |<i>s</i>| ≤ 1, then <i>c</i><i>sv</i> = <i>c</i><i>v</i>(<i>st</i>). The <i><a href="/facts/Exponential_map_(Riemannian_geometry)/YfsKa30B">exponential map</a></i> is defined by </p> exp<i>p</i>(<i>v</i>) = <i>c</i><i>v</i> (1) <p>and gives a diffeomorphism between a disc ‖<i>v</i>‖ < <i>δ</i> and a neighbourhood of <i>p</i>; more generally the map sending (<i>p</i>, <i>v</i>) to exp<i>p</i>(<i>v</i>) gives a local diffeomorphism onto a neighbourhood of (<i>p</i>, <i>p</i>). The exponential map gives <i><a href="/facts/Geodesic_normal_coordinates/yEPcdFUd">geodesic normal coordinates</a></i> near <i>p</i>.<a class="footnote-ref" id="fnref:69" href="#fn:69"><sup>69</sup></a> </p> <h3>Computation of normal coordinates</h3> <p>There is a standard technique (see for example Berger (2004)) for computing the change of variables to normal coordinates <i>u</i>, <i>v</i> at a point as a formal <a href="/facts/Taylor_series/M0aTuftH">Taylor series</a> expansion. If the coordinates <i>x</i>, <i>y</i> at (0,0) are locally orthogonal, write </p> <i>x</i>(<i>u</i>,<i>v</i>) = <i>αu</i> + <i>L</i>(<i>u</i>,<i>v</i>) + <i>λ</i>(<i>u</i>,<i>v</i>) + … <i>y</i>(<i>u</i>,<i>v</i>) = <i>βv</i> + <i>M</i>(<i>u</i>,<i>v</i>) + <i>μ</i>(<i>u</i>,<i>v</i>) + … <p>where <i>L</i>, <i>M</i> are quadratic and <i>λ</i>, <i>μ</i> cubic <a href="/facts/Homogeneous_polynomial/WUHL7Kct">homogeneous polynomials</a> in <i>u</i> and <i>v</i>. If <i>u</i> and <i>v</i> are fixed, <i>x</i>(<i>t</i>) = <i>x</i>(<i>tu</i>,<i>tv</i>) and <i>y</i>(<i>t</i>) = <i>y</i>(<i>tu</i>, <i>tv</i>) can be considered as formal <a href="/facts/Power_series/vYh6sTps">power series</a> solutions of the Euler equations: this uniquely determines <i>α</i>, <i>β</i>, <i>L</i>, <i>M</i>, <i>λ</i> and <i>μ</i>. </p> <h3>Gauss's lemma</h3> <p class="note">Main article: <a href="/facts/Gauss%27s_lemma_(Riemannian_geometry)/HaWIMsSP">Gauss's lemma (Riemannian geometry)</a></p> <p>In these coordinates the matrix <i>g</i>(<i>x</i>) satisfies <i>g</i>(0) = <i>I</i> and the lines <i>t</i> ↦ <i>tv</i> are geodesics through 0. Euler's equations imply the matrix equation </p> <i>g</i>(<i>v</i>)<i>v</i> = <i>v</i>, <p>a key result, usually called the <a href="/facts/Gauss%27s_lemma_(Riemannian_geometry)/HaWIMsSP">Gauss lemma</a>. Geometrically it states that </p> <table><tbody><tr><td><i>the geodesics through 0 cut the circles centred at 0 <a href="/facts/Orthogonal/JVIjYPog">orthogonally</a>.</i></td></tr></tbody></table> <p>Taking <a href="/facts/Polar_coordinates/HBko4YoN">polar coordinates</a> (<i>r</i>,<i>θ</i>), it follows that the metric has the form </p> <i>ds</i>2 = <i>dr</i>2 + <i>G</i>(<i>r</i>,<i>θ</i>) <i>dθ</i>2. <p>In geodesic coordinates, it is easy to check that the geodesics through zero minimize length. The topology on the Riemannian manifold is then given by a <a href="/facts/Distance_function/RkUptSo8">distance function</a> <i>d</i>(<i>p</i>,<i>q</i>), namely the <a href="/facts/Infimum/oXCKVopz">infimum</a> of the lengths of piecewise smooth paths between <i>p</i> and <i>q</i>. This distance is realised locally by geodesics, so that in normal coordinates <i>d</i>(0,<i>v</i>) = ‖<i>v</i>‖. If the radius <i>δ</i> is taken small enough, a slight sharpening of the Gauss lemma shows that the image <i>U</i> of the disc ‖<i>v</i>‖ < <i>δ</i> under the exponential map is <a href="/facts/Geodesically_convex/SymCnex3">geodesically convex</a>, i.e. any two points in <i>U</i> are joined by a unique geodesic lying entirely inside <i>U</i>.<a class="footnote-ref" id="fnref:70" href="#fn:70"><sup>70</sup></a><a class="footnote-ref" id="fnref:71" href="#fn:71"><sup>71</sup></a> </p> <h3>Theorema Egregium</h3> <p class="note">Main article: <a href="/facts/Theorema_Egregium/pKPCA0QI">Theorema Egregium</a></p> <p>Gauss's <a href="/facts/Theorema_Egregium/pKPCA0QI">Theorema Egregium</a>, the "Remarkable Theorem", shows that the Gaussian curvature of a surface can be computed solely in terms of the metric and is thus an intrinsic invariant of the surface, independent of any <a href="/facts/Embedding/HKeVKc42">isometric embedding</a> in E3 and unchanged under coordinate transformations. In particular, isometries and local isometries of surfaces preserve Gaussian curvature.<a class="footnote-ref" id="fnref:72" href="#fn:72"><sup>72</sup></a> </p><p>This theorem can expressed in terms of the power series expansion of the metric, <i>ds</i>, is given in normal coordinates (<i>u</i>, <i>v</i>) as </p> <i>ds</i>2 = <i>du</i>2 + <i>dv</i>2 − <i>K</i>(<i>u dv</i> – <i>v du</i>)2/12 + …. <h3>Gauss–Jacobi equation</h3> <p class="note">Further information: <a href="/facts/Jacobi_field/drY2JJkQ">Jacobi field</a></p> <p>Taking a coordinate change from normal coordinates at <i>p</i> to normal coordinates at a nearby point <i>q</i>, yields the <a href="/facts/Sturm%E2%80%93Liouville_equation/xwvX8d9d">Sturm–Liouville equation</a> satisfied by <i>H</i>(<i>r</i>,<i>θ</i>) = <i>G</i>(<i>r</i>,<i>θ</i>)1⁄2, discovered by Gauss and <a href="/facts/Jacobi_field/drY2JJkQ">later generalised</a> by <a href="/facts/Carl_Gustav_Jakob_Jacobi/4Syeauo5">Jacobi</a>, </p> <i>H</i><i>rr</i> = –<i>KH</i>. <p>The <a href="/facts/Jacobian_matrix/0tNv6o8j">Jacobian</a> of this coordinate change at <i>q</i> is equal to <i>H</i><i>r</i>. This gives another way of establishing the intrinsic nature of Gaussian curvature. Because <i>H</i>(<i>r</i>,<i>θ</i>) can be interpreted as the length of the line element in the <i>θ</i> direction, the Gauss–Jacobi equation shows that the Gaussian curvature measures the spreading of geodesics on a geometric surface as they move away from a point.<a class="footnote-ref" id="fnref:73" href="#fn:73"><sup>73</sup></a> </p> <h3>Laplace–Beltrami operator</h3> <p>On a surface with local metric </p> d s 2 = E d x 2 + 2 F d x d y + G d y 2 {\displaystyle ds^{2}=E\,dx^{2}+2F\,dx\,dy+G\,dy^{2}} <p>and <a href="/facts/Laplace%E2%80%93Beltrami_operator/AJmyUpWz">Laplace–Beltrami operator</a> </p> Δ f = 1 H ( ∂ x G H ∂ x f − ∂ x F H ∂ y f − ∂ y F H ∂ x f + ∂ y E H ∂ y f ) , {\displaystyle \Delta f={1 \over H}\left(\partial _{x}{G \over H}\partial _{x}f-\partial _{x}{F \over H}\partial _{y}f-\partial _{y}{F \over H}\partial _{x}f+\partial _{y}{E \over H}\partial _{y}f\right),} <p>where <i>H</i>2 = <i>EG</i> − <i>F</i>2, the Gaussian curvature at a point is given by the formula<a class="footnote-ref" id="fnref:74" href="#fn:74"><sup>74</sup></a> </p> K = − 3 lim r → 0 Δ ( log r ) , {\displaystyle K=-3\lim _{r\rightarrow 0}\Delta (\log r),} <p>where <i>r</i> denotes the geodesic distance from the point. </p><p>In <a href="/facts/Isothermal_coordinates/SFBDbMcB">isothermal coordinates</a>, first considered by Gauss, the metric is required to be of the special form </p> d s 2 = e φ ( d x 2 + d y 2 ) . {\displaystyle ds^{2}=e^{\varphi }(dx^{2}+dy^{2}).\,} <p>In this case the Laplace–Beltrami operator is given by </p> Δ = e − φ ( ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 ) {\displaystyle \Delta =e^{-\varphi }\left({\frac {\partial ^{2}}{\partial x^{2}}}+{\frac {\partial ^{2}}{\partial y^{2}}}\right)} <p>and <i>φ</i> satisfies <a href="/facts/Liouville%27s_equation/UJyjIuCa">Liouville's equation</a><a class="footnote-ref" id="fnref:75" href="#fn:75"><sup>75</sup></a> </p> Δ φ = − 2 K . {\displaystyle \Delta \varphi =-2K.\,} <p>Isothermal coordinates are known to exist in a neighbourhood of any point on the surface, although all proofs to date rely on non-trivial results on <a href="/facts/Partial_differential_equation/DyPsBlv7">partial differential equations</a>.<a class="footnote-ref" id="fnref:76" href="#fn:76"><sup>76</sup></a> There is an elementary proof for minimal surfaces.<a class="footnote-ref" id="fnref:77" href="#fn:77"><sup>77</sup></a> </p> <h2 id="gaussbonnet-theorem">Gauss–Bonnet theorem</h2> <p class="note">Main article: <a href="/facts/Gauss%E2%80%93Bonnet_theorem/pvTbtH91">Gauss–Bonnet theorem</a></p> <p>On a <a href="/facts/Sphere/jywYLNM2">sphere</a> or a <a href="/facts/Hyperboloid/K5mDV2Nw">hyperboloid</a>, the area of a <a href="/facts/Geodesic_triangle/fbWR6l80">geodesic triangle</a>, i.e. a triangle all the sides of which are geodesics, is proportional to the difference of the sum of the interior angles and π. The constant of proportionality is just the Gaussian curvature, a constant for these surfaces. For the torus, the difference is zero, reflecting the fact that its Gaussian curvature is zero. These are standard results in spherical, hyperbolic and high school trigonometry (see below). Gauss generalised these results to an arbitrary surface by showing that the integral of the Gaussian curvature over the interior of a geodesic triangle is also equal to this angle difference or excess. His formula showed that the Gaussian curvature could be calculated near a point as the limit of area over angle excess for geodesic triangles shrinking to the point. Since any closed surface can be decomposed up into geodesic triangles, the formula could also be used to compute the integral of the curvature over the whole surface. As a special case of what is now called the <a href="/facts/Gauss%E2%80%93Bonnet_theorem/pvTbtH91">Gauss–Bonnet theorem</a>, Gauss proved that this integral was remarkably always 2π times an integer, a topological invariant of the surface called the <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a>. This invariant is easy to compute combinatorially in terms of the number of vertices, edges, and faces of the triangles in the decomposition, also called a <a href="/facts/Triangulation_(topology)/u58jNL6L">triangulation</a>. This interaction between analysis and topology was the forerunner of many later results in geometry, culminating in the <a href="/facts/Atiyah-Singer_index_theorem/qwcSxamI">Atiyah-Singer index theorem</a>. In particular properties of the curvature impose restrictions on the topology of the surface. </p> <h3>Geodesic triangles</h3> <p>Gauss proved that, if Δ is a geodesic triangle on a surface with angles <i>α</i>, <i>β</i> and <i>γ</i> at vertices <i>A</i>, <i>B</i> and <i>C</i>, then </p> ∫ Δ K d A = α + β + γ − π . {\displaystyle \int _{\Delta }K\,dA=\alpha +\beta +\gamma -\pi .} <p>In fact taking geodesic polar coordinates with origin <i>A</i> and <i>AB</i>, <i>AC</i> the radii at polar angles 0 and <i>α</i>: </p> ∫ Δ K d A = ∫ Δ K H d r d θ = − ∫ 0 α ∫ 0 r θ H r r d r d θ = ∫ 0 α 1 − H r ( r θ , θ ) d θ = ∫ 0 α d θ + ∫ π − β γ d φ = α + β + γ − π , {\displaystyle {\begin{aligned}\int _{\Delta }K\,dA&=\int _{\Delta }KH\,dr\,d\theta =-\int _{0}^{\alpha }\int _{0}^{r_{\theta }}\!H_{rr}\,dr\,d\theta \\&=\int _{0}^{\alpha }1-H_{r}(r_{\theta },\theta )\,d\theta =\int _{0}^{\alpha }d\theta +\int _{\pi -\beta }^{\gamma }\!\!d\varphi \\&=\alpha +\beta +\gamma -\pi ,\end{aligned}}} <p>where the second equality follows from the Gauss–Jacobi equation and the fourth from Gauss's derivative formula in the orthogonal coordinates (<i>r</i>,<i>θ</i>). </p><p>Gauss's formula shows that the curvature at a point can be calculated as the limit of <i>angle excess</i> <i>α</i> + <i>β</i> + <i>γ</i> − π over <i>area</i> for successively smaller geodesic triangles near the point. Qualitatively a surface is positively or negatively curved according to the sign of the angle excess for arbitrarily small geodesic triangles.<a class="footnote-ref" id="fnref:78" href="#fn:78"><sup>78</sup></a> </p> <h3>Gauss–Bonnet theorem</h3> <p class="note">Main article: <a href="/facts/Gauss%E2%80%93Bonnet_theorem/pvTbtH91">Gauss–Bonnet theorem</a></p> <p>Since every compact oriented 2-manifold <i>M</i> can be <a href="/facts/Triangulation_(topology)/u58jNL6L">triangulated</a> by small geodesic triangles, it follows that </p> ∫ M K d A = 2 π χ ( M ) {\displaystyle \int _{M}KdA=2\pi \,\chi (M)} <p>where <i>χ</i>(<i>M</i>) denotes the <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> of the surface. </p><p>In fact if there are <i>F</i> faces, <i>E</i> edges and <i>V</i> vertices, then 3<i>F</i> = 2<i>E</i> and the left hand side equals 2π<i>V</i> – π<i>F</i> = 2π(<i>V</i> – <i>E</i> + <i>F</i>) = 2π<i>χ</i>(<i>M</i>). </p><p>This is the celebrated <a href="/facts/Gauss%E2%80%93Bonnet_theorem/pvTbtH91">Gauss–Bonnet theorem</a>: it shows that the integral of the Gaussian curvature is a topological invariant of the manifold, namely the Euler characteristic. This theorem can be interpreted in many ways; perhaps one of the most far-reaching has been as the index theorem for an <a href="/facts/Elliptic_differential_operator/3lLoapry">elliptic differential operator</a> on <i>M</i>, one of the simplest cases of the <a href="/facts/Atiyah-Singer_index_theorem/qwcSxamI">Atiyah-Singer index theorem</a>. Another related result, which can be proved using the Gauss–Bonnet theorem, is the <a href="/facts/Poincar%C3%A9-Hopf_index_theorem/IV1aG75X">Poincaré-Hopf index theorem</a> for vector fields on <i>M</i> which vanish at only a finite number of points: the sum of the indices at these points equals the Euler characteristic, where the <i>index</i> of a point is defined as follows: on a small circle round each isolated zero, the vector field defines a map into the unit circle; the index is just the <a href="/facts/Winding_number/kaquyUL2">winding number</a> of this map.)<a class="footnote-ref" id="fnref:79" href="#fn:79"><sup>79</sup></a><a class="footnote-ref" id="fnref:80" href="#fn:80"><sup>80</sup></a><a class="footnote-ref" id="fnref:81" href="#fn:81"><sup>81</sup></a> </p> <h3>Curvature and embeddings</h3> <p>If the Gaussian curvature of a surface <i>M</i> is everywhere positive, then the Euler characteristic is positive so <i>M</i> is homeomorphic (and therefore diffeomorphic) to S2. If in addition the surface is isometrically embedded in E3, the Gauss map provides an explicit diffeomorphism. As <a href="/facts/Jacques_Hadamard/TgCkP3AE">Hadamard</a> observed, in this case the surface is <a href="/facts/Convex_set/vdAuJRJl">convex</a>; this criterion for convexity can be viewed as a 2-dimensional generalisation of the well-known second derivative criterion for convexity of plane curves. <a href="/facts/David_Hilbert/1vhlHn4b">Hilbert</a> proved that every isometrically embedded closed surface must have a point of positive curvature. Thus a closed Riemannian 2-manifold of non-positive curvature can never be embedded isometrically in E3; however, as <a href="/facts/Adriano_Garsia/eA8kGXhy">Adriano Garsia</a> showed using the <a href="/facts/Isothermal_coordinates/SFBDbMcB">Beltrami equation</a> for <a href="/facts/Quasiconformal_mapping/gICCqYEb">quasiconformal mappings</a>, this is always possible for some <a href="/facts/Conformal_equivalence/tuU181cE">conformally equivalent</a> metric.<a class="footnote-ref" id="fnref:82" href="#fn:82"><sup>82</sup></a> </p> <h2 id="surfaces-of-constant-curvature">Surfaces of constant curvature</h2> <p>The <a href="/facts/Simply_connected/xFlta63J">simply connected</a> surfaces of constant curvature 0, +1 and –1 are the Euclidean plane, the unit sphere in E3, and the <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic plane</a>. Each of these has a transitive three-dimensional <a href="/facts/Lie_group/a9jCQyjF">Lie group</a> of orientation preserving <a href="/facts/Isometry/K5wX8ah6">isometries</a> <i>G</i>, which can be used to study their geometry. Each of the two non-compact surfaces can be identified with the quotient <i>G</i> / <i>K</i> where <i>K</i> is a <a href="/facts/Maximal_compact_subgroup/8EA7XRcu">maximal compact subgroup</a> of <i>G</i>. Here <i>K</i> is isomorphic to <a href="/facts/Circle_group/kuzdWtHo">SO(2)</a>. Any other closed Riemannian 2-manifold <i>M</i> of constant Gaussian curvature, after scaling the metric by a constant factor if necessary, will have one of these three surfaces as its <a href="/facts/Universal_covering_space/bDRGasl7">universal covering space</a>. In the orientable case, the <a href="/facts/Fundamental_group/VyYtLqSP">fundamental group</a> Γ of <i>M</i> can be identified with a <a href="/facts/Torsion_(algebra)/uNRnwtLz">torsion-free</a> <a href="/facts/Lattice_(discrete_subgroup)/fLr9dYhz">uniform subgroup</a> of <i>G</i> and <i>M</i> can then be identified with the <a href="/facts/Double_coset/2SAjqSf3">double coset space</a> Γ \ <i>G</i> / <i>K</i>. In the case of the sphere and the Euclidean plane, the only possible examples are the sphere itself and tori obtained as quotients of R2 by discrete rank 2 subgroups. For closed surfaces of <a href="/facts/Genus_(mathematics)/o1Yhf8ty">genus</a> <i>g</i> ≥ 2, the <a href="/facts/Moduli_space/9sqrdpwR">moduli space</a> of Riemann surfaces obtained as Γ varies over all such subgroups, has real dimension 6<i>g</i> − 6.<a class="footnote-ref" id="fnref:83" href="#fn:83"><sup>83</sup></a> By Poincaré's <a href="/facts/Uniformization_theorem/mEa8a6IQ">uniformization theorem</a>, any orientable closed 2-manifold is <a href="/facts/Conformal_equivalence/tuU181cE">conformally equivalent</a> to a surface of constant curvature 0, +1 or –1. In other words, by multiplying the metric by a positive scaling factor, the Gaussian curvature can be made to take exactly one of these values (the sign of the <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> of <i>M</i>).<a class="footnote-ref" id="fnref:84" href="#fn:84"><sup>84</sup></a> </p> <h3>Euclidean geometry</h3> <p>In the case of the Euclidean plane, the symmetry group is the <a href="/facts/Euclidean_group/VdTSdwzl">Euclidean motion group</a>, the <a href="/facts/Semidirect_product/Uqf87k1I">semidirect product</a> of the two dimensional group of translations by the group of rotations.<a class="footnote-ref" id="fnref:85" href="#fn:85"><sup>85</sup></a> Geodesics are straight lines and the geometry is encoded in the elementary formulas of <a href="/facts/Trigonometry/K4hfaC6F">trigonometry</a>, such as the <a href="/facts/Cosine_rule/RRTGcW0V">cosine rule</a> for a triangle with sides <i>a</i>, <i>b</i>, <i>c</i> and angles <i>α</i>, <i>β</i>, <i>γ</i>: </p> c 2 = a 2 + b 2 − 2 a b cos γ . {\displaystyle c^{2}=a^{2}+b^{2}-2ab\,\cos \gamma .} <p>Flat tori can be obtained by taking the quotient of R2 by a <a href="/facts/Lattice_(discrete_subgroup)/fLr9dYhz">lattice</a>, i.e. a free Abelian subgroup of rank 2. These closed surfaces have no isometric embeddings in E3. They do nevertheless admit isometric embeddings in E4; in the easiest case this follows from the fact that the torus is a product of two circles and each circle can be isometrically embedded in E2.<a class="footnote-ref" id="fnref:86" href="#fn:86"><sup>86</sup></a> </p> <h3>Spherical geometry</h3> <p class="note">Main articles: <a href="/facts/Spherical_geometry/WGLQb1Ys">spherical geometry</a> and <a href="/facts/Spherical_trigonometry/3G3Fhk2h">spherical trigonometry</a></p> <p>The isometry group of the unit sphere <i>S</i>2 in E3 is the orthogonal group <a href="/facts/O(3)/jKWM1KDM">O(3)</a>, with the <a href="/facts/Rotation_group_SO(3)/yXbKPzhT">rotation group SO(3)</a> as the subgroup of isometries preserving orientation. It is the direct product of SO(3) with the <a href="/facts/Antipodal_map/2V3228jA">antipodal map</a>, sending <i>x</i> to –<i>x</i>.<a class="footnote-ref" id="fnref:87" href="#fn:87"><sup>87</sup></a> The group SO(3) acts transitively on <i>S</i>2. The <a href="/facts/Stabilizer_subgroup/Vh9VtUUw">stabilizer subgroup</a> of the unit vector (0,0,1) can be identified with SO(2), so that <i>S</i>2 = SO(3)/SO(2). </p><p>The geodesics between two points on the sphere are the <a href="/facts/Great_circle/x4fq6eNm">great circle</a> arcs with these given endpoints. If the points are not antipodal, there is a unique shortest geodesic between the points. The geodesics can also be described group theoretically: each geodesic through the North pole (0,0,1) is the orbit of the subgroup of rotations about an axis through antipodal points on the equator. </p><p>A <a href="/facts/Spherical_triangle/3G3Fhk2h">spherical triangle</a> is a geodesic triangle on the sphere. It is defined by points <i>A</i>, <i>B</i>, <i>C</i> on the sphere with sides <i>BC</i>, <i>CA</i>, <i>AB</i> formed from great circle arcs of length less than π. If the lengths of the sides are <i>a</i>, <i>b</i>, <i>c</i> and the angles between the sides <i>α</i>, <i>β</i>, <i>γ</i>, then the <a href="/facts/Spherical_triangle/3G3Fhk2h">spherical cosine law</a> states that </p> cos c = cos a cos b + sin a sin b cos γ . {\displaystyle \cos c=\cos a\,\cos b+\sin a\,\sin b\,\cos \gamma .} <p>The area of the triangle is given by </p> Area = <i>α</i> + <i>β</i> + <i>γ</i> − π. <p>Using <a href="/facts/Stereographic_projection/oVyMrWqR">stereographic projection</a> from the North pole, the sphere can be identified with the <a href="/facts/Extended_complex_plane/4XgBzplC">extended complex plane</a> C ∪ {∞}. The explicit map is given by </p> π ( x , y , z ) = x + i y 1 − z ≡ u + i v . {\displaystyle \pi (x,y,z)={x+iy \over 1-z}\equiv u+iv.} <p>Under this correspondence every rotation of <i>S</i>2 corresponds to a <a href="/facts/M%C3%B6bius_transformation/YEkTTLfK">Möbius transformation</a> in <a href="/facts/SU(2)/Qgy2orcu">SU(2)</a>, unique up to sign.<a class="footnote-ref" id="fnref:88" href="#fn:88"><sup>88</sup></a> With respect to the coordinates (<i>u</i>, <i>v</i>) in the complex plane, the spherical metric becomes<a class="footnote-ref" id="fnref:89" href="#fn:89"><sup>89</sup></a> </p> d s 2 = 4 ( d u 2 + d v 2 ) ( 1 + u 2 + v 2 ) 2 . {\displaystyle ds^{2}={4(du^{2}+dv^{2}) \over (1+u^{2}+v^{2})^{2}}.} <p>The unit sphere is the unique closed orientable surface with constant curvature +1. The quotient SO(3)/O(2) can be identified with the <a href="/facts/Real_projective_plane/gGVd0ctY">real projective plane</a>. It is non-orientable and can be described as the quotient of <i>S</i>2 by the antipodal map (multiplication by −1). The sphere is simply connected, while the real projective plane has fundamental group Z2. The <a href="/facts/Point_groups_in_three_dimensions/Uc4MRIyl">finite subgroups of SO(3)</a>, corresponding to the finite subgroups of O(2) and the symmetry groups of the <a href="/facts/Platonic_solids/jraREXFD">platonic solids</a>, do not act freely on <i>S</i>2, so the corresponding quotients are not 2-manifolds, just <a href="/facts/Orbifold/KR6dQNzH">orbifolds</a>. </p> <h3>Hyperbolic geometry</h3> <p class="note">See also: <a href="/facts/Hyperbolic_triangle/hTQldn7s">hyperbolic triangle</a> and <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic geometry</a></p> <p><a href="/facts/Non-Euclidean_geometry/efKa7De2">Non-Euclidean geometry</a><a class="footnote-ref" id="fnref:90" href="#fn:90"><sup>90</sup></a> was first discussed in letters of Gauss, who made extensive computations at the turn of the nineteenth century which, although privately circulated, he decided not to put into print. In 1830 <a href="/facts/Nikolai_Lobachevsky/0fe8z6jY">Lobachevsky</a> and independently in 1832 <a href="/facts/Bolyai/JeXBranr">Bolyai</a>, the son of one Gauss's correspondents, published synthetic versions of this new geometry, for which they were severely criticized. However it was not until 1868 that Beltrami, followed by <a href="/facts/Felix_Klein/WmL9guqK">Klein</a> in 1871 and Poincaré in 1882, gave concrete analytic models for what Klein dubbed <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic geometry</a>. The four models of 2-dimensional hyperbolic geometry that emerged were: </p> <ul><li>the <a href="/facts/Beltrami-Klein_model/Y2HavAIY">Beltrami-Klein model</a>;</li> <li>the <a href="/facts/Poincar%C3%A9_disk/6nCWjbRL">Poincaré disk</a>;</li> <li>the <a href="/facts/Upper_half-plane/7fPqrowr">Poincaré upper half-plane</a>;</li> <li>the <a href="/facts/Hyperboloid_model/L79z8k4Q">hyperboloid model</a> of <a href="/facts/Wilhelm_Killing/W27PB2MJ">Wilhelm Killing</a> in 3-dimensional <a href="/facts/Minkowski_space/vDkfkQJn">Minkowski space</a>.</li></ul> <p>The first model, based on a disk, has the advantage that geodesics are actually line segments (that is, intersections of Euclidean lines with the open unit disk). The last model has the advantage that it gives a construction which is completely parallel to that of the unit sphere in 3-dimensional Euclidean space. Because of their application in complex analysis and geometry, however, the models of Poincaré are the most widely used: they are interchangeable thanks to the Möbius transformations between the disk and the upper half-plane. </p><p>Let </p> D = { z : | z | < 1 } {\displaystyle D=\{z\,\colon |z|<1\}} <p>be the <a href="/facts/Poincar%C3%A9_disk/6nCWjbRL">Poincaré disk</a> in the complex plane with <a href="/facts/Poincar%C3%A9_metric/BVRGJuvL">Poincaré metric</a> </p> d s 2 = 4 ( d x 2 + d y 2 ) ( 1 − x 2 − y 2 ) 2 . {\displaystyle ds^{2}={4(dx^{2}+dy^{2}) \over (1-x^{2}-y^{2})^{2}}.} <p>In polar coordinates (<i>r</i>, <i>θ</i>) the metric is given by </p> d s 2 = 4 ( d r 2 + r 2 d θ 2 ) ( 1 − r 2 ) 2 . {\displaystyle ds^{2}={4(dr^{2}+r^{2}\,d\theta ^{2}) \over (1-r^{2})^{2}}.} <p>The length of a curve <i>γ</i>:[<i>a</i>,<i>b</i>] → <i>D</i> is given by the formula </p> ℓ ( γ ) = ∫ a b 2 | γ ′ ( t ) | d t 1 − | γ ( t ) | 2 . {\displaystyle \ell (\gamma )=\int _{a}^{b}{2|\gamma ^{\prime }(t)|\,dt \over 1-|\gamma (t)|^{2}}.} <p>The group <i>G</i> = <a href="/facts/SU(1,1)/Qgy2orcu">SU(1,1)</a> given by </p> G = { ( α β β ¯ α ¯ ) : α , β ∈ C , | α | 2 − | β | 2 = 1 } {\displaystyle G=\left\{{\begin{pmatrix}\alpha &\beta \\{\overline {\beta }}&{\overline {\alpha }}\end{pmatrix}}:\alpha ,\beta \in \mathbf {C} ,\,|\alpha |^{2}-|\beta |^{2}=1\right\}} <p>acts transitively by <a href="/facts/M%C3%B6bius_transformation/YEkTTLfK">Möbius transformations</a> on <i>D</i> and the <a href="/facts/Stabilizer_subgroup/Vh9VtUUw">stabilizer subgroup</a> of 0 is the rotation group </p> K = { ( ζ 0 0 ζ ¯ ) : ζ ∈ C , | ζ | = 1 } . {\displaystyle K=\left\{{\begin{pmatrix}\zeta &0\\0&{\overline {\zeta }}\end{pmatrix}}:\zeta \in \mathbf {C} ,\,|\zeta |=1\right\}.} <p>The quotient group SU(1,1)/±<i>I</i> is the group of orientation-preserving isometries of <i>D</i>. Any two points <i>z</i>, <i>w</i> in <i>D</i> are joined by a unique geodesic, given by the portion of the circle or straight line passing through <i>z</i> and <i>w</i> and orthogonal to the boundary circle. The distance between <i>z</i> and <i>w</i> is given by </p> d ( z , w ) = 2 tanh − 1 | z − w | | 1 − w ¯ z | . {\displaystyle d(z,w)=2\tanh ^{-1}{\frac {|z-w|}{|1-{\overline {w}}z|}}.} <p>In particular <i>d</i>(0,<i>r</i>) = 2 tanh−1 <i>r</i> and <i>c</i>(<i>t</i>) = 1/2tanh <i>t</i> is the geodesic through 0 along the real axis, parametrized by arclength. </p><p>The topology defined by this metric is equivalent to the usual Euclidean topology, although as a metric space (<i>D</i>,<i>d</i>) is complete. </p> <p>A <a href="/facts/Hyperbolic_triangle/hTQldn7s">hyperbolic triangle</a> is a geodesic triangle for this metric: any three points in <i>D</i> are vertices of a hyperbolic triangle. If the sides have length <i>a</i>, <i>b</i>, <i>c</i> with corresponding angles <i>α</i>, <i>β</i>, <i>γ</i>, then the hyperbolic cosine rule states that </p> cosh c = cosh a cosh b − sinh a sinh b cos γ . {\displaystyle \cosh c=\cosh a\,\cosh b-\sinh a\,\sinh b\,\cos \gamma .} <p>The area of the hyperbolic triangle is given by<a class="footnote-ref" id="fnref:91" href="#fn:91"><sup>91</sup></a> </p> Area = π – <i>α</i> – <i>β</i> – <i>γ</i>. <p>The unit disk and the upper half-plane </p> H = { w = x + i y : y > 0 } {\displaystyle H=\{w=x+iy\,\colon \,y>0\}} <p>are conformally equivalent by the Möbius transformations </p> w = i 1 + z 1 − z , z = w − i w + i . {\displaystyle w=i{1+z \over 1-z},\,\,z={w-i \over w+i}.} <p>Under this correspondence the action of SL(2,R) by Möbius transformations on <i>H</i> corresponds to that of SU(1,1) on <i>D</i>. The metric on <i>H</i> becomes </p> d s 2 = d x 2 + d y 2 y 2 . {\displaystyle ds^{2}={dx^{2}+dy^{2} \over y^{2}}.} <p>Since lines or circles are preserved under Möbius transformations, geodesics are again described by lines or circles orthogonal to the real axis. </p><p>The unit disk with the Poincaré metric is the unique simply connected oriented 2-dimensional Riemannian manifold with constant curvature −1. Any oriented closed surface <i>M</i> with this property has <i>D</i> as its universal covering space. Its <a href="/facts/Fundamental_group/VyYtLqSP">fundamental group</a> can be identified with a torsion-free concompact subgroup Γ of SU(1,1), in such a way that </p> M = Γ ∖ G / K . {\displaystyle M=\Gamma \backslash G/K.} <p>In this case Γ is a <a href="/facts/Finitely_presented_group/f9emPUoI">finitely presented group</a>. The generators and relations are encoded in a geodesically convex <a href="/facts/Fundamental_polygon/z2jkuG1G">fundamental geodesic polygon</a> in <i>D</i> (or <i>H</i>) corresponding geometrically to closed geodesics on <i>M</i>. </p><p>Examples. </p> <ul><li>the <a href="/facts/Bolza_surface/gjo13SEj">Bolza surface</a> of genus 2;</li> <li>the <a href="/facts/Klein_quartic/yr7cHz5r">Klein quartic</a> of genus 3;</li> <li>the <a href="/facts/Macbeath_surface/zqflzc4S">Macbeath surface</a> of genus 7;</li> <li>the <a href="/facts/First_Hurwitz_triplet/wzEdcttS">First Hurwitz triplet</a> of genus 14.</li></ul> <h3>Uniformization</h3> <p class="note">See also: <a href="/facts/Uniformization_theorem/mEa8a6IQ">Uniformization theorem</a></p> <p>Given an oriented closed surface <i>M</i> with Gaussian curvature <i>K</i>, the metric on <i>M</i> can be changed conformally by scaling it by a factor <i>e</i>2<i>u</i>. The new Gaussian curvature <i>K′</i> is then given by </p> K ′ ( x ) = e − 2 u ( K ( x ) − Δ u ) , {\displaystyle K^{\prime }(x)=e^{-2u}(K(x)-\Delta u),} <p>where Δ is the Laplacian for the original metric. Thus to show that a given surface is conformally equivalent to a metric with constant curvature <i>K′</i> it suffices to solve the following variant of <a href="/facts/Liouville%27s_equation/UJyjIuCa">Liouville's equation</a>: </p> Δ u = K ′ e 2 u + K ( x ) . {\displaystyle \Delta u=K^{\prime }e^{2u}+K(x).} <p>When <i>M</i> has Euler characteristic 0, so is diffeomorphic to a <a href="/facts/Torus/J9SkaV1W">torus</a>, <i>K′</i> = 0, so this amounts to solving </p> Δ u = K ( x ) . {\displaystyle \Delta u=K(x).} <p>By standard elliptic theory, this is possible because the integral of <i>K</i> over <i>M</i> is zero, by the Gauss–Bonnet theorem.<a class="footnote-ref" id="fnref:92" href="#fn:92"><sup>92</sup></a> </p><p>When <i>M</i> has negative Euler characteristic, <i>K′</i> = −1, so the equation to be solved is: </p> Δ u = − e 2 u + K ( x ) . {\displaystyle \Delta u=-e^{2u}+K(x).} <p>Using the continuity of the exponential map on <a href="/facts/Sobolev_space/34qxWCyr">Sobolev space</a> due to <a href="/facts/Neil_Trudinger/4Qsvr1RR">Neil Trudinger</a>, this non-linear equation can always be solved.<a class="footnote-ref" id="fnref:93" href="#fn:93"><sup>93</sup></a> </p><p>Finally in the case of the 2-sphere, <i>K′</i> = 1 and the equation becomes: </p> Δ u = e 2 u + K ( x ) . {\displaystyle \Delta u=e^{2u}+K(x).} <p>So far this non-linear equation has not been analysed directly, although classical results such as the <a href="/facts/Riemann%E2%80%93Roch_theorem/TRaNyUQA">Riemann–Roch theorem</a> imply that it always has a solution.<a class="footnote-ref" id="fnref:94" href="#fn:94"><sup>94</sup></a> The method of <a href="/facts/Ricci_flow/J6rQd3dm">Ricci flow</a>, developed by <a href="/facts/Richard_S._Hamilton/AbPUDXSf">Richard S. Hamilton</a>, gives another proof of existence based on non-linear <a href="/facts/Partial_differential_equations/DyPsBlv7">partial differential equations</a> to prove existence.<a class="footnote-ref" id="fnref:95" href="#fn:95"><sup>95</sup></a> In fact the Ricci flow on conformal metrics on <i>S</i>2 is defined on functions <i>u</i>(<i>x</i>, <i>t</i>) by </p> u t = 4 π − K ′ ( x , t ) = 4 π − e − 2 u ( K ( x ) − Δ u ) . {\displaystyle u_{t}=4\pi -K'(x,t)=4\pi -e^{-2u}(K(x)-\Delta u).} <p>After finite time, Chow showed that <i>K′</i> becomes positive; previous results of Hamilton could then be used to show that <i>K′</i> converges to +1.<a class="footnote-ref" id="fnref:96" href="#fn:96"><sup>96</sup></a> Prior to these results on Ricci flow, Osgood, Phillips & Sarnak (1988) had given an alternative and technically simpler approach to uniformization based on the flow on Riemannian metrics <i>g</i> defined by log det Δ<i>g</i>. </p><p>A proof using elliptic operators, discovered in 1988, can be found in Ding (2001). Let <i>G</i> be the <a href="/facts/Green%27s_function/rKxKKPcp">Green's function</a> on <i>S</i>2 satisfying Δ<i>G</i> = 1 + 4π<i>δ</i><i>P</i>, where <i>δ</i><i>P</i> is the point measure at a fixed point <i>P</i> of <i>S</i>2. The equation Δ<i>v</i> = 2<i>K</i> – 2, has a smooth solution <i>v</i>, because the right hand side has integral 0 by the Gauss–Bonnet theorem. Thus <i>φ</i> = 2<i>G</i> + <i>v</i> satisfies Δ<i>φ</i> = 2<i>K</i> away from <i>P</i>. It follows that <i>g</i>1 = <i>e</i><i>φ</i><i>g</i> is a complete metric of constant curvature 0 on the complement of <i>P</i>, which is therefore isometric to the plane. Composing with <a href="/facts/Stereographic_projection/oVyMrWqR">stereographic projection</a>, it follows that there is a smooth function <i>u</i> such that <i>e</i>2<i>u</i><i>g</i> has Gaussian curvature +1 on the complement of <i>P</i>. The function <i>u</i> automatically extends to a smooth function on the whole of <i>S</i>2.<a class="footnote-ref" id="fnref:97" href="#fn:97"><sup>97</sup></a> </p> <h2 id="riemannian-connection-and-parallel-transport">Riemannian connection and parallel transport</h2> <p class="note">Main article: <a href="/facts/Riemannian_connection_on_a_surface/yGj0UUvs">Riemannian connection on a surface</a></p> <p>The classical approach of Gauss to the differential geometry of surfaces was the standard elementary approach<a class="footnote-ref" id="fnref:98" href="#fn:98"><sup>98</sup></a> which predated the emergence of the concepts of <a href="/facts/Riemannian_manifold/5KYnmEgF">Riemannian manifold</a> initiated by <a href="/facts/Bernhard_Riemann/oV2fL0k8">Bernhard Riemann</a> in the mid-nineteenth century and of <a href="/facts/Connection_(mathematics)/KURsCmIu">connection</a> developed by <a href="/facts/Tullio_Levi-Civita/LmxVG3GP">Tullio Levi-Civita</a>, <a href="/facts/%C3%89lie_Cartan/Uvhkp66S">Élie Cartan</a> and <a href="/facts/Hermann_Weyl/4C5HhyGU">Hermann Weyl</a> in the early twentieth century. The notion of connection, <a href="/facts/Covariant_derivative/sRGN0Xh6">covariant derivative</a> and <a href="/facts/Parallel_transport/QX0Wfcte">parallel transport</a> gave a more conceptual and uniform way of understanding curvature, which not only allowed generalisations to higher dimensional manifolds but also provided an important tool for defining new geometric invariants, called <a href="/facts/Characteristic_classes/A6NV9tUu">characteristic classes</a>.<a class="footnote-ref" id="fnref:99" href="#fn:99"><sup>99</sup></a> The approach using covariant derivatives and connections is nowadays the one adopted in more advanced textbooks.<a class="footnote-ref" id="fnref:100" href="#fn:100"><sup>100</sup></a> </p> <h3>Covariant derivative</h3> <p>Connections on a surface can be defined from various equivalent but equally important points of view. The Riemannian connection or <a href="/facts/Levi-Civita_connection/16KGSQUY">Levi-Civita connection</a>.<a class="footnote-ref" id="fnref:101" href="#fn:101"><sup>101</sup></a> is perhaps most easily understood in terms of lifting <a href="/facts/Vector_field/ccFNuPPp">vector fields</a>, considered as first order <a href="/facts/Differential_operator/Nr15J0IE">differential operators</a> acting on functions on the manifold, to differential operators on the <a href="/facts/Tangent_bundle/dq8zW9Kb">tangent bundle</a> or <a href="/facts/Frame_bundle/Gugt3qyL">frame bundle</a>. In the case of an embedded surface, the lift to an operator on vector fields, called the covariant derivative, is very simply described in terms of orthogonal projection. Indeed, a vector field on a surface embedded in R3 can be regarded as a function from the surface into R3. Another vector field acts as a differential operator component-wise. The resulting vector field will not be tangent to the surface, but this can be corrected taking its orthogonal projection onto the tangent space at each point of the surface. As <a href="/facts/Ricci/wKeIt1ng">Ricci</a> and <a href="/facts/Levi-Civita/LmxVG3GP">Levi-Civita</a> realised at the turn of the twentieth century, this process depends only on the metric and can be locally expressed in terms of the Christoffel symbols. </p> <h3>Parallel transport</h3> <p><a href="/facts/Parallel_transport/QX0Wfcte">Parallel transport</a> of tangent vectors along a curve in the surface was the next major advance in the subject, due to <a href="/facts/Levi-Civita/LmxVG3GP">Levi-Civita</a>.<a class="footnote-ref" id="fnref:102" href="#fn:102"><sup>102</sup></a> It is related to the earlier notion of covariant derivative, because it is the <a href="/facts/Monodromy/ldkpxExM">monodromy</a> of the <a href="/facts/Ordinary_differential_equation/ygKGQ8kD">ordinary differential equation</a> on the curve defined by the covariant derivative with respect to the velocity vector of the curve. Parallel transport along geodesics, the "straight lines" of the surface, can also easily be described directly. A vector in the tangent plane is transported along a geodesic as the unique vector field with constant length and making a constant angle with the velocity vector of the geodesic. For a general curve, this process has to be modified using the geodesic curvature, which measures how far the curve departs from being a geodesic.<a class="footnote-ref" id="fnref:103" href="#fn:103"><sup>103</sup></a> </p><p>A vector field <i>v</i>(<i>t</i>) along a unit speed curve <i>c</i>(<i>t</i>), with geodesic curvature <i>k</i><i>g</i>(<i>t</i>), is said to be parallel along the curve if </p> <ul><li>it has constant length</li> <li>the angle <i>θ</i>(<i>t</i>) that it makes with the velocity vector <i>ċ</i>(<i>t</i>) satisfies</li></ul> θ ˙ ( t ) = − k g ( t ) {\displaystyle {\dot {\theta }}(t)=-k_{g}(t)} <p>This recaptures the rule for parallel transport along a geodesic or piecewise geodesic curve, because in that case <i>k</i><i>g</i> = 0, so that the angle <i>θ</i>(<i>t</i>) should remain constant on any geodesic segment. The existence of parallel transport follows because <i>θ</i>(<i>t</i>) can be computed as the <a href="/facts/Integral/V7lyV997">integral</a> of the geodesic curvature. Since it therefore depends continuously on the <i>L</i>2 norm of <i>k</i><i>g</i>, it follows that parallel transport for an arbitrary curve can be obtained as the limit of the parallel transport on approximating piecewise geodesic curves.<a class="footnote-ref" id="fnref:104" href="#fn:104"><sup>104</sup></a> </p><p>The connection can thus be described in terms of lifting paths in the manifold to paths in the tangent or orthonormal frame bundle, thus formalising the classical theory of the "<a href="/facts/Moving_frame/3jNPLngL">moving frame</a>", favoured by French authors.<a class="footnote-ref" id="fnref:105" href="#fn:105"><sup>105</sup></a> Lifts of loops about a point give rise to the <a href="/facts/Holonomy_group/GnxeTqI4">holonomy group</a> at that point. The Gaussian curvature at a point can be recovered from parallel transport around increasingly small loops at the point. Equivalently curvature can be calculated directly at an infinitesimal level in terms of <a href="/facts/Lie_bracket_of_vector_fields/n22pPTnV">Lie brackets</a> of lifted vector fields. </p> <h3>Connection 1-form</h3> <p>The approach of Cartan and Weyl, using connection 1-forms on the <a href="/facts/Frame_bundle/Gugt3qyL">frame bundle</a> of <i>M</i>, gives a third way to understand the Riemannian connection. They noticed that parallel transport dictates that a path in the surface be lifted to a path in the frame bundle so that its tangent vectors lie in a special subspace of codimension one in the three-dimensional tangent space of the frame bundle. The projection onto this subspace is defined by a differential 1-form on the orthonormal frame bundle, the <a href="/facts/Connection_form/Hnn6FJFN">connection form</a>. This enabled the curvature properties of the surface to be encoded in <a href="/facts/Differential_forms/T9gyHtMv">differential forms</a> on the frame bundle and formulas involving their <a href="/facts/Exterior_derivative/p7HA0wze">exterior derivatives</a>. </p><p>This approach is particularly simple for an embedded surface. Thanks to a result of Kobayashi (1956), the connection 1-form on a surface embedded in Euclidean space E3 is just the pullback under the Gauss map of the connection 1-form on <i>S</i>2.<a class="footnote-ref" id="fnref:106" href="#fn:106"><sup>106</sup></a> Using the identification of <i>S</i>2 with the <a href="/facts/Homogeneous_space/YGebqcJA">homogeneous space</a> SO(3)/SO(2), the connection 1-form is just a component of the <a href="/facts/Maurer%E2%80%93Cartan_form/0Xhjm36A">Maurer–Cartan 1-form</a> on SO(3).<a class="footnote-ref" id="fnref:107" href="#fn:107"><sup>107</sup></a> </p> <h2 id="global-differential-geometry-of-surfaces">Global differential geometry of surfaces</h2> <p>Although the characterisation of curvature involves only the local geometry of a surface, there are important global aspects such as the <a href="/facts/Gauss%E2%80%93Bonnet_theorem/pvTbtH91">Gauss–Bonnet theorem</a>, the <a href="/facts/Uniformization_theorem/mEa8a6IQ">uniformization theorem</a>, the von Mangoldt-Hadamard theorem, and the embeddability theorem. There are other important aspects of the global geometry of surfaces.<a class="footnote-ref" id="fnref:108" href="#fn:108"><sup>108</sup></a> These include: </p> <ul><li><a href="/facts/Injectivity_radius/e0aAePjd">Injectivity radius</a>, defined as the largest <i>r</i> such that two points at a distance less than <i>r</i> are joined by a unique geodesic. Wilhelm Klingenberg proved in 1959 that the injectivity radius of a closed surface is bounded below by the minimum of <i>δ</i> = π/√sup <i>K</i> and the length of its smallest closed geodesic. This improved a theorem of Bonnet who showed in 1855 that the diameter of a closed surface of positive Gaussian curvature is always bounded above by <i>δ</i>; in other words a geodesic realising the metric distance between two points cannot have length greater than <i>δ</i>.</li> <li>Rigidity. In 1927 <a href="/facts/Cohn-Vossen/mUfH8SzR">Cohn-Vossen</a> proved that two <a href="/facts/Ovaloid/sHC4YNkQ">ovaloids</a> – closed surfaces with positive Gaussian curvature – that are isometric are necessarily congruent by an isometry of E3. Moreover, a closed embedded surface with positive Gaussian curvature and constant mean curvature is necessarily a sphere; likewise a closed embedded surface of constant Gaussian curvature must be a sphere (Liebmann 1899). <a href="/facts/Heinz_Hopf/PMks10NV">Heinz Hopf</a> showed in 1950 that a closed embedded surface with constant mean curvature and genus 0, i.e. homeomorphic to a sphere, is necessarily a sphere; five years later Alexandrov removed the topological assumption. In the 1980s, Wente constructed <a href="/facts/Immersion_(mathematics)/QMqIgkVY">immersed</a> tori of constant mean curvature in Euclidean 3-space.</li> <li><a href="/facts/Carath%C3%A9odory_conjecture/vvHqFzE7">Carathéodory conjecture</a>: This conjecture states that a closed convex three times differentiable surface admits at least two <a href="/facts/Umbilic_point/kGaaHg4f">umbilic points</a>. The first work on this conjecture was in 1924 by <a href="/facts/Hans_Hamburger/3e2lQfCF">Hans Hamburger</a>, who noted that it follows from the following stronger claim: the half-integer valued index of the principal curvature foliation of an isolated umbilic is at most one. It was proven for smooth surfaces by Brendan Guilfoyle and Wilhelm Klingenberg in three parts <a class="footnote-ref" id="fnref:109" href="#fn:109"><sup>109</sup></a><a class="footnote-ref" id="fnref:110" href="#fn:110"><sup>110</sup></a><a class="footnote-ref" id="fnref:111" href="#fn:111"><sup>111</sup></a> concluding in 2024, the centenary of the conjecture.</li> <li>Zero Gaussian curvature: a complete surface in E3 with zero Gaussian curvature must be a cylinder or a plane.</li> <li>Hilbert's theorem (1901): no complete surface with constant negative curvature can be <a href="/facts/Immersion_(mathematics)/QMqIgkVY">immersed</a> isometrically in E3.</li></ul> <ul><li>The <a href="/facts/Willmore_conjecture/DJqRzSky">Willmore conjecture</a>. This conjecture states that the integral of the square of the mean curvature of a torus immersed in E3 should be bounded below by 2π2. It is known that the integral is Moebius invariant. It was solved in 2012 by <a href="/facts/Fernando_Cod%C3%A1_Marques/YIGzq3h8">Fernando Codá Marques</a> and <a href="/facts/Andr%C3%A9_Neves/r4y644jP">André Neves</a>.<a class="footnote-ref" id="fnref:112" href="#fn:112"><sup>112</sup></a></li> <li><a href="/facts/Isoperimetric_inequality/u02PG11C">Isoperimetric inequalities</a>. In 1939 Schmidt proved that the classical isoperimetric inequality for curves in the Euclidean plane is also valid on the sphere or in the hyperbolic plane: namely he showed that among all closed curves bounding a domain of fixed area, the perimeter is minimized by when the curve is a circle for the metric. In one dimension higher, it is known that among all closed surfaces in E3 arising as the boundary of a bounded domain of unit volume, the surface area is minimized for a Euclidean ball.</li> <li><a href="/facts/Systoles_of_surfaces/dIVJqvsL">Systolic inequalities for curves on surfaces</a>. Given a closed surface, its <a href="/facts/Systolic_geometry/exKrWG9e">systole</a> is defined to be the smallest length of any non-contractible closed curve on the surface. In 1949 <a href="/facts/Loewner/caA1Feuu">Loewner</a> proved a <a href="/facts/Loewner%27s_torus_inequality/pkF4mAxv">torus inequality</a> for metrics on the torus, namely that the area of the torus over the square of its systole is bounded below by √3/2, with equality in the flat (constant curvature) case. A similar result is given by <a href="/facts/Pu%27s_inequality/vDc8bw6E">Pu's inequality for the real projective plane</a> from 1952, with a lower bound of 2/π also attained in the constant curvature case. For the <a href="/facts/Klein_bottle/LTenG5E2">Klein bottle</a>, Blatter and Bavard later obtained a lower bound of √8/π. For a closed surface of genus <i>g</i>, Hebda and Burago showed that the ratio is bounded below by 1/2. Three years later <a href="/facts/Mikhail_Gromov_(mathematician)/N0t5hhcI">Mikhail Gromov</a> found a lower bound given by a constant times <i>g</i>1⁄2, although this is not optimal. Asymptotically sharp upper and lower bounds given by constant times <i>g</i>/(log <i>g</i>)2 are due to Gromov and Buser-Sarnak, and can be found in Katz (2007). There is also a version for metrics on the sphere, taking for the systole the length of the smallest <a href="/facts/Closed_geodesic/DlBzcCgT">closed geodesic</a>. Gromov conjectured a lower bound of 1/2√3 in 1980: the best result so far is the lower bound of 1/8 obtained by Regina Rotman in 2006.<a class="footnote-ref" id="fnref:113" href="#fn:113"><sup>113</sup></a></li></ul> <h2 id="reading-guide">Reading guide</h2> <p>One of the most comprehensive introductory surveys of the subject, charting the historical development from before Gauss to modern times, is by Berger (2004). Accounts of the classical theory are given in Eisenhart (2004), Kreyszig (1991) and Struik (1988); the more modern copiously illustrated undergraduate textbooks by Gray, Abbena & Salamon (2006), Pressley (2001) and Wilson (2008) might be found more accessible. An accessible account of the classical theory can be found in Hilbert & Cohn-Vossen (1952). More sophisticated graduate-level treatments using the <a href="/facts/Riemannian_connection_on_a_surface/yGj0UUvs">Riemannian connection on a surface</a> can be found in Singer & Thorpe (1967), do Carmo (2016) and O'Neill (2006). </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Tangent_vector/UEq5yffm">Tangent vector</a></li> <li><a href="/facts/Zoll_surface/qul7fPot">Zoll surface</a></li></ul> <h2 id="notes">Notes</h2> <ul><li>Andrews, Ben; Bryan, Paul (2010), "Curvature bounds by isoperimetric comparison for normalized Ricci flow on the two-sphere", <i>Calc. Var. Partial Differential Equations</i>, 39 (3–4): 419–428, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/0908.3606">0908.3606</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs00526-010-0315-5">10.1007/s00526-010-0315-5</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:1095459">1095459</a></li> <li><a href="/facts/Vladimir_Arnold/IMBhyfMS">Arnold, V.I.</a> (1989), <i>Mathematical methods of classical mechanics</i>, Graduate Texts in Mathematics, vol. 60 (2nd ed.), New York: Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-90314-9; translated from the Russian by K. Vogtmann and A. Weinstein.</li> <li><a href="/facts/Marcel_Berger/bgaDdaU1">Berger, Marcel</a> (2004), <i>A Panoramic View of Riemannian Geometry</i>, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-65317-2</li> <li>Berger, Melvyn S. (1977), <i>Nonlinearity and Functional Analysis</i>, Academic Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-12-090350-4</li> <li>Bonola, Roberto; Carslaw, H. S.; Enriques, F. (1955), <i>Non-Euclidean Geometry: A Critical and Historical Study of Its Development</i>, Dover, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-60027-7</li> <li><a href="/facts/William_M._Boothby/qDAR2Jcs">Boothby, William M.</a> (1986), <i>An introduction to differentiable manifolds and Riemannian geometry</i>, Pure and Applied Mathematics, vol. 120 (2nd ed.), Academic Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0121160521</li> <li><a href="/facts/%C3%89lie_Cartan/Uvhkp66S">Cartan, Élie</a> (1983), <a href="https://books.google.com/books?id=-YvvVfQ7xz4C&q=geometry+of+riemannian+spaces+cartan"><i>Geometry of Riemannian Spaces</i></a>, Math Sci Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-915692-34-7; translated from 2nd edition of <i> Leçons sur la géométrie des espaces de Riemann</i> (1951) by James Glazebrook.</li> <li><a href="/facts/%C3%89lie_Cartan/Uvhkp66S">Cartan, Élie</a> (2001), <a href="https://www.worldscientific.com/worldscibooks/10.1142/4808"><i>Riemannian Geometry in an Orthogonal Frame (from lectures delivered by É Cartan at the Sorbonne in 1926-27)</i></a>, World Scientific, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1142%2F4808">10.1142/4808</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-981-02-4746-1; translated from Russian by V. V. Goldberg with a foreword by <a href="/facts/S._S._Chern/FpfIQsEH">S. S. Chern</a>.</li> <li><a href="/facts/Henri_Cartan/IGrXDS4a">Cartan, Henri</a> (1971), <i>Calcul Differentiel</i> (in French), <a href="/facts/%C3%89ditions_Hermann/KjStxLLh">Hermann</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 9780395120330</li> <li>Chen, Xiuxiong; Lu, Peng; <a href="/facts/Gang_Tian/zRMpFWyf">Tian, Gang</a> (2006), "A note on uniformization of Riemann surfaces by Ricci flow", <i>Proc. AMS</i>, 134 (11): 3391–3393, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2FS0002-9939-06-08360-2">10.1090/S0002-9939-06-08360-2</a></li> <li><a href="/facts/S._S._Chern/FpfIQsEH">Chern, S. S.</a> (1967), <i>Curves and Surfaces in Euclidean Spaces</i>, MAA Studies in Mathematics, Mathematical Association of America</li> <li>Chow, B. (1991), "The Ricci flow on a 2-sphere", <i>J. Diff. Geom.</i>, 33 (2): 325–334, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4310%2Fjdg%2F1214446319">10.4310/jdg/1214446319</a></li> <li><a href="/facts/Richard_Courant/QDToNfWl">Courant, Richard</a> (1950), <i>Dirichlet's Principle, Conformal Mapping and Minimal Surfaces</i>, John Wiley & Sons, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-44552-6</li> <li><a href="/facts/Gaston_Darboux/evh2nMHN">Darboux, Gaston</a>, <i>Leçons sur la théorie générale des surfaces</i>, Gauthier-Villars <a href="http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0001.001">Volume I (1887)</a>, <a href="http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0002.001">Volume II (1915) [1889]</a>, <a href="http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0003.001">Volume III (1894)</a>, <a href="http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABV4153.0004.001">Volume IV (1896)</a>.</li> <li>Ding, W. (2001), "A proof of the uniformization theorem on S2", <i>J. Partial Differential Equations</i>, 14: 247–250</li> <li><a href="/facts/Manfredo_do_Carmo/5yxcMKQB">do Carmo, Manfredo P.</a> (2016), <i>Differential Geometry of Curves and Surfaces</i> (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-80699-0</li> <li><a href="/facts/Manfredo_do_Carmo/5yxcMKQB">do Carmo, Manfredo</a> (1992), <i>Riemannian geometry</i>, Mathematics: Theory & Applications, Birkhäuser, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-8176-3490-8</li> <li><a href="/facts/Luther_Eisenhart/Iz3Ljcur">Eisenhart, Luther Pfahler</a> (2004), <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc"><i>A Treatise on the Differential Geometry of Curves and Surfaces</i></a> (reprint of the 1909 ed.), Dover Publications, Inc., <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-486-43820-1</li> <li><a href="/facts/Leonhard_Euler/z2fsbjgj">Euler, Leonhard</a> (1760), <a href="http://math.dartmouth.edu/~euler/pages/E333.html">"Recherches sur la courbure des surfaces"</a>, <i>Mémoires de l'Académie des Sciences de Berlin</i>, 16 (published 1767): 119–143.</li> <li><a href="/facts/Leonhard_Euler/z2fsbjgj">Euler, Leonhard</a> (1771), <a href="http://math.dartmouth.edu/~euler/pages/E419.html">"De solidis quorum superficiem in planum explicare licet"</a>, <i>Novi Commentarii Academiae Scientiarum Petropolitanae</i>, 16 (published 1772): 3–34.</li> <li><a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Gauss, Carl Friedrich</a> (1902), <a href="http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABR1255"><i>General Investigations of Curved Surfaces of 1825 and 1827</i></a>, Princeton University Library translated by A.M. Hiltebeitel and J.C. Morehead; <a href="http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN35283028X_0006_2NS">"Disquisitiones generales circa superficies curvas"</a>, <i>Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores</i> Vol. VI (1827), pp. 99–146. <ul><li>Gauss, Carl Friedrich (1965), <i>General Investigations of Curved Surfaces</i>, translated by A.M. Hiltebeitel; J.C. Morehead, Hewlett, NY: Raven Press, <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/228665499">228665499</a>.</li> <li>Gauss, Carl Friedrich (2005), <i>General Investigations of Curved Surfaces</i>, edited with a new introduction and notes by Peter Pesic, Mineola, NY: Dover Publications, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-44645-5.</li></ul></li> <li>Gray, Alfred; Abbena, Elsa; Salamon, Simon (2006), <i>Modern Differential Geometry of Curves And Surfaces With Mathematica®</i>, Studies in Advanced Mathematics (3rd ed.), Boca Raton, FL: Chapman & Hall/CRC, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-58488-448-4</li> <li>Han, Qing; Hong, Jia-Xing (2006), <i>Isometric Embedding of Riemannian Manifolds in Euclidean Spaces</i>, American Mathematical Society, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-4071-9</li> <li><a href="/facts/Sigurdur_Helgason_(mathematician)/pGzo2dwE">Helgason, Sigurdur</a> (1978), <i>Differential Geometry，Lie Groups, and Symmetric Spaces</i>, Academic Press, New York, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-12-338460-7</li> <li><a href="/facts/David_Hilbert/1vhlHn4b">Hilbert, David</a>; <a href="/facts/Stephan_Cohn-Vossen/mUfH8SzR">Cohn-Vossen, Stephan</a> (1952), <i>Geometry and the Imagination</i> (2nd ed.), New York: Chelsea, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8284-1087-8</li> <li><a href="/facts/Nigel_Hitchin/HY5u59I5">Hitchin, Nigel</a> (2013), <a href="http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf"><i>Geometry of Surfaces</i></a> (PDF)</li> <li><a href="/facts/Heinz_Hopf/PMks10NV">Hopf, Heinz</a> (1989), <i>Lectures on Differential Geometry in the Large</i>, Lecture Notes in Mathematics, vol. 1000, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-51497-8</li> <li>Imayoshi, Y.; Taniguchi, M. (1992), <i>An Introduction to Techmüller spaces</i>, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-70088-5</li> <li>Ivey, Thomas A.; Landsberg, J.M. (2003), <i>Cartan for Beginners: Differential Geometry via Moving Frames and Exterior Systems</i>, Graduate Studies in Mathematics, vol. 61, American Mathematical Society, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-3375-9</li> <li>Katz, Mikhail G. (2007), <i>Systolic geometry and topology</i>, Mathematical Surveys and Monographs, vol. 137, American Mathematical Society, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-4177-8</li> <li><a href="/facts/John_Milnor/LTf24paN">Milnor, J.</a> (1963). <i>Morse theory</i>. Annals of Mathematics Studies. Vol. 51. Princeton, N.J.: Princeton University Press. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0163331">0163331</a>. <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0108.10401">0108.10401</a>.</li> <li>Kobayashi, Shoshichi (1956), "Induced connections and imbedded Riemannian space", <i>Nagoya Math. J.</i>, 10: 15–25, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FS0027763000000052">10.1017/S0027763000000052</a></li> <li><a href="/facts/Shoshichi_Kobayashi/P3rHgfGs">Kobayashi, Shoshichi</a> (1957), "Theory of connections", <i>Annali di Matematica Pura ed Applicata</i>, Series 4, 43: 119–194, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02411907">10.1007/BF02411907</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:120972987">120972987</a>,</li> <li>Kobayashi, Shoshichi; Nomizu, Katsumi (1963), <a href="/facts/Foundations_of_Differential_Geometry/lgGBjhhd"><i>Foundations of Differential Geometry, Vol. I</i></a>, Wiley Interscience, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-470-49648-0</li> <li>Kobayashi, Shoshichi; Nomizu, Katsumi (1969), <i>Foundations of Differential Geometry, Vol. II</i>, Wiley Interscience, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-470-49648-0</li> <li><a href="/facts/Erwin_Kreyszig/uSFtakfs">Kreyszig, Erwin</a> (1991), <i>Differential Geometry</i>, Dover, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-66721-8</li> <li>Kühnel, Wolfgang (2006), <i>Differential Geometry: Curves - Surfaces - Manifolds</i>, American Mathematical Society, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-3988-1</li> <li><a href="/facts/Tullio_Levi-Civita/LmxVG3GP">Levi-Civita, Tullio</a> (1917), <a href="https://zenodo.org/record/1428456">"Nozione di parallelismo in una varietà qualunque"</a>, <i>Rend. Circ. Mat. Palermo</i>, 42: 173–205, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF03014898">10.1007/BF03014898</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:122088291">122088291</a></li> <li>O'Neill, Barrett (2006), <i>Elementary Differential Geometry</i> (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-12-088735-5</li> <li>Osgood, B.; Phillips, R.; Sarnak, P. (1988), "Extremals of determinants of Laplacians", <i>J. Funct. Anal.</i>, 80: 148–211, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0022-1236%2888%2990070-5">10.1016/0022-1236(88)90070-5</a></li> <li>Osserman, Robert (2002), <i>A Survey of Minimal Surfaces</i>, Dover, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-49514-9</li> <li><a href="/facts/Ian_R._Porteous/JV9YyBnB">Ian R. Porteous</a> (2001) <i>Geometric Differentiation: for the intelligence of curves and surfaces</i>, <a href="/facts/Cambridge_University_Press/fgEBSSRq">Cambridge University Press</a> <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-521-00264-8.</li> <li>Pressley, Andrew (2001), <i>Elementary Differential Geometry</i>, Springer Undergraduate Mathematics Series, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-85233-152-8</li> <li>Sacks, J.; <a href="/facts/Karen_Uhlenbeck/vWHh70YL">Uhlenbeck, Karen</a> (1981), "The existence of minimal immersions of 2-spheres", <i>Ann. of Math.</i>, 112 (1): 1–24, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1971131">10.2307/1971131</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1971131">1971131</a></li> <li><a href="/facts/Isadore_Singer/YwnG6QDd">Singer, Isadore M.</a>; Thorpe, John A. (1967), <i>Lecture Notes on Elementary Topology and Geometry</i>, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-90202-9</li> <li><a href="/facts/Michael_Spivak/C67tKX7d">Spivak, Michael</a> (1965), <i>Calculus on manifolds. A modern approach to classical theorems of advanced calculus</i>, W. A. Benjamin</li> <li>Stillwell, John (1996), <i>Sources of Hyperbolic Geometry</i>, American Mathematical Society, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-0558-9</li> <li><a href="/facts/Dirk_Struik/D7cVVb9r">Struik, Dirk</a> (1987), <i>A Concise History of Mathematics</i> (4th ed.), Dover Publications, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0486602559</li> <li><a href="/facts/Dirk_Struik/D7cVVb9r">Struik, Dirk J.</a> (1988) [1961], <i>Lectures on Classical Differential Geometry</i> (reprint of 2nd ed.), New York: Dover Publications, Inc., <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-486-65609-8</li> <li><a href="/facts/Michael_E._Taylor/gfaKgoE5">Taylor, Michael E.</a> (1996a), <i>Partial Differential Equations II: Qualitative Studies of Linear Equations</i>, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4419-7051-0</li> <li><a href="/facts/Michael_E._Taylor/gfaKgoE5">Taylor, Michael E.</a> (1996b), <i>Partial Differential Equations III: Nonlinear equations</i>, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4419-7048-0</li> <li>Thorpe, John A. (1994), <i>Elementary topics in differential geometry</i>, Undergraduate Texts in Mathematics, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0387903577</li> <li><a href="/facts/Victor_Andreevich_Toponogov/QsqF0CEU">Toponogov, Victor A.</a> (2005), <i>Differential Geometry of Curves and Surfaces: A Concise Guide</i>, Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8176-4384-3</li> <li>Valiron, Georges (1986), <i>The Classical Differential Geometry of Curves and Surfaces</i>, Math Sci Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-915692-39-2 <a href="https://books.google.com/books?id=IQXstKvWsHMC&q=valiron+surfaces">Full text of book</a></li> <li>Warner, Frank W. (1983), <i>Foundations of differentiable manifolds and Lie groups</i>, Graduate Texts in Mathematics, vol. 94, Springer, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-387-90894-3</li> <li><a href="/facts/Raymond_O._Wells_Jr./Is80Ue1q">Wells, R. O.</a> (2017), <i>Differential and complex geometry: origins, abstractions and embeddings</i>, Springer, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 9783319581842</li> <li>Wilson, Pelham (2008), <i>Curved Space: From Classical Geometries to Elementary Differential Geometry</i>, Cambridge University Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-521-71390-0</li></ul> <h2 id="external-links">External links</h2> <ul><li> Media related to Differential geometry of surfaces at Wikimedia Commons</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>A smooth surface is a surface in which each point has a neighborhood diffeomorphic to some open set in E2. <a href="/wiki/Diffeomorphism" target="_blank">/wiki/Diffeomorphism</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>A Riemannian surface is a smooth surface equipped with a Riemannian metric. <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Gauss 1902. - Gauss, Carl Friedrich (1902), General Investigations of Curved Surfaces of 1825 and 1827, Princeton University Library <a href="http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABR1255" target="_blank">http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABR1255</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Struik 1987, pp. 50–53 - Struik, Dirk (1987), A Concise History of Mathematics (4th ed.), Dover Publications, ISBN 0486602559 <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Wells 2017, pp. 17–30 - Wells, R. O. (2017), Differential and complex geometry: origins, abstractions and embeddings, Springer, ISBN 9783319581842 <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Euler 1760 - Euler, Leonhard (1760), "Recherches sur la courbure des surfaces", Mémoires de l'Académie des Sciences de Berlin, 16 (published 1767): 119–143 <a href="http://math.dartmouth.edu/~euler/pages/E333.html" target="_blank">http://math.dartmouth.edu/~euler/pages/E333.html</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Euler 1771 - Euler, Leonhard (1771), "De solidis quorum superficiem in planum explicare licet", Novi Commentarii Academiae Scientiarum Petropolitanae, 16 (published 1772): 3–34 <a href="http://math.dartmouth.edu/~euler/pages/E419.html" target="_blank">http://math.dartmouth.edu/~euler/pages/E419.html</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Gauss 1902. - Gauss, Carl Friedrich (1902), General Investigations of Curved Surfaces of 1825 and 1827, Princeton University Library <a href="http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABR1255" target="_blank">http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABR1255</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Kreyszig 1991 - Kreyszig, Erwin (1991), Differential Geometry, Dover, ISBN 978-0-486-66721-8 <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Struik 1988 - Struik, Dirk J. (1988) [1961], Lectures on Classical Differential Geometry (reprint of 2nd ed.), New York: Dover Publications, Inc., ISBN 0-486-65609-8 <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Warner 1983 - Warner, Frank W. (1983), Foundations of differentiable manifolds and Lie groups, Graduate Texts in Mathematics, vol. 94, Springer, ISBN 0-387-90894-3 <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Hitchin 2013, p. 45 - Hitchin, Nigel (2013), Geometry of Surfaces (PDF) <a href="http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf" target="_blank">http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>do Carmo 2016, pp. 54–56 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>Wilson 2008, p. 115 - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>Pressley 2001, pp. 68–77 - Pressley, Andrew (2001), Elementary Differential Geometry, Springer Undergraduate Mathematics Series, Springer-Verlag, ISBN 978-1-85233-152-8 <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>do Carmo 2016, pp. 55 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>do Carmo 2016, pp. 60–65 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> <li id="fn:18"><p>O'Neill 2006, p. 113 - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li> <li id="fn:19"><p>Lee "Introduction to Smooth Manifolds" <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li> <li id="fn:20"><p>do Carmo 2016, pp. 72 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li> <li id="fn:21"><p>Struik 1988 - Struik, Dirk J. (1988) [1961], Lectures on Classical Differential Geometry (reprint of 2nd ed.), New York: Dover Publications, Inc., ISBN 0-486-65609-8 <a href="#fnref:21" class="footnote-back-ref">↩</a></p></li> <li id="fn:22"><p>Kreyszig 1991 - Kreyszig, Erwin (1991), Differential Geometry, Dover, ISBN 978-0-486-66721-8 <a href="#fnref:22" class="footnote-back-ref">↩</a></p></li> <li id="fn:23"><p>Singer & Thorpe 1967, p. 100–114 - Singer, Isadore M.; Thorpe, John A. (1967), Lecture Notes on Elementary Topology and Geometry, Springer-Verlag, ISBN 978-0-387-90202-9 <a href="#fnref:23" class="footnote-back-ref">↩</a></p></li> <li id="fn:24"><p>Singer & Thorpe 1967, p. 133–134 - Singer, Isadore M.; Thorpe, John A. (1967), Lecture Notes on Elementary Topology and Geometry, Springer-Verlag, ISBN 978-0-387-90202-9 <a href="#fnref:24" class="footnote-back-ref">↩</a></p></li> <li id="fn:25"><p>do Carmo 2016, pp. 155–157 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:25" class="footnote-back-ref">↩</a></p></li> <li id="fn:26"><p>Do Carmo, page 235 <a href="#fnref:26" class="footnote-back-ref">↩</a></p></li> <li id="fn:27"><p>Do Carmo, page 238 <a href="#fnref:27" class="footnote-back-ref">↩</a></p></li> <li id="fn:28"><p>Do Carmo, pages 237-238 <a href="#fnref:28" class="footnote-back-ref">↩</a></p></li> <li id="fn:29"><p>Struik 1988, p. 112 - Struik, Dirk J. (1988) [1961], Lectures on Classical Differential Geometry (reprint of 2nd ed.), New York: Dover Publications, Inc., ISBN 0-486-65609-8 <a href="#fnref:29" class="footnote-back-ref">↩</a></p></li> <li id="fn:30"><p>Darboux, Vol. III, page 246 <a href="#fnref:30" class="footnote-back-ref">↩</a></p></li> <li id="fn:31"><p>Berger. A panoramic view of Riemannian geometry. <a href="#fnref:31" class="footnote-back-ref">↩</a></p></li> <li id="fn:32"><p>O'Neill 2006, p. 257 - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:32" class="footnote-back-ref">↩</a></p></li> <li id="fn:33"><p>do Carmo 2016, pp. 309–314 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:33" class="footnote-back-ref">↩</a></p></li> <li id="fn:34"><p>Hitchin 2013, p. 57 - Hitchin, Nigel (2013), Geometry of Surfaces (PDF) <a href="http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf" target="_blank">http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf</a> <a href="#fnref:34" class="footnote-back-ref">↩</a></p></li> <li id="fn:35"><p>do Carmo 2016, p. 221–222 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:35" class="footnote-back-ref">↩</a></p></li> <li id="fn:36"><p>O'Neill 2006, pp. 281–289 - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:36" class="footnote-back-ref">↩</a></p></li> <li id="fn:37"><p>Hitchin 2013, pp. 57–58 - Hitchin, Nigel (2013), Geometry of Surfaces (PDF) <a href="http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf" target="_blank">http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf</a> <a href="#fnref:37" class="footnote-back-ref">↩</a></p></li> <li id="fn:38"><p>do Carmo 2016, p. 223 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:38" class="footnote-back-ref">↩</a></p></li> <li id="fn:39"><p>do Carmo 2016, pp. 222–223 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:39" class="footnote-back-ref">↩</a></p></li> <li id="fn:40"><p>do Carmo 2016, pp. 224–225 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:40" class="footnote-back-ref">↩</a></p></li> <li id="fn:41"><p>Do Carmo, page 183 <a href="#fnref:41" class="footnote-back-ref">↩</a></p></li> <li id="fn:42"><p>Do Carmo, page 242 <a href="#fnref:42" class="footnote-back-ref">↩</a></p></li> <li id="fn:43"><p>Hitchin 2013 - Hitchin, Nigel (2013), Geometry of Surfaces (PDF) <a href="http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf" target="_blank">http://people.maths.ox.ac.uk/~joyce/Nairobi2019/Hitchin-GeometryOfSurfaces.pdf</a> <a href="#fnref:43" class="footnote-back-ref">↩</a></p></li> <li id="fn:44"><p>Struik 1988 - Struik, Dirk J. (1988) [1961], Lectures on Classical Differential Geometry (reprint of 2nd ed.), New York: Dover Publications, Inc., ISBN 0-486-65609-8 <a href="#fnref:44" class="footnote-back-ref">↩</a></p></li> <li id="fn:45"><p>O'Neill 2006 - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:45" class="footnote-back-ref">↩</a></p></li> <li id="fn:46"><p>Do Carmo, page 242 <a href="#fnref:46" class="footnote-back-ref">↩</a></p></li> <li id="fn:47"><p>Spivak, "A comprehensive introduction to differential geometry, vol. III." Page 157. <a href="#fnref:47" class="footnote-back-ref">↩</a></p></li> <li id="fn:48"><p>Spivak, pages 161-166 <a href="#fnref:48" class="footnote-back-ref">↩</a></p></li> <li id="fn:49"><p>Spivak, page 168 <a href="#fnref:49" class="footnote-back-ref">↩</a></p></li> <li id="fn:50"><p>Eisenhart 2004, pp. 228–229 - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:50" class="footnote-back-ref">↩</a></p></li> <li id="fn:51"><p>Eisenhart 2004, pp. 241–250; do Carmo 2016, pp. 188–197. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:51" class="footnote-back-ref">↩</a></p></li> <li id="fn:52"><p>do Carmo 2016, p. 194. - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:52" class="footnote-back-ref">↩</a></p></li> <li id="fn:53"><p>Eisenhart 2004, pp. 61–65. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:53" class="footnote-back-ref">↩</a></p></li> <li id="fn:54"><p>Eisenhart 2004 - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:54" class="footnote-back-ref">↩</a></p></li> <li id="fn:55"><p>Eisenhart 2004, pp. 250–269; do Carmo 2016, pp. 197–213. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:55" class="footnote-back-ref">↩</a></p></li> <li id="fn:56"><p>Douglas' solution is described in Courant (1950). - Courant, Richard (1950), Dirichlet's Principle, Conformal Mapping and Minimal Surfaces, John Wiley & Sons, ISBN 978-0-486-44552-6 <a href="#fnref:56" class="footnote-back-ref">↩</a></p></li> <li id="fn:57"><p>Eisenhart 2004, pp. 270–291; O'Neill 2006, pp. 249–251; Hilbert & Cohn-Vossen 1952. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:57" class="footnote-back-ref">↩</a></p></li> <li id="fn:58"><p>Stillwell 1996, pp. 1–5. - Stillwell, John (1996), Sources of Hyperbolic Geometry, American Mathematical Society, ISBN 978-0-8218-0558-9 <a href="#fnref:58" class="footnote-back-ref">↩</a></p></li> <li id="fn:59"><p>Wilson 2008. - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:59" class="footnote-back-ref">↩</a></p></li> <li id="fn:60"><p>O'Neill 2006, pp. 195–216; do Carmo 2016, pp. 134–153; Singer & Thorpe 1967, pp. 216–224. - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:60" class="footnote-back-ref">↩</a></p></li> <li id="fn:61"><p>Gray, Abbena & Salamon 2006, p. 386. - Gray, Alfred; Abbena, Elsa; Salamon, Simon (2006), Modern Differential Geometry of Curves And Surfaces With Mathematica®, Studies in Advanced Mathematics (3rd ed.), Boca Raton, FL: Chapman & Hall/CRC, ISBN 978-1-58488-448-4 <a href="#fnref:61" class="footnote-back-ref">↩</a></p></li> <li id="fn:62"><p>Note that in some more recent texts the symmetric bilinear form on the right hand side is referred to as the second fundamental form; however, it does not in general correspond to the classically defined second fundamental form. <a href="#fnref:62" class="footnote-back-ref">↩</a></p></li> <li id="fn:63"><p>Berger 2004; Wilson 2008; Milnor 1963. - Berger, Marcel (2004), A Panoramic View of Riemannian Geometry, Springer-Verlag, ISBN 978-3-540-65317-2 <a href="#fnref:63" class="footnote-back-ref">↩</a></p></li> <li id="fn:64"><p>Eisenhart 2004, p. 131; Berger 2004, p. 39; do Carmo 2016, p. 248; O'Neill 2006, p. 237 - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:64" class="footnote-back-ref">↩</a></p></li> <li id="fn:65"><p>Eisenhart 2004; Taylor 1996a, pp. 472–473, Appendix C. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:65" class="footnote-back-ref">↩</a></p></li> <li id="fn:66"><p>Eisenhart 2004, section 88; Berger 2004. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:66" class="footnote-back-ref">↩</a></p></li> <li id="fn:67"><p>do Carmo 2016, p. 357 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:67" class="footnote-back-ref">↩</a></p></li> <li id="fn:68"><p>Milnor 1963 - Milnor, J. (1963). Morse theory. Annals of Mathematics Studies. Vol. 51. Princeton, N.J.: Princeton University Press. MR 0163331. Zbl 0108.10401. <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0163331" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0163331</a> <a href="#fnref:68" class="footnote-back-ref">↩</a></p></li> <li id="fn:69"><p>Wilson 2008 - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:69" class="footnote-back-ref">↩</a></p></li> <li id="fn:70"><p>Berger 2004 - Berger, Marcel (2004), A Panoramic View of Riemannian Geometry, Springer-Verlag, ISBN 978-3-540-65317-2 <a href="#fnref:70" class="footnote-back-ref">↩</a></p></li> <li id="fn:71"><p>do Carmo 2016, pp. 303–305 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:71" class="footnote-back-ref">↩</a></p></li> <li id="fn:72"><p>Berger 2004, pp. 41, 61, 123–124 - Berger, Marcel (2004), A Panoramic View of Riemannian Geometry, Springer-Verlag, ISBN 978-3-540-65317-2 <a href="#fnref:72" class="footnote-back-ref">↩</a></p></li> <li id="fn:73"><p>O'Neill 2006, p. 395 - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:73" class="footnote-back-ref">↩</a></p></li> <li id="fn:74"><p>Helgason 1978, p. 92 - Helgason, Sigurdur (1978), Differential Geometry，Lie Groups, and Symmetric Spaces, Academic Press, New York, ISBN 978-0-12-338460-7 <a href="#fnref:74" class="footnote-back-ref">↩</a></p></li> <li id="fn:75"><p>O'Neill 2006, p. 286 - O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5 <a href="#fnref:75" class="footnote-back-ref">↩</a></p></li> <li id="fn:76"><p>do Carmo 2016, p. 227 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:76" class="footnote-back-ref">↩</a></p></li> <li id="fn:77"><p>Osserman 2002, pp. 31–32 - Osserman, Robert (2002), A Survey of Minimal Surfaces, Dover, ISBN 978-0-486-49514-9 <a href="#fnref:77" class="footnote-back-ref">↩</a></p></li> <li id="fn:78"><p>Eisenhart 2004 - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:78" class="footnote-back-ref">↩</a></p></li> <li id="fn:79"><p>Eisenhart 2004 - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:79" class="footnote-back-ref">↩</a></p></li> <li id="fn:80"><p>do Carmo 2016, pp. 283–286 - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:80" class="footnote-back-ref">↩</a></p></li> <li id="fn:81"><p>Thorpe 1994, pp. 201–207 - Thorpe, John A. (1994), Elementary topics in differential geometry, Undergraduate Texts in Mathematics, Springer-Verlag, ISBN 0387903577 <a href="#fnref:81" class="footnote-back-ref">↩</a></p></li> <li id="fn:82"><p>Singer & Thorpe 1967; Garsia, Adriano M. (1961), "An imbedding of closed Riemann surfaces in Euclidean space", Comment. Math. Helv., 35: 93–110, doi:10.1007/BF02567009, S2CID 120653575 - Singer, Isadore M.; Thorpe, John A. (1967), Lecture Notes on Elementary Topology and Geometry, Springer-Verlag, ISBN 978-0-387-90202-9 <a href="#fnref:82" class="footnote-back-ref">↩</a></p></li> <li id="fn:83"><p>Imayoshi & Taniguchi 1992, pp. 47–49 - Imayoshi, Y.; Taniguchi, M. (1992), An Introduction to Techmüller spaces, Springer-Verlag, ISBN 978-0-387-70088-5 <a href="#fnref:83" class="footnote-back-ref">↩</a></p></li> <li id="fn:84"><p>Berger 1977; Taylor 1996b. - Berger, Melvyn S. (1977), Nonlinearity and Functional Analysis, Academic Press, ISBN 978-0-12-090350-4 <a href="#fnref:84" class="footnote-back-ref">↩</a></p></li> <li id="fn:85"><p>Wilson 2008, pp. 1–23, Chapter I, Euclidean geometry. - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:85" class="footnote-back-ref">↩</a></p></li> <li id="fn:86"><p>do Carmo 2016. - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:86" class="footnote-back-ref">↩</a></p></li> <li id="fn:87"><p>Wilson 2008, pp. 25–49, Chapter II, Spherical geometry. - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:87" class="footnote-back-ref">↩</a></p></li> <li id="fn:88"><p>Wilson 2008, Chapter 2. - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:88" class="footnote-back-ref">↩</a></p></li> <li id="fn:89"><p>Eisenhart 2004, p. 110. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:89" class="footnote-back-ref">↩</a></p></li> <li id="fn:90"><p>Stillwell 1996; Bonola, Carslaw & Enriques 1955. - Stillwell, John (1996), Sources of Hyperbolic Geometry, American Mathematical Society, ISBN 978-0-8218-0558-9 <a href="#fnref:90" class="footnote-back-ref">↩</a></p></li> <li id="fn:91"><p>Wilson 2008, Chapter 5. - Wilson, Pelham (2008), Curved Space: From Classical Geometries to Elementary Differential Geometry, Cambridge University Press, ISBN 978-0-521-71390-0 <a href="#fnref:91" class="footnote-back-ref">↩</a></p></li> <li id="fn:92"><p>Taylor 1996b, p. 107; Berger 1977, pp. 341–343. - Taylor, Michael E. (1996b), Partial Differential Equations III: Nonlinear equations, Springer-Verlag, ISBN 978-1-4419-7048-0 <a href="#fnref:92" class="footnote-back-ref">↩</a></p></li> <li id="fn:93"><p>Berger 1977, pp. 222–225; Taylor 1996b, pp. 101–108. - Berger, Melvyn S. (1977), Nonlinearity and Functional Analysis, Academic Press, ISBN 978-0-12-090350-4 <a href="#fnref:93" class="footnote-back-ref">↩</a></p></li> <li id="fn:94"><p>Taylor 1996b - Taylor, Michael E. (1996b), Partial Differential Equations III: Nonlinear equations, Springer-Verlag, ISBN 978-1-4419-7048-0 <a href="#fnref:94" class="footnote-back-ref">↩</a></p></li> <li id="fn:95"><p>Chow 1991 - Chow, B. (1991), "The Ricci flow on a 2-sphere", J. Diff. Geom., 33 (2): 325–334, doi:10.4310/jdg/1214446319 <a href="https://doi.org/10.4310%2Fjdg%2F1214446319" target="_blank">https://doi.org/10.4310%2Fjdg%2F1214446319</a> <a href="#fnref:95" class="footnote-back-ref">↩</a></p></li> <li id="fn:96"><p>Chen, Lu & Tian (2006) pointed out and corrected a missing step in the approach of Hamilton and Chow; see also Andrews & Bryan (2010). - Chen, Xiuxiong; Lu, Peng; Tian, Gang (2006), "A note on uniformization of Riemann surfaces by Ricci flow", Proc. AMS, 134 (11): 3391–3393, doi:10.1090/S0002-9939-06-08360-2 <a href="https://doi.org/10.1090%2FS0002-9939-06-08360-2" target="_blank">https://doi.org/10.1090%2FS0002-9939-06-08360-2</a> <a href="#fnref:96" class="footnote-back-ref">↩</a></p></li> <li id="fn:97"><p>This follows by an argument involving a theorem of Sacks & Uhlenbeck (1981) on removable singularities of harmonic maps of finite energy. - Sacks, J.; Uhlenbeck, Karen (1981), "The existence of minimal immersions of 2-spheres", Ann. of Math., 112 (1): 1–24, doi:10.2307/1971131, JSTOR 1971131 <a href="https://doi.org/10.2307%2F1971131" target="_blank">https://doi.org/10.2307%2F1971131</a> <a href="#fnref:97" class="footnote-back-ref">↩</a></p></li> <li id="fn:98"><p>Eisenhart 2004; Kreyszig 1991; Berger 2004; Wilson 2008. - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:98" class="footnote-back-ref">↩</a></p></li> <li id="fn:99"><p>Kobayashi & Nomizu 1969, Chapter XII. - Kobayashi, Shoshichi; Nomizu, Katsumi (1969), Foundations of Differential Geometry, Vol. II, Wiley Interscience, ISBN 978-0-470-49648-0 <a href="#fnref:99" class="footnote-back-ref">↩</a></p></li> <li id="fn:100"><p>do Carmo 2016; O'Neill 2006; Singer & Thorpe 1967. - do Carmo, Manfredo P. (2016), Differential Geometry of Curves and Surfaces (revised & updated 2nd ed.), Mineola, NY: Dover Publications, Inc., ISBN 978-0-486-80699-0 <a href="#fnref:100" class="footnote-back-ref">↩</a></p></li> <li id="fn:101"><p>Levi-Civita 1917 - Levi-Civita, Tullio (1917), "Nozione di parallelismo in una varietà qualunque", Rend. Circ. Mat. Palermo, 42: 173–205, doi:10.1007/BF03014898, S2CID 122088291 <a href="https://zenodo.org/record/1428456" target="_blank">https://zenodo.org/record/1428456</a> <a href="#fnref:101" class="footnote-back-ref">↩</a></p></li> <li id="fn:102"><p>Eisenhart 2004 - Eisenhart, Luther Pfahler (2004), A Treatise on the Differential Geometry of Curves and Surfaces (reprint of the 1909 ed.), Dover Publications, Inc., ISBN 0-486-43820-1 <a href="https://projecteuclid.org/euclid.chmm/1428681953#toc" target="_blank">https://projecteuclid.org/euclid.chmm/1428681953#toc</a> <a href="#fnref:102" class="footnote-back-ref">↩</a></p></li> <li id="fn:103"><p>Berger 2004 - Berger, Marcel (2004), A Panoramic View of Riemannian Geometry, Springer-Verlag, ISBN 978-3-540-65317-2 <a href="#fnref:103" class="footnote-back-ref">↩</a></p></li> <li id="fn:104"><p>Arnold 1989, pp. 301–306, Appendix I.; Berger 2004, pp. 263–264. - Arnold, V.I. (1989), Mathematical methods of classical mechanics, Graduate Texts in Mathematics, vol. 60 (2nd ed.), New York: Springer-Verlag, ISBN 978-0-387-90314-9 <a href="#fnref:104" class="footnote-back-ref">↩</a></p></li> <li id="fn:105"><p>Darboux. - Darboux, Gaston, Leçons sur la théorie générale des surfaces, Gauthier-Villars <a href="#fnref:105" class="footnote-back-ref">↩</a></p></li> <li id="fn:106"><p>Kobayashi & Nomizu 1969 - Kobayashi, Shoshichi; Nomizu, Katsumi (1969), Foundations of Differential Geometry, Vol. II, Wiley Interscience, ISBN 978-0-470-49648-0 <a href="#fnref:106" class="footnote-back-ref">↩</a></p></li> <li id="fn:107"><p>Ivey & Landsberg 2003. - Ivey, Thomas A.; Landsberg, J.M. (2003), Cartan for Beginners: Differential Geometry via Moving Frames and Exterior Systems, Graduate Studies in Mathematics, vol. 61, American Mathematical Society, ISBN 978-0-8218-3375-9 <a href="#fnref:107" class="footnote-back-ref">↩</a></p></li> <li id="fn:108"><p>Berger 2004, pp. 145–161; do Carmo 2016; Chern 1967; Hopf 1989. - Berger, Marcel (2004), A Panoramic View of Riemannian Geometry, Springer-Verlag, ISBN 978-3-540-65317-2 <a href="#fnref:108" class="footnote-back-ref">↩</a></p></li> <li id="fn:109"><p>Guilfoyle, B.; Klingenberg, W. (2019). "Higher codimensional mean curvature flow of compact spacelike submanifolds". Trans. Amer. Math. Soc. 372 (9): 6263–6281. arXiv:1812.00710. doi:10.1090/tran/7766. S2CID 119253397. <a href="https://doi.org/10.1090%2Ftran%2F7766" target="_blank">https://doi.org/10.1090%2Ftran%2F7766</a> <a href="#fnref:109" class="footnote-back-ref">↩</a></p></li> <li id="fn:110"><p>Guilfoyle, B.; Klingenberg, W. (2020). "Fredholm-regularity of holomorphic discs in plane bundles over compact surfaces". Ann. Fac. Sci. Toulouse Math. Série 6. 29 (3): 565–576. arXiv:1812.00707. doi:10.5802/afst.1639. S2CID 119659239. <a href="https://doi.org/10.5802%2Fafst.1639" target="_blank">https://doi.org/10.5802%2Fafst.1639</a> <a href="#fnref:110" class="footnote-back-ref">↩</a></p></li> <li id="fn:111"><p>Guilfoyle, B.; Klingenberg, W. (2024). "Proof of the Toponogov Conjecture on complete surfaces". J. Gökova Geom. Topol. GGT. 17: 1–50. arXiv:2002.12787. <a href="https://gokovagt.org/journal/2024/guilfoyleklingenberg.html" target="_blank">https://gokovagt.org/journal/2024/guilfoyleklingenberg.html</a> <a href="#fnref:111" class="footnote-back-ref">↩</a></p></li> <li id="fn:112"><p>Codá Marques, Fernando; Neves, André (2014). "Min-Max theory and the Willmore conjecture". Annals of Mathematics. 179 (2): 683–782. arXiv:1202.6036. doi:10.4007/annals.2014.179.2.6. JSTOR 24522767. S2CID 50742102. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:112" class="footnote-back-ref">↩</a></p></li> <li id="fn:113"><p>Rotman, R. (2006) "The length of a shortest closed geodesic and the area of a 2-dimensional sphere", Proc. Amer. Math. Soc. 134: 3041-3047. Previous lower bounds had been obtained by Croke, Rotman-Nabutovsky and Sabourau. <a href="#fnref:113" class="footnote-back-ref">↩</a></p></li> </ol>