Conjunto conexo

Un conjunto conexo es un subconjunto

de un espacio topolgico
(donde
es la coleccin de conjuntos abiertos del espacio topolgico) que no puede ser
descrito como unin disjunta de dos conjuntos abiertos de la topologa.
Intuitivamente, un conjunto conexo es aquel formado por una sola 'pieza', que no se puede
'dividir'. Cuando un conjunto no sea conexo, diremos que es disconexo.
Formalmente,

es un conjunto conexo si y slo si

implica

Notar que si

, entonces tendremos que

si

es conexo si y slo
implica

caso,

. En este

se llama espacio topolgico conexo.

Bajo estas definiciones, se tiene que

topolgico conexo para la topologa traza.

es conexo si y solamente si es un espacio

Ejemplos

El espacio A es conexo.
El espacio B no lo es.

Conjuntos conexos

Las esferas

Un punto en

Un nudo es un conjunto conexo en

Un toro es un conjunto conexo en

En

son conexas
es conexo

, un intervalo cerrado por la derecha o por la izquierda es un conjunto conexo; de

igual modo un punto de la recta.

El complementario de un punto en

es conexo

Subconjunto conexo en la recta

Sea provisto de la topologa usual Tu, adems J un intervalo de , M y N subconjuntos
abiertos de tales que J es parte de la unin de M y N, JMN = . Entonces JM = o
JN = .En este caso J es un subconjunto conexo de la recta real.

Un subconjunto H de la recta es un subconjunto conexo de la recta real cuando, y slo

cuando es un intervalo.De cualquier intervalo basta retirar un punto, lo que queda ya no es
conexo, tampco lo es el conjunto K = {1/n, para n entero positivo}

Conjuntos inconexos

El complementario de un punto en

El conjunto formado por la unin de dos esferas disjuntas en

Un enlace de

componentes (nudos),

Propiedades de los conjuntos conexos

Se cumple que si
es un espacio topolgico conexo, cualquier espacio homeomorfo a
l tambin lo ser. Esta propiedad nos da una caracterizacin muy til de los conjuntos
conexos:
es un conjunto conexo si y solamente si para toda
funcin
a

continua, se cumple que

es una funcin constante, donde

se le dota de la topologa discreta.

Otra propiedad interesante de los conjuntos conexos es la siguiente: Si

familia de espacios toplogicos conexos (con un conjunto de ndices de
cualquiercardinalidad), entonces
producto.

tambin es conexo, donde

es una

es la topologa

Por ltimo, si
no es conexo, es decir, si existen abiertos
disjuntos no vacos tales que
su unin es , es fcil ver que cada abierto ser el complemento del otro, luego sern
complementos de un abierto, y por ende, sern cerrados. Es decir, sern conjuntos clopen.
Por esto, otra manera de caracterizar la conexidad es decir:
ser conexo si y slo si los
nicos clopen son
y el vaco (donde ambos conjuntos son siempre clopen).

Conexidad por caminos[editar]

Diremos que un conjunto
dados
y

es conexo por caminos o arco conexo si

existe un camino continuo

.

tal que

La conexidad por caminos implica conexidad, pero el recproco no es cierto en general. Un

contraejemplo muy tpico es el llamado peine del toplogo,
,

donde
y
es conexo, pero no conexo por caminos.

Ser conexo por caminos no es una propiedad hereditaria (esto es, si un conjunto es
conexo por caminos, cualquier subconjunto de ste no es necesariamente conexo por
caminos). Sin embargo, ser conexo por caminos es una propiedad topolgica (es decir, la
imagen mediante una aplicacin continua de un conjunto conexo por caminos es conexa
por caminos).

Componentes conexos
Dado un espacio topolgico
inconexo se llama componente conexo, a cada
uno de los conjuntos maximales conexos. Es decir un subconjunto
es un
componente conexo si se cumplen estas dos condiciones:
1.

es conexo.

2. Cualquier conjunto

que contiene propiamente a

Se cumple que los componentes conexos de

es inconexo.

forman una particin de