cellular homology
If is a cell space, then let be the cell complex where the -th group is the free abelian group on the cells of dimension , and the boundary map
is as follows: If is an -cell, then we can define a map , where is any cell of dimension by the following rule: let be the attaching mapfor , where is the -skeleton of . Then let be the natural projection
Let . Now, is a (n-1)-sphere, so the map has a degree which we use to define the boundary operator:
The resulting chain complex is called the cellular chain complex.
Theorem 1
The homology of the cellular complex is the same as the singular homology of the space. That is
Cellular homology is tremendously useful for computations because the groups involved are finitelygenerated.