Pré-ordre

Pré-ordre

Un pré-ordre (ou préordre[1]) est une relation binaire réflexive et transitive.

C'est-à-dire, si E est un ensemble, alors {\mathcal R}\subseteq E\times E est un pré-ordre si et seulement si :

  • \forall x \in E, \quad (x,x)\in{\mathcal R} (réflexivité)
  • \forall (x, y, z) \in E^3 \quad \left[(x,y)\in {\mathcal R} \and (y,z)\in {\mathcal R} \implies (x,z)\in{\mathcal R}\right] (transitivité)

Un pré-ordre antisymétrique est un ordre.

Un pré-ordre symétrique est une relation d'équivalence.

Exemples

  • Sur les sommets d'un graphe orienté, la relation « être accessible depuis » est un pré-ordre (c'est en fait la fermeture réflexive et transitive du graphe). Si le graphe est sans cycle, cette relation devient un ordre.
  • Dans un anneau commutatif, la relation « divise » est une relation de préordre.

Compléments

Si E et F sont des ensembles préordonnés par des relations de préordre qu'on notera toutes deux ≤, une application f de E dans F est dite[2] croissante si, pour toute paire d'éléments (x,y) de E tels que x ≤ y, on a aussi f(x) ≤ f(y).

Dans un ensemble E préordonné par une relation de préordre ≤, la relation « x ≤ y et y ≤ x » est une relation d'équivalence. Pour deux éléments X et Y de l'ensemble quotient, les deux conditions suivantes reviennent au même :

  • pour tout élément x de X et tout élément y de Y, x ≤ y ;
  • il existe un élément x de X et un élément y de Y tels que x ≤ y.

Ces conditions équivalentes constituent une relation d'ordre dans l'ensemble quotient de E par la relation d'équivalence « x ≤ y et y ≤ x »[3].

Notes et références

  1. N. Bourbaki, Théorie des ensembles, ch. III, § 1, n° 2, (Paris, Masson, 1998, p. 2 et 5) écrit « préordre » et « préordonné ».
  2. N. Bourbaki, Théorie des ensembles, ch. III, § 1, n° 5, (Paris, Masson, 1998, p. 7).
  3. N. Bourbaki, Théorie des ensembles, ch. III, § 1, n° 2, (Paris, Masson, 1998, p. 3).

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Pre-ordre — Pré ordre Un pré ordre (ou préordre[1]) est une relation binaire réflexive et transitive. C est à dire, si E est un ensemble, alors est un pré ordre si et seulement si : (réflexivité) …   Wikipédia en Français

  • Pré-ordre de simulation — Préordre de simulation En informatique théorique un préordre de simulation est une relation entre systèmes de transition d états associant des systèmes qui se comportent de la même façon au sens qu un système simule l autre. Intuitivement, un… …   Wikipédia en Français

  • Ordre (relation) — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… …   Wikipédia en Français

  • Ordre croissant — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… …   Wikipédia en Français

  • Ordre décroissant — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… …   Wikipédia en Français

  • Ordre partiel — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… …   Wikipédia en Français

  • pré- — ♦ Élément, du lat. prae « devant, en avant », marquant l antériorité dans le temps (préavis, préconçu, préhistoire, préscolaire), ou dans l espace (préoral, Préalpes). ⊗ CONTR. Post . ● pré Préfixe, du latin prae, devant, indiquant l antériorité… …   Encyclopédie Universelle

  • Ordre militaire de Marie-Thérèse — « Militär Maria Theresien Orden » Médaille de l ordre Décerné par …   Wikipédia en Français

  • Ordre équestre du Saint-Sépulcre de Jérusalem — Armes de l ordre Nom Equestris Ordo Sancti Sepulcri Hierosolymitani Devise De …   Wikipédia en Français

  • Ordre royal des Deux-Siciles — « Reale ordine delle Due Sicilie » Croix de l Ordre (modèle 1808) Décerné par& …   Wikipédia en Français

Share the article and excerpts

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