It is indeed a very basic question but I am confused:

(1) In an 2013 MSE posting under general topology here, I was told that $\emptyset$ is an open set and therefore I assume $X$ must be open too.

(2) But in Wikipedia page on clopen set here, it says "In any topological space $X$, the $\emptyset$ and the whole space $X$ are both clopen."

(3) And yet in another Wikipedia page on closed set here, "The $\emptyset$ is closed, the whole set is closed."

I must have missed something. Can you help me with a supreme verdict, once and for all, as sure as the sun rises from the east each morning, if $X$ and $\emptyset$ are open, closed or clopen. Of course I am talking about topology, thanks for your time.

  • 3
    $\begingroup$ I don't see any contradiction among the three. $\endgroup$ – Hoot Jan 31 '15 at 23:36
  • 1
    $\begingroup$ @MYANSWERSARECRAP your answers may be, but your comments certainly are not! $\endgroup$ – Neal Jan 31 '15 at 23:50
  • 1
    $\begingroup$ Always funny: youtube.com/watch?v=SyD4p8_y8Kw $\endgroup$ – Jack D'Aurizio Feb 1 '15 at 1:48

They are all both open and closed.

Let me make this a bit more clear. By definition of a topology (from wikipedia):

A topological space is then a set $X$ together with a collection of subsets of $X$, called open sets and satisfying the following axioms:

  • The empty set and $X$ itself are open.
  • Any union of open sets is open.
  • The intersection of any finite number of open sets is open.

So just from the definition itself it follows that $∅$ and $X$ are open.

Furthermore a set is closed (by definition) if the complement is open. Therefore $∅$ and $X$ are closed (they are each others complement).

The term clopen means that a set is both open and closed, so they are both also clopen.

  • $\begingroup$ Thanks, have up-voted yours. Can I take it daily for granted that both $X, \emptyset$ are clopen? $\endgroup$ – A.Magnus Jan 31 '15 at 23:42
  • 1
    $\begingroup$ @A.Magnus yes that is true in any topology $\endgroup$ – Loreno Heer Jan 31 '15 at 23:50

By the first axiom in the definition of a topology, $X$ and $\emptyset$ are open. However, closed sets are precisely those whose complements are open, by definition. Hence the empty set and $X$, being each others complements, are also closed. So, they are clopen.

  • $\begingroup$ Have up-voted yours. Thanks. $\endgroup$ – A.Magnus Jan 31 '15 at 23:43

To put it simply: sets are not doors! Being open does not mean that the set is not closed, and being closed do not implies that the set is not open. Yes, the empty set and the whole space are both open and closed. Another more dramatic example is: take a metric space $X$, with the discrete metric. Then every singleton $\{a\}$ (in fact, every subset of $X$) is clopen. Balls $B(a,r)$ with radius $r < 1$ are contained in $\{a\}$, hence $\{a\}$ is open. And $\{a\}$ is also closed, because it's complement is $X \setminus\{a\} = \bigcup_{b \in X, b \neq a}\{b\}$, a union of open sets, hence open.

  • $\begingroup$ Ask you a question, I hope I can say it clear: Let $B \subset A$ and $B$ is open. Absence of any other instructions, $A$ has to be closed since it is $B$'s complement. Now if $A$ is clopen, then its neutrality does not have any bearing on open-ness or the closed-ness of $B$. Am I correct? $\endgroup$ – A.Magnus Feb 1 '15 at 1:54
  • $\begingroup$ But it is not true that $A$ is the complement of $B$.. $\endgroup$ – Ivo Terek Feb 1 '15 at 1:55
  • $\begingroup$ I made typo and just corrected it. Sorry for confusion. $\endgroup$ – A.Magnus Feb 1 '15 at 1:56

A minimal requirement on any topological space $(X,\tau)$ is that both $\varnothing$ and $X$ be open sets. By the definition of closed sets, these requirements imply that $\varnothing^c=X$ and $X^c=\varnothing$ are always closed.

To sum up, in any topological space, the empty set and the whole set are always both open and closed, hence clopen.

Your question “are $\varnothing$ and $X$ closed, open or clopen” is basically six questions in one:

(1) Is $\varnothing$ closed? Answer: yes.

(2) Is $\varnothing$ open? Answer: yes.

(3) Is $\varnothing$ clopen? Answer: yes.

(4) Is $X$ closed? Answer: yes.

(5) Is $X$ open? Answer: yes.

(6) Is $X$ clopen? Answer: yes.

  • $\begingroup$ Good answer, thank you! $\endgroup$ – A.Magnus Feb 1 '15 at 3:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.