In topology, a branch of mathematics, the loop space ΩX of a pointed topological space X is the space of loops in X, i.e. continuous pointed maps from the pointed circle S¹ to X, equipped with the compact-open topology. Two loops can be multiplied... Wikipedia