Exercice 10, § 2

Montrer que toute partie dénombrable de l’ensemble triadique de Cantor K, dense par rapport à K et ne contenant aucune extrémité d’intervalle contigu à K, est homéomorphe à la droite rationnelle $\mathbf{Q}$ (utiliser l’exerc. 9).