Example
Tag 0BBK, permanent. Cite it as [Bourbaki, Tag 0BBK].
General Topology, chapter I, § 11. Connectedness
In any topological space, the empty set and every set consisting of a single point are connected. In a Hausdorff space , every finite set consisting of more than one point is not connected, and more generally every subset of which has more than one point and which has at least one isolated point is not connected.
If a dense subset is connected, then the whole space is connected; otherwise there would exist two non-empty disjoint open subsets of such that , and would be two disjoint non-empty open subsets of whose union is . Hence we have
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.