La topologie d'ordre sur un ensemble totalement ordonné est la topologie engendrée par des éléments de base qui sont des intervalles ouverts (a,b) et des demi‑droites (−∞,b) et (a,∞) ; elle relie la structure d'ordre aux notions topologiques d'ouverture et de convergence.

Principe

La topologie d'ordre se construit à partir de l'ordre en déclarant comme ouverts de base les intervalles convexes par rapport à l'ordre et les demi‑droites ; la relation d'ordre détermine ainsi les voisinages et la continuité de façon minimale compatible avec l'ordre.

Démonstration

Sur les réels munis de l'ordre usuel, la topologie d'ordre coïncide avec la topologie euclidienne standard ; sur le produit lexicographique de deux copies des réels, la topologie d'ordre résultante présente des propriétés de séparation et de compacité différentes.

Mauvaise application

Appliquer la construction de la topologie d'ordre à un ensemble partiellement ordonné sans ordre total est une mauvaise application ; de même, confondre la topologie d'ordre avec des topologies arbitraires respectant quelques applications monotones ignore la base spécifique d'intervalles et de demi‑droites.

Conséquence

Avec la topologie d'ordre, de nombreuses propriétés d'ordre deviennent topologiques : les intervalles d'ordre sont connexes, les applications monotones sont continues sous des hypothèses adaptées, et des notions comme extrémités et convergence d'ordre acquièrent un sens topologique.

Inversion

Une construction contrastée est la topologie de la demi‑droite inférieure (topologie de Sorgenfrey) sur R, engendrée par des intervalles demi‑ouverts [a,b), qui est strictement plus fine que la topologie d'ordre standard et présente un comportement produit et de séparabilité différent.

Limite

Le concept exige un ordre total ; pour les ordres partiels on peut considérer la topologie des intervalles ou d'autres topologies liées à l'ordre, mais elles ne coïncident pas nécessairement avec la topologie d'ordre ci‑définie.

Tension sémantique

Topologie d'ordre versus topologie des intervalles : dans de nombreux contextes ces termes sont utilisés de manière interchangeable, ce qui crée une tension avec les constructions sur produits ou sur ordres partiels où les bases par intervalles ou d'autres topologies dérivées de l'ordre diffèrent.

Synthèse

La topologie d'ordre est la topologie naturelle induite par un ordre total, engendrée par intervalles ouverts et demi‑droites de sorte que l'ordre détermine les voisinages, la continuité et la convergence dans la topologie la plus faible compatible avec l'ordre.