Ensemble bien ordonne

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 ordonné est totalement ordonné. En effet, soit (E,\prec) un ensemble bien ordonné, et (x,y)\in E^2. D'après la propriété de bon ordre de E, l'ensemble {x,y} admet un plus petit élément. En d'autres termes : \forall(x,y)\in E^2,\quad x\prec y \text{ ou } y\prec x.

Si de plus l'axiome du choix dépendant est vérifié, cette propriété (être bien ordonné) est équivalente à dire qu'il n'existe pas de suite infinie strictement décroissante. D'après le théorème de Zermelo, l'axiome du choix dans toute sa force équivaut au fait que tout ensemble peut être bien ordonné, et donc peut être rendu isomorphe à un ordinal.

Exemples

  • L'ensemble vide, muni du seul ordre qui y soit possible : ( Ø, Ø ) (c'est le plus petit ordinal).
  • L'ensemble des entiers naturels, muni de l'ordre habituel des entiers : ( \mathbb N, \le_{ \,_\mathbb N} \,) , souvent noté ω dans ce contexte (c'est le plus petit ordinal infini).
  • L'ensemble des nombres rationnels, muni de l'ordre habituel des rationnels : ( \mathbb Q, \le_{ \,_\mathbb Q} \,) , n'est pas bien ordonné. Un autre exemple d'ensemble ordonné qui n'est pas bien ordonné est l'ensemble \ \mathbb R\ des nombres réels.
  • De manière générale, tout ordinal est, par définition, bien ordonné.

Subtilités

Soit ( E, ≤ ) est un ensemble bien ordonné non vide. Il a un plus petit élément, et il a ou n'a pas de plus grand élément : l'ensemble des entiers ω, qui a 0 pour plus petit élément, n'en a pas de plus grand mais rien n'empêche de lui en ajouter un — c'est le tout début d'une construction naïve des ordinaux transfinis. Soit α∈E : si α n'est pas le plus grand élément de E, il existe un plus petit β∈E strictement supérieur à α, appelé successeur de α et noté souvent α+1, dont α est le prédécesseur. Un élément de E a au plus un prédécesseur ; le plus petit élément n'en a évidemment pas et c'est le seul cas pour E=ω, mais en général il y a beaucoup d'éléments de E qui n'en ont pas — c'est ce qui fait le charme des ordinaux transfinis. Pensez, pour avoir une petite idée, au dictionnaire de tous les mots finis construits à partir d'un alphabet fini ou infini bien ordonné. Un élément de E ayant un prédécesseur est dit de première espèce, et de deuxième espèce sinon. Cette distinction est souvent utile pour raisonner par récurrence transfinie.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Ensemble bien ordonn%C3%A9 ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • 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 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. Si ( E, ≤ ) est bien ordonné alors ≤ est nécessairement un… …   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 Fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   Wikipédia en Français

  • Ensemble ordonné — 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

  • Ensemble fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   Wikipédia en Français

  • Ensemble Dénombrable — En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent trop d… …   Wikipédia en Français

  • Ensemble denombrable — Ensemble dénombrable En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire,… …   Wikipédia en Français

  • Ensemble dénombrable —  Ne pas confondre avec la notion d espace à base dénombrable. En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les… …   Wikipédia en Français

  • ensemble — 1. ensemble [ ɑ̃sɑ̃bl ] adv. • fin XIe; lat. pop. insimul 1 ♦ L un avec l autre, les uns avec les autres. ⇒ collectivement, conjointement; co , con , syn (cf. En commun, de concert, de conserve). Plusieurs personnes ensemble. ⇒ réuni. Venez tous… …   Encyclopédie Universelle

Share the article and excerpts

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