滑らかな写像の写像度

定義 4.1（「交点数と写像度」§4）

$X,Y$ を同じ次元 $n$ のコンパクトな向き付けられた境界のない多様体、 $Y$ は連結とする。滑らかな写像 $f\colon X\to Y$ と点 $y\in Y$ （正の符号を付けた $0$ 次元部分多様体とみなす）に対し

\deg f=I(f,\{y\})

を $f$ の写像度という。

閉包の状態

定義

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

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