Equivalence of Definitions of Irreducible Space

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space.

1 implies 2
Let $T$ be an irreducible space by Definition 1.

That is, $T$ is not the union of any two proper closed subsets.

$T$ admits a finite cover by proper closed subsets.

By the Well-Ordering Principle, there exists a minimal natural number $n \in \N$ such that $T$ has a cover by $n$ proper closed subsets, say $F_1, \ldots, F_n$.

By definition of proper subset, it must be the case that $n > 1$.

By Finite Union of Closed Sets is Closed, $F_{n - 1} \cup F_n$ is closed.

By Union is Associative:
 * $S = F_1 \cup \cdots \cup \left({F_{n - 1} \cup F_n}\right)$

By minimality of $n$, $F_{n - 1} \cup F_n$ is not a proper subset.

Thus $F_{n - 1} \cup F_n = S$.

This contradicts the definition of an irreducible space by Definition 1.

Thus $T$ has no finite cover by proper closed subsets.

That is, $T$ is an irreducible space by Definition 2.

2 implies 1
Let $T$ be an irreducible space by Definition 2.

Then $T$ has no finite cover by proper closed subsets.

A cover by two sets is a finite cover.

Hence it immediately follows that $T$ has no finite cover by $2$ proper closed subsets.

That is, $T$ is an irreducible space by Definition 1.

1 implies 3
Let $T$ be an irreducible space by Definition 1.

That is, $T$ is not the union of any two proper closed subsets.

Let $U$ and $V$ be two arbitrary nonempty open sets of $T$.

$U$ and $V$ have an empty intersection.

By De Morgan's Laws, their complements are proper closed subsets whose union is $T$.

This contradicts the definition of an irreducible space by Definition 1.

Thus:
 * $U \cap V \ne \varnothing$

As $U$ and $V$ are arbitrary, it follows that $T$ is an irreducible space by Definition 3.

3 implies 1
Let $T$ be an irreducible space by Definition 3.

Let $F$ and $G$ be two arbitrary proper closed subsets of $T$

their union is $T$.

By De Morgan's Laws, their complements are nonempty open sets whose intersection is empty.

This contradicts the definition of an irreducible space by Definition 3.

Thus $F \cup G \ne T$.

As $F$ and $G$ are arbitrary, it follows that $T$ is an irreducible space by Definition 1.

3 iff 4
By definition of everywhere dense subset, an open set is dense it has nonempty intersection with any other open set.

4 iff 5
Follows from Everywhere Dense iff Interior of Complement is Empty.