Strong subdifferentiability of convex functionals and proximinality
type: Item
instance of: scholarly article
title: Strong subdifferentiability of convex functionals and proximinality
zbMATH Open document ID: 1022.49017
author: V. Indumathi
author: Gilles Godefroy
author: Françoise Lust-Piquard
published in: Journal of Approximation Theory
publication date: 2002-09-12T00:00:00Z
review text: Let \(X\) be a real Banach space with dual \(X^*\) and let \(Y\) be a closed subspace of \(X\) with finite codimension \(n\). For \(x\in X\) and \(\delta> 0\) let \hskip 17mm \(d(x,Y)= \inf\{\|x-y\|; y\in Y\}\), \hskip 17mm \(P_Y(x)= \{y\in Y;\|x-y\|= d(x,Y)\}\), \hskip 17mm \(P_Y(x,\delta)= \{y\in Y;\|x-y\|< d(x, Y)+\delta\}\). The subspace \(Y\) is said to be \textit{strongly proximinal} if it is proximinal (i.e., \(P_Y(x)\) is nonempty for each \(x\in X\)) and the following holds: \[ \forall x\in X \forall\varepsilon> 0 \exists\delta> 0: y\in P_Y(x,\delta)\Leftrightarrow d(y, P_Y(x))< \varepsilon. \] A function \(F\) on some Banach space \(Z\) is said to be \textit{strongly subdifferentiable} at \(z\in Z\) if the one-sided limit \(\lim_{t\to 0^+}(F(z+ th)- F(z))/t\) exists uniformly for \(h\) in the unit sphere of \(Z\). It is well known that if \(Y\) is proximinal, then each functional in \(X^*\) that vanishes on \(Y\) attains its norm. The main result of the present paper (Theorem 3.2) says that \(Y\) is strongly proximinal if the support functions \(S_{C_i}: X^*\to \mathbb{R}\) of certain sets \(C_i\subset X\) \((i= 1,\dots, n)\) are strongly subdifferentiable at certain points. If, in particular, the norm of \(X^*\) is Fréchet differentiable at each nonzero norm-attaining functional of \(X^*\), then \(Y\) is strongly proximinal if and only if each functional in \(X^*\) that vanishes on \(Y\) attains its norm. The results are applied to the Banach space \(K(l_2)\) of compact operators on \(l_2\).
Mathematics Subject Classification ID: 49J52
Mathematics Subject Classification ID: 49J27
zbMATH DE Number: 1800271
zbMATH Keywords: proximinal subspaces
zbMATH Keywords: strong subdifferentiability
reviewed by: Winfried Schirotzek
MaRDI profile type: Publication
full work available at URL: jath.2002.3679
OpenAlex ID: W1975049393
cites work: Q4145169
cites work: Representers of linear functionals, norm-attaining functionals, and best approximation by cones and linear varieties in inner product spaces
cites work: Q3134552
cites work: Q5287885
cites work: Q5735446
cites work: Strong proximinality and polyhedral spaces
cites work: Norm-to-weak upper semi-continuity of the duality and pre-duality mappings
cites work: Proximinality in subspaces of \(c_0\)
cites work: Proximinal Subspaces of Finite Codimesion in General Normed Linear Spaces
cites work: On transitivity of proximinality
cites work: Cebysev subspaces of finite codimension in \(C(X)\)
cites work: Convex functions, monotone operators and differentiability
cites work: Q5582606
cites work: Q5662870
cites work: Q4078522
cites work: Q3852626
cites work: Q3886242
cites work: Q3891172
cites work: Elements of best approximation relative to subspaces of finite codimension
cites work: Subspaces of finite codimension: The existence of elements of best approximation
DOI: 10.1006/JATH.2002.3679
description: scientific article; zbMATH DE number 1800271