El teorema de la curva de Jordan

El teorema de la curva de Jordan es un resultado la mar de curioso, ya que ana

sencillez en su enunciado y complicada demostracin contando adems con una enorme
aceptacin mediante intuicin por parte de cualquiera que lo lea. Hay resultado con un
enunciado simple pero con complicada demostracin (posiblemente el ltimo teorema
de Fermat sea el ms claro ejemplo visto en Gaussianos), pero generalmente ello no va
acompaado del ltimo punto, es decir, generalmente no somos capaces de visualizar
tan bien el resultado por muy sencilla que sea su formulacin.
Para aclarar todo esto vamos a presentar el enunciado del problema, ya que ya estamos
preparados para ello:
Teorema: (de la curva de Jordan)
Toda curva cerrada y simple de divide al propio en dos conjuntos disjuntos y
cuya frontera comn es la curva . Adems es acotada (se denomina interior de )
y es no acotada (se llama exterior de ).
Demostracin:
Sobre la prueba de este resultado slo voy a comentar el desarrollo de la demostracin
que me hicieron a m en clase, ya que es demasiado compleja para incluirla aqu.
Se definen los dos conjuntos y

de la siguiente forma:

={puntos del plano que cumplen que toda semirrecta trazada desde l corta
transversalmente a la curva en un nmero impar de puntos}
={puntos del plano que cumplen que toda semirrecta trazada desde l corta
transversalmente a la curva en un nmero par de puntos}
Despus se demuestra que no tienen puntos comunes (es decir, que son disjuntos), que
existen puntos de los dos tipos, que son abiertos de y que su unin es
. Con
ello concluye la demostracin.
Al final del artculo os dejo tambin un artculo en el que se incluye una demostracin
reciente ms sencilla que la comentada anteriormente.

Motivacin: respuesta
Vamos a responder a las preguntas iniciales. Evidentemente, el punto A est fuera de la
curva, en el exterior de la misma. Lo vemos fcilmente coloreando el interior de la
curva:

Pero adems de esto pedamos un procedimiento para determinar si el punto est dentro
o fuera de la curva para cualquier curva. El procedimiento lo da la propia demostracin:
Trazamos una semirrecta desde nuestro punto hasta que estemos seguros de que ya
estamos en el exterior de la curva. Esta semirrecta cortar a la curva en varios puntos.
Contamos el nmero de puntos donde la semirrecta corta transversalmente a la curta
(los puntos de corte donde la semirrecta sea tangente a la curva no se cuenta). Entonces:

Si ese nmero de puntos de corte es par, el punto est en el exterior de la

curva.

Si ese nmero de puntos de corte es impar; el punto est en el interior de

la curva.

Da igual qu semirrecta dibujemos. Lo vemos con la imagen del comienzo del artculo:

Como se puede ver no importa la semirrecta, siempre hay un nmero par de puntos de
corte transversales (los marcados con cuadros negros son los cortes tangentes, los que
hemos dicho que no se cuentan).
El Teorema de los residuos es consecuencia directa del Teorema integral de Cauchy y
forma parte fundamental de la teora matemtica de Anlisis Complejo.

Contenido

1 Enunciado

2 Demostracin

3 Vase tambin

4 Enlaces externos

Enunciado
Sea
una funcin analtica en un dominio simplemente conexo D, excepto en un
nmero finito de puntos que constituyen singularidades aisladas de la funcin. Sea C
una curva simple, cerrada y regular a trozos orientada positivamente, contenida en D y
que no pasa por ninguna de las singularidades. Entonces se tiene:

donde

es el Residuo de la funcin, en el punto singular zk.

Demostracin
Sea holomorfa usando las ecuaciones de Cauchy-Riemann la forma diferencial
es cerrada. Por lo tanto, usando el corolario sobre las diferenciales de forma
cerrada, un dominio simplemente conexo, sabemos que la integral
a

siempre que

sea una curva homotpica con

es igual

En especfico, podemos considerar una curva tipo la cual tiene una rotacin alrededor
de los puntos sobre crculos pequeos, cuando unimos todos estos pequeos crculos
por medio de segmentos.
Ya que la curva

sigue cada segmento 2 veces con alineacin opuesta, slo

necesitaremos sumar las integrales de alrededor de los crculos pequeos.

Consecuentemente sea
, entonces tendremos

parametrizacin de la curva alrededor del punto

, por lo tanto:

donde
, escogido tan extremadamente diminuto, tal que las esferas
todas desarticuladas y todas en un mismo dominio . Entonces por medio de la

estn

linealidad en todas la singularidades, se demuestra que para toda :

Sea fija y apliquemos la serie de Laurent para en

de tal forma que

, donde c-1, es el coeficiente de
serie de laurent. Entonces tenemos:

Observemos que si

mientras que para

en la

, tendremos

tenemos que los trminos de la suma se anulan, debido a que