On support points and continuous extensions (Q1040667)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On support points and continuous extensions |
scientific article |
Statements
On support points and continuous extensions (English)
0 references
25 November 2009
0 references
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.
0 references
convex set
0 references
support point
0 references
support functional
0 references
Bishop-Phelps theorem
0 references
extension
0 references
selection
0 references