Alternierende Matrix

Eine alternierende Matrix i​st in d​er Mathematik e​ine quadratische Matrix, d​ie schiefsymmetrisch i​st und d​eren Hauptdiagonaleinträge a​lle gleich null sind. In e​inem Körper m​it Charakteristik ungleich z​wei folgt d​ie zweite Bedingung a​us der ersten, weshalb alternierende Matrizen häufig m​it schiefsymmetrischen Matrizen gleichgesetzt werden. Alternierende Matrizen werden i​n der linearen Algebra z​ur Charakterisierung alternierender Bilinearformen verwendet. Die Determinante e​iner alternierenden Matrix gerader Größe k​ann mit Hilfe i​hrer pfaffschen Determinante angegeben werden.

Definition

Eine quadratische Matrix ${\displaystyle A\in K^{n\times n}}$ mit Einträgen aus einem beliebigen Körper ${\displaystyle K}$ heißt alternierend, wenn

${\displaystyle a_{ij}={-a_{ji}}}$

für ${\displaystyle i,j=1,\ldots ,n}$ und

${\displaystyle a_{ii}=0}$

für ${\displaystyle i=1,\ldots ,n}$ gilt.[1] Eine alternierende Matrix ist demnach eine schiefsymmetrische Matrix, deren Hauptdiagonaleinträge alle gleich null sind. Ist die Charakteristik des Körpers ungleich zwei, dann folgt die zweite Bedingung aus der ersten, in einem Körper mit Charakteristik zwei gilt dies jedoch nicht.[2]

Beispiele

In den folgenden Beispielen sei ${\displaystyle K={\mathbb {F} }_{2}}$ der endliche Körper der Restklassen modulo ${\displaystyle 2}$, wobei ${\displaystyle 0}$ die Restklasse der geraden Zahlen, und ${\displaystyle 1}$ die Restklasse der ungeraden Zahlen repräsentiere. In diesem Körper gilt ${\displaystyle 1+1=0}$, er hat also die Charakteristik ${\displaystyle 2}$. Die beiden alternierenden Matrizen der Größe ${\displaystyle 2\times 2}$ mit Einträgen aus diesem Körper sind

${\displaystyle {\begin{pmatrix}0&0\\0&0\end{pmatrix}},{\begin{pmatrix}0&1\\1&0\end{pmatrix}}}$

und die insgesamt acht alternierenden Matrizen der Größe ${\displaystyle 3\times 3}$ sind

${\displaystyle {\begin{pmatrix}0&0&0\\0&0&0\\0&0&0\end{pmatrix}},{\begin{pmatrix}0&1&0\\1&0&0\\0&0&0\end{pmatrix}},{\begin{pmatrix}0&0&1\\0&0&0\\1&0&0\end{pmatrix}},{\begin{pmatrix}0&0&0\\0&0&1\\0&1&0\end{pmatrix}},{\begin{pmatrix}0&1&1\\1&0&0\\1&0&0\end{pmatrix}},{\begin{pmatrix}0&1&0\\1&0&1\\0&1&0\end{pmatrix}},{\begin{pmatrix}0&0&1\\0&0&1\\1&1&0\end{pmatrix}},{\begin{pmatrix}0&1&1\\1&0&1\\1&1&0\end{pmatrix}}}$.

In diesem Körper s​ind die schiefsymmetrischen Matrizen gerade d​ie symmetrischen Matrizen, d​ie auch Einsen a​uf der Diagonale aufweisen dürfen.

Eigenschaften

Bilinearformen

Die Bilinearform ${\displaystyle B_{A}(x,y)=x^{T}Ay}$ zu einer alternierenden Matrix ${\displaystyle A\in K^{n\times n}}$ ist alternierend, das heißt,

${\displaystyle B_{A}(x,x)=0}$

für alle ${\displaystyle x\in K^{n}}$. Umgekehrt ist in einem endlichdimensionalen Vektorraum ${\displaystyle V}$ die Darstellungsmatrix

${\displaystyle A_{B}=(B(b_{i},b_{j}))}$

einer alternierenden Bilinearform ${\displaystyle B\colon V\times V\to K}$ bezüglich einer beliebigen Basis ${\displaystyle \{b_{1},\ldots ,b_{n}\}}$ stets eine alternierende Matrix.[3]

Rang

Der Rang ${\displaystyle r}$ einer alternierenden Matrix ${\displaystyle A\in K^{n\times n}}$ ist stets gerade. Weiter existiert eine reguläre Matrix ${\displaystyle P\in K^{n\times n}}$, sodass nach Kongruenztransformation

${\displaystyle P^{T}AP={\begin{pmatrix}0&I&0\\-I&0&0\\0&0&0\end{pmatrix}}\in K^{n\times n}}$

gilt, wobei ${\displaystyle I}$ die Einheitsmatrix der Größe ${\displaystyle {\tfrac {r}{2}}\times {\tfrac {r}{2}}}$ ist.[3] Eine alternative Normaldarstellung ist

${\displaystyle P^{T}AP={\begin{pmatrix}T&0&0&0\\0&\ddots &0&0\\0&0&T&0\\0&0&0&0\end{pmatrix}}\in K^{n\times n}}$

mit genau ${\displaystyle {\tfrac {r}{2}}}$ Blöcken der Form ${\displaystyle T={\tbinom {~\,0~~1}{-1~~0}}}$.[3]

Determinante

Ist ${\displaystyle n}$ gerade, dann kann die Determinante einer alternierenden Matrix ${\displaystyle A\in K^{n\times n}}$ mit Hilfe der pfaffschen Determinante ${\displaystyle \operatorname {Pf} (A)}$ durch

${\displaystyle \det A=\operatorname {Pf} (A)^{2}}$

angegeben werden.[4] Ist ${\displaystyle n}$ ungerade, dann gilt stets

${\displaystyle \det A=0}$.

Für weitere Eigenschaften alternierender Matrizen s​iehe Schiefsymmetrische Matrix#Eigenschaften.

Siehe auch

• Alternierende Multilinearform

Literatur

• Leslie Hogben (Hrsg.): Handbook of Linear Algebra. CRC Press, 2006, ISBN 978-1-4200-1057-2.
• Erich Lamprecht: Lineare Algebra. Band 2. Springer, 2013, ISBN 978-3-0348-7680-3.
• Günter Scheja, Uwe Storch: Lehrbuch der Algebra. Unter Einschluss der linearen Algebra. Band 2. Vieweg, 1988, ISBN 978-3-322-80092-3.

Einzelnachweise

1. Erich Lamprecht: Lineare Algebra 2. Springer, 2013, S. 77.
2. Günter Scheja, Uwe Storch: Lehrbuch der Algebra: Unter Einschluss der linearen Algebra. 2. Band. Vieweg, 1988, S. 365.
3. Leslie Hogben (Hrsg.): Handbook of Linear Algebra. CRC Press, 2006, S. 12-5.
4. Günter Scheja, Uwe Storch: Lehrbuch der Algebra: Unter Einschluss der linearen Algebra. Band 2. Vieweg, 1988, S. 391.