## [Seconde Dénombrabilité](/fr/node/62196) Définition Un espace topologique est de seconde dénombrabilité si sa topologie admet une base dénombrable (il existe une collection dénombrable d'ouverts telle que tout ouvert soit une réunion d'éléments de cette collection). ## Principe Principe L'idée organisatrice est la génération dénombrable de la topologie : une seule famille dénombrable d'ouverts de base génère tous les ouverts, fournissant une énumérabilité globale qui simplifie de nombreuses constructions et démonstrations. ## Démonstration Démonstration Les espaces euclidiens R^n sont de seconde dénombrabilité : la collection de toutes les boules ouvertes à centres rationnels et rayons rationnels constitue une base dénombrable. En contraste, un espace discret non dénombrable n'est pas de seconde dénombrabilité car chaque singleton doit figurer dans toute base. ## Mauvaise application Mauvaise application Confondre seconde dénombrabilité et séparabilité (existence d'un sous-ensemble dense dénombrable) est une mauvaise application : dans les espaces métriques les deux notions sont reliées mais aucune n'implique l'autre en topologie générale. ## Conséquence Conséquence La seconde dénombrabilité implique plusieurs propriétés utiles : elle entraîne souvent la séparabilité et la propriété de Lindelöf et facilite la métrisation ; de nombreux théorèmes standards emploient la seconde dénombrabilité comme hypothèse commode. ## Inversion Inversion L'absence de seconde dénombrabilité (par exemple dans des topologies discrètes non dénombrables ou certains produits) signifie qu'il n'existe pas de famille dénombrable générant tous les ouverts, compliquant les arguments basés sur l'énumération des ouverts de base ou sur des techniques séquentielles. ## Limite Limite La seconde dénombrabilité est une condition globale de cardinalité sur les bases ; elle n'exige pas que l'espace soit séparé ou métrisable, et peut échouer même lorsque d'autres axiomes de dénombrabilité sont satisfaits. Elle se préserve sous de nombreuses opérations courantes (sous-espaces, images continues sous hypothèses légères) mais pas sous tous les produits. ## Tension sémantique Tension sémantique La tension se situe entre la première dénombrabilité (bases de voisinage locales dénombrables) et la seconde dénombrabilité (une base globale dénombrable) : la première est locale et plus faible, la seconde globale et plus forte, et ces notions sont souvent confondues par les débutants. ## Synthèse Synthèse La seconde dénombrabilité signifie que la topologie est engendrée par un catalogue dénombrable d'ouverts de base ; cette énumérabilité globale simplifie les démonstrations, se relie à la séparabilité et à la propriété de Lindelöf dans des contextes usuels, et constitue une hypothèse centrale dans de nombreux résultats de classification et de métrisation.