Seien m ∈ ℕ0 , k1, ..., km ∈ ℝn und K := {k1, ..., km} derart, dass K eine m-elementige Basis von ker(f) ist.
Seien km+1, ..., kn ∈ ℝn derart, dass B := {k1, ..., kn} eine Basis von ℝn ist.
Sei g derart, dass
- g(v) = v für jedes v ∈ K und
- g(v) = 0 für jedes v ∈ B\K
ist. Dann erfüllt g die geforderten Eigenschaften.
Du musst nur noch begründen:
- Warum existiert K?
- Warum existiert B?
- Warum ist g wohldefiniert?
- Warum erfüllt g die geforderten Eigenschaften?