Teorema 1.

Sea (x, τ ) un espacio topológico y (Ai )i∈I una familia de subconjuntos conexos no vacíos
[
de X, tales que no están separados dos a dos. Entonces A = Ai es conexo.
i∈I

Demostración:

[
Por absurdo supongamos que A = Ai es disconexo.
i∈I
Así existe B ⊂ A con B 6= A, B 6= 0 que es abierto y cerrado a la vez en (A, τA ).
Así como B 6= 0, ∃ x ∈ B ⊂ A y también como B 6= A, ∃ y ∈ A talque:
/ B ⇒ y ∈ B c = AB.
y∈
Así existen ix , iy ∈ I tales que x ∈ Aix e y ∈ Aiy :

B ⊂ Aix , AB ⊂ Aiy

Así, tenemos lo siguiente:
\
B Aix 6= ∅ (1)

es abierto y cerrado de (Aix , τAix ) pues es conexo por hipótesis así: Aix ⊂ B y también:
\
(AB) Aiy 6= ∅

es abierto y cerrado de (Aiy , τAiy ) pues es conexo por hipótesis, así Aiy ⊂ AB.
Así tenemos lo siguiente:

B = Aix , AB = Aiy

pero AB y B están separados y su unión da igual a A.
Así, Ai,x y Ai,y están separados lo que es una contradicción con la hipótesis.