Séparable
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche à compléter concernant la topologie, vous pouvez partager vos connaissances en le modifiant. |
En topologie, un espace topologique est dit séparable s'il contient une partie dénombrable dense (c'est-à-dire si l'on peut trouver une suite dont l'adhérence est égale à l'espace topologique tout entier). L'hypothèse de séparabilité se retrouve abondamment dans les résultats d'analyse fonctionnelle.
Par exemple, est séparable car y est dense et de cardinal dénombrable.