Bourbaki

Definition 1

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

General Topology, chapter IX, § 5. Baire spaces

A subset AA of a topological space XX is said to be nowhere dense if its closure has no interior points.

Equivalently, AA is nowhere dense in XX if and only if the exterior of AA is dense in XX.

A closed set AA is nowhere dense if and only if it has no interior points; that is, if and only if it coincides with its frontier. An arbitrary subset AA is nowhere dense if and only if the closure of AA is nowhere dense. Every subset of a nowhere dense set is nowhere dense.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.