Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've been computing some singular homology groups of different spaces. In particular, I know how to compute the homology of a cell complex. Now I'm wondering how to compute the homology of $\mathbb{R}^m$. Since homology is a way of counting holes and $\mathbb{R}^m$ doesn't have any I guess $H_n(\mathbb{R}^m) = 0$ for all $n,m$.

But how do I rigorously compute this? Thanks for your help.

Edit: I think I can use that $\mathbb{R}^n$ is contractible and then $H_n(\mathbb{R}^m) = H_n(\{ \ast \})$.

share|cite|improve this question
Do you already know that homotopic maps yield the same morphisms in homology? If you do, you can calculate the homology groups of $\mathbb{R}^m$ in no time! – Olivier Bégassat Aug 13 '11 at 15:32
Have you already seen the fact that if two spaces are homotopy equivalent then their homologies agree? – Jason DeVito Aug 13 '11 at 15:32
that's all there is to it :) – Olivier Bégassat Aug 13 '11 at 15:38
Remember that the rank of $H_0(\mathbf R^m)$ is the number of path components of $\mathbf R^m$. – Dylan Moreland Aug 13 '11 at 15:40
I wonder if the Jordan curve theorem could be used here; I know it is like using a tank to kill a fly, but I wonder if JCT says that every cycle (simple closed curve; given an orientation) bounds. – gary Aug 13 '11 at 16:20
up vote 5 down vote accepted

$\mathbb{R}^n$ is contractible therefore homotopy equivalent to a point and so $H_n(\mathbb{R}^m) = H_n(\{ \ast \})$.

$$ H_n(\{ \ast \}) = 0 , n > 0$$ $$ H_n(\{ \ast \}) = \mathbb{Z} , n = 0$$

share|cite|improve this answer
What is $k$? Perhaps you mean $n$. – user02138 Aug 14 '11 at 7:20
Yes, I do, thanks. Sorry, I used $n$ here and $k$ on paper : P – Rudy the Reindeer Aug 14 '11 at 9:05

I think this may be an alternative proof; maybe overkill, but I think it may work:

I think cycles C on X can be geenralized as injective continuous , injective maps

$S^n\rightarrow X$. JCT states that (the image of ) C separates the plane into two

connected regions with C as the boundary; the interior of C can then be seen as being

bounded by the cycle, C, so that we can then say that every cycle C in $\mathbb R^n$

bounds, and so the homology of $\mathbb R^n $is trivial.

Edit: as Grigory pointed out, my idea was too simple and too good to be true ; e.g.,genus-g surfaces cannot be represented as images of spheres. Maybe my argument can be shown that $\pi_n(\mathbb R^n)=0$, but I am not betting on it.

share|cite|improve this answer
Not every homology class can be realized as an image of a sphere (think, say, of $H_2$ of surfaces with $g>1$)... – Grigory M Aug 13 '11 at 16:37
But, would Sg , I guess as a subbspace of $\mathbb R^n $ be considered a cycle? – gary Aug 13 '11 at 17:48
Yes, of course. (But beware: in general, not every cycle can be realized by manifold — let alone by embeded manifold.) – Grigory M Aug 13 '11 at 17:54
What is then the general definition of a cycle? – gary Aug 13 '11 at 18:00
Actually, the idea of yours works nicely in the opposite direction: canonical proof of higher-dimensional JCT uses vanishing of $H(\mathbb R^n)$ explicitly (and ordinary JCT, one might argue, implicitly); in fact, it's an instance of Alexander duality. – Grigory M Aug 13 '11 at 19:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.