We have a Noetherian topological space $X$. Show that the following are equivalent:
- $X$ is a Hausdorff space
- $X$ is finite and has discrete topology
So far I've only got this:
If $X$ has discrete topology, then any two points $x_1$ and $x_2$ are elements of the disjoint open sets $\{x_1\}$ and $\{x_2\}$ respectively. This implies $X$ is Hausdorff. (So 2$\implies1$)
I don't know how to prove ($1\implies 2$).
$X$ is a Noetherian topological space, so there exist a nonnegative integer $n$ and closed, irreducible subsets $Z_1,\ldots, Z_n$ such that $X=Z_1\cup\ldots\cup Z_n$, with $Z_i\not\subseteq Z_j$ for $i\neq j$.
Now suppose we have two distinct points $x,y\in Z_i$. The Hausdorff property of $X$ implies that we must now also be able to find disjoint open sets $U_1\ni x$ and $U_2\ni y$. In the subspace topology of $Z_i$ we now see that the two open sets $U_1\cap Z_i$ and $U_2\cap Z_i$ are disjoint. This contradicts the fact that $Z_i$ is irreducible. Hence we cannot find two distinct points in any $Z_i$, which in turn implies that $X$ is a finite union of singletons. Hence $X$ is a finite Hausdorff space which necessarily means it also has the discrete topology.