Topologischer Raum/Garbe/Ausbreitungsraum/Schnitt/Fakt

Es sei ${}p\colon {\mathcal {G}}^{\operatorname {et} }\rightarrow X$ der Ausbreitungsraum zu einer Garbe ${}{\mathcal {G}}$ auf einem topologischen Raum ${}X$.

Dann stimmt zu einer offenen Menge ${}U\subseteq X$ die Menge der stetigen Schnitte von ${}U$ in ${}p^{-1}(U)$ in natürlicher Weise mit ${}\Gamma {\left(U,{\mathcal {G}}\right)}$ überein.

Zum Beweis, Alternativen Beweis erstellen