Цепной комплекс: различия между версиями

 

== Цепная гомотопия ==

''Цепная гомотопия'' <math>D\colon X \to Y</math> между гомоморфизмами комплексов <math>f</math> и <math>g</math> - это такой гомоморфизм цепных комплексов <math>(X^\bullet, \partial^\bullet)</math> и <math>(Y^\bullet, \delta^\bullet)</math> степени +1 (т.е. <math>D_k \colon X_k \to Y_{k+1}</math>), для которого

: <math>\delta D + D \partial = g - f</math>