http://pi.math.cornell.edu/~hatcher/AT/AT.pdf Thom類について見ていく。 Corollary 4D.9 (D^n, S^{n-1}) \to (E, E') \to BがThom類 c \in H^n(E,E';R)を持つとする。 この時、H^i(B;R) \to H^{i+n}(E,E';R)をb \mapsto p^*(b) \cup cとすると、これは同…