数学では、ドナルドソンの定理(Donaldson's theorem)は、次元 4 の単連結な滑らかな多様体(smooth manifold)の定値(definite)な交叉形式は、対角化可能であるという定理である。交叉形式が正定値(負定値)であれば、交叉形式は整数上の単位行列(負の単位行列)に対角化可能である。