定理 Künneth 定理

给定实流形 $M_1$ 和实流形 $M_2$ 且 $\forall k \in \mathbb{N}$ ， $\mathtip{H^*(M_1)}{M_1 的 DeRham 上同调群},\mathtip{H^*(M_2)}{M_2 的 DeRham 上同调群}$ 维数均有限
则成立

$$ \bbox[5pt]{ \mathtip{H^*(M_1 \times M_2)}{M_1 \times M_2 的 DeRham 上同调群} = \mathtip{H^*(M_1)}{M_1 的 DeRham 上同调群} \oplus \mathtip{H^*(M_2)}{M_2 的 DeRham 上同调群} } $$