Definition 1
Tag 0BWR, permanent. Cite it as [Bourbaki, Tag 0BWR].
General Topology, chapter VI, § 2. Euclidean distance, balls and spheres
Given a point and a real number , the open (resp. closed) Euclidean ball of dimensions with centre and radius is the set of all points such that [resp. ]; the Euclidean sphere of dimensions with centre and radius is the set of all such that .
When there is no risk of confusion we say simply "ball" (resp. "sphere") for "Euclidean ball" (resp. "Euclidean sphere"). When , a ball of two dimensions is called a disc, and a sphere of one dimension is called a circle. When , the open (resp. closed) ball with centre and radius is the interval (resp. ); the sphere with centre and radius is the set consisting of the two end-points of these intervals.
From what has been said, the balls (open or closed) with centre (or just those with radii , where runs through the set of integers ) form a fundamental system of neighbourhoods of the point .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.