On well-posed best approximation problems for a nonsymmetric seminorm (Q2841079)

A functional \(\mu\) from a Banach space \(E\) to \([0,+\infty)\) is called a nonsymmetric seminorm if it is positively homogeneous and subadditive. A set \(M\subset E\) is said to be a quasiball if it is closed convex and \(0\) is an interior point of \(M\) (a quasiball may be unbounded). There is a duality bijection between quasiballs and Lipschitzian nonsymmetric seminorms: A functional \(\mu\) is a Lipschitzian nonsymmetric seminorm iff it is the Minkowski functional of a quasiball \(M\). For a closed set \(A\subset E\) and a point \(x_0\in E\), the best approximation problem is to approximate \(x_0\) with a point \(a\in A\) best in the sense of the nonsymmetric seminorm (the Minkowski functional). This problem is said to be well-posed if every minimizing sequence of the problem converges. The \(M\)-distance from a point \(x_0\) to a set \(A\) is the infimum of \(\mu(x_0- a)\) such that \(a\in A\), where \(\mu\) is the Minkowski functional of the quasiball \(M\). The intermediate region of the best approximation problem is the set of all \(x_0\in E\) such that the \(M\)-distance from \(x_0\) to \(A\) is not extremal (greater than \(0\) and less than its supremum). Let \(T_M(A)\) be the set of all \(x_0\in E\) such that the best approximation problem is well-posed.NEWLINENEWLINE The article is devoted to the investigation of properties of the quasiball \(M\) which are necessary and/or sufficient for any closed set \(A\subset E\) the set \(T_M(A)\) to be dense or residual and for the complement of \(T_M(A)\) to be \(\sigma\)-porous in the intermediate region.