Proposition 1
Tag 0BWS, permanent. Cite it as [Bourbaki, Tag 0BWS].
General Topology, chapter VI, § 2. Euclidean distance, balls and spheres
Every open (resp. closed) ball of is an open (resp. compact) set. The closure of an open ball is the closed ball with the same centre and the same radius; the interior of a closed ball is the open ball with the same centre and the same radius.
The open (resp. closed) ball with centre and radius is the inverse image of the interval ] (resp. ]) under the continuous function ; it is therefore open (resp. closed and bounded, hence compact). If , and if () is a point of the open segment with end-points and , we have , and is as small as we please; hence lies in the closure of the open ball with centre and radius . Again, if () is a point of the open ray with origin and direction vector , we have
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.