A **CW complex** is a kind of a topological space that is particularly important in algebraic topology.^{ [1] } It was introduced by J. H. C. Whitehead ^{ [2] } to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex). The *C* stands for "closure-finite", and the *W* for "weak" topology.^{ [2] } A CW complex can be defined inductively.^{ [3] }

- Examples
- 1-dimensional CW-complexes
- Multi-dimensional CW-complexes
- Non CW-complexes
- Formulation
- Regular CW complexes
- Relative CW complexes
- Inductive construction of CW complexes
- Homology and cohomology of CW complexes
- Modification of CW structures
- 'The' homotopy category
- Properties
- See also
- References
- Notes
- General references

- A 0-
*dimensional CW complex*is just a set of zero or more discrete points (with the discrete topology). - A 1-
*dimensional CW complex*is constructed by taking the disjoint union of a 0-dimensional CW complex with one or more copies of the unit interval. For each copy, there is a map that "glues" its boundary (its two endpoints) to elements of the 0-dimensional complex (the points). The topology of the CW complex is the topology of the quotient space defined by these gluing maps. - In general, an
*n-dimensional CW complex*is constructed by taking the disjoint union of a*k*-dimensional CW complex (for some ) with one or more copies of the*n*-dimensional ball. For each copy, there is a map that "glues" its boundary (the -dimensional sphere) to elements of the -dimensional complex. The topology of the CW complex is the quotient topology defined by these gluing maps. - An
*infinite-dimensional CW complex*can be constructed by repeating the above process countably many times.

In an *n*-dimensional CW complex, for every , a *k-cell* is the interior of a *k*-dimensional ball added at the *k*-th step. The *k-skeleton* of the complex is the union of all its *k*-cells.

As mentioned above, every collection of discrete points is a CW complex (of dimension 0).

Some examples of 1-dimensional CW complexes are:^{ [4] }

**An interval**. It can be constructed from two points (*x*and*y*), and the 1-dimensional ball*B*(an interval), such that one endpoint of*B*is glued to*x*and the other is glued to*y*. The two points*x*and*y*are the 0-cells; the interior of*B*is the 1-cell. Alternatively, it can be constructed just from a single interval, with no 0-cells.**A circle**. It can be constructed from a single point*x*and the 1-dimensional ball*B*, such that*both*endpoints of*B*are glued to*x*. Alternatively, it can be constructed from two points*x*and*y*and two 1-dimensional balls*A*and*B*, such that the endpoints of*A*are glued to*x*and*y*, and the endpoints of*B*are glued to*x*and*y*too.**A graph.**It is a 1-dimensional CW complex in which the 0-cells are the vertices and the 1-cells are the edges. The endpoints of each edge are identified with the vertices adjacent to it.- 3-regular graphs can be considered as
*generic*1-dimensional CW complexes. Specifically, if*X*is a 1-dimensional CW complex, the attaching map for a 1-cell is a map from a two-point space to*X*, . This map can be perturbed to be disjoint from the 0-skeleton of*X*if and only if and are not 0-valence vertices of*X*.

- 3-regular graphs can be considered as
- The
*standard CW structure*on the real numbers has as 0-skeleton the integers and as 1-cells the intervals . Similarly, the standard CW structure on has cubical cells that are products of the 0 and 1-cells from . This is the standard*cubic lattice*cell structure on .

Some examples of multi-dimensional CW complexes are:^{ [4] }

**An**. It admits a CW structure with two cells, one 0-cell and one n-cell. Here the n-cell is attached by the constant mapping from its boundary to the single 0-cell. An alternative cell decomposition has one (*n*-dimensional sphere*n*-1)-dimensional sphere (the "equator") and two*n*-cells that are attached to it (the "upper hemi-sphere" and the "lower hemi-sphere"). Inductively, this gives a CW decomposition with two cells in every dimension k such that .**The**It admits a CW structure with one cell in each dimension.*n*-dimensional real projective space.- The terminology for a generic 2-dimensional CW complex is a
**shadow**.^{ [5] } - A polyhedron is naturally a CW complex.
- Grassmannian manifolds admit a CW structure called
**Schubert cells**. - Differentiable manifolds, algebraic and projective varieties have the homotopy-type of CW complexes.
- The one-point compactification of a cusped hyperbolic manifold has a canonical CW decomposition with only one 0-cell (the compactification point) called the
**Epstein–Penner Decomposition**. Such cell decompositions are frequently called**ideal polyhedral decompositions**and are used in popular computer software, such as SnapPea.

- An infinite-dimensional Hilbert space is not a CW complex: it is a Baire space and therefore cannot be written as a countable union of
*n*-skeletons, each of which being a closed set with empty interior. This argument extends to many other infinite-dimensional spaces. - The space has the homotopy-type of a CW complex (it is contractible) but it does not admit a CW decomposition, since it is not locally contractible.
- The Hawaiian earring is an example of a topological space that does not have the homotopy-type of a CW complex.

Roughly speaking, a *CW complex* is made of basic building blocks called *cells*. The precise definition prescribes how the cells may be topologically *glued together*.

An *n*-dimensional closed cell is the image of an *n*-dimensional closed ball under an attaching map. For example, a simplex is a closed cell, and more generally, a convex polytope is a closed cell. An *n*-dimensional open cell is a topological space that is homeomorphic to the *n*-dimensional open ball. A 0-dimensional open (and closed) cell is a singleton space. *Closure-finite* means that each closed cell is covered by a finite union of open cells (or meets only finitely many other cells^{ [6] }).

A CW complex is a Hausdorff space *X* together with a partition of *X* into open cells (of perhaps varying dimension) that satisfies two additional properties:

- For each
*n*-dimensional open cell*C*in the partition of*X*, there exists a continuous map*f*from the*n*-dimensional closed ball to*X*such that- the restriction of
*f*to the interior of the closed ball is a homeomorphism onto the cell*C*, and - the image of the boundary of the closed ball is contained in the union of a finite number of elements of the partition, each having cell dimension less than
*n*.

- the restriction of
- A subset of
*X*is closed if and only if it meets the closure of each cell in a closed set.

The partition of *X* is also called a *cellulation*.

A CW complex is called *regular* if for each *n*-dimensional open cell *C* in the partition of *X*, the continuous map *f* from the *n*-dimensional closed ball to *X* is a homeomorphism onto the closure of the cell *C*. Accordingly, the partition of *X* is also called a *regular cellulation*. A loopless graph is a regular 1-dimensional CW-complex. A closed 2-cell graph embedding on a surface is a regular 2-dimensional CW-complex. Finally, the 3-sphere regular cellulation conjecture claims that every 2-connected graph is the 1-skeleton of a regular CW-complex on the 3-dimensional sphere (https://twiki.di.uniroma1.it/pub/Users/SergioDeAgostino/DeAgostino.pdf).

Roughly speaking, a *relative CW complex* differs from a CW complex in that we allow it to have one extra building block that does not necessarily possess a cellular structure. This extra-block can be treated as a (-1)-dimensional cell in the former definition.^{ [7] }^{ [8] }^{ [9] }

If the largest dimension of any of the cells is *n*, then the CW complex is said to have dimension *n*. If there is no bound to the cell dimensions then it is said to be infinite-dimensional. The *n*-skeleton of a CW complex is the union of the cells whose dimension is at most *n*. If the union of a set of cells is closed, then this union is itself a CW complex, called a subcomplex. Thus the *n*-skeleton is the largest subcomplex of dimension *n* or less.

A CW complex is often constructed by defining its skeleta inductively by 'attaching' cells of increasing dimension. By an 'attachment' of an *n*-cell to a topological space *X* one means an adjunction space where *f* is a continuous map from the boundary of a closed *n*-dimensional ball to *X*. To construct a CW complex, begin with a 0-dimensional CW complex, that is, a discrete space . Attach 1-cells to to obtain a 1-dimensional CW complex . Attach 2-cells to to obtain a 2-dimensional CW complex . Continuing in this way, we obtain a nested sequence of CW complexes of increasing dimension such that if then is the *i*-skeleton of .

Up to isomorphism every *n*-dimensional CW complex can be obtained from its (*n* − 1)-skeleton via attaching *n*-cells, and thus every finite-dimensional CW complex can be built up by the process above. This is true even for infinite-dimensional complexes, with the understanding that the result of the infinite process is the direct limit of the skeleta: a set is closed in *X* if and only if it meets each skeleton in a closed set.

Singular homology and cohomology of CW complexes is readily computable via cellular homology. Moreover, in the category of CW complexes and cellular maps, cellular homology can be interpreted as a homology theory. To compute an extraordinary (co)homology theory for a CW complex, the Atiyah–Hirzebruch spectral sequence is the analogue of cellular homology.

Some examples:

- For the sphere, take the cell decomposition with two cells: a single 0-cell and a single
*n*-cell. The cellular homology chain complex and homology are given by:

- since all the differentials are zero.

- Alternatively, if we use the equatorial decomposition with two cells in every dimension
- and the differentials are matrices of the form This gives the same homology computation above, as the chain complex is exact at all terms except and

- For we get similarly

Both of the above examples are particularly simple because the homology is determined by the number of cells—i.e.: the cellular attaching maps have no role in these computations. This is a very special phenomenon and is not indicative of the general case.

There is a technique, developed by Whitehead, for replacing a CW complex with a homotopy-equivalent CW complex that has a *simpler* CW decomposition.

Consider, for example, an arbitrary CW complex. Its 1-skeleton can be fairly complicated, being an arbitrary graph. Now consider a maximal forest *F* in this graph. Since it is a collection of trees, and trees are contractible, consider the space where the equivalence relation is generated by if they are contained in a common tree in the maximal forest *F*. The quotient map is a homotopy equivalence. Moreover, naturally inherits a CW structure, with cells corresponding to the cells of that are not contained in *F*. In particular, the 1-skeleton of is a disjoint union of wedges of circles.

Another way of stating the above is that a connected CW complex can be replaced by a homotopy-equivalent CW complex whose 0-skeleton consists of a single point.

Consider climbing up the connectivity ladder—assume *X* is a simply-connected CW complex whose 0-skeleton consists of a point. Can we, through suitable modifications, replace *X* by a homotopy-equivalent CW complex where consists of a single point? The answer is yes. The first step is to observe that and the attaching maps to construct from form a group presentation. The Tietze theorem for group presentations states that there is a sequence of moves we can perform to reduce this group presentation to the trivial presentation of the trivial group. There are two Tietze moves:

- 1) Adding/removing a generator. Adding a generator, from the perspective of the CW decomposition consists of adding a 1-cell and a 2-cell whose attaching map consists of the new 1-cell and the remainder of the attaching map is in . If we let be the corresponding CW complex then there is a homotopy equivalence given by sliding the new 2-cell into
*X*.

- 2) Adding/removing a relation. The act of adding a relation is similar, only one is replacing
*X*by where the new*3*-cell has an attaching map that consists of the new 2-cell and remainder mapping into . A similar slide gives a homotopy-equivalence .

If a CW complex *X* is *n*-connected one can find a homotopy-equivalent CW complex whose *n*-skeleton consists of a single point. The argument for is similar to the case, only one replaces Tietze moves for the fundamental group presentation by elementary matrix operations for the presentation matrices for (using the presentation matrices coming from cellular homology. i.e.: one can similarly realize elementary matrix operations by a sequence of addition/removal of cells or suitable homotopies of the attaching maps.

The homotopy category of CW complexes is, in the opinion of some experts, the best if not the only candidate for *the* homotopy category (for technical reasons the version for pointed spaces is actually used).^{ [10] } Auxiliary constructions that yield spaces that are not CW complexes must be used on occasion. One basic result is that the representable functors on the homotopy category have a simple characterisation (the Brown representability theorem).

- CW complexes are locally contractible.
- CW complexes satisfy the Whitehead theorem: a map between CW complexes is a homotopy equivalence if and only if it induces an isomorphism on all homotopy groups.
- The product of two CW complexes can be made into a CW complex. Specifically, if
*X*and*Y*are CW complexes, then one can form a CW complex*X*×*Y*in which each cell is a product of a cell in*X*and a cell in*Y*, endowed with the weak topology. The underlying set of*X*×*Y*is then the Cartesian product of*X*and*Y*, as expected. In addition, the weak topology on this set often agrees with the more familiar product topology on*X*×*Y*, for example if either*X*or*Y*is finite. However, the weak topology can be finer than the product topology, for example if neither*X*nor*Y*is locally compact. In this unfavorable case, the product*X*×*Y*in the product topology is*not*a CW complex. On the other hand, the product of*X*and*Y*in the category of compactly generated spaces agrees with the weak topology and therefore defines a CW complex. - Let
*X*and*Y*be CW complexes. Then the function spaces Hom(*X*,*Y*) (with the compact-open topology) are*not*CW complexes in general. If*X*is finite then Hom(*X*,*Y*) is homotopy equivalent to a CW complex by a theorem of John Milnor (1959).^{ [11] }Note that*X*and*Y*are compactly generated Hausdorff spaces, so Hom(*X*,*Y*) is often taken with the compactly generated variant of the compact-open topology; the above statements remain true.^{ [12] } - A covering space of a CW complex is also a CW complex.
- CW complexes are paracompact. Finite CW complexes are compact. A compact subspace of a CW complex is always contained in a finite subcomplex.
^{ [13] }^{ [14] }

- Abstract cell complex
- The notion of CW complex has an adaptation to smooth manifolds called a handle decomposition, which is closely related to surgery theory.

In the mathematical field of algebraic topology, the **fundamental group** of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups.

**Algebraic topology** is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

In mathematics, **homology** is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, to other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry.

In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the **Euler characteristic** is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by .

In mathematics, specifically in homology theory and algebraic topology, **cohomology** is a general term for a sequence of abelian groups associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

In topology, a branch of mathematics, two continuous functions from one topological space to another are called **homotopic** if one can be "continuously deformed" into the other, such a deformation being called a **homotopy** between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

In mathematics, particularly algebraic topology and homology theory, the **Mayer–Vietoris sequence** is an algebraic tool to help compute algebraic invariants of topological spaces, known as their homology and cohomology groups. The result is due to two Austrian mathematicians, Walther Mayer and Leopold Vietoris. The method consists of splitting a space into subspaces, for which the homology or cohomology groups may be easier to compute. The sequence relates the (co)homology groups of the space to the (co)homology groups of the subspaces. It is a natural long exact sequence, whose entries are the (co)homology groups of the whole space, the direct sum of the (co)homology groups of the subspaces, and the (co)homology groups of the intersection of the subspaces.

In mathematics, **cobordism** is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds of the same dimension are *cobordant* if their disjoint union is the *boundary* of a compact manifold one dimension higher.

In mathematics, the **Poincaré duality** theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if *M* is an *n*-dimensional oriented closed manifold, then the *k*th cohomology group of *M* is isomorphic to the th homology group of *M*, for all integers *k*

In mathematics, **complex projective space** is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the *complex* lines through the origin of a complex Euclidean space. Formally, a complex projective space is the space of complex lines through the origin of an (*n*+1)-dimensional complex vector space. The space is denoted variously as **P**(**C**^{n+1}), **P**_{n}(**C**) or **CP**^{n}. When *n* = 1, the complex projective space **CP**^{1} is the Riemann sphere, and when *n* = 2, **CP**^{2} is the complex projective plane.

In mathematics, in the subfield of geometric topology, the **mapping class group** is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.

In mathematics, **real projective space**, or **RP**^{n} or , is the topological space of lines passing through the origin 0 in **R**^{n+1}. It is a compact, smooth manifold of dimension *n*, and is a special case **Gr**(1, **R**^{n+1}) of a Grassmannian space.

In mathematics, **cellular homology** in algebraic topology is a homology theory for the category of CW-complexes. It agrees with singular homology, and can provide an effective means of computing homology modules.

In mathematics, specifically in algebraic geometry and algebraic topology, the **Lefschetz hyperplane theorem** is a precise statement of certain relations between the shape of an algebraic variety and the shape of its subvarieties. More precisely, the theorem says that for a variety *X* embedded in projective space and a hyperplane section *Y*, the homology, cohomology, and homotopy groups of *X* determine those of *Y*. A result of this kind was first stated by Solomon Lefschetz for homology groups of complex algebraic varieties. Similar results have since been found for homotopy groups, in positive characteristic, and in other homology and cohomology theories.

In mathematics, specifically in geometric topology, **surgery theory** is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by John Milnor (1961). Milnor called this technique *surgery*, while Andrew Wallace called it **Spherical Modification**. The "surgery" on a differentiable manifold *M* of dimension , could be described as removing an imbedded sphere of dimension *p* from *M*. Originally developed for differentiable manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds.

In topology, **Borel−Moore homology** or **homology with closed support** is a homology theory for locally compact spaces, introduced by (1960).

In mathematics and specifically in topology, **rational homotopy theory** is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan (1977) and Daniel Quillen (1969). This simplification of homotopy theory makes calculations much easier.

In algebraic topology, in the **cellular approximation theorem**, a map between CW-complexes can always be taken to be of a specific type. Concretely, if *X* and *Y* are CW-complexes, and *f* : *X* → *Y* is a continuous map, then *f* is said to be *cellular*, if *f* takes the *n*-skeleton of *X* to the *n*-skeleton of *Y* for all *n*, i.e. if for all *n*. The content of the cellular approximation theorem is then that any continuous map *f* : *X* → *Y* between CW-complexes *X* and *Y* is homotopic to a cellular map, and if *f* is already cellular on a subcomplex *A* of *X*, then we can furthermore choose the homotopy to be stationary on *A*. From an algebraic topological viewpoint, any map between CW-complexes can thus be taken to be cellular.

In differential topology, a branch of mathematics, a **stratifold** is a generalization of a differentiable manifold where certain kinds of singularities are allowed. More specifically a stratifold is stratified into differentiable manifolds of (possibly) different dimensions. Stratifolds can be used to construct new homology theories. For example, they provide a new geometric model for ordinary homology. The concept of stratifolds was invented by Matthias Kreck. The basic idea is similar to that of a topologically stratified space, but adapted to differential topology.

This is a glossary of properties and concepts in algebraic topology in mathematics.

- ↑ Hatcher, Allen (2002).
*Algebraic topology*. Cambridge University Press. ISBN 0-521-79540-0. This textbook defines CW complexes in the first chapter and uses them throughout; includes an appendix on the topology of CW complexes. A free electronic version is available on the author's homepage. - 1 2 Whitehead, J. H. C. (1949a). "Combinatorial homotopy. I."
*Bulletin of the American Mathematical Society*.**55**(5): 213–245. doi: 10.1090/S0002-9904-1949-09175-9 . MR 0030759. (open access) - ↑ channel, Animated Math (2020). "1.2 Introduction to Algebraic Topology. CW Complexes".
*Youtube*. - 1 2 channel, Animated Math (2020). "1.3 Introduction to Algebraic Topology. Examples of CW Complexes".
*Youtube*. - ↑ Turaev, V. G. (1994).
*Quantum invariants of knots and 3-manifolds"*. De Gruyter Studies in Mathematics.**18**. Berlin: Walter de Gruyter & Co. ISBN 9783110435221. - ↑ Hatcher, Allen,
*Algebraic topology*, p.520, Cambridge University Press (2002). ISBN 0-521-79540-0. - ↑ Davis, James F.; Kirk, Paul (2001).
*Lecture Notes in Algebraic Topology*. Providence, R.I.: American Mathematical Society. - ↑ https://ncatlab.org/nlab/show/CW+complex
- ↑ https://www.encyclopediaofmath.org/index.php/CW-complex
- ↑ For example, the opinion "The class of CW complexes (or the class of spaces of the same homotopy type as a CW complex) is the most suitable class of topological spaces in relation to homotopy theory" appears in Baladze, D.O. (2001) [1994], "CW-complex",
*Encyclopedia of Mathematics*, EMS Press - ↑ Milnor, John (1959). "On spaces having the homotopy type of a CW-complex".
*Trans. Amer. Math. Soc*.**90**: 272–280. doi: 10.1090/s0002-9947-1959-0100267-4 . JSTOR 1993204. - ↑ "Compactly Generated Spaces" (PDF).
- ↑ Hatcher, Allen,
*Algebraic topology*, Cambridge University Press (2002). ISBN 0-521-79540-0. A free electronic version is available on the author's homepage - ↑ Hatcher, Allen,
*Vector bundles and K-theory*, preliminary version available on the authors homepage

- Lundell, A. T.; Weingram, S. (1970).
*The topology of CW complexes*. Van Nostrand University Series in Higher Mathematics. ISBN 0-442-04910-2. - Brown, R.; Higgins, P.J.; Sivera, R. (2011).
*Nonabelian Algebraic Topology:filtered spaces, crossed complexes, cubical homotopy groupoids*. European Mathematical Society Tracts in Mathematics Vol 15. ISBN 978-3-03719-083-8. More details on the first author's home page]

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.