Beschreibung
Hier werden alle Isometrien im Dreidimensionalen Klassifiziert.
Definition
Eigenschaften
Affinität
Jede Isometrie in ist eine Affine Funktion, haben also die Form
Beweis: Jede Isometrie, die den Ursprung als Fixpunkt hat, muss linear sein und Orthogonalitäten und Längen enthalten also ein Teil von der Orthogonalen Gruppe sein.
Indem man von einer beliebigen Isometrie in das Bild des Ursprungs abzieht, erhält man eine Isometrie, mit dem Ursprung als Fixpunkt. Damit gilt obere Form.
Determininante
Jeder Lineare Teil einer Isomentrie in hat die Determinante .
Klassifikation
Jede Lineare Abbildung in hat mindestens einen reellen Geometrischer Eigenwert. Desweiteren ist das Produkt aller Eigenswerte und zwei komplexe Eigenwerte müssen komplex konjugiert sein.
Damit kann man zeigen, dass jede Isometrie eine Fixebene hat. Mit dieser Erkenntnis ergeben sich folgende Möglichkeit für die Matrix :
- Punktspiegelung (Eigenwerte: )
- Rotation um eine Rotationsachse (Eigenwerte: )
- Spiegelung entland einer Ebene (Eigenwerte: )
- Rotation und Spiegelung einer Ebene (Eigenwerte )
Konstruierbarkeit eines Symmetriekörpers
Angenommen endlich, dann gibt es ein Polytop, mit der Symmetriegruppe .
Beispiele
Klassifikation der endlichen 3-D-Rotationen
Siehe Klassifikation der endlichen 3-D-Rotationenssymmetrien