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)…