# Thread: Subspace Top (understanding a problem in the book)

1. ## Subspace Top (understanding a problem in the book)

I think I understand this example from the book. I just need to verify.

Let $I=[0,1]$. The dictionary order on $I\times I$ is just the restriction to $I\times I$ of the dictionary order on the plance $\mathbb{R}^2$. However, the dictionary order topology is not the same as the subspace topology on $I\times I$ obtained from the dictionary order on $\mathbb{R}^2$. For example, the set $\{1/2\}\times (1/2,1]$ is open in $I\times I$ in the subspace, but not in the order topology.

Ok so the subspace is of the form $\{1/2\}\times (1/2,1]\cap U$ where $U\in\mathbb{R}^2$

Take $U=(1/2,2)\times (1/2,0)$.

Now, the intersection is $\{1/2\}\times\ (1/2,1]$, but why is this set considered open in the subspace topology when it is have closed?

However, the order topology only has half closed or open sets if the member is the least or largest element respectively. The largest element would be $\{1\}\times\{1\}$. Therefore, the set isn't open in the order topology.

2. ## Re: Subspace Top (understanding a problem in the book)

Originally Posted by dwsmith
I think I understand this example from the book. I just need to verify.

Let $I=[0,1]$. The dictionary order on $I\times I$ is just the restriction to $I\times I$ of the dictionary order on the plance $\mathbb{R}^2$. However, the dictionary order topology is not the same as the subspace topology on $I\times I$ obtained from the dictionary order on $\mathbb{R}^2$. For example, the set $\{1/2\}\times (1/2,1]$ is open in $I\times I$ in the subspace, but not in the order topology.

Ok so the subspace is of the form $\{1/2\}\times (1/2,1]\cap U$ where $U\in\mathbb{R}^2$

Take $U=(1/2,2)\times (1/2,0)$.

Now, the intersection is $\{1/2\}\times\ (1/2,1]$, but why is this set considered open in the subspace topology when it is have closed?

However, the order topology only has half closed or open sets if the member is the least or largest element respectively. The largest element would be $\{1\}\times\{1\}$. Therefore, the set isn't open in the order topology.
So, I don't quite know what $U$ as you wrote it is, but if you let $\dispaystyle U=\left(\left(\frac{1}{2},\frac{1}{2}\right),\left (\frac{1}{2},2\right)\right)$ then by definition (being just an interval) one has that $U$ is open in $\mathbb{R}^2$ with the dictionary ordering, and since $\displaystyle \left\{\frac{1}{2}\right\}\times\left(\frac{1}{2}, 1\right]=I\times I\cap U$ we have that our set in question is the intersection of an open set in $\mathbb{R}^2$ with $I^2$ and so, by definition, open in the subspace topology. I also am not quite sure what your last paragraph means, please try to reexplain it--I believe it's what I'm about to say though. To me what makes the most obvious sense is that if we suppose that $A$ to be our set in question, then if $A$ were open in $I^2$ with the dictionary ordering we can find some basic open set $O\subseteq A$ with $\displaystyle \left(\frac{1}{2},1\right)\in O$. But, since $\displaystyle \left(\frac{1}{2},1\right)$ is not a maximal member of $I^2$ we know that we can take $O$ to be an open interval, and so in particular there exists $x\in O$ with $\displaystyle x>\left(\frac{1}{2},1\right)$ which contradicts $O\subseteq A$. More visually appealing, any open set containing $\displaystyle \left(\frac{1}{2},1\right)$ spills onto the next vertical line in $I^2$.

3. ## Re: Subspace Top (understanding a problem in the book)

Originally Posted by Drexel28
So, I don't quite know what $U$ as you wrote it is, but if you let $\dispaystyle U=\left(\left(\frac{1}{2},\frac{1}{2}\right),\left (\frac{1}{2},2\right)\right)$ then by definition (being just an interval) one has that $U$ is open in $\mathbb{R}^2$ with the dictionary ordering, and since $\displaystyle \left\{\frac{1}{2}\right\}\times\left(\frac{1}{2}, 1\right]=I\times I\cap U$ we have that our set in question is the intersection of an open set in $\mathbb{R}^2$ with $I^2$ and so, by definition, open in the subspace topology. I also am not quite sure what your last paragraph means, please try to reexplain it--I believe it's what I'm about to say though. To me what makes the most obvious sense is that if we suppose that $A$ to be our set in question, then if $A$ were open in $I^2$ with the dictionary ordering we can find some basic open set $O\subseteq A$ with $\displaystyle \left(\frac{1}{2},1\right)\in O$. But, since $\displaystyle \left(\frac{1}{2},1\right)$ is not a maximal member of $I^2$ we know that we can take $O$ to be an open interval, and so in particular there exists $x\in O$ with $\displaystyle x>\left(\frac{1}{2},1\right)$ which contradicts $O\subseteq A$. More visually appealing, any open set containing $\displaystyle \left(\frac{1}{2},1\right)$ spills onto the next vertical line in $I^2$.
Is x an interval?

4. ## Re: Subspace Top (understanding a problem in the book)

Originally Posted by dwsmith
Is x an interval?
No, just an element of $I^2$.

5. ## Re: Subspace Top (understanding a problem in the book)

Originally Posted by dwsmith
I think I understand this example from the book. I just need to verify.

Let $I=[0,1]$. The dictionary order on $I\times I$ is just the restriction to $I\times I$ of the dictionary order on the plance $\mathbb{R}^2$. However, the dictionary order topology is not the same as the subspace topology on $I\times I$ obtained from the dictionary order on $\mathbb{R}^2$. For example, the set $\{1/2\}\times (1/2,1]$ is open in $I\times I$ in the subspace, but not in the order topology.

Ok so the subspace is of the form $\{1/2\}\times (1/2,1]\cap U$ where $U\in\mathbb{R}^2$

Take $U=(1/2,2)\times (1/2,0)$.

Now, the intersection is $\{1/2\}\times\ (1/2,1]$, but why is this set considered open in the subspace topology when it is have closed?

However, the order topology only has half closed or open sets if the member is the least or largest element respectively. The largest element would be $\{1\}\times\{1\}$. Therefore, the set isn't open in the order topology.
Consider the point $\{\frac{1}{2}\}\times\{1\}$. What would an open ball look like in $I\times I$ and what would it look like in $\mathbb{R}^2$ around that point? In the former, there are no points greater than 1, so even though it looks like you are in a half-closed interval, there are no points greater than it to include in your open ball. Therefore, any epsilon you choose small enough gives you only points in your set. On the other hand, in $\mathbb{R}^2$, any open ball at that same point has an infinite number of points that are not in your set, so it is not open there.