Solution
Oui.
En effet : soit un sous-espace topologique d’un espace .
Soient et dans . Comme est séparé, il existe des ouverts disjoints et de , le premier contenant et le second contenant .
Mais alors, et sont des ouverts disjoints de (ce sont des ouverts car, par définition de sous-espace topologique, est muni de la topologie induite), le premier contenant et le second contenant .
D’où est séparé.

No messages yet.