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 be a subspace of a regular space . Since is Hausdorff, so is (no. 2); on the other hand, every neighbourhood of a point with respect to is of the form , where is a neighbourhood of in . Since is regular there is a neighbourhood of in which is closed in and contained in ; is then a neighbourhood of in , closed in and contained in . 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.