Teorema del lazo

En la topología de las 3-variedades el teorema del lazo es una generalización del lema de Dehn. Este teorema fue demostrado por Christos Papakyriakopoulos, junto con el teorema de la esfera, en 1956 con su procedimiento de construcción de torres.

Una versión es:

• Sea $M$ una 3-variedad con frontera. Sea $f:(D^2,\partial D^2)\to (M,\partial M)$ un aplicación continua con $f|\partial D^2$ no homotópica a cero en $\partial M$, entonces hay un encaje con la misma propiedad.

Aquí $D^2$ es el disco (topológico) cerrado de dimensión dos, por lo que el borde $\partial D^2$ es un círculo.