On a well-posed minimax problem (Q1202436): Difference between revisions

For a Banach space \(E\) denote by \({\mathcal B}\) the family of all closed bounded and nonempty subsets of \(E\) and by \({\mathcal C}\) the convex elements in \({\mathcal B}\). For \(A,X\in {\mathcal B}\) let \(\nu_ X= \sup\{d(x,A)\): \(x\in X\}\) where \(d(x,A)= \inf\{\| x-a\|\): \(a\in A\}\). A point \((x_ 0,a_ 0)\in X\times Z\) such that \(\| x_ 0-a_ 0\|= \nu_ X\) is called a solution of the minimax problem \((X,A)\) and a sequence \(\{(x_ n,a_ n)\}\subseteq X\times A\) such that \(\lim \| x_ n- a_ n\|= \nu_ X\) is called an approximating sequence of the minimax problem. A minimax problem \((X,A)\) is called well posed if it has a unique solution \((x_ 0,a_ 0)\) and every approximating sequence converges to \((x_ 0,a_ 0)\). For \(A\in {\mathcal B}\) let \({\mathcal A}_ A= \text{cl} \{X\in{\mathcal B}\): \(\nu_ X>0\}\) and \({\mathcal C}_ A= \text{cl} \{X\in C\): \(\nu_ X>0\}\), where the closures are taken with respect to the Hausdorff metric on \({\mathcal B}\). The main results of this paper assert that if \(E\) is a locally uniformly convex Banach space and \(A\in {\mathcal B}\) (respectively \(A\in {\mathcal C}\)) is fixed then the set of all \(X\in {\mathcal B}_ A\) (\(X\in {\mathcal C}_ A\)) for which the minimax problem \((X,A)\) is well posed is a dense \(G_ \delta\) subset of \({\mathcal B}_ A\) (respectively of \({\mathcal A}\)) in the Hausdorff metric (Theorems 1.1 and 1.2). A subset of a Banach space \(E\) is called almost Chebyshev if the set of all points in \(E\) which fail to have unique best approximation from \(A\) is of first Baire category. As it was proved by \textit{S. B. Stečkin}, Rev. Roumaine Math. Pures Appl. 8, 5-18 (1963; Zbl 0198.162) and \textit{S. Cobzaş}, Math. Balcanica 4, 79-82 (1974; Zbl 0311.41028), there are reflexive strictly convex and respectively locally uniformly convex Banach spaces, which contain closed bounded subsets which are not almost Chebyshev. Therefore the assumption made by the author, that \(E\) is reflexive and locally uniformly convex, seems to be very natural.