En topología , un espacio topológico se llama simplemente conexo (o 1-conectado , o 1-simplemente conexo [1] ) si está conexo por caminos y cada camino entre dos puntos puede transformarse continuamente en cualquier otro camino similar preservando los dos. puntos finales en cuestión. Intuitivamente, esto corresponde a un espacio que no tiene partes separadas ni agujeros que lo atraviesen completamente, porque dos caminos que rodean lados diferentes de dicho agujero 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 sólo si su grupo fundamental es trivial.
Una formulación equivalente es esta: es simplemente conexo si y sólo si está conectado por camino, y siempre que y sean dos caminos (es decir, mapas continuos) con el mismo punto inicial y final ( y ), entonces se puede deformar continuamente manteniendo ambos puntos finales fijos. Explícitamente, existe una homotopía tal que y
Un espacio topológico es simplemente conexo si y sólo si está conexo por caminos y el grupo fundamental de en cada punto es trivial, es decir, consta únicamente 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 un solo elemento. [2]
En análisis complejo : un subconjunto abierto es simplemente conexo si y sólo si ambos y 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, ilimitado y conexo del plano cuyo complemento no es conexo. Sin embargo, está simplemente conectado. 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
Informalmente, 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 un donut ni una taza de café (con asa) están simplemente conectados, sino que simplemente se conecta una bola de goma hueca. En dos dimensiones, un círculo no está simplemente conectado, pero un disco y una línea sí lo están. Los espacios que están conexos pero no simplemente conexos se denominan no simplemente conexos o multiconexos .
La definición excluye únicamente los agujeros en forma de asa . 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
El plano euclidiano es simplemente conexo, pero el origen negativo no lo es. Si entonces ambos y menos el origen son simplemente conexos.
De manera análoga: la esfera n -dimensional es simplemente conexa si y sólo si
La compactación en un punto de no está simplemente conexa (aunque sí está simplemente conexa).
La línea larga simplemente está conectada, pero su compactación, la línea larga extendida no lo está (ya que ni siquiera está conectada por un camino).
Propiedades
Una superficie ( variedad topológica bidimensional ) es simplemente conexa si y sólo si está conexa y su género (el número de identificadores de la superficie) es 0.
Una cobertura universal de cualquier espacio (adecuado) es un espacio simplemente conectado al que se asigna mediante un mapa de cobertura .
La imagen de un conjunto simplemente conexo bajo una función continua no necesita ser simplemente conexa. Tomemos, por ejemplo, el plano complejo bajo el mapa exponencial: la imagen es la que no está simplemente conexa.
La noción de conexión simple es importante en el análisis complejo debido a los siguientes hechos:
El teorema integral de Cauchy establece que si es un subconjunto abierto simplemente conexo del plano complejo y es una función holomorfa , entonces tiene una primitiva y el valor de cada recta integral con integrando depende sólo de los puntos finales y de la trayectoria, y se puede calcular como La integral, por lo tanto, no depende del camino particular que conecta y
La noción de conectividad simple es también una condición crucial en la conjetura de Poincaré .
Ver también
Grupo fundamental - Grupo matemático de las clases de homotopía de bucles en un espacio topológico.
Retracción de deformación : mapeo continuo que preserva la posición desde un espacio topológico a un subespacioPages displaying short descriptions of redirect targets