The Order Topology

Topology · Axiom Academy

Building topologies from ordered sets Step 1: From Order to Topology We've seen various ways to construct topologies, but one of the most natural arises from order. When we have a set with an ordering relation, we can use that order structure to define open sets in a very intuitive way. Think about the real number line . We naturally think of intervals like as "open" regions. This intuition comes directly from the ordering of real numbers. Today, we'll see how to formalize this idea for any ordered set. Step 2: Defining the Order Topology Let be a set with a linear order relation . The order topology on is the topology generated by the basis consisting of: All rays of the form if has a smallest element All rays of the form if has a largest element Let's unpack this definition. The open intervals form the "interior" basis elements, capturing all points strictly between . The rays handle the boundary cases when the set has endpoints. Step 3: The Standard Topology on ℝ The most important example of an order topology is the standard topology on the real numbers . Example: ℝ with the usual order The order topology on with the usual ordering is precisely the standard topology we know and love. Rays (since ℝ has no smallest element) Rays (since ℝ has no largest element) This confirms what we intuitively knew: the "open sets" on the real line are exactly those generated by open intervals and infinite rays! Step 4: The Discrete Topology on ℤ

This is the written version of the interactive lesson above. See the full Topology course.