Wenn φ ein Epimorphismus ist, dann gilt dimK (V) ≤ dimK (W)
da ist was falsch, das muss >= heißen
Vielleicht kennst du die Dimenionsformel für Homomorphismen
f: V ---> W
dim Kern(f) + dim Bild(f) = dim V
wegen epimorph. ist bild(f)=W
also
dim Kern(f) + dim W = dim V
da dim Kern(f) >= 0 ist also dim W <= dim V. q.e.d.