Conjunto conexo

De Wikipedia, la enciclopedia libre

Un conjunto conexo es un subconjunto $C \subseteq X$ de un espacio topológico $(X,\mathcal{T}) \,$ (donde $\mathcal{T} \,$ es la colección de conjuntos abiertos del espacio topológico) que no puede ser descrito como unión disjunta de dos conjuntos abiertos de la topología.

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, $C \subseteq X$ es un conjunto conexo ssi

$A,B\in\mathcal{T}, A\cap B\cap C=\varnothing, C\subseteq A\cup B$ implica $C\subseteq A \vee C\subseteq B$

Notar que si $C = X$ , entonces tendremos que $X$ es conexo ssi $A,B\in\mathcal{T}, A\cap B=\varnothing, A\cup B=X$ implica $A=X \vee B=X$ . En este caso, $(X,\mathcal{T}) \,$ se llama espacio topológico conexo,

Bajo estas definiciones, se tiene que $C \subseteq X$ es conexo si y solamente si es un espacio topológico conexo para la topología traza.

[editar] Ejemplos de conjuntos conexos

- Las esferas $S^n \,$ son todas conexas en $\mathbb{R}^{n+1}$

- Un punto en $\mathbb{R}^{n}$ es conexo

- Un nudo es un conjunto conexo en $S^3 \,$

- Un toro es un conjunto conexo en $\mathbb{R}^3$

- En $\mathbb{R}$ , un conjunto es conexo si y solamente si es un intervalo

[editar] Ejemplos de conjuntos disconexos

-El conjunto formado por la unión de dos puntos distintos en $\mathbb{R}^{n}$

-El conjunto formado por la unión de dos esferas disjuntas en $\mathbb{R}^{n}$

-Un enlace de $n \,$ componentes (nudos)

[editar] Propiedades de los Conjuntos Conexos

Se cumple que si $(X,\mathcal{T}) \,$ es un espacio topológico conexo, cualquier espacio homeomorfo a él también lo será. Esta propiedad nos da una caracterización muy útil de los conjuntos conexos: $C \subseteq X$ es un conjunto conexo si y solamente si para toda función $f \colon C \to \{0,1\} \$ continua, se cumple que $f$ es una función constante, donde a ${0,1}$ se le dota de la topología discreta.

Otra propiedad interesante de los conjuntos conexos es la siguiente: Si $({X_i,\mathcal{T}_i})_{i\in I}$ es una familia de espacios topólogicos conexos (con $I$ un conjunto de índices de cualquier cardinalidad), entonces $(\prod_{i \in I} X_i,\mathcal{T})$ también es conexo, donde $\mathcal{T}$ es la topología producto.

Por último, si $X$ no es conexo, es decir, si existen abiertos $U, V$ disjuntos tal que su unión da $X$ , es fácil ver que cada abierto será el complemento del otro, luego serán complementos de un abierto, y por ende, serán cerrados. Es decir, serán conjuntos clopen. Por esto, otra manera de caracterizar la conexidad es decir: $X$ será conexo si y sólo si los únicos clopen son $X$ y el vacío (donde ambos conjuntos son siempre clopen).

[editar] Componentes conexas

Dado un espacio topológico $(X,\mathcal{T}) \,$ disconexo se llama componente conexa, a cada uno de los conjuntos maximales conexos. Es decir un subconjunto $Y \in \mathcal{T} \,$ es un componente conexa si se cumplen estas dos condiciones: