Proposition 5
Tag 0AZK, permanent. Cite it as [Bourbaki, Tag 0AZK].
General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets
Let be an open set in ; then for every subset of we have
For suppose ; then if is any neighbourhood of , is a neighbourhood of , since is open; hence is not empty and therefore lies in the closure of .
If lies in the closure of but not in , then every neighbourhood of contains a point of other than ; but if it can happen that has a neighbourhood which contains no point of except . We say then that is an isolated point of . In particular, is isolated in the whole space if and only if is an open set.
A closed set which has no isolated points is called a perfect set.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.