Isometrie (Riemannsche Geometrie)

Längenerhaltende Abbildung zwischen Riemannschen Mannigfaltigkeiten

In der Differentialgeometrie, einem Teilgebiet der Mathematik, bezeichnet man Abbildungen als lokale Isometrien, wenn sie die Riemannsche Metrik erhalten. Als Isometrien bezeichnet man Diffeomorphismen, die lokale Isometrien sind.

Eine lokale Isometrie bildet Kurven auf Kurven gleicher Länge ab, sie muss aber nicht unbedingt Abstände erhalten. (Zum Beispiel ist eine Riemannsche Überlagerung eine lokale Isometrie.) Eine Isometrie erhält auch Abstände. Eine Isometrie im Sinne der Riemannschen Geometrie ist also immer auch eine Isometrie zwischen den metrischen Räumen. Umgekehrt ist nach einem Satz von Myers-Steenrod jede Abstände erhaltende Abbildung zwischen Riemannschen Mannigfaltigkeiten eine Isometrie im Sinne der Riemannschen Geometrie.

Definition

Bearbeiten

Seien   und   zwei Riemannsche Mannigfaltigkeiten. Ein Diffeomorphismus   ist eine Isometrie, wenn

 

gilt, wobei   den Pullback des metrischen Tensors bezeichnet. Es soll also die Gleichung

 

für alle Tangentialvektoren   in   gelten, wobei   den Pushforward von   bezeichnet.

Eine lokale Isometrie ist ein lokaler Diffeomorphismus mit  .

Beispiel

Bearbeiten

Die Isometrien des euklidischen Raumes sind Drehungen, Spiegelungen und Verschiebungen.

Satz von Myers-Steenrod

Bearbeiten

Sumner Byron Myers und Norman Steenrod bewiesen 1939, dass jede Abstände erhaltende stetige Abbildung zwischen zusammenhängenden Riemannschen Mannigfaltigkeiten eine Isometrie sein muss.[1] (Insbesondere ist eine solche Abbildung immer differenzierbar.) Ein einfacherer Beweis wurde 1957 von Richard Palais gegeben.[2]

Isometrie-Gruppe

Bearbeiten

Die Isometrien eines metrischen Raumes bilden immer eine Gruppe. Steenrod und Myers bewiesen 1939, dass die Isometrie-Gruppe einer Riemannschen Mannigfaltigkeit immer eine Lie-Gruppe ist (Satz von Myers-Steenrod).

Beispiele:

Die Dimension der Isometriegruppe einer n-dimensionalen kompakten Mannigfaltigkeit ist höchstens  .

  1. S. B. Myers, N. E. Steenrod: The group of isometries of a Riemannian manifold. In: Ann. of Math. 2, Nr. 40, 1939, S. 400–416.
  2. R. S. Palais: On the differentiability of isometries. In: Proceedings of the American Mathematical Society. 8, 1957, S. 805–807.