Unterraum zeigen wie immer:
Abgeschlossenheit gegenüber + und Multiplikation mit
Elementen des Grundkörpers.
Teilmenge von K^n ist wohl klar.
Sind u und v aus Eig(A;λ) dann gilt
A*u=λ*u und A*v=λ*v
Und es gilt A( u+v) = A*u+A*v=λ*u +λ*v=λ*(u+v)
also u+v ∈ Eig(A;λ)
Und ist x∈K und v ∈ Eig(A;λ) dann gilt
A*(x*v) = x*A*v=x*λ*v = λ*(x*v) also
ist x*v ∈ Eig(A;λ). q.e.d.