Topology/Order Topology

From Wikibooks, open books for an open world
Jump to navigation Jump to search
 ← Order Order Topology Product Spaces → 

Let X be a totally ordered set with ordering .

Consider all subsets of X of the form


where a is any element of X. We call these the open rays of X. Since the union of all open rays is X, this is a semibase of some topology in this set.

We define the order topology of this ordered set to be the topology that is generated by this semibase.

We define the open intervals in this set to be all sets of the form


A base of this topology is the set of all open rays and open intervals. This is because the set of all open rays and open intervals together is the set of all finite intersections of the semibase of open rays.

 ← Order Order Topology Product Spaces →