stringtranslate.com

Un espacio simplemente conectado

En topología , un espacio topológico se denomina simplemente conexo (o 1-conexo , o 1-simplemente conexo [1] ) si es conexo por caminos y cada camino entre dos puntos puede transformarse continuamente en cualquier otro camino de ese tipo mientras se preservan los dos puntos finales en cuestión. Intuitivamente, esto corresponde a un espacio que no tiene partes disjuntas ni agujeros que lo atraviesen completamente, porque dos caminos que rodean lados diferentes de un agujero de ese tipo no pueden transformarse continuamente uno en otro. El grupo fundamental de un espacio topológico es un indicador del fracaso del espacio para ser simplemente conexo: un espacio topológico conexo por caminos es simplemente conexo si y solo si su grupo fundamental es trivial.

Definición y formulaciones equivalentes

Esta forma representa un conjunto que no está simplemente conexo, porque cualquier bucle que encierra uno o más de los agujeros no puede contraerse hasta un punto sin salir de la región.

Un espacio topológico se llama simplemente conexo si está conexo por caminos y cualquier bucle definido por puede contraerse a un punto: existe una función continua tal que restringida a es Aquí, y denota el círculo unitario y el disco unitario cerrado en el plano euclidiano respectivamente.

Una formulación equivalente es la siguiente: está simplemente conexo si y solo si está conexo por caminos, y siempre que y sean dos caminos (es decir, mapas continuos) con el mismo punto de inicio y final ( y ), entonces pueden deformarse continuamente en mientras se mantienen fijos ambos puntos finales. Explícitamente, existe una homotopía tal que y

Un espacio topológico es simplemente conexo si y solo si es conexo por trayectorias y el grupo fundamental de en cada punto es trivial, es decir, consta solo del elemento identidad . De manera similar, es simplemente conexo si y solo si para todos los puntos el conjunto de morfismos en el grupoide fundamental de tiene solo un elemento. [2]

En análisis complejo : un subconjunto abierto es simplemente conexo si y sólo si tanto él como su complemento en la esfera de Riemann son conexos. El conjunto de números complejos con parte imaginaria estrictamente mayor que cero y menor que uno proporciona un ejemplo de un subconjunto abierto, conexo y no acotado del plano cuyo complemento no es conexo. Sin embargo, es simplemente conexo. Una relajación del requisito de que sea conexo conduce a una exploración de subconjuntos abiertos del plano con complemento extendido conexo. Por ejemplo, un conjunto abierto (no necesariamente conexo) tiene un complemento extendido conexo exactamente cuando cada uno de sus componentes conexos es simplemente conexo.

Discusión informal

De manera informal, un objeto en nuestro espacio está simplemente conectado si consta de una sola pieza y no tiene ningún "agujero" que lo atraviese por completo. Por ejemplo, ni una rosquilla ni una taza de café (con asa) están simplemente conectados, pero una pelota de goma hueca sí lo está. En dos dimensiones, un círculo no está simplemente conectado, pero sí lo están un disco y una línea. Los espacios que están conectados pero no simplemente conectados se denominan no simplemente conectados o múltiples veces conectados .

Una esfera está simplemente conexa porque cada bucle puede contraerse (en la superficie) hasta un punto.


La definición excluye únicamente los agujeros en forma de mango . Una esfera (o, equivalentemente, una pelota de goma con un centro hueco) está simplemente conectada, porque cualquier bucle en la superficie de una esfera puede contraerse hasta un punto aunque tenga un "agujero" en el centro hueco. La condición más fuerte, que el objeto no tenga agujeros de ninguna dimensión, se llama contractibilidad .

Ejemplos

Un toro no es una superficie simplemente conexa. Ninguno de los dos bucles de colores que se muestran aquí puede contraerse hasta un punto sin abandonar la superficie. Un toro sólido tampoco está simplemente conexo porque el bucle violeta no puede contraerse hasta un punto sin abandonar el sólido.

Propiedades

Una superficie ( variedad topológica bidimensional ) es simplemente conexa si y sólo si es conexa y su género (el número de asas de la superficie) es 0.

Una cubierta universal de cualquier espacio (adecuado) es un espacio simplemente conectado que se asigna a través de un mapa de cobertura .

Si y son homotópicamente equivalentes y están simplemente conexos, entonces también lo están

La imagen de un conjunto simplemente conexo bajo una función continua no necesita ser simplemente conexa. Tomemos como ejemplo el plano complejo bajo la función exponencial: la imagen es que no es simplemente conexa.

La noción de conectividad simple es importante en el análisis complejo debido a los siguientes hechos:

La noción de conectividad simple es también una condición crucial en la conjetura de Poincaré .

Véase también

Referencias

  1. ^ "Espacio n-conexo en nLab". ncatlab.org . Consultado el 17 de septiembre de 2017 .
  2. ^ Ronald, Brown (junio de 2006). Topología y grupoides . Academic Search Complete. North Charleston: CreateSpace. ISBN 1419627228.OCLC 712629429  .