Einbettungssatz von Whitney

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Einbettungssatz von Whitney ist ein grundlegendes Theorem in der Differentialgeometrie. Er wurde 1936 vom amerikanischen Mathematiker Hassler Whitney bewiesen. Der Satz besagt, dass jede n-dimensionale differenzierbare Mannigfaltigkeit eine Einbettung in \R^{2n} besitzt.

Erläuterungen[Bearbeiten]

Die Kernaussage dieses Satzes ist also, dass es eigentlich nur Mannigfaltigkeiten im Euklidischen Raum gibt.

Man beachte, dass der Satz nur gilt, wenn man der (sehr üblichen) Definition folgt, dass eine Mannigfaltigkeit immer zweitabzählbar ist. Wenn man dies nicht fordert, gibt es glatte Mannigfaltigkeiten, die sich nicht in einen Euklidischen Raum einbetten lassen, wie z.B. die Lange Gerade oder ein überabzählbarer diskreter Raum.

Eine Einbettung einer Mannigfaltigkeit M in eine andere N ist eine injektive Abbildung f\colon M\to N, so dass f(M) eine Untermannigfaltigkeit von N ist und die Abbildung f\colon M\to f(M) ein Diffeomorphismus ist. Anschaulich gesprochen ergibt eine Einbettung in den euklidischen Raum \R^n eine Fläche, die sich nirgends durchdringt oder berührt.

Beispiel[Bearbeiten]

Ein Beispiel ist die Klein’sche Flasche, eine zweidimensionale Mannigfaltigkeit, die sich nicht in den dreidimensionalen Raum einbetten lässt (jedoch immersieren), wohl aber in den vierdimensionalen \R^4.

Das Beispiel der Einbettung des Torus in den dreidimensionalen Raum zeigt, dass die Dimension 2n nicht immer die kleinste Dimension ist, für die eine Einbettung existiert; manchmal genügt auch eine niedrigere Dimension. Aber das Resultat von Whitney ist scharf in dem Sinn, dass es für jedes n=2^k eine n-dimensionale Mannigfaltigkeit gibt, die in den 2n-dimensionalen Raum, aber nicht in den (2n-1)-dimensionalen Raum eingebettet werden kann.

Literatur[Bearbeiten]

  • John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218). Springer-Verlag, New York NY u. a. 2002, ISBN 0-387-95448-1.

Siehe auch[Bearbeiten]

Weblinks[Bearbeiten]