Sind die Eigenräume bei der Diagonalisierung genau die invariante Untervektorräume? JA!
Wenn es einen von {0} ⊂ C2 und C2 verschiedenen ψ-invarianten Untervektorraum U von C2 gibt, dann ist der ja eindimensional.
Also hat er eine Basis, die aus genau einem von 0 verschiedenen
Vektor v besteht, und dieser ist dann ein Eigenvektor, da wegen
der Invarianz ψ(v) ∈ U gilt.
Also gibt es z∈ℂ mit ψ(v)=z*v.
Und wenn es zwei solche Unterräume gibt, dann sind deren Basen beide
Eigenvektoren und zusammen bilden sie eine Basis von ℂ,
also ist ψ diagonalisierbar.