Equivalence of Definitions of Irreducible Space/3 iff 7

Open Sets Intersect implies Open Sets are Connected
Let $T = \struct {S, \tau}$ be irreducible in the sense that:
 * no two non-empty open sets of $T$ are disjoint.

Let $U \subseteq S$ be an open set of $T$.

$U$ is not connected.

Then there exist non-empty open sets $V, W$ of $U$ that are disjoint and whose union is $U$.

By Open Set in Open Subspace, $V$ and $W$ are open sets of $T$.

Because $V \cap W = \O$, $T$ is not irreducible.

This is a contradiction.

Thus $U$ is connected.

Thus $T = \struct {S, \tau}$ is irreducible in the sense that:
 * every open set of $T$ is connected..

Open Sets are Connected implies Open Sets Intersect
Let $T = \struct {S, \tau}$ be irreducible in the sense that:
 * every open set of $T$ is connected.

Let $V$ and $W$ be open sets of $T$.

By definition of topology, their union $V \cup W$ is open in $T$.

By hypothesis, $V \cup W$ is connected.

By Open Set in Open Subspace, $V$ and $W$ are open sets of $V \cup W$.

Because $V \cup W$ is connected, $V \cap W$ is non-empty.

Because $V$ and $W$ were arbitrary, $T$ is irreducible.

Thus $T = \struct {S, \tau}$ is irreducible in the sense that:
 * no two non-empty open sets of $T$ are disjoint.

Also see

 * Open Subset of Irreducible Space is Irreducible
 * Space is Ultraconnected iff Closed Sets are Connected