The basepoint of this topological space is chosen as the constant loop that stays at the point .

As a H-space=

For convenience, we treat the unit circle as the quotient of the closed unit interval under the identification of and , and the identified point is treated as the basepoint.

The loop space admits a multiplicative structure by concatenation and reparametrization, where, for loops and , we define as the loop:

This multiplicative structure is continuous, making the loop space a topological magma. However, it is not a topological monoid, because the multiplication is not strictly associative and does not have a strict identity element. Instead, it is a H-space, in the sense that the multiplication is associative up to homotopy and there is an element that works as an identity element up to homotopy:

What is important is not just that there exist individual homotopies for the associativity of each triple, but that these homotopies vary continuously, so that we get a homotopy at the level of the topological space .

Relation with other constructs

Relationship with fundamental group

The identification is as follows: we know that the elements of are precisely the homotopy classes of loops in based at . The homotopy classes, in turn, are precisely the path components of , because a homotopy of based loops is a path in the space of based loops under the compact-open topology.

In addition to the identification as a set, we can also make the identification as a group. The left side has a group structure under concatenation. On the right side, the H-space structure of induces a monoid structure on the space of its path components. That monoid turns out to be a group, and the identification is a group isomorphism.

Relationship with higher homotopy groups

More generally, we have the following relationship:

In fact, for , both sides are naturally abelian groups, and the natural identification is an isomorphism of abelian groups.

Iterated loop spaces

We can also consider the iterated loop space . This is obtained by iterating the loop space construction times. Note that at each stage, the new basepoint is chosen as the constant loop taking the old basepoint as its value.