Minimalpolynom und charakteristisches Polynom/Gleiche Nullstellen/Fakt/Beweis

Beweis

Dass die Nullstellen des Minimalpolynoms auch Nullstellen des charakteristischen Polynoms sind, folgt direkt aus Cayley-Hamilton.

Umgekehrt sei  ${}\lambda \in K$  eine Nullstelle des charakteristischen Polynoms und sei  ${}v\in V$  ein Eigenvektor von ${}f$ zum Eigenwert ${}\lambda$, den es nach Fakt gibt. Das Minimalpolynom schreiben wir als

${}\mu _{f}=(X-\lambda _{1})^{m_{1}}\cdots (X-\lambda _{k})^{m_{k}}Q\,,$

wobei ${}Q$ nullstellenfrei sei. Dann ist

${}{\begin{aligned}0&=\mu _{f}(f)\\&={\left((X-\lambda _{1})^{m_{1}}\cdots (X-\lambda _{k})^{m_{k}}Q\right)}(f)\\&=(f-\lambda _{1}\operatorname {Id} _{V})^{m_{1}}\cdots (f-\lambda _{k}\operatorname {Id} _{V})^{m_{k}}Q(f).\end{aligned}}$

Wir wenden dies auf ${}v$ an. Nach Fakt bilden die Faktoren den Vektor ${}v$ auf ${}(\lambda -\lambda _{i})^{m_{i}}v$ bzw. auf ${}Q(\lambda )v$ ab. Insgesamt wird somit ${}v$ auf

$(\lambda -\lambda _{1})^{m_{1}}\cdots (\lambda -\lambda _{k})^{m_{k}}Q(\lambda )v$

abgebildet. Da die Gesamtabbildung die Nullabbildung und  ${}Q(\lambda )\neq 0$  ist, muss ein  ${}\lambda _{i}=\lambda$  sein.

Zur bewiesenen Aussage