UNIVERSIDAD DE CARTAGENA

FACULTAD DE CIENCIAS EXACTAS Y NATURALES

PROGRAMA DE MATEMATICAS

TOPOLOGIA
ESPACIOS CONEXOS Y COMPONENTE CONEXA

LEONARDO CARO CARO

CARTAGENA DE INDIAS, D.T.Y.C.

12 DE MARZO DE 2015

1
 ESPACIOS CONEXOS

Definicion 1:
Se dice que un espacio topologico X es conexo si no existen dos abiertos, A y B, disjuntos y
no vacos, tales que X = A B.

Definicion 2:
Cuando un espacio topologico X no es conexo, se suele decir que los dos abiertos A y B, con
las propiedades anteriores, forman una separacion o una descomposicion para X.

Observacion 1:
Un espacio topologico X es conexo si no existe una separacion para X.

Definicion 3:
Diremos que un subconjunto de un espacio topologico X es conexo, si lo es con la topologa
relativa.

Teorema 1:
Sea X un espacio topologico. Las siguientes afirmaciones son equivalentes:
a) X es conexo,
b) No exiten cerrados disjuntos, no vacos cuya union sea todo el espacio,
c) Si A X es abierto y cerrado entonces A = X o A = ,
d) No existe f : X {0, 1} continua y sobre; {0, 1} con la topologa discreta.

Prueba:
Sea X un espacio topologico.
a)b)
Sea X un espacio conexo. Supongamos que existen cerrados A y B disjuntos, no vacos tales
que A B = X, luego A y B son complementos entre s, es decir, Ac = B y Bc = A, luego
X = Bc Ac , donde Bc , Ac son abiertos. Esto es absurdo ya que Bc y Ac forman una separacion
para X.
b)c)
Supongamos que no existen cerrados A, B disjuntos y no vacos tales que X = Bc Ac . Si hubie-
ra un subconjunto A X, abierto y cerrado, distinto de y X, entonces debe existir B = X A
tambien abierto y cerrada tal que

A B = A (X Ac ) = (A X) (A Ac )= X X = X

lo cual es absurdo, puesto que A y B forman una separacion para X.

c)d)
Supongamos que si A X es abierto y cerrado, entonces A = X o A = . Si existiera f : X
{0, 1} continua y sobre, entonces f 1 ({0}) 6= , X por ser {0} {0, 1} y f sobre. Como la
topologa es la discreta, entonces {0} es abierto y cerrado en {0, 1}. As, f 1 ({0}) X se hace
abierto y cerrado ya que f es continua, lo cual es absurdo ya que f 1 ({0}) 6= y f 1 ({0}) 6= X.
d)a)
Supongamos que no existe f : X {0, 1} continua y sobre. Sea X un espacio no conexo,
entonces existen abiertos A, B no vacos y disjuntos tales que A B = X.
Definamos f : X {0, 1} como:

2
 
0, si xA
f (x) = (1)
1, si xB
entonces f (A) = {0} y f (B) = {1}, luego f (A) f (B) = {0} {1}; f (A B) = {0, 1}, de
modo que f es sobre y continua, lo cual contradice nuestra hipotesis.

Teorema 2:
Sea f : X Y una funcion continua. Si X es conexo e Y es un espacio topologico arbitrario,
entonces f (X) es conexo en Y.

Prueba:
Supongamos que f (X) no es conexo, luego existen A, B en Y, abiertos no vaco y disjuntos tales
que A B = f (X) y A B = . Luego f 1 (f (X)) = f 1 (A B); X = f 1 (A) f 1 (B). Como
f es continua, entonces f 1 (A) y f 1 (B) son abiertos en X, luego f 1 (A) y f 1 (B) forman una
separacion para X, lo cual es absurdo.

Teorema 3:
Sea S Si {Ai } es una clase no vaca de subespacios conexos de X tal que
T X un espacio topologico.
Ai 6= , entonces A = Ai es tambien un subespacio conexo de X.
iI iI

Prueba : S
Supongamos que A = Ai no es conexo. Esto es, existen abierto B, C en X, no vacos; tales
iI
que B C = A y B C = . Ahora, cada Ai es conexo y cada uno esta en B C por lo
que cada Ai se encuentra en su totalidad en B o totalmente en C. Si suponemos que hay un
Aj , con j I, contenido totalmente en B entonces, para ningun ndice i, Ai esta contenido en
C puesto que Aj no es disjunto de algun Ai . As, todos los Ai estaran en B obligando a que
C sea el conjunto vaco, lo cual contradice el hecho de que B y C forman una separacion para A.

Teorema 4:
Sea X un espacio topologico y C un subespacio conexo de X. Si D es un subespacio de X tal
que C D C, entonces D es conexo; en particular, C es conexo.

Prueba :
Sea C X abierto y conexo. Supongamos que A y B son abiertos disjuntos tales que A D y
B D forman una separacion para D, es decir, D = (A D) (B D), entonces como C D,
C = C D = C [(A D) (B D)] = (A C) (B C)
A C y B C son abiertos y disjuntos, entonces alguno de ellos debe ser vaco, pues de lo con-
trario formaran una separacion para C. Digamos que A C = . Como A es abierto entonces

A = A . Si x A, x A , entonces A es una vecindad de x, pero como A C = , x 6 C,
entonces a 6 D. Luego A D = , lo cual es absurdo.

Teorema 5:
Un subespacio X de R es conexo si, y solo si X es un intervalo. En particular R es conexo.

Prueba:
Sea X un subespacio de R conexo. Supongamos que X no es un intervalo, luego existen x, z X
y un punto y 6 X tal que x < y < z. Sean A = X (, y) y B = X (y, +). Entonces
A B = [X (, y)] [X (y, +)] = X [(, y) (y, +)] = X (R {y}) = X

3
y

A B = [X (, y)] [X (y, +)] = X [(, y) (y, +)] = X =

As, A y B forman una separacion para el subespacio X, por tanto X no es conexo, lo cual es
absurdo.
Recprocamente, sea X un intervalo y supongamos que X no es conexo, luego existen A, B
abiertos en X no vacos tales que X = A B y A B = . Puesto que A y B son no vacos,
tomemos x A y z B. Como A y B son disjuntos entonces x 6= z. Asumamos que x < z y
definamos

Y= {t B : t > x}

Y es no vaco ya que z B. x es cota inferior de Y, luego existe m = nf(Y). Ademas, de la

definicion de m y del hecho que X es un intervalo, es facil ver que m [x, z] X = A B. Por
tanto o m A o m B pero no en ambos. Veamos que ninguna de estas posibilidades puede
ocurrir. En efecto, supongamos que m A. En este caso m < z, y por tanto [m, z] X ya
que X es un intervalo. Como A es abierto en X, existe  > 0 tal que [m , m + ] X A
y por tanto [m , m + ] [m, z] = [m, m + ] A. Teniendo en cuenta que z 6 A y m < z
entonces m +  z. Pero como Y B, A B = y [m, m + ] A, inferimos que m = nf(Y)
m +  > m, lo cual es absurdo. De forma analoga se ve que m no puede estar en B.

Teorema 6:
El producto de una clase no vaca de espacios conexos es conexa.

Ejercicio.

Teorema 7:
Los espacios Rn y Cn son conexos.

Prueba :
Ya probamos que R es conexo por tanto, por el teorema 6., Rn es conexo. Probaremos que R2n
y Cn son esencialmente el mismo espacio topologico al mostrar un homeomorfismo de Cn en
R2n . Sea z = (z1 , z2 , ..., zn ) un elemento arbitrario de Cn y escribamos zk = ak + ibk , donde ak
y ibk son sus partes reales e imaginarias. Definamos f como

f (z) = (a1 , b1 , a2 , b2 , ..., an , bn )

f es claramente una funcion uno a uno de Cn en R2n y si observamos que k f (z) k=k z k, es
facil ver que f es un homeomorfismo. El hecho de que R2n es conexo muestra que Cn tambien
es conexo.

COMPONENTE DE UN ESPACIO

Definicion 4:
Sea X un espacio topologico y A un subespacio de X. Decimos que A es una componente
conexa o un conexo maximal en X si A es conexo y no es subconjunto propio de algun otro
subespacio conexo de X.

Teorema 8:
Si X es un espacio topologico arbitrario. Entonces tenemos lo siguiente:
a) Cada punto de X esta contenido en exactamente una componente de X.
b) Cada subespacio conexo de X esta contenido en una componente de X.

4
c) Un subespacio conexo de X no vaco, que es a la vez abierto y cerrado es una componente
de X.
d) Cada componente de X es cerrada.

Prueba :
a) Sea x un punto de X. Consideremos la clase {Ai } de todos los subespacios conexos de XSque
contienen x. Esta clase es no vaca puesto que {x} es conexo. Por el Teorema 3., A = Ai
iI
es un subespacio conexo de X que contiene a x. A es claramente el mas grande y por tanto
una componente de X ya que cualquier subespacio conexo de X que contiene a A, contiene a x
luego, es uno de los Ai por tanto esta contenido en A. Por ultimo, A es el unico componente
de X que contiene a x. En efecto, si A es otra componente que contiene a x, entonces A A ,
pero cada Ai A, luego A A por ser A uno de los Ai , por tanto
S A=A.

b) Sea Ai una coleccion de subespacios conexos de X y sea A = Ai la componente que con-

iI
tiene cualquier punto de Ai , entonces cada Ai esta contenido en A.
c) Sea A un subespacio de X, no vaco, conexo y que es a la vez cerrado y abierto. Por b) A C
para alguna componente C de X. Como C es conexo, entonces por Teorema 1. parte c), A = C.
d) Supongamos que la componente C no es cerrada, luego C 6= C. Entonces por el Teorema
7., C es un subespacio conexo de X que contiene adecuadamente a C y esto contradice la
maximalidad de C.