Ensemble totalement ordonné

Ensemble totalement ordonné
Cet article court présente un sujet plus développé dans : Ordre total.

Un ensemble totalement ordonné est un ensemble ordonné dans lequel deux éléments quelconques sont toujours comparables.

Définition

Soit E un ensemble muni d'une relation d'ordre \preceq. Rappelons que toute relation d'ordre \preceq\, vérifie les propriétés suivantes :

  • (réflexivité) \forall x,\ x \preceq x.
  • (transitivité) \forall x,y,z,\ \bigl( x\preceq y \mathrm{\ et\ } y \preceq z\bigr) \Rightarrow x\preceq z.
  • (antisymétrie) \forall x,y,\ \bigl(x\preceq y \mathrm{\ et\ } y \preceq x\bigr) \Rightarrow x = y.

(E,\preceq) est un ensemble totalement ordonné si, en outre, tous les éléments de (E,\preceq) sont comparables pour \preceq :

  • \forall x,y,\ \bigl(x\preceq y \mathrm{\ ou\ } y \preceq x\bigr).

Exemples

  1. L'ensemble E=\bigl\{\ \emptyset,\ \{1\},\ \{2\},\ \{1,2\} \bigr\} des parties de {1,2} est ordonné par la relation d'inclusion. Cependant, E n'est pas totalement ordonné : {1} et {2} ne sont pas comparables au sens de l'inclusion.
  2. L'ensemble \mathbb{R}\, des nombres réels muni de la relation d'ordre usuelle {}\leq{} est totalement ordonné.

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Ensemble Totalement Ordonné — Définition Soit E un ensemble muni d une relation d ordre . Rappelons que toute relation d ordre vérifie les propriétés suivantes : (réflexivité) (transitivité) …   Wikipédia en Français

  • Ensemble totalement ordonne — Ensemble totalement ordonné Définition Soit E un ensemble muni d une relation d ordre . Rappelons que toute relation d ordre vérifie les propriétés suivantes : (réflexivité) (transitivité) …   Wikipédia en Français

  • Prédécesseur d'un élément x d'un ensemble totalement ordonné — ● Prédécesseur d un élément x d un ensemble totalement ordonné plus grand élément, s il existe, de l ensemble des éléments de E inférieurs à x …   Encyclopédie Universelle

  • Ensemble Bien Ordonné — Un ensemble ordonné ( E, ≤ ) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite : Toute partie non vide de E possède un plus petit élément. On démontre que tout ensemble bien ordonné est totalement… …   Wikipédia en Français

  • Ensemble bien ordonne — Ensemble bien ordonné Un ensemble ordonné ( E, ≤ ) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite : Toute partie non vide de E possède un plus petit élément. On démontre que tout ensemble bien… …   Wikipédia en Français

  • Groupe totalement ordonné — Groupe ordonné En algèbre générale, un groupe ordonné est la donnée d une ensemble , muni d une loi de composition interne (notée dans l article) lui conférant une structure de groupe, et d une relation d ordre (notée dans l article) compatible… …   Wikipédia en Français

  • Ensemble ordonné filtrant — Sommaire 1 Définitions 2 Exemples 3 Lien avec les filtres 4 Parties cofinales Définitions Soit …   Wikipédia en Français

  • ordonné — ordonné, ée [ ɔrdɔne ] adj. • XIIIe; de ordonner 1 ♦ En bon ordre. Maison bien ordonnée. Discours ordonné. PROV. Charité bien ordonnée commence par soi même. ♢ Math. Anneau, corps, ensemble ordonné, muni d une relation d ordre. Ensemble bien… …   Encyclopédie Universelle

  • Ensemble Inductif — Cet article court présente un sujet plus amplement développé ici : lemme de Zorn. Un ensemble partiellement ordonné E est dit inductif quand il satisfait les hypothèses du lemme de Zorn, à savoir que toute partie totalement ordonnée (ou… …   Wikipédia en Français

  • Ensemble réel — Nombre réel Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs… …   Wikipédia en Français

Share the article and excerpts

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