Standardmatrix

Eine Standardmatrix, Standard-Einheitsmatrix oder Matrixeinheit ist in der Mathematik eine Matrix, bei der genau ein Eintrag eins ist und alle anderen Einträge null sind. Jede Standardmatrix lässt sich als dyadisches Produkt von kanonischen Einheitsvektoren darstellen. Die Menge der Standardmatrizen bildet die Standardbasis für den Matrizenraum. Sie werden unter anderem zur Definition von Elementarmatrizen verwendet, die beim gaußschen Eliminationsverfahren zum Einsatz kommen.

Definition

Ist <math>R</math> ein Ring mit Nullelement <math>0</math> und Einselement <math>1</math>, dann ist die Standardmatrix <math>E_{ij} = (e_{kl}) \in R^{m \times n}</math> die Matrix mit den Einträgen

<math>e_{kl} = \begin{cases} 1 & \text{für } i=k \text{ und } j=l \\ 0 & \text{sonst} \end{cases}</math>

für <math>k=1, \ldots , m</math> und <math>l=1, \ldots , n</math>.<ref>Voigt, Adamy: Formelsammlung der Matrizenrechnung. S. 8. </ref> Bei der Standardmatrix <math>E_{ij}</math> ist demnach der Eintrag an der Stelle <math>(i,j)</math> gleich eins und alle anderen Einträge gleich null. Eine Standardmatrix wird auch als Standard-Einheitsmatrix<ref>Arens et al: Mathematik. S. 508. </ref> oder Matrixeinheit<ref>Artin: Algebra. S. 11. </ref> bezeichnet und gelegentlich durch <math>e_{ij}</math> statt <math>E_{ij}</math> notiert.

Beispiele

Ist <math>R</math> der Körper der reellen Zahlen und bezeichnen <math>0</math> und <math>1</math> die Zahlen Null und Eins, so sind Beispiele für Standardmatrizen der Größe <math>3 \times 3</math>:

<math>

E_{11} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}, E_{12} = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}, E_{23} = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{pmatrix} </math>

Eigenschaften

Darstellungen

Jede Standardmatrix <math>E_{ij} \in R^{m \times n}</math> lässt sich als dyadisches Produkt der beiden kanonischen Einheitsvektoren <math>e_i \in R^m</math> und <math>e_j \in R^n</math> darstellen, das heißt

<math>E_{ij} = e_i \otimes e_j = e_i \cdot (e_j)^T</math>,

wobei <math>e^T</math> der transponierte Vektor zu <math>e</math> ist. Mit Hilfe des Kronecker-Deltas lässt sich eine Standardmatrix auch durch

<math>E_{ij} = (\delta_{ik} \, \delta_{jl})_{k=1, \ldots , m \atop l=1, \ldots , n} = (\delta_{(i,j),(k,l)})_{k=1, \ldots , m \atop l=1, \ldots , n}</math>

notieren.

Symmetrie

Für die Transponierte einer Standardmatrix <math>E_{ij} \in R^{m \times n}</math> gilt

<math>(E_{ij})^T = E_{ji}</math>.

Damit sind nur die Standardmatrizen <math>E_{ii} \in R^{n \times n}</math> symmetrisch.

Produkt

Für das Produkt zweier Standardmatrizen <math>E_{ij} \in R^{m \times n}</math> und <math>E_{kl} \in R^{n \times p}</math> gilt

<math>E_{ij} \cdot E_{kl} = \begin{cases} E_{il} & \text{falls } j=k \\ 0 & \text{sonst,}\end{cases}</math>

wobei <math>0</math> die Nullmatrix der Größe <math>m \times p</math> ist.

Kenngrößen

Für den Rang einer Standardmatrix gilt

<math>\operatorname{rang}(E_{ij}) = 1</math>.

Für die Determinante und die Spur einer quadratischen <math>m \times m</math>-Standardmatrix gilt entsprechend

<math>\operatorname{det}(E_{ij}) = \begin{cases} 1 & \text{falls } m=1 \\ 0 & \text{sonst} \end{cases}</math>   und   <math>\operatorname{spur}(E_{ij}) = \delta_{ij}</math>.

Das charakteristische Polynom einer quadratischen Standardmatrix <math>E_{ij} \in K^{n \times n}</math> über einem Körper <math>K</math> ergibt sich zu

<math>\chi(\lambda) = \begin{cases} \lambda^{n-1}(\lambda-1) & \text{falls } i=j \\ \lambda^n & \text{sonst.} \end{cases}</math>

Im Fall <math>i \neq j</math> ist demnach der einzige Eigenwert <math>0</math>. Für <math>i = j</math> existiert zusätzlich noch der Eigenwert <math>1</math> mit einfacher Vielfachheit und zugehörigem Eigenvektor <math>e_i</math>.

Verwendung

Matrixeinträge

Mit Hilfe von Standardmatrizen <math>E_{ji} \in R^{n \times m}</math> können auch einzelne Matrixeinträge als Spur dargestellt werden. Ist <math>A \in R^{m \times n}</math>, dann gilt

<math>(A)_{ij} = \operatorname{spur}(A E_{ji}) = \operatorname{spur}(E_{ji} A)</math>.

Für das Produkt zweier Matrizen <math>A \in R^{m \times p}</math> und <math>B \in R^{p \times n}</math> gilt entsprechend

<math>(AB)_{ij} = \operatorname{spur}(B E_{ji} A)</math>.

Standardbasis

Die Menge der Standardmatrizen über einem gegebenen Körper <math>\{ E_{ij} \in K^{m \times n} \mid i=1, \ldots , m, j=1, \ldots , n \}</math> bildet die Standardbasis für den Vektorraum der Matrizen. Jede Matrix <math>A \in K^{m \times n}</math> lässt sich somit als Linearkombination von Standardmatrizen durch

<math>A = \sum_{i=1}^m \sum_{j=1}^n a_{ij} E_{ij}</math>

mit <math>a_{ij} \in K</math> darstellen. So bilden die vier Standardmatrizen <math>E_{11}</math>, <math>E_{12}</math>, <math>E_{21}</math> und <math>E_{22}</math> die Standardbasis des Raums der <math>(2 \times 2)</math>-Matrizen und man erhält beispielsweise

<math>\begin{pmatrix} 2 & 4 \\ 3 & 1 \end{pmatrix} = \begin{pmatrix} 2 & 0 \\ 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 4 \\ 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 0 \\ 3 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} = 2 E_{11} + 4 E_{12} + 3 E_{21} + 1 E_{22}</math>.

Elementarmatrizen

Standardmatrizen werden auch zur Darstellung der drei Typen von Elementarmatrizen der Form

<math>\begin{align}

R_{ij}(\alpha) & = I + \alpha E_{ij} \\ S_i(\gamma) & = I + (\gamma - 1) E_{ii} \\ T_{i,j} & = I - E_{ii} - E_{jj} + E_{ij} + E_{ji} \end{align}</math>

mit <math>I</math> als der Einheitsmatrix und <math>\alpha, \gamma \in K</math> verwendet. Durch Multiplikation von links mit einer solchen Elementarmatrix werden Reihenoperationen, Skalierungen und Transpositionen an einer gegebenen Matrix durchgeführt. Diese Elementarmatrizen kommen bei der Beschreibung des gaußschen Eliminationsverfahrens zur Lösung linearer Gleichungssysteme zum Einsatz.

Literatur

• Tilo Arens, Frank Hettlich, Christian Karpfinger, Ulrich Kockelkorn, Klaus Lichtenegger, Hellmuth Stachel: Mathematik. 2. Auflage. Spektrum Akademischer Verlag, 2011, ISBN 3-8274-2347-3. 
• Michael Artin: Algebra. Springer, 1998, ISBN 3-7643-5938-2. 
• Christian Voigt, Jürgen Adamy: Formelsammlung der Matrizenrechnung. Oldenbourg, 2007, ISBN 3-486-58350-6. 

Einzelnachweise

<references />