4維流形相交形式(the intersection formon 4-manifolds)定義在緊緻單連通4維流形上的雙線性形式，用它可以確定4維流形的同倫型與分類性質.設M為緊緻單連通的4維拓撲流形，s,s'為M中可定向閉曲面，它們處於一般位置，因為(M>1,M為可定向流形，交點數1.(S,S')隨S(或s')的改變定向而改變符號，所以決定一個對稱雙線性形式或相交形式由龐加萊對偶定理可知， xr為交換群HZ (M; Z)的一個基，則行列式一個經典的結果是，可由f決定M的同倫型，即，懷特海定理:兩個緊緻單連通的4維流形是同倫等價的，若且唯若它們的相交形式是等價的.
