Garbe/Träger/Definition

Träger (Garbe)

Zu einer Garbe ${}{\mathcal {F}}$ auf einem topologischen Raum ${}X$ nennt man den Abschluss

${\overline {\left\{P\in X\mid {\mathcal {F}}_{P}\neq 0\right\}}}$

den Träger von ${}{\mathcal {F}}$.