# 38. Čech cohomology

In thie lecture we define a new homology theory, called *Čech cohomology*. Rather than working in maximal generality, we give the definition only in the special case that we need.

For this we introduce a *Euclidean neighbourhood retract*, and define the Čech cohomology only for a pair $K \subset L$ of compact sets in a given Euclidean neighbourhood retract. These groups are written $ \check{H}^{\bullet}(L,K)$.

Next lecture we will relate Čech cohomology for compact sets of a manifold, via the following *Duality Theorem*:

Let $M$ be an $n$-dimensional oriented topological manifold. Then for every pair $K \subset L$ of compact subsets of $M$, one has an isomorphism

$$

\check{H}^k(L,K) \cong H_{n-k}(M \setminus K, M \setminus L).

$$

The famous** ***Poincaré Duality Theorem*** **is a special case of the above result (simply take $M$ to be closed, take $L = M$ and $K = \emptyset$.)

Comments and questions?