Base d'ouverts et base de voisinages

Définition [Base d'ouverts] Soit un espace topologique. Une famille d'ouverts de est une base d'ouverts si tout ouvert est une réunion d'éléments de .

Proposition Une famille d'ouverts est une base d'ouverts si et seulement si quel que soit l'ouvert et il existe tel que .

Démonstration: Si est une base d'ouverts, alors étant donnés et , on considère un élément de qui contient ; la réciproque se fait en considérant pour un ouvert donné la réunion des obtenus par la propriété en considérant les différents .

Proposition Dans un espace métrique, les boules ouvertes de rayon rationnel forment une base d'ouverts

Dans le cas de muni de la métrique usuelle, les boules ouvertes de rayon rationnel et à coordonnées toutes rationnelles forment une base dénombrable d'ouverts

Dans tout ouvert est en fait une réunion dénombrable d'intervalles ouverts deux à deux disjoints (et réciproquement).

Dans un fermé n'est pas nécessairement une réunion dénombrable d'intervalles fermés deux à deux disjoints, et une réunion dénombrable d'intervalles fermés deux à deux disjoints n'est pas nécessairement fermée.

Démonstration:

Soit un ouvert d'un espace métrique, et dans ; on montre que contient une boule de rayon rationnel contenant . Pour cela on note que est réunion de boules ouvertes, donc contient au moins une boule ouverte de rayon et de centre contenant ; on note alors la distance de à ; toute boule ouverte centrée en de rayon rationnel inférieur à convient (on peut aussi choisir de raisonner sur les boules centrées sur de rayon adéquat...).

Soit un ouvert de , et un point de . On considère une boule ouverte contenant et incluse dans ; soit son centre et son rayon. Alors soit la distance de à , et un point de coordonnées rationnelles situé à une distance inférieure à de . Alors toute boule centrée sur de rayon rationnel compris entre et convient.

En plusieurs points:

- Soit un ouvert de ; alors étant donné un rationnel de on considère l'intervalle maximal le contenant. On parcourt ainsi tout , et on a bien un ensemble dénombrable d'intervalles ouverts.

- Une réunion d'ouverts est toujours un ouvert.

Deux contre-exemples:

- le cantor (voir partie ) n'est pas une réunion dénombrable d'intervalles fermés disjoints.

- l'ensemble des est une réunion dénombrable d'intervalles fermés disjoints, mais n'est pas fermé.

Définition [Base dénombrable d'ouverts] est à base dénombrable d'ouverts si on peut trouver une base d'ouverts qui soit dénombrable.

Proposition Un espace à base dénombrable d'ouverts contient un ensemble dénombrable dense

Démonstration: Il suffit de considérer un point par ouvert non vide d'une base dénombrable.

Définition [Espace séparable] Un espace est séparable si il contient un ensemble dénombrable dense.

Cela sera notamment utile pour définir une métrique sur la boule unité fermée du dual d'un espace séparable (pour la topologie faible). Ceux qui veulent en savoir plus peuvent aller voir la proposition .

On note en particulier qu'un ensemble à base dénombrable d'ouverts est séparable (il suffit de prendre un point dans chaque ouvert); il s'agit de la proposition précédente. La réciproque est vraie dans le cas des espaces métriques:

Théorème Un espace métrique est séparable si et seulement s'il admet une base dénombrable d'ouverts.
Ce résultat permettra de conclure que tout espace métrique compact admet une base dénombrable d'ouverts (voir résultat ) et d'en déduire que tout espace métrique compact est de cardinal au plus la puissance du continu (voir résultat ).

Démonstration: La remarque précédente donne l'un des deux sens. Réciproquement supposons que soit métrique séparable. Soit un ensemble dense dénombrable. Alors l'ensemble des boules de centre et de rayon avec est une base dénombrable d'ouverts.

Définition [Base de voisinages] Soit , une famille de voisinages de est une base de voisinages de si pour tout il existe avec .

Définition Un espace est à base dénombrable de voisinages si chacun de ses points admet une base dénombrable de voisinages.

Démonstration: Il suffit de considérer les boules de rayon de centre pour avoir une base dénombrable de voisinages de .