IMC 1996 · Problem 6

Day 125 points3rd IMC · Plovdiv, Bulgaria

Statement

Upper content of a subset EE of the plane R2\mathbb{R}^2 is defined as

C(E)=inf{i=1ndiam(Ei)}\mathcal{C}(E) = \inf \left\{ \sum_{i=1}^{n} \operatorname{diam}(E_i) \right\}

where inf\inf is taken over all finite families of sets E1,,EnE_1, \dots, E_n, nNn \in \mathbb{N}, in R2\mathbb{R}^2 such that Ei=1nEiE \subset \bigcup\limits_{i=1}^{n} E_i.

Lower content of EE is defined as

K(E)=sup{lenght(L)  :  L is a closed line segment onto which E can be contracted}.\mathcal{K}(E) = \sup \{ \operatorname{lenght}(L) \;:\; L \text{ is a closed line segment onto which } E \text{ can be contracted} \}.

Show that

(a) C(L)=lenght(L)\mathcal{C}(L) = \operatorname{lenght}(L) if LL is a closed line segment;

(b) C(E)K(E)\mathcal{C}(E) \ge \mathcal{K}(E);

(c) the equality in (b) needs not hold even if EE is compact.

Official solution

Hidden so you can work on the problem first.