Beschreibung
Definition
Sei , wobei ein metrischer Raum ist. Die Symmetriegruppe von ist
Beispiel
Gleichseitiges Dreieck
Alle -Isometrien erhalten Winkel. Eckpunkte des Dreiecks müssen also auf Eckpunkte abgebildet werden. Da eine Isometrie durch die Bilder der drei Ecken in Allgemeine Position eindeutig bestimmt ist, gibt es für jede Permutation der drei Punkte maximal eine Isometrie.
Die Isometrien sind:
- Identität
- 2-Rotation des Dreiecks
- 3 Spiegelungen des Dreiecks
Die Aktionen sind damit isomorph zu der 3-Diedergruppe
Symmetrien von Polygonen
Siehe Symmetriegruppe eines Polygons
Symmetriegruppe unter Isometrie
Für jede Isometrie gilt
Das sieht aus wie eine konjugierte Untergruppe
\newcommand{\R}{\mathbb R}