Matemáticas Universitarias/Espacios Métricos/Conexos
Introducción
editarConexo significa intuitivamente algo formado por un solo pedazo, que está
conectado, no separado.
Un archipiélago (conjunto de islas) es un ejemplo de un espacio con varias
partes separadas. Tales espacios se llamarán disconexos, mientras que una isla
será un ejemplo de un espacio conexo (sin partes).
Veamos un ejemplo matemático. Consideremos al espacio topológico R* formado
por los reales no nulos. R* es la reunión de dos partes separadas: los reales
positivos, R+, y los reales negativos, R-. Ambos subconjuntos son conjuntos abiertos que son disjuntos entre si; y serán las partes topológicas del espacio. Vemos, además, intuitivamente, que no hay un camino continuo posible de un real positivo a un real negativo. La ausencia de un punto introduce un abismo infranqueable (continuamente) entre las dos partes. En una situación plana no sucede necesariamente lo anterior. Resulta
intuitivamente claro que dos puntos de R2* (el plano sin el origen) pueden unirse por un camino.
En este capítulo, analizaremos las nociones de conexo y de conexo por caminos. Un espacio será conexo por caminos cuando hay un camino continuo entre dos cualesquiera de sus puntos. Veremos que esas dos nociones son topológicas, es decir que cuando un espacio tiene una de esas propiedades, cualquier espacio homeomorfo también la tiene. Lo anterior nos servirá, a veces, para distinguir entre espacios topológicos. Por ejemplo, las consideraciones sobre caminos en R* y R2* nos indicará que esos espacios no pueden ser homeomorfos.
La formalización de dichas nociones y su uso en el estudio de espacios topológicos son un ejemplo de bella matematización de intuiciones.
Las Definiciones Básicas
editarIniciaremos nuestro estudio con los espacios conexos por ser, como veremos, más generales que los espacios conexos por caminos. Postergaremos ejemplos importantes hasta ver espacios conexos por caminos, ya que será más fácil, usualmente, verificar dicha condición y, además, todo espacio conexo por caminos resultará ser conexo. El recíproco de lo anterior, sin embargo, no es válido en general.
La definición de espacio conexo abstrae de lo ilustrado en el ejemplo acerca de R*. Allí, vimos que había dos subconjuntos abiertos disjuntos (los positivos y los negativos) cuya reunión era todo el espacio.
Definición. (Espacio Conexo)
- Un espacio X es conexo, ssi, cuando con U, V abiertos no–vacíos, se cumple que
- Un espacio disconexo es un espacio que no es conexo.
- Un subespacio de X es conexo, cuando lo es respecto a su topología relativa.
Ejemplos 10.2.1.
- R* es un espacio disconexo.
- Cualquier espacio o subespacio consistente de un único punto es conexo.
Disconexión, división, separación. Sea X un espacio topológico y sean A y B un par de subconjuntos propios abiertos disjuntos cuya reunión es X; lo que implica que X es disconexo. Diremos que el par A, B son (o determinan) una disconexión del espacio. También, podremos decir que definen una división del espacio.
La formalización de dichas nociones y su uso en el estudio de espacios topológicos
es un ejemplo de bella matematización de intuiciones.
Conjuntos Abiertos–Cerrados. Sea X un espacio topológico disconexo, con una división dada por A y B. Como, entonces, B es el complemento del abierto A, tenemos que B es cerrado; lo mismo pasa con A.
Diremos que un conjunto es abierto–cerrado cuando sea abierto y cerrado a la vez.
En cualquier espacio X, el subconjunto vacío y todo el espacio X son abiertos y cerrados. En un espacio conexo, de acuerdo con la definición, estos son los únicos conjuntos abierto–cerrados posibles. Al contrario, cuando haya un subconjunto propio no vacío A de X que sea abierto–cerrado, se tendrá que X es disconexo, con una disconexión dada por A y su complemento.
Ejemplo 10.2.2. Sea X un espacio topológico discreto con más de un punto. Como cada subconjunto es abierto y cerrado, el espacio no es conexo.
Ejemplo 10.2.3. Sea X = [0, 1] ∩ ]2, 3] (subconjunto de la línea real) . Probaremos que X es disconexo.
Sea A = [0, 1]. Observemos que en la topología relativa de X, como A = X ∩ (−1, 3/2), se tiene que A es abierto. Claramente es cerrado. Luego A es abierto–cerrado. Como no es vacío, el espacio X es disconexo. Los subespacios [0, 1] y ]2, 3] forman una disconexión de A.
La siguiente proposición muestra que en la línea real, la noción de conexión coincide con la noción de intervalo.
Proposición 10.2.1 (conectividad en la Línea Real). Un subespacio no vacío de la línea real es conexo, ssi, es un intervalo. En particular, la línea real es un espacio conexo.
- Demostración.
Sea X un subconjunto de R no vacío y conexo. Supongamos que X no es un intervalo. Esto implica que hay números x, y, z tales que x < y < z, con x, z en X, pero tales que y no está en X. Entonces,
es una disconexión de X. Como esto contradice la hipótesis, X debe ser un intervalo.
Supongamos ahora que X es un intervalo de R. Si X consiste de un punto, entonces X es conexo. Supongamos que X no fuera conexo, por lo que habría subconjuntos propios no vacíos A y B de X,abiertos–cerrados, tales que X = A ∪ B y A ∩ B = ∅. Sean x ∈ A, z ∈ B, donde, sin perdida de generalidad, podemos suponer que x < z. Como X es un intervalo, [x, z] es un subconjunto de X. Sea y definido como y = sup{w : [x,w] ⊂ A}. Ya que x ≤ y ≤ z, y está en X. :Como A es cerrado, y debe ser un punto de A. Luego, y < z. Entonces, para todo r > 0, y + r debe ser un punto de B, como r es arbitrario, se tiene que y pertenece a la clausura de B y como B es cerrado, debe estar en B. Pero esto implica que A y B no son disjuntos. Luego, X debe ser conexo.
En el ejemplo 10.2.3, vemos que un espacio conexo (R) puede contener subespacios disconexos. Vemos, también, que un espacio disconexo puede tener subespacios conexos.
C=== La Conectividad y las Funciones Continuas === Teorema 10.2.2.La imagen de un espacio conexo por una función continua es un conjunto conexo.
-
Demostración.
Sea f : X → Y una función continua. Supongamos que f(X) es disconexo. :Entonces, hay abiertos no vacíos disjuntos A y B tales que f(X) está contenido en A∪B. Pero, entonces, f−1(A) y f−1(B) son abiertos no vacíos cuya reunión es todo X. Además son disjuntos, ya que x en f−1(A) ∩ f−1(B) implica que f(x) está en A y en B, lo que es imposible.
Corolario 10.2.3. Ser conexo (resp. disconexo) es una propiedad topológica.
- Demostración. Si X es conexo y f : X → Y es un homeomorfismo, entonces Y = f(X) es conexo.
Corolario 10.2.4. Sea f : X → Y continua, donde X es conexo y Y es discreto. Entonces, f es constante.
Corolario 10.2.5. Sea f : X → R continua. Si X es conexo, su imagen en R es un intervalo.
Este corolario tiene interesantes aplicaciones al Análisis Real, por ejemplo el teorema del valor intermedio y sus aplicaciones (ver el Teorema A del primer capítulo y los ejercicios de la sección).
Criterio para Separación. La siguiente proposición nos da un criterio para disconexión.
Proposición 10.2.6. Un espacio topológico X es disconexo, ssi, hay una función suprayectiva continua de X en el espacio discreto {0, 1}.
-
Demostración. Suponer que existe función de f : X → {0, 1} suprayectiva y
continua. Como {0, 1} es disconexo, por la proposición anterior, X no puede ser
conexo.
Sea A,B una separación de X. Definiendo f(x) = 0 si x está en A y f(x) = 1
si x está en B, obtenemos una función suprayectiva, que además es continua, ya
que la imagen inversa de cualquier abierto en {0,1} es abierto en X.
Gráfica de una Función Real Continua. Sea f : I ⊂ R→ Run a función continua, donde I es in intervalo y consideremos la gráfica de f como un subconjunto de R2.
- Sea g : I → R2 tal que g(x) = (x, f(x)). Claramente g es continua por coordenadas, por lo que es continua. Como su imagen es precisamente la gráfica de f, concluimos que dicha gráfica es conexa.
El resultado anterior es la formulación matemática de la expresión que “una función continua tiene una gráfica que puede dibujarse sin levantar el lápiz”.
- Una función real definida en un intervalo es continua, ssi, su gráfica es conexa.
Ejercicios 10.2
editar- Sean A = [0, 1[, B = [1, 2] y C = A ∪ B subconjuntos de la línea real. Probar que C es conexo aunque A y B son disjuntos. Explicar.
- Dibujar dos subconjuntos conexos del plano, cuya intersección no sea conexa.
- Probar que el subconjunto de los Racionales no es conexo como subconjunto de la línea real. &&&
- Sean A la 1–vecindad de (−1, 0), B la 1–vecindad de (0, 1) y C = A ∪ B.. Probar que
- C es disconexo.
- Sea D = C ∪ {(0, 0)}. Probar que no puede haber una función continua tal que la restricción a A (resp. B) sea constante con valor 0 (resp. 1). ¿Es D conexo?
- Probar que ser conexo y ser disconexos son propiedades topológicas.
- Sea ¿Es C conexo? Justificar.
- Probar que, de acuerdo a la definición, el conjunto vacío no es disconexo; por lo que debe ser conexo.
- Probar que los siguientes enunciados son equivalentes.
- a) X es conexo.
- b) X no puede dividirse entre dos subconjuntos disjuntos no vacíos abiertos.
- c) X no puede dividirse entre dos subconjuntos disjuntos no vacíos cerrados.
- d) Los únicos subconjuntos abierto–cerrados de X son X y el conjunto vacío.
- e) Los únicos subconjuntos de X con frontera vacía son X y el conjunto vacío.
- f) Cualquier función continua de X en un espacio discreto es constante.
- g) X no puede expresarse como la reunión de dos conjuntos no vacíos tales que cada uno de ellos es disjunto de la clausura del otro.
- Enunciar equivalencias para espacio disconexo, correspondientes al ejercicio anterior.
- Probar que cuando el producto de dos espacios no vacíos X × Y es un espacio conexo, también lo son X y Y . Generalizar a productos arbitrarios.
- Sean X, Y conexos. Probar que X × Y (con la topología producto) es conexo. Sugerencia: suponer que hay una función continua f : X × Y en el espacio discreto {0, 1} y probar que es constante. Ver ejercicio sobre equivalencias para la noción de conexo. Generalizar a productos arbitrarios. Aplicar lo anterior para concluir que Rn y In (cubo unitario) son conexos.
- Cuando un subespacio X es conexo ¿lo será un subconjunto del mismo? ¿Un espacio cociente X/R?
- Si los conjuntos A y B forman una division de un espacio topológico X y Y es un subespacio conexo de X, entonces Y es un subconjunto de A o un subconjunto de B.
- Sean A y B subconjuntos conexos cuya intersección no es vacía. Probar que
su reunión es conexa. Generalizar a una familia de conexos con intersección
no vacía.
Aplicaciones al Análisis Real. - (Teorema del Valor Intermedio) Sea f : [a, b] → Res continua, entonces para cualquier z entre f(a) y f(b), hay un x entre a y b tal que f(x) = z.
- (Existencia de Ceros) Sea f : [a.b] → Rcontinua. Si f(a)f(b) < 0 entonces hay un c entre a y b tal que f(c) = 0.
- Probar que dado un número real positivo a hay un número real positivo c tal que c3 = a.
- (Teorema del Punto Fijo.) Sea f : [0, 1] → [0, 1] continua. Entonces, hay un z en [0, 1] tal que f(z) = z. (Sug. Si f(0) = 0 o f(1) = 1 no hay nada más que probar. En caso contrario, estudiar la función g(x) = x − f(x).)
- Probar que cualquier función continua f de [a, b] en [a, b] tiene un punto fijo. (Sugerencia: probar que si X y Y son homomeomórficos entonces cada función continua de X en X tiene un punto fijo, ssi, cada función continua de Y en Y tiene un punto fijo. Luego usar que [a, b] es homeomorfo a [0, 1].)
Los Subespacios Conexos
editarSea X un espacio topológico y Y un subespacio de X. ¿Cuándo Y es disconexo? Sigue de la definición que debe haber un par de abiertos A y B de X, tales que
- (i) La reunión de los abiertos relativos A ∩ Y y B ∩ Y contiene a Y, lo que implica que Y ⊂ A ∪ B.
- (ii) La intersección de A ∩ Y y B ∩ Y no puede contener puntos de Y, es decir
que debe ser un subconjunto del complemento de Y .
- (iii) Los abiertos relativos A ∩ Y y B ∩ Y deben ser no vacíos.
Claramente, esas tres condiciones son, también, suficientes para garantizar que tales abiertos de X definen una división de Y .
La siguiente proposición nos da un criterio para que un par de subconjuntos de un subespacio definan una división del mismo.
Proposición 10.3.1. Si Y es un subespacio de X, una división de X es un par de conjuntos disjuntos no vacíos A y B cuya reunión es Y y tales que ninguno de ellos contiene un punto de acumulación del otro.
- Demostración.
Supongamos que A y B definen una disconexión de Y . Entonces, A es abierto–cerrado en Y. Recíprocamente, supongamos que A y B son conjuntos no vacíos disjuntos cuya reunión es Y y tal que ninguno de ellos contiene un punto de acumulación del otro. Como cl(A) ∩ B = ∅ (clausura respecto a X), tenemos que
Análogamente, cl(B) ∩ Y = B. Lo que muestra que A y B son cerrados en Y . :Como cada uno de ellos es el complemento en Y del otro, son también abiertos en Y ; lo que muestra que forman una división de Y.
Lema 10.3.2. Si los conjuntos A y B forman una division de un espacio topológico X y Y es un subespacio conexo de X, entonces Y es un subconjunto de A o un subconjunto de B.
-
Demostración. Como A y B son abiertos en X, los conjuntos A∩Y y B ∪Y son abiertos disjuntos de Y cuya reunión es igual a Y . Si ambos subconjuntos fueran no vacíos, determinarían una división de Y, por lo tanto, uno de ellos debe ser vacío. Por lo que Y debe estar contenido en A o en B.
Proposición 10.3.3. Sea X un espacio topológico. Sea A un conjunto conexo y sea B tal que A ⊂ B ⊂ Cl(A). Entonces, B es conexo. En particular, Cl(A) es conexo.
- Demostración. Supongamos que los abiertos disjuntos C y D determinan una disconexión de B. Por el lema anterior, A debe estar contenido en
uno de esos conjuntos, digamos que A está contenido en C.
Luego, B ⊂ Cl(A) ⊂ Cl(C). Como C y D son una desconexión de B, no puede haber intersección de Cl(C) con D, lo que contradice que D sea un subconjunto no vacío de B. Luego, B debe ser conexo.
Proposición 10.3.4. Sea X un espacio topológico. Sea (Ai) una familia de subconjuntos conexos de X cuya intersección no es vacía. Entonces A = ∪{Ai} es un conjunto conexo.
- Demostración. Ver ejercicios.
Ejercicios 10.3
editar- Si los conjuntos A y B forman una division de un espacio topológico X y Y es un subespacio conexo de X, entonces Y es un subconjunto de A o un subconjunto de B.
- Sean A, B subconjuntos de un espacio topológico X tales que A es conexo, B es abierto–cerrado, y A ∩ B ≠ ∅. Entonces, A ⊂ B.
- Sean A y B subconjuntos conexos cuya intersección no es vacía. Probar que su reunión es conexa.
- Sea (Ai), 1 ≤ i ≤ n, una familia finita de conexos tales que Ai ∩ Ai+1 ≠ ∅, i = 1, . . ., n − 1. Entonces, la reunión de los conjuntos es conexa. (cadena de conjuntos conexos).
- Sea (Ai), i∈I, una familia de conjuntos conexos de un espacio X tal que la intersección de la familia no es vacía. Entonces, su reunión es conexa,
Las Componentes Conexas
editarSea X un espacio topológico y sean x, y puntos de X. Decimos que “x está conectado con y”, ssi, hay un subconjunto conexo que contiene ambos puntos. Claramente la relación “estar conectados” es una relación de equivalencia. Denotaremos, en esta sección, por Cx a la clase de equivalencia de la relación anterior, que contiene a x. Sea A un conjunto conexo que contiene a x. Entonces, todos los elementos de A están relacionados con x, por lo que son elemento de Cx, es decir que A está contenido en Cx. Luego, Cx es la reunión de los subespacios conexos que contienen a x. Como dicha reunión tiene intersección no vacía concluimos que se trata de un conjunto conexo. Como son clases de equivalencias, si y está en Cx se tiene que Cy = Cx.
Llamaremos componentes conexas a las clases de equivalencia anteriores. Sigue de la discusión anterior que cada componente es un subespacio conexo de X que es maximal con respecto a esa propiedad. Un espacio es conexo cuando tiene solamente una componente conexa, el mismo espacio.
Como la clausura de un conexo es un conjunto conexo, la clausura de una componente debe coincidir con la componente, lo que implica que las componentes son conjuntos cerrados.
La siguiente proposición resume nuestra discusión sobre componentes conexas.
Proposición 10.4.1. Sea X un espacio topológico.
- (a) Cada punto x de X está contenido en exactamente una componente conexa de X.
- (b) Cada subconjunto conexo está contenido en una única componente conexa.
- (c) Cada componente conexa es un conjunto cerrado.
Ejemplos 10.4.1.
- Sea X = R* = {t ∈ R : t ≠ 0}. X no es conexo porque no es un intervalo; sus componentes son los reales positivos y los reales negativos.
- En el ejemplo 10.2.3, X = [0, 1]∪]2, 3], los subespacios [0.1] y ]2, 3] son las componentes conexas de X.
- En un espacio topológico discreto, cada punto define una componente conexa.
Espacios Totalmente Disconexos. Son aquellos espacios donde cada punto es una componente conexa. Notemos que los espacios con un sólo punto son conexos y totalmente disconexos. Cualquier subespacio discreto es totalmente disconexo.
Espacios Localmente Conexos. Son aquellos espacios donde cada punto tiene una vecindad que contiene una vecindad abierta conexa del punto.
La línea real es un ejemplo de un espacio localmente conexo.
Proposición 10.4.2. Sea X un espacio localmente conexo. Cada componente conexa de un subespacio abierto Y de X, es un conjunto abierto. En particular, las componentes conexas de X son conjuntos abiertos.
- Demostración. Sea C una componente de Y y x un punto de C. Como X es
localmente conexo y Y es una vecindad de x, hay un vecindad abierta V de x que
es conexa y abierta en X. Como Y es abierto, la topología de V como subespacio
de X es la misma que la topología como subespacio de Y, luego, V es conexo en Y. Luego, V ⊂ C, ya que C es maximal. Lo que prueba que C es abierto.
Ejercicios 10.4
editar- Probar que la relación “estar conectados” es una relación de equivalencia.
- Un subconjunto no vacío conexo que es abierto y cerrado es una componente conexa.
- Sea X un espacio topológico con una cantidad finita de componentes. Probar que cada componente es un conjunto abierto–cerrado.
- Sean X, Y espacios homeomorfos. Probar que hay una correspondencia biyectiva entre las componentes de ambos espacios.
- ¿Cuántas componentes conexas tiene un espacio topológico indiscreto?
- Dar un ejemplo de un espacio topológico finito que no sea totalmente indiscreto.
Los Caminos
editarEn la próxima sección, veremos una manera diferente de conexión, la conexión por caminos. Allí, veremos que un espacio es conexo por caminos, cuando haya un camino entre dos puntos cualesquiera del espacio.
¿Qué es un camino?
Definición. (Camino, Trayectoria) Sea X un espacio topológico no vacío y sean x, y puntos de X.
- Llamaremos trayectoria (continua) de x a y, a una función continua
σ : [a, b] ⊂ R → X tal que σ(a) = x y σ(b) = y. x es el punto de inicio y y el punto final de la trayectoria.
- Llamaremos camino de de x a y al conjunto de puntos de una trayectoria de x a y.El camino asociado a la trayectoria σ se simbolizará por {σ}.
- Llamamos punto inicial del camino, o de la trayectoria, al x, mientras que y e>s su punto final. Ambos puntos son los extremos del camino, o de la trayectoria.
Cada trayectoria define un camino, pero puede haber varias trayectorias diferentes para el mismo camino. Cada trayectoria define un camino, pero puede haber varias trayectorias diferentes para el mismo camino. Decimos que un camino es cerrado cuando su punto inicial coincide con su punto final.[1]
Ejemplo 10.5.1. Sea E = R2. Una trayectoria de x a y es σ: [0, 1] → Rtal que σ(t) = (1 − t)x + ty. El camino definido por σ, {σ}, es el segmento lineal con extremos x y.
Ejemplo 10.5.2. Sean σ1, σ1 : [0, 2π] → R2 tales que:
- σ1(t) = (cos(t), sen(t)) y
- σ2(t) = (cos(2t), sen(2t)).
Notemos que ambas trayectorias tienen como imagen la circunferencia unitaria. Ambas empiezan en (1,0) y terminan en el mismo punto. La diferencia entre ambas trayectorias es que, pensando cinemáticamente, la segunda recorre la circunferencia con el doble de rapidez que la primera. Lo que hace que la segunda recorra dos veces la circunferencia, mientras la primera lo hace solo una vez.
El último ejemplo muestra que, conceptualmente, camino y trayectoria son nociones relacionadas, pero diferentes entre si. En estudios geométricos resulta, a veces, necesario distinguir entre ambas nociones. Un camino es un objeto geométrico (conjunto de puntos), una trayectoria que define al camino es una parametrización del camino, lo que representa una manera de recorrer el camino. En general, las nociones geométricas son aquellas que dependen del camino y no de una trayectoria en particular del mismo.
Al contrario, en el contexto topogeométrico lo único que nos interesará, por ahora, es que haya un camino entre dos puntos del espacio, por lo que es tradicional usar camino como sinónimo de trayectoria (continua); lo que haremos en este capítulo. Lo que será importante para nuestras consideraciones será que los caminos (como subconjuntos) son subconjuntos conexos del espacio (ya que son imágenes de conexos).
Simbolizaremos por x ↝ y a un camino de x a y (o sea una función σ continua de algún intervalo [a, b] ⊂ R en el espacio con
σ(a) = x y σ(b) = y. Diremos, también, que el camino une su punto inicial con su punto final.
Observemos que el dominio de una trayectoria puede ajustarse a ser cualquier
intervalo, por ejemplo, sea
σ: [a, b] → X una trayectoria y sea f : [c, d] → [a, b]
tal que
Claramente, f es continua y f(c) = a y f(d) = b. Además, σ ◦ f : [c, d] → X es un trayectoria que define el mismo camino que σ.
Notemos que caminos pueden concatenarse, en el sentido que dados caminos x ↝ y y y ↝ z, tenemos un camino x ↝ z. (Posiblemente, será necesario ajustar los dominios de los caminos, para definir la concatenación).
Ejercicios 10.5
editar- Probar que cuando hay una trayectoria de x a y, hay otra de y a x.
- Sean σ_1, σ_2 : [0, 1] → R2 tales que σ_1(t) = (1, t) y σ_2(t) = (1−t, 1). Probar que σ_1 : (1, 0) ↝ (1, 1) y que σ_2 : (1, 1) ↝ (0, 1). Escribir las ecuaciones para el camino de (1, 0) a (0, 1) recorriendo los caminos anteriores.
- Sea X un espacio topológico no vacío. Probar que la relación x y es una relación de equivalencia en X. Describir en palabras la clase de equivalencia de un punto x. Definir componente conexas por caminos y enunciar algunas de sus propiedades.
- Sea S2 la esfera unitaria de R3, o sea que Probar que dos puntos cualesquiera de S2 pueden unirse por un camino continuo.
La Conexión por Caminos
editarDefinición. (Conexo por Caminos)
- Un espacio X es conexo por caminos, ssi, para todo x, y hay una camino (continuo) de x a y, esto es hay una función continua σ : [0, 1] → X tal que
σ(0) = x, y σ(1) = y. - Un espacio X es localmente conexo por caminos cuando cada uno de sus puntos tiene una vecindad abierta que es conexa por caminos.
- Un subconjunto Y de un espacio topológico es conexo por caminos (resp. localmente conexo por caminos) cuando lo sea con respecto a la topología relativa.
Recordemos que x ↝ y simboliza a un camino de x en y. Es fácil verificar que x ↝ y es una relación de equivalencia cuyas las clases de equivalencia se llaman las componentes conexas por caminos del espacio.
Proposición 10.6.1. Cada intervalo de la línea real es conexo por caminos.
- Demostración. Sean a, b numeros reales tales que a < b y que pertenecen a un mismo intervalo. Sea σ(t) = a + t(b − a). Claramente, σ es continua y tal que σ(0) = a y σ(1) = b. Lo que prueba el resultado.
La siguiente proposición, aparte de sus implicaciones teóricas, nos será muy útil para probar que ciertos espacios son conexos.
Proposición 10.6.2. Los espacios conexos por caminos son conexos.
- Demostración. Supongamos que X no fuera conexo. Entonces, tendríamos que X = U ∪V donde U, V ⊂ X son conjuntos abiertos no vacíos y tales que U∩V = ∅. Sean x ∈ U y y ∈ V. Por la hipótesis de conectividad por caminos, hay una función continua σ : [0, 1] → X tal que σ(0) = x, y
σ(1) = y. Entonces, [0, 1] = σ-1(U) ∪
σ-1(V ) es una disconexión de [0, 1], lo que contradice la conectividad de [0, 1]. Luego, X debe ser conexo.
La conectividad por caminos implica a la conectividad, pero el recíproco no es válido como lo muestra el ejemplo siguiente.
Ejemplo 10.6.1 (La curva seno del topólogo).
(El nombre proviene de uso como ejemplos de libros de topología.) Sean
- A = {(x,y): x=0, -1 ≤ y ≤ 1}
- B la gráfica de la función f:(0,1] →, f(t) = sen(1/t), o sea que
B= {(x,y): 0 <x ≤ 2/π, y = sen(1/x)}; - C = A \cup B.
Sea a = arcsin(y), y ∈ [−1, 1], entonces la sucesión xn = 1/(a + sin(2 π n) es tal que xn → 0 y f(xn) → a.). Lo anterior implica
- (i) que cada punto de A es un punto de acumulación de B y
- (ii) que la función f no puede extenderse a una función continua cuyo dominio incluya al 0. Luego, C coincide con la clausura de B, por lo que es conexo; pero, por (ii0, no hay camino continuo uniendo los puntos de A con los puntos de B, es decir que C no es conexo por caminos.
Gráficamente, podemos también apreciar que C tampoco es localmente conexo.
Proposición 10.6.3. Las bolas abiertas y las cerradas de Rn son conexas por caminos.
- Demostración. Sea B una bola (abierta o cerrada) con centro en el punto a y radio r. Sea b un punto de B. La función σ(t) = a+t(b−a) define un camino continuo desde a hasta b. Sea x = a+t(b−a) con 0 ≤ t ≤ 1 un punto cualquiera de la Imagen de σ. Entonces, cuando 0 < t < 1 (o sea x ≠ a, b) tenemos que:
Lo que prueba que x está en B.
El argumento anterior muestra que dados x, y cualesquiera tenemos caminos de a hasta x y de a hasta y. Recorriendo el primer camino en sentido inverso, seguido por el segundo camino, obtenemos un camino de x hasta y.
Corolario 10.6.4. Las bolas abiertas y cerradas de Rn son conexas.
Corolario 10.6.5. Los espacios Rn son conexos por caminos, localmente conexos y conexos.
- Demostración. Como las bolas son conexas por caminos, concluimos que Rn es localmente conexo por caminos. Dos puntos cualesquiera son siempre elementos de una misma bola cerrada con centro en el origen y radio igual a la mayor de las distancias de esos puntos al origen. La conectividad sigue de la proposición anterior.
Usaremos el siguiente lema para la próxima proposición..
Lema 10.6.6. Cuando dos espacios son conexos por caminos y su intersección también lo es, entonces su reunión es conexa por caminos.
- Demostración. Sean X, Y los espacios. Sea U = X ∪ Y y sean x, y puntos
de U. Cuando ambos pertenecen a X o a Y, hay un camino que los conecta.
Supongamos, entonces, que x es un punto de X y y es un punto de Y . Sea z un
punto de la intersección de X con Y . Por las hipótesis tenemos que x ↝ z ↝ y es un camino continuo de x a y,
Proposición 10.6.7. Cuando n ≥ 1, la esfera unitaria Sn = {x ∈ Rn+1 : |x| = 1} es conexa, conexa por caminos y localmente conexa. S0 = {1,−1} es totalmente disconexa (espacio discreto).
- Demostración. Notemos que x = (xi) está en S = Sn, ssi,
Si n = 1, S1 es la circunferencia unitaria. Podemos representar cada punto de S1 como (cos(t), sen(t)), 0 ≤ t ≤ 2π . La representación anterior es única excepto para p = (1, 0) que corresponde a t = 0 y t = 2π. Asociaremos la coordenada 0 con (1,0). Sea q un punto con coordenada s. El camino definido por σ(t) = (cos(t), sen(t)), 0 ≤ t ≤ s une continuamente p con q. Lo que muestra, que dados dos puntos q1, q2, el camino q1 ↝ p ↝ q2 une ambos puntos. Eso muestra que S1 es conexa por caminos, por lo que es conexa.
Supongamos, ahora, que n > 1 y sea S+ = {x ∈ Sn : xn+1 ≥ 0} y S− = {x ∈ Sn : xn+1 ≤ 0}. Entonces, S = S+ ∪ S- y S+ ∩ S- = Sn-1.
Sea φ: S+ → B = B[0;1] ⊂ Rn tal que φ(x1, ..., xn, xn+1) = (x1, . . ., xn) (la proyección sobre el hiperplano ecuatorial). Entonces, φ es continua con inversa dada por la función continua
Por lo que, S+ es homeomorfa a B. Como sabemos que B es conexa por caminos, concluimos que S+ es conexa por caminos. Procediendo de manera análoga, concluimos que S- es conexo por caminos. sigue entonces, que S es la reunión de dos espacios conexos por caminos, cuya intersección es, por inducción sobre n ≥ 2, conexa por caminos. Por el lema, tenemos que S es localmente conexa; por lo que es conexa. Dejamos la conectividad local de ejercicio.
Corolario 10.6.8. Las esferas de radio cualesquiera son conexas, conexas por camino y localmente conexas por caminos.
- Demostración. Sea S = Sn la esfera unitaria de C, y sea S′ = S(s; r) una esfera de centro a y radio r en S+.
Si a = 0, la función x &8614; rx is un homeomorfismo que envía S en S′. :Supongamos ahora que a es un punto cualquiera y que S′′ = S(0; r) es la esfera de centro el origen y radio r. La traslación que envía el origen en a es un homeomorfismo de S′′ en S′, lo que prueba el resultado.
Corolario 10.6.10. Rn \ {0}, n > 1, es un espacio conexo, conexo por caminos y localmente conexo por caminos.
- Demostración. Sean x, y dos puntos diferentes del origen. Cuando el segmento lineal con extremos x y y no contiene al origen, dicho segmento provee un camino de x a y. Supongamos que el origen está entre x y y. Sea v = (1/|x − y|)(x − y), v es un vector unitario. Sin perdida de generalidad, podemos suponer que x = tv y y = s(−v) con t, s > 0. Como la esfera unitaria es conexa por caminos, hay un camino de v a −v, por lo que tenemos un camino de x a y dado por x ↝ v ↝ (−v) ↝ y. Lo que muestra la conectividad por caminos y, en consecuencia, la conectividad. La conectividad local sigue de que Rn \ {0} is abierto.
Proposición 10.6.10. Un espacio X que es conexo y localmente conexo por caminos es conexo por caminos.
- Demostración. Sea x un punto de X y sea Cx el subconjunto de X formado por todos los puntos y tales que hay un camino de x a y. Como X es localmente conexo por caminos, cada y en Cx tiene una vecindad abierta Uyque es conexa por caminos. Luego, para cada punto z en Uy hay un camino desde x a z, x ↝ y ↝ z.
Luego, Cx is open.
Razonando de manera análoga, se concluye que X \ Cx abierto.Por la conexidad de X, concluimos que Cx = ∅ o X \ Cx = ∅. En consecuencia, X es conexo por caminos.
Proposición 10.6.11. Sea f : X → Y continua. Cuando X es conexo por caminos entonces su imagen por f también lo es.
- Demostración. Supongamos que X es conexo por caminos y que x′ = f(x),
y′ = f(y) son puntos de f(X). Por la hipótesis hay un camino σ de x a y. Por lo tanto, f ◦ : x′ = f(x) y′ = f(y).
Corolario 10.6.12. “Conexo por caminos” es una propiedad topológica.
Proposición 10.6.13. El producto topológico de dos espacios conexos (resp. conexo por caminos) es conexo (resp. conexo por caminos).
- Demostración. Sean X1 y X2 los espacios y X su producto.
(Caso Conexo) Supongamos queX fuera disconexo. Entonces, habría una función continua f : X → {0, 1}. Sea (a, b) un punto de X. Definamos funciones g1 : X1 → X tal que x1 ↦ (x1, b), y g2 : X2 → X tal x2 ↦ (a, x2). Claramente ambas funciones, g1, g2, son continuas. Luego, f ◦ gi, i = 1, 2, es continua.
Como cada Xi es conexo, la imagen por f ◦ gi tiene que ser conexa. Luego, f ◦ gi debe ser constante. Luego, f(x, b) = f(g1(x)) = f(a, b) para todo x en X. Análogamente, f(a, y) = f(g2(y)) = f(a, b). Se tiene entonces que f es una función constante.
Esto contradice la suposición de que la imagen de f tiene dos puntos. Por lo tanto, tal función no existe, por lo que el producto es conexo. .
(Conexión por caminos) Sean (a, b) y (c, d) puntos de X. Como X1 y X2 son conexos por caminos, hay caminos &sigma1 : a ↝ c, y &sigmaq;2 2 : b d. Luego, (σ1, σ2) : (a, b) ↝ (c, d).
Ejemplo 10.6.2. Un toro T = S1 × S1 es conexo por caminos.
Ejercicios 10.6
editar- Sea f : I → R continua. Probar que cuando el intervalo I es cerrado, la gráfica de f es conexa por caminos.
- Sea X un espacio topológico. Sea Cx el conjunto de puntos de un espacio topológico X unidos al punto x de X.
- Cada x de X, x está en Cx.
- Para todo x, y en X, si y está en Cx, entonces x está en Cy.
- Para todo x, y, z de X, si y está en Cx, z está en Cy, entonces z está en Cx.
- Para todo x, Cx es conexo por caminos.
- Todo A conexo por caminos que contiene a x, está contenido en Cx.
- Un conjunto X es conexo por caminos, ssi, X = Cx para algún x de X.
- Sea f : I → R continua. Probar que cuando el intervalo es cerrado, la gráfica de f es conexa por caminos.
- Sea (Xi) una familia de espacios y sea X su producto. Si todos los espacios
son localmente conexos y todos, excepto popr una cantidad finita de ellos,
son conexos, entonces X es localmente conexo.
- Probar que I = [0, 1] no es homeomorfo a S1.
- Probar que Sn (n > 1) no es homeomorfa a 1.
- Sean I = [0, 1] y J =]0, 1[. Probar que
- J es homeomorfo a un subconjunto de I, e I es homeomorfo a un subconjunto de J, pero
- I no es homeomorfo a J.
Ejercicios del Capitulo 10
editar- ¿Cuáles de los enunciados siguientes son válidos? En caso afirmativo, dar
una razón; en caso contrario, producir un contraejemplo.
- a) Los subespacios de espacios conexos son conexos.
- b) Los subespacios de espacios localmente conexos son localmente conexos.
- c) Los espacios conexos por caminos son conexos.
- d) Hay una cantidad finita de componentes conexas de un espacio.
- e) La reunion de intervalos de la línea real es un conjunto conexo.
- f) La intersección no vacía de intervalos de la línea real es un conjunto conexo.
- Sea X un espacio topológico. Sea A un subconjunto de X.
- Si A es conexo ¿qué podemos decir de su interior, clausura y frontera?
- Si el interior (resp. la clausura, la frontera) de A es conexo, ¿qué podemos decir de A.
- Sea C un componente de un conjunto A de un espacio localmente conexo.
Demostrar que:
- a) int(C) = C ∩ int(A).
- b) fr(C) ⊂ fr(A).
- c) Si A es cerrado, entonces fr(C) = C ∩ fr(A).
- Sean A y B subconjuntos cerrados y no vacíos de un espacio X. Si su reunión e intersección son conexos, entonces A y B son conexos.
- Decimos que dos conjuntos A y B están separados, ssi, ninguno de ellos
contiene puntos de acumulación del otro.
- Probar que si A ∩ B = ∅ y ambos son abiertos o ambos cerrados, entonces están separados.
- Suponer que A y B están separados. Probar que
- A ∪ B abierto implica que A y B son abiertos,
- A ∪ B cerrado implica que A y B son cerrados.
- Demostrar que, en un espacio métrico, cuando d (A, B ) > O, entonces A y B están separados. Dar un ejemplo que pruebe que el recíproco no necesariamente es válido.
- Un espacio es disconexo cuando es la reunión de dos conjuntos separados.
- Cuando A y B son conjuntos conexos no separados, entonces A ∩ B es conexo.
- Sea A un subconjunto conexo de un espacio localmente conexo. Entonces, A es localmente conexo.
- Probar que el producto de espacios localmente conexo es localmente conexo.
- Probar que el cubo unitario, In es conexo, conexo por camino y localmente conexo.
- Sea E un espacio topológico y sea A y B subconjuntos conexos tales que A ∩ cl(B) ≠ ∅. Probar que A ∪ B es conexo.
- Sea ~c la relación de equivalencia definida por las componentes. Probar que X/~c es totalmente disconexo.
- Probar que espacios discretos son localmente conexos.
- El espacio cociente de un espacio localmente conexo es localmente conexo.
- Sea A un subconjunto de un espacio topológico X. Si C es un subespacio conexo de X que interseca A y su complemento, entonces debe intersecar su frontera.
- En un espacio X los siguientes enunciados son equivalentes.
- X es localmente conexo.
- Cada componente conexa de un subconjunto abierto de X es un conjunto abierto.
- Los conjuntos abiertos conexos forman una base de la topología de X.
- Sea E un espacio normado que consideraremos como espacio topológico inducido por la norma.
- Cuando la esfera unitaria (||x|| = 1) tiene una propiedad topológica, cualquier esfera también la tiene.
- Cuando el cubo unitario, In, tiene un propiedad topológica, cualquier caja cerrada (ver ejemplo 5.2.7) también la tiene.
- Sea E un espacio normado. Un subconjunto K de E es convexo, ssi, para todo x, y en K,K contiene al segmento lineal que une dichos puntos. Probar que conjuntos convexos son conexos por caminos.
- Sea M = {(x, y) ∈ R2 : y > x2}. Probar que M es conexo por caminos.
- Sea E un espacio normado y sean x, y puntos de E. Un camino de x a y
es un camino poligonal, ssi, hay una sucesión p0, ..., pn de puntos tales
que (I) p0 = x, pn = y; y (ii) hay un segmento lineal uniendo pi con pi+1, i = 0, n − 1.
- Probar que un conjunto es conexo por caminos cuando hay un camino poligonal entre dos de sus puntos.
- Dar un ejemplo de un espacio conexo por caminos, para él cual no siempre es posible hallar un camino poligonal entre dos de sus puntos.
- Sea S = [0, 1] ⊂ R, pero provisto con la topología de complementos finitos, o sea que los cerrados de S son S o los subconjuntos finitos. Probar que en esta topología S es conexo y conexo por caminos.
- ¿Es conexo el espacio RT1? (ver definición en el ejercicio 10 al final del capítulo 8). En caso negativo, ¿cuáles son sus componentes?
- ↑ Cerrado como camino es distinto de conjunto cerrado.