CAPITULO
Conectividad
3.1. CONJUNTOS CONEXOS
La idea intuitiva que motiva el concepto de conjunto conexo es la de
ser “de una sola pieza” que no esta “constituide por dos partes separadas”,
Tales conjuntos son de gran importancia por ser muy ricos en propiedades.
Partiremos de Ja siguiente definicién formal:
Sca A un conjunto no vacio en un espacio métrico (E,d). Decimos que
los conjuntos S, T son una disconexién de A si son no vacios, disjuntos,
abiertos en el subespacio (4, @) y A = SUT. Si tales conjuntos existen de-
cimos que A admite una disconexién, En general, si A admite una discone-
xién, ésta puede no ser tinica.
Decimos que el conjunto A es disconexo si admite alguna disconexién,
Decimos que el conjunto A es conexo si no es disconexo, es decir, si no
admite disconexién.
Nétese que si S y T son una disconexién de A, $ y T’ son también cerra-
dos en (4, d). En efecto, como SNT = ¢, entonces
S=A-T, T=A-S,
y aplicamos el Teorema 3 de 2.4. O sea que S y T son ambos abiertos y
cerrados en (A, d).
67 68 CONECTIVIDAD
Supongamos de nuevo que A es disconexo y que Sy 7’ son una discone-
xién de A. § no es vacio y tampoco coincide con A, ya que T = A—S no
es vacio; ademas, S es abierto y cerrado en (4, d). Reciprocamente, supon-
gamos que existe un subconjunto propio (no vacio y no coincidente con A)
S de A que es abierto y cerrado en (A, d). Consideremos entonces T= A—S.
T no es vacio porque $ no coincide con A, y es abierto en (A, d) por ser S
cerrado en (A, d). Por otra parte, es evidente que
SOT =$¢y A=SUT.
De manera que S y T’ son una disconexién de A y éste es disconexo,
En resumen, hemos demostrado que A es disconexo si y slo si existe un
subconjunto propio de A que es abierto y cerrado en (A, d).
Dicho de manera equivalente: A es conexo si y sdlo si los tinicos con-
juntos abiertos y cerrados en (4, d) son el conjunto vacio ¢ y A.
Es muy facil proporcionar ejemplos de conjuntos conexos y disconexos
en un espacio métrico cualquiera. El caso mas sencillo: un conjunto cons-
tituido por un solo punto es siempre conexo trivialmente. Un conjunto
constituido por dos esferas abiertas y disjuntas es siempre disconexo. Una
esfera abierta no es, en general, un conjunto conexo, pero volveremos sobre
esto mas adelante.
Decimos que el espacio métrico (E,d) es conexo (disconexo), si el con-
junto E es conexo (disconexo).
Por ejemplo, un espacio métrico discreto de mds de un punto es siempre
disconexo. Veremos més adelante que R, R” y, en general, todo espacio
normado son espacios conexos.
Veamos una sencilla caracterizacién de espacios conexos en términos de
fronteras (2.5). Supongamos que A es un subconjunto propio en un espacio
métrico (E,d) y que B(A) = ¢. Entonces A—A = ¢, lo cual implica que
A=4=4,
es decir, que A es abierto y cerrado en (E,d), O sea que E es disconexo,
lo mismo que (E,d). Reciprocamente, supongamos que (E, d) 0, lo que es
igual, E es disconexo. Existe entonces un subconjunto propio A de E abierto
y cerrado, es decir,
lo cual implica CONJUNTOS CONEXOS 69
En resumen, un espacio métrico es conexo si y sélo si todo subconjunto
propio tiene frontera no vacia.
‘A propésito de fronteras, supongamos que un conjunto 4 intersecta a
otro B y también al complemento de B. Es intuitivamente evidente que si
Aes “de una sola pieza” (conexo), A intersectar forzosamente la “concha”
(frontera) de B. Esto resulta ser cierto en cualquier espacio métrico, como
se establece en el siguiente teorema de frecuente utilidad.
Teorema 1. A y B son conjuntos en (E, d) tales que A es conexo,
AMB#$ y AN(E-B) #95
entonces
ANB(B) #o.
Demostraci6n.
Supongamos que AN£(B)
frontera (2.5),
= 4; entonces, aplicando propiedades de la
ANB = (ANB) U[ANB(B)] = AN[BUB(B)] =
= ANB = AN[BUA(B)] = ANB.
Es decir,
ANB = ANB = ANB.
O sea que ANB#¢ es abierto y cerrado en (4,d), en virtud de los teo-
remas 1 y 2 de 2.6, Pero A es conexo, luego ANB = A, de donde ACB, lo
cual implica AN (E~B) = ¢ que contradice la hipétesis.
No podemos, pues, suponer que AN B(B) = ¢.
3.2. CLAUSURA Y UNION DE CONEXOS
Nos proponemos determinar lo que sucede al clausurar unir conjuntos
conéxos, si se preserva o no la conectividad.
Teorema 1. Si A y B son conjuntos en (E,d) tales que A es conexo y
ACBCA,
entonces B es conexo. 70 CONECTIVIDAD
Demostracién, Supongamos que S, T son conjuntos abiertos en (E, d)
tales que
B= (SMB) U(TNB) y (SNB)N(TNB) = ¢.
Como ACB, tenemos:
A= (SNA) U(TNA) y (SNA) A(TNA) = $5
pero A es conexo y, por lo tanto, no admite disconexién, 0 sea que
SNA=o
(0 bien TOA = ¢, lo cual conduciria a resultados andlogos).
Si x €ANS, entonces S es un entorno de x €A y aplicando el Teorema
2 de 2.4, resultaria SNA ¢.
De manera que
snd = 4;
pero BCA, luego SNB = ¢ y B es conexo por no admitir disconexién
alguna, e
Corolario I’. Si A es un conjunto conexo, entonces A es conexo.
Demostracién, ACACA y apliquese el teorema anterior. e
Es intuitivamente evidente que la unién de conjuntos conexos puede no
ser conexa. Por ejemplo, la unién de dos conjuntos conexos y disjuntos pue-
de, aunque no siempre (véase el Ejercicio 9) resultar disconexa. Sin em-
bargo, si la interseccién en la familia no es vacia, entonces la unién es
conexa, pero podemos demostrar algo més general.
Teorema 2. Sea F una familia de conjuntos conexos (E, d). Si existe un
Ay CF tal que VA CF, ANA, % 4, entonces B = UA es conexo,
ae
Demosraaci6n. Sean Sy T conjuntos abiertos en (E, d) tales que
B= (SMB) U(TNB) y (SMB) N(TNB) = 4.
Tomemos un A €F cualquiera. Como ACB tenemos:
A = (SMA) U(TNA) y (SNA) N(TNA) CLAUSURA ¥ UNION DE CONEXOS m
pero A es conexo y, por lo tanto, no admite disconexién, o sea que
TNA=¢
(0 bien SNA = ¢ y las consecuencias serian andlogas), de donde
A=SNA (64=TNA)
es decir,
ACS (6 ACT).
En particular, supongamos que
ACS.
Si para algdn
ACF: ACT,
entonces
ANA,C(SNB) N(TNB) = 4,
lo cual contradice la hipétesis, De manera que
vy AGF: ACS
lo cual implica BCS, es decir B= BOS, de donde BOT = ¢ y Bes co-
nexo por no admitir disconexién.
Corolario 2’. Si F es una familia de conjuntos conexos de (E, d) tal que
n Aes,
Ae
entonces U A es conexo.
ae
Si se trata de sélo dos conjuntes conexos A y B podemos obtener un
resultado més general. En efecto, basta con que ANBo ANB no sca vacio
para que AUB sea conexo, aun cuando ANB = ¢ (es el Ejercicio 9). 72 CONECTIVIDAD
3.3. COMPONENTES DE UN CONJUNTO
Un conjunto no vacio contiene siempre conjuntos conexos, por ejemplo,
cualquier subconjunto constituido por un solo punto. Nos proponemos de-
terminar los “maximos” conjuntos conexos contenidos en él. Estos se deno-
minan componentes del conjunto y su ndmero y “tamafio” nos darn una
idea del grado en que dicho conjunto se aproxima a ser conexo, Visto de
otra manera, nos proponemos descomponer un conjunto cualquiera en sus
“maximas” partes de “una sola pieza”.
Sea A un conjunto no vacio de una espacio métrico (E, 4). Tomemos
un x €A y consideremos la familia de todos los conjuntos conexos conte-
nidos en A y que contienen ax. Es evidente que esta familia no es vacia,
ya que {x} pertenece a ella. Por otra parte, la interseccién de todos sus
miembros contiene ax y es, por tanto, no vacia. En virtud del Corolario 2’
de 3.2, deducimos que la unién de todos los conjuntos de la familia es un
conjunto conexo que indicamos por C(x) y lo lamamos componente de A.
Es consecuencia inmediata de su construccién que C(x) es el “maximo”
conjunto conexo contenido en A y que contiene a x. Es decir, si B es conexo,
x€B y BCA, entonces B es miembro de la familia cuya unién es C(x),
luego BCC(x).
Puede muy bien suceder que C(x) = {x}. Por ejemplo, el conjunto Q
de Jos ntimeros racionales como subconjunto de la recta real es tal que
C(x) = {2}, VxEQ.
Si yx €A, C(x) = {x}, decimos que A es totalmente disconexo.
Llamamos componentes del espacio a los componentes del conjunto E.
Asimismo, decimos que el espacio (E,d) es totalmente disconexo si lo es
el conjunto E. Por ejemplo, un espacio métrico discreto es totalmente dis-
conexo,
Si A es un conjunto no vacio de (E,d), es evidente que
A=UG(x).
Por otra parte, los componentes de A son disjuntos dos a dos. En efecto, sean
x,y €A y supongamos que
C(x) NEY) #4
Pero entonces, aplicando el Corolario 2’ de 3.2, el conjunto
C(x) UC(y) COMPONENTES DE UN CONJUNTO 3
es conexo y contiene ax; luego C(x) UC(y) CC(x) y, como siempre
C(x) CC(x) UC(y), resulta C(x) = C(x) UC(y). Pero esto tltimo im-
plica que C(y) CC(x).
De manera totalmente andloga conchuiriamos:
C(x) CC(y). O sea que C(x) = C(y).
En resumen, hemos demostrado que dos componentes cualesquiera son
disjuntos o coincidentes.
Los componentes de A constituyen, pues, una particién de A: son dis-
juntos dos a dos y la unién de todos ellos es A. Esta particién de A deter-
mina una relacién de equivalencia que designaremos por ~ sobre A, segiin
la cual, si x,y €4, x ~ y, significa que x y y pertenecen al mismo compo-
nente, es decir, que C(x) = G(y). Las clases de equivalencia respecto a ~
son precisamente los componentes. Nétese, sin embargo, que basta con que
x,y estén contenidos ambos en algiin conjunto conexo B, a su vez contenido
en A, para que x ~y. En efecto, necesariamente BCC(x), BCC(y), lo
cual implica que BCC(x) NC(y), siendo B no vacto. Luego, por lo esta-
blecido arriba, C(x) = C(y); de donde x ~ y.
Como la unién de todos los componentes de A es igual a A, si existe
sélo un componente C tendremos que A = C y, por lo tanto, A es conexo.
Recfprocamente, si A es conexo, es inmediato que A = C(x), Vx€A; 0
sea que existe sélo un componente.
En resumen, A es conexo si y sélo si admite un Gnico componente.
En particular, si aplicamos estas conclusiones al conjunto E, deducimos
que el espacio (E,d) es conexo si y sélo si todo par de puntos est contenido
en un conjunto conexo. En efecto, si E es conexo la afirmacién es trivial
ya que todo par de puntos esté contenido en E, Reciprocamente, si yx, y €E,
existe un conexo que los contiene, entonces x ~ y, 0 sea que todos los puntos
de £ pertenecen a un mismo componente, lo cual nos dice que existe un
solo componente y E es conexo.
Por ejemplo, un espacio métrico en el cual toda esfera abierta es conexa,
es conexo, ya que cualquier par de puntos del espacio siempre se puede
encerrar en una esfera abierta. Tal es el caso de un espacio normado, como
se ver4 més adelante.
Teorema 1, $i A es un conjunto no vacio de (E,d) sus componentes son
cerrados en el subespacio (4, d).
Demosrracién. Sea C un componente de t Teniendo en cuenta que
CCA, 4 CONECTIVIDAD
tenemos:
ccénacé,
Jo cual implica, en virtud del Teorema 1 de 3.2, siendo C conexo, que CNA
es conexo; pero, como C es el maximo conjunto conexo que contiene cual-
quiera de sus puntos, resulta
C=CNna.
O sea que por el Teorema 2 de 2.6, C es cerrado en el subespacio (4,d).
En particular, los componentes del espacio son conjuntos cerrados.
No es cierto, en general, que los componentes de A sean abiertos en
(A, d). Por ejemplo, hemos visto que los componentes de Q en la recta
real son conjuntos constituidos por un solo punto, que no son abiertos en Q.
Sin embargo, si el ntimero de componentes de A ¢s finito, ellos son también
abiertos en (4,d) (apliquese el Teorema 4 y el Corolario 3’ de 2.4).
3.4, ESPACIOS LOCALMENTE CONEXOS
Decimos que un espacio métrico (E,d) es localmente conexo si para
todo punto x CE y todo entorno S$ de x, existe un entorno T de x tal que
TCS y T es conexo.
O sea que, si tenemos un entorno de un punto, siempre podemos hallar
un entorno mas pequefio que ¢s un conjunto conexo,
Los espacios localmente conexos son importantes por la riqueza de sus
propiedades.
Es necesario destacar que conectividad y conectividad local son con-
ceptos independientes. Es decir, un espacio métrico puede scr conexo sin
serlo localmente; asi mismo puede ser localmente conexo sin ser conexo.
Existen espacios que son ambas cosas y otros que no son ninguna de las dos.
Por ejemplo, veremos més adelante que la recta real es un espacio conexo
y localmente conexo, lo que, eventualmente, gencralizaremos a todo espacio
normado, Un espacio métrico discreto de mas de un punto es localmente
conexo pero no conexo. El espacio constituido por el conjunto de los ni-
meros racionales con la métrica inducida por la de la recta real, no es conexo
ni localmente conexo. Existen también espacios métricos conexos que no son ESPACIOS LOCALMENTE CONEXOS 15
localmente conexos; pero su construccién es generalmente muy elaborada
y exige conocimientos que no hemos desarrollado en este momento.
El siguiente resultado es de frecuente utilidad.
Teorema 1. Si en (E,d) toda esfera abierta es un conjunto conexo, en-
tonces (#,d) es un espacio conexo y localmente conexo.
Demosrracién. Sea x €£ y $ un entorno cualquiera de x. Como $ es abier-
to y x ES, existe un r > 0 tal que N(x;7) CS; pero N(x;r) es un entorno
de xy, por hipétesis, conexo. (E,d) es pues localmente conexo.
Para demostrar que E es conexo, tomemos un % €E cualquiera. Es
inmediato que
E= UN(a;n),
donde N es el conjunto de los ntimeros naturales (excluimos el 0). Ahora
bien, cada una de las N(x; n) es conexa y la interseccién de todas ellas no
es vacia, ya que xo esta en todas, Concluimos que su unién, o sea E es conexo
(Corolario 2 de 3.2).
Existe una especie de reciproco de este teorema, pero no lo demostrare-
mos aqui,
Finalmente, caracterizamos los espacios localmente conexos en términos
de componentes de conjuntos abiertos,
Teorema 2. Un espacio métrico (E,d) ¢s localmente conexo si y sélo si
los componentes de todo conjunto abierto son abiertos.
Demostracin. Supongamos que los componentes de todo conjunto abiertos
son abiertos, Sea x €E y S un entorno cualquiera de x, Designemos por Tal
componente de S$ que contiene a x. Entonces T es conexo, TCS y T es un
entorno de x por ser abierto en virtud de la hipétesis. O sea que (E,d)
es localmente conexo.
Reciprocamente, supongamos que (E,d) es localmente conexo y sea A
un conjunto abierto, Consideremos un componente C de A y demostremos
que es abierto.
Tomemos un x €G, de donde x €A y por ser A abierto, A cs un entorno
de x. Pero entonces existe un entorno conexo § de x tal que SCA, lo cual
implica, por ser C un componente, que $CC. Ahora bien, C es evidente-
mente la unién de todos estos conjuntos abiertos S correspondientes a cada
uno de sus puntos. C es, pues, un conjunto abierto por ser la unién de
abiertos, 16 CONECTIVIDAD
En particular, para un espacio localmente conexo, los componentes del
espacio son conjuntos abiertos y cerrados. Esto implica, de paso, que si
el espacio es disconexo, cualquier componente y su complemento constituyen
una disconexién. Lo mismo puede suceder si el espacio no es localmente
conexo.
3.5. CONECTIVIDAD EN LA RECTA REAL
Por su particular importancia, nos proponemos caracterizar los conjuntos
conexos en el espacio métrico constituido por el conjunto R de los ntimeros
reales, junto con la métrica usual, inducida por el valor absoluto, La relacién
de orden total de que esta provisto R juega un papel decisive en descubrir
la naturaleza de los conjuntos conexos.
Antes que nada, conviene precisar el concepto de intervalo, Sea A un
conjunto no vacio de néimeros reales, decimos que A es un intervalo, si para
todo par de puntos x,z€A se cumple que para todo y€R con x 0 tal que
Qy-nytr) NICS.
(Notese que (y—1, yr) AI = N(y;7) OL es una esfera abierta en I). 78 CONECTIVIDAD
Tomemos un ¢€R tal que y <¢ < min {z,y+r}. Entonces ¢ € (yr,
ytr), y como y Q, donde Q es el conjunto
de los racionales, tal que VI €F : f(I) = 1. Resulta que f es inyectiva; en
efecto, tomemos I, I’ €F con II’, Esto implica que INI’ = $, 0 sea que
{(1) #f (I). F es, pues, contable.
EJERCICIOS
1, Proporcionar un ejemplo que revele que el interior de un conjunto co-
nexo no es, en general, conexo.
2. Ay B son conjuntos cerrados y no vacios de un espacio (E, d). Demos-
trar que si AUB y AMB son conexos, entonces A y B son conexos.
3. Ay B son conexos y ACB, Si C es abierto y cerrado en el subespacio
B—A, demostrar que AUG es conexo,
4. Si Ay B son conjuntos de (E,d) tales que ANB = ¢ y ANB = 4, se
dice que A y B estan separados. ‘
Demostrar que si AMB = ¢@ y son ambos abiertos o ambos cerrados,
entonces estan separados.
5. Supéngase que A y B estén separados. Demostrar:
AUB abierto =) A y B son abiertos,
AUB cerrado =) A y B son cerrados.
6, Demostrar que si d(A,B) > 0, entonces A y B estan separados.
Proporcionar un ejemplo que revele que el reciproco no es, en general,
cierto.
7. Demostrar que un espacio (E, d) es disconexo si y s6lo si es la unién
de dos conjuntos separados.
8. Si Ay Bson conjuntos conexos de (Z, d) y no estén separados, demués-
trese que AUB es conexo.
9. Si Ay B son conjuntos conexos de (E,d) y ANB +d, demuéstrese que
AUB es conexo, At.
15.
16.
CONECTIVIDAD
). Sean Ay, As, -+-,4q conjuntos conexos y AsNAiné $ (C= 1% 005
*
n-1), Demostrar que UA; es conexo.
ta
Demostrar que un espacio métrico discreto, de mds de un punto, es
totalmente disconexo y localmente conexo.
._Demostrar que el conjunto Q de los ntimeros racionales ¢s totalmente
disconexo en la recta real,
. Sea Aun conjunto conexo, abierto y cerrado en (E, 4). Demostrar que
A es un componente de E.
. Sean A y B conjuntos conexos y ACB. Si C es un componente de
B—A, demuéstrese que BC es conexo,
Sea C un componente de un conjunto abierto A de un espacio local-
mente conexo (E,d). Probar que ANB(C) = ¢.
Sea C un componente de un conjunto A de un espacio localmente
conexo (E,d), Demostrar:
a) G=cn4.
b) B(C) CA(A).
c) Si A es cerrado, entonces B(C) = CNB(A).
. Se dice que un espacio (E,d) es encadenado, si para todo e>0 y
Vx,y CE, existen puntos xo, %,--+,%n,€E con x = x, xn = y, tales
que
d(xi,%in)
También podría gustarte
- Espacios TopologicosDocumento9 páginasEspacios TopologicosWalther MontesAún no hay calificaciones
- Compacidad Conjuntos AcotadosDocumento20 páginasCompacidad Conjuntos AcotadosWalther MontesAún no hay calificaciones
- Limites y Espacios ComplejosDocumento47 páginasLimites y Espacios ComplejosWalther MontesAún no hay calificaciones
- Topologia de Espacios MetricosDocumento61 páginasTopologia de Espacios MetricosWalther MontesAún no hay calificaciones
- Geografia General de VenezuelaDocumento192 páginasGeografia General de VenezuelaWalther MontesAún no hay calificaciones
