On support points and continuous extensions (Q1040667)

Let \(X\) be a real Banach space and \(S_X\) its unit sphere. For a nonempty bounded closed convex subset \(K\) of \(X\), let \(\Sigma_1(K)=\{x^*\in S_{X^*} : \exists x\in K,\; x^*(x)=\sup x^*(K)\}\) be the set of all support functionals of the set \(K\) and supp\((K)= \{x\in K : \exists x^*\in S_{X^*},\; x^*(x)=\sup x^*(K)\}\) the set of the support points of \(K\). In [Isr. J. Math. 171, 15--27 (2009; Zbl 1181.46010)], the author and \textit{L. Veselý} proved that \(\Sigma_1(K)\) is uncountable and supp\((K)\) is pathwise connected. Consider the family \(\mathcal B\mathcal C\mathcal C(X)\) of all nonempty bounded closed convex subsets of \(X\) equipped with the Hausdorff metric \(h\). Let \(T\) be a Hausdorff paracompact space, \(\Delta:T\to (\mathcal B\mathcal C\mathcal C(X),h)\) a continuous set-valued mapping, \(T_0\) a nonempty closed subset of \(T\) and \(s:T_0\to X\) a continuous mapping such that \(s(t_0)\in\) supp\((\Delta(t_0))\) for every \(t_0\in T_0\). The present paper is concerned with the following extension of the last result from above: Is there a continuous extension \(S:T\to X\) of \(s\) such that \(S(t)\in \Delta(t)\) for all \(t\in T\)? The main result of the paper, Theorem 2.2, shows that a sufficient condition for the existence of \(S\) is the existence of a continuous mapping \(s^*:T\to S_{X^*}\) such that \(s^*(t)\) supports \(\Delta(t_0)\) at \(s(t_0)\) for every \(t_0\in T_0\). Moreover, the theorem gives a control on the distance from \(s^*(t)\) to the support functional \(x^*\in S_{X^*}\) of \(\Delta(t)\) at \(S(t)\). Some consequences as well as conditions ensuring the existence of the function \(s^*\) are also given.