Approximative compactness and continuity of the set-valued metric generalized inverse in Banach spaces (Q465229)

Let \(X,Y\) be real Banach spaces and \(T:X\to Y\) a continuous linear operator with domain \(D(T)\), range \(R(T)\) and null space \(N(T)\). One says that \(x_0\in D(T)\) is a best approximate solution to the operator equation \(Tx=y\) if \(x_0\) is an element of minimal norm in the set \(\{v\in D(T) : \|v-y\|=d(y,R(T))\}.\) Denote by \(T^\partial(y)\) the set of all these elements and let \(g^\partial(y)=\|x\|\) for some (and so for all) \(x\in T^\partial(y).\) The set-valued mapping \(T^\partial,\) called the metric generalized inverse of \(T\), was introduced by \textit{M. Z. Nashed} and \textit{G. F. Votruba} [Bull. Am. Math. Soc. 80, 825--830, 831--835 (1974; Zbl 0289.47011)]. The aim of the present paper is to study the continuity properties of the mappings \(T^\partial\) and \(g^\partial\) in connection with some geometric properties of the spaces \(X,Y\). For instance, if \(X,Y\) are approximatively compact, \(D(T)\) is a closed subspace of \(X\), \(N(T)\) is a Chebyshev subspace of \(D(T)\) and \(R(T)\) is a 2-Chebyshev subspace of \(Y\), then the set-valued mapping \(T^\partial\) is upper semicontinuous at \(y_0\) iff \(g^\partial\) is continuous at \(y_0\) (Theorem 4). A subset \(Z\) of a Banach space \(X\) is called \(k\)-Chebyshev if, for all \(x\in X\), the metric projection \(P_Z(x)\) of \(x\) on \(Z\) has affine dimension at most \(k\). The space \(X\) is called approximatively compact if every nonempty closed convex subset of \(X\) is approximatively compact. Another notion, called near dentability and expressed in terms of the support sets \(A_f=\{x\in S_X : f(x)=1\}\) of linear functionals \(f\in S_{X^*}\), is also considered. If the space \(X\) is nearly dentable, then a closed hyperplane \(H\) in \(X\) is approximatively compact iff \(P_H(x)\) is compact for every \(x\in X\) (Theorem 3).