[Math] If $X$ is a noetherian topological space, then any union connected components of $X$ is clopen.

algebraic-geometrygeneral-topology

If $X$ is a noetherian topological space, then any union connected components of $X$ is clopen.

This is exercise 3.6P of Vakil. I can see that a union of connected components is closed. This is so because connected components are closed, and, in a Noetherian topological space, an arbitrary union of closed sets is closed.

My guess is that in order to show that a single connected component is open (which is clearly a sufficient and necessary condition) one should use the fact that, in a Noetherian space, a connected component is a finite union of irreducible components. If we could extend this union to a larger union of irreducible components that covers all of $X$, we'd be done, but I'm not sure if we can do this.

Best Answer

HINT: Show that $X$ has only finitely many connected components. Let $\mathscr{C}$ be the family of closed subsets of $X$ that have infinitely many connected components. If $\mathscr{C}\ne\varnothing$, $\mathscr{C}$ must have a minimal element $C$ (minimal with respect to inclusion). Use $C$ to get a contradiction, thereby showing that $\mathscr{C}=\varnothing$.

Related Question