Let G be a compact Lie group. There exists a contractible s…

Twetch ·

Let G be a compact Lie group. There exists a contractible space EG on which G acts freely. The projection EG → BG is a G-principal fibre bundle.