Bourbaki

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 Rn\mathbf{R}^n 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 x0x_0 and radius rr is the inverse image of the interval ]−∞,r[-\infty, r[ (resp. ]−∞,r]-\infty, r]) under the continuous function d(x0,x)d(x_0, x); it is therefore open (resp. closed and bounded, hence compact). If d(x0,x)=rd(x_0, x) = r, and if y=x0+t(x−x0)y = x_0 + t(x - x_0) (0<t<10 < t < 1) is a point of the open segment with end-points x0x_0 and xx, we have d(x0,y)=tr<rd(x_0, y) = tr < r, and d(x,y)=(1−t)rd(x, y) = (1 - t)r is as small as we please; hence xx lies in the closure of the open ball with centre x0x_0 and radius rr. Again, if z=x+t(x−x0)z = x + t(x - x_0) (t>0t > 0) is a point of the open ray with origin xx and direction vector x−x0x - x_0, we have

d(x0,z)=(1+t)r>r, d(x_0, z) = (1 + t)r > r,
and d(x,z)=trd(x, z) = tr is as small as we please; hence xx is not an interior point of the closed ball with centre x0x_0 and radius rr.

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.