Bonnet theorem: Difference between revisions
m biblio section |
Resolving Category:Harv and Sfn no-target errors. Commented out ref until original editor can fix it |
||
Line 5: | Line 5: | ||
==Bonnet's theorem== |
==Bonnet's theorem== |
||
Any [[Surface (mathematics)|surface]] in three-dimensional [[Euclidean space]] has a [[first fundamental form|first]] and [[second fundamental form]], which automatically are interrelated by the [[Gauss–Codazzi equations]]. Bonnet's theorem asserts a local converse to this result.{{sfnm|1a1=do Carmo|1y=2016|1loc=Section 4-3|2a1= |
Any [[Surface (mathematics)|surface]] in three-dimensional [[Euclidean space]] has a [[first fundamental form|first]] and [[second fundamental form]], which automatically are interrelated by the [[Gauss–Codazzi equations]]. Bonnet's theorem asserts a local converse to this result.{{sfnm|1a1=do Carmo|1y=2016|1loc=Section 4-3|2a1=Struik|2y=1961|2loc=Section 3-6<!-- Which work 1999a or 1999b? |3a1=Spivak|3y=1999|3loc=Theorem 2.3 -->}} |
||
Given an open region {{mvar|D}} in {{math|'''R'''<sup>2</sup>}}, let {{mvar|g}} and {{mvar|h}} be symmetric 2-tensors on {{mvar|D}}, with {{mvar|g}} additionally required to be positive-definite. If these are smooth and satisfy the Gauss–Codazzi equations, then Bonnet's theorem says that {{mvar|D}} is covered by open sets which can be smoothly embedded into {{math|'''R'''<sup>3</sup>}} with first fundamental form {{mvar|g}} and second fundamental form (relative to one of the two choices of unit normal vector field) {{mvar|h}}. Furthermore, each of these embeddings is uniquely determined up to a [[rigid motion]] of {{math|'''R'''<sup>3</sup>}}. |
Given an open region {{mvar|D}} in {{math|'''R'''<sup>2</sup>}}, let {{mvar|g}} and {{mvar|h}} be symmetric 2-tensors on {{mvar|D}}, with {{mvar|g}} additionally required to be positive-definite. If these are smooth and satisfy the Gauss–Codazzi equations, then Bonnet's theorem says that {{mvar|D}} is covered by open sets which can be smoothly embedded into {{math|'''R'''<sup>3</sup>}} with first fundamental form {{mvar|g}} and second fundamental form (relative to one of the two choices of unit normal vector field) {{mvar|h}}. Furthermore, each of these embeddings is uniquely determined up to a [[rigid motion]] of {{math|'''R'''<sup>3</sup>}}. |
Revision as of 16:10, 20 February 2023
In the mathematical field of differential geometry, the fundamental theorem of surface theory deals with the problem of prescribing the geometric data of a submanifold of Euclidean space. Originally proved by Pierre Ossian Bonnet in 1867, it has since been extended to higher dimensions and non-Euclidean contexts.
Bonnet's theorem
Any surface in three-dimensional Euclidean space has a first and second fundamental form, which automatically are interrelated by the Gauss–Codazzi equations. Bonnet's theorem asserts a local converse to this result.[1]
Given an open region D in R2, let g and h be symmetric 2-tensors on D, with g additionally required to be positive-definite. If these are smooth and satisfy the Gauss–Codazzi equations, then Bonnet's theorem says that D is covered by open sets which can be smoothly embedded into R3 with first fundamental form g and second fundamental form (relative to one of the two choices of unit normal vector field) h. Furthermore, each of these embeddings is uniquely determined up to a rigid motion of R3.
Bonnet's theorem is a corollary of the Frobenius theorem, upon viewing the Gauss–Codazzi equations as a system of first-order partial differential equations for the two coordinate derivatives of the position vector of an embedding, together with the normal vector.[2]
General formulations
Bonnet's theorem can be naturally formulated for hypersurfaces in a Euclidean space of any dimension, and the result remains true in this context. Furthermore, the theorem can be extended from Bonnet's local formulation to a global formulation, allowing D to be any connected and simply-connected smooth manifold, with the result asserting the existence and uniqueness (up to a rigid motion) of a smooth immersion of D as a hypersurface of Euclidean space with first fundamental form g and second fundamental form h. The idea of the proof is to use the existence theory from the local formulation to construct the immersion along arbitrary curves emanating from a single point. Simple-connectedness is used to say that any two such curves with a common endpoint are homotopic (through paths fixing the endpoints), and uniqueness from the local formulation implies that the value of the immersion at the endpoint must be fixed through the homotopy, so that an immersion results which is well-defined on the entire manifold.[3]
In this global formulation, existence would not hold in general if the condition of simple-connectedness were removed. This can be seen from the nonexistence of a hypersurface immersion of the torus whose first fundamental form is flat and whose second fundamental form is zero.[4]
The theorem can also be extended, beyond the context of hypersurfaces, to the theory of submanifolds of arbitrary codimension. This is more complicated to formulate, because in addition to the first and second fundamental forms, there is also the (generally nontrivial) connection in the normal bundle which must be taken into account. In this generality, the fundamental theorem of surface theory subsumes the fundamental theorem of curves.[5]
In this general context, the ambient Euclidean space can also be replaced by any connected and geodesically complete Riemannian manifold of constant curvature, which (as with the more special case of higher codimension) requires a suitably extended formulation of the Gauss–Codazzi equations.[5]
References
- ^ do Carmo 2016, Section 4-3; Struik 1961, Section 3-6.
- ^ do Carmo 2016, Appendix to Chapter 4; Spivak 1999a, pp. 56–59.
- ^ Kobayashi & Nomizu 1969, Section VII.7.
- ^ Spivak 1999a, p. 61.
- ^ a b Spivak 1999b, Section 7C.
Bibliography
- Bonnet, O. (1867). "Mémoire sur la theorie des surfaces applicables sur une surface donnée". Journal Ecole Polytechnique. 42: 72–92.
- do Carmo, Manfredo P. (2016). Differential geometry of curves & surfaces (Revised & updated second edition of 1976 original ed.). Mineola, NY: Dover Publications, Inc. ISBN 978-0-486-80699-0. MR 3837152. Zbl 1352.53002.
- Kobayashi, Shoshichi; Nomizu, Katsumi (1969). Foundations of differential geometry. Volume II. Interscience Tracts in Pure and Applied Mathematics. Vol. 15. New York–London: John Wiley & Sons, Inc. ISBN 0-471-15732-5. MR 0238225. Zbl 0175.48504.
- Spivak, Michael (1999a). A comprehensive introduction to differential geometry. Volume III (Third edition of 1975 original ed.). Wilmington, DE: Publish or Perish, Inc. ISBN 0-914098-72-1. MR 0532832. Zbl 1213.53001.
- Spivak, Michael (1999b). A comprehensive introduction to differential geometry. Volume IV (Third edition of 1975 original ed.). Publish or Perish, Inc. ISBN 0-914098-73-X. MR 0532833. Zbl 1213.53001.
- Struik, Dirk J. (1961). Lectures on classical differential geometry (Second edition of 1950 original ed.). London: Addison-Wesley Publishing Co. ISBN 0-486-65609-8. MR 0939369. Zbl 0105.14707.