Hallo,
Die Vektorräume \(V\) und \(W\) sind isomorph, geschrieben \(V≅W\), genau dann, wenn zwischen ihnen ein Isomorphismus \(\varphi: V\to W\) exisitiert.
Als Isomorphismus ist \(\varphi\) insbesondere ein Monomorphismus (Homomorphismus + injektiv) und ein Epimorphismus (Homomorphismus + surjektiv). Wir müssen nun zweierlei zeigen:
Sei \(\mathcal{V}\) eine Basis von \(V\), zu zeigen ist, dass:
\(f(\mathcal{V})\) ist linear unabhängig + ein Erzeugendensystem von \(W\).
Stell dir hierzu folgende Fragen:
Warum erhalten Monomorphismen lineare Unabhängigkeit?
Warum erhalten Epimorphismen Erzeugendensysteme?