Metric projection onto a lattice in \(L_ 1\) (Q1332296)

Let \((\Omega,{\mathcal A},\mu)\) be a measure space and \(L_ p= L_ p(\Omega,{\mathcal A},\mu)\) for \(1\leq p\leq \infty\). The set-valued function \[ \pi_ p(f)= g\in {\mathcal K}: \| f- g\|_ p= \inf_{h\in {\mathcal K}}\| f- h\|_ p \] is called the \(\|\cdot\|_ p\) metric projection of \(L_ p\) onto \(\mathcal K\), where \({\mathcal K}\subset L_ p\) and \(p\in [1,\infty]\). Let \(L= L_ 1\cap L_ \infty\) and \(\pi\) be the restriction to \(L\) of \(\pi_ 1\). In this paper the authors mainly prove the following results. (1) Suppose that \({\mathcal K}\subset L\) is an \(\|\cdot\|_ 1\)-closed, \(\sigma\)-complete lattice which is invariant under translation by constants (i.e. \({\mathcal K}+ c= {\mathcal K}\) for every \(c\in \mathbb{R}\)). If \(f,f'\in L_ \infty\), then \(H_ \infty(\pi(f),\pi(f'))\leq \| f- f'\|_ \infty\), where \[ H_ \infty(A,B)= \max\left\{\sup_{a\in A} \inf_{b\in B}\| a-b\|_ \infty,\;\sup_{b\in B} \inf_{a\in A}\| a- b\|_ \infty\right\} \] is the Hausdorff distance between \(A\) and \(B\). Furthermore, the estimate is sharp. (2) Suppose that \(\mu\) is finite and \({\mathcal K}\subset L_ \infty\) is an \(\|\cdot\|_ 1\)-closed and \(\|\cdot\|_ \infty\)-bounded compact lattice which is invariant under translation by constants. If \(f,f'\in L_ \infty\), then \[ \| m_ 1(f)- m_ 1(f')\|_ \infty\leq \| f- f'\|_ \infty, \] where \(m_ 1(f)\) is natural best \(\|\cdot\|_ 1\) approximant to \(f\) from \(\mathcal K\) with the property \(\|\pi_ p(f)- m_ 1(f)\|\to 0\) as \(p\downarrow 1\), \(\pi_ p(f)\) denotes the single element of \(\pi_ p(f)\). Furthermore, the estimate is sharp.