Zum Inhalt springen

Ebene Isometrien/Textabschnitt

Aus Wikiversity



Satz  

Es sei

eine eigentliche, lineare Isometrie.

Dann ist eine Drehung,

und ihre Matrix hat bezüglich der Standardbasis die Gestalt

mit einem eindeutig bestimmten Drehwinkel .

Beweis  

Es seien und die Bilder der Standardvektoren und . Unter einer Isometrie wird die Länge eines Vektors erhalten, daher ist

Daher ist eine reelle Zahl zwischen und und , d.h. ist ein Punkt auf dem reellen Einheitskreis. Der Einheitskreis wird bekanntlich durch die trigonometrischen Funktionen parametrisiert, d.h. es gibt einen eindeutig bestimmten Winkel , , mit

Da unter einer Isometrie die Senkrechtsbeziehung erhalten bleibt, muss

gelten. Bei folgt daraus (wegen ) . Dann ist und wegen der Eigentlichkeit muss das Vorzeichen dasselbe wie von sein. Es sei also . Dann gilt

Da die beiden Vektoren die Länge haben, muss der skalare Faktor den Betrag haben. Bei wäre und die Determinante wäre . Also muss und sein, was die Behauptung ergibt.


Die Hintereinanderschaltung von zwei Drehungen und ist . Diese Eigenschaft ist einleuchtend, wenn man die intuitive Vorstellung, die sich mit einer Drehung verbindet, verwendet. Unter Verwendung der Additionstheoreme für die trigonometrischen Funktionen kann man sie beweisen. Umgekehrt folgen die Additionstheoreme aus dieser Eigenschaft, siehe Aufgabe. Aus dieser Eigenschaft folgt auch, dass die Gruppe der ebenen Drehungen kommutativ ist.



Satz  

Sei

eine uneigentliche lineare Isometrie.

Dann ist eine Achsenspiegelung

und ihre Matrix hat bezüglich der Standardbasis die Gestalt

mit einem eindeutig bestimmten Winkel .

Beweis  

Wir betrachten

was nach dem Determinantenmultiplikationssatz eine eigentliche Isometrie ist. Nach Fakt gibt es somit einen eindeutig bestimmten Winkel mit

Somit ist


Bei einer solchen Achsenspiegelung ist ein Eigenvektor zum Eigenwert , die Spiegelungsachse ist also , siehe Aufgabe. Eine Achsenspiegelung wird bezüglich der Basis, die aus einen Vektor der Spiegelungsachse und einem dazu senkrechten Vektor besteht, durch beschrieben. Die in Fakt gegebene Beschreibung bezüglich der Standardbasis lässt sich also wesentlich verbessern.