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.
Articles by others on the same topic
There are currently no matching articles.