Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II/Vorlesung 50

Aus Wikiversity
Zur Navigation springen Zur Suche springen
... und ein Würfel. Das sind die platonischen Körper.

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 (bzw. , wenn die Determinante 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.

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



Beispiel  

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

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



Definition  

Zu heißt die Untergruppe

der geraden Permutationen die alternierende Gruppe.

Die alternierende Gruppe besitzt (bei ) Elemente. Nach Aufgabe 50.12 ist die Tetraedergruppe isomorph zu .

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  

Es sei eine endliche Untergruppe der Bewegungsgruppe eines affinen Raumes über einem euklidischen Vektorraum .

Dann besitzen die Bewegungen der Gruppe einen gemeinsamen Fixpunkt.

Insbesondere kann man eine solche Gruppe als Untergruppe der auffassen.

Beweis  

Es sei die Ordnung der Gruppe. Es sei ein beliebiger Punkt. Wir betrachten die baryzentrische Kombination

Da jedes insbesondere eine affin-lineare Abbildung ist, gilt nach Lemma 30.9 die Gleichheit

Da eine Gruppe vorliegt, durchläuft die Menge , , einfach die gesamte Gruppe. Deshalb ist der Ausdruck rechts gleich selbst, und somit ist ein Fixpunkt für alle . Wir wählen als Ursprung und können dann mit identifizieren, wodurch wegen Lemma 30.11 die affin-linearen Abbildungen zu linearen Abbildungen werden. Dadurch erhalten wir als Untergruppe der Isometriegruppe von . Da isometrisch zum mit dem Standardskalarprodukt ist, ist .




Endliche Bewegungsgruppen in der Ebene



Satz  

Sei eine endliche Untergruppe der linearen Bewegungsgruppe der reellen Ebene.

Dann ist eine zyklische Gruppe.

Beweis  

Jedes Element aus ist nach Satz 34.3 eine Drehung der Ebene um einen bestimmten Winkel . Wir betrachten den surjektiven Gruppenhomomorphismus

der einen Winkel auf die zugehörige Drehung abbildet. Es sei das Urbild von unter dieser Abbildung, d.h. besteht aus allen Drehwinkeln zu Drehungen, die zu gehören. Die Gruppe wird von einem Repräsentantensystem für die Elemente aus zusammen mit erzeugt. Insbesondere ist also eine endlich erzeugte Untergruppe von . Da jedes Gruppenelement aus eine endliche Ordnung besitzt, muss jedes die Gestalt mit einer rationalen Zahl haben. Dies bedeutet, dass eine endlich erzeugte Untergruppe von ist. Damit ist isomorph zu einer endlich erzeugten Untergruppe der rationalen Zahlen. Nach Aufgabe 44.4 ist zyklisch, sagen wir mit einem eindeutig bestimmten Winkel . Dann ist die Gruppe als Bild von ebenfalls zyklisch.


Der eindeutig bestimmte Winkel ist dabei , wobei die Gruppenordnung ist. Die Gruppe besteht aus den Drehmatrizen

Wenn man auch noch uneigentliche Symmetrien zulässt, so gibt es noch eine weitere Familie von endlichen Untergruppen der , nämlich die Diedergruppen.

Regular polygons qtl3.svg

Definition  

Zu einem regelmäßigen -Eck () heißt die Gruppe der (eigentlichen oder uneigentlichen) linearen Symmetrien die Diedergruppe .

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

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




Halbachsensysteme

Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien. Jedes Element , , ist nach Satz 34.7 eine Drehung um eine eindeutig bestimmte Drehachse . 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 , so ergeben sich 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  

Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien im . Dann nennt man jede Gerade durch den Nullpunkt, die als Drehachse eines Elementes auftritt, eine Achse von . Die Halbgeraden dieser Drehachsen nennt man die Halbachsen der Gruppe und die Gesamtmenge dieser Halbachsen nennen wir das zu gehörige Halbachsensystem. Es wird mit bezeichnet. Zwei Halbachsen heißen äquivalent, wenn es ein mit gibt. Die Äquivalenzklassen zu dieser Äquivalenzrelation nennt man Halbachsenklassen.

Da jede von verschiedene Drehung genau eine Drehachse hat, ist das Halbachsensystem zu einer endlichen Symmetriegruppe endlich (und zwar ist die Anzahl maximal gleich ). Wenn eine Halbachse ist und , so ist auch eine Halbachse: wenn nämlich die durch definierte Achse als Drehachse besitzt, so ist

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  

Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des . Zu einer Halbachse von sei

Dann sind für zwei äquivalente Halbachsen und die Gruppen und isomorph.

Insbesondere besitzen sie die gleiche Ordnung.

Beweis  

Es sei , was es gibt, da die beiden Halbachsen nach Voraussetzung äquivalent sind. Dann hat man aber sofort den Gruppenisomorphismus

Wegen

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

Bei handelt es sich trivialerweise um eine Untergruppe von . Man nennt sie die Isotropiegruppe zur Halbachse . Das Lemma besagt also, dass äquivalente Halbachsen isomorphe Isotropiegruppen besitzen. Wenn ist und eine Halbachse in der Halbachsenklasse , und die Untergruppe Elemente besitzt, so gibt es in genau verschiedene Halbachsen. Die fixierte Halbachse definiert nämlich eine surjektive Abbildung

Dabei geht auf , und ebenso gibt es für jede Halbachse genau Urbilder.


<< | Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)