http://pi.math.cornell.edu/~hatcher/AT/AT.pdf
Thom類の存在。Theorem 4D.10
まずBが連結CW複体で、D^n \to E \to Bが向き付け可能な時、
H^i(E,E';Z) \to H^i(D^n_x,S^{n-1_x};Z)が全てのx \in Bでのファイバーについて同型であることを示す。
Bがk次元とし、U \subset Bを各k-cellから内点を一つずつぬいて得られる開集合とする。またVをopen k-cell全体とするとB = U \cup Vである。
Mayer-Vietoris系列
H^n(E,E') \to H^n(E_U,E'_U) \oplus H^n(E_V, E',V) \to H^n(E_{U \cap V}, E'_{U \cap V})
を考える。
