On strongly norm attaining Lipschitz maps (Q2314544): Difference between revisions

This paper is devoted to study the set of Lipschitz maps from a complete pointed metric space \(M\) to a Banach space \(Y\) which attain their Lipschitz norm \((SNA(M,Y))\). This subset of \(\mathrm{Lip}_0(M,Y)\) was known to be non-dense in \(\mathrm{Lip}_0(M,Y)\) for some metric spaces \(M\) and \(Y=\mathbb{R}\). The authors give a new condition on \(M\) (being a complete length pointed metric space) ensuring that \(SNA(M,\mathbb{R})\) is not dense in \(\mathrm{Lip}_0(M,\mathbb{R})\) which in particular applies to closed subsets of \([0,1]\) having positive Lebesgue measure. Since \(\mathrm{Lip}_0(M,Y)\) can be completely identified with the space of bounded linear operators from the Lipschitz free space \(\mathcal{F}(M)\) to \(Y\), the study of the density of some kinds of norm attaining Lipschitz functions is very related to the study of norm attaining operators and so to the well-studied Lindenstrauss Property~A. The interested reader will find in the thorough introduction a detailed account of the actual state of both lines of research as well as what the known results in each line of research mean in the other one. The authors show that \(SNA(M,Y)\) is norm dense in \(\mathrm{Lip}_0(M,Y)\) for every Banach space \(Y\) whenever \(\mathcal{F}(M)\) has property \(\alpha\), property quasi-\(\alpha\), or if its unit ball is the closed convex hull of the set of uniformly strongly exposed points. Moreover, they give characterizations of these three geometrical properties of \(\mathcal{F}(M)\) in terms of intrinsic properties of the metric space \(M\). Besides, the authors turn to analyse weaker versions of the density of norm-attaining Lipschitz functions, showing that \(SNA(M,\mathbb{R})\) is weakly sequentially dense in \(\mathrm{Lip}_0(M,\mathbb{R})\) without restrictions on \(M\). Finally, it is proved that the norm of the bidual of \(\mathcal{F}(M)\) is octahedral when \(M\) is discrete but not uniformly discrete or when \(M'\) is infinite.