Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 49/latex
\setcounter{section}{49}
\zwischenueberschrift{Orientierungen auf reellen Vektorräumen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Gerade mit Orientierungen.png} }
\end{center}
\bildtext {Jeder Punkt $\neq 0$ auf einer Geraden definiert eine Orientierung. Die beiden grünen Punkte definieren die gleiche Orientierung, der rote Punkt die andere.} }
\bildlizenz { Gerade mit Orientierungen.png } {} {Mgausmann} {CC-by-sa 4.0} {} {}
Bei einem eindimensionalen reellen Vektorraum $V$ \zusatzklammer {einer Geraden} {} {} ist jeder von $0$ verschiedener Vektor ein Basisvektor. Wenn man die $0$ herausnimmt, so zerfällt die Geradein zwei Hälften \zusatzklammer {zwei Halbgeraden, zwei Strahlen} {} {.} Wenn die Gerade \anfuehrung{horizontal vor einem liegt}{,} so werden die beiden Hälften als \anfuehrung{links}{} bzw. \anfuehrung{rechts}{} angesprochen. Diese Begrifflichkeit ist ziemlich problematisch, wenn man die Gerade bewegt oder wenn man sie aus verschiedenen Blickwinkeln betrachtet. Dagegen ist es ein einfacher Tatbestand, dass es zwei Seiten gibt und es ist auch einfach zu bestimen, ob zwei Punkte der gleichen Seite oder verschiedenen Seiten angehören, auch wenn die einzelnen Seiten schwer zu benennen sind. Die Gleichseitigkeit von zwei Punkten $\neq 0$ auf der Geraden kann man dadurch ausdrücken, dass ihre Übergangsmatrix \zusatzklammer {Basiswechselmatrix} {} {,} die ja nur aus einer einzigen reellen Zahl besteht, positiv ist, die Andersseitigkeit bedeutet, dass die Übergangsmatrix negativ ist.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Clockwise arrow.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Clockwise arrow.svg } {} {Scott5114} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Counterclockwise arrow.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Counterclockwise arrow.svg } {} {Scott5114} {Commons} {gemeinfrei} {}
In der Ebene gibt es ein vergleichbares Phänomen, den Drehsinn. Wenn man sich beispielsweise auf der Erdoberfläche um einen Baum bewegen möchte, so kann man das mit dem Uhrzeigersinn oder gegen den Uhrzeigersinn tun. Der Uhrzeigersinn ist durch eine Konvention festgelegt und es wird von der Draufsicht \anfuehrung{von oben}{} ausgegangen. Für den nach oben schauenden Maulwurf im Boden ist der Drehsinn genau umgekehrt. Wenn im Raum irgendeine Ebene gegeben ist, so ist keineswegs klar, was in ihr der Uhrzeigersinn sein soll. Dennoch ist für jede Ebene klar, dass es dort zwei entgegengesetzte Drehrichtungen gibt und wann zwei Drehrichtungen übereinstimmen. Auch dieses Phänomen kann man mit Basen und ihren Übergangsmatrizen erfassen. Der Mittelpunkt der Uhr sei der Nullpunkt der Ebene, den Zeiger fassen wir zu jedem Zeitpunkt als einen Vektor auf. Zu zwei aufeinanderfolgenden Zeitpunkten
\mathkor {} {t_1} {und} {t_2} {}
nimmt der Zeiger die beiden Vektorpositionen
\mathkor {} {v_1} {und} {v_2} {}
ein, wobei darauf zu achten ist, dass in der Zeitdifferenz weniger als eine Halbdrehung vollzogen wird. Diese beiden Vektoren
\mathkor {} {v_1} {und} {v_2} {}
definieren eine Basis der Ebene
\zusatzklammer {nach einer Halbdrehung wäre \mathlk{v_2=-v_1}{} und die beiden Vektoren wären linear abhängig} {} {.}
Wenn man zum Zeitpunkt
\mavergleichskette
{\vergleichskette
{t_1
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den Zeiger oben sein lässt, sie wird die Zeigerbewegung im Uhrzeigersinn durch
\mathl{\begin{pmatrix} \sin t \\ \cos t \end{pmatrix}}{} parametrisiert. Die beiden Vektoren sind dann
\mathdisp {v_1= \begin{pmatrix} 0 \\1 \end{pmatrix} ,\, v_2 = \begin{pmatrix} \sin t \\ \cos t \end{pmatrix} \text{ mit } 0 <t < \pi} { . }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {UhrSchraegeEbene.png} }
\end{center}
\bildtext {Wurde die Uhr von vorne oder von hinten in die schräge Ebene hineingelegt?} }
\bildlizenz { UhrSchraegeEbene.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
Die Übergangsmatrix zwischen der Standardbasis
\mathdisp {u_1= \begin{pmatrix} 1 \\0 \end{pmatrix} ,\, u_2 = \begin{pmatrix} 0 \\1 \end{pmatrix}} { }
ist
\mavergleichskettedisp
{\vergleichskette
{ M^{ \mathfrak{ v } }_{ \mathfrak{ u } }
}
{ =} { \begin{pmatrix} 0 & \sin t \\ 1 & \cos t \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Determinante davon ist
\mathl{-\sin t}{,} und diese ist im angegebenen Winkelbereich für $t$ stets negativ, für $t$ aus
\mathl{] \pi, 2 \pi [}{} ist sie positiv. Die Übergangsmatrizen zwischen den Basen
\mathdisp {v_1= \begin{pmatrix} 0 \\1 \end{pmatrix} ,\, v_2 = \begin{pmatrix} \sin t \\ \cos t \end{pmatrix} \text{ und } w_1= \begin{pmatrix} 0 \\1 \end{pmatrix} ,\, w_2 = \begin{pmatrix} \sin s \\ \cos s \end{pmatrix} \text{ mit } t,s \in {]0, \pi[}} { }
haben eine positive Determinante. In diesem Sinne legt der Uhrzeigersinn zwar keine Basis fest, aber doch eine Klasse von Basen, die untereinander eine Übergangsmatrix mit positiver Determinante haben. Wenn man gegen den Uhrzeigersinn läuft, so gelangt man zu Basen vom Typ
\mathdisp {v_1= \begin{pmatrix} 0 \\1 \end{pmatrix} ,\, v_2 = \begin{pmatrix} - \sin t \\ \cos t \end{pmatrix} \text{ mit } t \in {]0, \pi[}} { , }
und diese haben zur Standardbasis und untereinander Übergangsmatrizen mit positiver Determinante.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Right hand rule Cartesian axes.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Right hand rule Cartesian axes.svg } {} {Cmglee} {Commons} {CC-by-sa 4.0} {}
Im Raum gibt es wieder ein vergleichbares Phänomen, wobei hier die menschliche Anatomie hilft. Die rechte und die linke Hand sind spiegelbildlich aufgebaut
\zusatzklammer {die rechte Hand ist diejenige, die vom Herz weiter weg ist als die linke} {} {.}
Wenn man eine Hand nimmt, den Handmittelpunkt als Nullpunkt des Raumes ansetzt und den Daumen, Zeige- und Mittelfinger ausspreizt, sodass Daumen und Zeigefinger eine Pistole bilden und der Mittelfinger nach innen zeigt, so ergibt sich durch diese drei Finger in dieser Reihenfolge im Raum eine Folge von drei Vektoren, die eine Basis bilden
\zusatzklammer {man kann auch die Finger einzeln vom Ansatz zur Spitze als Vektoren auffassen und auf einen gemeinsamen Ursprungspunkt verzichten, das macht keinen Unterschied} {} {.}
Wenn man dies mit der linken und der rechten Hand macht, so kann man zwar Daumen und Zeigefinger parallel aneinander anlegen, aber die Mittelfinger sind dann einander entgegen gesetzt. Die Übergangsmatrix zwischen den beiden Handbasen ist
\mathdisp {\begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & -1 \end{pmatrix}} { , }
ihre Determinante ist negativ. Die rechte und die linke Hand repräsentieren wieder unterschiedliche Orientierungen von Raumbasen.
Wir kommen nun zur allgemeinen Definition einer Orientierung. 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. Die Standardorientierung von $\R$ wird durch die $1$ und jede positive Zahl repräsentiert, die Standardorientierung des $\R^2$ entpricht, wenn man wie üblich den ersten Standardvektor nach rechts und den zweiten Standardvektor dazu senkrecht nach oben zeichnet, der Bewegung gegen den Uhrzeigersinn. Im Raum entspricht die Standardorientierung der rechten Hand, wenn man den Raum mit der ersten Achse nach rechts, der zweiten Achse nach hinten und der dritten Achse nach oben positiv ausrichtet. Die rechte Hand liefert eine menschlich-natürliche Orientierung des Anschauungsraumes und die Standardorientierung liefert eine Orientierung auf dem $\R^3$, beides hat erstmal nichts miteinander zu tun, da es eine Vielzahl an Möglichkeiten gibt, ein Koordinatensystem aufzustellen. Das eben angesprochene Koordinatensystem beruht auf einer Konvention.
Auf einem beliebigen reellen Vektorraum gibt es keine kanonische Möglichkeit, eine Orientierung auszuzeichnen. Es gibt zwar zu jedem reellen endlichdimensionalen Vektorraum eine bijektive lineare Abbildung \maabbdisp {\varphi} {\R^n} {V } {,} und dabei wird die Standardbasis auf eine Basis von $V$ abgebildet, allerdings hängen diese Bildbasen und ihre Orientierungsklasse vom gewählten $\varphi$ ab. Es ist nicht möglich, auf jedem $V$ eine Orientierung in kanonischer Weise festzulegen.
Unter einer Orientierung auf einem reellen affinen Raum $E$ versteht man eine Orientierung auf dem zugrunde liegenden reellen Vektorraum.
\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.11.
Bei einem Automorphismus
\maabb {\varphi} {V} {V
} {}
kann man direkt von orientierungstreu sprechen, ohne zuvor eine Orientierung auszuzeichen. Orientierungstreu liegt vor, wenn jede Basis
\mathl{v_1 , \ldots , v_n}{} zu ihrer Bildbasis
\mathl{\varphi(v_1) , \ldots , \varphi(v_n)}{} orientierungsgleich ist. Dies kann man einfach mit der folgenden Beobachtung überprüfen.
\inputfaktbeweis
{Reeller Vektorraum/Bijektiv/Orientierungstreu/Positive Determinante/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $V$ ein endlichdimensionaler reeller Vektorraum und
\maabb {\varphi} {V} {V
} {}
eine bijektive
\definitionsverweis {lineare Abbildung}{}{.}}
\faktfolgerung {Dann ist $\varphi$ genau dann
\definitionsverweis {orientierungstreu}{}{,}
wenn die
\definitionsverweis {Determinante}{}{}
von $\varphi$ positiv ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathl{v_1 , \ldots , v_n}{} eine
\definitionsverweis {Basis}{}{}
von $V$. Wegen der Bijektivität von $\varphi$ bilden auch die Bilder
\mathdisp {\varphi(v_1) , \ldots , \varphi(v_n )} { }
eine Basis von $V$. Es sei
\mavergleichskettedisp
{\vergleichskette
{ \varphi(v_j)
}
{ =} { \sum_{i = 1}^n a_{ij} v_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
sodass
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left( a_{ij} \right) } _{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionsverweis {beschreibende Matrix}{}{}
der Abbildung bezüglich der Basis
\mathl{v_1 , \ldots , v_n}{} ist. Diese Matrix ist auch die
\definitionsverweis {Basiswechselmatrix}{}{}
\mathl{M^{ \mathfrak{ \varphi(v) } }_{ \mathfrak{ v } }}{.} Die Positivität der Determinante dieser Übergangsmatrix bedeutet nach Definition, dass die beiden Basen die gleiche Orientierung repräsentieren.
Wenn auf $V$ ein Skalarprodukt ausgezeichnet und $\varphi$ eine Isometrie ist, so bedeutet positive Determinante nach
Lemma 33.13
einfach, dass die Determinante gleich $1$ ist. In diesem Zusammenhang stimmt also orientierungsgleich und eigentlich überein.
\zwischenueberschrift{Symmetrien}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aurelia labiata - Tiergarten Schönbrunn 6.jpg} }
\end{center}
\bildtext {Eine Qualle
\zusatzklammer {Nesseltier} {} {}
ist ein typisches radialsymmetrisches Tier. Es gibt ein vorne und hinten
\zusatzklammer {oder ein oben und unten, jedenfalls eine Schwimmrichtung} {} {,}
was eine Achse fixiert, und um diese Achse kann man das Tier beliebig drehen und heraus kommt das Tier selbst. Diese Drehungen sind eigentliche Symmetrien.} }
\bildlizenz { Aurelia labiata - Tiergarten Schönbrunn 6.jpg } {} {Spavebirdy} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Bilaterian-plan.svg} }
\end{center}
\bildtext {Ein schematisches bilaterales Tier. Es gibt nicht nur vorne (Maul) und hinten, sondern auch oben und unten, was durch die Ausprägung eines Nervenstrangs deutlich wird.} }
\bildlizenz { Bilaterian-plan.svg } {} {Looie496} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Simetria-bilateria.svg} }
\end{center}
\bildtext {Bei einem Zweiseitentier gibt es eine Spiegelungsebene, an der gespiegelt das Tier auf sich selbst abgebildet wird. Diese Symmetrie ist uneigentlich, lässt sich also nicht real durchführen.} }
\bildlizenz { Simetria-bilateria.svg } {} {Bea.miau} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {One_Big_Arm.jpg} }
\end{center}
\bildtext {Eine rechtswinkende Winkerkrabbe. Evolutionsbiologisch ein ganz normales Zweiseitentier, bei dem allerdings wegen der verschiedenen Krabbenarme die Spiegelsymmetrie beeinträchtigt ist.} }
\bildlizenz { One Big Arm.jpg } {Charles Lam} {Brian679} {Commons} {CC-by-sa 2.0} {}
Die wichtigste evolutionäre Aufspaltung im Tierreich \zusatzklammer {genauer der sogenannten Gewebetiere} {} {} betrifft ihre Symmetrie. Es gibt die radialsymmetrischen Tiere wie Quallen und die sogenannten Bilateria oder Zweiseitentiere. Erstere haben nur eine strukturierende Richtung \zusatzklammer {vorne und hinten} {} {,} entlang welcher sie differenziert sind. In der zu dieser Richtung oder Achse senkrechten Ebene verfügen sie über keine Ausdifferenzierung, sodass sie um diese Achse beliebig gedreht werden können. Zweitere haben eine weitere strukturierende Richtung, also neben vorne und hinten noch oben und unten, was die Entwicklung von deutlich komplexeren Lebewesen ermöglicht. Die genetische Kodierung der Raumstruktur, die eine solche komplexe Ausdifferenzierung ermöglichte, war eine wichtige Etappe in der Evolution. Eine Folge war die kambrische Explosion.
\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$.
}
Die Menge aller Symmetrien an einem solchen geometrischen Objekt $T$ bilden mit der Hintereinanderschaltung eine Gruppe, die
\zusatzklammer {eigentliche} {} {}
\stichwort {Symmetriegruppe} {} von $T$. Es handelt sich um eine Untergruppe der Gruppe der
\zusatzklammer {eigentlichen} {} {}
Isometrien des euklidischen Vektorraumes. Wenn $T$ hinreichend kompliziert ist, so wird es neben der Identität keine weitere Symmetrie geben. In den Fällen
\mavergleichskette
{\vergleichskette
{T
}
{ = }{\emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{T
}
{ = }{\{ 0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist jede Isometrie eine Symmetrie. Die Menge aller Symmetrien unter Einschluss der uneigentlichen Isometrien bilden ebenfalls eine Gruppe. Die eigentlichen sind die physikalisch an einem starren Körper durchführbaren Symmetrien und zugleich die orientierungstreuen Abbildungen.
Wir besprechen als einführendes 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 nach Satz 34.8 generell aus. 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. Die \definitionsverweis {Ordnungen}{}{} dieser Bewegungen im Sinne der Gruppentheorie sind also \mathkor {} {4} {bzw.} {2} {.}
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} {} {.}
Als letzte Drehmöglichkeit gibt es die Halbdrehung um eine Kantenmittelpunktsachse, als eine Achse, die durch die Kantenmittelpunkte von zwei gegenüber liegenden Kanten gegeben ist.
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, also eine \definitionsverweis {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) }}{.} Alle Drehungen an einem regelmäßigen $n$-Eck bilden eine
\definitionsverweis {zyklische Gruppe}{}{}
der
\definitionsverweis {Ordnung}{}{}
$n$.
}