Bourbaki

Exercise 17, § 6

General Topology, IX, p. 123

It is set in small type as supplementary.

Let KK be a compact subset of R2\mathbf{R}^2. For every real number yy, denote by δ1(K,y)\delta_1(K, y) and δ2(K,y)\delta_2(K, y) the diameters of the respective intersections of KK and

(0,+∞[×{y} and ]−∞,0]×{y}. (0, +\infty[ \times \{y\} \text{ and } ]-\infty, 0] \times \{y\}.

Show that y↦δ1(K,y)y \mapsto \delta_1(K, y) and y↦δ2(K,y)y \mapsto \delta_2(K, y) are upper semi-continuous. Let φ\varphi be an increasing and continuous mapping from (0,+∞)(0, +\infty) into itself such that φ(0)=1\varphi(0) = 1 and φ(+∞)=2\varphi(+\infty) = 2; put

ψ(K,y)=φ(δ1(K,y)δ2(K,y))andf(K)=∫pr2(K)ψ(K,y) dy. \psi(K, y) = \varphi(\delta_1(K, y) \delta_2(K, y)) \quad \text{and} \quad f(K) = \int_{\mathrm{pr}_2(K)} \psi(K, y) \, dy.

Show that ff satisfies the conditions of Exercise 16 of IX, p. 122 and that one has

f(K∪K′)≤f(K)+f(K′) f(K \cup K') \leq f(K) + f(K')

for every pair of compact subsets of R2\mathbf{R}^2. But if AA is the closed set defined by x≥0,0≤y≤1x \geq 0, 0 \leq y \leq 1 show that one has f∗(A)=1f_*(A) = 1 and f∗(A)=2f^*(A) = 2.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.