mod 2 写像度

定義 2.5（「交点数と写像度」§2）

$X,Y$ を同じ次元のコンパクトな境界のない多様体、 $Y$ は連結とする。滑らかな写像 $f\colon X\to Y$ と $y\in Y$ に対し $\deg_2f=I_2(f,\{y\})$ を $f$ の mod 2 写像度という。

閉包の状態

定義

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

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

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