Définition 5
Étiquette 0EBC, permanente. À citer comme [Bourbaki, Tag 0EBC].
General Topology, chapter IX, § 1. Génération d’une structure uniforme par une famille d’écarts. Espaces uniformisables
Étant donné un ensemble X, on dit qu’un ensemble H d’applications de X dans un ensemble Y sépare les éléments d’une partie A de X (ou est un ensemble séparant pour les éléments de A) si, quels que soient les éléments distincts x, y de A, il existe une fonction f \in H telle que f(x) \neq f(y).
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.