BanachTarski

1 Freie Gruppe der Rotationen

1.1 Wahl der Rotationen und Zerlegung des Großteils der Kugel

Wir wählen konkret zwei Rotationen der Kugel, mit welchen wir die Zerlegung im Satz konstruieren werden.

Definition 1.1
#

Unsere Rotationsmatrizen sind:

Lemma 1.2 Invertierbarkeit von A und B
#

Es gilt \(det A\neq 0\) und \(det B\neq 0\) und damit sind \(A\) und \(B\) invertierbar.

Proof

Folgt durch Nachrrechnen.

\(A\) und \(B\) erzeugen uns daher eine Untergruppe der Gruppe der invertierbaren \(3\times 3\)-Matrizen.

Definition 1.3
#

\(G\) bezeichnet die von \(A\) und \(B\) erzeugte Untergruppe.

Lemma 1.4
#

Die adjungierte 3x3 Matrix kann in einer bestimmten Form dargestellt werden...

Proof
Lemma 1.5 Konkrete darstellung der Drehungen
#

Wenn \(\rho : \mathbb {R}³\Rightarrow \mathbb {R}³\) ein Ausdruck in \(G\) der Länge \(n\) in reduzierter Form ist, dann ist \(\rho (0,1,0)\) von der folgenden Form, wobei \(a, b\) und \(c\) ganze Zahlen sind: \(\rho (0,1,0)=\frac{1}{3^n}(a\sqrt{2},b,c\sqrt{2})\).

Proof

Diese Behauptung folgt aus den Erzeugermatrizen und durch konkretes Multiplizieren eines reduzierten Wortes an (0,1,0).

Damit können wir zeigen, dass diese Untergruppe an Rotationen eine freie Gruppe in zwei Erzeugern ist.

Definition 1.6
#

Eine freie Gruppe \(G\) ist eine Gruppe, in welcher zwei Wörter auf einer spezifischen Erzeugermenge unterschiedlich sind, außer ihre Gleichheit folgt aus den Gruppenaxiomen.

Theorem 1.7
#

Die von unseren konkreten Rotationen aus 1.1 erzeugte Untergruppe \(G\) ist eine freie Gruppe.

Proof

chillig.