关于奇异同调$H_m(X\times Y)\simeq \bigoplus_{p+q=m} H_p(X;H_q(Y))$的证明问询

嘿，这个问题问到点子上了——乘积空间的同调分解是代数拓扑里连接拓扑与代数的经典结果，咱们从你提到的Eilenberg-Zilber定理入手，一步步拆解：

你已经知道Eilenberg-Zilber定理的核心结论：乘积空间的奇异链复形$S_(X \times Y)$与两个空间奇异链复形的张量积$S_(X) \otimes S_*(Y)$是链等价的。

链等价的关键性质就是：链等价的复形具有同构的同调群。所以我们立刻能得到：
$$H_m(X \times Y) \cong H_m\left(S_(X) \otimes S_(Y)\right)$$
到这里，拓扑问题就转化成了纯代数问题：计算两个链复形张量积的同调群。

接下来要用到的是Künneth公式——这是代数上专门用来计算链复形张量积同调的工具。对于链复形$C_$和$D_$，如果其中一个是自由链复形（也就是每个链群$C_p$都是自由Abel群），那么Künneth公式给出：
$$H_m(C_* \otimes D_) \cong \bigoplus_{p+q=m} H_p(C_; H_q(D_*))$$

而奇异链复形$S_(X)$正好满足“自由”的条件：每个$S_p(X)$都是自由Abel群，生成元就是所有从$\Delta^p$到X的奇异单形。把$C_=S_(X)$，$D_=S_*(Y)$代入公式，就直接得到：
$$H_m(X \times Y) \cong \bigoplus_{p+q=m} H_p(X; H_q(Y))$$
这就完成了证明——整个过程的核心是Eilenberg-Zilber把拓扑问题转成代数问题，再用Künneth公式这个代数工具解决。

这个定理的拓扑意义其实很直观：

• 乘积空间$X \times Y$里的m维奇异链，本质上可以“分解”成X里的p维链和Y里的q维链的组合（$p+q=m$）。Eilenberg-Zilber定理里的链等价映射，其实就是把乘积空间里的单形，拆成X和Y中对应单形的乘积的线性组合，这对应着拓扑上“乘积空间的局部是两个空间局部的乘积”的直觉。
• 同调群的分解则对应着：乘积空间的m维同调类，是由X的p维同调类（以Y的q维同调类为系数）“拼接”出来的。比如最经典的例子：环面$S^1 \times S^{1$的2维同调群$H_2(S}1 \times S^1) \cong \mathbb{Z}$，这个生成元就是$S^{1$的1维同调生成元（X的p=1）和$S}1$的1维同调生成元（Y的q=1）的乘积，正好对应$p+q=2$的项$H_1(S^1; H_1(S^1)) \cong \mathbb{Z} \otimes \mathbb{Z} = \mathbb{Z}$。
• 再举个简单例子：如果X是单点空间，那么$H_m(X \times Y) = H_m(Y)$，代入公式就是$H_0(X; H_m(Y)) \cong \mathbb{Z} \otimes H_m(Y) = H_m(Y)$，完全符合预期——单点和Y的乘积就是Y本身，同调群自然一样。

简单来说，这个定理就是把“乘积空间的拓扑结构是两个空间结构的乘积”这一直觉，用代数的同调语言精确地表达了出来。

内容的提问来源于stack exchange，提问作者S.Lim