\( \exists g: W \rightarrow V: g \circ \varphi=i d_{v} \)
Seien x,y ∈ V und φ(x) = φ(y)
==> g(φ(x)) = g(φ(y))
==> id(x) = id(y) ==> x=y , also φ injektiv.
umgekehrt: Sei φ injektiv. Dann gibt es zu jedem y ∈ Bild( φ )
genau ein x:=y* ∈ V mit φ(x)=y .
Definiere g:W→V durch g(y)=0 für y∉ Bild( φ )
und g(y) = y* für y ∈ Bild( φ ).
Dann folgt g o φ = idV , denn sei x∈V
==> ( g o φ ) (v) = g ( φ (v) ) = v , weil φ (v) ∈ Bild( φ ).