Example 2
Tag 0BBI, permanent. Cite it as [Bourbaki, Tag 0BBI].
General Topology, chapter I, § 11. Connectedness
A discrete space which has more than one point is not connected.
Observe that if is a partition of a topological space consisting of open sets [necessarily non-empty, from the definition of a partition (Set Theory, R, , no. 4)] then each of the is both open and closed in , for the complement of is the union of the for which . The open subsets of are the subsets such that is open in for each , so that can be identified with the sum of the (, no. 4, Example 3) and is not connected if has more than one element
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.