Bourbaki

Definition 5

Tag 0C8W, permanent. Cite it as [Bourbaki, Tag 0C8W].

General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets

A topological space is said to be zero-dimensional if it is Hausdorff and if every point has a fundamental system of neighbourhoods which are both open and closed.

Every zero-dimensional space XX is totally disconnected; for the component of a point xx is contained in all the sets containing xx which are both open and closed (Chapter I, § II, no. 5), and the intersection of these sets is just {x}\{ x \} if XX is zero-dimensional.

Conversely, a locally compact totally disconnected space is zero-dimensional (Chapter II, § 4, no. 4, Proposition 6); but there exist totally disconnected metrizable spaces which are not zero-dimensional [Exercise 3 b)].

Every subspace of a zero-dimensional space is zero-dimensional, and topological sums and products of zero-dimensional spaces are zero-dimensional.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.