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维流形是同伦等价的，当且仅当它们的相交形式是等价的.