En el campo matemático de la topología , un bucle libre es una variante de la noción de bucle . Mientras que un bucle tiene un punto distinguido en él, llamado su punto base, un bucle libre carece de tal punto distinguido. Formalmente, sea un espacio topológico . Entonces un bucle libre en es una clase de equivalencia de funciones continuas desde el círculo hasta . Dos bucles son equivalentes si difieren por una reparametrización del círculo. Es decir, si existe un homeomorfismo tal que
Por lo tanto, un bucle libre, a diferencia de un bucle con base utilizado en la definición del grupo fundamental , es una función del círculo al espacio sin la restricción de conservación del punto base. Suponiendo que el espacio está conexo por trayectorias , las clases de homotopía libres de bucles libres corresponden a clases de conjugación en el grupo fundamental.
Recientemente, el interés en el espacio de todos los bucles libres ha crecido con el advenimiento de la topología de cuerdas , es decir, el estudio de nuevas estructuras algebraicas en la homología del espacio de bucles libres.
