0
$\begingroup$

How to attempt the following question?

Question: Let $Y=[0,1]$, considered as a subspace of $\mathbb{R}$ with the topology $\tau=\{ I \subseteq \mathbb{R} \mid I\text{ an open interval}\}.$ Find the subspace topology.

Here are my steps:

  1. Let $I = (a,b)$. Let $\underline{T}={Y\cap U\mid U\tau T}$.
    • $(a ,b) \cap Y= (a, b)$ if $a, b \in Y$.
    • $(a, b)\cap Y=(0, b]$ if only $b \in Y$.
    • $(a ,b)\cap Y= (a,1]$ if only $a \in Y$.
    • $(a, b)\cap Y= Y$ or $\emptyset$ if neither $a$ nor $b$ are in $Y$. Then, $\underline{T}= \{ \emptyset, [0,b), (a,1], Y\}$.

I am not sure whether I can include $(a, b)$ in $\underline{T}$!

$\underline{T}=\{ \emptyset, [0,b), (a,1], Y\}$

  • 2
    @leopard: First, state the problem **correctly.** Then, do some thinking.2011-04-08

1 Answers 1

4

$\tau$ is not a topology on $\mathbb{R}$: it is not closed under arbitrary unions (the union of two disjoint open intervals is not an open interval). So the entire problem starts on the wrong foot.

Added. It's possible that $\tau$ is meant to be the topology generated by the open intervals.

Your description of $(a,b)\cap Y$ when $a\notin Y$ and $b\in Y$ is incorrect. Presumably, you meant $(a,b)\cap Y = [0,b)$, not $(0,b]$.

Your description of $\underline{T}$ is incorrect; first, you shouldn't just be considering a single interval $(a,b)$; you should be considering all intervals. Certainly $\underline{T}$ contains more than just four things in it.

What makes you doubt whether you have subsets of the form $(a,b)$ in $\tau\cap Y$? If $0\leq a\lt b\leq 1$, then $(a,b)\cap Y = (a,b)$, so $(a,b)\in\tau\cap Y$.

Added. So if you want to consider the topology generated by the open intervals, first you should give an appropriate/correct description of the intersection with $Y$, and then check to see that if you let $\tau$ be the topology generated by the open intervals on $\mathbb{R}$, then the induced topology on $Y$ is equal to the topology generated by the intersections of open intervals with $Y$.

  • 1
    @leopard: You also need to find where the shift key in your keyboard is hiding...2011-04-08