The NSLUC property and Klee envelope (Q303578): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Abderrahim Jourani / rank | |||
Property / author | |||
Property / author: Lionel Thibault / rank | |||
Property / author | |||
Property / author: Abderrahim Jourani / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Lionel Thibault / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49J52 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46N10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52A41 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 41A50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 41A65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6618519 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Klee envelope | |||
Property / zbMATH Keywords: Klee envelope / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Banach spaces | |||
Property / zbMATH Keywords: Banach spaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
best approximation | |||
Property / zbMATH Keywords: best approximation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subdifferential | |||
Property / zbMATH Keywords: subdifferential / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nearest points | |||
Property / zbMATH Keywords: nearest points / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
farthest points | |||
Property / zbMATH Keywords: farthest points / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Chebyshev set | |||
Property / zbMATH Keywords: Chebyshev set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kadec-Klee property | |||
Property / zbMATH Keywords: Kadec-Klee property / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reflexivity | |||
Property / zbMATH Keywords: reflexivity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
smoothness | |||
Property / zbMATH Keywords: smoothness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mazur intersection property | |||
Property / zbMATH Keywords: Mazur intersection property / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local uniform rotundity | |||
Property / zbMATH Keywords: local uniform rotundity / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ştefan Cobzaş / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00208-015-1283-z / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1262301128 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Farthest points in reflexive locally uniformly rotund Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sets with unique farthest points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Mazur intersection property for families of closed bounded convex sets in Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Farthest points and the farthest distance map / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convex analysis and monotone operator theory in Hilbert spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chebyshev Sets, Klee Sets, and Chebyshev Centers with Respect to Bregman Distances: Recent Results and Open Problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence Of Nearest Points In Banach Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ball separation properties in Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Attainment and (sub)differentiability of the supremal convolution of a function and square of the norm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Best approximation in inner product spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3134552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Farthest points in <i>W</i>*-compact sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry of Banach spaces. Selected topics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized subdifferential of the distance function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Farthest points of sets in uniformly convex Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Exposed and Farthest Points in Normed Linear Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach space theory. The basis for linear and nonlinear analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FULLY CONVEX NORMED LINEAR SPACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some geometric properties of the spheres in a normed linear space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric projections and the differentiability of distance functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moons, bridges, birds … and nonexpansive mappings in Hilbert space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5295627 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Potpourri of Conjectures and Open Questions in Nonlinear Analysis and Optimization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4104377 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential properties of the Moreau envelope / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convexity of Chebyshev sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Farthest points in weakly compact sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über schwache Konvergenz in den Raümen ($L^{p}$) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on farthest points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proximité et dualité dans un espace hilbertien / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inf-convolution, sous-additivite, convexite des fonctions numériques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of farthest points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Banach Space which is Fully 2-Rotund but not Locally Uniformly Rotund / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5613420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonsmooth analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Chebyshev functions and Klee functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Farthest points and monotone operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalence among various derivatives and subdifferentials of the distance function. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cancellation law for inf-convolution of convex functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Some Extremal Problems in Banach Spaces. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:42, 12 July 2024
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
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