https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
Leray-Hirschを使ってSW class及びChern classの存在を証明する。
LH thm
p:E \to Bに対しH^*(E;R)はH^*(B;R)-mod構造をab = p^*(a) \cup bにより定めると、
F \to EがH^*(-;R)の全射を誘導し、H^n(F;R)がfinite free R-modであれば、H^*(E;R)は自由H^*(B;R)-modである。
ベクトル束 E \to Bから射影空間束P(E) \to Bを作る。
P(g):P(E) \to RP^\inftyを適当に定め、生成元の引き戻しをx \in H^1(P(E);Z/2)とする
これから定まるx^iがSW classを定めることを見る。
