Proposition 5
Tag 0BGH, permanent. Cite it as [Bourbaki, Tag 0BGH].
General Topology, chapter II, § 4. Relations between uniform spaces and compact spaces
In a uniform space , the set of points which can be joined by a -chain to a given point is both open and closed in .
For each , let denote the intersection of the sets as runs through the set of symmetric entourages of ; is the equivalence class of for the equivalence relation "for all symmetric entourages , there is a -chain joining and ".
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.