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 aucun point de X ne peut ĂȘtre « approchĂ© » par des points de A.
DĂ©finition
Soit X un espace topologique et A un sous-ensemble de X. Les quatre propriétés suivantes sont équivalentes et A est dit nulle part dense (ou rare) dans X s'il les vérifie :
- l'intérieur de l'adhérence de A est vide ;
- tout ouvert de X inclus dans cette adhérence A est vide ;
- A n'est « dense dans » aucun ouvert non vide de X ;
- pour tout ouvert U non vide de X, il existe un ouvert V non vide inclus dans U et disjoint de A.
L'ordre dans 1. est important : il est possible de trouver des sous-ensembles dont (l'intérieur de) l'adhérence est X et (l'adhérence de) l'intérieur est vide (c'est le cas de l'ensemble des rationnels dans l'espace des réels).
Propriétés
- Tout sous-ensemble d'un ensemble nulle part dense est nulle part dense et l'union d'un nombre fini d'ensembles nulle part denses est nulle part dense. En revanche, l'union d'un nombre dénombrable d'ensembles nulle part denses n'est pas forcément nulle part dense. Une telle union s'appelle un ensemble maigre ou ensemble de premiÚre catégorie.
- Si Y est un ouvert de X, toute partie A de Y qui est nulle part dense dans Y (pour la topologie induite) est aussi nulle part dense dans X.En effet, soit U un ouvert inclus dans A. Alors (par hypothĂšse sur A) Uâ©Y = â , si bien que U est disjoint de A donc aussi (puisqu'il est ouvert) de A. Par consĂ©quent, U est vide.
Exemples
- L'ensemble des entiers relatifs est nulle part dense dans l'ensemble des réels muni de la topologie usuelle.
- L'ensemble des réels dont le développement décimal ne comporte que les chiffres 0 ou 1 est nulle part dense dans l'ensemble des réels.
Mesure de Lebesgue positive
Un ensemble nulle part dense n'est pas nĂ©cessairement de mesure nulle (pour la mesure de Lebesgue). Par exemple, si X est l'intervalle [0,1], il est non seulement possible de trouver un sous-ensemble dense nĂ©gligeable (celui des nombres rationnels fournit un exemple), mais il existe aussi des sous-ensembles nulle part denses de mesure strictement positive, tels que l'ensemble de Smith-Volterra-Cantor. On peut Ă©galement trouver un sous-ensemble de X de premiĂšre catĂ©gorie de mesure Ă©gale Ă 1. Il suffit de prendre une rĂ©union dĂ©nombrable d'ensembles de Cantor de mesure 1 â 1ân, n parcourant l'ensemble des entiers strictement positifs.
Note et référence
- Dans les textes initiaux de RenĂ© Baire, le vocable utilisĂ© est celui de non dense, ce qui prĂȘte Ă confusion avec le fait de ne pas ĂȘtre un ensemble dense.
Voir aussi
Article connexe
Lien externe
(en) Henry Bottomley, « Some nowhere dense sets with positive measure »