# Both open and closed set proof

• Oct 18th 2010, 11:29 AM
Zalren
Both open and closed set proof
Prove that the only sets that are both open and closed are $\mathbb{R}$ and the empty set $\phi$.

How do you go about proving that every other set is either open, closed, or neither? There are infinitely many other sets.
• Oct 18th 2010, 11:49 AM
Plato
What do you know about connected sets? The space $\mathbb{R}$ is connected.
If $F\subseteq \mathbb{R}$, is non-trivial, and is both open and closed then $F\cup F^c=\mathbb{R}$.
• Oct 18th 2010, 12:10 PM
Zalren
If $F$ is open then $F^c$ is closed. So if a set is both open and closed, what does that make the complement of that set? Neither open nor closed?
• Oct 18th 2010, 12:17 PM
Plato
No. These are known as clopen sets (both open and closed).
So if $F$ is clopen then $F^c$ is clopen.
There is a well known result about connected sets and clopen sets.
Otherwise, I have not seen this topic discussed.
• Oct 18th 2010, 12:29 PM
Zalren
So if I can prove that the empty set, $\phi$, is both open and closed (or clopen) then I can say that the set of all reals, $\mathbb{R}$, is clopen because $\mathbb{R}$ is the complement to $\phi$?
• Oct 18th 2010, 12:57 PM
Plato
It is completely obvious that those two sets are both open and closed.
They are the only two sets in $\mathbb{R}$ that are.