Гомологии, дуальные когомологиям де Рама

Определяется оператор дивергенции $\mathrm {div}$, действующий в градуированном пространстве $\Omega _*(M)$ гладких полей поливекторов на гладком многообразии $M$. Этот оператор превращает $\Omega _*(M)$ в цепной комплекс, который определяет классические гомологии многообразия $M$.