Can a set be neither open nor closed? An example would do. I cant think of any.
Thanks in advance!
$\begingroup$
$\endgroup$
10
asked Oct 12, 2015 at 19:54
-
10$\begingroup$ $[0,1)$ in the usual topology on $\Bbb R$. $\endgroup$– Brian M. ScottCommented Oct 12, 2015 at 19:55
-
2$\begingroup$ @Brian M. Scott why not make that an answer? $\endgroup$– JasonCommented Oct 12, 2015 at 19:56
-
5$\begingroup$ Now I want to encourage the author to think of sets that are both open and closed at the same time. $\endgroup$– Ivan NeretinCommented Oct 12, 2015 at 20:03
-
1$\begingroup$ @IvanNeretin I know those. $\Bbb R$ for example $\endgroup$– Jennie DurhamCommented Oct 12, 2015 at 20:08
-
5$\begingroup$ Fun fact: a topology in which every set is either open, closed, or both is called a door space. en.wikipedia.org/wiki/Door_space $\endgroup$– WojowuCommented Oct 12, 2015 at 20:21
|
Show 5 more comments
4 Answers
$\begingroup$
$\endgroup$
3
One very familiar example is the set $[0,1)$ in the usual topology of $\Bbb R$: it’s not open, because it does not contain any nbhd of $0$, and it’s not closed, because $1$ is in its closure.
answered Oct 12, 2015 at 19:58
-
$\begingroup$ Does that mean singletons are neither open nor closed, too? I apologize for following up an old question. $\endgroup$ Commented Jun 6, 2020 at 9:25
-
1$\begingroup$ @Invisible I believe (in the usual topology of $\Bbb R$), singleton sets $\{r\}$ for some $r \in \Bbb R$ are equivalent to closed intervals $[r, r]$, which are closed but not open. $\endgroup$ Commented Jul 14, 2020 at 5:06
-
1$\begingroup$ In particular $\{r\}$ is not open because it does not contain any nbhd of $r$, and it is closed because its complement $(-\infty,r) \cup (r,\infty)$ is open because it's a union of open sets. $\endgroup$ Commented Jul 14, 2020 at 5:12
$\begingroup$
$\endgroup$
Another example: the rationals $\mathbb{Q}$ as a subset of $\mathbb{R}$ with the usual topology. It's not open, because every interval contains irrationals. It's not closed, because every irrational is a limit of rationals.
$\begingroup$
$\endgroup$
As the other answers have already pointed out, it is possible and in fact quite common for a topology to have subsets which are neither open nor closed. More interesting is the question of when it is not the case. A door topology is a topology satisfying exactly this condition: every subset is either open or closed (just like a door).
Conversely, we can ask whether subsets can be both open and closed, and this is the more well-known property of connectedness: a connected space is one where the only closed-and-open sets (clopen sets) are $\emptyset$ and $X$, which are always clopen in any topology. Thus in a connected door topology, you have $A$ is open iff $A$ is not closed, except for $A=X$ or $A=\emptyset$, where $A$ is both open and closed.
The most common door topology one comes across is the discrete topology, where every subset is both open and closed. A nontrivial example of a connected door topology is given by the collection of open sets $\scr U\cup\{\emptyset\}$ given any ultrafilter $\scr U$.
answered Oct 13, 2015 at 4:36
$\begingroup$
$\endgroup$
1
Any non-empty, proper subset of a topological space endowed with the indiscrete topology.
-
1$\begingroup$ Clarification: "trivial" here meaning indiscrete, not discrete - arguably both are trivial, although the former is somehow more trivial. $\endgroup$ Commented Oct 12, 2015 at 21:24