[gijsexosep] Soit \(X\) un espace topologique. On considère les propriétés suivantes :
\(X\) contient un dénombrable dense.
la topologie sur \(X\) possède une base dénombrable d’ouverts.
1
Montrer que (ii) implique (i) et que la réciproque a lieu si \(X\) est métrisable. Un espace vérifiant (i) est dit séparable.