Orthogonale Gruppe

Die orthogonale Gruppe $\mathrm {O} (n)$ ist die Gruppe der orthogonalen $(n\times n)$-Matrizen mit reellen Elementen. Die Verknüpfung der orthogonalen Gruppe ist die Matrizenmultiplikation. Bei der orthogonalen Gruppe handelt es sich um eine Lie-Gruppe der Dimension ${\tfrac {n(n-1)}{2}}$. Da die Determinante einer orthogonalen Matrix nur die Werte $\pm 1$ annehmen kann, zerfällt $\mathrm {O} (n)$ in die beiden disjunkten Teilmengen (topologisch: Zusammenhangskomponenten)

• die Drehgruppe $\mathrm {SO} (n)$ aller Drehungen (orthogonale Matrizen mit Determinante $+1$) und
• $\mathrm {O} (n)\setminus \mathrm {SO} (n)$ aller Drehspiegelungen (orthogonale Matrizen mit Determinante $-1$).

Die Untergruppe $\mathrm {SO} (n)$ heißt die spezielle orthogonale Gruppe. Insbesondere ist die $\mathrm {SO} (3)$ als die Gruppe aller Drehungen um eine durch den Koordinatenursprung verlaufende Achse im dreidimensionalen Raum von großer Bedeutung in zahlreichen Anwendungen, wie etwa der Computergraphik oder der Physik.

Orthogonale Abbildungen und Matrizen aus algebraischer Sicht

Koordinatenfreie Beschreibung

Ausgehend von einem $n$-dimensionalen euklidischen Vektorraum $V$ mit einem Skalarprodukt $\langle \cdot ,\cdot \rangle \colon V\times V\rightarrow \mathbb {R}$ definiert man: Ein Endomorphismus $f\colon V\rightarrow V$ heißt orthogonal, falls $f$ das Skalarprodukt erhält, also falls für alle $u,v\in V$

$\langle f(u),f(v)\rangle =\langle u,v\rangle$

gilt. Eine lineare Abbildung erhält genau dann das Skalarprodukt, wenn sie längen- und winkeltreu ist. Die Menge aller orthogonalen Selbstabbildungen von $V$ heißt die orthogonale Gruppe von $V$, geschrieben als $\mathrm {O} (V)$.

Bezüglich einer Orthonormalbasis von $V$ werden orthogonale Endomorphismen durch orthogonale Matrizen dargestellt. Gleichbedeutend hierzu ist folgende Formulierung: Versieht man den $\mathbb {R} ^{n}$ mit dem Standardskalarprodukt, so ist die Abbildung $\mathbb {R} ^{n}\!\ni x\mapsto A\cdot x\in \mathbb {R} ^{n}$ genau dann orthogonal, wenn die Matrix $A$ orthogonal ist.

Diagonalisierbarkeit unitärer Matrizen

Jede orthogonale Matrix $A$ ist eine unitäre Matrix mit reellen Elementen. Damit entspricht sie einer unitären Abbildung $f\colon \mathbb {C} ^{n}\rightarrow \mathbb {C} ^{n}.$ Nach dem Spektralsatz für endlich dimensionale unitäre Räume ist $A$ als unitäre Matrix diagonalisierbar. Die dabei auftretenden Diagonalelemente $\lambda _{j}\in \mathbb {C}$ mit $1\leq j\leq n$ sind genau die Eigenwerte von $A$. Diese sind aber notwendig vom Betrag Eins (vgl. unitäre Matrix). Sie lassen sich daher in der Form $\lambda _{j}=\mathrm {e} ^{\mathrm {i} \cdot \varphi _{j}}$ für gewisse, bis auf die Reihenfolge eindeutige Winkel $\varphi _{j}\in [0;2\pi [$ schreiben. Da die Matrix nur reelle Elemente besitzt, treten dabei die nichtreellen Eigenwerte in Paaren zueinander konjugierter komplexer Zahlen auf. Im Reellen ist $A$ in der Regel nicht diagonalisierbar, jedoch lässt sich auch hier eine Zerlegung in ein- bzw. zweidimensionale invariante Unterräume angeben.

Auswirkungen auf orthogonale Matrizen

Zu jeder orthogonalen Matrix $A\in \mathrm {O} (n)$ lässt sich eine Drehung des Koordinatensystems $P\in \mathrm {SO} (n)$ finden, so dass die Matrix $P^{T}\cdot A\cdot P$ von „beinahe diagonaler“ Gestalt ist:

$P^{T}\cdot A\cdot P={\begin{pmatrix}+1&&&&&&&&\\&\ddots &&&&&&&\\&&+1&&&&&&\\&&&-1&&&&&\\&&&&\ddots &&&&\\&&&&&-1&&&\\&&&&&&D(\varphi _{1})&&\\&&&&&&&\ddots &\\&&&&&&&&D(\varphi _{d})\end{pmatrix}}$

Alle hier nicht angegebenen Elemente haben den Wert $0$. Die auftretenden $(2\times 2)$-Matrizen $D(\varphi _{j})\in \mathrm {SO} (2)$ beschreiben zweidimensionale Drehungen um die Winkel $\varphi _{j}\in \;]0;\pi [\;\cup \;]\pi ;2\pi [$ der Form

$D(\varphi )={\begin{pmatrix}\cos \varphi &-\sin \varphi \\\sin \varphi &\cos \varphi \end{pmatrix}}$

Jedes $\varphi _{j}$ gehört dabei zu einem Paar konjugiert komplexer Eigenwerte $\mathrm {e} ^{\pm \mathrm {i} \cdot \varphi _{j}}$. Dabei gilt natürlich $p+m+2d=n$, falls $p$ die Anzahl der Diagonalelemente mit Wert $+1$ und $m$ die Anzahl der Diagonalelemente mit Wert $-1$ repräsentieren. Offenbar ist $A$ genau dann eine Drehung, wenn $m$, die geometrische wie auch algebraische Vielfachheit des Eigenwertes $-1$, eine gerade Zahl ist.

Ebene Drehspiegelung

Neben den ebenen Drehungen, die den Matrizen $D(\varphi )\in \mathrm {SO} (2)$ entsprechen, sind auch die Drehspiegelungen

$S(\varphi )={\begin{pmatrix}\cos \varphi &\sin \varphi \\\sin \varphi &-\cos \varphi \end{pmatrix}}$

orthogonale Matrizen. Die Eigenwerte von $S$ sind $1$ und $-1$; folglich handelt es sich um eine Achsenspiegelung die sich nach einer Drehung des Koordinatensystems um ${\tfrac {\varphi }{2}}$ als $\left({\begin{smallmatrix}1&0\\0&-1\end{smallmatrix}}\right)$ schreiben lässt.

Räumliche Drehung

Nach der oben beschriebenen Normalform lässt sich jede Drehung im Raum durch Wahl einer geeigneten Orthonormalbasis durch eine Matrix

$D_{1}(\varphi )={\begin{pmatrix}1&0&0\\0&\cos \varphi &-\sin \varphi \\0&\sin \varphi &\cos \varphi \end{pmatrix}}$

beschreiben, wobei mit $\varphi \in [0;2\pi [$ auch alle Sonderfälle erfasst werden. Die genannte Matrix $D_{1}(\varphi )$ beschreibt eine Drehung um die $x_{1}$-Achse. Insbesondere verfügt jede echte räumliche Drehung über eine Drehachse. Fischer verdeutlicht dies am Beispiel eines Fußballes auf dem Anstoßpunkt: Nach dem ersten Tor gibt es zwei sich gegenüberliegende Punkte auf dem Ball, die jetzt exakt genauso zum Stadion ausgerichtet sind, wie zu Beginn des Spieles. Der Winkel $\varphi$ ist aufgrund des orientierungserhaltenden Charakters der zugelassenen Transformationsmatrizen $P\in \mathrm {SO} (3)$ eindeutig festgelegt; dies geht mit der aus dem Alltag bekannten Erfahrung einher, dass es – zumindest theoretisch – stets feststeht, in welche Richtung man eine Schraube drehen muss, um diese fester anzuziehen.

Räumliche Drehspiegelung

Nach der oben beschriebenen Normalform lässt sich jede Drehspiegelung im Raum durch Wahl einer geeigneten Orthonormalbasis durch eine Matrix

${\begin{pmatrix}-1&0&0\\0&\cos \varphi &-\sin \varphi \\0&\sin \varphi &\cos \varphi \end{pmatrix}}$

beschreiben, wobei mit $\varphi \in [0;2\pi [$ auch alle Sonderfälle erfasst werden. Auch hier ist der Winkel $\varphi$ eindeutig, sofern man die Orientierung des Raumes nicht umkehrt.

Eine doppelte Drehung im vierdimensionalen Raum

Im vierdimensionalen Raum ist eine gleichzeitige Drehung mit zwei unabhängigen Drehwinkeln möglich:

$D(\varphi ,\psi )={\begin{pmatrix}D(\varphi )&0\\0&D(\psi )\end{pmatrix}}\in \mathrm {SO} (4)$

Vertauscht man bei einer zweidimensionalen Drehung $D(\varphi )$ die beiden Basisvektoren, so erhält man die Drehung $D(2\pi -\varphi )$. Das ist nicht verwunderlich, hat man doch gleichzeitig die Orientierung der Ebene verändert. Vertauscht man nun im vorliegenden Beispiel gleichzeitig den ersten mit dem zweiten wie auch den dritten mit dem vierten Basisvektor, so bleibt die Orientierung erhalten, aber aus $D(\varphi ,\psi )$ wird $D(2\pi -\varphi ,2\pi -\psi )$.

Die Orthogonale Gruppe als Lie-Gruppe

Ausgehend vom linearen Raum $\mathbb {R} ^{n\times n}$ aller Matrizen gelangt man zur Untermannigfaltigkeit $\mathrm {O} (n)$ durch die Forderung, dass die Matrix $A$ orthogonal ist, d. h. $A^{T}\cdot A=E$ gilt. Da orthogonale Matrizen insbesondere invertierbar sind, ist $\mathrm {O} (n)$ eine Untergruppe der allgemeinen linearen Gruppe $\mathrm {GL} (n,\mathbb {R} )$.

Topologische Eigenschaften

Wie die allgemeine lineare Gruppe besteht auch die orthogonale Gruppe aus zwei Zusammenhangskomponenten: Matrizen mit positiver bzw. negativer Determinante im Fall der reellen $\mathrm {GL} (n)$; $\mathrm {SO} (n)$ und die Menge der orthogonalen Matrizen mit Determinante $-1$ im Falle der $\mathrm {O} (n)$. Ein eleganter Beweis für den Wegzusammenhang der $\mathrm {SO} (n)$ lässt sich wie folgt führen: Man verbinde die Einheitsmatrix $E$ mit einer gegebenen Drehung $A$ durch einen Weg innerhalb der $\mathrm {GL} (n)$. Wendet man auf jeden Punkt dieses Weges nun das Gram-Schmidtsche Orthogonalisierungsverfahren an, so erhält man einen Weg, der ganz in der $\mathrm {SO} (n)$ verläuft. Da die Multiplikation mit der Diagonalmatrix $\mathrm {diag} (-1,1,\ldots ,1)$ einen Diffeomorphismus von $\mathrm {SO} (n)$ mit seinem Komplement in der $\mathrm {O} (n)$ liefert, ist auch Letzteres zusammenhängend.

Weiterhin sind $\mathrm {SO} (n)$ und $\mathrm {O} (n)$ kompakt. Es handelt sich um eine abgeschlossene Teilmenge der Einheitskugel bezüglich der Spektralnorm im $\mathbb {R} ^{n\times n}$.

Operation der SO(n) auf der Einheitssphäre

Die $\mathrm {SO} (n)$ operiert in natürlicher Weise auf dem $\mathbb {R} ^{n}$. Da orthogonale Abbildungen längentreu sind, sind die Bahnen dieser Operation genau die Sphären um den Ursprung. Die Operation schränkt also zu einer transitiven Operation auf der Einheitssphäre $S^{\,n-1}\subset \mathbb {R} ^{n}$ ein. Die zugehörige Isotropiegruppe des kanonischen Einheitsvektors $e_{n}$ der Standardbasis des $\mathbb {R} ^{n}$ besteht genau aus der $\mathrm {SO} (n-1)$, aufgefasst als Untergruppe der $\mathrm {SO} (n)$ mit einer $1$ an der Matrix-Position $(n,n)$. Man erhält somit die kurze exakte Sequenz

$\mathrm {SO} (n-1)\rightarrow \mathrm {SO} (n)\rightarrow S^{\,n-1}$

beziehungsweise das Hauptfaserbündel (vgl. auch Faserbündel)

$\mathrm {SO} (n)/\mathrm {SO} (n-1)\rightarrow S^{\,n-1}$.

Hieraus lässt sich induktiv folgern, dass die Fundamentalgruppe der $\mathrm {SO} (n)$ für $n\geq 3$ zu $\mathbb {Z} /2\mathbb {Z}$ isomorph ist. Sie ist damit ähnlich „verdreht“ wie das Möbiusband. Die Fundamentalgruppe der Kreisgruppe $\mathrm {SO} (2)$ ist $\mathbb {Z}$, da die $\mathrm {SO} (2)$ topologisch dem Einheitskreis $S^{\,1}\subset \mathbb {R} ^{2}$ entspricht.

Die Lie-Algebra zur O(n) und SO(n)

Die Lie-Algebra ${\mathfrak {o}}(n)$ besteht genau aus den schiefsymmetrischen Matrizen, die Lie-Algebra ${\mathfrak {so}}(n)$, also der Tangentialraum der $\mathrm {SO} (n)$ im Punkt der Einheitsmatrix $E_{n}$, besteht genau aus den schiefsymmetrischen Matrizen, die zugleich spurlos sind, was im Reellen bereits durch die Schiefsymmetrie impliziert ist. Daher sind beide Lie-Algebren gleich

${\mathfrak {o}}(n)={\mathfrak {so}}(n)=\left\{A\in {\mathit {Mat}}(n,\mathbb {R} ):{A}^{T}=-A\right\}$.

Ist also $A=-A^{T}$ schiefsymmetrisch, so liefert die Exponentialabbildung für Matrizen die zugehörige Einparametergruppe

$\alpha ^{A}\colon \mathbb {R} \ni t\mapsto \exp(t\cdot A)\in \mathrm {SO} (n)\,.$

In allgemeinen Lie-Gruppen ist die Exponentialabbildung nur lokal surjektiv, von einer Umgebung der Null auf eine Umgebung der Eins; die Exponentialabbildung von ${\mathfrak {so}}(n)$ nach $\mathrm {SO} (n)$ dagegen ist tatsächlich (global) surjektiv.

Offensichtlich ist eine schiefsymmetrische Matrix durch die ${\tbinom {n}{2}}={\tfrac {n\cdot (n-1)}{2}}$ Einträge oberhalb der Hauptdiagonale eindeutig bestimmt. Damit ist die Dimension der $\mathrm {SO} (n)$ ebenfalls geklärt.

Im Fall $n=2$ haben die Matrizen der zugehörigen Lie-Algebren die einfache Form

${\mathfrak {o}}(2)={\mathfrak {so}}(2)=\left\{{\begin{pmatrix}0&\lambda \\-\lambda &0\end{pmatrix}}:\lambda \in \mathbb {R} \right\}=\operatorname {span} {\begin{pmatrix}0&1\\-1&0\end{pmatrix}}=\operatorname {span_{\mathbb {R} }} (i\sigma _{2})$

wobei $\sigma _{2}$ die zweite Pauli-Matrix ist.

Im Fall $n=3$ ist die zugehörige Lie-Algebra ${\mathfrak {so}}(3)$ isomorph zum $\mathbb {R} ^{3}$ mit dem Kreuzprodukt als Lie-Klammer. Zum Nachweis muss man lediglich den Kommutator zweier generischer, also mit je drei freien Variablen gebildeter, schiefsymmetrischer Matrizen berechnen und das Ergebnis mit der Formel für das Kreuzprodukt vergleichen.

Literatur

• Theodor Bröcker, Tammo tom Dieck: Representations of Compact Lie Groups (= Graduate Text im Mathematics. Band 98). Springer, New York NY u. a. 1985, ISBN 3-540-13678-9.
• Gerd Fischer: Lineare Algebra (= Vieweg-Studium. Band 17). 5. Auflage. Vieweg, Braunschweig u. a. 1979, ISBN 3-528-17217-7.
• Horst Knörrer: Geometrie (= Vieweg-Studium. Band 71). Vieweg, Braunschweig u. a. 1996, ISBN 3-528-07271-7.
• Serge Lang: Linear Algebra. 2nd edition. Addison-Wesley, Reading MA u. a. 1971.
• Hermann Weyl: The classical Groups. Their invariants and representations (= Princeton Mathematical Series. Band 1, ISSN 0079-5194). 2. edition, with supplement, reprinted. Princeton University Press u. a., Princeton NJ 1953.