Begleitmatrix

Die Begleitmatrix ist eine spezielle Matrix, die einem normierten Polynom zugeordnet werden kann. Somit ist eine Begleitmatrix ein Objekt aus der linearen Algebra.

Definition

Die Begleitmatrix eines normierten Polynoms $n$-ten Grades $f(x)=x^{n}+a_{n-1}x^{n-1}+\dots +a_{1}x+a_{0}$ über einem Körper ist die quadratische $n\times n$-Matrix.

$A(f)={\begin{pmatrix}0&0&\dots &0&-a_{0}\\1&0&\dots &0&-a_{1}\\0&1&\ddots &\vdots &-a_{2}\\\vdots &\ddots &\ddots &0&\vdots \\0&\dots &0&1&-a_{n-1}\\\end{pmatrix}}.$

Manchmal wird auch die transponierte Matrix von $A(f)$ verwendet, was aber nichts Wesentliches ändert. Man nennt diese spezielle Form der Matrix dann auch Kardinalform.

Eigenschaften

Das charakteristische Polynom und das Minimalpolynom von $A(f)$ sind gerade $f$. Andererseits ist eine $n\times n$-Matrix $A$ ähnlich zu der Begleitmatrix des charakteristischen Polynoms von $A$ genau dann, wenn das Minimalpolynom und das charakteristische Polynom von $A$ identisch sind.

Hat das Polynom $f$ genau $n$ verschiedene Nullstellen $\lambda _{1},\dots ,\lambda _{n}$, dann ist $A(f)$ diagonalisierbar: $VA(f)V^{-1}=\mathrm {diag} (\lambda _{1},\dots ,\lambda _{n})$ für die Vandermonde-Matrix $V=V(\lambda _{1},\dots ,\lambda _{n})$.

Hiervon gilt sogar die Umkehrung, das heißt, eine Begleitmatrix $A(f)$ ist genau dann diagonalisierbar, wenn $f$ genau $\mathrm {grad} (f)$ verschiedene Nullstellen hat.

Ein endlich-dimensionaler Vektorraum ist genau dann zyklisch durch einen Endomorphismus erzeugt, wenn eine Basis des Vektorraums existiert bezüglich der die Darstellende Matrix des Endomorphismus die Form einer Begleitmatrix hat.

Im Falle der ebenfalls gebräuchlichen Definition des charakteristische Polynom als $\chi _{A}=\operatorname {det} (A_{f}{-}\lambda E_{n})$, ist das Solche von $A(f)$ durch $(-1)^{n}f$ gegeben. Der Beweis erfolgt durch Laplace-Entwicklung nach der letzten Spalte, wobei sich das Ergebnis von der Normierten Definition des charakteristischen Polynoms nach der Multilinearität der Determinante um den Faktor $(-1)^{n}$ unterscheidet :

Sei $B:=A_{f}-\lambda E_{n}$. Dann gilt

$\chi _{A}=\operatorname {det} (B)=\sum _{i=1}^{n}(-1)^{n+i}b_{in}\cdot \operatorname {det} ({\acute {B}}_{in})$

Für alle $i\in \{1,...,n\}$ ist ${\acute {B}}_{in}$ in Blockgestalt, also

${\acute {B}}_{in}={\begin{pmatrix}C_{i}&0\\0&D_{i}\end{pmatrix}}$ mit $C_{i}={\begin{pmatrix}-\lambda &&&0\\1&-\lambda &&\\&\ddots &\ddots &\\0&&1&-\lambda \end{pmatrix}}\in \operatorname {Mat} (i-1,K)$ ,$D_{i}={\begin{pmatrix}1&-\lambda &&0\\&1&\ddots &\\&&\ddots &-\lambda \\0&&&1\end{pmatrix}}\in \operatorname {Mat} (n-i,K)$

Mit dem Satz über Determinanten von Blockmatrizen und Diagonalmatrizen folgt

$\operatorname {det} ({\acute {B}}_{in})=\operatorname {det} ({C}_{i})\cdot \operatorname {det} ({D}_{i})=(-\lambda )^{i-1}$

Also gilt

${\begin{aligned}\chi _{A}&=\sum _{i=1}^{n}(-1)^{n+i}b_{in}\cdot \operatorname {det} ({\acute {B}}_{in})\\&=\left(\sum _{i=1}^{n-1}(-1)^{n+i}(-a_{i-1})\cdot (-\lambda )^{i-1}\right)+(-1)^{2n}(-a_{n-1}-\lambda )\cdot (-\lambda )^{n-1}\\&=\left(\sum _{i=1}^{n}(-1)^{n}(a_{i-1})\cdot \lambda ^{i-1}\right)+(-1)^{n}\cdot \lambda ^{n}\\&=(-1)^{n}\left(\left(\sum _{i=1}^{n-1}a_{i}\lambda ^{i}\right)+\lambda ^{n}\right)\\&=(-1)^{n}\cdot f\\\end{aligned}}$

Anwendung

Begleitmatrizen treten in der Normalformtheorie auf. Die Existenz der Frobenius-Normalform besagt, dass jede Matrix ähnlich zu einer Blockdiagonalmatrix ist, deren Blöcke Begleitmatrizen sind.

Literatur

Siegfried Bosch: Lineare Algebra. 5. Auflage, Springer, Berlin/Heidelberg 2014, ISBN 978-3-642-55259-5, Kapitel 6.5.