homology of ℝ⁢ℙ3.


We need for this problem knowledge of the homology groups of S2 and ℝ⁢ℙ2. We will simply assume the former:

Hk⁢(S2;ℤ) ={ℤk=0,20e⁢l⁢s⁢e

Now, for ℝ⁢ℙ2, we can argue without Mayer-Vietoris. X=ℝ⁢ℙ2 is connected, so H0⁢(X;ℤ)=ℤ. X is non-orientable, so H2⁢(X;ℤ) is 0. Last, H1⁢(X;ℤ) is the abelianizationMathworldPlanetmath of the already abelianMathworldPlanetmath fundamental groupMathworldPlanetmathPlanetmath π1⁢(X)=ℤ/2⁢ℤ, so we have:

Hk⁢(ℝ⁢ℙ2;ℤ) ={ℤk=0ℤ/2⁢ℤk=10k≥2

Now that we have the homology of ℝ⁢ℙ2, we can compute the homology of ℝ⁢ℙ3 from Mayer-Vietoris. Let X=ℝ⁢ℙ3, V=ℝ⁢ℙ3\{p⁢t}∼ℝ⁢ℙ2 (by vieweing ℝ⁢ℙ3 as a CW-complexMathworldPlanetmath), U∼D3∼{p⁢t}, and U∩V∼S2, where ∼ denotes equivalence through a deformation retractMathworldPlanetmath. Then the Mayer-Vietoris sequence gives