同调论 Notes

1. 奇异同调复形和CW复形的比较.
   1.1 奇异同调中的Ker(Z)和Im(B)很大, CW复形则相对小
   1.2 CW复形用一种骨架简化了拓扑空间 研究q维同调群只需要考虑小于等于q+1维的骨架
   1.3 CW和奇异 在代数结构上都是自由链复形 
   这里有极其重要的性质:
   两个自由链复形的同调群如果同构那么 这两个链是同伦的 
   Hom函子和张量积函子都是保同伦的所以 同调群同构可以推出一系列同伦
   universal coef fomula定理由此而来
           
 2. 同调群的乘积.
    2.1 乘积空间定义-注意区分拓扑意义和链复形意义
    2.2 乘积空间的同调群由乘子的同调群完全决定:
           注意H(p+q) != (+) Hp (x)  Hq                                (+)表示直和  (x)表示张量积
           Hp和Hq的张量积作为直和项目 成为大群Hp+q的组成部分
           但是乘子的同调群中无挠的部分会派生出更多杂质
           短正和列 张量积一个自由模仍然保持正和 但是z2这种有可能不正合
           短正和列2号位置 做张量积后的非0同调群正是这种杂质.
    2.2 乘积空间边缘算子的定义 注意加上维度符号(-1)^p
    3.3 上积的定义 (奇异同调意义 链复形意义 de Rham上同调)