0
$\begingroup$

I'm trying to prove that a reduced homology theory can be define from an unreduced one, but the problem is to define a border map for the reduced homology using the unreduced homology groups.

  • 0
    Huh? What's a "border map" -- you mean boundary map in homology? $\tilde{H}_n=H_n$ for n>0 and $\tilde{H}_0\oplus\mathbb{Z}=H_0$.2012-07-15

1 Answers 1

1

You might know, Hatcher uses the maps

$\overline H_n(X)=\ker(H_n(X)\rightarrow H_n(point))$

$H_n(X)=\overline H_n(X\sqcup point)$

It's left as an exercise to check that these two maps are inverses of each other as transformation of the unreduced and the reduced homology theories.

  • 0
    Hello Aneesh! Hatcher gives maps but I don't know if theese really define homology theories, I want to prove this before the equivalence..2012-07-15