Es sei φ : F → G {\displaystyle {}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}} ein Garbenmorphismus zwischen Garben auf einem topologischen Raum X {\displaystyle {}X} und es sei φ U : F ( U ) → G ( U ) {\displaystyle {}\varphi _{U}\colon {\mathcal {F}}{\left(U\right)}\rightarrow {\mathcal {G}}{\left(U\right)}} surjektiv für jede offene Menge U ⊆ X {\displaystyle {}U\subseteq X} . Zeige, dass dann auch jede Halmabbildung φ P : F P → G P {\displaystyle {}\varphi _{P}\colon {\mathcal {F}}_{P}\rightarrow {\mathcal {G}}_{P}} surjektiv ist.
