Bourbaki

Proposition 2

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

General Topology, chapter I, § 3. Subspaces, quotient spaces

Let AA be a dense subset of a topological space XX; then for each x∈Ax \in A and each neighbourhood VV of xx relative to AA, the closure V‾\overline{V} of VV in XX is a neighbourhood of xx in XX.

For VV contains U∩AU \cap A, where UU is an open subset of XX which contains xx, hence V‾\overline{V} contains U∩A‾=UU \cap \overline{A} = U (§ 1, no. 6, Proposition 5).

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.