General Topology, IX, p. 123
It is set in small type as supplementary.
Let K be a compact subset of R2. For every real number y, denote by δ1(K,y) and δ2(K,y) the diameters of the respective intersections of K and
(0,+∞[×{y} and ]−∞,0]×{y}.
Show that y↦δ1(K,y) and y↦δ2(K,y) are upper semi-continuous. Let φ be an increasing and continuous mapping from (0,+∞) into itself such that φ(0)=1 and φ(+∞)=2; put
ψ(K,y)=φ(δ1(K,y)δ2(K,y))andf(K)=∫pr2(K)ψ(K,y)dy.
Show that f satisfies the conditions of Exercise 16 of IX, p. 122 and that one has
f(K∪K′)≤f(K)+f(K′)
for every pair of compact subsets of R2. But if A is the closed set defined by x≥0,0≤y≤1 show that one has f∗(A)=1 and f∗(A)=2.