I am reading James Munkres' book, Elements of Algebraic Topology.(adsbygoogle = window.adsbygoogle || []).push({});

Theorem 6.5 on page 39 concerns the homology groups of the connected sum of two projected planes.

Munkres demonstrates the following:

[itex] H_1 ( P^2 \# P^2 ) \simeq \mathbb{Z} \oplus \mathbb{Z} / 2 [/itex] ... ... ... (1)

and

[itex] H_2 ( P^2 \# P^2 ) = 0 [/itex] ... ... ... (2)

I would appreciate some help in understanding how Munkres establishes [itex] H_2 ( P^2 \# P^2 ) = 0 [/itex]. He does this moderately early in the proof after setting up the definitions and notation.

The Theorem and the early part of the proof up to the statement that "it is clear that [itex] H_2 ( P^2 \# P^2 ) = 0 [/itex]" is as follows:

I have labelled L in a manner that I think is appropriate as follows:

Early in the proof (see above) Munkres refers to conditions 1 and 2. These conditions are as follows:

As I mentioned above, Munkres states, early in the proof, that

"It is clear that [itex] H_2 ( P^2 \# P^2 ) = 0 [/itex]"

BUT ... this is anything but clear to me ...

Can anyone explain why this 'clearly' follows:

Would appreciate some help.

Peter

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homology of Connected Sum of Two Projective Planes, P^2 # P^2

Loading...

Similar Threads for Homology Connected Projective |
---|

I Problem about a connected subspace |

A Homology calculation using Mayer-Vietoris sequence |

A Homology of R^3 minus a tube |

A Connected sum of manifolds and free group isomorphisms |

A Fundamental group of n connect tori with one point removed |

**Physics Forums | Science Articles, Homework Help, Discussion**