前スレにも書いたが、積分を微分形式と部分多様体の
対として〈dω,D〉と表示すればストークスの定理は
〈dη,C〉=〈η,∂C〉 と書かれることになる
ddη＝0であるし∂∂Cでもあることからわかるように
微分形式の外微分作用素と部分多様体の境界作用素
は双対の関係になっており、これがコホモロジーと
ホモロジーの双対性につながっているわけなのだ
コホモロジーはベクトル空間であるだけではなく
環としての構造をもっているのだが、他でもなく
それは、微分形式のもつ外積ω ∧ ηに由来している