Относительные гомологии

группы гомологии HCp(X, A; G).пары пространств (X, А). Они определяются факторкомплексом комплекса цепей Xс коэффициентами в группе G но подкомплексу, состоящему из всех цепей с носителями в А. Эти группы обычно не изменяются при "вырезании", т. е. при замене пары (X, А).парой [img: http://localhost:8080/file/041615-11.jpg], где U - содержащееся в Аоткрытое подмножество X. Относительные когомологии Н p(Х, A; G).определяются подкомплексом комплекса цепей X, состоящим из всех коцепей с носителями в [img: http://localhost:8080/file/041615-12.jpg], в то время как фактор-комплекс обычно определяет когомологии подмножества [img: http://localhost:8080/file/041615-13.jpg]