nLab
free loop space

Contents

Idea

The free loop space of a topological space XX (based or not) is the space of all loops in XX. This is in contrast to the based loop space of a based space XX for which the loops are at the fixed base point x 0Xx_0\in X.

Definition

Explicit description

For XX a topological space, the free loop space LXL X is the topological space Map(S 1,X)Map(S^1,X) of continuous maps in compact-open topology.

If we work in a category of based spaces, then still the topological space Map(S 1,X)Map(S^1,X) is in the non-based sense bit it itself has a distinguished point which is the constant map tx 0t\mapsto x_0 where x 0x_0 is the base point of XX.

General abstract description

If XX is a topological space, the free loop space LXL X of XX is defined as the free loop space object of XX formed in the (∞,1)-category Top.

Revised on September 18, 2013 01:55:36 by Urs Schreiber (77.251.114.72)