Ach so, vielleicht brauchst du noch ein Argument, dass dann auch
wirklich immer eine solche Abbildung existiert.
Es sein n = 2k und
v1,...,vk,vk+1,...vn eine Basis von IR^n
Eine lin. Abb. wird durch Angabe der Bilder einer Basis festgelegt.
Betrachte also die Abb. f mit
= f(vk+i ) für i ≤ k
f(vi)
= 0 für i > k
Dann sind Kern und Bild beide der von
vk+1,...vn erzeugte Unterraum von IR^n .