Ganz einfach: Suche eine lineare Abbildug
$$ \varphi: \operatorname{Abb}(M,K) \to \operatorname{Abb}(N,K) $$
d.h. \( \varphi(\lambda f +g ) = \lambda \varphi(f) + \varphi(g) \) die zusätzlich noch
1. surjektiv ist
und
2. \( \ker(\varphi) = U \) erfüllt
Klingt jetzt vielleicht erst einmal etwas umständlich ist aber gar nicht so schwierig. Was wäre denn eine naheliegende Abbildungsvorschrift für
$$ \varphi: \operatorname{Abb}(M,K) \to \operatorname{Abb}(N,K) $$
? Die Abbildung muss einer Abbildung \( f : M \to K \) eine Abbildung \( \varphi(f) : N \to K \) zuordnen. Es ist \( N \subseteq M \).