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