A monotonicity lemma in higher dimensions (Q2490677)

The author proves two extensions of the (2-dimensional) monotonicity lemma to the case of higher dimensions. Below an \(n\)-dimensional real space (a Minkowski space) is identified with \((\mathbb{R}^n, \| \cdot \| )\) and all diameters and widths are computed in the metric generated by \(\| \cdot \| \). Theorem 1. Let \(X= (\mathbb{R}^n, \| \cdot \| )\) be an \(n\)-dimensional real normed space. Let \(K\subset X\) be a convex body of constant width. Let \(H\) be a hyperplane such that \(H\cap K \neq \emptyset\). Then \(H\) splits \(K\) into two compact convex sets and at least one of them has the same diameter as \(H\cap K\). To state the second theorem we need the following definitions. A real function \(f\) on \([0, 1]\) is called unimodal if there exists \(a\in [0, 1]\) such that \(f\) is nondecreasing on \([0, a]\) and nonincreasing on \([a, 1]\). Let \(K\subset \mathbb{R}^n\) be a convex body. By a hyperplane section of \(K\) we mean \(K\cap H\), where \(H\) is a hyperplane such that \(K\cap H \neq\emptyset\). Let \(S\) be a function on \([0, 1]\), which associates with each \(t\in[0,1]\) a hyperplane section of \(K\). We say that \(S\) is a section parameterization of \(K\) if (i) \(S\) is continuous with respect to the Hausdorff metric, (ii) the relative interiors of \(S(t)\), \(t\in [0,1]\), are pairwise disjoint, and (iii) \(K\) is the union of \(S(t)\) over \(t\in [0,1]\). Theorem 2. Let \(X=(\mathbb{R}^n, \| \cdot \| )\) be an \(n\)-dimensional real normed space. Let \(K\subset X\) be a convex body of constant width. Then the diameter of every section parameterization of \(K\) is a unimodal function.