Garbe/Überdeckung/Cech-Korand/Definition

Čech-Korand

Es sei  $X=\bigcup _{i\in I}{U}_i$  eine offene Überdeckung $𝒰$ eines topologischen Raumes $X$ und $𝒢$ eine Garbe von kommutativen Gruppen auf $X$. Eine $k$-te Čech-Kokette  $(t_J)\in {\check{C}}^k(𝒰,𝒢)=\prod _{\{J\mid \mathrm{\#}\left(J\right)=k+1\}}𝒢\left(U_J\right)$  heißt ein $k$-ter Čech-Korand (zur Überdeckung $𝒰$ und zur Garbe $𝒢$), wenn sie zum Bild der Čech-Ableitung

${\delta }_{k-1}:{\check{C}}^{k-1}(𝒰,𝒢)⟶{\check{C}}^k(𝒰,𝒢)$

gehört. Die Gruppe der $k$-ten Čech-Koränder wird mit ${\check{B}}^k(𝒰,𝒢)$ bezeichnet.