Ordre dense

Ordre dense

Sommaire

Ensemble ordonné dense en lui-même

Un ensemble ordonné (E,\leq) est dit dense en lui-même, ou plus simplement dense, si, pour tout couple (x, y) d'éléments de E tels que x<y il existe un élément z de E tel que x<z<y.

Par exemple, pour les ordres usuels, l'ensemble des rationnels \mathbb{Q} et l'ensemble des réels \R sont denses en eux-mêmes alors que l'ensemble des entiers relatifs \mathbb{Z} ne l'est pas.

Cantor a démontré que tout ensemble totalement ordonné, dénombrable et dense en lui-même sans maximum ni minimum est isomorphe[1] à \mathbb{Q} muni de l'ordre usuel. C'est notamment le cas, toujours pour l'ordre usuel, de \mathbb{Q}^{*}, de \mathbb{Q}_{+}^{*}, de \mathbb{Q} \cap ]0,1[ ou encore de l'ensemble des nombres réels algébriques sur \mathbb{Q}.

Sous-ensemble dense d'un ensemble ordonné

Définition

Un sous-ensemble X d'un ensemble ordonné (E,\leq) est dit dense dans E si, pour tout couple (x, y) d'éléments de E tels que x<y, il existe un élément z de X tel que x<z<y.

Par exemple, pour l'ordre usuel, \mathbb{Q} est dense dans \R.

La notion d'ensemble ordonné dense en lui-même n'en est donc que le cas particulier où X=E.

Lien avec la topologie

Si E est un ensemble ordonné, les intervalles de la forme ]x,y[=\{z \in E|\,x<z<y\} forment une base d'ouverts d'une topologie appelée topologie de l'ordre.

Dans ce cas, un sous-ensemble X de E qui est dense au sens précédent de la relation d'ordre est bien dense dans E au sens de cette topologie. Cependant, la réciproque est fausse : un ensemble ordonné est toujours dense dans lui-même pour la topologie de l'ordre (comme pour n'importe quelle topologie) sans être nécessairement dense en lui-même pour sa relation d'ordre, comme le montre l'exemple de \mathbb{Z} pour l'ordre usuel.

Notes

  1. L'isomorphisme est ici à prendre dans la catégorie des ensembles ordonnés, c'est-à-dire qu'il existe une bijection strictement croissante entre l'ensemble considéré et l'ensemble des rationnels.

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Dense (mathématiques) — Densité (mathématiques) Pour les articles homonymes, voir Densité (homonymie). En topologie, le concept de densité d un sous ensemble A d un espace topologique X permet de refléter l idée que pour tout point x de X on peut trouver un point de A… …   Wikipédia en Français

  • Ordre de Citeaux — Ordre cistercien Pour les articles homonymes, voir SOC. Armes de l ordre de Cîteaux L’ordre cistercien (Ordo cisterciensis, o.cist.), également connu s …   Wikipédia en Français

  • Ordre de Cîteaux — Ordre cistercien Pour les articles homonymes, voir SOC. Armes de l ordre de Cîteaux L’ordre cistercien (Ordo cisterciensis, o.cist.), également connu s …   Wikipédia en Français

  • Ordre Initiatique Traditionnel de l'Art Royal — Ordre initiatique et traditionnel de l Art royal L ‘ Ordre Initiatique et Traditionnel de l’Art Royal (OITAR) est l’une des plus récentes familles maçonniques de la franc maçonnerie dite libérale, ou adogmatique, par opposition à la franc… …   Wikipédia en Français

  • Ordre initiatique et traditionnel de l'art royal — L ‘ Ordre Initiatique et Traditionnel de l’Art Royal (OITAR) est l’une des plus récentes familles maçonniques de la franc maçonnerie dite libérale, ou adogmatique, par opposition à la franc maçonnerie de la branche anglaise qui impose la croyance …   Wikipédia en Français

  • Ordre de grandeur (densite) — Ordre de grandeur (densité) Liste des ordres de grandeur pour la densité Facteur Multiple Valeur Exemple 10 27 1 yoctogramme (yg)/m³ 1 × 10 27 kg/m³ densité très approximative de l univers 10 24 1 zeptogramme (zg)/m³ 10 22 100 zg/m³ …   Wikipédia en Français

  • Ordre de grandeur (densité) — Liste des ordres de grandeur pour la densité Facteur Multiple Valeur Exemple 10 27 1 yoctogramme (yg)/m³ 1 × 10 27 kg/m³ densité très approximative de l univers 10 24 1 zeptogramme (zg)/m³ 10 22 100 zg/m³ …   Wikipédia en Français

  • Dense nulle-part — Ensemble nulle part dense En topologie, un ensemble est nulle part dense ou rare[1] s il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous ensemble A d un espace topologique X est nulle part dense dans X si presque… …   Wikipédia en Français

  • Dense nulle part — Ensemble nulle part dense En topologie, un ensemble est nulle part dense ou rare[1] s il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous ensemble A d un espace topologique X est nulle part dense dans X si presque… …   Wikipédia en Français

  • Ordre cistercien — Pour les articles homonymes, voir SOC. Armes de l ordre de Cîteaux L’ordre cistercien (Ordo cisterciensis, o.cist.), également connu sous le nom d’ordre de Cîteaux ou encore de saint ordre …   Wikipédia en Français

Share the article and excerpts

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