order topology

The Order Basis

Let

(X, \leq)

be a total order and assume that

| X | \geq 2

then let

B

be defined as follows:

All open intervals $(a, b) \in X$
All intervals of the form $[a_{0}, b)$ where $a_{0}$ is the smallest element of $X$ , if there are no smallest element then these sets are not included (as they don't exist)
All intervals of the form $(a, b_{0})$ where $b_{0}$ is the largest element of $X$ , if there are no largest element then these sets are not included (as they don't exist)

then we call

B_{\leq}

the order basis for

X

The Order Basis Is a Basis

As per title.

The Order Topology

Suppose that

B_{\leq}

is the order basis for

X

, then we call the topology generated by

B_{\leq}

the order topology on

(X, \leq)

The Dictionary Order

Let

X_{1}, X_{2}, \dots, X_{n}

be sets with orders

\leq_{1}, \leq_{2}, \dots, \leq_{n}

, respectively. The dictionary order on the Cartesian product

X_{1} \times X_{2} \times \dots \times X_{n}

is defined as follows: For

𝐚 = (a_{1}, a_{2}, \dots, a_{n}) and 𝐛 = (b_{1}, b_{2}, \dots, b_{n})

X_{1} \times X_{2} \times \dots \times X_{n}

, we say that

𝐚 \leq 𝐛

if, for some

i \in {1, 2, \dots, n}

, we have

a_{j} = b_{j} for all j & l t; i and a_{i} \leq_{i} b_{i} .

Suppose we're working in $R \times R$ with the dictionary order, then if we consider the two points $(a, b), (c, d) \in R \times R$ the notationally the interval between them is $((a, b), (c, d))$ as you can see the outer parenthesis form an interval but the inner ones are simply points, this becomes incredibly confusing so the notation $x \times y$ is sometimes used to refer to points in $R \times R$ .

The Order Basis for the Dictionary Order on RxR

The order basis for the dictionary order on

R \times R

{(a \times b, c \times d) : (a < c) \lor (a = c \land b < d), a, b \in R}

🏗️ ΘρϵηΠατπ🚧 (under construction)

🏗️ $Θ ρ ϵ η Π α τ π$ 🚧 (under construction)