Exercice 1, § 2
Topologie générale, IV, p. 47
Un point est dit adhérent à gauche à une partie de s’il est adhérent à et s’il existe un intervalle () ne contenant aucun point de . Montrer que l’ensemble des points adhérents à gauche à une partie de est dénombrable (établir une correspondance biunivoque entre cet ensemble et un ensemble d’intervalles ouverts, deux à deux sans point commun). En déduire que toute partie bien ordonnée de est dénombrable.
Solution
Aucune solution n’a encore été écrite.