Drehmatrix

Eine Drehmatrix oder Rotationsmatrix ist eine reelle, orthogonale Matrix mit Determinante +1. Ihre Multiplikation mit einem Vektor lässt sich interpretieren als (sogenannte aktive) Drehung des Vektors im euklidischen Raum oder als passive Drehung des Koordinatensystems, dann mit umgekehrtem Drehsinn. Bei der passiven Drehung ändert sich der Vektor nicht, er hat bloß je eine Darstellung (Koordinatenwerte) im alten und im neuen Koordinatensystem. Dabei handelt es sich stets um Drehungen um den Ursprung, da die Multiplikation einer Matrix mit dem Nullvektor diesen auf sich selbst abbildet.

In ungeraden Dimensionen werden durch eine Drehung weitere Vektoren auf sich selbst abgebildet, $Rp=p$ . Im dreidimensionalen Raum handelt es sich also um eine Gerade, die Drehachse. Eine Drehmatrix enthält trigonometrische Ausdrücke des Drehwinkels und der Orientierung des invarianten Unterraumes. In geraden Dimensionen muss die Drehmatrix keinen reellen Eigenwert haben.

Drehmatrix der Ebene ℝ²

In der euklidischen Ebene $\mathbb {R} ^{2}$ wird die Drehung eines Vektors (aktive Drehung, Überführung in den Vektor ) um einen festen Ursprung um den Winkel $\alpha$ mathematisch positiv (gegen den Uhrzeigersinn) durch die Multiplikation mit der Drehmatrix $R_\alpha$ erreicht:

$p'=R_{\alpha }p\qquad (1)$

Jede Rotation um den Ursprung ist eine lineare Abbildung. Wie bei jeder linearen Abbildung genügt daher zur Festlegung der Gesamtabbildung die Festlegung der Bilder der Elemente einer beliebigen Basis. Wird die Standardbasis gewählt, sind die Bilder der Basisvektoren gerade die Spalten der dazugehörigen Abbildungsmatrix.

Hier wirkt $R_\alpha$ auf die beiden Basisvektoren wie folgt:

${\begin{pmatrix}1\\0\end{pmatrix}}\mapsto {\begin{pmatrix}\cos \alpha \\\sin \alpha \end{pmatrix}}\qquad {\text{und}}\qquad {\begin{pmatrix}0\\1\end{pmatrix}}\mapsto {\begin{pmatrix}-\sin \alpha \\\cos \alpha \end{pmatrix}}.$

Für die Drehmatrix einer Drehung um $\alpha$ ergibt sich damit

$R_{\alpha }={\begin{pmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{pmatrix}}.$

Ein Punkt P = (x,y) geht in den Punkt $P'=(x',y')$ über, dessen (als Spaltenvektor geschriebenen) Ortsvektor $p'={\begin{pmatrix}x'\\y'\end{pmatrix}}$ man aus $p={\begin{pmatrix}x\\y\end{pmatrix}}$ durch Anwenden der obigen Formel (1) erhält:

${\begin{pmatrix}x'\\y'\end{pmatrix}}={\begin{pmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{pmatrix}}\cdot {\begin{pmatrix}x\\y\end{pmatrix}}$

Diese Matrixmultiplikation ergibt:

$x'=x\cdot \cos \alpha -y\cdot \sin \alpha$

$y'=x\cdot \sin \alpha +y\cdot \cos \alpha$

Bei der passiven Drehung wird das Koordinatensystem mathematisch positiv gedreht. Der Vektor erscheint im gedrehten Koordinatensystem als im Uhrzeigersinn zurückgedrehter Vektor ${\hat {p}}$ . Seine Koordinaten im gedrehten Koordinatensystem findet man durch Multiplikation mit der Matrix $R^{-1}_\alpha$ :

${\hat {p}}=R_{\alpha }^{-1}p$

Die Drehmatrix für die passive Drehung ist:

$R_{\alpha }^{-1}={\begin{pmatrix}\cos \alpha &\sin \alpha \\-\sin \alpha &\cos \alpha \end{pmatrix}}=R_{-\alpha }$

Die Verkettung zweier positiver Drehungen um die Winkel $\alpha$ bzw. $\beta$ ist erneut eine Drehung, und zwar um den Winkel $\alpha +\beta$ (siehe auch Kreisgruppe). Die zur Verkettung gehörende Matrix kann mittels Multiplikation aus den beiden einzelnen Drehmatrizen berechnet werden:

${\begin{aligned}R_{\alpha +\beta }=&R_{\alpha }R_{\beta }\\{\begin{pmatrix}\cos(\alpha +\beta )&-\sin(\alpha +\beta )\\\sin(\alpha +\beta )&\cos(\alpha +\beta )\end{pmatrix}}=&{\begin{pmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{pmatrix}}{\begin{pmatrix}\cos \beta &-\sin \beta \\\sin \beta &\cos \beta \end{pmatrix}}\\=&{\begin{pmatrix}\cos \alpha \cos \beta -\sin \alpha \sin \beta &-\cos \alpha \sin \beta -\sin \alpha \cos \beta \\\cos \alpha \sin \beta +\sin \alpha \cos \beta &\cos \alpha \cos \beta -\sin \alpha \sin \beta \end{pmatrix}}\end{aligned}}$

Drehmatrizen des Raumes R³

Die elementaren Drehungen im $\mathbb {R} ^{3}$ sind Drehungen um die üblichen kartesischen Koordinatenachsen. Die folgenden Matrizen drehen einen Punkt (bzw. Vektor) um den Winkel $\alpha$ bei festen Koordinatenachsen. In der Physik werden häufig Drehungen des Koordinatensystems benutzt, dann müssen bei den untenstehenden Matrizen die Vorzeichen aller Sinus-Einträge geändert werden. Die Drehung eines Vektors um einen bestimmten Winkel in einem Koordinatensystem führt auf dieselben Spaltenvektoren wie die Drehung des Koordinatensystems um den gleichen Winkel in umgekehrter Richtung (Drehung um negativen Winkel).

Die Matrizen gelten sowohl für Rechts- als auch für Linkssysteme. Drehungen mit positiven Drehwinkeln sind im Rechtssystem Drehungen entgegen dem Uhrzeigersinn. Im Linkssystem wird bei positiven Winkeln mit dem Uhrzeigersinn gedreht. Der Drehsinn ergibt sich, wenn man entgegen der positiven Drehachse auf den Ursprung schaut. In Rechtssystemen kann auch eine Rechte-Hand-Regel angewandt werden: Zeigt der Daumen der rechten Hand in Richtung der Drehachse, so geben die gebeugten restlichen Finger die Richtung des Drehwinkels an. Im Ergebnis ist das Vorzeichen der Sinus-Einträge der Drehung um die -Achse anders als bei den beiden anderen Matrizen.

Drehung um die -Achse:

$R_{x}(\alpha )={\begin{pmatrix}1&0&0\\0&\cos \alpha &-\sin \alpha \\0&\sin \alpha &\cos \alpha \end{pmatrix}}$

Drehung um die -Achse:

$R_{y}(\alpha )={\begin{pmatrix}\cos \alpha &0&\sin \alpha \\0&1&0\\-\sin \alpha &0&\cos \alpha \end{pmatrix}}$

Drehung um die -Achse:

$R_{z}(\alpha )={\begin{pmatrix}\cos \alpha &-\sin \alpha &0\\\sin \alpha &\cos \alpha &0\\0&0&1\end{pmatrix}}$

Drehung um eine Ursprungsgerade, deren Richtung und Orientierung durch den beliebigen Einheitsvektor $\hat n = (n_1, n_2, n_3)^T$ gegeben ist:

$R_{\hat {n}}(\alpha )={\begin{pmatrix}n_{1}^{2}\left(1-\cos \alpha \right)+\cos \alpha &n_{1}n_{2}\left(1-\cos \alpha \right)-n_{3}\sin \alpha &n_{1}n_{3}\left(1-\cos \alpha \right)+n_{2}\sin \alpha \\n_{2}n_{1}\left(1-\cos \alpha \right)+n_{3}\sin \alpha &n_{2}^{2}\left(1-\cos \alpha \right)+\cos \alpha &n_{2}n_{3}\left(1-\cos \alpha \right)-n_{1}\sin \alpha \\n_{3}n_{1}\left(1-\cos \alpha \right)-n_{2}\sin \alpha &n_{3}n_{2}\left(1-\cos \alpha \right)+n_{1}\sin \alpha &n_{3}^{2}\left(1-\cos \alpha \right)+\cos \alpha \end{pmatrix}}$

Diese beliebige Drehung lässt sich auch über drei aufeinanderfolgende Drehungen mit den eulerschen Winkeln um bestimmte Koordinatenachsen erzielen, sodass sich diese Matrix auch mit diesen Winkeln formulieren lässt.

Eine Drehung um eine beliebige Achse ${\hat {n}}$ (mit $\hat n\cdot\hat n = 1$ ) um den Winkel $\alpha$ lässt sich im $\mathbb {R} ^{3}$ schreiben als:

$R_{\hat{n}}(\alpha)\vec{x}=\hat{n}(\hat{n}\cdot\vec{x})+\cos\left(\alpha\right)(\hat{n}\times\vec{x})\times\hat{n}+\sin\left(\alpha\right)(\hat{n}\times\vec{x})$

Dies lässt sich mit der Graßmann-Identität für doppelte Kreuzprodukte und dem dyadischen Produkt $\otimes$ umformen zu:

${\begin{aligned}R_{\hat {n}}(\alpha ){\vec {x}}&=(1-\cos \alpha ){\hat {n}}({\hat {n}}\cdot {\vec {x}})+\cos \alpha \,{\vec {x}}+\sin \alpha ({\hat {n}}\times {\vec {x}})\\&={\Bigl \{}(1-\cos \alpha ){\hat {n}}\otimes {\hat {n}}+I\,\cos \alpha +\sin \alpha \sum _{i}({\hat {n}}\times {\hat {e}}_{i})\otimes {\hat {e}}_{i}{\Bigr \}}{\vec {x}}\\&={\Bigl \{}(1-\cos \alpha ){\hat {n}}\otimes {\hat {n}}+I\,\cos \alpha +[{\hat {n}}]_{\times }\,\sin \alpha {\Bigr \}}{\vec {x}}\end{aligned}}$

Dabei ist die Einheitsmatrix und $\hat{e}_{i}$ sind die kanonischen Einheitsvektoren. $[\hat n]_{\times}$ ist die Kreuzproduktmatrix von ${\hat {n}}$ . Der Term in geschweiften Klammern stellt die Drehmatrix im $\mathbb {R} ^{3}$ dar. In Komponentendarstellung schreibt sich diese so:

$[R_{\hat n}(\alpha)]_{ij}=(1-\cos\alpha)n_{i}n_{j}+\cos\alpha\,\delta_{ij}+\sin\alpha\,\varepsilon_{ikj}n_{k}$

Dabei sind $\delta _{ij}$ das Kronecker-Delta und $\varepsilon _{ikj}$ das Levi-Civita-Symbol.

Eine Drehmatrix $R\neq I$ im $\mathbb {R} ^{3}$ hat den Eigenwert 1, dieser ist nicht entartet, und der zugehörige Eigenraum bildet die Drehachse.

Parametrisierung

Für Drehmatrizen im dreidimensionalen Raum sind mehrere Parametrisierungen bekannt:

Euler-, Kardan- und Tait-Bryan-Winkel werden in der Kreiseltheorie, Luftfahrt, Schifffahrt und im Automobilbau verwendet.
Die Euler-Rodrigues-Formel basiert auf den Quaternionen und wird in der Robotik und Computergrafik angewendet.
Rotationsvektoren $\vec\alpha$ sind in vielfältiger Weise definierbar, siehe die folgende Auflistung.

${\begin{array}{lcl}{\vec {\alpha }}=\alpha {\hat {n}}&\rightarrow &R=I+{\frac {\sin(\alpha )}{\alpha }}[{\vec {\alpha }}]_{\times }+{\frac {1-\cos(\alpha )}{\alpha ^{2}}}[{\vec {\alpha }}]_{\times }^{2}=\exp([{\vec {\alpha }}]_{\times })\\{\vec {\alpha }}=\tan \left({\dfrac {\alpha }{2}}\right)\;{\hat {n}}&\rightarrow &R=I+{\dfrac {2}{1+{\vec {\alpha }}\cdot {\vec {\alpha }}}}([{\vec {\alpha }}]_{\times }+[{\vec {\alpha }}]_{\times }^{2})\\[2ex]{\vec {\alpha }}=\sin(\alpha )\;{\hat {n}}&\rightarrow &R=I+[{\vec {\alpha }}]_{\times }+{\dfrac {1}{1+\cos(\alpha )}}[{\vec {\alpha }}]_{\times }^{2}\\[2ex]{\vec {\alpha }}=\sin \left({\dfrac {\alpha }{2}}\right)\;{\hat {n}}&\rightarrow &R=I+2\cos \left({\dfrac {\alpha }{2}}\right)[{\vec {\alpha }}]_{\times }+2[{\vec {\alpha }}]_{\times }^{2}\end{array}}$

Darin ist $\alpha$ der Drehwinkel, ${\hat {n}}$ der Einheitsvektor in Richtung der Drehachse und $[{\vec {\alpha }}]_{\times }$ ist die Kreuzproduktmatrix des Rotationsvektors. Die Auflistung gibt vier Darstellungen derselben Drehmatrix, die mit Winkel $\alpha$ um die Drehachse ${\hat {n}}$ dreht.

Drehmatrizen des Raumes ℝⁿ

Im -dimensionalen Raum wird eine Drehung nicht durch eine Drehachse, sondern durch die Ebene definiert, die bei der Drehung auf sich selbst abgebildet wird. Das gilt auch in zwei Dimensionen, wo die Dreh-„Achse“ nur ein Punkt ist. Seien im $\mathbb {R} ^{n}$ die Vektoren ${\hat {g}}_{1}$ und $\hat{g}_2$ zwei zueinander orthogonale Einheitsvektoren (also ${\hat {g}}_{1}\cdot {\hat {g}}_{2}=0$ und $\left|{\hat {g}}_{1}\right|=\left|{\hat {g}}_{2}\right|=1$ ), die demnach eine Ebene aufspannen. Seien $V={\hat {g}}_{1}\otimes {\hat {g}}_{1}+{\hat {g}}_{2}\otimes {\hat {g}}_{2}$ , $W={\hat {g}}_{1}\otimes {\hat {g}}_{2}-{\hat {g}}_{2}\otimes {\hat {g}}_{1}$ , und I_n die Einheitsmatrix. Dann vermittelt die Matrix

$R=\exp(\alpha W)=I_{n}+\left(\cos(\alpha )-1\right)V+\sin(\alpha )W$

eine Drehung um den Winkel $\alpha$ in der $\hat{g}_1\text{-}\hat{g}_2\text{-Ebene}$ im $\mathbb {R} ^{n}$ . Dabei wurde

$\exp \left(\alpha W\right):=\sum _{k=0}^{\infty }{\frac {\alpha ^{k}}{k\mathrm {!} }}{W}^{k}$

und W^0:=I_n definiert. Die Darstellung > $\exp(\alpha W)=I_{n}+\left(\cos(\alpha )-1\right)V+\sin(\alpha )W$ ergibt sich aus den Identitäten

${\begin{aligned}{W}^{2}=&WW=-V\,,\quad WV=VW=W\,,\quad V^{2}=V\\\rightarrow W^{2n}=&(-1)^{n}V\quad {\text{und}}\quad {W}^{2n+1}=(-1)^{n}W\end{aligned}}$

sowie

$\cos(\alpha )=1+\sum _{k=1}^{\infty }{\frac {{(-1)}^{k}}{\left(2k\right)\mathrm {!} }}\alpha ^{2k}\quad {\text{und}}\quad \sin(\alpha )=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)\mathrm {!} }}\alpha ^{2k+1}.$

Eigensystem der Drehmatrizen

Von wird jeder auf $\hat{g}_1$ und $\hat{g}_2$ senkrecht stehende Vektor ${\vec {n}}$ (mit ${\vec {n}}\cdot {\hat {g}}_{1}={\vec {n}}\cdot {\hat {g}}_{2}=0$ ) auf sich selbst abgebildet. Also sind diese Vektoren ${\vec {n}}$ Eigenvektoren von mit Eigenwert 1. Zwei Eigenwerte von sind > $\lambda _{1,2}=e^{\pm \mathrm {i} \alpha }$ mit den Eigenvektoren ${\hat {v}}_{1,2}={\tfrac {\sqrt {2}}{2}}\left({\hat {g}}_{1}\pm \mathrm {i} {\hat {g}}_{2}\right)$ , worin $\mathrm i^2=-1$ die imaginäre Einheit definiert. Aus diesen komplexen Eigenwerten und Eigenvektoren kann man also den Drehwinkel und die Drehebene rekonstruieren. Des Weiteren gilt bei Drehung in einer Ebene:

${\begin{aligned}\operatorname {Sp} R=&n+2\cos(\alpha )-2\rightarrow \alpha =\arccos \left({\frac {\operatorname {Sp} (R)+2-n}{2}}\right)\\R-{R}^{\top }=&2\sin(\alpha )W\rightarrow {\hat {g}}_{1}\otimes {\hat {g}}_{2}-{\hat {g}}_{2}\otimes {\hat {g}}_{1}=W={\frac {R-{R}^{\top }}{2\sin(\alpha )}}\end{aligned}}$

Allerdings kann eine Drehung im -dimensionalen Raum gleichzeitig in ${\tfrac {n}{2}}$ (falls gerade) oder ${\tfrac {n-1}{2}}$ (falls ungerade) Ebenen auch mit mehreren unterschiedlichen Winkeln stattfinden. Dadurch kann es in geraden Dimensionen dazu kommen, dass eine allgemeine Drehmatrix nicht den Eigenwert 1 hat.

Allgemeine Definition

Eine $n\times n$ -Matrix mit reellen Komponenten heißt Drehmatrix, wenn sie

a) die Länge von Vektoren und die Winkel zwischen Vektoren erhält (ausgedrückt durch das Skalarprodukt), wenn also für alle Vektoren und des $\mathbb {R} ^{n}$ gilt:

$\langle Rx,Ry\rangle =\langle x,y\rangle$

und

b) orientierungserhaltend ist, wenn also $\det\, R=1$ gilt.

Drehmatrizen sind orthogonale Matrizen mit der Determinante +1.

Eigenschaften

Weitere Eigenschaften von Rotationsmatrizen $R\in \mathbb {R} ^{n\times n}$ :

Quadratische Matrix mit reellen Komponenten

$R^{T}R=R\ R^{T}={I_{n}}$ (orthogonal), folgt aus dem ersten Teil der Definition:

$\left\langle Rx,Ry\right\rangle \equiv \left\langle x,R^{T}Ry\right\rangle =\left\langle x,y\right\rangle \quad \Rightarrow \quad R^{T}R=I$

$R^T = R^{-1}$ (Transponierte und Inverse von R sind gleich), folgt aus der Orthogonalität.

$\det (R) = 1$ (Determinante), entspricht dem zweiten Teil der Definition.

Die Ausrichtung des Koordinatensystems (Rechts- oder Linkssystem) wird beibehalten, da $\det (R) = 1 > 0$ positive Orientierung.

Die Kombination einer Drehung $R_{1}$ mit anschließender Drehung $R_{2}$ erfolgt mit der Matrix $R_{2}R_{1}$ . Weil die Matrizenmultiplikation nicht kommutativ ist, führt die umgekehrte Reihenfolge $R_{1}R_{2}$ im Allgemeinen zu einem anderen Ergebnis. Nur bei infinitesimal kleinen Drehungen ist die Reihenfolge vertauschbar, siehe #Kommutativität infinitesimaler Drehungen.

Die Menge aller Drehmatrizen eines Raumes bildet die Drehgruppe, nämlich die spezielle orthogonale Gruppe:

$\mathrm {SO} (n)=\left\{{\text{lineare Abbildung }}R\colon \,\mathbb {R} ^{n}\to \mathbb {R} ^{n}\ |\ R^{T}R=I_{n}\,,\ \det \,R=1\right\}$

Zusätzlich zur algebraischen Struktur einer Gruppe besitzt die Menge aller Drehmatrizen auch eine topologische Struktur: Die Operationen Multiplikation und Inversion von Drehmatrizen sind stetig differenzierbare Funktionen ihrer Parameter, der Drehwinkel. Die $\mathrm{SO}(n)$ bildet eine differenzierbare Mannigfaltigkeit und ist somit eine Lie-Gruppe. Diese hat die Dimension .

Mit der Lie-Gruppe $\mathrm{SO}(n)$ ist eine Lie-Algebra $\mathfrak{so}(n)$ verknüpft, ein Vektorraum mit einem bilinearen alternierenden Produkt (Lie-Klammer), wobei der Vektorraum bezüglich der Lie-Klammer abgeschlossen ist. Dieser Vektorraum ist isomorph zum Tangentialraum am neutralen Element der $\mathrm{SO}(n)$ (neutrales Element ist die Einheitsmatrix), sodass insbesondere $\dim {\mathfrak {so}}(n)=\dim \mathrm {SO} (n)$ gilt. Die Lie-Algebra besteht aus allen schiefsymmetrischen $n\times n$ -Matrizen und ihre Basis sind die sog. Erzeugenden. Die Exponentialabbildung verknüpft die Lie-Algebra mit der Lie-Gruppe:

$\exp\colon\ \mathfrak{so}(n)\to\mathrm{SO}(n),\ J\mapsto\sum_{k=0}^{\infty}\frac{1}{k!}J^{k}$

Speziell bei Drehungen in einer Ebene gilt für Rotationsmatrizen $R\in \mathbb {R} ^{n\times n}$ :

$R^{{-1}}(\alpha )=R({-\alpha })=R(2\pi -\alpha )$

Zwei Vektoren spannen die Drehebene auf und Vektoren werden von auf sich abgebildet. In drei Dimensionen wird ein Vektor auf sich abgebildet, der dann die Drehachse erzeugt.

Die zur Drehebene senkrechten Vektoren ${\vec {v}}$ sind Lösung von

$(R-I){\vec {v}}={\vec {0}}.$

für ungerade Dimensionen nicht regulär ist, ist die Berechnung dieser Vektoren über eine Eigenwertzerlegung durchzuführen. Die Vektoren ${\vec {v}}$ sind Eigenvektor von mit Eigenwert 1. In geraden Dimensionen muss kein Eigenvektor zum Eigenwert 1 existieren, was im Fall n=2

anschaulich klar ist.

Der Drehwinkel $\alpha$ ergibt sich über das Skalarprodukt:

$\quad \left\langle {\vec {w}},R{\vec {w}}\right\rangle =\left\|{\vec {w}}\right\|\left\|R{\vec {w}}\right\|\cos \alpha$

mit ${\vec {w}}$ in der Drehebene, in drei Dimensionen also orthogonal zur Drehachse, oder aus der Spur der Drehmatrix

$\operatorname {Spur} (R)=n-2+2\cos \alpha$

(siehe auch Formel für die Matrix einer Drehung um eine allgemeine Achse oben).

Infinitesimale Drehungen

Betrachtet man Drehungen um infinitesimal kleine Winkel $\mathrm {d} \alpha$ , so ist es ausreichend, die Winkelfunktionen der endlichen Drehung bis zur ersten Ordnung zu entwickeln ( $\sin x = x$ bzw. $\cos x = 1$ ). Damit lassen sich nun infinitesimale Drehungen darstellen als

$R(\mathrm {d} \alpha )=I+\mathrm {d} \alpha \,J,$

wobei die Einheitsmatrix und die Erzeugende einer infinitesimalen Drehung darstellt. Die Erzeugenden sind die Ableitungen der Rotationsmatrix an der Stelle der Identität und bilden die Basis der Lie-Algebra $\mathfrak{so}(n)$ (Beispiel siehe unten).

$J=\left.\frac{\mathrm{d}R(\alpha)}{\mathrm{d}\alpha}\right|_{\alpha=0}$

Eine endliche Drehung lässt sich durch Hintereinanderausführung infinitesimaler Drehungen erzeugen:

$R(\alpha )=\lim _{N\to \infty }\left[R\left({\frac {\alpha }{N}}\right)\right]^{N}=\lim _{N\to \infty }\left[I+{\frac {\alpha }{N}}\,J\right]^{N}=\exp \left(\alpha J\right)\equiv \sum _{n=0}^{\infty }{\frac {\left(\alpha J\right)^{n}}{n!}}$

Dabei wurde die Exponentialfunktion identifiziert. Die Exponentialfunktion von Matrizen ist über die Reihendarstellung definiert, wie im letzten Schritt gezeigt. Es lässt sich zeigen, dass Erzeugende spurfrei sein müssen:

$1=\det R(\alpha )=\exp(\alpha \ \operatorname {Sp} \,J)\quad \implies \quad \operatorname {Sp} \,J=0$

und schiefsymmetrisch sind:

$I=R(\alpha )R^{\mathrm {T} }(\alpha )=R^{\mathrm {T} }(\alpha )R(\alpha )=e^{\alpha J}e^{\alpha J^{\mathrm {T} }}=e^{\alpha J^{\mathrm {T} }}e^{\alpha J}=e^{\alpha (J+J^{\mathrm {T} })}\quad \implies \quad J+J^{\mathrm {T} }=0.$

Mit dem Konzept der Erzeugenden lässt sich die lokale Gruppenstruktur der $\mathrm{SO}(n)$ in der Umgebung der identischen Abbildung ausdrücken, und zwar durch die infinitesimalen Drehungen. Wegen des Zusammenhangs über die Exponentialfunktion wird aus einer Multiplikation von Drehmatrizen eine Addition ihrer Erzeugenden. Die Erzeugenden bilden einen Vektorraum derselben Dimension G=n(n-1)/2 wie die Drehgruppe $\mathrm{SO}(n)$ ; somit gibt es linear unabhängige Erzeugende der Gruppe $\mathrm{SO}(n)$ .

Die Erzeugenden J_i bilden mit dem Lie-Produkt (Kommutator) die sog. Lie-Algebra $\mathfrak{so}(n)$ . Eine Algebra besitzt zwei Gruppenstrukturen, die kommutative Addition und eine Multiplikation (Lie-Produkt). Der Kommutator zweier Erzeugenden liegt wieder in der Menge der Erzeugenden (Abgeschlossenheit):

$[J_{i},J_{k}]=\sum_{l}c_{ik}^{l}J_{l}$

Die Koeffizienten $c_{ik}^{l}=-c_{ki}^{l}$ sind charakteristische Konstanten der Gruppe. Für alle doppelten Kommutatoren gilt die Jacobi-Identität:

$\left[[J_{i},J_{k}],J_{l}\right]+\left[[J_{k},J_{l}],J_{i}\right]+\left[[J_{l},J_{i}],J_{k}\right]=0$

In der theoretischen Physik spielen Lie-Gruppen eine wichtige Rolle, z.B. in der Quantenmechanik (siehe Drehimpulsoperator) oder der Elementarteilchenphysik.

Ebene ℝ²

Für Drehungen im $\mathbb {R} ^{2}$ lauten die infinitesimale Drehung und ihre Erzeugende:

$R(\mathrm {d} \alpha )={\begin{pmatrix}1&-\mathrm {d} \alpha \\\mathrm {d} \alpha &1\end{pmatrix}}\,,\quad J={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}$

Für die ${\mathrm {SO}}(2)$ gibt es nur eine linear unabhängige Erzeugende.

Eine endliche Drehung lässt sich über die Exponentialfunktion des Drehwinkels und der Erzeugenden darstellen. Dies wird hier auf eine weitere Art gezeigt: Die Drehmatrix wird in einen symmetrischen und antisymmetrischen Anteil zerlegt und die trigonometrischen Funktionen werden durch ihre Taylorreihe dargestellt.

$R(\alpha)=I\,\cos\alpha+J\,\sin\alpha=I\,\sum_{n=0}^{\infty}(-1)^{n}\frac{\alpha^{2n}}{(2n)!}+J\,\sum_{n=0}^{\infty}(-1)^{n}\frac{\alpha^{2n+1}}{(2n+1)!}$

Mit J^2=-I bzw. $J^{2n}=(-I)^n$ folgt das von oben bekannte Ergebnis:

$R(\alpha)=\sum_{n=0}^{\infty}J^{2n}\frac{\alpha^{2n}}{(2n)!}+\sum_{n=0}^{\infty}J^{2n+1}\frac{\alpha^{2n+1}}{(2n+1)!}=\exp(\alpha J)$

Raum ℝ³

Für Drehungen im $\mathbb {R} ^{3}$ um die kartesischen Koordinatenachsen lauten die infinitesimalen Drehungen und ihre Erzeugenden:

${\begin{aligned}R_{x}(\mathrm {d} \alpha )&={\begin{pmatrix}1&0&0\\0&1&-\mathrm {d} \alpha \\0&\mathrm {d} \alpha &1\end{pmatrix}}\,,\quad &J_{x}&={\begin{pmatrix}0&0&0\\0&0&-1\\0&1&0\end{pmatrix}}\\R_{y}(\mathrm {d} \alpha )&={\begin{pmatrix}1&0&\mathrm {d} \alpha \\0&1&0\\-\mathrm {d} \alpha &0&1\end{pmatrix}}\,,\quad &J_{y}&={\begin{pmatrix}0&0&1\\0&0&0\\-1&0&0\end{pmatrix}}\\R_{z}(\mathrm {d} \alpha )&={\begin{pmatrix}1&-\mathrm {d} \alpha &0\\\mathrm {d} \alpha &1&0\\0&0&1\end{pmatrix}}\,,\quad &J_{z}&={\begin{pmatrix}0&-1&0\\1&0&0\\0&0&0\end{pmatrix}}\end{aligned}}$

Für die $\mathrm{SO}(3)$ gibt es drei linear unabhängige Erzeugende. Gegenüber endlichen Drehungen vertauschen infinitesimale Drehungen miteinander (der Kommutator verschwindet in erster Ordnung in $\mathrm {d} \alpha$ ).

Eine infinitesimale Drehung und ihre Erzeugende um eine beliebige Achse ${\hat {n}}$ (mit $\hat n\cdot\hat n = 1$ ) lässt sich auch schreiben als:

$R_{\hat {n}}(\mathrm {d} \alpha )=I+\mathrm {d} \alpha \sum _{i}({\hat {n}}\times {\hat {e}}_{i})\otimes {\hat {e}}_{i}={\begin{pmatrix}1&-\mathrm {d} \alpha \,n_{z}&\mathrm {d} \alpha \,n_{y}\\\mathrm {d} \alpha \,n_{z}&1&-\mathrm {d} \alpha \,n_{x}\\-\mathrm {d} \alpha \,n_{y}&\mathrm {d} \alpha \,n_{x}&1\end{pmatrix}}$

$J_{\hat{n}}=\sum_{i}\left(\hat{n}\times\hat{e}_{i}\right)\otimes\hat{e}_{i}=\begin{pmatrix}0 & -n_{z} & n_{y}\\ n_{z} & 0 & -n_{x}\\ -n_{y} & n_{x} & 0\end{pmatrix}$

Hieran sieht man, dass eine beliebige Erzeugende stets eine schiefsymmetrische Matrix ist.

Eine endliche Drehung um eine beliebige Achse ${\hat {n}}$ (mit $\hat n\cdot\hat n = 1$ ) um den Winkel $\alpha$ lässt sich so darstellen:

$R_{\hat{n}}(\alpha)=\exp\Big(\alpha\,J_{\hat{n}}\Big)=\exp\Big(\alpha\,\hat{n}\cdot\vec{J}\,\Big)=\exp\Big(\alpha(n_{x}J_{x}+n_{y}J_{y}+n_{z}J_{z})\Big)$

Die Erzeugenden J_x , J_y , J_z bilden die sog. Lie-Algebra $\mathfrak{so}(3)$ , d.h., der Kommutator (Lie-Produkt) zweier Erzeugenden liegt wieder in der Menge der Erzeugenden:

$[J_{x},J_{y}]=J_{z}\,,\quad[J_{x},J_{z}]=-J_{y}$

und ebenso für alle zyklischen Permutationen der Indizes.

Kommutativität infinitesimaler Drehungen

Siehe auch: Winkelgeschwindigkeit#Kommutativität

Zwei infinitesimale Drehungen sind in ihrer Reihenfolge vertauschbar, was bei großen Drehungen im Allgemeinen nicht der Fall ist, siehe #Eigenschaften. Ersichtlich ist das am Produkt zweier infinitesimaler Drehungen $R_{n}=I+\mathrm {d} \alpha J_{n}$ und $R_{m}=I+\mathrm {d} \beta J_{m}$

${\begin{aligned}R_{n}R_{m}=&(I+\mathrm {d} \alpha J_{n})(I+\mathrm {d} \beta J_{m})\\=&I+\mathrm {d} \alpha J_{n}+\mathrm {d} \beta J_{m}+\mathrm {d} \alpha \mathrm {d} \beta J_{n}J_{m}\\\approx &I+\mathrm {d} \alpha J_{n}+\mathrm {d} \beta J_{m}\approx I+\mathrm {d} \alpha J_{n}+\mathrm {d} \beta J_{m}+\mathrm {d} \alpha \mathrm {d} \beta J_{m}J_{n}\\=&(I+\mathrm {d} \beta J_{m})(I+\mathrm {d} \alpha J_{n})=R_{m}R_{n},\end{aligned}}$

denn die Terme, die proportional zum Produkt $\mathrm {d} \alpha \mathrm {d} \beta$ zweier infinitesimaler Größen sind, können gegenüber den anderen vernachlässigt werden.

Bestimmung der Drehung zwischen zwei Lagen

Gegeben sei die Lage eines Körpers in zwei Positionen. Außerdem sei die Positionsänderung durch Drehung um den Ursprung erfolgt. Gesucht ist die oder eine Drehmatrix, die diese Drehung beschreibt. Im -dimensionalen Raum wird die Lage des Körpers durch Punkte $\vec{x}_i,\; i=1\ldots n$ beschrieben, welche die Matrix $X={\Big (}{\vec {x}}_{1}\ldots {\vec {x}}_{n}{\Big )}$ bilden. Die Ausgangslage werde durch X_0 , die verdrehte Lage durch beschreiben. Dann gilt für die Drehung

$R\,X_0 = X.$

Ist X_0 regulär, dann kann die Drehmatrix einfach durch Rechtsmultiplikation mit $X_0^{-1}$ bestimmt werden:

$R = X\,X_0^{-1}.$

Ist X_0 nicht regulär, weil zum Beispiel einer der Punkte des Körpers im Ursprung liegt, dann kann die Inverse nicht gebildet werden. Auch die Pseudoinverse führt hier nicht zum Ziel. Allerdings kann eine Singulärwertzerlegung durchgeführt werden. Diese liefert für eine Matrix die unitären Matrizen und sowie die Diagonalmatrix $\Sigma$ der Singulärwerte:

${\begin{aligned}(U,\Sigma ,V)&={\text{svd}}(X)\\X&=U\,\Sigma \,V^{\mathrm {T} }\end{aligned}}$

Man kann zeigen, dass die Singulärwerte gegenüber einer Rotation invariant sind. Es gilt also $\Sigma =\Sigma _{0}$ und damit

$\begin{align} R\,X_0 & = X\\ R\,U_0\,\Sigma_0\,V_0^{\mathrm T} & = U\,\Sigma\,V^{\mathrm T}\\ R & = U\,V^{\mathrm T}\,V_0\,U_0^{\mathrm T}. \end{align}$

Siehe auch

Literatur

Gerd Fischer: Lineare Algebra. Eine Einführung für Studienanfänger. 17. aktualisierte Auflage. Vieweg + Teubner, Wiesbaden 2010, ISBN 978-3-8348-0996-4 (Studium. Grundkurs Mathematik).
Max Koecher: Lineare Algebra und analytische Geometrie. 4. ergänzte und aktualisierte Auflage. Springer, Berlin u.a. 1997, ISBN 3-540-62903-3 (Grundwissen Mathemati– Springer-Lehrbuch).
Florian Scheck: Theoretische Physik. Band 1: Mechanik, von den Newtonschen Gesetzen zum deterministischen Chaos. 8. Auflage. Springer, Berlin u.a. 2007, ISBN 978-3-540-71377-7.

Basierend auf einem Artikel in:

Wikipedia.de