Hab noch mal in Ruhe überlegt und zweifle jetzt doch.
Im ersten Moment hörte sich das zwar gut an, aber dann...
"...besitzt das LGS (AI0) nur den Nullvektor als Lösung. Somit zerfällt das charakteristische Polynom vollständig in Linearfaktoren "
Für das "somit" fällt mir kein Argument ein.
Ich würde jetzt ganz anders vorgehen ( Irgendwie muss das
mit dem " 1-dim" ja auch eine Rolle spielen.
Sei f ∈EndC(V) mit Rang (f)=1 und dim (V) = n
==> dim Kern (f) = n-1
Wähle eine Basis von Kern(f) und ergänze sie durch
(dann ja nur einen weiteren Vektor v) zu einer Basis von V.
Die Basisvektoren von Kern(f) sind ja alles Eigenvektoren
zum EW 0. Und für das v gilt dann f(v)≠0-Vektor und
somit bildet f(v) ein Basis von Bild(f) [ wegen 1-dim ].
Damit sind alle Elemente von Bild(f) Vielfache von f(v).
Außerdem ist fof≠0, also gibt es auch ein z∈ℂ\{0} mit
f(f(v)) = z*f(v)
also ist f(v) ein Eigenvektor zum Eigenwert z.
Jetzt fehlt mir nur wie man daraus auf
v ist auch ein Eigenvektor kommt ?.
Dann hätte man eine Basis aus lauter Eigenvektoren,
also Diagonalmatrix.