Euler 類

定義 6.1（「Thom 類と Poincaré 双対」§6）

$\pi\colon E\to M$ を階数 $r$ の向き付きベクトル束、 $s_0\colon M\to E$ を零切断とする。

e(E)=s_0^{*}\Phi(E)\in H^r(M)

を $E$ の Euler 類という。 $M$ が向き付けられた $r$ 次元の閉多様体のとき、 $\int_Me(E)$ を $E$ の Euler 数という。

閉包の状態

定義

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

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

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