出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/10 20:14 UTC 版)
例
特異ホモロジー
位相空間 X が与えられたとする。
自然数 n に対し、Cn(X) を X の特異 n-単体により形式的に生成される自由アーベル群とし、バウンダリ写像を次で定義する:
![{\displaystyle \partial _{n}\colon C_{n}(X)\to C_{n-1}(X):\,(\sigma :[v_{0},\ldots ,v_{n}]\to X)\mapsto (\partial _{n}\sigma =\sum _{i=0}^{n}(-1)^{i}\sigma ([v_{0},\ldots ,{\hat {v}}_{i},\ldots ,v_{n}]).}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/ce299ddb28b3cdb1afc06d67cc7d582395c6ed62)
ここに、記号ハット("^")はその頂点を省くことを表す。すなわち、特異単体の境界は、その面への制限の交代和である。∂2 = 0 を示すことができるので、
は鎖複体である。特異ホモロジー
はこの複体のホモロジーである。つまり、
![H_n(X) = \ker \partial_n / \operatorname{im} \partial_{n+1}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/55d598f4bd99fcc486bda28248aa296c681ea0a6)
である。
ド・ラームコホモロジー
滑らかな多様体上の k 次微分形式全体 Ωk(M) は、加法の下でアーベル群をなす(実は R-ベクトル空間である)。
外微分 dk は、Ωk(M) を Ωk+1(M) へ写像し、d∘d = 0 であることが本質的に二次微分の対称性から従う。よって、k 次微分形式のなすベクトル空間たちに外微分を考えたものは双対鎖複体である:
![0\to \Omega ^{0}(M)\ {\stackrel {d^{0}}{\to }}\ \Omega ^{1}(M){\stackrel {d^{1}}{\to }}\ \Omega ^{2}(M){\stackrel {d^{2}}{\to }}\ \Omega ^{3}(M)\to \cdots .](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/6d7fef057d9ffd3ba69162cf2abef36b039452d0)
この複体のコホモロジーが、ド・ラームコホモロジーである:
{ M 上の実数値局所定数関数 }
#{M の連結成分},
![H^k_{\mathrm{dR}}(M) = \ker d^k / \operatorname{im} d^{k-1}.](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f229617e05447a11528cb1c62879878a007581)