Alternierende Matrix

Eine alternierende Matrix ist in der Mathematik eine quadratische Matrix, die schiefsymmetrisch ist und deren Hauptdiagonaleinträge alle gleich null sind. In einem Körper mit Charakteristik ungleich zwei folgt die zweite Bedingung aus der ersten, weshalb alternierende Matrizen häufig mit schiefsymmetrischen Matrizen gleichgesetzt werden. Alternierende Matrizen werden in der linearen Algebra zur Charakterisierung alternierender Bilinearformen verwendet. Die Determinante einer alternierenden Matrix gerader Größe kann mit Hilfe ihrer pfaffschen Determinante angegeben werden.

Definition

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

für <math>i,j = 1, \ldots , n</math> und

für <math>i = 1, \ldots , n</math> gilt.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> 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.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Beispiele

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

<math>\begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}</math>

und die insgesamt acht alternierenden Matrizen der Größe <math>3 \times 3</math> sind

<math>\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}</math>.

In diesem Körper sind die schiefsymmetrischen Matrizen gerade die symmetrischen Matrizen, die auch Einsen auf der Diagonale aufweisen dürfen.

Eigenschaften

Bilinearformen

Die Bilinearform <math>B_A(x,y) = x^T A y</math> zu einer alternierenden Matrix <math>A \in K^{n \times n}</math> ist alternierend, das heißt,

für alle <math>x \in K^n</math>. Umgekehrt ist in einem endlichdimensionalen Vektorraum <math>V</math> die Darstellungsmatrix

einer alternierenden Bilinearform <math>B \colon V \times V \to K</math> bezüglich einer beliebigen Basis <math>\{ b_1, \ldots , b_n \}</math> stets eine alternierende Matrix.<ref name="hogben">{{#invoke:Vorlage:Literatur|f}}</ref>

Rang

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

<math>P^T A P = \begin{pmatrix} 0 & I & 0 \\ -I & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \in K^{n \times n}</math>

gilt, wobei <math>I</math> die Einheitsmatrix der Größe <math>\tfrac{r}{2} \times \tfrac{r}{2}</math> ist.<ref name="hogben" /> Eine alternative Normaldarstellung ist

<math>P^T A P = \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}</math>

mit genau <math>\tfrac{r}{2}</math> Blöcken der Form <math>T = \tbinom{~\,0 ~~ 1}{-1 ~~ 0}</math>.<ref name="hogben" />

Determinante

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

<math>\det A = \operatorname{Pf}(A)^2</math>

angegeben werden.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Ist <math>n</math> ungerade, dann gilt stets

<math>\det A = 0</math>.

Für weitere Eigenschaften alternierender Matrizen siehe Schiefsymmetrische Matrix#Eigenschaften.

Siehe auch

Alternierende Multilinearform

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Einzelnachweise