38 votos

¿Por qué no hay arcos salvajes en el plano?

En math.stackexchange se preguntó si todos los arcos en el plano son isotópicos de ambiente. Sugerí que se podía demostrar esto apelando al teorema de Schönflies, lo que se puede hacer siempre que se pueda extender el arco de Jordan a una curva de Jordan. Es decir, siempre que se pueda extender una incrustación de un intervalo a una incrustación de un círculo. Sin embargo, tengo que admitir que no veo fácilmente cómo hacerlo, y hay ejemplos que muestran que es una cuestión sutil. Por ejemplo, se puede tomar un arco que se desplaza infinitamente hacia un punto. Así que mi pregunta es cómo se puede mostrar una incrustación de un arco en $\mathbb R^2$ se extiende a una incrustación de un círculo en $\mathbb R^2$ o, en su defecto, si alguien conoce alguna otra prueba de que todos los arcos de Jordania planos son estándar.

Editar: Quiero destacar la elegante respuesta de Bill Thurston (en un comentario) a la pregunta de si se puede extender un arco a una circunferencia, aunque acepté su otra respuesta utilizando el teorema de Caratheodory. A saber, suponga que su arco va desde $0$ a $\infty$ sur $\mathbb C\cup\{\infty\}$ . A continuación, tome la imagen previa bajo la cubierta de doble rama $z\mapsto z^2$ . El arco original puede identificarse con una de sus dos preimágenes, mientras que la otra preimagen lo rellena con un círculo. Entonces se puede aplicar el teorema de Schönflies.

31voto

Bill Thurston Puntos 19407

Una forma de demostrar que todos los arcos son mansos es aplicar el teorema del mapa de Riemann al complemento del arco en $S^2$ . Caratheodory demostró que siempre que el complemento de un dominio simplemente conectado es localmente conectado, entonces el mapa de Riemann se extiende a un mapa continuo del disco al plano. Una mitad del disco parametriza el arco.

Otro método (relacionado) es tomar la proyección estereográfica del arco a una esfera en $\mathbb E^3$ y formar su casco convexo. Si el interior de la bola se interpreta como el modelo proyectivo del espacio 3 hiperbólico, entonces la frontera del casco convexo que interseca el interior de la bola es una superficie desarrollable, es decir, su métrica de trayectoria (es decir, la distancia entre puntos es la longitud de arco mínima de una trayectoria que los conecta) es una métrica completa localmente isométrica a la métrica de trayectoria del plano hiperbólico. Como está simplemente conectada, es globalmente isométrica al plano hiperbólico. Por razones paralelas a las de Caratheodory el mapa se extiende continuamente a un mapa del disco cerrado (modelo de disco proyectivo bidimensional de el plano hiperbólico, junto con su círculo en el infinito) a la bola cerrada.

8voto

Shuft Puntos 420

Por proyección estereográfica podemos suponer que el arco de Jordania dado se encuentra en una esfera, y que sus dos extremos están en polos opuestos, $N$ y $S$ . Ahora proyecta el arco sobre un cilindro que toca la esfera en el ecuador, de modo que $N$ y $S$ van al infinito en los extremos opuestos del cilindro.

Desenrollando el cilindro, ahora tenemos nuestro arco en una franja del plano, con los extremos del arco en los extremos opuestos de la tira. Ahora podemos proyectar inversamente el arco en la esfera, de modo que que ambos Los extremos van al punto de proyección. Ahora tenemos una curva de curva de Jordan en la esfera, y podemos aplicar el teorema de Schoenflies.

Editar. Ryan Budney ha señalado el fallo de este argumento, por lo que lo retiro tal y como está. Gracias por la enmienda, Ryan.

4voto

user128050 Puntos 1

El resultado deseado aparece en el libro clásico de M.H.A. Newman, Elementos de la topología de los conjuntos planos de puntos (2ª ed., 1951), como Teorema 14.5 en el capítulo VI, en la pág. 164:

Teorema 14.5: Cada arco simple en $X^2$ es un arco de una curva simple cerrada en $X^2$ .

$X^2$ es la notación de Newman para un espacio que es el plano "abierto", $R^2$ o el plano "cerrado", $R^2 \cup \{\infty\}$ .

N.B. La demostración del Teorema 14.5 no implica el Teorema de Schoenflies. Además, la definición de Newman de un arco es tal que tiene extremos.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X