Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 50/kontrolle

... und ein Würfel. Das sind die platonischen Körper.

• 
  Ein Tetraeder (eine Pyramide mit gleichseitigen Dreiecken als Seiten).
• 
  Ein Oktaeder (ein Achtflächner).
• 
  Ein Dodekaeder, der hat zwölf Seiten.
• 
  Ein Ikosaeder, mit 20 Seiten ...

Jede Symmetrie an einen Körper im Raum (beispielsweise einem Würfel) ist insbesondere eine abstandserhaltende, affin-lineare Abbildung des umgebenden Raumes. Die Gesamtmenge der abstandserhaltenden, linearen (eigentlichen) Abbildungen des Raumes bildet die sogenannte orthogonale Gruppe ${}\operatorname {O} _{3}\!$ (bzw. ${}\operatorname {SO} _{3}$, wenn die Determinante ${}1$ ist). Dies ist natürlich eine sehr große, unendliche Gruppe. Interessant ist aber, dass die endlichen Untergruppen darin übersichtlich beschrieben werden können. Diese endlichen Untergruppen lassen sich stets als Symmetriegruppe zu einem geeigneten geometrischen Objekt auffassen. Dass eine einfache Klassifikation dieser endlichen Bewegungsgruppen möglich ist, beruht auf intrinsischen Struktureigenschaften des Raumes und liefert unter Anderem eine präzise Version dafür, dass es nur fünf reguläre Polyeder (die platonischen Körper) gibt. Den Würfel haben wir schon in der letzten Vorlesung behandelt, er besitzt ${}24$ eigentliche Symmetrien. Ein weiteres wichtiges Beispiel ist der Tetraeder.

Tetraeder treten auch in der Chemie auf, hier ein Methanmolekül.

Beispiel Referenznummer erstellen

Wir betrachten einen Tetraeder, also eine Pyramide mit vier gleichseitigen Dreiecken als Flächen. Das einfachste Modell dafür ergibt sich, wenn man bei einem Würfel jeden „zweiten“ Punkt nimmt, also beispielsweise die Eckpunkte

$(1,1,1),\,(-1,-1,1),\,(1,-1,-1),\,(-1,1,-1).$

Der Abstand der Eckpunkte zum Nullpunkt ist dann ${}{\sqrt {3}}$ und die Kantenlängen sind ${}{\sqrt {2}}$. Eine eigentliche Bewegung des Tetraeders ist auch eine eigentliche Bewegung des zugehörigen Würfels (in den der Tetraeder eingeschrieben werden kann).

Die Symmetrien des Tetraeders kann man unterschiedlich beschreiben. Bei einer solchen Symmetrie müssen die Eckpunkte aufeinander abgebildet werden. Dabei müssen die zu den Eckpunkten zugehörigen Geraden, die bei der erwähnten Beziehung zum Würfel dessen Raumdiagonalen sind, aufeinander abgebildet werden und somit müssen dabei auch die Würfeleckpunkte aufeinander abgebildet werden. Deshalb ist die Symmetriegruppe des Tetraeders eine Untergruppe der Symmetriegruppe des Würfels. Es gibt Drehungen um Achsen durch einen Eckpunkt und die gegenüber liegende Seite und Drehungen um Achsen durch Kantenmittelpunkte, siehe auch Aufgabe 49.33.

Definition Referenznummer erstellen

Zu ${}n\in \mathbb {N}$ heißt die Untergruppe

${}A_{n}:={\left\{\sigma \in S_{n}\mid \operatorname {sgn} (\sigma )=1\right\}}\,$

der geraden Permutationen die alternierende Gruppe.

Die alternierende Gruppe besitzt (bei ${}n\geq 2$) ${}{\frac {n!}{2}}$ Elemente. Nach Aufgabe 50.24 ist die Tetraedergruppe isomorph zu ${}A_{4}$.

Wir wollen im Folgenden sämtliche endlichen Untergruppen der Bewegungsgruppe des Raumes verstehen. Die Bewegungsgruppe eines affinen Raumes über einem euklidischen Vektorraum besteht aus allen affin-linearen eigentlichen Isometrien, es kommen also (im Vergleich zur eigentlichen Isometriegruppe) noch zusätzlich die Verschiebungen dazu. Für endliche Untergruppen ist dieser Unterschied unerheblich, da man mit dem folgenden Lemma die endliche Untergruppen der affinen Bewegungsgruppe als eine Gruppe von linearen Abbildungen realisieren kann.

Lemma Referenznummer erstellen

Es sei ${}G$ eine endliche Untergruppe der Bewegungsgruppe eines affinen Raumes ${}E$ über einem euklidischen Vektorraum ${}V$.

Dann besitzen die Bewegungen der Gruppe einen gemeinsamen Fixpunkt.

Insbesondere kann man eine solche Gruppe als Untergruppe der ${}\operatorname {SO} _{n}$ auffassen.

Beweis

Es sei ${}n={\#\left(G\right)}$ die Ordnung der Gruppe. Es sei ${}P\in E$ ein beliebiger Punkt. Wir betrachten die baryzentrische Kombination

${}Q:=\sum _{g\in G}{\frac {1}{n}}g(P)\,.$

Da jedes ${}h\in G$ insbesondere eine affin-lineare Abbildung ist, gilt nach Lemma 30.9 die Gleichheit

${}h(Q)=h{\left(\sum _{g\in G}{\frac {1}{n}}g(P)\right)}=\sum _{g\in G}{\frac {1}{n}}h(g(P))=\sum _{g\in G}{\frac {1}{n}}(h\circ g)(P)\,.$

Da eine Gruppe vorliegt, durchläuft die Menge ${}h\circ g$, ${}g\in G$, einfach die gesamte Gruppe. Deshalb ist der Ausdruck rechts gleich ${}Q$ selbst, und somit ist ${}Q$ ein Fixpunkt für alle ${}h\in G$. Wir wählen ${}Q$ als Ursprung und können dann ${}E$ mit ${}V$ identifizieren, wodurch wegen Lemma 30.11 die affin-linearen Abbildungen zu linearen Abbildungen werden. Dadurch erhalten wir ${}G$ als Untergruppe der Isometriegruppe von ${}V$. Da ${}V$ isometrisch zum ${}\mathbb {R} ^{n}$ mit dem Standardskalarprodukt ist, ist ${}G\subseteq \operatorname {SO} _{n}$.

$\Box$

Endliche Bewegungsgruppen in der Ebene

Bevor die Symmetiegruppen des Raumes weiter untersuchen, betrachten wir zuerst die Ebene.

Satz Satz 50.4 ändern

Es sei ${}G\subseteq \operatorname {SO} _{2}$ eine endliche Untergruppe der linearen Bewegungsgruppe der reellen Ebene.

Dann ist ${}G$ eine zyklische Gruppe.

Beweis

Jedes Element aus ${}G$ ist nach Satz 34.4 eine Drehung der Ebene um einen bestimmten Winkel ${}\theta$. Wir betrachten den surjektiven Gruppenhomomorphismus

$\mathbb {R} \longrightarrow \operatorname {SO} _{2},\,\theta \longmapsto D(\theta )={\begin{pmatrix}\operatorname {cos} \,\theta &-\operatorname {sin} \,\theta \\\operatorname {sin} \,\theta &\operatorname {cos} \,\theta \end{pmatrix}},$

der einen Winkel auf die zugehörige Drehung abbildet. Es sei ${}H\subseteq \mathbb {R}$ das Urbild von ${}G$ unter dieser Abbildung, d.h. ${}H$ besteht aus allen Drehwinkeln zu Drehungen, die zu ${}G$ gehören. Die Gruppe ${}H$ wird von einem Repräsentantensystem für die Elemente aus ${}G$ zusammen mit ${}2\pi$ erzeugt. Insbesondere ist also ${}H$ eine endlich erzeugte Untergruppe von ${}\mathbb {R}$. Da jedes Gruppenelement aus ${}G$ eine endliche Ordnung besitzt, muss jedes ${}\theta \in H$ die Gestalt ${}\theta =2\pi q$ mit einer rationalen Zahl ${}q\in \mathbb {Q}$ haben. Dies bedeutet, dass ${}H$ eine endlich erzeugte Untergruppe von ${}2\pi \mathbb {Q} \subseteq \mathbb {R}$ ist. Damit ist ${}H$ isomorph zu einer endlich erzeugten Untergruppe der rationalen Zahlen. Nach Aufgabe 44.5 ist ${}H$ zyklisch, sagen wir ${}H=\mathbb {Z} \alpha$ mit einem eindeutig bestimmten Winkel ${}\alpha \in [0,2\pi )$. Dann ist die Gruppe ${}G$ als Bild von ${}H$ ebenfalls zyklisch.

$\Box$

Der eindeutig bestimmte Winkel ist dabei ${}\alpha ={\frac {2\pi }{n}}$, wobei ${}n$ die Gruppenordnung von ${}G$ ist. Die Gruppe besteht aus den Drehmatrizen

${\begin{pmatrix}1&0\\0&1\end{pmatrix}},\,{\begin{pmatrix}\cos \left({\frac {2\pi }{n}}\right)&-\sin \left({\frac {2\pi }{n}}\right)\\\sin \left({\frac {2\pi }{n}}\right)&\cos \left({\frac {2\pi }{n}}\right)\end{pmatrix}},\,{\begin{pmatrix}\cos \left(2{\frac {2\pi }{n}}\right)&-\sin \left(2{\frac {2\pi }{n}}\right)\\\sin \left(2{\frac {2\pi }{n}}\right)&\cos \left(2{\frac {2\pi }{n}}\right)\end{pmatrix}},\ldots ,{\begin{pmatrix}\cos \left((n-1){\frac {2\pi }{n}}\right)&-\sin \left((n-1){\frac {2\pi }{n}}\right)\\\sin \left((n-1){\frac {2\pi }{n}}\right)&\cos \left((n-1){\frac {2\pi }{n}}\right)\end{pmatrix}}.$

Wenn man auch noch uneigentliche Symmetrien zulässt, so gibt es noch eine weitere Familie von endlichen Untergruppen der ${}\operatorname {O} _{2}\!$, nämlich die Diedergruppen.

Definition Referenznummer erstellen

Zu einem regelmäßigen ${}n$-Eck ($n\geq 2$) heißt die Gruppe der (eigentlichen oder uneigentlichen) linearen Symmetrien die Diedergruppe ${}D_{n}$.

Die Diedergruppe besteht aus den Drehungen des ${}n$-Ecks und aus den Achsenspiegelungen an den folgenden Achsen durch den Nullpunkt: bei ${}n$ gerade die Achsen durch gegenüberliegende Eckpunkte und gegenüberliegende Kantenmittelpunkte, bei ${}n$ ungerade die Achsen durch einen Eckpunkt und einen gegenüberliegenden Kantenmittelpunkt.
In beiden Fällen besteht die Diedergruppe aus ${}2n$ Elementen.

Im Raum lassen sich die Diedergruppen als eigentliche Symmetriegruppen einer Doppelpyramide über einem regelmäßigen ${}n$-Eck realisieren.

Halbachsensysteme

Wir betrachten nun die dreidimensionale Situation.

Es sei ${}G\subseteq \operatorname {SO} _{3}$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien. Jedes Element ${}g\in G$, ${}g\neq \operatorname {id}$, ist nach Satz 34.8 eine Drehung um eine eindeutig bestimmte Drehachse ${}A$. Insbesondere sind an einer endlichen Symmetriegruppe nur endlich viele Drehachsen beteiligt. Jedes Gruppenelement bewirkt dann eine Permutation der Drehachsenmenge, und diese Bedingung schränkt die möglichen Gruppen wesentlich ein. Eine Drehachse zerfällt in zwei Halbachsen, und es ist sinnvoll, die Wirkungsweise der Gruppe auf diesen Halbachsen zu untersuchen.

Würfel und Oktaeder besitzen

isomorphe Symmetriegruppen.

Bei einem Würfel gibt es drei verschiedene Arten von Drehachsen: Es gibt drei Drehachsen, die durch die Seitenmittelpunkte gegeben sind, vier Drehachsen, die durch die Eckpunkte gegeben sind und sechs Drehachsen, die durch die Kantenmittelpunkte gegeben sind. Betrachtet man alle Durchstoßungspunkte dieser Achsen mit der Sphäre vom Radius ${}1$, so ergeben sich ${}6+8+12=26$ Punkte. Diese Punkte entsprechen den Halbachsen. Dabei gibt es zu je zwei Eckpunkten (bzw. den zugehörigen Durchstoßungspunkten) (mindestens) eine Würfelbewegung, die sie ineinander überführt, ebenso zu je zwei Kantenmittelpunkten und zu je zwei Seitenmittelpunkten. Jede Bewegung permutiert diese charakteristischen Punkte. Wenn man eine Achse (oder einen Durchstoßungspunkt) fixiert, so kann man die Menge der Bewegungen betrachten, die diese Achse als Drehachse haben. Es kann natürlich auch die Achse zwar auf sich selbst abgebildet werden, aber nicht fix sein. Dann werden die gegenüberliegenden Durchstoßungspunkte ineinander überführt.

Definition Referenznummer erstellen

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien im ${}\mathbb {R} ^{3}$. Dann nennt man jede Gerade durch den Nullpunkt, die als Drehachse eines Elementes ${}g\neq \operatorname {Id}$ auftritt, eine Achse von ${}G$. Die Halbgeraden dieser Drehachsen nennt man die Halbachsen der Gruppe und die Gesamtmenge dieser Halbachsen nennen wir das zu ${}G$ gehörige Halbachsensystem. Es wird mit ${}{\mathfrak {H}}(G)$ bezeichnet. Zwei Halbachsen ${}H_{1},H_{2}\in {\mathfrak {H}}(G)$ heißen äquivalent, wenn es ein ${}g\in G$ mit ${}g(H_{1})=H_{2}$ gibt. Die Äquivalenzklassen zu dieser Äquivalenzrelation nennt man Halbachsenklassen.

Da jede von ${}\operatorname {Id}$ verschiedene Drehung genau eine Drehachse hat, ist das Halbachsensystem zu einer endlichen Symmetriegruppe endlich (und zwar ist die Anzahl maximal gleich $2(\operatorname {ord} \,(G)-1)$). Wenn ${}H$ eine Halbachse ist und ${}g\in G$, so ist auch ${}g(H)$ eine Halbachse: wenn nämlich ${}h\in G$ die durch ${}H$ definierte Achse als Drehachse besitzt, so ist

${}{\left(ghg^{-1}\right)}(g(H))=(gh){\left(g^{-1}(g(H))\right)}=(gh)(H))=g(h(H))=g(H)\,.$

Mit „äquivalenten Halbachsen“ ist also wirklich eine Äquivalenzrelation definiert.

Beispiel

Beim Würfel werden die Halbachsen durch die Eckpunkte, die Seitenmittelpunkte und die Kantenmittelpunkte repräsentiert. Diese drei Arten bilden dann auch die Äquivalenzklassen, also die Halbachsenklassen. Der Vergleich mit dem Oktaeder zeigt, dass die Sprechweise mit den Halbachsen für die Bewegungsgruppe als solche angemessener ist als die Sprechweise mit Ecken, Kanten, Mittelpunkten.

Beispiel

Bei einem Tetraeder gibt es vier Eck-Seitenmittelpunkt-Achsen und vier Kantenmittelpunktachsen. Die Kantenmittelpunkthalbachsen sind dabei alle untereinander äquivalent, während die zuerst genannten Achsen in zwei Halbachsenklassen zerfallen, nämlich die Eckhalbachsen und die Seitenhalbachsen.

An diesem Beispiel sieht man auch, dass die beiden durch eine Drehachse gegebenen Halbachsen nicht zueinander äquivalent sein müssen.

Die Isotropiegruppe

Lemma Lemma 50.9 ändern

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$. Zu einer Halbachse ${}H$ von ${}G$ sei

${}G_{H}={\left\{g\in G\mid g(H)=H\right\}}\,.$

Dann sind für zwei äquivalente Halbachsen ${}H_{1}$ und ${}H_{2}$ die Gruppen ${}G_{H_{1}}$ und ${}G_{H_{2}}$ isomorph.

Insbesondere besitzen sie die gleiche Ordnung.

Beweis

Es sei ${}g(H_{1})=H_{2}$, was es gibt, da die beiden Halbachsen nach Voraussetzung äquivalent sind. Dann hat man aber sofort den Gruppenisomorphismus

$G_{H_{1}}\longrightarrow G_{H_{2}},\,f\longmapsto g\circ f\circ g^{-1}.$

Wegen

${}{\left(gfg^{-1}\right)}(H_{2})=gf{\left(g^{-1}(H_{2})\right)}=gf(H_{1})=g(H_{1})=H_{2}\,$

führt dieser innere Automorphismus von ${}G$ in der Tat die beiden Gruppen ineinander über.

$\Box$

Bei ${}G_{H}$ handelt es sich trivialerweise um eine Untergruppe von ${}G$. Man nennt sie die Isotropiegruppe zur Halbachse ${}H$. Das Lemma besagt also, dass äquivalente Halbachsen isomorphe Isotropiegruppen besitzen. Wenn ${}n={\#\left(G\right)}$ ist und ${}H$ eine Halbachse in der Halbachsenklasse ${}K$, und die Untergruppe ${}G_{H}$ ${}k$ Elemente besitzt, so gibt es in ${}K$ genau ${}n/k$ verschiedene Halbachsen. Die fixierte Halbachse ${}H$ definiert nämlich eine surjektive Abbildung

$G\longrightarrow K,\,f\longmapsto f(H).$

Dabei geht ${}f\in G_{H}$ auf ${}H$, und ebenso gibt es für jede Halbachse ${}H'\in K$ genau ${}k$ Urbilder.

Fußnoten