Matrixgruppen in der Physik: Unterschied zwischen den Versionen

Aus FunFacts Wiki
Zur Navigation springen Zur Suche springen
 
(15 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
Titel zu Matrizen in der Physik ändern?
+
Matrizen haben in der Physik eine zentrale Bedeutung, da sie lineare Abbildungen zwischen Vektorräumen repräsentieren. Im Folgenden werden einige Beispiele von Matrixgruppen und Matrizen in der Physik aufgezeigt. Dabei wird deutlich, dass einerseits sowohl der Gruppencharakter von Matrizen, andererseits aber auch die Nutzung von Matrizen an sich von großer Bedeutung ist.
 
 
Matrizen haben in der Physik eine zentrale Bedeutung, da sie lineare Abbildungen zwischen Vektorräumen repräsentieren.
 
  
 
==Grundbegriffe der Gruppentheorie==
 
==Grundbegriffe der Gruppentheorie==
 
===Allgemeine Definition===
 
===Allgemeine Definition===
In der Mathematik bezeichnet der Begriff der '''Gruppe''' <math>(G,\cdot)</math> ein Tupel bestehend aus einer Menge <math>G</math> und einer wohldefinierten Abbildung <math>\cdot : G\times G\to G;\ (x,y)\mapsto x\cdot y</math> welche folgende Eigenschaften, genannt Gruppenaxiome erfüllt:
+
In der Mathematik bezeichnet der Begriff der '''Gruppe''' <math>(G,\cdot)</math> ein Tupel bestehend aus einer Menge <math>G</math> und einer wohldefinierten Abbildung <math>\cdot : G\times G\to G;\ (x,y)\mapsto x\cdot y</math> welche folgende Eigenschaften, genannt Gruppenaxiome, erfüllt:
 
{|
 
{|
 
|
 
|
Zeile 27: Zeile 25:
 
|<math>a\cdot a^{-1}=a^{-1}\cdot a=e</math>
 
|<math>a\cdot a^{-1}=a^{-1}\cdot a=e</math>
 
|}
 
|}
Wichtig hier ist, dass das Neutrale Element <math>e</math> sovie für jedes Gruppenelement <math>a</math> das Inverse <math>a^{-1}</math> eindeutig ist.
+
Wichtig hier ist, dass das neutrale Element <math>e</math>, sowie für jedes Gruppenelement <math>a</math> das Inverse <math>a^{-1}</math> eindeutig ist.
  
 
Eine Gruppe heißt '''abelsch''', falls sie zudem noch ein viertes Axiom erfüllt:
 
Eine Gruppe heißt '''abelsch''', falls sie zudem noch ein viertes Axiom erfüllt:
Zeile 39: Zeile 37:
  
 
'''Beispiele:'''
 
'''Beispiele:'''
* <math>(\mathbb{Z},+)</math>: Die ganzen Zahlen mit der gewöhnlichen Addition bilden eine abelsche Gruppe. Das Neutrale Element ist die 0 und das Inverse zu einer ganzen Zahl <math>n</math> ist <math>-n</math>.
+
* <math>(\mathbb{Z},+)</math>: Die ganzen Zahlen mit der gewöhnlichen Addition bilden eine abelsche Gruppe. Das neutrale Element ist die 0 und das Inverse zu einer ganzen Zahl <math>n</math> ist <math>-n</math>.
 
* <math>(\mathbb{Q}\backslash\{0\},\cdot)</math>: Die rationalen Zahlen ohne die Null bilden mit der Multiplikation eine abelsche Gruppe.
 
* <math>(\mathbb{Q}\backslash\{0\},\cdot)</math>: Die rationalen Zahlen ohne die Null bilden mit der Multiplikation eine abelsche Gruppe.
 
* <math>(S_n,\circ)</math>: Die [https://de.wikipedia.org/wiki/Symmetrische_Gruppe symmetrische Gruppe] vom Grad <math>n</math> ist mit der Komposition (bzw. Hintereinanderausführung) eine Gruppe. Für <math>n\geq3</math> ist sie jedoch nicht abelsch.
 
* <math>(S_n,\circ)</math>: Die [https://de.wikipedia.org/wiki/Symmetrische_Gruppe symmetrische Gruppe] vom Grad <math>n</math> ist mit der Komposition (bzw. Hintereinanderausführung) eine Gruppe. Für <math>n\geq3</math> ist sie jedoch nicht abelsch.
Zeile 46: Zeile 44:
 
Als '''Untergruppe''' <math>(U,\cdot)\subset (G,\cdot)</math> bezeichnet man eine nichtleere Teilmenge einer Gruppe <math>(G,\cdot)</math> welche selber wieder eine Gruppe ist, d.h. wieder die Gruppenaxiome erfüllt. Insbesondere ist sie abgeschlossen, d.h. es gilt    <math>\forall a,b\in U:\ \ a\cdot b\in U</math>
 
Als '''Untergruppe''' <math>(U,\cdot)\subset (G,\cdot)</math> bezeichnet man eine nichtleere Teilmenge einer Gruppe <math>(G,\cdot)</math> welche selber wieder eine Gruppe ist, d.h. wieder die Gruppenaxiome erfüllt. Insbesondere ist sie abgeschlossen, d.h. es gilt    <math>\forall a,b\in U:\ \ a\cdot b\in U</math>
  
Eine äquivalente Definition ist, dass eine Nichtleere Teilmenge <math>U\subset G</math> genau dann eine Untergruppe ist, falls gilt:
+
Eine äquivalente Definition ist, dass eine nichtleere Teilmenge <math>U\subset G</math> genau dann eine Untergruppe ist, falls gilt:
 
:: <math>\forall a,b\in U: \quad a\cdot b^{-1}\in U</math>
 
:: <math>\forall a,b\in U: \quad a\cdot b^{-1}\in U</math>
  
Zeile 52: Zeile 50:
 
| style="text-align:left; font-size: 95%;" | '''Beweis der Äquivalenz'''&nbsp;&nbsp;
 
| style="text-align:left; font-size: 95%;" | '''Beweis der Äquivalenz'''&nbsp;&nbsp;
 
|-
 
|-
|Wir beweisen die Äquivalenz, indem wir die hin- und Rückrichtung beweisen:
+
|Wir beweisen die Äquivalenz, indem wir die Hin- und Rückrichtung beweisen:
  
 
<math>
 
<math>
Zeile 60: Zeile 58:
 
<math>\Leftarrow</math>: Hierzu müssen wir die Gruppenaxiome überprüfen:
 
<math>\Leftarrow</math>: Hierzu müssen wir die Gruppenaxiome überprüfen:
  
'''Assoziativität:''' Da für alle Elemente der Untergruppe die Verknüpfung nach vie vor noch innerhalb der Gruppe geschieht, wird die Assoziativität von der Obergruppe <math>G</math> vererbt.
+
'''Assoziativität:''' Da für alle Elemente der Untergruppe die Verknüpfung nach wie vor noch innerhalb der Gruppe geschieht, wird die Assoziativität von der Obergruppe <math>G</math> vererbt.
  
 
'''Neutrales Element:''' Sei ein <math>a\in U</math> gegeben. Da <math>U</math> nichtleer ist, existiert (unter Verwendung des Auswahlaxioms) ein solches Element. Somit folgt nach Vorraussetzung:
 
'''Neutrales Element:''' Sei ein <math>a\in U</math> gegeben. Da <math>U</math> nichtleer ist, existiert (unter Verwendung des Auswahlaxioms) ein solches Element. Somit folgt nach Vorraussetzung:
Zeile 79: Zeile 77:
  
 
Aus dieser Definition folgen direkt einige Eigenschaften von Untergruppen:
 
Aus dieser Definition folgen direkt einige Eigenschaften von Untergruppen:
* Das Neutrale Element ist in jeder Untergruppe enthalten.
+
* Das neutrale Element ist in jeder Untergruppe enthalten.
 
* Für jedes Element einer Untergruppe ist auch das Inverse in der Untergruppe enthalten.
 
* Für jedes Element einer Untergruppe ist auch das Inverse in der Untergruppe enthalten.
 
* Der Schnitt zweier Untergruppen ist wieder eine Untergruppe.
 
* Der Schnitt zweier Untergruppen ist wieder eine Untergruppe.
Zeile 85: Zeile 83:
  
 
===Lie-Gruppen===
 
===Lie-Gruppen===
Eine, für die Physik besonders wichtige, Klasse fon Gruppen sind sogenannte '''Lie-Gruppen''' (benannt nach dem norwegischen Mathematiker [https://de.wikipedia.org/wiki/Sophus_Lie Sophus Lie]). Diese sind reellle, differenzierbare Mannigfaltigkeiten (also Teilmengen des <math>\mathbb{R}^m</math>, welche lokal ''wie der <math>\mathbb{R}^n</math> (<math> m\geq n</math>) aussehen''), welche mit einer Gruppenstruktur versehen sind. Dabei muss die Verknüpfung und die Inversenbildung beliebig oft differenzierbar sein :
+
Eine für die Physik besonders wichtige Klasse von Gruppen sind sogenannte (reelle) '''Lie-Gruppen''' (benannt nach dem norwegischen Mathematiker [https://de.wikipedia.org/wiki/Sophus_Lie Sophus Lie]). Diese sind reellle, differenzierbare Mannigfaltigkeiten (also Mengen (im reellen fall Teilmengen des <math>\mathbb{R}^m</math>), welche lokal ''wie der <math>\mathbb{R}^n</math> (<math> m\geq n</math>) aussehen''), welche mit einer Gruppenstruktur versehen sind. Dabei muss die Verknüpfung und die Inversenbildung beliebig oft differenzierbar sein :
  
 
::<math>\left(\cdot: G\times G\to G\right)\in C^\infty</math>
 
::<math>\left(\cdot: G\times G\to G\right)\in C^\infty</math>
Zeile 93: Zeile 91:
  
 
====Beispiel: die allgemeine lineare Gruppe <math>GL_n(\mathbb{R})</math>====
 
====Beispiel: die allgemeine lineare Gruppe <math>GL_n(\mathbb{R})</math>====
Die allgemeine lineare Gruppe <math>GL_n(\mathbb{R})</math>, also die Menge aller invertierbarer <math>n\times n</math>-Matrizen mit reellen Einträgen, ist eine Lie-Gruppe (<math>GL_n(\mathbb{R})</math> ist eine offene Teilmenge von <math>Mat(n\times n,\mathbb{R})\cong \mathbb{R}^{n^2}</math> und damit eine glatte, reellwertige Mannigfaltigkeit). Die Datrixmultiplikation und die Inversenbildung sind differenzierbar, mit folgenden Differentialen:
+
Die allgemeine lineare Gruppe <math>GL_n(\mathbb{R})</math>, die Menge aller invertierbaren <math>n\times n</math>-Matrizen mit reellen Einträgen, ist eine Lie-Gruppe (<math>GL_n(\mathbb{R})</math> ist eine offene Teilmenge der <math>n\times n</math>- Matrizen <math>Mat(n\times n,\mathbb{R})</math>, welche wir mit dem <math>\mathbb{r}^{n^2}</math> identifizieren können, und damit eine glatte, reellwertige Mannigfaltigkeit). Die Matrixmultiplikation <math>m</math> und die Inversenbildung <math>i</math> sind differenzierbar mit folgenden Differentialen:
  
 
::<math>
 
::<math>
 
\begin{array}{ll}
 
\begin{array}{ll}
 
D_{\hat{A},\hat{B}}m(A,b)=\hat{A}B+A\hat{B} &\forall\hat{A},\hat{B},A,B\in GL_n(\mathbb{R})\\
 
D_{\hat{A},\hat{B}}m(A,b)=\hat{A}B+A\hat{B} &\forall\hat{A},\hat{B},A,B\in GL_n(\mathbb{R})\\
D_{\hat{A}}i(A)=-A^{-1}\hat{A}A^{-1} &\forall\hat{A}A\in GL_n(\mathbb{R})
+
D_{\hat{A}}i(A)=-A^{-1}\hat{A}A^{-1} &\forall\hat{A},A\in GL_n(\mathbb{R})
 
\end{array}</math>
 
\end{array}</math>
  
Zeile 105: Zeile 103:
 
== Matrizen und Matrixgruppen ==
 
== Matrizen und Matrixgruppen ==
 
Eine Matrix ist eine Anordnung von mathematischen Objekten in Rechteckform, für die bestimmte Rechenoperationen definiert sind. In der Physik werden sie sowohl als Darstellung linearer Abbildungen als auch als Wertesammlung und zur Lösung linearer Gleichungssysteme genutzt. Dabei wird häufig auf Konzepte der Eineindeutigkeit, d. h. Umkehrbarkeit, oder Symmetrie zurückgegriffen, wenn mit Matrizen gearbeitet wird.
 
Eine Matrix ist eine Anordnung von mathematischen Objekten in Rechteckform, für die bestimmte Rechenoperationen definiert sind. In der Physik werden sie sowohl als Darstellung linearer Abbildungen als auch als Wertesammlung und zur Lösung linearer Gleichungssysteme genutzt. Dabei wird häufig auf Konzepte der Eineindeutigkeit, d. h. Umkehrbarkeit, oder Symmetrie zurückgegriffen, wenn mit Matrizen gearbeitet wird.
 
...
 
  
 
Häufig werden in der Physik Matrizen zur Beschreibung von Transformationen eines Objektes im Raum genutzt. Insbesondere werden anschauliche lineare Abbildungen im zwei- und dreidimensionalen Raum häufig genutzt, vierdimensionale Matrizen sind z. B. bei relativistischen Berechnungen häufig anzutreffen. Höherdimensionale Matrizen sind spielen häufig eine untergeordnete Rolle. Dabei ist mitunter weniger der Gruppencharakter als die elegante Beschreibung und einfache Berechnung von Bedeutung. Nichtsdestotrotz sollen auch solche Matrizen erwähnt werden.  
 
Häufig werden in der Physik Matrizen zur Beschreibung von Transformationen eines Objektes im Raum genutzt. Insbesondere werden anschauliche lineare Abbildungen im zwei- und dreidimensionalen Raum häufig genutzt, vierdimensionale Matrizen sind z. B. bei relativistischen Berechnungen häufig anzutreffen. Höherdimensionale Matrizen sind spielen häufig eine untergeordnete Rolle. Dabei ist mitunter weniger der Gruppencharakter als die elegante Beschreibung und einfache Berechnung von Bedeutung. Nichtsdestotrotz sollen auch solche Matrizen erwähnt werden.  
Zeile 122: Zeile 118:
 
Diese Matrizen beschreiben '''Reskalierungen des Raumes''', also das Stauchen oder Strecken der Koordinatenachsen des Raumes.
 
Diese Matrizen beschreiben '''Reskalierungen des Raumes''', also das Stauchen oder Strecken der Koordinatenachsen des Raumes.
  
'''Beispiel''' im zweidimensionalen Raum der reellen Zahlen: <math>\begin{pmatrix}2&0\\0&3\end{pmatrix}</math> skaliert des Raum, sodass ein Vektor <math>\begin{pmatrix}1\\1\end{pmatrix}</math> zu dem Vektor <math>\begin{pmatrix}2&0\\0&3\end{pmatrix}\cdot\begin{pmatrix}1\\1\end{pmatrix}=\begin{pmatrix}2\\3\end{pmatrix}</math> wird (siehe Abb. 1).
+
'''Beispiel''' im <math>\mathbb{R}^2</math>:
 +
 
 +
<math>\begin{pmatrix}2&0\\0&3\end{pmatrix}</math> skaliert den Raum, sodass ein Vektor <math>\begin{pmatrix}1\\1\end{pmatrix}</math> zu dem Vektor <math>\begin{pmatrix}2&0\\0&3\end{pmatrix}\cdot\begin{pmatrix}1\\1\end{pmatrix}=\begin{pmatrix}2\\3\end{pmatrix}</math> wird (siehe Abb. 1).
  
 
====2. Zentrische Streckungen====
 
====2. Zentrische Streckungen====
[[Datei:Zentrisch gestreckter Vektor.jpg|mini|188x188px|Bild eines zentrisch gestreckten Vektors]]
+
[[Datei:Zentrisch gestreckter Vektor.jpg|mini|188x188px|Abb. 2: Bild eines zentrisch gestreckten Vektors]]
 
Zur Untergruppe der zentrischen Streckungen gehören all diejenigen Diagonalmatrizen, bei denen alle Diagonalelemente gleich und verschieden von null sind.  
 
Zur Untergruppe der zentrischen Streckungen gehören all diejenigen Diagonalmatrizen, bei denen alle Diagonalelemente gleich und verschieden von null sind.  
  
'''Beispiel''' im zweidimensionalen Raum der reellen Zahlen: <math>\begin{pmatrix}3&0\\0&3\end{pmatrix}</math>ist eine zentrische Streckung um den Faktor 3. Der Vektor <math>\begin{pmatrix}1\\1\end{pmatrix}</math> zu dem Vektor <math>\begin{pmatrix}3&0\\0&3\end{pmatrix}\cdot\begin{pmatrix}1\\1\end{pmatrix}=\begin{pmatrix}3\\3\end{pmatrix}</math> (siehe Abb. 2).
+
'''Beispiel''' im im <math>\mathbb{R}^2</math>:  
 +
 
 +
<math>\begin{pmatrix}3&0\\0&3\end{pmatrix}</math>ist eine zentrische Streckung um den Faktor 3. Der Vektor <math>\begin{pmatrix}1\\1\end{pmatrix}</math> zu dem Vektor <math>\begin{pmatrix}3&0\\0&3\end{pmatrix}\cdot\begin{pmatrix}1\\1\end{pmatrix}=\begin{pmatrix}3\\3\end{pmatrix}</math> (siehe Abb. 2).
  
 
====3. Spezielle lineare Gruppe <math>SL(n, K)</math>====
 
====3. Spezielle lineare Gruppe <math>SL(n, K)</math>====
Die spezielle lineare Gruppe enthält alle Matrizen, der allgemeinen linearen Gruppe, deren Determinante 1
+
Die spezielle lineare Gruppe enthält alle Matrizen der allgemeinen linearen Gruppe, deren Determinante 1
 
beträgt. Daher ist sie ein Normalteiler von <math>GL(n, K)</math>, also ist die durch <math>SL(n, K)</math> gebildete Faktorgruppe <math>GL(n,K)/SL(n, K)</math> isomorph zur Gruppe der Einheiten von <math>K</math> (ohne Null).
 
beträgt. Daher ist sie ein Normalteiler von <math>GL(n, K)</math>, also ist die durch <math>SL(n, K)</math> gebildete Faktorgruppe <math>GL(n,K)/SL(n, K)</math> isomorph zur Gruppe der Einheiten von <math>K</math> (ohne Null).
 
In der Physik sind besonders die Untergruppen <math>SO(n)</math> (spezielle orthogonale Gruppe) und <math>SU(n)</math> (spezielle unitäre Gruppe) der speziellen linearen Gruppe von Bedeutung.  
 
In der Physik sind besonders die Untergruppen <math>SO(n)</math> (spezielle orthogonale Gruppe) und <math>SU(n)</math> (spezielle unitäre Gruppe) der speziellen linearen Gruppe von Bedeutung.  
  
====4. Orthogonale Gruppe <math>SL(n, K)</math>====
+
====4. Orthogonale Gruppe <math>O(n, K)</math>====
In der orthogonalen Gruppe sind alle orthogonalen Matrizen, also alle Matrizen, deren Inverses zugleich ihre
+
In der orthogonalen Gruppe sind alle orthogonalen Matrizen, das sind alle Matrizen, deren Inverses zugleich ihre
 
transponierte Matrix ist. In orthogonalen Matrizen sind die Zeilen- und Spaltenvektoren bezüglich des
 
transponierte Matrix ist. In orthogonalen Matrizen sind die Zeilen- und Spaltenvektoren bezüglich des
 
Standardskalarprodukts orthonormal zueinander. Die Determinante einer orthogonalen Matrix hat immer den  
 
Standardskalarprodukts orthonormal zueinander. Die Determinante einer orthogonalen Matrix hat immer den  
Zeile 143: Zeile 143:
  
 
=====a. Spezielle orthogonale Gruppe <math>SO(n)</math>=====
 
=====a. Spezielle orthogonale Gruppe <math>SO(n)</math>=====
[[Datei:Drehung.jpg|mini|237x237px|Bild eines Vektors unter einer Drehung]]
+
[[Datei:Drehung.jpg|mini|237x237px|Abb. 3: Bild eines Vektors unter einer Drehung]]
Die spezielle orthogonale Gruppe umfasst alle orthogonalen Matrizen mit der Determinante 1. Physikalisch gesehen beschreiben diese Matrizen '''Drehungen'''.
+
Die spezielle orthogonale Gruppe umfasst alle orthogonalen Matrizen mit Determinante 1. Physikalisch gesehen beschreiben diese Matrizen '''Drehungen'''.
  
In der Physik besonders relevant ist die spezielle orthogonale Gruppe im dreidimensionalen Raum <math>SO(3)</math>
+
In der Physik besonders relevant ist die spezielle orthogonale Gruppe im dreidimensionalen Raum <math>SO(3)</math>.
  
Diese beschreiben alle Drehungen um eine durch den Koordinatenursprung verlaufende Drehachse
+
Matrizen aus <math>SO(3)</math> beschreiben alle Drehungen um eine durch den Koordinatenursprung verlaufende Drehachse
 
im dreidimensionalen Raum. Beispielsweise führen die folgenden Matrizen zu
 
im dreidimensionalen Raum. Beispielsweise führen die folgenden Matrizen zu
 
Drehungen um eine der Hauptachsen (x, y oder z) um den winkel <math>\alpha</math>:
 
Drehungen um eine der Hauptachsen (x, y oder z) um den winkel <math>\alpha</math>:
Zeile 183: Zeile 183:
 
\end{pmatrix}\cdot\begin{pmatrix}1\\1\\3\end{pmatrix}=\begin{pmatrix}0\\\sqrt{2}\\3\end{pmatrix}</math> (siehe Abb. 3)
 
\end{pmatrix}\cdot\begin{pmatrix}1\\1\\3\end{pmatrix}=\begin{pmatrix}0\\\sqrt{2}\\3\end{pmatrix}</math> (siehe Abb. 3)
  
Da sie außerden das Standart-Skalarprodukt auf <math>\mathbb{R}^3</math> (und damit die Geometrie) invariant lässt, nennt man diese Gruppe auch '''Isometriegruppe des <math>\mathbb{R}^3</math>'''.
+
Da sie außerdem das Standard-Skalarprodukt auf <math>\mathbb{R}^3</math> (und damit die Geometrie) invariant lässt, ist diese Gruppe die '''Isometriegruppe des <math>\mathbb{R}^3</math>'''.
  
=====b. <math>O(n)\backslash SO(n)</math>=====
+
=====b. Drehspiegelungen <math>O(n)\backslash SO(n)</math>=====
[[Datei:Drehspiegelung.jpg|mini|230x230px|Bild eines Vektors unter einer Drehspiegelung]]
+
[[Datei:Drehspiegelung.jpg|mini|230x230px|Abb. 4: Bild eines Vektors unter einer Drehspiegelung]]
Die Menge <math>O(n)/SO(n)</math> umfasst alle orthogonalen Matrizen mit der Determinante -1. Damit umfasst
+
Die Menge <math>O(n)\backslash SO(n)</math> umfasst alle orthogonalen Matrizen mit der Determinante -1. Damit umfasst
diese Menge hysikalisch gesehen alle '''Drehspiegellungen'''. Da zwei hintereinander ausgeführte Drehspiegelungen jedoch einer einfachen Drehung (und nicht wieder einer Drehspiegelung) entsprechen, ist diese Menge nicht abgeschlossen und damit keine Gruppe. Diese lassen sich, ähnlich wie Drehungen beispielsweise durch folgende Matrizen darstellen:
+
diese Menge hpysikalisch gesehen alle '''Drehspiegelungen'''. Da zwei hintereinander ausgeführte Drehspiegelungen jedoch einer einfachen Drehung (und nicht wieder einer Drehspiegelung) entsprechen, ist diese Menge nicht abgeschlossen und damit keine Gruppe. Elemente aus <math>O(n)\backslash SO(n)</math>lassen sich, ähnlich wie Drehungen, beispielsweise durch folgende Matrizen darstellen:
  
 
<math>
 
<math>
Zeile 215: Zeile 215:
 
</math>
 
</math>
  
Wird nun eine solche Drehspiegelungsmatrix für die Drehachse z und <math>\alpha=45^\circ</math> auf den Vektor <math>\begin{pmatrix}1\\1\\3\end{pmatrix}</math> angewendet, so ergibt sich der neue Vektor <math>\begin{pmatrix}
+
Wird nun beispielsweise eine solche Drehspiegelungsmatrix für die Drehachse z und <math>\alpha=45^\circ</math> auf den Vektor <math>\begin{pmatrix}1\\1\\3\end{pmatrix}</math> angewendet, so ergibt sich der neue Vektor <math>\begin{pmatrix}
 
\cos 45^\circ&-\sin45^\circ&0\\
 
\cos 45^\circ&-\sin45^\circ&0\\
 
\sin45^\circ&\cos45^\circ&0\\
 
\sin45^\circ&\cos45^\circ&0\\
Zeile 222: Zeile 222:
  
 
====Unitäre Gruppe <math>U(n)</math>====
 
====Unitäre Gruppe <math>U(n)</math>====
Die unitäre Gruppe über dem Körper der komplexen Zahlen umfasst alle unitäre Matrizen, also all diejenigen
+
Die unitäre Gruppe über dem Körper der komplexen Zahlen ist eine Gruppe nicht reeller Matrizen. Sie umfasst alle unitären Matrizen, das sind all diejenigen
 
Matrizen, deren hermitesch transponierte (also transponierte und komplex konjugierte) Matrix zugleich das
 
Matrizen, deren hermitesch transponierte (also transponierte und komplex konjugierte) Matrix zugleich das
 
Inverse der Matrix ist. In der Physik ist diese Matrixgruppe von entscheidender Bedeutung bei der Beschreibung
 
Inverse der Matrix ist. In der Physik ist diese Matrixgruppe von entscheidender Bedeutung bei der Beschreibung
 
von '''Symmetrien der Wellenfunktion''' in der Quantenphysik.
 
von '''Symmetrien der Wellenfunktion''' in der Quantenphysik.
 
Wie die orthogonale Gruppe hat auch die unitäre Gruppe eine Untergruppe all jener Matrizen, deren
 
Wie die orthogonale Gruppe hat auch die unitäre Gruppe eine Untergruppe all jener Matrizen, deren
Determinante 1 ist. Diese Untergruppe heißt und ist eine kompakte Lie-Gruppe und differenzierbare Mannigfaltigkeit.
+
Determinante 1 ist. Diese Untergruppe heißt spezielle unitäre Gruppe <math>SU(n)</math> und ist eine kompakte Lie-Gruppe und differenzierbare Mannigfaltigkeit.
 
 
 
 
 
 
==Darstellung abstrakter Gruppen==
 
 
 
 
 
  
 
== Beispiel: Matrizenoptik ==
 
== Beispiel: Matrizenoptik ==
 
Ein Beispiel für Matrizen in der Experimentalphysik ist die sogenannte Matrizenoptik. Unter der Prämisse der geradlinigen Ausbreitung von Lichtstrahlen, die als Geraden behandelt werden können, lassen sich optische Systeme mithilfe von linearen Transformationen leicht berechnen. Betrachtet man die Ausbreitung eines Lichtstrahls unter einem kleinen Winkel zu einer Achse, so ist jener Strahl durch den Winkel und die Entfernung auf der Achse vollständig bestimmt. Die Linearisierung tan(α) = α erlaubt es, den Strahl als Vektor mit den Komponenten des Abstandes und des Winkels zu beschreiben. Es gilt also für den Vektor <math>\textbf{r} = (r, \alpha)</math>, der einen Lichtstrahl charakterisiert, dass das Zurücklegen einer Strecke <math>b</math>entlang der jeweiligen Achse durch eine Matrix beschrieben werden kann, die im einfachen Fall zweier Dimensionen durch  
 
Ein Beispiel für Matrizen in der Experimentalphysik ist die sogenannte Matrizenoptik. Unter der Prämisse der geradlinigen Ausbreitung von Lichtstrahlen, die als Geraden behandelt werden können, lassen sich optische Systeme mithilfe von linearen Transformationen leicht berechnen. Betrachtet man die Ausbreitung eines Lichtstrahls unter einem kleinen Winkel zu einer Achse, so ist jener Strahl durch den Winkel und die Entfernung auf der Achse vollständig bestimmt. Die Linearisierung tan(α) = α erlaubt es, den Strahl als Vektor mit den Komponenten des Abstandes und des Winkels zu beschreiben. Es gilt also für den Vektor <math>\textbf{r} = (r, \alpha)</math>, der einen Lichtstrahl charakterisiert, dass das Zurücklegen einer Strecke <math>b</math>entlang der jeweiligen Achse durch eine Matrix beschrieben werden kann, die im einfachen Fall zweier Dimensionen durch  
 
+
[[Datei:Bildschirmfoto 2021-09-24 um 20.24.47.jpg|mini|Visualisierung eines Strahls an einer optischen Achse, entnommen aus Wikipedia: von Traitor - Eigenes Werk (done with GEONExT), CC BY-SA 3.0, <nowiki>https://commons.wikimedia.org/w/index.php?curid=957863</nowiki>]]
 +
[[Datei:Matthk.png|mini|Wirkung einer dicken, bikonvexen Linse auf den Strahlengang und Beschreibung mithilfe von Matrizen, entnommen von: R Nave, <nowiki>http://hyperphysics.phy-astr.gsu.edu/hbase/geoopt/imgsys.html</nowiki>]]
 
<math>\begin{bmatrix}
 
<math>\begin{bmatrix}
 
1 & b \\
 
1 & b \\
Zeile 280: Zeile 275:
 
\end{bmatrix} </math>
 
\end{bmatrix} </math>
 
|}
 
|}
Hierbei stehen <math>n_1, n_2</math> für die Brechungsindices der Medien, die das Licht in dieser Reihenfolge passiert, <math>f</math> für die Brennweite der Linse und <math>r</math> für den Radius des gekrümmten Spiegels. Auch komplexere Elemente wie andere Linsen und Spiegel oder Fasern lassen sich so beschreiben. Dieser Formalismus erlaubt durch Hintereinanderausführung eine vergleichsweise einfache Berechnung selbst von Aufbauten, die viele optische Elemente enthalten. Klassische Eigenschaften von Matrizen wie z. B. die Determinante sind auch hier bedeutsam, beispielsweise muss die Determinante einer Translationsmatrix immer eins sein, allerdings nur vom Betrag, da auch Spiegelungen zugelassen sind.<ref>"Optik, Licht und Laser", 3. Auflage, Meschede, Dieter, Vieweg+Teubner, S. 20 - 33</ref>
+
Jene Operationen meinen dabei den Effekt bestimmter optischer Bauteile auf ein Strahlengang. Hierbei stehen <math>n_1, n_2</math> für die Brechungsindices der Medien, die das Licht in dieser Reihenfolge passiert, <math>f</math> für die Brennweite der Linse und <math>r</math> für den Radius des gekrümmten Spiegels. Auch komplexere Elemente wie andere Linsen und Spiegel oder Fasern lassen sich so beschreiben. Dieser Formalismus erlaubt durch Hintereinanderausführung eine vergleichsweise einfache Berechnung selbst von Aufbauten, die viele optische Elemente enthalten. Dies lässt sich in der Abbildung rechts erkennen, wo die Wirkung einer dicken Linse, die an beiden Seiten konvex nach außen gewölbt ist, auf den Strahlengang durch die Hintereinanderausführung von Matrizen beschrieben werden kann. Klassische Eigenschaften von Matrizen wie z. B. die Determinante sind auch hier bedeutsam, beispielsweise muss die Determinante einer Translationsmatrix immer eins sein, allerdings nur vom Betrag, da auch Spiegelungen zugelassen sind.<ref>"Optik, Licht und Laser", 3. Auflage, Meschede, Dieter, Vieweg+Teubner, S. 20 - 33</ref>
  
== andere Anwendungen von Matrizen ==
+
== Andere Anwendungen von Matrizen ==
Mitunter werden Matrizen auch nicht im Sinne einer Transformation, sondern als eine Form von Darstellung z. B. für einen Tensor oder einen Gewichtungsfaktor genutzt.  
+
Mitunter werden Matrizen auch nicht im Sinne einer Transformation, sondern als eine Darstellung z. B. für einen Tensor oder einen Gewichtungsfaktor genutzt.  
  
Beispielsweise lassen sich Tensoren als Matrizen darstellen, z. B. das Kronecker-Delta als 2x2-Einheitsmatrix.  
+
So ist bspw. das Kronecker-Delta, insofern als Tensor betrachtet, eine 2x2-Einheitsmatrix. Häufig wird in der Physik folgende Darstellung verwendet
  
 
<math>\delta_{ij} = \begin{bmatrix}
 
<math>\delta_{ij} = \begin{bmatrix}
Zeile 296: Zeile 291:
 
\end{bmatrix} </math>
 
\end{bmatrix} </math>
  
Der Trägheitstensor, einer "Verallgemeinerung" des Trägheitsmomentes, gibt an, wie träge ein Körper gegenüber einer Änderung der Winkelgeschwindigkeit um eine seiner Achsen ist. Im Trägheitstensor ist diese Eigenschaft bezüglich verschiedener Achsen dargestellt, und er wird zumeist als Matrix notiert. Dabei entsprechen z. B. symmetrische Darstellungen oder Matrizen in Diagonalgestalt direkt den physikalischen Eigenschaften des Objektes, u. a. in Form von Symmetrien.  
+
wobei damit eigentlich
 +
 
 +
<math>(\delta_{ij})_{i,j \in \{ 1, ..., n\}}= \begin{bmatrix}
 +
\delta_{11} & \cdots & \delta_{1n} \\
 +
\vdots &\ddots &  \vdots \\
 +
\delta_{n1} &  \cdots  & \delta_{nn}
 +
\end{bmatrix}
 +
=
 +
\begin{bmatrix}
 +
1 & \quad & 0 \\
 +
\quad &\ddots &  \quad \\
 +
0 &  \quad  & 1
 +
\end{bmatrix}
 +
</math>
 +
 
 +
gemeint ist.
 +
 
 +
Der Trägheitstensor, einer "Verallgemeinerung" des Trägheitsmomentes, gibt an, wie träge ein Körper gegenüber einer Änderung der Winkelgeschwindigkeit um eine seiner Achsen ist. Im Trägheitstensor ist diese Eigenschaft bezüglich verschiedener Achsen dargestellt, und er wird zumeist als Matrix notiert. Dabei entsprechen z. B. symmetrische Darstellungen oder Matrizen in Diagonalgestalt direkt den physikalischen Eigenschaften des Objektes, u. a. in Form von Symmetrien. Die jeweiligen Einträge bezeichnen dabei die Trägheitsmomente in die entsprechenden Richtungen (im Koordinatensystem mit 1-,2- und 3-Achse).  
  
 
<math>I= \begin{bmatrix}
 
<math>I= \begin{bmatrix}
Zeile 304: Zeile 316:
 
\end{bmatrix} </math>,  
 
\end{bmatrix} </math>,  
  
Trägheitstensor einer Punktmasse mit Abstand r auf der 1-Achse:
+
Trägheitstensor einer Punktmasse m mit Abstand r auf der x-Achse:
  
 
<math>I= m r^2 \begin{bmatrix}
 
<math>I= m r^2 \begin{bmatrix}
Zeile 312: Zeile 324:
 
\end{bmatrix} </math>  
 
\end{bmatrix} </math>  
  
Im Lagrange-Formalismus der klassischen Mechanik lässt sich die Lagrange-Funktion, deren Extremalisierung zentraler Bestandteil des analystischen Lösungsprozesses zur Bestimmung der Bewegungsgleichungen eines Systems ist, mitunter durch Matrizen darstellen. Dadurch ist die Berechnung vereinfacht und es können bestimmte Eigenschaften des Systems, z. B. Schwingungsfrequenzen (sog. Normalmoden), bestimmt werden. Hierbei wird zwar der Matrizenformalismus zur Berechnung genutzt, zugleich muss aber beachtet werden, inwiefern diese Matrix physikalische Realität besitzt. Dieses Argument wird bspw. verwendet, um die Symmetrie jener Matrix zu begründen.   
+
Im Lagrange-Formalismus der klassischen Mechanik lässt sich die Lagrange-Funktion. Zentraler Bestandteil des analystischen Lösungsprozesses zur Bestimmung der Bewegungsgleichungen eines Systems ist es, ein Extremum jener Lagrange-Funktion zu finden; mitunter lässt sie sich auch durch Matrizen darstellen. Dadurch ist die Berechnung vereinfacht und es können bestimmte Eigenschaften des Systems, z. B. Schwingungsfrequenzen (sog. Normalmoden), bestimmt werden. Hierbei wird zwar der Matrizenformalismus zur Berechnung genutzt, zugleich muss aber beachtet werden, inwiefern diese Matrix physikalische Realität besitzt, d. h. ob sie nur eine Art von "Wertesammlung" darstellt oder eine tatsächliche Transformation. Dieses Argument wird bspw. verwendet, um die Symmetrie jener Matrix zu begründen, denn wenn die Matrix nur dazu dient, bestimmte Elemente durch die entsprechenden Indizes zuzuordnen und durch Multiplikation mit passenden Vektoren eine bestimmte Gleichung zu liefern, so dürfte es keinen Unterschied machen, welche Reihenfolge die Indizes haben.   
  
 
In der Elektrotechnik werden häufig lineare Gleichungssysteme von Schaltkreisen mithilfe von Matrizenmultiplikation beschrieben.   
 
In der Elektrotechnik werden häufig lineare Gleichungssysteme von Schaltkreisen mithilfe von Matrizenmultiplikation beschrieben.   
Zeile 318: Zeile 330:
 
Auch die Jacobi- und Hessematrix werden in der Physik genutzt, z. B. bei der Transformation von Integralen oder bei der mehrdimensionalen Taylorentwicklung.   
 
Auch die Jacobi- und Hessematrix werden in der Physik genutzt, z. B. bei der Transformation von Integralen oder bei der mehrdimensionalen Taylorentwicklung.   
  
<references />
+
== Referenz ==
 +
<references /><small>dieser Wiki-Eintrag wurde von Antonia Kersten, Konrad Kockler und Mateo Cárdenes Wuttig erstellt</small>

Aktuelle Version vom 12. Oktober 2021, 10:34 Uhr

Matrizen haben in der Physik eine zentrale Bedeutung, da sie lineare Abbildungen zwischen Vektorräumen repräsentieren. Im Folgenden werden einige Beispiele von Matrixgruppen und Matrizen in der Physik aufgezeigt. Dabei wird deutlich, dass einerseits sowohl der Gruppencharakter von Matrizen, andererseits aber auch die Nutzung von Matrizen an sich von großer Bedeutung ist.

Grundbegriffe der Gruppentheorie

Allgemeine Definition

In der Mathematik bezeichnet der Begriff der Gruppe [math](G,\cdot)[/math] ein Tupel bestehend aus einer Menge [math]G[/math] und einer wohldefinierten Abbildung [math]\cdot : G\times G\to G;\ (x,y)\mapsto x\cdot y[/math] welche folgende Eigenschaften, genannt Gruppenaxiome, erfüllt:

  • Assoziativität:
[math]\forall a,b,c\in G:[/math] [math](a\cdot b)\cdot c=a\cdot(b\cdot c)[/math]
  • Neutrales Element:
[math]\exists! e\in G\ \forall a\in G:[/math] [math]e\cdot a=a\cdot e=a[/math]
  • Inverses Element:
[math]\forall a\in G\ \exists !a^{-1}\in G:\quad[/math] [math]a\cdot a^{-1}=a^{-1}\cdot a=e[/math]

Wichtig hier ist, dass das neutrale Element [math]e[/math], sowie für jedes Gruppenelement [math]a[/math] das Inverse [math]a^{-1}[/math] eindeutig ist.

Eine Gruppe heißt abelsch, falls sie zudem noch ein viertes Axiom erfüllt:

  • Kommutativität:
[math]\forall a,b\in G:[/math] [math] a\cdot b=b\cdot a [/math]

Beispiele:

  • [math](\mathbb{Z},+)[/math]: Die ganzen Zahlen mit der gewöhnlichen Addition bilden eine abelsche Gruppe. Das neutrale Element ist die 0 und das Inverse zu einer ganzen Zahl [math]n[/math] ist [math]-n[/math].
  • [math](\mathbb{Q}\backslash\{0\},\cdot)[/math]: Die rationalen Zahlen ohne die Null bilden mit der Multiplikation eine abelsche Gruppe.
  • [math](S_n,\circ)[/math]: Die symmetrische Gruppe vom Grad [math]n[/math] ist mit der Komposition (bzw. Hintereinanderausführung) eine Gruppe. Für [math]n\geq3[/math] ist sie jedoch nicht abelsch.

Untergruppen

Als Untergruppe [math](U,\cdot)\subset (G,\cdot)[/math] bezeichnet man eine nichtleere Teilmenge einer Gruppe [math](G,\cdot)[/math] welche selber wieder eine Gruppe ist, d.h. wieder die Gruppenaxiome erfüllt. Insbesondere ist sie abgeschlossen, d.h. es gilt [math]\forall a,b\in U:\ \ a\cdot b\in U[/math]

Eine äquivalente Definition ist, dass eine nichtleere Teilmenge [math]U\subset G[/math] genau dann eine Untergruppe ist, falls gilt:

[math]\forall a,b\in U: \quad a\cdot b^{-1}\in U[/math]
Beweis der Äquivalenz  
Wir beweisen die Äquivalenz, indem wir die Hin- und Rückrichtung beweisen:

[math] \Rightarrow [/math]: Folgt direkt aus der Abgeschlossenheit der Gruppen und der Gruppenaxiome.

[math]\Leftarrow[/math]: Hierzu müssen wir die Gruppenaxiome überprüfen:

Assoziativität: Da für alle Elemente der Untergruppe die Verknüpfung nach wie vor noch innerhalb der Gruppe geschieht, wird die Assoziativität von der Obergruppe [math]G[/math] vererbt.

Neutrales Element: Sei ein [math]a\in U[/math] gegeben. Da [math]U[/math] nichtleer ist, existiert (unter Verwendung des Auswahlaxioms) ein solches Element. Somit folgt nach Vorraussetzung:

[math]e=a\cdot a^{-1}\in U[/math]

Somit ist das neutrale Element [math]e[/math] in [math]U[/math] erhalten.

Inverses Element: Sei ein [math]a\in U[/math] gegeben. Wie oben gezeigt, ist das neutrale Element in U enthalten. Somit gilt nach Vorraussetzung:

[math]a^{-1}=e\cdot a^{-1}\in U[/math]

Somit ist für jedes Element in [math]U[/math] auch das Inverse in [math]U[/math] enthalten. Die Eindeutigkeit folgt aus der Eindeutigkeit des Inversen in [math]G[/math].

Damit erfüllt [math]U[/math] alle Gruppenaxiome und die beiden Definitionen sind äquivalent.

Aus dieser Definition folgen direkt einige Eigenschaften von Untergruppen:

  • Das neutrale Element ist in jeder Untergruppe enthalten.
  • Für jedes Element einer Untergruppe ist auch das Inverse in der Untergruppe enthalten.
  • Der Schnitt zweier Untergruppen ist wieder eine Untergruppe.


Lie-Gruppen

Eine für die Physik besonders wichtige Klasse von Gruppen sind sogenannte (reelle) Lie-Gruppen (benannt nach dem norwegischen Mathematiker Sophus Lie). Diese sind reellle, differenzierbare Mannigfaltigkeiten (also Mengen (im reellen fall Teilmengen des [math]\mathbb{R}^m[/math]), welche lokal wie der [math]\mathbb{R}^n[/math] ([math] m\geq n[/math]) aussehen), welche mit einer Gruppenstruktur versehen sind. Dabei muss die Verknüpfung und die Inversenbildung beliebig oft differenzierbar sein :

[math]\left(\cdot: G\times G\to G\right)\in C^\infty[/math]
[math]\left(i:G\to G; x\mapsto i(x)=x^{-1}\right)\in C^\infty[/math]

Wichtig ist, dass eine Untergruppe einer Lie-Gruppe nicht zwangsweise wieder eine Lie-Gruppe sein muss.

Beispiel: die allgemeine lineare Gruppe [math]GL_n(\mathbb{R})[/math]

Die allgemeine lineare Gruppe [math]GL_n(\mathbb{R})[/math], die Menge aller invertierbaren [math]n\times n[/math]-Matrizen mit reellen Einträgen, ist eine Lie-Gruppe ([math]GL_n(\mathbb{R})[/math] ist eine offene Teilmenge der [math]n\times n[/math]- Matrizen [math]Mat(n\times n,\mathbb{R})[/math], welche wir mit dem [math]\mathbb{r}^{n^2}[/math] identifizieren können, und damit eine glatte, reellwertige Mannigfaltigkeit). Die Matrixmultiplikation [math]m[/math] und die Inversenbildung [math]i[/math] sind differenzierbar mit folgenden Differentialen:

[math] \begin{array}{ll} D_{\hat{A},\hat{B}}m(A,b)=\hat{A}B+A\hat{B} &\forall\hat{A},\hat{B},A,B\in GL_n(\mathbb{R})\\ D_{\hat{A}}i(A)=-A^{-1}\hat{A}A^{-1} &\forall\hat{A},A\in GL_n(\mathbb{R}) \end{array}[/math]

Induktiv folgt damit, dass beide Abbildungen glatt sind, da die Differentiale wieder differenzierbar sind.

Matrizen und Matrixgruppen

Eine Matrix ist eine Anordnung von mathematischen Objekten in Rechteckform, für die bestimmte Rechenoperationen definiert sind. In der Physik werden sie sowohl als Darstellung linearer Abbildungen als auch als Wertesammlung und zur Lösung linearer Gleichungssysteme genutzt. Dabei wird häufig auf Konzepte der Eineindeutigkeit, d. h. Umkehrbarkeit, oder Symmetrie zurückgegriffen, wenn mit Matrizen gearbeitet wird.

Häufig werden in der Physik Matrizen zur Beschreibung von Transformationen eines Objektes im Raum genutzt. Insbesondere werden anschauliche lineare Abbildungen im zwei- und dreidimensionalen Raum häufig genutzt, vierdimensionale Matrizen sind z. B. bei relativistischen Berechnungen häufig anzutreffen. Höherdimensionale Matrizen sind spielen häufig eine untergeordnete Rolle. Dabei ist mitunter weniger der Gruppencharakter als die elegante Beschreibung und einfache Berechnung von Bedeutung. Nichtsdestotrotz sollen auch solche Matrizen erwähnt werden.

Allgemeine lineare Gruppe [math]GL_n(K)[/math]

Die allgemeine lineare Gruppe [math]GL(n,K)[/math] oder [math]GL_n(K)[/math] auch (vom englischen "general linear group") heißt vom Grad n und über dem Körper K. Weitere Schreibweisen sind [math]GL(n,q)[/math], wenn der Körper K endlich ist und die Primzahlpotenz q hat, und [math]GL(n)[/math] beziehungsweise [math]GL_n[/math] , wenn es sich bei dem Körper um die reellen oder komplexen Zahlen handelt.

Sie umfasst alle invertierbaren [math]n\times n[/math]-Matrizen mit Koeffizienten aus dem Körper K. Die Verknüpfung der Elemente der Gruppe erfolgt durch die Matrixmultiplikation. Die allgemeine lineare Gruppe und einige ihrer Untergruppen werden in der Physik zur Untersuchung von Symmetrien genutzt.

In der Physik bedeutsame Untergruppen der allgemeinen linearen Gruppe

1. Untergruppe der Diagonalmatrizen

Abb. 1: Bild eines Vektors unter einer Diagonalmatrix.

Die Untergruppe der Diagonalmatrizen enthält all diejenigen quadratischen Matrizen der allgemeinen linearen Gruppe, die nur auf der Hauptdiagonalen von null verschiedene Elemente aufweisen. Bei Matrizen dieser Untergruppe müssen alle Elemente der Hauptdiagonalen ungleich null sein. Diese Matrizen beschreiben Reskalierungen des Raumes, also das Stauchen oder Strecken der Koordinatenachsen des Raumes.

Beispiel im [math]\mathbb{R}^2[/math]:

[math]\begin{pmatrix}2&0\\0&3\end{pmatrix}[/math] skaliert den Raum, sodass ein Vektor [math]\begin{pmatrix}1\\1\end{pmatrix}[/math] zu dem Vektor [math]\begin{pmatrix}2&0\\0&3\end{pmatrix}\cdot\begin{pmatrix}1\\1\end{pmatrix}=\begin{pmatrix}2\\3\end{pmatrix}[/math] wird (siehe Abb. 1).

2. Zentrische Streckungen

Abb. 2: Bild eines zentrisch gestreckten Vektors

Zur Untergruppe der zentrischen Streckungen gehören all diejenigen Diagonalmatrizen, bei denen alle Diagonalelemente gleich und verschieden von null sind.

Beispiel im im [math]\mathbb{R}^2[/math]:

[math]\begin{pmatrix}3&0\\0&3\end{pmatrix}[/math]ist eine zentrische Streckung um den Faktor 3. Der Vektor [math]\begin{pmatrix}1\\1\end{pmatrix}[/math] zu dem Vektor [math]\begin{pmatrix}3&0\\0&3\end{pmatrix}\cdot\begin{pmatrix}1\\1\end{pmatrix}=\begin{pmatrix}3\\3\end{pmatrix}[/math] (siehe Abb. 2).

3. Spezielle lineare Gruppe [math]SL(n, K)[/math]

Die spezielle lineare Gruppe enthält alle Matrizen der allgemeinen linearen Gruppe, deren Determinante 1 beträgt. Daher ist sie ein Normalteiler von [math]GL(n, K)[/math], also ist die durch [math]SL(n, K)[/math] gebildete Faktorgruppe [math]GL(n,K)/SL(n, K)[/math] isomorph zur Gruppe der Einheiten von [math]K[/math] (ohne Null). In der Physik sind besonders die Untergruppen [math]SO(n)[/math] (spezielle orthogonale Gruppe) und [math]SU(n)[/math] (spezielle unitäre Gruppe) der speziellen linearen Gruppe von Bedeutung.

4. Orthogonale Gruppe [math]O(n, K)[/math]

In der orthogonalen Gruppe sind alle orthogonalen Matrizen, das sind alle Matrizen, deren Inverses zugleich ihre transponierte Matrix ist. In orthogonalen Matrizen sind die Zeilen- und Spaltenvektoren bezüglich des Standardskalarprodukts orthonormal zueinander. Die Determinante einer orthogonalen Matrix hat immer den Betrag 1. Damit lässt sich die orthogonale Gruppe in zwei disjunkte Untergruppen aufteilen: die orthogonalen Matrizen mit Determinante 1 und die orthogonalen Matrizen mit Determinante -1.

a. Spezielle orthogonale Gruppe [math]SO(n)[/math]
Abb. 3: Bild eines Vektors unter einer Drehung

Die spezielle orthogonale Gruppe umfasst alle orthogonalen Matrizen mit Determinante 1. Physikalisch gesehen beschreiben diese Matrizen Drehungen.

In der Physik besonders relevant ist die spezielle orthogonale Gruppe im dreidimensionalen Raum [math]SO(3)[/math].

Matrizen aus [math]SO(3)[/math] beschreiben alle Drehungen um eine durch den Koordinatenursprung verlaufende Drehachse im dreidimensionalen Raum. Beispielsweise führen die folgenden Matrizen zu Drehungen um eine der Hauptachsen (x, y oder z) um den winkel [math]\alpha[/math]:

[math] \begin{align*} R_x(\alpha)&= \begin{pmatrix} 1&0&0\\ 0&\cos\alpha&-\sin\alpha\\ 0&\sin\alpha&\cos\alpha \end{pmatrix}\\ R_y(\alpha)&= \begin{pmatrix} \cos\alpha&0&\sin\alpha\\ 0&1&0\\ -\sin\alpha&0&\cos\alpha \end{pmatrix}\\ R_y(\alpha)&= \begin{pmatrix} \cos\alpha&-\sin\alpha&0\\ \sin\alpha&\cos\alpha&0\\ 0&0&1 \end{pmatrix} \end{align*} [/math]

Wird also beispielsweise der Vektor [math]\begin{pmatrix}1\\1\\3\end{pmatrix}[/math] um einen Winkel von 45° um die z-Achse rotiert, so ergibt sich der Vektor [math]\begin{pmatrix} \cos 45^\circ&-\sin45^\circ&0\\ \sin45^\circ&\cos45^\circ&0\\ 0&0&1 \end{pmatrix}\cdot\begin{pmatrix}1\\1\\3\end{pmatrix}=\begin{pmatrix}0\\\sqrt{2}\\3\end{pmatrix}[/math] (siehe Abb. 3)

Da sie außerdem das Standard-Skalarprodukt auf [math]\mathbb{R}^3[/math] (und damit die Geometrie) invariant lässt, ist diese Gruppe die Isometriegruppe des [math]\mathbb{R}^3[/math].

b. Drehspiegelungen [math]O(n)\backslash SO(n)[/math]
Abb. 4: Bild eines Vektors unter einer Drehspiegelung

Die Menge [math]O(n)\backslash SO(n)[/math] umfasst alle orthogonalen Matrizen mit der Determinante -1. Damit umfasst diese Menge hpysikalisch gesehen alle Drehspiegelungen. Da zwei hintereinander ausgeführte Drehspiegelungen jedoch einer einfachen Drehung (und nicht wieder einer Drehspiegelung) entsprechen, ist diese Menge nicht abgeschlossen und damit keine Gruppe. Elemente aus [math]O(n)\backslash SO(n)[/math]lassen sich, ähnlich wie Drehungen, beispielsweise durch folgende Matrizen darstellen:

[math] \begin{align*} R_x(\alpha)&= \begin{pmatrix} -1&0&0\\ 0&\cos\alpha&-\sin\alpha\\ 0&\sin\alpha&\cos\alpha \end{pmatrix}\\ R_y(\alpha)&= \begin{pmatrix} \cos\alpha&0&\sin\alpha\\ 0&-1&0\\ -\sin\alpha&0&\cos\alpha \end{pmatrix}\\ R_y(\alpha)&= \begin{pmatrix} \cos\alpha&-\sin\alpha&0\\ \sin\alpha&\cos\alpha&0\\ 0&0&-1 \end{pmatrix} \end{align*} [/math]

Wird nun beispielsweise eine solche Drehspiegelungsmatrix für die Drehachse z und [math]\alpha=45^\circ[/math] auf den Vektor [math]\begin{pmatrix}1\\1\\3\end{pmatrix}[/math] angewendet, so ergibt sich der neue Vektor [math]\begin{pmatrix} \cos 45^\circ&-\sin45^\circ&0\\ \sin45^\circ&\cos45^\circ&0\\ 0&0&-1 \end{pmatrix}\cdot\begin{pmatrix}1\\1\\3\end{pmatrix}=\begin{pmatrix}0\\\sqrt{2}\\-3\end{pmatrix}[/math] (siehe Abb. 4)

Unitäre Gruppe [math]U(n)[/math]

Die unitäre Gruppe über dem Körper der komplexen Zahlen ist eine Gruppe nicht reeller Matrizen. Sie umfasst alle unitären Matrizen, das sind all diejenigen Matrizen, deren hermitesch transponierte (also transponierte und komplex konjugierte) Matrix zugleich das Inverse der Matrix ist. In der Physik ist diese Matrixgruppe von entscheidender Bedeutung bei der Beschreibung von Symmetrien der Wellenfunktion in der Quantenphysik. Wie die orthogonale Gruppe hat auch die unitäre Gruppe eine Untergruppe all jener Matrizen, deren Determinante 1 ist. Diese Untergruppe heißt spezielle unitäre Gruppe [math]SU(n)[/math] und ist eine kompakte Lie-Gruppe und differenzierbare Mannigfaltigkeit.

Beispiel: Matrizenoptik

Ein Beispiel für Matrizen in der Experimentalphysik ist die sogenannte Matrizenoptik. Unter der Prämisse der geradlinigen Ausbreitung von Lichtstrahlen, die als Geraden behandelt werden können, lassen sich optische Systeme mithilfe von linearen Transformationen leicht berechnen. Betrachtet man die Ausbreitung eines Lichtstrahls unter einem kleinen Winkel zu einer Achse, so ist jener Strahl durch den Winkel und die Entfernung auf der Achse vollständig bestimmt. Die Linearisierung tan(α) = α erlaubt es, den Strahl als Vektor mit den Komponenten des Abstandes und des Winkels zu beschreiben. Es gilt also für den Vektor [math]\textbf{r} = (r, \alpha)[/math], der einen Lichtstrahl charakterisiert, dass das Zurücklegen einer Strecke [math]b[/math]entlang der jeweiligen Achse durch eine Matrix beschrieben werden kann, die im einfachen Fall zweier Dimensionen durch

Visualisierung eines Strahls an einer optischen Achse, entnommen aus Wikipedia: von Traitor - Eigenes Werk (done with GEONExT), CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=957863
Wirkung einer dicken, bikonvexen Linse auf den Strahlengang und Beschreibung mithilfe von Matrizen, entnommen von: R Nave, http://hyperphysics.phy-astr.gsu.edu/hbase/geoopt/imgsys.html

[math]\begin{bmatrix} 1 & b \\ 0 & 1 \end{bmatrix}[/math]

gegeben ist. Der Lichtstrahl wird also, nachdem er die Strecke [math]b[/math]entlang der Achse unter einem Winkel α zurückgelegt hat, durch

[math]\textbf{r} = \begin{bmatrix} 1 & b \\ 0 & 1 \end{bmatrix} (r, \alpha) = (r + \alpha b , \alpha) [/math]

beschrieben. Konvention ist häufig, die Achse, bezüglich derer die Propagation, d. h. Ausbreitung des Lichtstrahls berechnet wird, als z-Achse zu benennen. Zudem gilt zumeist: die Strahlrichtung läuft von links nach rechts, die Steigung ist positiv, wenn der Strahl von der Achse wegläuft, und es werden bestimmte Annahmen bezüglich des Vorzeichens des Radiuses von Flächen, der Bildweite und -größe getroffen. Folgende Matrizen können angewandt werden, um typische Operationen zu berechnen:

Operation Matrix
Translation [math]\begin{bmatrix} 1 & b \\ 0 & 1 \end{bmatrix} [/math]
Brechung [math]\begin{bmatrix} 1 & 0 \\ 0 & \frac{n_1}{n_2} \end{bmatrix} [/math]
dünne Linse [math]\begin{bmatrix} 1 & 0 \\ -\frac{1}{f} & 1 \end{bmatrix} [/math]
gekrümmter Spiegel [math]\begin{bmatrix} 1 & 0 \\ -\frac{2}{r} & 1 \end{bmatrix} [/math]

Jene Operationen meinen dabei den Effekt bestimmter optischer Bauteile auf ein Strahlengang. Hierbei stehen [math]n_1, n_2[/math] für die Brechungsindices der Medien, die das Licht in dieser Reihenfolge passiert, [math]f[/math] für die Brennweite der Linse und [math]r[/math] für den Radius des gekrümmten Spiegels. Auch komplexere Elemente wie andere Linsen und Spiegel oder Fasern lassen sich so beschreiben. Dieser Formalismus erlaubt durch Hintereinanderausführung eine vergleichsweise einfache Berechnung selbst von Aufbauten, die viele optische Elemente enthalten. Dies lässt sich in der Abbildung rechts erkennen, wo die Wirkung einer dicken Linse, die an beiden Seiten konvex nach außen gewölbt ist, auf den Strahlengang durch die Hintereinanderausführung von Matrizen beschrieben werden kann. Klassische Eigenschaften von Matrizen wie z. B. die Determinante sind auch hier bedeutsam, beispielsweise muss die Determinante einer Translationsmatrix immer eins sein, allerdings nur vom Betrag, da auch Spiegelungen zugelassen sind.[1]

Andere Anwendungen von Matrizen

Mitunter werden Matrizen auch nicht im Sinne einer Transformation, sondern als eine Darstellung z. B. für einen Tensor oder einen Gewichtungsfaktor genutzt.

So ist bspw. das Kronecker-Delta, insofern als Tensor betrachtet, eine 2x2-Einheitsmatrix. Häufig wird in der Physik folgende Darstellung verwendet

[math]\delta_{ij} = \begin{bmatrix} \delta_{11} & \delta_{12} \\ \delta_{21} & \delta_{22} \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} [/math]

wobei damit eigentlich

[math](\delta_{ij})_{i,j \in \{ 1, ..., n\}}= \begin{bmatrix} \delta_{11} & \cdots & \delta_{1n} \\ \vdots &\ddots & \vdots \\ \delta_{n1} & \cdots & \delta_{nn} \end{bmatrix} = \begin{bmatrix} 1 & \quad & 0 \\ \quad &\ddots & \quad \\ 0 & \quad & 1 \end{bmatrix} [/math]

gemeint ist.

Der Trägheitstensor, einer "Verallgemeinerung" des Trägheitsmomentes, gibt an, wie träge ein Körper gegenüber einer Änderung der Winkelgeschwindigkeit um eine seiner Achsen ist. Im Trägheitstensor ist diese Eigenschaft bezüglich verschiedener Achsen dargestellt, und er wird zumeist als Matrix notiert. Dabei entsprechen z. B. symmetrische Darstellungen oder Matrizen in Diagonalgestalt direkt den physikalischen Eigenschaften des Objektes, u. a. in Form von Symmetrien. Die jeweiligen Einträge bezeichnen dabei die Trägheitsmomente in die entsprechenden Richtungen (im Koordinatensystem mit 1-,2- und 3-Achse).

[math]I= \begin{bmatrix} I_{11} & I_{12} & I_{13} \\ I_{21} & I_{22} & I_{23} \\ I_{31} & I_{32} & I_{33} \end{bmatrix} [/math],

Trägheitstensor einer Punktmasse m mit Abstand r auf der x-Achse:

[math]I= m r^2 \begin{bmatrix} 0 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} [/math]

Im Lagrange-Formalismus der klassischen Mechanik lässt sich die Lagrange-Funktion. Zentraler Bestandteil des analystischen Lösungsprozesses zur Bestimmung der Bewegungsgleichungen eines Systems ist es, ein Extremum jener Lagrange-Funktion zu finden; mitunter lässt sie sich auch durch Matrizen darstellen. Dadurch ist die Berechnung vereinfacht und es können bestimmte Eigenschaften des Systems, z. B. Schwingungsfrequenzen (sog. Normalmoden), bestimmt werden. Hierbei wird zwar der Matrizenformalismus zur Berechnung genutzt, zugleich muss aber beachtet werden, inwiefern diese Matrix physikalische Realität besitzt, d. h. ob sie nur eine Art von "Wertesammlung" darstellt oder eine tatsächliche Transformation. Dieses Argument wird bspw. verwendet, um die Symmetrie jener Matrix zu begründen, denn wenn die Matrix nur dazu dient, bestimmte Elemente durch die entsprechenden Indizes zuzuordnen und durch Multiplikation mit passenden Vektoren eine bestimmte Gleichung zu liefern, so dürfte es keinen Unterschied machen, welche Reihenfolge die Indizes haben.

In der Elektrotechnik werden häufig lineare Gleichungssysteme von Schaltkreisen mithilfe von Matrizenmultiplikation beschrieben.

Auch die Jacobi- und Hessematrix werden in der Physik genutzt, z. B. bei der Transformation von Integralen oder bei der mehrdimensionalen Taylorentwicklung.

Referenz

  1. "Optik, Licht und Laser", 3. Auflage, Meschede, Dieter, Vieweg+Teubner, S. 20 - 33

dieser Wiki-Eintrag wurde von Antonia Kersten, Konrad Kockler und Mateo Cárdenes Wuttig erstellt