Intereting Posts

What is the probability density function of pairwise distances of random points in a ball?
Inductive proof that $(m!^n)n! \mid (mn)!$
A question about sampling distribution
Sequential Criterion for Functional Limits
Optimization with a constrained function
Find the least value of x which when divided by 3 leaves remainder 1, …
Does rapid decay of Fourier coefficients imply smoothness?
How to prove this Dirac delta identity involving $\int_{-\infty}^\infty \delta(f(x)) \,s(x) \,dx$?
What does $H(\kappa)$ mean?
Maps between direct limits
Residue of $\frac{(\psi(-z) + \gamma)^2}{(z+1)(z+2)^3}$ at $z=n$
Interesting limit involving gamma function
Choosing a continuous function satisfying the mean value theorem
Deriving Fourier inversion formula from Fourier series
Proving $(A \cup B) -C = (A-C) \cup (B-C)$

I am currently reading through May’s “Algebraic Topology” and in the chapter on CW-complexes he shows that a product of CW-complexes is again a CW-complex, because one can define product cells using the canonical homeomorphism $(D^{n}, S^{n-1}) \simeq (D^{p} \times D^{q}, D^{p} \times S^{q-1} \cup S^{p-1} \times D^{q})$.

However, I remember hearing that a product of CW-complexes need not be again a CW-complex, ie. the topology on it is not the correct one. Here, May is working in the category of compactly generated spaces and the topology on this product can in general be finer than the usual product topology.

Is it easy to see that is this case the topology on the product of CW-complexes is *the right one*?

- Top Cohomology group of a “punctured” manifold is zero?
- Courses on Homotopy Theory
- Continuous Deformation Of Punctured Torus
- Which manifolds are parallelizable?
- Topological group: Multiplying two loops is homotopic to linking these paths?
- how to compute the de Rham cohomology of the punctured plane just by Calculus?

- CW construction of Lens spaces Hatcher
- $f:\mathbb{S}^1\rightarrow\mathbb{S}^1$ odd $\Rightarrow$ $\mathrm{deg}(f)$ odd (Borsuk-Ulam theorem)
- About maps between homology groups
- Induced maps in homology are injective
- Second homotopy group of real Grassmannians $\textrm{Gr}(n,m)$, special case $n=m=2$ not clear.
- composition of covering maps
- Practicing Seifert van Kampen
- Applications of universal coefficient theorem
- De Rham Cohomology of the tangent bundle of a manifold
- Brouwer's fixed-point theorem and the intermediate value theorem?

Let $X$ and $Y$ be CW complexes. Let $X\times Y$ be the usual product (in $\mathbf{Top}$, the category of **all** spaces), and let $X\times_k Y$ be the $k$-ification of $X\times Y$, that is the topology coherent with the compact subsets of that space, so $X\times_k Y$ is the product in the category of $k$-spaces. By $X\times_{CW} Y$ we will denote the CW structure on the product.

Since every CW complex is a $k$-space, being a quotient of a topological sum of balls, which are compact Hausdorff spaces, so is $X \times_{CW} Y$. The projections from $X \times_{CW} Y$ to $X$ and to $Y$ induce the identity map to $X\times Y$, and thus a continuous identity map $i: X \times_{CW} Y \to X\times_k Y$, by universality of the $k$-ification.

In order to show that the inverse $j: X \times_k Y \to X \times_{CW} Y$ is continuous, we show that $j|_K$ is continuous on every compact subset $K$ of $X\times Y$. Since the both projections of $K$ are compact, they are contained in finite subcomplexes $C_X \subset X$ and $C_Y\subset Y$. Their product $C_X\times C_Y$ is compact Hausdorff and thus a $k$-space, and it is a subspace of $X\times_k Y$ containing $K$. Since $C_X \times_{CW} C_Y \to C_X \times C_Y$ is a continuous map from a compact to a Hausdorff space, it is a homeomorphism. That means $j|_K$ embeds $K$ into $C_X\times_{CW} C_Y$ and thus into $X \times_{CW} Y$.

I hope everything is correct, it is easy to lose track with all these different topologies flying around, so I urge you to double check what I did here.

- Linear independence of $n$th roots over $\mathbb{Q}$
- Determining matrix $A$ and $B$, rectangular matrix
- The simple modules of upper triangular matrix algebras.
- Adjoint of multiplication by $z$ in a Hilbert Space (Bergman space)
- What is exactly the difference between a definition and an axiom?
- Show bijection from (0,1) to R
- What is $\arctan(x) + \arctan(y)$
- Show that $\left| \sqrt2-\frac{h}{k} \right| \geq \frac{1}{4k^2},$ for any $k \in \mathbb{N}$ and $h \in \mathbb{Z}$.
- Find all homomorphisms from a quotient polynomial ring $\mathbb{Z} /(15X^2+10X-2)$ to $\mathbb{Z}_7$
- What made the proof of the four color theorem on planes so hard?
- Why do we care about non-$T_0$ spaces?
- Prove the inequality involving multiple integrals
- Ellipse like on sphere
- Necessary and Sufficient Condition for $\phi(i) = g^i$ as a homomorphism – Fraleigh p. 135 13.55
- Metrizable compactifications