Relative homology connecting homomorphism

ID: relative-homology-connecting-homomorphism

A relative cycle is represented by a singular chain whose boundary lies in . Define . If a representative changes by with , its boundary changes by , an -boundary. Thus the map is well-defined and additive. Its image is exactly the kernel of : a cycle in dies in precisely when it is the boundary of a relative cycle lifted to . This proves the corresponding exactness in the long exact sequence in relative homology directly.

New to topics? Read the docs here!