Weak compactness of the set of \(\varepsilon\)-extensions (Q1775296)

Let \(X\) be a normed space, \(W\) a subspace of \(X\) and \(\varepsilon>0.\) An element \(y_{0}\in W\) is called an \(\varepsilon\)-approximation element for \(x\in X\) if \(y_{0}\in P_{W,\varepsilon}:=\{y\in W:\| x-y\| \leq d(x,W) +\varepsilon\}\). A functional \(g_{0}\in X^{\ast}\) is called an \(\varepsilon\)-extension of \(f\in W^{\ast}\) if \(g_{0}\in E_{\varepsilon}(f) :=\{g\in X^{\ast}:g| _{W}=f\) and \(\| g\| -\varepsilon\leq\| f\| \leq\| g\| \}.\) Let also \(W^{\bot}=\{f\in X^{\ast}:f| _{W}=0\) \}, \(^{\bot }M=\{x\in x:f(x) =0,\forall f\in M\},\) where \(M\) is a subspace of \(X^{\ast}.\) For \(x\in X\), denote by \(\widehat{x}\) its canonical image in \(X^{\ast\ast}\). The author proves the equivalence of the following assertions: \((a) \) For every \(f\in X^{\ast}\), the set of all \(g\in X^{\ast}\) such that \(\widehat{g}\) is an \(\varepsilon\)-extension of \(\widehat{f}| _{W^{\bot\bot}}\) is weakly compact; \((c) \) \(W^{\bot}\) is an \(\varepsilon\)-weakly Chebyshev set of \(X^{\ast}\) (meaning that the set \(P_{W^{\bot},\varepsilon}(f) \) is weakly compact for every \(f\in X^{\ast}).\) If the subspace \(W\) of \(X\) satisfies the condition \((a) ,\) then one says that it has property \((\varepsilon-w) .\) In Theorem 3.1, the author presents equivalent conditions for a subspace of \(X^{\ast}\) to be \(\varepsilon\)-weakly Chebyshev and deduces the equivalence of the following conditions: \((\alpha) \) All \(w^{\ast}\)-closed subspaces of \(X^{\ast}\) are \(\varepsilon\)-weakly Chebyshev; \((\beta) \) all the subspaces of \(X\) have the property \((\varepsilon-w) ;\) \((\gamma) \) \(X\) is a reflexive space.