I know the following result:
If $X$ is a compact smooth manifold and $G$ is a compact Lie group which acts smoothly on $X$, then $X_G = (X\times EG)/G$ is a CW complex.
I don't know how to prove this result. Where can I find the proof? Thank you!
I know the following result:
If $X$ is a compact smooth manifold and $G$ is a compact Lie group which acts smoothly on $X$, then $X_G = (X\times EG)/G$ is a CW complex.
I don't know how to prove this result. Where can I find the proof? Thank you!