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

局所写像度

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

f:Sn→Snf:S^n\to S^n, y=f(x)y=f(x) とし、xx が f−1(y)f^{-1}(y) の孤立点であるとする。xx の開近傍 UU を U∩f−1(y)={x}U\cap f^{-1}(y)=\{x\} となるように取る。ff は対 (U,U∖x)→(Sn,Sn∖y)(U,U\setminus x)\to(S^n,S^n\setminus y) を定める。切除 ex:Hn(U,U∖x)→Hn(Sn,Sn∖x)e_x:H_n(U,U\setminus x)\to H_n(S^n,S^n\setminus x)(定理 5.3[特異ホモロジー])を使って

Hn(Sn,Sn∖x)←≅exHn(U,U∖x)→f∗Hn(Sn,Sn∖y)H_n(S^n,S^n\setminus x)\xleftarrow[\cong]{e_x}H_n(U,U\setminus x)\xrightarrow{f_*}H_n(S^n,S^n\setminus y)

と ux,uyu_x,u_y を合わせた整数倍写像の倍率を xx における局所写像度 dx(f)d_x(f) とする(UU を小さくしても変わらない)。

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

閉包の状態

定義

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

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

これを使っている定理

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