Partie dense

Modèle:Voir homonymes Modèle:Confusion En topologie, une partie dense d'un espace topologique est un sous-ensemble permettant d'approcher tous les éléments de l'espace englobant. La notion s'oppose ainsi à celle de partie nulle part dense.

La densité d'une partie permet parfois d'étendre la démonstration d'une propriété ou la définition d'une application par continuité.

Définitions

Soient Modèle:Mvar un espace topologique et Modèle:Mvar une partie de Modèle:Mvar. On dit que Modèle:Mvar est « dense dans Modèle:Mvar », ou encore « partout dense » si l'une des propriétés équivalentes est satisfaite :

• tout ouvert non vide de Modèle:Mvar contient des éléments de Modèle:Mvar ;
• l'adhérence de Modèle:Mvar est égale à Modèle:Mvar ;
• tout point de Modèle:Mvar est adhérent à Modèle:Mvar ;
• le complémentaire de Modèle:Mvar est d'intérieur vide.

Un point Modèle:Mvar de Modèle:Mvar est dit dense dans Modèle:Mvar si le singleton $\{x\}$ est dense dans Modèle:Mvar.

Un espace séparable est un espace topologique possédant un sous-ensemble dense au plus dénombrable.

Exemples

• Tout espace topologique est dense dans lui-même.
• Toute partie dense pour l'ordre dans un ensemble totalement ordonné est aussi dense pour la topologie de l'ordre. En particulier, la droite réelle ℝ admet comme parties denses l'ensemble ℚ des nombres rationnels, son complémentaire ℝ\ℚ, mais aussi l'ensemble des décimaux et même l'ensemble des nombres dyadiques.
• Le complémentaire d'un ensemble négligeable pour la mesure de Lebesgue est dense dans ℝ ou dans ℝModèle:Exp.
• Le groupe général linéaire GLModèle:Ind(ℝ) (constitué des matrices réelles, carrées et inversibles de taille n) est dense dans l'espace MModèle:Ind(ℝ) des matrices carrées de taille n.
• L'ensemble des matrices diagonalisables dans ${ℳ}_n(ℂ)$ est dense, mais pas dans ${ℳ}_n(R)$.
• L'ensemble des fonctions étagées (définies sur un espace mesurable) est dense dans l'ensemble des fonctions mesurables, pour la topologie de la convergence simple.
• L'ensemble des fonctions polynomiales est dense dans l'ensemble des fonctions réelles continues sur un segment pour la topologie de la convergence uniforme (selon le théorème d'approximation de Weierstrass).

Propriétés

Une condition suffisante pour cela est que tout élément de X soit limite d'une suite d'éléments de A. Cette condition est également nécessaire si X est un espace de Fréchet-Urysohn, par exemple un espace métrisable ou même seulement à bases dénombrables de voisinages.

Si B est une autre partie de X, ne contenant pas nécessairement A, on dit que A est dense dans B si son adhérence contient B.

Si X est un espace métrique complet, une partie Y de X est dense dans X si et seulement si X est le complété de Y.

Deux applications continues à valeurs dans un espace séparé et coïncidant sur une partie dense sont égales.

Une suite de fonctions définies sur un espace métrique Modèle:Mvar et continues converge uniformément si et seulement si elle vérifie le critère de Cauchy uniforme sur une partie dense de Modèle:Mvar.

Un anneau commutatif est de Jacobson si et seulement si dans toute partie fermée non-vide de son spectre, l'ensemble des points fermés est dense.

Articles connexes

• Ensemble nulle part dense
• Densité d'un espace topologique
• Théorème de Baire
• Théorème de Blumberg
• Conjecture d'Oppenheim