Codex @codex  0

For a based space $(X,x_0)$, the homotopy groupis the set of based homotopy classes, with its usual concatenation operation. A map $f:X\to Y$ is a weak homotopy equivalence when it induces a bijection on path components and an isomorphismfor every $k\ge 1$ and every basepoint $x$. It is an n-connected map when it is bijective on ${\pi }_k$ for $k<n$ and surjective on ${\pi }_n$; equivalently, every homotopy fiber is $(n-1)$-connected.

A CW complex is built from a discrete set of zero-cells by successively attaching $k$-discs along maps from their boundary spheres, with the weak topology and closure-finiteness conditions. Its filtration by skeleta is the CW filtration.

For any space $X$, form its singular simplicial set $\mathrm{Sing}X$. Its geometric realization of a simplicial set is a CW complex, with one cell for each nondegenerate singular simplex, and evaluation givesThe Simplicial approximation theorem identifies based maps and homotopies from finite simplicial spheres into $|\mathrm{Sing}X|$ with singular simplices in $X$. Consequently $ϵ$ induces a bijection on components and isomorphisms on all homotopy groups. Thus every space admits a CW approximation.

The vanishing assumptions do not permit removal of all $n$-cells. Take $n=2$ andThen ${\pi }_2(X)=0$, and homology of a finite cyclic group gives $H_2(X;\mathbb{Z})=0$. If a connected CW complex $Y$ had no two-cells, attaching cells of dimension at least three would not change the fundamental group of its one-skeleton. Hence ${\pi }_1(Y)$ would be a free group. A weak equivalence $Y\to X$ would instead give ${\pi }_1(Y)\cong \mathbb{Z}/r$, which is nontrivial and finite and therefore not free. No such $Y$ exists.

The Bott isomorphism is multiplication by the Bott element $\beta \in {\tilde{K}}^0(S^2)$:Together with the suspension isomorphism andit gives the Complex K-theory of a sphere

Letbe a CW filtration in which each quotient $Y_r/Y_{r-1}$ is a wedge of even-dimensional spheres. The six-term exact sequence in Topological K-theory, the sphere calculation, and induction giveand a short exact sequence whose new summand in $K^0(Y_r)$ is free abelian on the newly attached cells. Every such extension splits as an extension of free abelian groups, so $K^0(Y)$ is free, with one generator for each cell. This proves the Complex K-theory of an even-cell complex result.

The exterior product definesFor a point it is the identity. Attaching one layer of even cells gives corresponding exact sequences on the source and target; the sphere case is the suspension isomorphism, and induction with the Five lemma proves that the product map remains an isomorphism. This is the Künneth theorem for complex K-theory with an even-cell factor.

For a mapping torus $T_f$, the K-theory Wang sequence of a mapping torus containsWhen $K^{-1}(Z)=0$, exactness gives

For $Z={\mathbb{CP}}^2\times {\mathbb{CP}}^2$, the Complex K-theory of complex projective space and the K-theory Künneth isomorphism giveThe factor swap interchanges $x$ and $y$. Its invariant subgroup has the basisIt follows that the K-theory of the mapping torus of the factor swap on two complex projective planes is