-
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.
-
A note on nonseparable Lipschitz-free spaces
Authors:
Ramón J. Aliaga,
Guillaume Grelier,
Antonín Procházka
Abstract:
We prove that several classical Banach space properties are equivalent to separability for the class of Lipschitz-free spaces, including Corson's property ($\mathcal{C}$), Talponen's Countable Separation Property, or being a Gâteaux differentiability space. On the other hand, we single out more general properties where this equivalence fails. In particular, the question whether the duals of non-se…
▽ More
We prove that several classical Banach space properties are equivalent to separability for the class of Lipschitz-free spaces, including Corson's property ($\mathcal{C}$), Talponen's Countable Separation Property, or being a Gâteaux differentiability space. On the other hand, we single out more general properties where this equivalence fails. In particular, the question whether the duals of non-separable Lipschitz-free spaces have a weak$^*$ sequentially compact ball is undecidable in ZFC. Finally, we provide an example of a nonseparable dual Lipschitz-free space that fails the Radon-Nikodým property.
△ Less
Submitted 4 April, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
A relative version of Daugavet-points and the Daugavet property
Authors:
Trond A. Abrahamsen,
Ramón J. Aliaga,
Vegard Lima,
André Martiny,
Yoël Perreau,
Antonín Prochazka,
Triinu Veeorg
Abstract:
We introduce relative versions of Daugavet-points and the Daugavet property, where the Daugavet-behavior is localized inside of some supporting slice. These points present striking similarities with Daugavet-points, but lie strictly between the notions of Daugavet- and $Δ$-points. We provide a geometric condition that a space with the Radon--Nikodým property must satisfy in order to be able to con…
▽ More
We introduce relative versions of Daugavet-points and the Daugavet property, where the Daugavet-behavior is localized inside of some supporting slice. These points present striking similarities with Daugavet-points, but lie strictly between the notions of Daugavet- and $Δ$-points. We provide a geometric condition that a space with the Radon--Nikodým property must satisfy in order to be able to contain a relative Daugavet-point. We study relative Daugavet-points in absolute sums of Banach spaces, and obtain positive stability results under local polyhedrality of the underlying absolute norm. We also get extreme differences between the relative Daugavet property, the Daugavet property, and the diametral local diameter 2 property. Finally, we study Daugavet- and $Δ$-points in subspaces of $L_1(μ)$-spaces. We show that the two notions coincide in the class of all Lipschitz-free spaces over subsets of $\mathbb{R}$-trees. We prove that the diametral local diameter 2 property and the Daugavet property coincide for arbitrary subspaces of $L_1(μ)$, and that reflexive subspaces of $L_1(μ)$ do not contain $Δ$-points. A subspace of $L_1[0,1]$ with a large subset of $Δ$-points, but with no relative Daugavet-point, is constructed.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Delta-points and their implications for the geometry of Banach spaces
Authors:
Trond A. Abrahamsen,
Ramón J. Aliaga,
Vegard Lima,
André Martiny,
Yoël Perreau,
Antonín Prochazka,
Triinu Veeorg
Abstract:
We show that the Lipschitz-free space with the Radon--Nikodým property and a Daugavet point recently constructed by Veeorg is in fact a dual space isomorphic to $\ell_1$. Furthermore, we answer an open problem from the literature by showing that there exists a superreflexive space, in the form of a renorming of $\ell_2$, with a $Δ$-point. Building on these two results, we are able to renorm every…
▽ More
We show that the Lipschitz-free space with the Radon--Nikodým property and a Daugavet point recently constructed by Veeorg is in fact a dual space isomorphic to $\ell_1$. Furthermore, we answer an open problem from the literature by showing that there exists a superreflexive space, in the form of a renorming of $\ell_2$, with a $Δ$-point. Building on these two results, we are able to renorm every infinite-dimensional Banach space with a $Δ$-point.
Next, we establish powerful relations between existence of $Δ$-points in Banach spaces and their duals. As an application, we obtain sharp results about the influence of $Δ$-points for the asymptotic geometry of Banach spaces. In addition, we prove that if $X$ is a Banach space with a shrinking $k$-unconditional basis with $k < 2$, or if $X$ is a Hahn--Banach smooth space with a dual satisfying the Kadets--Klee property, then $X$ and its dual $X^*$ fail to contain $Δ$-points. In particular, we get that no Lipschitz-free space with a Hahn--Banach smooth predual contains $Δ$-points.
Finally we present a purely metric characterization of the molecules in Lipschitz-free spaces that are $Δ$-points, and we solve an open problem about representation of finitely supported $Δ$-points in Lipschitz-free spaces.
△ Less
Submitted 30 January, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
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.
-
Measurement of the scintillation resolution in liquid xenon and its impact for future segmented calorimeters
Authors:
C. Romo-Luque,
J. M. Benlloch-Rodríguez,
V. Herrero-Bosch,
N. Salor-Iguiñiz,
R. J. Aliaga,
V. Álvarez,
F. Ballester,
R. Esteve,
R. Gadea,
J. Generowicz,
A. Laing,
F. Monrabal,
M. Querol,
M. Rappaport,
J. Rodríguez,
J. Rodríguez-Ponce,
S. Teruel-Pardo,
J. F. Toledo,
R. Torres-Curado,
P. Ferrario,
J. J. Gómez-Cadenas
Abstract:
We report on a new measurement of the energy resolution that can be attained in liquid xenon when recording only the scintillation light. Our setup is optimised to maximise light collection, and uses state-of-the-art, high-PDE, VUV-sensitive silicon photomultipliers. We find a value of 4.2% +- 0.2% FWHM at 511 keV, a result much better than previous measurements and close to the Poissonian resolut…
▽ More
We report on a new measurement of the energy resolution that can be attained in liquid xenon when recording only the scintillation light. Our setup is optimised to maximise light collection, and uses state-of-the-art, high-PDE, VUV-sensitive silicon photomultipliers. We find a value of 4.2% +- 0.2% FWHM at 511 keV, a result much better than previous measurements and close to the Poissonian resolution that we expect in our setup (5.4% +- 0.8% FWHM at 511 keV). Our results are compatible with a null value of the intrinsic energy resolution in liquid xenon, with an upper bound of 0.4% FWHM at 95% CL at 511 keV, to be compared with 3--4% FWHM in the same region found by theoretical estimations which have been standing for the last twenty years. Our work opens new possibilities for apparatus based on liquid xenon and using scintillation only. In particular it suggests that modular scintillation detectors using liquid xenon can be very competitive as building blocks in segmented calorimeters, with applications to nuclear and particle physics as well as Positron Emission Tomography technology.
△ Less
Submitted 26 January, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Monte Carlo characterization of PETALO, a full-body liquid xenon-based PET detector
Authors:
J. Renner,
C. Romo-Luque,
R. J. Aliaga,
V. Álvarez,
F. Ballester,
J. M. Benlloch-Rodríguez,
J. V. Carrión,
D. Cubero,
J. Díaz,
R. Esteve,
R. Gadea,
J. Gillam,
J. Generowicz,
J. L. López-Gómez,
A. Martínez,
F. Monrabal,
M. Querol,
M. Rappaport,
J. Rodríguez,
J. Rodríguez-Ponce,
P. Solevi,
S. Teruel-Pardo,
J. F. Toledo,
R. Torres-Curado,
V. Herrero-Bosch
, et al. (2 additional authors not shown)
Abstract:
New detector approaches in Positron Emission Tomography imaging will play an important role in reducing costs, lowering administered radiation doses, and improving overall performance. PETALO employs liquid xenon as the active scintillating medium and UV-sensitive silicon photomultipliers for scintillation readout. The scintillation time in liquid xenon is fast enough to register time-of-flight in…
▽ More
New detector approaches in Positron Emission Tomography imaging will play an important role in reducing costs, lowering administered radiation doses, and improving overall performance. PETALO employs liquid xenon as the active scintillating medium and UV-sensitive silicon photomultipliers for scintillation readout. The scintillation time in liquid xenon is fast enough to register time-of-flight information for each detected coincidence, and sufficient scintillation is produced with low enough fluctuations to obtain good energy resolution. The present simulation study examines a full-body-sized PETALO detector and evaluates its potential performance in PET image reconstruction.
△ Less
Submitted 11 January, 2023; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions
Authors:
Ramón J. Aliaga,
Chris Gartland,
Colin Petitjean,
Antonín Procházka
Abstract:
We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to answer several questions in Lipschitz analysis. Notably, it follows that the Lipschitz-free space $\mathcal{F}(M)$ over a compact metric space $M$ is a dual spac…
▽ More
We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to answer several questions in Lipschitz analysis. Notably, it follows that the Lipschitz-free space $\mathcal{F}(M)$ over a compact metric space $M$ is a dual space if and only if $M$ is purely 1-unrectifiable. Furthermore, we establish a compact determinacy principle for the Radon-Nikodým property (RNP) and deduce that, for any complete metric space $M$, pure 1-unrectifiability is actually equivalent to some well-known Banach space properties of $\mathcal{F}(M)$ such as the RNP and the Schur property. A direct consequence is that any complete, purely 1-unrectifiable metric space isometrically embeds into a Banach space with the RNP. Finally, we provide a possible solution to a problem of Whitney by finding a rectifiability-based description of 1-critical compact metric spaces, and we use this description to prove the following: a bounded turning tree fails to be 1-critical if and only if each of its subarcs has $σ$-finite Hausdorff 1-measure.
△ Less
Submitted 29 October, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Extreme points in Lipschitz-free spaces over compact metric spaces
Authors:
Ramón J. Aliaga
Abstract:
We prove that all extreme points of the unit ball of a Lipschitz-free space over a compact metric space have finite support. Combined with previous results, this completely characterizes extreme points and implies that all of them are also extreme points in the bidual ball. For the proof, we develop some properties of an integral representation of functionals on Lipschitz spaces originally due to…
▽ More
We prove that all extreme points of the unit ball of a Lipschitz-free space over a compact metric space have finite support. Combined with previous results, this completely characterizes extreme points and implies that all of them are also extreme points in the bidual ball. For the proof, we develop some properties of an integral representation of functionals on Lipschitz spaces originally due to K. de Leeuw.
△ Less
Submitted 28 March, 2021; v1 submitted 1 February, 2021;
originally announced February 2021.
-
PETALO read-out: A novel approach for data acquisition systems in PET applications
Authors:
V. Herrero-Bosch,
R. Gadea,
R. J. Aliaga,
J. Rodríguez,
J. F. Toledo,
R. Torres-Curado,
F. Ballester,
R. Esteve,
J. J. Gómez-Cadenas,
P. Ferrario
Abstract:
PETALO (a Positron Emission Tof Apparatus based on Liquid xenOn) is a new approach for Positron Emission Tomography scanners, based on liquid xenon. The PETALO detector aims at capturing the light produced by the scintillation in LXe taking advantage of its uniform response and continuity. This strategy will lead to a geometrical distortion free behavior compared to other PET detectors. To this en…
▽ More
PETALO (a Positron Emission Tof Apparatus based on Liquid xenOn) is a new approach for Positron Emission Tomography scanners, based on liquid xenon. The PETALO detector aims at capturing the light produced by the scintillation in LXe taking advantage of its uniform response and continuity. This strategy will lead to a geometrical distortion free behavior compared to other PET detectors. To this end, the sensors chosen for the light readout are SiPMs, which provide large area, high gain and very low noise. In order to take advantage of the unique PETALO detector characteristics a read-out architecture must be designed to meet the following specifications: Electronics associated to detector (front-end and read-out itself) must be fully expandable in terms of detector size. Read-out scheme must be compatible with the non-segmented structure of the detector. Time of Flight (TOF) capabilities must be assured at the scanner level, that is to say front-end and read-out electronics should not degrade LXe time performance. In these proceedings, a new readout concept is introduced which is compatible with a fully continuous medium detector such as PETALO. Results show that the system is feasible, with the introduction of a fast compression technique to further reduce the data bandwidth requirements.
△ Less
Submitted 1 March, 2021; v1 submitted 25 January, 2021;
originally announced January 2021.
-
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.
-
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.
-
Compact reduction in Lipschitz free spaces
Authors:
Ramón J. Aliaga,
Camille Noûs,
Colin Petitjean,
Antonín Procházka
Abstract:
We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal F(X)$ is weakly…
▽ More
We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal F(X)$ is weakly sequentially complete for every superreflexive Banach space $X$, and $\mathcal F(M)$ has the Schur property and the approximation property for every scattered complete metric space $M$.
△ Less
Submitted 30 December, 2020; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Points of differentiability of the norm in Lipschitz-free spaces
Authors:
Ramón J. Aliaga,
Abraham Rueda Zoca
Abstract:
We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $μ=\sum_n λ_n \frac{δ_{x_n}-δ_{y_n}}{d(x_n,y_n)}$ such that $\|μ\|=\sum_n |λ_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of Gâteaux differentiability of the norm. In particular, we show tha…
▽ More
We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $μ=\sum_n λ_n \frac{δ_{x_n}-δ_{y_n}}{d(x_n,y_n)}$ such that $\|μ\|=\sum_n |λ_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of Gâteaux differentiability of the norm. In particular, we show that Gâteaux and Fréchet differentiability are equivalent for finitely supported elements of Lipschitz-free spaces over uniformly discrete and bounded metric spaces, and that their tensor products with Gâteaux (resp. Fréchet) differentiable elements of a Banach space are Gâteaux (resp. Fréchet) differentiable in the corresponding projective tensor product.
△ Less
Submitted 3 March, 2020;
originally announced March 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.
-
Embeddings of Lipschitz-free spaces into $\ell_1$
Authors:
Ramón J. Aliaga,
Colin Petitjean,
Antonín Procházka
Abstract:
We show that, for a separable and complete metric space $M$, the Lipschitz-free space $\mathcal F(M)$ embeds linearly and almost-isometrically into $\ell_1$ if and only if $M$ is a subset of an $\mathbb R$-tree with length measure 0. Moreover, it embeds isometrically if and only if the length measure of the closure of the set of branching points of $M$ (taken in any minimal $\mathbb R$-tree that c…
▽ More
We show that, for a separable and complete metric space $M$, the Lipschitz-free space $\mathcal F(M)$ embeds linearly and almost-isometrically into $\ell_1$ if and only if $M$ is a subset of an $\mathbb R$-tree with length measure 0. Moreover, it embeds isometrically if and only if the length measure of the closure of the set of branching points of $M$ (taken in any minimal $\mathbb R$-tree that contains $M$) is negligible. We also prove that, for any subset $M$ of an $\mathbb R$-tree, every extreme point of the unit ball of $\mathcal F(M)$ is an element of the form $(δ(x)-δ(y))/d(x,y)$ for $x\neq y\in M$.
△ Less
Submitted 10 October, 2019; v1 submitted 11 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.
-
On the preserved extremal structure of Lipschitz-free spaces
Authors:
Ramón J. Aliaga,
Antonio J. Guirao
Abstract:
We characterize preserved extreme points of Lipschitz-free spaces $\mathcal{F}(X)$ in terms of simple geometric conditions on the underlying metric space $(X,d)$. Namely, each preserved extreme point corresponds to a pair of points $p,q$ in $X$ such that the triangle inequality $d(p,q)\leq d(p,r)+d(q,r)$ is uniformly strict for $r$ away from $p,q$. For compact $X$, this condition reduces to the tr…
▽ More
We characterize preserved extreme points of Lipschitz-free spaces $\mathcal{F}(X)$ in terms of simple geometric conditions on the underlying metric space $(X,d)$. Namely, each preserved extreme point corresponds to a pair of points $p,q$ in $X$ such that the triangle inequality $d(p,q)\leq d(p,r)+d(q,r)$ is uniformly strict for $r$ away from $p,q$. For compact $X$, this condition reduces to the triangle inequality being strict. This result gives an affirmative answer to a conjecture of N. Weaver that compact spaces are concave if and only if they have no triple of metrically aligned points.
△ Less
Submitted 26 July, 2017; v1 submitted 26 May, 2017;
originally announced May 2017.
