Topologie de l'ordre

Topologie de l'ordre

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 \R, deux approches équivalentes sont possibles. On peut se baser sur la relation d'ordre dans \R, ou sur la valeur absolue de la distance entre deux nombres. L'égalité ci-dessous permet de passer de l'une à l'autre :

[x-r,x+r] = \{t\in\mathbb R\mid x-r\leq t\leq x+r\}=\{t\in\mathbb R\mid |x-t|\leq r\}

La valeur absolue se généralise à la notion de distance et induit le concept de topologie d'un espace métrique. Cette approche est très vulgarisée et nous nous intéressons ici à l'autre approche.

Sommaire

Topologie de l'ordre

Soit (E,≤) un ensemble ordonné.

Appelons intervalle ouvert de E un intervalle de la forme ]x, y[ pour deux éléments quelconques x et y de E, de la forme ]x,+\infty[ pour un élément x de E, ou de la forme ]-\infty,x[ pour un élément quelconque x de E.

On appelle alors topologie de l'ordre, la topologie admettant les intervalles ouverts comme prébase, c'est-à-dire la topologie la moins fine pour laquelle les intervalles ouverts sont ouverts.

Du fait que ]x,y[ =]x,+\infty[\cap]-\infty,y[, les intervalles ouverts admettant une borne infinie forment une prébase de la topologie de l'ordre.

Si l'ordre sur E est partiel, cette topologie est assez amusante et peut servir à fabriquer des contre-exemples.

Lorsque (E,≤) est totalement ordonné, l'intersection de deux intervalles ouverts est toujours un intervalle ouvert. La topologie de l'ordre est alors engendrée par les intervalles ouverts, autrement dit, les intervalles ouverts forment une base de la topologie ; en clair : une partie de E est ouverte si et seulement si elle est une réunion d'intervalles ouverts. Cette topologie est alors séparée.

Topologie droite

Soit (E,≤) un ensemble ordonné.

Commençons par remarquer que [x,+\infty[\cap[y,+\infty[ = \cup_{x\leq t\ et\ y\leq t} [t,+\infty[

Les intervalles de la forme [x,\infty[ forment donc une base pour une topologie sur E, appelée parfois topologie de l'ordre à droite ou topologie droite.

Cette topologie n'est en général pas séparée. Par exemple, si E admet un plus grand élément ω, tout élément de E est adhérent à {ω}. Elle vérifie cependant l'axiome de séparation T0 (le plus faible de tous). En d'autres termes : E muni de cette topologie est un espace de Kolmogorov.

La topologie droite est caractérisée par cette propriété de séparation et par le fait que toute intersection d'ouverts est un ouvert. En effet, un espace de Kolmogorov dans lequel toute intersection d'ouverts est un ouvert possède la topologie droite déterminée par l'ordre x\leq x' \Leftrightarrow x\in\overline{\{x'\}}.

Une autre propriété remarquable de la topologie droite, c'est qu'elle permet de caractériser les fonctions croissantes. En effet, soit E et F deux ensembles ordonnés ainsi qu'une application f de E dans F. Alors f est croissante si et seulement si elle est continue pour les topologies droites de E et de F.

Topologie stricte à droite

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 ]x,\infty[ forment une base pour une topologie, variante de la topologie ci-dessus et avec des propriétés voisines.

Exemples

  • La topologie de l'ordre sur (\R,\le) est la topologie usuelle.
  • La topologie de l'ordre sur (\N,\le) est la topologie discrète (c'est aussi la topologie usuelle).
  • Si X est une partie d'un ensemble ordonné E, la topologie induite sur X par la topologie de l'ordre sur E n'est autre que la topologie de l'ordre induit sur X par l'ordre de E.
  • La topologie de l'ordre associé à la relation de divisibilité sur \N^* est la topologie discrète.
  • Par contre, du fait que pour la relation de divisibilité, 0 est le plus grand élément de \mathbb N, la topologie de l'ordre associé à la relation de divisibilté sur \N n'est autre que le compactifié d'Alexandrov de \N^* muni de la topologie discrète.

Propriétés

Note et références

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Topologie de l'ordre de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Ordre dense — Sommaire 1 Ensemble ordonné dense en lui même 2 Sous ensemble dense d un ensemble ordonné 2.1 Définition 2.2 Lien avec la topologie …   Wikipédia en Français

  • Topologie de la droite réelle — Richard Dedekind (1831 1916) a défini rigoureusement les nombres réels et posé les bases de leur étude topologique. La topologie de la droite réelle (ou topologie usuelle de R) est une structure mathématique qui donne, pour l ensemble des nombres …   Wikipédia en Français

  • TOPOLOGIE - Topologie différentielle — La topologie différentielle, que l’on devrait plutôt appeler «topologie des variétés », est une discipline mathématique assez ancienne par les problèmes qu’elle cherche à résoudre: ils étaient presque tous posés au début du siècle; mais ses… …   Encyclopédie Universelle

  • Topologie grossiere — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… …   Wikipédia en Français

  • Topologie triviale — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… …   Wikipédia en Français

  • TOPOLOGIE - Topologie algébrique — Inventée au début du XXe siècle pour résoudre des problèmes géométriques, la topologie algébrique connut un grand développement grâce à l’introduction de constructions algébriques de plus en plus abstraites. Pour clarifier l’exposé, on a… …   Encyclopédie Universelle

  • ordre — [ ɔrdr ] n. m. • 1080 sens II; lat. ordo, ordinis I ♦ (1155) Relation intelligible entre une pluralité de termes. ⇒ organisation, structure; économie. « L idée de la forme se confond avec l idée de l ordre » (A. Cournot). 1 ♦ Didact. Disposition …   Encyclopédie Universelle

  • Topologie grossière — En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les topologies qu il est… …   Wikipédia en Français

  • Topologie symplectique — Géométrie symplectique La géométrie symplectique est un domaine actif de la recherche mathématique, né de la volonté d une formulation mathématique naturelle à la mécanique classique. Elle est à la rencontre de la géométrie différentielle et des… …   Wikipédia en Français

  • Topologie symplétique — Géométrie symplectique La géométrie symplectique est un domaine actif de la recherche mathématique, né de la volonté d une formulation mathématique naturelle à la mécanique classique. Elle est à la rencontre de la géométrie différentielle et des… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”