Teorema De La Curva De Jordan

El Teorema de la Curva de Jordan establece que cualquier curva de Jordan (una curva plana simple y cerrada) divide el plano en exactamente dos regiones: una región interior y una región exterior. Es decir, separa el plano en dos conjuntos disjuntos y conexos donde la curva es la frontera común.

Para entender esto paso a paso:

1. Curva Simple: Una curva es simple si no se interseca a sí misma. Imagina dibujar una línea sin levantar el lápiz y sin pasar por el mismo punto más de una vez (excepto el punto de inicio y fin, para que sea cerrada). Un ejemplo es un círculo perfecto. Un ocho (∞) no es una curva simple.
2. Curva Cerrada: Una curva es cerrada si el punto inicial y el punto final coinciden. Un círculo, un cuadrado, o cualquier figura que puedas dibujar sin levantar el lápiz y terminando donde empezaste son ejemplos. Una línea recta no es cerrada.
3. Curva de Jordan: Es una curva que cumple ambas condiciones anteriores: simple y cerrada. Piensa en un garabato cerrado hecho sin cruzar la línea contigo misma. Un corazón, un óvalo, o un cuadrado son ejemplos.
4. División del Plano: El teorema asegura que cualquier curva de este tipo crea dos regiones. Si tienes un círculo dibujado en una hoja, puedes identificar claramente el área dentro del círculo (el interior) y el área fuera del círculo (el exterior). Es imposible conectar un punto dentro del círculo con uno fuera sin cruzar la línea del círculo.

Ejemplo 1: Un triángulo es una curva de Jordan. Claramente divide el plano en una región interior y una exterior.

Ejemplo 2: La figura de un "ocho" (∞) no es una curva de Jordan (porque no es simple, se interseca a sí misma). Por lo tanto, no divide el plano en solo dos regiones conexas de la manera en que lo hace el Teorema de Jordan.

El Teorema de la Curva de Jordan tiene aplicaciones prácticas importantes, por ejemplo, en gráficos por computadora para determinar si un punto está dentro o fuera de una forma, lo cual es crucial para el relleno de polígonos. También es fundamental en análisis complejo, donde se utiliza para evaluar integrales a lo largo de contornos.