数学 › 代数的位相幾何学 › 胞体ホモロジーと写像度

胞体鎖複体

定義 3.3(「胞体ホモロジーと写像度」§3)

Cncell(X)=Hn(Xn,Xn−1)≅ZcnC^{\mathrm{cell}}_n(X)=H_n(X^n,X^{n-1})\cong\mathbb{Z}^{c_n} とし、dn:Cncell→Cn−1celld_n:C^{\mathrm{cell}}_n\to C^{\mathrm{cell}}_{n-1} を合成

Hn(Xn,Xn−1)→ ∂ Hn−1(Xn−1)→ j Hn−1(Xn−1,Xn−2)H_n(X^n,X^{n-1})\xrightarrow{\ \partial\ }H_{n-1}(X^{n-1})\xrightarrow{\ j\ }H_{n-1}(X^{n-1},X^{n-2})

で定める。dn−1dn=j ∂ j ∂=0d_{n-1}d_n=j\,\partial\,j\,\partial=0(∂j=0\partial j=0: 長完全列の隣り合う 2 つの写像の合成)なので、(C∗cell,d)(C^{\mathrm{cell}}_*,d) は鎖複体になる。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問