-
On strongly norm attaining Lipschitz maps
Authors:
Bernardo Cascales,
Rafa Chiclana,
Luis Garcia-Lirola,
Miguel Martin,
Abraham Rueda Zoca
Abstract:
We study the set $\operatorname{SNA}(M,Y)$ of those Lipschitz maps from a (complete pointed) metric space $M$ to a Banach space $Y$ which (strongly) attain their Lipschitz norm (i.e.\ the supremum defining the Lipschitz norm is a maximum). Extending previous results, we prove that this set is not norm dense when $M$ is a length space (or local) or when $M$ is a closed subset of $\mathbb{R}$ with p…
▽ More
We study the set $\operatorname{SNA}(M,Y)$ of those Lipschitz maps from a (complete pointed) metric space $M$ to a Banach space $Y$ which (strongly) attain their Lipschitz norm (i.e.\ the supremum defining the Lipschitz norm is a maximum). Extending previous results, we prove that this set is not norm dense when $M$ is a length space (or local) or when $M$ is a closed subset of $\mathbb{R}$ with positive Lebesgue measure, providing new examples which have very different topological properties than the previously known ones. On the other hand, we study the linear properties which are sufficient to get Lindenstrauss property A for the Lipschitz-free space $\mathcal{F}(M)$ over $M$, and show that all of them actually provide the norm density of $\operatorname{SNA}(M,Y)$ in the space of all Lipschitz maps from $M$ to any Banach space $Y$. Next, we prove that $\operatorname{SNA}(M,\mathbb{R})$ is weakly sequentially dense in the space of all Lipschitz functions for all metric spaces $M$. Finally, we show that the norm of the bidual space of $\mathcal{F}(M)$ is octahedral provided the metric space $M$ is discrete but not uniformly discrete or $M'$ is infinite.
△ Less
Submitted 8 January, 2019; v1 submitted 9 July, 2018;
originally announced July 2018.
-
$Γ$-flatness and Bishop-Phelps-Bollobás type theorems for operators
Authors:
Bernardo Cascales,
Antonio J. Guirao,
Vladimir Kadets,
Mariia Soloviova
Abstract:
The Bishop-Phelps-Bollobás property deals with simultaneous approximation of an operator $T$ and a vector $x$ at which $T$ nearly attains its norm by an operator $T_0$ and a vector $x_0$, respectively, such that $T_0$ attains its norm at $x_0$. In this note we extend the already known results about {the} Bishop-Phelps-Bollobás property for Asplund operators to a wider class of Banach spaces and to…
▽ More
The Bishop-Phelps-Bollobás property deals with simultaneous approximation of an operator $T$ and a vector $x$ at which $T$ nearly attains its norm by an operator $T_0$ and a vector $x_0$, respectively, such that $T_0$ attains its norm at $x_0$. In this note we extend the already known results about {the} Bishop-Phelps-Bollobás property for Asplund operators to a wider class of Banach spaces and to a wider class of operators. Instead of proving a BPB-type theorem for each space separately we isolate two main notions: $Γ$-flat operators and Banach spaces with ACK$_ρ$ structure. In particular, we prove a general BPB-type theorem for $Γ$-flat operators acting to a space with ACK$_ρ$ structure and show that uniform algebras and spaces with the property $β$ have ACK$_ρ$ structure. We also study the stability of the ACK$_ρ$ structure under some natural Banach space theory operations. As a consequence, we discover many new examples of spaces $Y$ such that the Bishop-Phelps-Bollobás property for Asplund operators is valid for all pairs of the form ($X,Y$).
△ Less
Submitted 6 April, 2017;
originally announced April 2017.
-
One side James' Compactness Theorem
Authors:
Bernardo Cascales,
José Orihuela,
Antonio Pérez
Abstract:
We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties. The main result, which answers a question posed by F. Delbaen, is the following: Let $E$ be a Banach space such that $(B_{E^\ast}, ω^\ast)$ is convex block comp…
▽ More
We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties. The main result, which answers a question posed by F. Delbaen, is the following: Let $E$ be a Banach space such that $(B_{E^\ast}, ω^\ast)$ is convex block compact. Let $A$ and $B$ be bounded, closed and convex sets with distance $d(A,B) > 0$. If every $x^\ast \in E^\ast$ with \[ \sup(x^\ast,B) < \inf(x^\ast,A) \] attains its infimum on $A$ and its supremum on $B$, then $A$ and $B$ are both weakly compact.
We obtain new characterizations of weakly compact sets and reflexive spaces, as well as a result concerning a variational problem in dual Banach spaces.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
A quantitative version of James' compactness theorem
Authors:
Bernardo Cascales,
Ondřej F. K. Kalenda,
Jiří Spurný
Abstract:
We introduce two measures of weak non-compactness $Ja_E$ and $Ja$ that quantify, via distances, the idea of boundary behind James' compactness theorem. These measures tell us, for a bounded subset $C$ of a Banach space $E$ and for given $x^*\in E^*$, how far from $E$ or $C$ one needs to go to find $x^{**}\in \bar{C}^{w^*}\subset E^{**}$ with $x^{**}(x^*)=\sup x^* (C)$. A quantitative version of Ja…
▽ More
We introduce two measures of weak non-compactness $Ja_E$ and $Ja$ that quantify, via distances, the idea of boundary behind James' compactness theorem. These measures tell us, for a bounded subset $C$ of a Banach space $E$ and for given $x^*\in E^*$, how far from $E$ or $C$ one needs to go to find $x^{**}\in \bar{C}^{w^*}\subset E^{**}$ with $x^{**}(x^*)=\sup x^* (C)$. A quantitative version of James' compactness theorem is proved using $Ja_E$ and $Ja$, and in particular it yields the following result: {\it Let $C$ be a closed convex bounded subset of a Banach space $E$ and $r>0$. If there is an element $x_0^{**}$ in $\bar{C}^{w^*}$ whose distance to $C$ is greater than $r$, then there is $x^*\in E^*$ such that each $x^{**}\in\bar{C}^{w^*}$ at which $\sup x^*(C)$ is attained has distance to $E$ greater than $r/2$.} We indeed establish that $Ja_E$ and $Ja$ are equivalent to other measures of weak non-compactness studied in the literature. We also collect particular cases and examples showing when the inequalities between the different measures of weak non-compactness can be equalities and when the inequalities are sharp.
△ Less
Submitted 31 May, 2010;
originally announced May 2010.
-
The Schur l1 Theorem for filters
Authors:
Antonio Avilés,
Bernardo Cascales,
Vladimir Kadets,
Alexander Leonov
Abstract:
We study the classes of filters F on N such that the weak and strong F-convergence of sequences in l1 coincide. We study also an analogue of l1 weak sequential completeness theorem for filter convergence.
We study the classes of filters F on N such that the weak and strong F-convergence of sequences in l1 coincide. We study also an analogue of l1 weak sequential completeness theorem for filter convergence.
△ Less
Submitted 3 March, 2009;
originally announced March 2009.
