TEOREMA (Teorema de Schonflies). Si J es un nudo en Â2, entonces existe un homeomorfismo f : Â2® Â2 que conserva la orientación y f(J) es frontera de un triángulo.

DEMOSTRACION Llamemos I a la parte de adentro de J y consideremos la descomposición de ¯I en triángulos ¯I = s1 È...Èsk.

Usaremos inducción sobre k. Si k = 1 no hay nada que probar. Supongamos que el resultado es cierto para todos los polígonos cuya parte de adentro se puede descomponer en menos de k triángulos. Podemos suponer que s1 es un triángulo libre de ¯I.

Caso I. s1 ÇJ consta de dos aristas de s1 = < v0,v1,v2 > ; digamos que s1 ÇJ = < v0,v1 > È < v0,v2 > ; hagamos pasar una recta l por v0 y por el punto medio v5 de < v1,v2 > . Tomamos un punto v3 el fuera de s1 y del lado de < v1,v2 > de tal manera que el cuadrilátero A = < v1,v4,v2,v3 > intersecte a J exactamente en s1 ÇJ . Nótese que A es unión de seis triángulos. Dentro del cuadrilátero A podemos definir una función que mande a v0 sobre v5 y que deje fijos a los vértices v1, v2, v3, v4. El triángulo < v0,v1,v3 > va al triángulo < v5,v1,v3 > ; el triángulo < v0,v1,v4 > va al triángulo < v5,v1,v4 > .

Nótese que ésta función deja fija a A. Así que podemos extender este homeomorfismo a todo el plano definiéndolo como la identidad fuera de A. El resultado es un homeomorfismo f : Â2 ® Â2 tal que f(J) es un nudo cuya parte de adentro se puede descomponer en k-1 trángulos. El teorema queda probado, por inducción, en este caso.

Caso II. s1 ÇJ = < v1,v2 > es exactamente una arista de s1 = < v0,v1,v2 > . En este caso hacemos la construcción ïnversa" al caso I. Es decir, construimos un cuadrilátero como antes, y la función queda determinada prescribiendo que v1, v2, v3, v4 se queden fijos y que ahora v5 vaya sobre v0.

CONCLUSIÓN. Sólo hay un nudo en Â2.

Pues si tenemos dos nudos J y J'en Â2, tenemos también dos homeomorfismos de Â2, digamos f y f¢, tales que f(J) y f(J)¢ son fronteras de triángulos; y ya sabemos como encimar un triángulo en otro.

Regresar a Introducción

Regresar

Página principal


File translated from TEX by TTH, version 2.25.
On 30 Jul 2002, 12:41.