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

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Строка 23:
{{main|Гомологии|Когомологии}}
n-мерная группа гомологий <math>H_n</math> цепного комплекса <math>(K_\bullet, \partial_\bullet)</math> является его мерой точности в n-ом члене и определяется как
: <math>H_n(K_\bullet, \partial_\bullet) = B_n(K)/Z_n(K)= \kermathrm{Ker}\, \partial_n / \operatornamemathrm{Im}\, \partial_{n+1}</math>. Для точного комплекса <math>H_n=0</math>
 
Аналогично определяется n-мерная группа когомологий коцепного комплекса:
: <math>H^{n}(\Omega^\bullet, d^\bullet) = B^n/Z^n = \kermathrm{Ker}\, d^n / \operatornamemathrm{Im}\, d^{n-1}</math>
 
== Гомоморфизмы цепных комплексов ==