数学 › 代数的位相幾何学 › 胞体ホモロジーと写像度
胞体鎖複体
とし、 を合成
で定める。(: 長完全列の隣り合う 2 つの写像の合成)なので、 は鎖複体になる。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
数学 › 代数的位相幾何学 › 胞体ホモロジーと写像度
とし、 を合成
で定める。(: 長完全列の隣り合う 2 つの写像の合成)なので、 は鎖複体になる。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。