-
On free bases of Banach spaces
Authors:
E. Pernecká,
J. Spěvák
Abstract:
We call a closed subset M of a Banach space X a free basis of X if it contains the null vector and every Lipschitz map from M to a Banach space Y, which preserves the null vectors can be uniquely extended to a bounded linear map from X to Y. We then say that two complete metric spaces M and N are Mol-equivalent if they admit bi-Lipschitz copies M' and N', respectively that are free bases of a comm…
▽ More
We call a closed subset M of a Banach space X a free basis of X if it contains the null vector and every Lipschitz map from M to a Banach space Y, which preserves the null vectors can be uniquely extended to a bounded linear map from X to Y. We then say that two complete metric spaces M and N are Mol-equivalent if they admit bi-Lipschitz copies M' and N', respectively that are free bases of a common Banach space satisfying span M'=span N'.
In this note, we compare Mol-equivalence with some other natural equivalences on the class of complete metric spaces. The main result states that Mol-equivalent spaces must have the same Čech-Lebesgue covering dimension. In combination with the work of Godard, this implies that two complete metric spaces with isomorphic Lipschitz-free spaces need not be Mol-equivalent. Also, there exist non-homeomorphic Mol-equivalent metric spaces, and, in contrast with the covering dimension, the metric Assouad dimension is not preserved by Mol-equivalence.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
de Leeuw representations of functionals on Lipschitz spaces
Authors:
Ramón J. Aliaga,
E. Pernecká,
Richard J. Smith
Abstract:
Let $\mathrm{Lip}_0(M)$ be the space of Lipschitz functions on a complete metric space $(M,d)$ that vanish at a point $0\in M$. We investigate its dual $\mathrm{Lip}_0(M)^*$ using the de Leeuw transform, which allows representing each functional on $\mathrm{Lip}_0(M)$ as a (non-unique) measure on $β\widetilde{M}$, where $\widetilde{M}$ is the space of pairs $(x,y)\in M\times M$, $x\neq y$. We dist…
▽ More
Let $\mathrm{Lip}_0(M)$ be the space of Lipschitz functions on a complete metric space $(M,d)$ that vanish at a point $0\in M$. We investigate its dual $\mathrm{Lip}_0(M)^*$ using the de Leeuw transform, which allows representing each functional on $\mathrm{Lip}_0(M)$ as a (non-unique) measure on $β\widetilde{M}$, where $\widetilde{M}$ is the space of pairs $(x,y)\in M\times M$, $x\neq y$. We distinguish a set of points of $β\widetilde{M}$ that are "away from infinity", which can be assigned coordinates belonging to the Lipschitz realcompactification $M^{\mathcal{R}}$ of $M$. We define a natural metric $\bar{d}$ on $M^{\mathcal{R}}$ extending $d$ and we show that optimal (i.e. positive and norm-minimal) de Leeuw representations of well-behaved functionals are characterised by $\bar{d}$-cyclical monotonicity of their support, extending known results for functionals in $\mathcal{F}(M)$, the predual of $\mathrm{Lip}_0(M)$. We also extend the Kantorovich-Rubinstein theorem to normal Hausdorff spaces, in particular to $M^{\mathcal{R}}$, and use this to characterise measure-induced and majorisable functionals in $\mathrm{Lip}_0(M)^*$ as those admitting optimal representations with additional finiteness properties. Finally, we use de Leeuw representations to define a natural L-projection of $\mathrm{Lip}_0(M)^*$ onto $\mathcal{F}(M)$ under some conditions on $M$.
△ Less
Submitted 9 May, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Convex integrals of molecules in Lipschitz-free spaces
Authors:
Ramón J. Aliaga,
Eva Pernecká,
Richard J. Smith
Abstract:
We introduce convex integrals of molecules in Lipschitz-free spaces $\mathcal{F}(M)$ as a continuous counterpart of convex series considered elsewhere, based on the de Leeuw representation. Using optimal transport theory, we show that these elements are determined by cyclical monotonicity of their supports, and that under certain finiteness conditions they agree with elements of $\mathcal{F}(M)$ t…
▽ More
We introduce convex integrals of molecules in Lipschitz-free spaces $\mathcal{F}(M)$ as a continuous counterpart of convex series considered elsewhere, based on the de Leeuw representation. Using optimal transport theory, we show that these elements are determined by cyclical monotonicity of their supports, and that under certain finiteness conditions they agree with elements of $\mathcal{F}(M)$ that are induced by Radon measures on $M$, or that can be decomposed into positive and negative parts. We also show that convex integrals differ in general from convex series of molecules. Finally, we present some standalone results regarding extensions of Lipschitz functions which, combined with the above, yield applications to the extremal structure of $\mathcal{F}(M)$. In particular, we show that all elements of $\mathcal{F}(M)$ are convex series of molecules when $M$ is uniformly discrete and identify all extreme points of the unit ball of $\mathcal{F}(M)$ in that case.
△ Less
Submitted 3 May, 2024; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Integral representation and supports of functionals on Lipschitz spaces
Authors:
Ramón J. Aliaga,
Eva Pernecká
Abstract:
We analyze the relationship between Borel measures and continuous linear functionals on the space $\mathrm{Lip}_0(M)$ of Lipschitz functions on a complete metric space $M$. In particular, we describe continuous functionals arising from measures and vice versa. In the case of weak$^\ast$ continuous functionals, i.e. members of the Lipschitz-free space $\mathcal{F}(M)$, measures on $M$ are considere…
▽ More
We analyze the relationship between Borel measures and continuous linear functionals on the space $\mathrm{Lip}_0(M)$ of Lipschitz functions on a complete metric space $M$. In particular, we describe continuous functionals arising from measures and vice versa. In the case of weak$^\ast$ continuous functionals, i.e. members of the Lipschitz-free space $\mathcal{F}(M)$, measures on $M$ are considered. For the general case, we show that the appropriate setting is rather the uniform (or Samuel) compactification of $M$ and that it is consistent with the treatment of $\mathcal{F}(M)$. This setting also allows us to give a definition of support for all elements of $\mathrm{Lip}_0(M)^\ast$ with similar properties to those in $\mathcal{F}(M)$, and we show that it coincides with the support of the representing measure when such a measure exists. We deduce that the members of $\mathrm{Lip}_0(M)^\ast$ that can be expressed as the difference of two positive functionals admit a Jordan-like decomposition into a positive and a negative part.
△ Less
Submitted 4 August, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Topological groups with invariant linear spans
Authors:
Eva Pernecká,
Jan Spěvák
Abstract:
Given a topological group $G$ that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that $G$ has invariant linear span if all linear spans of $G$ under arbitrary embeddings into topological vector spaces are isomorphic as topological vector spaces.
For an arbitrary set $A$ let $\mathbb{Z}^{(A)}$ be the direct sum of $|A|$-many copies o…
▽ More
Given a topological group $G$ that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that $G$ has invariant linear span if all linear spans of $G$ under arbitrary embeddings into topological vector spaces are isomorphic as topological vector spaces.
For an arbitrary set $A$ let $\mathbb{Z}^{(A)}$ be the direct sum of $|A|$-many copies of the discrete group of integers endowed with the Tychonoff product topology. We show that the topological group $\mathbb{Z}^{(A)}$ has invariant linear span. This answers a question of D. Dikranjan et al. in positive.
We prove that given a non-discrete sequential space $X$, the free abelian topological group $A(X)$ over $X$ is an example of a topological group that embeds into a topological vector space but does not have invariant linear span.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Normal functionals on Lipschitz spaces are weak$^\ast$ continuous
Authors:
Ramón J. Aliaga,
Eva Pernecká
Abstract:
Let $\operatorname{Lip}_0(M)$ be the space of Lipschitz functions on a complete metric space $M$ that vanish at a base point. We show that every normal functional in $\operatorname{Lip}_0(M)^\ast$ is weak$^*$ continuous, answering a question by N. Weaver.
Let $\operatorname{Lip}_0(M)$ be the space of Lipschitz functions on a complete metric space $M$ that vanish at a base point. We show that every normal functional in $\operatorname{Lip}_0(M)^\ast$ is weak$^*$ continuous, answering a question by N. Weaver.
△ Less
Submitted 9 April, 2021; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Supports in Lipschitz-free spaces and applications to extremal structure
Authors:
Ramón J. Aliaga,
Eva Pernecká,
Colin Petitjean,
Antonín Procházka
Abstract:
We show that the class of Lipschitz-free spaces over closed subsets of any complete metric space $M$ is closed under arbitrary intersections, improving upon the previously known finite-diameter case. This allows us to formulate a general and natural definition of supports for elements in a Lipschitz-free space $\mathcal F(M)$. We then use this concept to study the extremal structure of…
▽ More
We show that the class of Lipschitz-free spaces over closed subsets of any complete metric space $M$ is closed under arbitrary intersections, improving upon the previously known finite-diameter case. This allows us to formulate a general and natural definition of supports for elements in a Lipschitz-free space $\mathcal F(M)$. We then use this concept to study the extremal structure of $\mathcal F(M)$. We prove in particular that $(δ(x) - δ(y))/d(x,y)$ is an exposed point of the unit ball of $\mathcal F(M)$ whenever the metric segment $[x,y]$ is trivial, and that any extreme point which can be expressed as a finitely supported perturbation of a positive element must be finitely supported itself. We also characterise the extreme points of the positive unit ball: they are precisely the normalized evaluation functionals on points of $M$.
△ Less
Submitted 3 April, 2020; v1 submitted 19 September, 2019;
originally announced September 2019.
-
Supports and extreme points in Lipschitz-free spaces
Authors:
Ramón J. Aliaga,
Eva Pernecká
Abstract:
For a complete metric space $M$, we prove that the finitely supported extreme points of the unit ball of the Lipschitz-free space $\mathcal{F}(M)$ are precisely the elementary molecules $(δ(p)-δ(q))/d(p,q)$ defined by pairs of points $p,q$ in $M$ such that the triangle inequality $d(p,q)<d(p,r)+d(q,r)$ is strict for any $r\in M$ different from $p$ and $q$. To this end, we show that the class of Li…
▽ More
For a complete metric space $M$, we prove that the finitely supported extreme points of the unit ball of the Lipschitz-free space $\mathcal{F}(M)$ are precisely the elementary molecules $(δ(p)-δ(q))/d(p,q)$ defined by pairs of points $p,q$ in $M$ such that the triangle inequality $d(p,q)<d(p,r)+d(q,r)$ is strict for any $r\in M$ different from $p$ and $q$. To this end, we show that the class of Lipschitz-free spaces over closed subsets of $M$ is closed under arbitrary intersections when $M$ has finite diameter, and that this allows a natural definition of the support of elements of $\mathcal{F}(M)$.
△ Less
Submitted 17 March, 2020; v1 submitted 26 October, 2018;
originally announced October 2018.
-
Lipschitz-free spaces over compact subsets of superreflexive spaces are weakly sequentially complete
Authors:
Tomasz Kochanek,
Eva Pernecká
Abstract:
Let $M$ be a compact subset of a superreflexive Banach space. We prove that the Lipschitz-free space $\mathcal{F}(M)$, the predual of the Banach space of Lipschitz functions on $M$, has the Pełczyński's property ($V^\ast$). As a consequence, the Lipschitz-free space $\mathcal{F}(M)$ is weakly sequentially complete.
Let $M$ be a compact subset of a superreflexive Banach space. We prove that the Lipschitz-free space $\mathcal{F}(M)$, the predual of the Banach space of Lipschitz functions on $M$, has the Pełczyński's property ($V^\ast$). As a consequence, the Lipschitz-free space $\mathcal{F}(M)$ is weakly sequentially complete.
△ Less
Submitted 3 July, 2017; v1 submitted 22 March, 2017;
originally announced March 2017.
-
Approximation and Schur properties for Lipschitz free spaces over compact metric spaces
Authors:
Petr Hájek,
Gilles Lancien,
Eva Pernecká
Abstract:
We prove that for any separable Banach space $X$, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to $X$. As a consequence we give an example of a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space fails the approximation property and we prove that the…
▽ More
We prove that for any separable Banach space $X$, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to $X$. As a consequence we give an example of a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space fails the approximation property and we prove that there exists an uncountable family of topologically equivalent distances on the Cantor space whose free spaces are pairwise non isomorphic. We also prove that the free space over a countable compact metric space has the Schur property. These results answer questions by G. Godefroy.
△ Less
Submitted 16 November, 2015; v1 submitted 9 July, 2015;
originally announced July 2015.
-
On uniformly differentiable map**s from $\ell_\infty(Γ)$
Authors:
Petr Hájek,
Eva Pernecká
Abstract:
In 1970 Haskell Rosenthal proved that if $X$ is a Banach space, $Γ$ is an infinite index set, and $T:\ell_\infty(Γ)\to X$ is a bounded linear operator such that $\inf_{γ\inΓ}\|T(e_γ)\|>0$ then $T$ acts as an isomorphism on $\ell_\infty(Γ')$, for some $Γ'\subsetΓ$ of the same cardinality as $Γ$. Our main result is a nonlinear strengthening of this theorem. More precisely, under the assumption of GC…
▽ More
In 1970 Haskell Rosenthal proved that if $X$ is a Banach space, $Γ$ is an infinite index set, and $T:\ell_\infty(Γ)\to X$ is a bounded linear operator such that $\inf_{γ\inΓ}\|T(e_γ)\|>0$ then $T$ acts as an isomorphism on $\ell_\infty(Γ')$, for some $Γ'\subsetΓ$ of the same cardinality as $Γ$. Our main result is a nonlinear strengthening of this theorem. More precisely, under the assumption of GCH and the regularity of $Γ$, we show that if ${F}:B_{\ell_\infty(Γ)}\to X$ is uniformly differentiable and such that $\inf_{γ\inΓ}\|{F}(e_γ){-F(0)}\|>0$ then there exists $x\in B_{\ell_\infty(Γ)}$ such that $d{F}(x)[\cdot]$ is a bounded linear operator which acts as an isomorphism on $\ell_\infty(Γ')$, for some $Γ'\subsetΓ$ of the same cardinality as $Γ$.
△ Less
Submitted 9 December, 2015; v1 submitted 11 March, 2015;
originally announced March 2015.
-
The Metric Approximation Property and Lipschitz-Free Spaces over Subsets of $\mathbb{R}^N$
Authors:
Eva Pernecká,
Richard J. Smith
Abstract:
We prove that for certain subsets $M \subseteq \mathbb{R}^N$, $N \geqslant 1$, the Lipschitz-free space $\mathcal{F}(M)$ has the metric approximation property (MAP), with respect to any norm on $\mathbb{R}^N$. In particular, $\mathcal{F}(M)$ has the MAP whenever $M$ is a finite-dimensional compact convex set. This should be compared with a recent result of Godefroy and Ozawa, who showed that there…
▽ More
We prove that for certain subsets $M \subseteq \mathbb{R}^N$, $N \geqslant 1$, the Lipschitz-free space $\mathcal{F}(M)$ has the metric approximation property (MAP), with respect to any norm on $\mathbb{R}^N$. In particular, $\mathcal{F}(M)$ has the MAP whenever $M$ is a finite-dimensional compact convex set. This should be compared with a recent result of Godefroy and Ozawa, who showed that there exists a compact convex subset $M$ of a separable Banach space, for which $\mathcal{F}(M)$ fails the approximation property.
△ Less
Submitted 28 January, 2015;
originally announced January 2015.
-
Approximation properties and Schauder decompositions in Lipschitz-free spaces
Authors:
Gilles Lancien,
Eva Pernecka
Abstract:
We prove that the Lipschitz-free space over a doubling metric space has the bounded approximation property. We also show that the Lipschitz-free spaces over $\ell_1^N$ or $\ell_1$ have monotone finite-dimensional Schauder decompositions.
We prove that the Lipschitz-free space over a doubling metric space has the bounded approximation property. We also show that the Lipschitz-free spaces over $\ell_1^N$ or $\ell_1$ have monotone finite-dimensional Schauder decompositions.
△ Less
Submitted 6 July, 2012;
originally announced July 2012.
