Definition
A topological space obtained by inductively attaching cells (balls) of increasing dimension by continuous attaching maps, satisfying closure-finiteness and the weak topology conditions typical of CW complexes.

Principle

Principle
Topology is built from simple local pieces: cells of dimension k are glued along their boundary to lower-dimensional skeleta, so global homotopy and homology reduce to combinatorial data of cells and attaching maps.

Demonstration

Demonstration
The n-sphere admits a CW structure with one 0-cell and one n-cell attached by the trivial map when n>0; more elaborate complexes arise from cell decompositions of manifolds or from classifying spaces in algebraic topology.

Misapplication

Misapplication
Treating any cell-like decomposition as a CW complex without checking closure-finiteness or the weak topology, or assuming a cellular structure uniquely determines a homeomorphism class of space.

Consequence

Consequence
Cell complexes admit cellular homology and cellular approximation theorems, making computation of homotopy and homology tractable and enabling inductive proofs of topological properties and obstruction theory.

Reversal

Reversal
A space lacking a cell decomposition (pathological, fractal-like examples) resists the algebraic-topological tools CW complexes provide; reversing the construction yields arbitrary decompositions that need not preserve homotopy type.

Boundary

Boundary
The definition presumes cells homeomorphic to open balls and maps continuous on boundaries; it excludes arbitrary stratifications, non-Hausdorff gluings, and requires attention when extending to infinite-dimensional or non-cellular categories.

Semantic Tension

Semantic Tension
Tension exists between CW complexes and simplicial complexes: both give combinatorial models of topology but differ in flexibility, smoothness of attaching maps, and suitability for specific computations.

Synthesis

Synthesis
A cell complex is an inductive cellular assembly where finite local pieces and their attaching maps encode the global homotopy type and make algebraic-topological invariants computable via cellular methods.