Ivan Shishkin, Rye (1878)

Discussions

Sous-espace topologique d’un espace séparé

0 messages

Solution

Solution by Ancient Tree · FR

Oui.

En effet : soit XX un sous-espace topologique d’un espace YY.
Soient xx et yy dans XX. Comme YY est séparé, il existe des ouverts disjoints UU et VV de YY, le premier contenant xx et le second contenant yy.
Mais alors, U∩XU\cap X et V∩XV\cap X sont des ouverts disjoints de XX(ce sont des ouverts car, par définition de sous-espace topologique, XX est muni de la topologie induite), le premier contenant xx et le second contenant yy.

D’où XX est séparé.

No messages yet.