The NSLUC property and Klee envelope (Q303578)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The NSLUC property and Klee envelope
scientific article

    Statements

    The NSLUC property and Klee envelope (English)
    0 references
    0 references
    0 references
    0 references
    22 August 2016
    0 references
    Let \(X\) be a real normed space and \(f:X\to\mathbb{R} \cup\{+\infty\}\). For \(\lambda>0\) and \(p\geq 1\) the Klee envelope of the function \(f\) at \(x\in X\) is defined by \[ \kappa_{\lambda,p}f(x)=\sup_{x\in X}\left(\frac1{p\lambda}\,\|x-y\|^p-f(y)\right)\,, \] and the associated attainment set by \[ Q_{\lambda,p}f(x)=\left\{y\in X : \frac1{p\lambda}\,\|x-y\|^p-f(y)= \kappa_{\lambda,p}f(x)\right\}\,. \] If \(\lambda = p=1\) and \(f\) is the indicator function \(\psi_S\) of a subset \(S\) of \(X\) (\(\psi_S(x)=0\) for \(x\in S\) and \(=\infty\) otherwise), then the Klee envelope becomes the farthest distance function \(\Delta_S(x)=\sup\{\|x-y\| : y\in S\}\) and the attainment set is the set \(Q_S(x)\) of farthest points from \(x\) in \(S\). At the same time, \(\kappa_{\lambda,p}f(x)\) is a particular case of supremal convolution (in the sense of Moreau) applied to the functions \(\frac1{p\lambda}\|x-\cdot\|^p\) and \(-f(\cdot)\). A key property used throughout the paper consists in the validity of the following inclusions \[ (*)\qquad Q_{\lambda,p}f(x)\subset Q_{\lambda,p}(\overline{co}f)(x)\subset co Q_{\lambda,p}f(x)\,, \] allowing to reduce the study of attainment points to lsc convex functions (here \(\overline{co}f\) denotes the upper lsc convex envelope of \(f\)). In the case of farthest points, one obtains the equality \(Q_S(x)=Q_{\overline{co} S}(x)\). For the validity of the inclusions \((*)\), a special property is needed, called Norm Subdifferential Local Uniform Convexity (NSLUC) property of a subset \(S\) of \(X\), expressed in terms of bounded subsets of \(S\) and of the subdifferential \(\partial\|\cdot\|\) of the norm. It turns out that the whole space \(X\) has the NSLUC property if and only if its unit sphere \(S_X\) has this property. If \(X\) is reflexive, the \(X\) has NSLUC if and only if the norm \(\|\cdot\|\) is strictly convex and has the Kadec-Klee property, if and only if \(\|\cdot\|\) has the Kadec-Klee property and its dual norm is Gâteaux differentiable off the origin. In Theorem 2, the authors show that the inclusions \((*)\) hold provided that the set \(\text{dom}f-x\) has the NSLUC property. They hold also if the Banach space \(X\) is locally uniformly rotund, or fully \(k\)-convex, and in other instances as well (Theorem 3). Connections of the Klee envelope to an appropriate distance function are established, allowing to deduce some subdifferential properties from those of the distance function to the complement of a an open bounded convex set (the so called Klee caverns). Another question discussed in the paper is Klee's problem: if every subset of a Banach space with the unique farthest point property is a singleton, then every Chebyshev subset of \(X\) is convex. The authors show that if \(S\) is a closed convex subset of a Hilbert space \(X\) having the unique farthest point property and containing at least two points, then there there exists a bounded open convex subset \(U\) of \(X\) such that the set \(X\setminus U\) is Chebyshev. The question of the density of farthest points of a subset \(S\) in \(X\) is also discussed in connection with the Mazur intersection property (every closed bounded convex subset of \(X\) is equal to the intersection of all closed balls containing it). The results obtained in this paper generalize many known results, shed a new light and add new knowledge to some old problems on farthest points.
    0 references
    Klee envelope
    0 references
    Banach spaces
    0 references
    best approximation
    0 references
    subdifferential
    0 references
    nearest points
    0 references
    farthest points
    0 references
    Chebyshev set
    0 references
    Kadec-Klee property
    0 references
    reflexivity
    0 references
    smoothness
    0 references
    Mazur intersection property
    0 references
    local uniform rotundity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references