| dbp:mathStatement
|
- A Hausdorff space X is homeomorphic to a CW complex iff there exists a partition of X into "open cells" , each with a corresponding closure that satisfies:
* For each , there exists a continuous surjection from the -dimensional closed ball such that
** The restriction to the open ball is a homeomorphism.
** The image of the boundary is covered by a finite number of closed cells, each having cell dimension less than k.
* A subset of X is closed if and only if it meets each closed cell in a closed set. (en)
|