Countability of the homology of an open Euclidean subset

ID: countability-of-the-homology-of-an-open-euclidean-subset

Every open subset is the directed union of finite unions of closed rational cubes contained in . Every compact subset of lies in one such finite polyhedron, whose homology is finitely generated. The homology of a directed union therefore expresses each as a direct limit over a countable family of countable groups, so it is countable.

New to topics? Read the docs here!