Garbe/Überdeckung/Cech-Kohomologie/Definition

Čech-Kohomologie

Es sei ${}X=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung ${}{\mathcal {U}}$ eines topologischen Raumes ${}X$ und ${}{\mathcal {G}}$ eine Garbe von kommutativen Gruppen auf ${}X$. Zu ${}k\in \mathbb {N}$ definiert man die ${}k$-te Čech-Kohomologie ${}{\check {H}}^{k}({\mathcal {U}},{\mathcal {G}})$ als die ${}k$-te Homologie des Čech-Komplexes ${}{\check {C}}^{\bullet }({\mathcal {U}},{\mathcal {G}})$.