Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II/Vorlesung 49/latex
\setcounter{section}{49}
\zwischenueberschrift{Orientierungen auf reellen Vektorräumen}
Es seien
\mathkor {} {V} {und} {W} {}
zwei zweidimensionale reelle Vektorräume mit den Basen
\mathkor {} {v_1,v_2} {bzw.} {w_1,w_2} {.}
Es sei eine lineare Abbildung
\maabbdisp {\varphi} {V} {W
} {}
gegeben mit
\mathl{\varphi(v_1) = aw_1 +bw_2}{} und
\mathl{\varphi(v_2) = cw_1 + dw_2}{.} Die Matrix, die diese lineare Abbildung beschreibt, ergibt sich, indem man die Koordinaten des Bildvektors des $i$-ten Basisvektors als $i$-te Spalte schreibt. Bei der gegebenen Nummerierung ergibt sich also die Matrix
\mathdisp {\begin{pmatrix} a & c \\ b & d \end{pmatrix}} { , }
und ihre Determinante ist
\mathl{ad-cb}{.} Wenn man hingegen die Reihenfolge von
\mathkor {} {v_1} {und} {v_2} {}
vertauscht
\zusatzklammer {also mit der Basis \mathlk{u_1=v_2}{} und \mathlk{u_2=v_1}{} arbeitet} {} {,}
so ist die beschreibende Matrix
\mathdisp {\begin{pmatrix} c & a \\ d & b \end{pmatrix}} { }
mit der Determinante
\mathl{cb-ad=-(ad-cb)}{.} Abhängig von der gewählten Basis kann also die Determinante mal positiv, mal negativ sein
\zusatzklammer {bei einem Endomorphismus kann das nicht passieren, wenn man vorne und hinten stets die gleiche Basis nimmt} {} {.}
Im Folgenden ist es wichtig, dass man unter einer Basis nicht die Menge der Basisvektoren
\mathl{\{v_1 , \ldots , v_n\}}{,} sondern das geordnete Tupel
\mathl{(v_1 , \ldots , v_n)}{} der Basisvektoren versteht.
\inputdefinition
{}
{
Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
\definitionsverweis {reeller Vektorraum}{}{.} Man nennt zwei
\definitionsverweis {Basen}{}{}
\mathl{v_1 , \ldots , v_n}{} und
\mathl{w_1 , \ldots , w_n}{} \definitionswort {orientierungsgleich}{,} wenn die
\definitionsverweis {Determinante}{}{}
ihrer
\definitionsverweis {Übergangsmatrix}{}{}
\definitionsverweis {positiv}{}{}
ist.
}
Diese Relation zwischen Basen ist eine Äquivalenzrelation, und zwar eine, bei der es nur zwei Äquivalenzklassen \zusatzklammer {genannt \stichwort {Orientierungen} {} oder \stichwort {Orientierungsklassen} {}} {} {} gibt \zusatzklammer {außer beim Nullraum} {} {.}
\inputdefinition
{}
{
Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} \definitionsverweis {reeller Vektorraum}{}{.} Eine \definitionswort {Orientierung}{} auf $V$ ist eine \definitionsverweis {Äquivalenzklasse}{}{} von \definitionsverweis {Basen}{}{} von $V$ unter der \definitionsverweis {Äquivalenzrelation}{}{,} \definitionsverweis {orientierungsgleich}{}{} zu sein\zusatzfussnote {Bei einem $0$-dimensionalen Vektorraum, also dem Nullraum, gibt es nur die leere Basis. Es ist aber dennoch sinnvoll, von zwei Orientierungen auf dem Nullraum zu sprechen, die wir durch \mathkor {} {+} {und} {-} {} repräsentieren} {.} {.}
} Es ist einfach, zu bestimmen, ob zwei Basen die gleiche oder die entgegengesetzte Orientierung besitzen, es macht aber keinen Sinn, die einzelnen Orientierungen zu benennen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kulifeder.JPG} }
\end{center}
\bildtext {Viele Objekte aus Natur und Technik machen deutlich, dass es zwei verschiedene Orientierungen gibt. Es ist einfach, bei gleichartigen Objekten wie Federn die mit der gleichen und die mit der entgegengesetzten Orientierung zu erkennen.} }
\bildlizenz { Kulifeder.JPG } {} {Ghinrael} {Commons} {CC-by-sa 2.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Ressort_de_compression.jpg} }
\end{center}
\bildtext {Die Benennung der beiden Orientierungen und welchen mathematischen (durch eine Basis repräsentierten) Orientierungen sie entsprechen ist eine Frage der Konvention.} }
\bildlizenz { Ressort de compression.jpg } {} {Jean-Jacques MILAN} {Commons} {CC-by-sa 3.0} {}
\inputdefinition
{}
{
Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} \definitionsverweis {reeller Vektorraum}{}{.} Er heißt \definitionswort {orientiert}{,} wenn auf ihm eine \definitionsverweis {Orientierung}{}{} erklärt ist.
}
Ein Vektorraum wird dadurch orientiert, indem man beispielsweise sagt, dass $V$ die Orientierung tragen möge, die durch die Basis
\mathl{v_1 , \ldots , v_n}{} repräsentiert wird. Der Standardraum $\R^n$ trägt, wenn nichts anderes gesagt wird, die sogenannte \stichwort {Standardorientierung} {,} die durch die
\definitionsverweis {Standardbasis}{}{}
\mathl{e_1 , \ldots , e_n}{} repräsentiert wird.
\inputdefinition
{}
{
Es seien $V$ und $W$ zwei
\definitionsverweis {endlichdimensionale}{}{}
\definitionsverweis {orientierte}{}{}
\definitionsverweis {reelle Vektorräume}{}{.}
Eine
\definitionsverweis {bijektive}{}{}
\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {\varphi} {V} {W
} {}
heißt \definitionswort {orientierungstreu}{,} wenn für jede
\definitionsverweis {Basis}{}{}
\mathl{v_1 , \ldots , v_n}{,} die die
\definitionsverweis {Orientierung}{}{}
auf $V$ repräsentiert, die Bildvektoren
\mathl{\varphi(v_1) , \ldots , \varphi(v_n)}{} die Orientierung auf $W$ repräsentieren.
} Es genügt, diese Eigenschaft für eine einzige, die Orientierung repräsentierende Basis nachzuweisen, siehe Aufgabe 49.9.
Bei einem eindimensionalen reellen Vektorraum $V$
\zusatzklammer {einer Geraden} {} {}
ist eine Orientierung einfach durch einen einzigen Vektor
\mathl{v \neq 0}{} gegeben, d.h. es wird einfach eine der beiden \anfuehrung{Halbgeraden}{} als positiv ausgezeichnet. Dies ist wiederum äquivalent zu einer Identifizierung von $V$ mit $\R$, der mit der Standardorientierung versehen ist, bei der $1$ positiv ist.
\zwischenueberschrift{Symmetrien}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge in einem
\definitionsverweis {euklidischen Vektorraum}{}{.}
Eine
\definitionsverweis {eigentliche Isometrie}{}{}
\maabbdisp {f} {V} {V
} {}
mit
\mavergleichskette
{\vergleichskette
{f(T)
}
{ = }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {eigentliche Symmetrie}{} oder \definitionswort {Bewegung}{} von $T$.
}
Wir besprechen als Beispiel die Symmetrien an einem Würfel.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Snijden_kruisen_evenwijdig.png} }
\end{center}
\bildtext {} }
\bildlizenz { Snijden kruisen evenwijdig.png } {} {MADe} {nl.wikipedia} {cc-by-sa 3.0} {}
\inputbeispiel{}
{
Wir betrachten einen Würfel
\mavergleichskette
{\vergleichskette
{W
}
{ \subset }{\R^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Seitenlänge $2$ und dem Nullpunkt als Mittelpunkt. Die Eckpunkte sind also
\mathdisp {(\pm 1, \pm 1, \pm 1)} { . }
Wir fragen uns, welche Möglichkeiten es gibt, den Würfel in sich selbst zu überführen. Dabei soll der Würfel nicht in irgendeiner Form deformiert werden, es ist nur erlaubt, ihn als Ganzes zu bewegen, und zwar soll die Bewegung wirklich physikalisch durchführbar sein. Man spricht auch von einer
\zusatzklammer {eigentlichen} {} {}
\stichwort {Bewegung} {} des Würfels. Bei einer solchen Bewegung verändert der Würfelmittelpunkt seine Lage nicht, und es werden Seiten auf Seiten, Kanten auf Kanten und Ecken auf Ecken abgebildet. Ebenso werden Seitenmittelpunkte auf Seitenmittelpunkte abgebildet, und gegenüberliegende Seitenmittelpunkte werden auf gegenüberliegende Seitenmittelpunkte abgebildet. Die Seitenmittelpunkte sind die sechs Punkte
\mathdisp {(\pm 1,0,0),\, (0,\pm 1,0), \, (0,0,\pm 1)} { . }
Wenn der Punkt
\mathl{(1,0,0)}{} auf den Seitenmittelpunkt $S$ abgebildet wird, so wird
\mathl{(-1,0,0)}{} auf den gegenüberliegenden Punkt, also $-S$, abgebildet. Hierbei ist jede Vorgabe von $S$ erlaubt, doch dadurch ist die Bewegung noch nicht eindeutig bestimmt. Für den Seitenmittelpunkt
\mathl{(0,1,0)}{} gibt es dann noch vier mögliche Bildpunkte
\zusatzklammer {nur $S$ und $-S$ sind ausgeschlossen} {} {,}
da man den Würfel um die durch $S$ gegebene Achse um ein Vielfaches von $90$ Grad drehen kann. Diese Drehungen entsprechen genau den Möglichkeiten, den Punkt
\mathl{(0,1,0)}{} auf einen der vier verbliebenen Seitenmittelpunkte abzubilden. Durch die Wahl des zweiten Seitenmittelpunktes $T$ ist die Bewegung dann eindeutig festgelegt. Ist das völlig klar?
Um sich das klar zu machen, sind folgende Beobachtungen sinnvoll.
\aufzaehlungdrei{Bewegungen lassen sich hintereinander ausführen, d.h. wenn man zwei Würfelbewegungen \mathkon { \varphi } { und } { \psi }{ } hat, so ist auch die \stichwort {Hintereinanderausführung} {}
\mathl{\psi \circ \varphi}{,} die zuerst $\varphi$ und dann $\psi$ durchführt, sinnvoll definiert.
}{Die \stichwort {identische Bewegung} {,} die nichts bewegt, ist eine Bewegung. Wenn man zu einer beliebigen Bewegung die identische Bewegung davor oder danach durchführt, so ändert das die Bewegung nicht.
}{Zu einer Bewegung $\varphi$ gibt es die \stichwort {entgegengesetzte Bewegung} {} \zusatzklammer {oder \anfuehrung{Rückwärtsbewegung}{}} {} {}
$\varphi^{-1}$, die die Eigenschaft besitzt, dass die Hintereinanderausführungen \mathkon { \varphi^{-1} \circ \varphi } { und } { \varphi \circ \varphi^{-1} }{ } einfach die Identität sind.
}
Mit diesen Beobachtungen kann man sich das oben erwähnte Prinzip folgendermaßen klar machen: angenommen, es gibt zwei Bewegungen \mathkon { \varphi } { und } { \psi }{ ,} die beide $(1,0,0)$ auf $S$ und $(0,1,0)$ auf $T$ abbilden. Es sei $\psi^{-1}$ die umgekehrte Bewegung zu $\psi$. Dann betrachtet man die Gesamtbewegung
\mavergleichskettedisp
{\vergleichskette
{ \theta
}
{ =} { \psi^{-1} \circ \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Bewegung hat die Eigenschaft, dass \mathkor {} {(1,0,0)} {auf} {(1,0,0)} {} und dass \mathkor {} {(0,1,0)} {auf} {(0,1,0)} {} abgebildet wird, da ja $\varphi$ den Punkt \mathkor {} {(1,0,0)} {auf} {S} {} schickt und $\psi^{-1}$ den Punkt \mathkor {} {S} {auf} {(1,0,0)} {} zurückschickt
\zusatzklammer {und entsprechend für \mathlk{(0,1,0)}{}} {} {.}
$\theta$ hat also die Eigenschaft, dass sowohl
\mathkor {} {(1,0,0)} {als auch} {(0,1,0)} {}
auf sich selbst abgebildet werden, d.h., es handelt sich um \stichwort {Fixpunkte} {} der Bewegung. Dann ist aber bereits die gesamte $x,y$-Ebene fix. Die einzige physikalisch durchführbare Bewegung des Würfels, die diese Ebene unbewegt lässt, ist aber die identische Bewegung. Daher ist
\mavergleichskette
{\vergleichskette
{ \psi^{-1} \circ \varphi
}
{ = }{
\operatorname{Id}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit
\mavergleichskette
{\vergleichskette
{ \varphi
}
{ = }{ \psi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man beachte, dass die \stichwort {Spiegelung} {} an der $x,y$-Ebene die Punkte
\mathkor {} {(0,0,1)} {und} {(0,0,-1)} {}
vertauscht, doch ist dies eine sogenannte \stichwort {uneigentliche Bewegung} {,} da sie nicht physikalisch durchführbar ist.
}
Damit ergibt sich, dass es für den Basisvektor
\mathl{(1,0,0)}{} sechs mögliche Bildvektoren gibt, für den zweiten Basisvektor
\mathl{(0,1,0)}{} noch jeweils vier und dass dadurch die Abbildung eindeutig festgelegt ist. Insgesamt gibt es also $24$ Transformationen des Würfels. Am einfachsten beschreibt man die Bewegungen durch eine $3 \times 3$-Matrix, wobei in den Spalten die Bildvektoren der Basisvektoren stehen. Wenn der erste Basisvektor festgehalten wird, so sind die vier möglichen Bewegungen durch die Matrizen
\mathdisp {\begin{pmatrix} 1& 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix},\,
\begin{pmatrix} 1& 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{pmatrix}, \,
\begin{pmatrix} 1& 0 & 0 \\ 0 & -1 & 0 \\ 0 & 0 & -1 \end{pmatrix}, \,
\begin{pmatrix} 1& 0 & 0 \\ 0 & 0 & 1 \\ 0 & -1 & 0 \end{pmatrix}} { }
gegeben. Dies sieht man so: wenn eine Seitenmitte auf sich selbst abgebildet wird, so gilt das auch für die gegenüberliegende Seitenmitte und dann wird die dadurch definierte Achse nicht bewegt. Eine Bewegung, die eine solche \stichwort {Seitenmittelpunktachse} {} fest hält, muss eine Drehung um diese Achse sein, und zwar eine um ein Vielfaches von $90$ Grad. Eine solche Drehung ist eine Bewegung in der Ebene
\zusatzklammer {nämlich in der zur festen Achse senkrechten Ebene} {} {,}
und diese Beobachtung führt zu den angegebenen Matrizen.
Eine wichtige Eigenschaft dieser Bewegungen ist, dass es sich um Drehungen des Raumes um eine fixierte Achse handelt. Diese Eigenschaft zeichnet Raumbewegungen sogar aus, wie wir später noch sehen werden. Da die eben besprochenen Drehungen Vielfache einer Vierteldrehung sind, folgt, dass wenn man sie jeweils viermal hintereinander durchführt, dann wieder die Identität vorliegt. Bei der Halbdrehung führt natürlich schon die zweifache Ausführung zur Identität. Dies wird später mit dem Begriff der \stichwort {Ordnung} {} einer Bewegung (eines Gruppenelementes) präzisiert.
Wir betrachten nun im Würfelbeispiel die Raumdiagonale $D$, die durch
\mathkor {} {(1,1,1)} {und durch} {(-1,-1,-1)} {}geht. Auch um diese Achse kann man den Würfel drehen, und zwar um Vielfache von $120$ Grad. Man mache sich hierzu klar, wie der Würfel aussieht, wenn diese Achse zu einem Punkt im Gesichtsfeld wird. Die Dritteldrehung, die
\mathkor {} {(1,0,0)} {auf} {(0,0,1)} {}
schickt, muss
\mathkor {} {(0,0,1)} {auf} {(0,1,0)} {}
schicken. Die beiden Dritteldrehungen um diese Raumdiagonale sind daher in Matrixdarstellung durch
\mathdisp {\begin{pmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{pmatrix} \text{ und }
\begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{pmatrix}} { }
gegeben
\zusatzklammer {die natürlich invers zueinander sind} {} {.}
Die Bewegungen am Würfel kann man dadurch verstehen, indem man untersucht, was eine Bewegung mit den Seitenmittelpunkten macht, wie sie also diese sechs Punkte ineinander überführt, welche sie fest lässt, etc. Eine Bewegung bestimmt dabei stets eine
\definitionsverweis {Bijektion}{}{}
dieser Punktmenge in sich selbst. Eine solche Bijektion nennt man auch eine \stichwort {Permutation} {.} Es gibt aber auch andere charakteristische Punkte bzw. allgemeiner geometrische Teilobjekte des Würfels, die bei einer Würfelbewegung ineinander überführt werden, z.B. die Menge der Eckpunkte, die Menge der Kantenmittelpunkte, die Menge der Kanten, die Menge der Seiten, die Menge aller Raumdiagonalen, etc. Jede Bewegung hat auf diesen Objekten eine für sie charakteristische (Aus-)wirkung. Die mathematische Präzisierung dieser Beobachtung führt zum Begriff der \stichwort {Gruppenwirkung} {} und des \stichwort {Gruppenhomomorphismus} {.} Wenn man die Bezeichnung der Ecken vom obigen Bild übernimmt, so haben die oben an zweiter Stelle angeführte Vierteldrehung und die erste Dritteldrehung folgende Wirkung auf den Eckpunkten.
Vierteldrehung um Seitenmittelachse.
\wertetabelleachtausteilzeilen { Punkt }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ Bildpunkt }
{\mazeileundfuenf {E} {A} {D} {H} {F} }
{\mazeileunddrei {B} {C} {G
} }
Dritteldrehung um Raumdiagonale
\wertetabelleachtausteilzeilen { Punkt }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ Bildpunkt }
{\mazeileundfuenf {H} {D} {C} {G} {E} }
{\mazeileunddrei {A} {B} {F
} }
Wenn man eine Drehachse für eine Raumbewegung gefunden hat, so ist die Bewegung dadurch charakterisiert, wie sie auf der zur Achse senkrechten Ebene wirkt. Von daher ist es zuerst wichtig, die Bewegungen der Ebene mit einem fixierten Punkt zu verstehen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kreis3Teilung.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Kreis3Teilung.svg } {} {Exxu} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kreis5Teilung.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Kreis5Teilung.svg } {} {Exxu} {Commons} {CC-by-sa 3.0} {}
\inputbeispiel{}
{
Wir betrachten den Einheitskreis
\mavergleichskettedisp
{\vergleichskette
{S^1
}
{ =} { { \left\{ (x,y) \in \R^2 \mid x^2+y^2=1 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieser wird bekanntlich durch die trigonometrischen Funktionen parametrisiert. Diese ordnen einem Winkel
\mathl{\alpha \in [0, 2 \pi)}{}
\zusatzklammer {bezüglich der $x$-Achse, gegen den Uhrzeigersinn} {} {}
den zugehörigen Punkt
\mathdisp {(\cos \alpha, \sin \alpha)} { }
auf dem Kreisbogen zu. Eine gleichmäßige Unterteilung des Intervalls
\mathl{[0, 2 \pi]}{} in $n$ gleichgroße Stücke, die durch die Grenzen
\mathdisp {0,\, \frac{2 \pi}{n},\,2\frac{2 \pi}{n},\,3 \frac{2 \pi}{n} , \ldots , (n-1) \frac{2 \pi}{n},\, n\frac{2 \pi}{n}=2 \pi} { }
gegeben sind, führt zu einer gleichmäßigen Unterteilung des Kreises mit den Eckpunkten
\mathdisp {(1,0),\, \left( \cos \frac{2 \pi}{n} , \, \sin \frac{2 \pi}{n} \right) ,\,
\left( \cos 2\frac{2 \pi}{n} , \, \sin 2\frac{2 \pi}{n} \right),\,
\mathdisplaybruch
\left( \cos 3 \frac{2 \pi}{n} , \, \sin 3 \frac{2 \pi}{n} \right)
, \ldots , \left( \cos (n-1) \frac{2 \pi}{n} , \, \sin (n-1) \frac{2 \pi}{n} \right)} { . }
Diese Punkte sind die Eckpunkte eines \stichwort {regelmäßigen} {} $n$-\stichwort {Ecks} {.} Das regelmäßige \anfuehrung{Zweieck}{} besitzt die Ecken \mathkon { (1,0) } { und } { (-1,0) }{ ,} das regelmäßige
\zusatzklammer {\stichwort {gleichseitige} {}} {} {}
Dreieck besitzt die Ecken
\mathdisp {\left( 1 , \, 0 \right) ,\, \left( - { \frac{ 1 }{ 2 } } , \, { \frac{ \sqrt{3} }{ 2 } } \right) ,\, \left( - { \frac{ 1 }{ 2 } } , \, - { \frac{ \sqrt{3} }{ 2 } } \right)} { , }
das regelmäßige Viereck (Quadrat) besitzt die Ecken
\mathdisp {(1,0),\, (0,1),\, (-1,0),\, (0,-1)} { , }
usw. Wir fassen ein solches reguläres $n$-Eck als ein in sich starres Gebilde auf und interessieren uns dafür, wie man es in sich selbst überführen kann. Der Nullpunkt ist der Mittelpunkt
\zusatzklammer {Schwerpunkt} {} {}
des $n$-Eckes, und bleibt bei einer Bewegung des $n$-Eckes auf sich selbst unverändert. Da eine solche Bewegung die Längen nicht ändert, muss der Punkt
\mathl{(1,0)}{} auf einen der Eckpunkte abgebildet werden, da nur diese Punkte des $n$-Eckes vom Nullpunkt den Abstand eins besitzen. Da eine Bewegung auch die Winkel nicht verändert, muss der Nachbarpunkt
\mathl{\left( \sin \frac{2 \pi}{n} , \, \cos \frac{2 \pi}{n} \right)}{}
auf einen Nachbarpunkt des Bildpunktes von $(1,0)$ abgebildet werden. Bei einer eigentlichen
\zusatzklammer {physikalisch in der Ebene!} {} {}
durchführbaren Bewegung bleibt auch die Reihenfolge
\zusatzklammer {die \anfuehrung{Orientierung}{}} {} {}
der Ecken erhalten, sodass die einzigen eigentlichen Bewegungen eines regulären $n$-Eckes die Drehungen um ein Vielfaches von $2 \pi/n$ sind.
Wenn man auch noch uneigentliche Bewegungen zulässt, so gibt es noch die Spiegelungen an einer Achse, und zwar geht bei $n$ gerade die Achse durch zwei gegenüberliegende Eckpunkte oder zwei gegenüberliegende Seitenmittelpunkte, und bei $n$ ungerade durch einen Eckpunkt und einen gegenüberliegenden Seitenmittelpunkt.
Es sei $n$ fixiert, und setze
\mavergleichskette
{\vergleichskette
{ \alpha
}
{ = }{ 2 \pi/n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei $\varphi$ die Drehung des $n$-Eckes um $\alpha$ gegen den Uhrzeigersinn. Dann kann man jede Drehung am $n$-Eck schreiben als $\varphi^k$ mit einem eindeutig bestimmten $k$ zwischen
\mathkor {} {0} {und} {n-1} {.}
Dabei ist
\mavergleichskette
{\vergleichskette
{\varphi^0
}
{ = }{
\operatorname{Id}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Nulldrehung
\zusatzklammer {die identische Bewegung} {} {,}
bei der nichts bewegt wird. Wenn man $\varphi$ $n$-mal ausführt, so hat man physikalisch gesehen eine volle Umdrehung durchgeführt. Vom Ergebnis her stimmt das aber mit der Nulldrehung überein. Allgemeiner gilt, dass wenn man $\varphi$ $m$-mal ausführt, dass dann das Endergebnis
\zusatzklammer {also die effektive Bewegung} {} {}
nur vom \stichwort {Rest} {} $m \mod n$ abhängt. Die inverse Bewegung zu
\mathl{\varphi^k}{} ist
\mathl{\varphi^{-k}}{,} also $k$-mal wieder zurück, oder gleichbedeutend
\mathl{\varphi^{(n-k) }}{.}
Es sei nun $\psi$ eine bestimmte Drehung am $n$-Eck, also
\mavergleichskette
{\vergleichskette
{ \psi
}
{ = }{\varphi^k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem eindeutig bestimmten
\mathbed {k} {}
{0 \leq k \leq n-1} {}
{} {} {} {.} Dann kann man sich überlegen, welche Drehungen sich als Hintereinanderausführung von $\psi$ schreiben lassen, also zur Menge
\mathdisp {\psi^0=\operatorname{id} \, , \psi^1=\psi, \psi^2 , \psi^3, \ldots} { }
gehören. Da die Menge der Drehungen endlich ist, muss es eine Wiederholung geben. Wie sieht diese aus, wann durchlaufen die Hintereinanderausführungen von $\psi$ sämtliche Drehungen am $n$-Eck? Dafür gibt es recht einfache Antworten im Rahmen der elementaren Gruppentheorie.
}