Date: Thu, 19 Oct 1995 12:40:58 -0700 From: [Permission pending] To: rusin@washington.math.niu.edu Subject: Re: What's the homology of this space? In article <46637q$q5k@muir.math.niu.edu> you write: >Let X be the subspace of R^2 obtained by deleting the points >with both coordinates rational. > >What is H_1(X,Z)? What is H^1(X,Z)? > >I would be interested in pointers to the literature. I hope not to >have to get into lim^1 issues and so on, but that may be inevitable. > >dave --------------------------------------------------- I would bet that the answer for such a "pathological" space will depend strongly on exactly which (co)homology theory you are using: simplicial, singular, compact support, Cech, etc. (Incidentally, as you may know, your space X is homeomorphic to R^2 - D, where D is any countable dense subset of R^2.) --[Permission pending] ============================================================================== Date: Fri, 20 Oct 1995 14:44:20 +0100 From: David Epstein To: rusin@washington.math.niu.edu Subject: Re: What's the homology of this space? With reference to your article in sci.math.research, I think the answer must depend on which homology theory you use. For example, if you use Cech homology, then this is based on open coverings. Every open covering of your space has a countable subcovering. Therefore the Cech homology is a direct limit of countable groups and there's a good chance that the answer is countable (I'm not sure of this). If you use singular homology, then you have phenomena like the Hawaian earring. This presumably ensures that the group is uncountable. And there are other homology and cohomology theories. When dealing with a horrible space like the one you mention, it's important to fix on one particular theory. Best wishes, David Epstein.