A topological space constructed inductively by attaching n-dimensional cells (homeomorphic to open n-balls) to the n−1 skeleton via attaching maps from the bounding (n−1)-spheres, equipped with the weak topology from the cell attachments and satisfying closure-finiteness.

Principle

The organizing principles are cell-by-cell inductive construction, closure-finiteness (each cell intersects only finitely many other cells' closures), and giving the space the weak topology with respect to the cells; these ensure tractable homotopy and cellular homology theories.

Demonstration

Example: the n-sphere S^n has a CW structure with one 0-cell and one n-cell attached by the constant map from S^{n-1} to the 0-cell; more elaborate spaces like projective spaces and many manifolds admit natural CW decompositions.

Misapplication

Assuming every decomposition into cells is a CW structure without verifying closure-finiteness or weak topology, or confusing CW complexes with simplicial complexes and expecting canonical triangulations in all cases.

Consequence

CW complexes admit powerful algebraic-topological tools: cellular homology computes homology from the cell structure, and CW homotopy theory simplifies proofs of homotopy equivalences and construction of maps up to homotopy.

Reversal

The reverse idea is arbitrary cell decompositions without the CW axioms (e.g., infinitely many cells accumulating in a cell's closure) which can destroy desirable properties like local contractibility and valid cellular computations.

Boundary

CW complexes include many spaces of interest (manifolds, common quotients) but exclude spaces with pathological local behavior or cell attachments that violate closure-finiteness or weak topology; triangulability is not guaranteed for every CW complex.

Semantic Tension

There is tension between CW complexes, simplicial complexes, and manifolds: while many spaces admit both CW and simplicial structures, the choices affect computational methods and invariants, and some spaces have natural CW decompositions but no simple triangulation.

Synthesis

A CW complex is a cell-structured topological space built inductively by attaching disks via sphere boundary maps under closure-finiteness and weak topology: this construction balances flexibility and computability, providing a central class of spaces in algebraic topology.