Isometrie (Riemannsche Geometrie)

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

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

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

Satz von Myers-Steenrod

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

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 .

Quellen

  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.