6

Why is $(.5, 1]$ considered an open set in $[0, 1]$? This is from a topology textbook.

Zev Chonoles
  • 129,973
Jeff
  • 228

3 Answers3

10

Suppose $X$ is a topological space, and $S\subseteq X$ is any subset of $X$. Then the subspace topology on $S$ consists of $$\{U\subseteq S\mid\exists\text{ an open }V\subseteq X\text{ such that }U=V\cap S\}$$ So take $X=\mathbb{R}$, and $S=[0,1]$. Can you think of an open subset $V\subseteq\mathbb{R}$ such that $V\cap S=(0.5,1]$?

Zev Chonoles
  • 129,973
4

The open sets on a subspace $ S \subseteq X$ are simply the $ U \cap S,$ where $U$ is any open set of $X.$ In this case, $X$ is the real line, the interval $(1/2,3)$ is an open set in $X,$ and the intersection with $S = [0,1]$ is therefore open in the subspace topology. It is likely to be worth your time to show that this definition does give a topology on a subset.

Will Jagy
  • 139,541
2

If you think of $[0,1]$ as a metric space, with the usual metric restricted to it, then your set is the open ball (in the metric space $[0,1]$) of radius $0.5$ with center $1$. Open balls are open sets.

GEdgar
  • 111,679