Hallo lukram,
wenn du die Formulierung aus dem Internet verstanden hast, fehlt nicht mehr viel die Analogie zu der deines Professors zu finden.
Sei \( \varphi \) eine Abbildung mit \( \varphi: U \rightarrow (U + W)/W \rightarrow U + W \).
Da ja \( \varphi(x) = 0 \), ist auch \( x \in W \) und damit gilt \( ker \varphi = U \cap W \).
Außerdem ist \( \varphi \) surjektiv, da \( \varphi( u ) = u + W, u \in U \)
Somit gilt \( (U + W)/W = im( \varphi ) \simeq U/ker( \varphi ) = U/(U \cap W) \) (Vergleiche Formulierung aus dem Internet)
Und damit sind \( (U + W)/W \) und \( U/(U \cap W) \) isomorph.
Student, Punkte: 142