Topologie de l'ordre

Topologie engendrée par les intervalles ouverts d'un ensemble ordonné

En mathématiques, la topologie de l'ordre est une topologie naturelle définie sur tout ensemble ordonné (E, ≤), et qui dépend de la relation d'ordre ≤.

Lorsque l'on définit la topologie usuelle de la droite numérique ℝ, deux approches équivalentes sont possibles. On peut se fonder sur la relation d'ordre dans ℝ, ou sur la valeur absolue de la distance entre deux nombres. Les égalités ci-dessous permettent de passer de l'une à l'autre :

La valeur absolue se généralise en la notion de distance, qui induit le concept de topologie d'un espace métrique. Nous nous intéressons ici à l'autre approche.

Définition

modifier

Soit (E,≤) un ensemble ordonné (partiellement ou totalement). Considérons deux symboles de flèche   et   et supposons, pour éviter toute ambiguïté, que ces symboles ne désignent aucun élément de E.

La topologie de l'ordre sur (E,≤) est la topologie engendrée par les ensembles qui prennent l'une des 3 formes suivante[1] :

  1.  
  2.  
  3.  

 .

Un espace topologique ordonné est alors un ensemble ordonné (E,≤) muni de la topologie de l'ordre.

De manière équivalente, la topologie de l'ordre est la topologie engendrée par les ensembles de la forme 2 ou 3, les ensembles de la forme 1 sont donc redondants. En effet cela découle du fait que  .

Lorsque (E, ≤) est totalement ordonné, l'ensemble des parties de la forme 1, 2 ou 3 est stable par intersection finie. De plus, si E contient au moins deux éléments, alors E peut s'écrire comme l'union de tous les ensembles de la forme 2 ou 3. Par conséquent, si E est totalement ordonné et contient au moins deux éléments, alors l'ensemble des parties de la forme 1, 2 ou 3 est une base de la topologie de l'ordre[1].

Exemples

modifier
  • La topologie de l'ordre usuel sur ℝ est la topologie usuelle.
  • La topologie de l'ordre sur = {–∞}∪ℝ∪{+∞}[2] (isomorphe à [–1, 1] muni de l'ordre usuel) est la topologie de la droite réelle achevée (homéomorphe à [–1, 1] muni de la topologie usuelle).
  • La topologie de l'ordre usuel sur ℕ est la topologie discrète (c'est aussi la topologie usuelle).
  • La topologie de l'ordre sur ℕ∪{+∞} est le compactifié d'Alexandrov [0, ω] de [0, ω[ = ℕ muni de la topologie discrète.
  • Pour l'ordre partiel de divisibilité sur ℕ*, la topologie de l'ordre est la topologie discrète.

Intervalles ouverts

modifier

Dans un espace topologique ordonné (E, ≤), les ensembles   de la forme 1, 2 ou 3 sont des intervalles ouverts dans le sens où ils vérifient les deux propriétés suivantes :

  • (intervalle)  ,
  • (ouvert)   appartient à la topologie de l'ordre.

Cependant, il peut exister des intervalles ouverts, c'est-à-dire des parties vérifiant les deux propriétés précédentes, qui ne sont pas de la forme 1, 2 ou 3 et qui ne sont pas l'ensemble E tout entier.

Par exemple, si l'on considère l'ensemble des rationnels muni de l'ordre usuel, alors l'ensemble des rationnels dont le carré est inférieur ou égal à 2 est un intervalle ouvert qui ne prend pas l'une des formes précédentes.

Topologie à droite

modifier

Soit (E, ≤) un ensemble ordonné.

Commençons par remarquer que  

Les intervalles de la forme   ou égaux à E forment donc une base pour une topologie sur E, appelée parfois topologie de l'ordre à droite ou topologie droite[3]. Ses ouverts sont les sections finissantes de l'ordre.

C'est le cas particulier de la topologie d'Alexandroff associée à un préordre, lorsque ce préordre est un ordre, autrement dit lorsque la topologie associée vérifie la propriété T0 (la plus faible des propriétés de séparation).

Topologie stricte à droite

modifier

Lorsque (E, ≤) un ensemble totalement ordonné, on peut définir une variante de la topologie ci-dessus.

L'ordre étant total, les intervalles de la forme 2 ou égaux à E forment une base pour une topologie.

Une fonction f à valeurs dans est semi-continue inférieurement si et seulement si, lorsque est muni de cette topologie, f est continue[4].

Propriétés

modifier

Soit (E, ≤) un ensemble ordonné muni de la topologie de l'ordre.

  • Si F est un sous-ensemble de l'ensemble ordonné E, l'ordre induit sur F le munit d'une topologie. Cette topologie de l'ordre induit est moins fine que la topologie induite (par la topologie de l'ordre sur E), parfois strictement : dans le sous-ensemble des réels Y = {–1} ∪ {1/n | n∈ℕ*}, le singleton {–1} est ouvert pour la topologie induite, mais pas pour la topologie de l'ordre induit puisque pour cette dernière, la suite des 1/n converge vers –1.

Lorsque l'ordre sur E est total :

En particulier :

Notes et références

modifier
  1. a et b Laurent Schwartz, Analyse I : Théorie des ensembles et topologie, 1991, Hermann, p. 140-141.
  2. Dans cet exemple, les symboles –∞ et +∞ étant traditionnellement réservés pour désigner le plus petit et le plus grand élément de , il ne faut plus noter ]x, +∞[ et ]–∞, x[ les intervalles ouverts qui constituent la prébase, mais ]x, +∞] et [–∞, x[.
  3. N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], chap. I, p. 89, ex. 2.
  4. Claude Berge, Espaces topologiques : Fonctions multivoques, vol. 3, Dunod, , 2e éd., p. 80.
  5. (en) Niel Shell, Topological Fields and Near Valuations, CRC Press, , 248 p. (ISBN 978-0-8247-8412-6, lire en ligne), p. 179-180.
  6. Voir l'article Espace monotonement normal.
  7. (en) Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, Dover, , 244 p. (ISBN 978-0-486-68735-3, lire en ligne), p. 67
  8. Voir l'article Linear continuum (en)
  9. Tout corps totalement ordonné est de caractéristique nulle (car 0<1<1+1<1+1+1<...) donc dense (car x<(x+y)/2<y si x<y).

Articles connexes

modifier