Union of Topologies on Singleton or Doubleton is Topology

Theorem
Let $S$ be a set containing either exactly one or exactly two elements.

Let $\left({\tau_i}\right)_{i \mathop \in I}$ be an arbitrary non-empty indexed set of topologies for a set $S$.

Then $\tau := \displaystyle \bigcup_{i \mathop \in I} {\tau_i}$ is also a topology for $X$.

Proof
Let $S$ be a set containing exactly one element.

Suppose $S = \left\{{x}\right\}$ for a certain object $x$.

Then the power set of $S$ is the set:


 * $\mathcal P \left({S}\right) = \left\{{\varnothing, \left\{{x}\right\}}\right\}$

That is:


 * $\mathcal P \left({S}\right) = \left\{{\varnothing, S}\right\}$

Since all topologies $\tau$ on $S$ are subsets of $\tau \subseteq \mathcal P \left({S}\right) $, one of the following must hold:


 * $\tau_1 = \varnothing$
 * $\tau_2 = \left\{{\varnothing}\right\}$
 * $\tau_3 = \left\{{S}\right\}$

or
 * $\tau_4 = \left\{{\varnothing, S}\right\}$.

By definition of a topology, $S$ must be an element of the topology.

Thus $\tau_1$ and $\tau_2$ are not topologies on $S$.

By Empty Set is Element of Topology, also $\varnothing \in \tau$, for $\tau$ to be a topology for $S$.

Therefore $\tau_3$ is also not a topology.

Finally, by Indiscrete Topology is Topology, $\tau_4$ is a topology on $S$.

So if $S$ is a set containing exactly one element, that the only possible topology on $S$ is the indiscrete topology.

From Union is Idempotent, the union of any number of indiscrete topologies on $S$ is the indiscrete topology.

Thus the union of any number of topologies on a set with exactly one element is a topology on that set.

This topology is known as the trivial topological space on $x$.

Let $S$ be a set containing exactly two elements.

Suppose $S = \left\{{x, y}\right\}$ for certain objects $x$ and $y$.

Then the power set of $S$ is the set:


 * $\mathcal P \left({S}\right) = \left\{{\varnothing, \left\{{x}\right\}, \left\{{y}\right\}, \left\{{x, y}\right\}}\right\}$

Since all topologies $\tau$ on $S$ are subsets of $\tau \subseteq \mathcal P \left({S}\right)$, one of the following must hold:


 * $\tau_1 = \varnothing$
 * $\tau_2 = \left\{{\varnothing}\right\}$
 * $\tau_3 = \left\{{\left\{{x}\right\}}\right\}$
 * $\tau_4 = \left\{{\left\{{y}\right\}}\right\}$
 * $\tau_5 = \left\{{\varnothing, \left\{{x}\right\}}\right\}$
 * $\tau_6 = \left\{{\varnothing, \left\{{y}\right\}}\right\}$
 * $\tau_7 = \left\{{\left\{{x}\right\}, \left\{{y}\right\}}\right\}$
 * $\tau_8 = \left\{{\varnothing, \left\{{x}\right\}, \left\{{y}\right\}}\right\}$
 * $\tau_9 = \left\{{\left\{{x}\right\}, \left\{{x, y}\right\}}\right\}$
 * $\tau_{10} = \left\{{\left\{{y}\right\}, \left\{{x, y}\right\}}\right\}$
 * $\tau_{11} = \left\{{\left\{{x}\right\}, \left\{{y}\right\}, \left\{{x, y}\right\}}\right\}$
 * $\tau_{12} = \left\{{\left\{{x, y}\right\}}\right\}$
 * $\tau_{13} = \left\{{\varnothing, \left\{{x, y}\right\}}\right\}$
 * $\tau_{14} = \left\{{\varnothing, \left\{{x}\right\}, \left\{{x, y}\right\}}\right\}$
 * $\tau_{15} = \left\{{\varnothing, \left\{{y}\right\}, \left\{{x, y}\right\}}\right\}$

or
 * $\tau_{16} = \left\{{\varnothing, \left\{{x}\right\}, \left\{{y}\right\}, S}\right\}$.

By definition of a topology, $S$ must be an element of the topology.

Thus $\tau_1$ up to $\tau_8$ are not topologies on $S$.

By Empty Set is Element of Topology, for $\tau$ to be a topology for $S$, it is necessary that $\varnothing \in \tau$.

Therefore $\tau_9$ up to $\tau_{12}$ are also not topologies on $S$.

By Indiscrete Topology is Topology, $\tau_{13}$ is a topology on $S$.

By Discrete Topology is Topology, $\tau_{16}$ is a topology on $S$.

It remains to prove that $\tau_{13}$ and $\tau_{14}$ are topologies.

Both proofs are similar, and quite elementary.

Finally, it remains to show that any union of elements in $\{\tau_{13}, \tau_{14}, \tau_{15}, \tau_{16}\}$ gives a topology on $S$.

By inspection, the following statements are seen to hold:
 * $\tau_{13} \cup \tau_{14} = \tau_{14}$
 * $\tau_{13} \cup \tau_{15} = \tau_{15}$
 * $\tau_{13} \cup \tau_{16} = \tau_{16}$
 * $\tau_{14} \cup \tau_{15} = \tau_{16}$
 * $\tau_{14} \cup \tau_{16} = \tau_{16}$
 * $\tau_{15} \cup \tau_{16} = \tau_{16}$

Now let $\left({\tau_i}\right)_{i \mathop \in I}$ be an arbitrary non-empty indexed set of topologies for a set $S$.

By the above, if $\tau_{16}$ is one of the $\tau_i$:


 * $\displaystyle \tau = \bigcup_{i \mathop \in I} \tau_i = \tau_{16}$

So assume that $\tau_{16}$ is not one of the $\tau_i$.

If both $\tau_{14}$ and $\tau_{15}$ are in $\left({\tau_i}\right)_{i \mathop \in I}$, then by the above:


 * $\displaystyle \tau = \bigcup_{i \mathop \in I} \tau_i = \tau_{16}$

Now suppose that $\tau_{15}$ is in $\left({\tau_i}\right)_{i \mathop \in I}$ and $\tau_{14}$ is not.

Then by the above it follows that:
 * $\tau = \tau_{15}$

Now suppose that $\tau_{14}$ is in $\left({\tau_i}\right)_{i \mathop \in I}$ and $\tau_{15}$ is not.

Then by the above it follows that:
 * $\tau = \tau_{14}$

Finally, assume that $\tau_{14}$ and $\tau_{15}$ are not in $\left({\tau_i}\right)_{i \mathop \in I}$.

Then the only topologies in $\left({\tau_i}\right)_{i \mathop \in I}$ are $\tau_{13}$.

In the first case, we find:
 * $\tau = \tau_{13}$

Hence the result.

Also see

 * Union of Topologies is not necessarily Topology, which shows that when $\left|{S}\right| \ge 3$ this result is false.