Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ib/paper-2/13g/b/solution

The lexicographic order is a total order. Each point lies in the order interval between and , so the order intervals cover .
If lies in both and , let and in that total order. Then and
In particular an order interval contains and is contained in the intersection. Both conditions of part (a) hold, proving that these intervals form a basis of a topology. The resulting topology is the lexicographic order topology on the real plane.

New to topics? Read the docs here!