Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

sorry! am not clear with these questions

  1. why an empty set is open as well as closed?

  2. why the set of all real numbers is open as well as closed?

share|cite|improve this question
Why would you put that title?!? – user641 Mar 27 '11 at 8:47

By definition, a set $A$ of real numbers is open when the following condition is met: $$ \hbox{$\forall x\in A, \exists\epsilon>0$ such that $(x-\epsilon,x+\epsilon)\subset A$,} $$ where $(a,b)$ denotes the open interval $\{x\in{\Bbb R}\,|\,a<x<b\}$. It should be not hard to convince yourself that the subsets $A=\emptyset$ and $A={\Bbb R}$ satisfy this condition.

Then, remember that $$ \hbox{$A$ is open $\iff {\Bbb R}\setminus A$ is closed} $$ again by definition. You conclude since $\emptyset={\Bbb R}\setminus{\Bbb R}$ and ${\Bbb R}={\Bbb R}\setminus\emptyset$.

share|cite|improve this answer
I would not say by definition as the definition given above is tied to metric spaces while there already exists a definition for topological spaces. – Wok Mar 31 '11 at 10:47
+1 Since leopard considers the real numbers only. – Wok Mar 31 '11 at 10:52
Well, clearly there are more general definitions of topological and metric spaces (and their opens sets) of which this is but a special case, but my intention was to discuss as much concretely as possible the case put forward by the questioner, assuming implicitly that the topology under consideration is the standard one. – Andrea Mori Mar 31 '11 at 14:03

Well the definition of a topological space $X$ specifies that both $X$ and the empty set must be open sets (if the topology is defined in terms of closed sets rather than open sets, it will stipulate that they are closed). But then it is just by definition that it must be open (or closed).

Then a set $A$ is said to be closed if and only if its complement $X - A$ is open. So if you look at the empty set its complement is $ X - \emptyset = X$ and $X$ is open by definition. Therefore the empty set is closed.

share|cite|improve this answer

$\emptyset$ is open. By definition, $X$ is open if $\forall x\in X$, there is a open set $U\subset X$ such that $x\in U$. So there is not any point in $\emptyset$, the condition of the definition is automatically satisfied (a logical convention).

$\mathbb{R}$ is open (check Andrea's answer), so its complement, $\emptyset$ is closed.

Therefore, $\emptyset$ is both open and closed.

share|cite|improve this answer
This is not really a definitoin of "open". – Hagen von Eitzen Oct 19 '12 at 14:20
OK, in topology, $\emptyset$ and $\mathbb{R}$ are open sets, by the axioms. By definition of closed set, $\emptyset=\mathbb{R}\setminus\mathbb{R}$ is closed. This simply restates Adrian's answer. – sihong xie Oct 19 '12 at 17:15
Yeah, but your answer uses open in the definition of open. It would be okay if you had specified a collection of basis elements from which $U$ is drawn, but to say $X$ is open if it contains an open set $U$ around each point is quite circular. – JHance Oct 11 '14 at 20:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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