Espacio de Lazos

Dado un espacio topológico apuntado (X, x0), el espacio de lazos ΩX es el espacio de aplicaciones continuas γ: [0,1] → X con γ(0) = γ(1) = x0 (equivalente a mapas basados S^1 → X), dotado de la topología compacto‑abierta (o de función). Los puntos son lazos basados y el espacio se apunta por el lazo constante.