1

I read somewhere that a closed interval is not an open set but I don't see why not?

Some definitions in metric space: $(X,d)$

Open Ball: Let $p \in X$ and $r>0$ then $B(p,r) = \{ x \in X : d(x,p) < r\}$

Open set: A $S \subseteq X$ is open set if $\forall p \in S, \exists r>0$ such that $B(p,r) \subseteq S$

Now let's take $X= [a,b]$ and $d(x,y)= |x-y|$ then clearly an open ball can be made for $a<x<b$, for $x= a$, we see $B(a,r) = [a,r) \subseteq X$ if $0<r<b$ and similarly it works for $x=b$, so the closed interval is open set, yeah?

William
  • 4,893
  • 2
    There is no such thing as an "open set," only an open subset of an ambient space $X$, and the answer depends on which ambient space you pick. – Qiaochu Yuan Oct 25 '20 at 21:04
  • @QiaochuYuan Makes sense. Is the same true for an open ball? Does it make a difference if I don't mention the set while talking of open balls? – William Oct 25 '20 at 21:12
  • Yes, it makes a difference what the ambient metric space is. $[0, 1]$ is an open ball in itself but not in $\mathbb{R}$. – Qiaochu Yuan Oct 25 '20 at 21:13

2 Answers2

2

It depends on what you mean. If $X=[a,b]$ then the open sets (in the subspace topology) are of the form $[a,b] \cap U$ where $U$ is open (in the usual sense) in $\mathbb{R}$. For example, $(a,b]$ is open.

If $X=\mathbb{R}$, then $[a,b]$ is not open because any open set that contains $b$ also contains points in $(b,\epsilon)$ for any $\epsilon>0$.

copper.hat
  • 172,524
0

A closed interval is an open set if you consider the relative topology with the interval as the total (this is true for any set of course), since the open sets of the relative topology are the intersections of the open sets of the previous topology with the new total. Better written: Given a set $X$ and a topology $\tau$ defined on it, we define the relative topology on a subset $Y\subseteq X$ as the collection of open sets $\tau_Y:=\{U\cap Y:U\in\tau\}$. In your case $X=\Bbb R$ and $Y=[a,b]$.

This is different of treating a closed interval as a subset of the topological space defined on $\Bbb R$, where your open ball would be $B(a,r)=(a-r,a+r)$, which is clearly not contained in the interval.

Darsen
  • 3,549