Soit un espace à base dénombrable, et un sous-espace de .
Est-ce que est nécessairement à base dénombrable ?
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Oui.
En effet : Soit un ouvert de . Par définition de sous-espace topologique, est muni de la topologie induite ; donc est de la forme avec un ouvert de .
Soit une base dénombrable de . s’écrit donc comme une union dénombrable des ouverts de :
D’où :
Ceci montre que , la base de constituée des , est une base dénombrable de .
