- Thread starter
- #1

I need help in order to fully understand the order topology ... and specifically Example 1.4.4 ... ...

Example 1.4.4 reads as follows:

In order to fully understand Example 1.4.4 I decided to take \(\displaystyle X = \{ a, b, c \}\) where \(\displaystyle a \leq b, a \leq c\) and \(\displaystyle b \leq c\) ... ...

Now in the above text, Singh writes the following:

" ... ... The basis generated by the subbasis of \(\displaystyle X\) consists of all open rays, all open intervals \(\displaystyle (a, b)\), the emptyset \(\displaystyle \emptyset\), and the full space \(\displaystyle X\). ... ... "

Now as I understand it the open rays in \(\displaystyle X\) are as follows:

\(\displaystyle ( - \infty, a) = \emptyset\)

\(\displaystyle ( - \infty, b) = \{ a \}\)

\(\displaystyle ( - \infty, c) = \{ a, b \}\)

\(\displaystyle ( a, \infty) = \{ b, c \}\)

\(\displaystyle ( b, \infty) = \{ c \}\)

\(\displaystyle ( c, \infty) = \emptyset\)

... and (see definition of order topology below) the open rays constitute the subbasis of the order topology ...

To generate the basis, according to the text of Example 1.4.4, we have to add in all open intervals \(\displaystyle (a, b)\), the emptyset \(\displaystyle \emptyset\), and the full space \(\displaystyle X\). ... ...

The open intervals in \(\displaystyle X\) are as follows:

\(\displaystyle (a, b) = \emptyset\)

\(\displaystyle (b, c) = \emptyset\)

\(\displaystyle (a, c) = \{ b \}\)

The above open rays, open intervals together with \(\displaystyle \emptyset\) (already in the basis) and \(\displaystyle X\) constitute a basis for the order topology of the ordered set \(\displaystyle X\) ... ...

Can someone please confirm that the above analysis is correct and/or point out errors or shortcomings ... ..

Help will be much appreciated ... ...

Peter

======================================================================================

It may help MHB readers of the above post to have access to Singh's definitions of the order topology, together with the definitions of subbasis and basis ... so I am providing the same ... as follows:

Hope that helps ... ...

Peter