Hi, All:(adsbygoogle = window.adsbygoogle || []).push({});

I am trying to understand the formal machinery leading to a proof that the homology of the disjoint union of spaces is the disjoint (group) sum of the homologies of the respective spaces; the idea seems clear: if a cycle bounds in a given space Xi, then it will bound in the disjoint sum ( but it will bound only in Xi itself), and, conversely, a trivial, bounding cycle will also be trivial in the disjoint union. Still, I have been told--very non-specifically--that a formal proof needs a lot of machinery.

I guess part of the problem is that we may have more than countably-many possible spaces, so standard induction may not work; we may have to somehow use transfinite induction ( so it starts getting ugly here ), and maybe inverse limits (uglier), etc.

Anyone know what a more formal proof would entail?

Thanks.

**Physics Forums - The Fusion of Science and Community**

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

# Homology of Disjoint Union: Formalizing the Result.

Loading...

Similar Threads - Homology Disjoint Union | Date |
---|---|

A Is there a natural paring between homology and cohomology? | Feb 12, 2017 |

What About Cech Homology? | Sep 16, 2014 |

Why Are Homology Groups Not MUCH Larger? | May 16, 2014 |

Null-homologous framing? | Jan 21, 2014 |

Open set is countable union of disjoint open balls | Dec 21, 2009 |

**Physics Forums - The Fusion of Science and Community**