Bourbaki

Definition 1

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

General Topology, chapter VI, § 2. Euclidean distance, balls and spheres

Given a point x0∈Rnx_0 \in \mathbf{R}^n and a real number r>0r > 0, the open (resp. closed) Euclidean ball of nn dimensions with centre x0x_0 and radius rr is the set of all points x∈Rnx \in \mathbf{R}^n such that d(x0,x)<rd(x_0, x) < r [resp. d(x0,x)≤rd(x_0, x) \leq r]; the Euclidean sphere of n−1n - 1 dimensions with centre x0x_0 and radius rr is the set of all x∈Rnx \in \mathbf{R}^n such that d(x0,x)=rd(x_0, x) = r.

When there is no risk of confusion we say simply "ball" (resp. "sphere") for "Euclidean ball" (resp. "Euclidean sphere"). When n=2n = 2, a ball of two dimensions is called a disc, and a sphere of one dimension is called a circle. When n=1n = 1, the open (resp. closed) ball with centre x0x_0 and radius rr is the interval ]x0−r,x0+r[]x_0 - r, x_0 + r[ (resp. [x0−r,x0+r][x_0 - r, x_0 + r]); the sphere with centre x0x_0 and radius rr is the set consisting of the two end-points x0−r,x0+rx_0 - r, x_0 + r of these intervals.

From what has been said, the balls (open or closed) with centre x0x_0 (or just those with radii 1/p1/p, where pp runs through the set of integers >0> 0) form a fundamental system of neighbourhoods of the point x0x_0.

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.