Topologischer Raum/Diskrete Garbe/Definition

Diskrete Garbe

Eine Garbe von kommutativen Gruppen ${}{\mathcal {G}}$ auf einem topologischen Raum ${}X$ heißt diskret, wenn für jeden Schnitt ${}s\in \Gamma {\left(U,{\mathcal {G}}\right)}$ die Menge ${}{\left\{x\in X\mid s_{x}\neq 0\right\}}$ diskret und abgeschlossen in ${}U$ ist.