Un espacio topológico es llamado conectado si cualquier presentación de la $X$ $X = V_1 \uplus V_2$ por distintos subconjuntos abiertos implica que uno de ellos es trivial ($V_1 = X$ o $V_2 = X$). Tomando complementar nadie puede reemplazar a la palabra "abierto" por "cerrar".
Un espacio topológico se llama irreducible si cualquier presentación de la $X$ $X = X_1 \cup X_2$ por dos subconjuntos cerrados implica que uno de ellos es trivial ($X_1 = X$ o $X_2 = X$).
Claramente cada irreductible espacio está conectado. Lo contrario no siempre es cierto, pero:
La proposición: Deje $X$ ser conectado a un espacio topológico que tiene un cubrimiento por irreducible subespacios. A continuación, $X$ es irreductible.
Yo quiero probar esta proposición.