Topologie différentielle

A Rappels de topologie

Définition 1
espace topologique

Définition 2
séparé, paracompact

Proposition 3
Un espace topologique séparé paracompact est métrisable.

Topologie induite, Topologie produit, Topologie quotient