Concept

Loop (topology)

In mathematics, a loop in a topological space X is a continuous function f from the unit interval I = [0,1] to X such that f(0) = f(1). In other words, it is a path whose initial point is equal to its terminal point. A loop may also be seen as a continuous map f from the pointed unit circle S^1 into X, because S^1 may be regarded as a quotient of I under the identification of 0 with 1. The set of all loops in X forms a space called the loop space of X.

Official source

https://en.wikipedia.org/wiki/Loop_(topology)

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Modèles tordus d'espaces de lacets libres et fonctionnels

Sylvestre Blanc

In this PhD thesis, we construct an explicit algebraic model over Z of the cochains of the free loop space of a 1-connected space X. We start from an enriched Adams-Hilton model of X, which can be obtained relatively easily when X is the realisation of a s ...

EPFL2004

Related concepts (1)

Loop space

In topology, a branch of mathematics, the loop space ΩX of a pointed topological space X is the space of (based) loops in X, i.e. continuous pointed maps from the pointed circle S1 to X, equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an A∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of ΩX, i.e. the set of based-homotopy equivalence classes of based loops in X, is a group, the fundamental group π1(X).