Es sei X {\displaystyle {}X} ein topologischer Raum und es sei φ : F → G {\displaystyle {}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}} ein Homomorphismus von Garben von kommutativen Gruppen. Zeige, dass φ {\displaystyle {}\varphi } genau dann surjektiv ist, wenn bild φ = G {\displaystyle {}\operatorname {bild} \varphi ={\mathcal {G}}}
