Isomorfismo de Thom

Afirmación en topología algebraica que para un fibrado vectorial E → B de rango k (adecuadamente orientado) existe una clase de Thom en la cohomología del espacio de Thom Th(E) que induce un isomorfismo H^*(B; R) → H^{*+k}(Th(E); R) (equivalente a H^*(Th(E)) ≅ H^{*-k}(B) tras el corrimiento de grados), permitiendo transferencias y aplicaciones de Gysin.