Corollary
Tag 0BHF, permanent. Cite it as [Bourbaki, Tag 0BHF].
General Topology, chapter III, § 1. Topologies on groups
A topological group is Hausdorff if and only if the intersection of the neighbourhoods of consists only of the point .
The condition is clearly necessary. Conversely, if the intersection of all the neighbourhoods of is just , then given any there is a neighbourhood of such that and therefore . This shows that is not in the closure of , and thus is closed, so that is Hausdorff.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.