Un espace topologique qui contient un sous‑ensemble dense et dénombrable.

Principe

Il existe un ensemble dénombrable dont l'adhérence est l'espace tout entier, de sorte que la topologie globale peut être approchée par un nombre dénombrable de points.

Démonstration

Les nombres rationnels Q forment un sous‑ensemble dénombrable et dense de R muni de la topologie usuelle, donc R est séparable.

Mauvaise application

Supposer que la séparabilité implique une base dénombrable dans des espaces topologiques arbitraires ; bien que dans les espaces métriques la séparabilité entraîne souvent la dénombrabilité de la base, l'implication échoue sans hypothèses métriques.

Conséquence

Les espaces séparables permettent de réduire de nombreux arguments à des approximations dénombrables et facilitent les constructions en analyse et théorie de la mesure ; en métrique la séparabilité conduit souvent à une base gérable.

Inversion

Un espace non séparable n'admet aucun sous‑ensemble dense dénombrable ; des constructions typiques produisant des espaces non séparables incluent certains produits non dénombrables ou espaces de fonctions munis de topologies fortes.

Limite

Propriété de la topologie, pas seulement de la cardinalité de l'ensemble sous‑jacent ; la séparabilité se préserve par images continues mais pas forcément par tous les produits ou par des changements vers des topologies plus fortes.

Tension sémantique

Tension avec le poids/la caractéristique : la séparabilité traite de l'existence d'un ensemble dense dénombrable, tandis que le poids (taille d'une base) et la caractéristique (tailles des bases locales) mesurent d'autres invariants cardinaux et peuvent différer.

Synthèse

Séparable signifie qu'il existe un sous‑ensemble dense dénombrable, autorisant des approximations dénombrables et simplifiant de nombreuses analyses, en particulier en contexte métrique et analytique, sans impliquer toutes les propriétés de dénombrabilité sans structure supplémentaire.