Facebook Page
Twitter
RSS
Thanks Thanks:  0
+ Reply to Thread
Results 1 to 1 of 1
  1. MHB Master
    MHB Site Helper
    Peter's Avatar
    Status
    Offline
    Join Date
    Jun 2012
    Location
    Hobart, Tasmania
    Posts
    2,864
    Thanks
    2,626 times
    Thanked
    895 times
    Awards
    MHB Model User Award (2018)  

MHB Model User Award (2015)  

MHB Model User Award (Jul-Dec 2013)
    #1
    I am reading Tej Bahadur Singh: Elements of Topology, CRC Press, 2013 ... ... and am currently focused on Chapter 1, Section 1.4: Basis ... ...

    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

  2. # ADS
    Circuit advertisement
    Join Date
    Always
    Location
    Advertising world
    Posts
    Many
     

Similar Threads

  1. Subbasis for a Topology ... Singh, Section 1.4 ... Another Question ... ...
    By Peter in forum Topology and Advanced Geometry
    Replies: 0
    Last Post: March 24th, 2020, 21:54
  2. Subbasis for a Topology ... Singh, Section 1.4 ...
    By Peter in forum Topology and Advanced Geometry
    Replies: 2
    Last Post: March 24th, 2020, 21:36
  3. [SOLVED] The Order Topology on a Well Ordered Set is Normal
    By joypav in forum Topology and Advanced Geometry
    Replies: 1
    Last Post: September 14th, 2018, 08:28
  4. Replies: 2
    Last Post: March 23rd, 2014, 19:59
  5. Order Topology
    By ZaidAlyafey in forum Topology and Advanced Geometry
    Replies: 1
    Last Post: June 12th, 2013, 22:06

Tags for this Thread

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  
Math Help Boards