La topología de orden en un conjunto totalmente ordenado es la topología generada por bases formadas por intervalos abiertos (a,b) y rayos (−∞,b) y (a,∞); vincula la estructura de orden con nociones topológicas de apertura y convergencia.

Principio

La topología de orden se construye a partir del orden declarando como abiertos básicos los intervalos convexo‑ordenados y los rayos; la relación de orden determina así vecindades y continuidad de la manera más débil compatible con el orden.

Demostración

En los números reales con el orden usual, la topología de orden coincide con la topología euclídea estándar; en el producto lexicográfico de dos copias de los reales, la topología de orden inducida presenta propiedades diferentes de separación y compacidad.

Aplicación incorrecta

Aplicar la construcción de la topología de orden a un conjunto parcialmente ordenado sin orden total es un error; igualmente, confundir la topología de orden con topologías arbitrarias que respeten algunas aplicaciones monotónicas obvia la base concreta de intervalos y rayos.

Consecuencia

Bajo la topología de orden, muchas propiedades ordenadas adquieren significado topológico: los intervalos de orden son conexos, las aplicaciones monotónicas suelen ser continuas bajo hipótesis adecuadas, y conceptos como extremos y convergencia por orden tienen interpretación topológica.

Inversión

Una construcción contrastante es la topología de la cota inferior (Sorgenfrey) en R, generada por intervalos semiabiertos [a,b), que es estrictamente más fina que la topología de orden estándar y muestra distinto comportamiento en productos y separabilidad.

Límite

El concepto exige un orden total; para órdenes parciales puede considerarse la topología de intervalos u otras topologías relacionadas con el orden, pero no coinciden necesariamente con la topología de orden aquí definida.

Tensión semántica

Topología de orden versus topología de intervalos: en muchos contextos los términos se usan de forma intercambiable, lo que genera tensión con construcciones en productos o en órdenes parciales donde las bases por intervalos u otras topologías derivadas del orden difieren.

Síntesis

La topología de orden es la topología natural inducida por un orden total, generada por intervalos abiertos y rayos de modo que el orden determina vecindades, continuidad y convergencia en la topología más débil compatible con ese orden.