If $X$ is a topological space, $\emptyset$ and $X$ are closed.

by Qwertford   Last Updated June 13, 2019 12:20 PM

enter image description here

But doesn't the topology on X, which must contain $\emptyset$ and $X$, define the open sets? So why is this now saying that $\emptyset$ and $X$ are closed?

Answers 2

A set is not a door. It can be both closed and open at the same time. These two properties are not contradictory in any way. In fact, for any topology, by definition, the entire space and the empty set must be both open and closed simultaneously.

June 13, 2019 11:44 AM

I think you've skipped over the definition of closed set: a subset $V \subseteq X$ being closed doesn't mean it's not open, it means that its complement $X \setminus V$ is open.

It's possible for a set to be both open and closed; such sets are called colloquially called clopen sets. For example:

  • In the subspace $X = (0,1) \cup [2,3]$ of $\mathbb{R}$ (with the Euclidean topology), the sets $(0,1)$ and $[2,3]$ are clopen in $X$ (despite not being clopen in $\mathbb{R}$); more generally, in any space that is a union of (disjoint) connected components, each connected component is clopen.
  • $\varnothing$ and $X$ are always clopen in $X$ (as your theorem claims).
  • Every subset of a discrete space is clopen.
Clive Newstead
Clive Newstead
June 13, 2019 12:02 PM

Related Questions

Updated July 23, 2015 14:08 PM

Updated February 15, 2019 20:20 PM

Updated November 22, 2017 14:20 PM

Updated June 16, 2018 16:20 PM

Updated March 12, 2019 15:20 PM