Why does delooping the classifying space of a topological group $G$ return a space homotopy equivalent to $G$.
In symbols, why $\Omega(BG) \cong G$, where $G$ is a topological group and $BG$ its classifying space?
Why does delooping the classifying space of a topological group $G$ return a space homotopy equivalent to $G$.
In symbols, why $\Omega(BG) \cong G$, where $G$ is a topological group and $BG$ its classifying space?
This construction is found in Hatcher if I recall correctly.
Let $p: EG \to BG$ be a quotient of a contractible space $EG$ by a free action of $G$. This gives rise to a fibration $G \hookrightarrow EG \twoheadrightarrow BG$.
We also have the pathspace fibration of $BG$: Let $P(BG) = \{ \gamma : I \to BG : \gamma(0) = * \}$, then we have a fibration $\pi: P(BG) \twoheadrightarrow BG$ given by $\pi(\gamma) = \gamma(1)$. The fiber, $\pi^{-1}(*)$, is exactly $\Omega(BG)$.
Now $EG$ is contractible, so there is a homotopy $h_t : EG \to EG$ between $h_1 = id$ and $h_0 = *$ (the constant map). Now define $\Phi : EG \to P(BG)$ by $\Phi(x)(t) = p(h_t(x))$ (we verify that we have $\Phi(x)(0) = p(h_0(x)) = p(*) = *$). This map $\Phi$ plugs into the diagram (because the orbit $G * \subset EG$ gets sent to $\Omega(BG)$ by $\Phi$):
$$\begin{matrix} G & \to & EG & \to & BG \\ \Phi \downarrow && \Phi \downarrow && \downarrow = \\ \Omega(BG) & \to & P(BG) & \to & BG \end{matrix}$$
This gives rise to a morphism between the exact sequences of the two considered fibrations induced by $\Phi$. But the two spaces $EG$ and $P(BG)$ have all trivial homotopy groups, and the maps between the homotopy groups of $BG$ are all identities. An application of the five lemma now shows that $\Phi_* : \pi_k(G) \to \pi_k(\Omega(BG))$ is an isomorphism for all $k$, and therefore $\Phi : G \to \Omega(BG)$ is a weak homotopy equivalence.
Note: When $G$ is discrete the situation is much simpler. In this case, $BG$ is an Eilenberg-MacLane space $K(G,1)$. An immediate verification (just look at the definition) also shows that $\pi_k(\Omega X) = \pi_{k+1}(X)$ for a space $X$. So $\Omega(BG)$ is a $K(G,0)$. That is, it's $G$.
Edit: This is basically Proposition 4.66 in Hatcher's Algebraic Topology, adapted in the case of $BG$; he also makes the observation that this implies what I wrote here.