Bourbaki

Exercise 3, § 2

General Topology, IX

Bourbaki marks this one as harder than the rest.

a) Let XX be a compact metric space. If the closure in XX of every open ball is the closed ball of the same centre and radius, then every ball in XX is a connected set [if xx and yy are two points of XX, and if SS is the closed ball with centre xx and radius d(x,y)d(x, y), show that for each ε>0\varepsilon > 0 the set Ay,εA_{y, \varepsilon} of points of SS which can be joined to yy by a VεV_\varepsilon-chain contained in SS (Chapter II, § 4, no. 4) contains points zz such that d(x,z)<d(x,y)d(x, z) < d(x, y)]. Deduce that x∈Ay,εx \in A_{y, \varepsilon} for all ε>0\varepsilon > 0, arguing by contradiction and using Weierstrass’s theorem (Chapter IV, § 6, no. 1, Theorem 1).

b) In the space Y=R2Y = \mathbf{R}^2 with the metric

d(x,y)=max⁡(∣x1−y1∣,∣x2−y2∣), d(x, y) = \max(|x_1 - y_1|, |x_2 - y_2|),
let XX be the compact subspace consisting of all points (x1,x2)(x_1, x_2) such that either x1=0x_1 = 0 and 0≤x2≤10 \leq x_2 \leq 1, or 0≤x1≤10 \leq x_1 \leq 1 and x2=0x_2 = 0. Show that every ball in XX is connected but that the closure of an open ball is not necessarily the closed ball with the same centre and radius.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.