Sei V ein eindimensionaler K-Vektorraum.
Beh.:
F ∈ EndK (V) = HomK (V,V) <==> Es gibt ein λ ∈ K , so dass F =λ Idv ist.
<= ist ja klar : λ Idv ist ein Endomorphismus jedes Vektorraumes.
=> Sei also F ∈ EndK (V) . Wegen dim=1 gibt es eine Basis B von
V mit einem Element, also etwa B = { w } .
Dann ist F(w) aus V, also gibt es ein λ ∈ K mit F(w) = λ * w
Dann gilt für alle v aus V : es gibt ein x aus K mit v = x*w.
Also für alle v aus V gilt
F(v) = F(x*w) = x * F(w) = x* ( λ * w ) = λ *x* w = λ * v.
==> F = λ Id
v . q.e.d.