Bourbaki

Proposition 12

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

General Topology, chapter I, § 8. Hausdorff spaces and regular spaces

Every subspace of a regular space is regular.

Let AA be a subspace of a regular space XX. Since XX is Hausdorff, so is AA (no. 2); on the other hand, every neighbourhood of a point x∈Ax \in A with respect to AA is of the form V∩AV \cap A, where VV is a neighbourhood of xx in XX. Since XX is regular there is a neighbourhood WW of xx in XX which is closed in XX and contained in VV; W∩AW \cap A is then a neighbourhood of xx in AA, closed in AA and contained in V∩AV \cap A. Hence the result. Conversely:

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.