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.
Articles by others on the same topic
There are currently no matching articles.