Der Einbettungssatz von Nash (nach John Forbes Nash Jr.) ist ein Ergebnis aus dem mathematischen Teilgebiet der riemannschen Geometrie. Er besagt, dass jede riemannsche Mannigfaltigkeit isometrisch in einen euklidischen Raum ${\displaystyle \mathbb {R} ^{n}}$ für ein geeignetes ${\displaystyle n}$ eingebettet werden kann. „Isometrisch“ ist dabei im Sinne der riemannschen Geometrie gemeint: Die Längen von Tangentialvektoren und die Längen von Kurven in der Mannigfaltigkeit bleiben erhalten. Die übliche euklidische Metrik von ${\displaystyle \mathbb {R} ^{n}}$ sollte in der eingebetteten Untermannigfaltigkeit die vorgegebene Metrik ${\displaystyle g}$ der Riemannschen Mannigfaltigkeit induzieren, so dass in lokalen Koordinaten für die Einbettung ${\displaystyle u=(u^{1},...,u^{n})\colon M\to \mathbb {R} ^{n}}$ gilt:

${\displaystyle \sum _{l=1}^{n}{\frac {\partial u^{l}}{\partial x^{i}}}{\frac {\partial u^{l}}{\partial x^{j}}}=g_{ij}}$

Man kann sich riemannsche Mannigfaltigkeiten also stets als Untermannigfaltigkeiten eines euklidischen Raumes vorstellen. Die Dimension des euklidischen Raums ist dabei im Allgemeinen allerdings deutlich größer als die der riemannschen Mannigfaltigkeit.

Das analoge Ergebnis für gewöhnliche differenzierbare Mannigfaltigkeiten ist der Einbettungssatz von Whitney, der wesentlich einfacherer Natur ist.

Eine Einbettung im lokalen reell analytischen Fall wurde von Élie Cartan und Maurice Janet 1926 bewiesen (mit ${\displaystyle n={\tfrac {m(m+1)}{2}}}$, wobei ${\displaystyle m}$ die Dimension der Riemannschen Mannigfaltigkeit ${\displaystyle M}$ ist). Nash bewies die Möglichkeit der globalen Einbettung zunächst für differenzierbare Einbettungen in ${\displaystyle C^{1}}$ (verbessert durch Nicolaas Kuiper), dann im Fall ${\displaystyle C^{k}}$. Im globalen reell analytischen Fall gab Nash 1966 einen Beweis.

Der Beweis von Nash ist 1989 durch Matthias Günther (Universität Leipzig) vereinfacht worden.

Es ergeben sich jeweils Schranken für die Höhe der Dimension ${\displaystyle n}$ des ${\displaystyle \mathbb {R} ^{n}}$ abhängig von der Dimension ${\displaystyle m}$ der einzubettenden Riemannschen Mannigfaltigkeit ${\displaystyle M}$, zum Beispiel im Fall ${\displaystyle C^{1}}$ durch Nash und Kuiper ${\displaystyle n\geq 2m+1}$. Im Fall ${\displaystyle C^{k}}$ (${\displaystyle k\geq 3}$) zeigte Nash 1956 die Existenz einer globalen Einbettung für ${\displaystyle n={\tfrac {(3m+11)m}{2}}}$ (kompakte Mannigfaltigkeit ${\displaystyle M}$), bzw. ${\displaystyle n={\tfrac {(3m+11)m(m+1)}{2}}}$ (nicht-kompakter Fall).

In seiner Arbeit von 1956 legte Nash auch die Grundlagen für die Nash-Moser-Technik, die vielfach Anwendung in der Theorie nichtlinearer partieller Differentialgleichungen fand.

Literatur

• Quing Han, Jia-Xing Hong: Isometric Embedding of Riemannian Manifolds in Euclidean Spaces. American Mathematical Society, 2006, ISBN 0821840711.
• Michail Gromow: Partial differential relations. Springer 1986.
• Matthias Günther: Isometric embeddings of Riemannian Manifolds. ICM Kyoto 1994 (PDF-Datei; 619 kB)

Einzelnachweise

1. ↑ Cartan Sur la possibilité de plonger un espace riemannien donné dans une espace euclidien, Ann. Soc. Polon. Math., Band 6, 1927, S. 1–7
2. ↑ Janet Sur la possibilité de plonger un espace riemannien donné dans une espace euclidien, Ann. Soc. Polon. Math., Band 5, 1926, S. 38–43
3. ↑ Nash C1-isometric imbeddings, Annals of Mathematics, Band 60, 1954, S. 383–396
4. ↑ Kuiper On C1-isometric imbeddings I. Nederl. Akad. Wetensch. Proc. Ser. A., Band 58, 1955, S. 545–556
5. ↑ Nash: The imbedding problem for riemannian manifolds., Annals of Mathematics, Band 63, 1956, S. 20–63
6. ↑ Nash Analyticity of solutions of implicit function problems with analytic data, Annals of Mathematics, Band 84, 1966, S. 345–355. Vereinfacht durch Robert E. Greene, Howard Jacobowitz Analytic isometric embeddings, Annals of Mathematics, Band 91, 1971, S. 189–204
7. ↑ Matthias Günther Zum Einbettungssatz von J. Nash, Math. Nachr., Band 144, 1989, S. 165–187, Günther Isometric embeddings of Riemannian Manifolds, Proc. International Congress of Mathematicians, Kyoto 1990, Band 2, S. 1137–1143, Günther On the perturbation problem associated to isometric embeddings of Riemannian Manifolds, Annals of Global Analysis and Geometry, Band 7, 1989, S. 69–77, Yang Gunther´s proof of Nash´s embedding theorem, pdf