Suppose is directed by inclusion and every compact subset of lies in some . Every finite singular chain then lies in one , so . Exactness of filtered colimits gives
Every singular simplex has compact image, and a singular chain is a finite sum of simplices. The image of any chain is therefore compact and lies in some . Directedness puts any finite collection of chains into one common , so
Because filtered colimits of abelian groups are exact, kernels and images commute with this colimit. Taking homology gives the homology of a directed union:
For an open , use the directed family of finite unions of closed rational cubes contained in . Every compact subset of lies in one such finite polyhedron, and each polyhedron has finitely generated cellular homology. There are only countably many of them, so their direct limit is countable. Thus every is countable.
Cohomology behaves differently because turns a direct sum into a direct product. The connected open set
has one independent loop around each puncture, so . Since , the universal coefficient theorem for cohomology gives
which is uncountable. This is the first cohomology of the countably punctured plane.