Searcharxiv⌕ Search

arXiv subjects

Ramón J. Aliaga

Publications and source records attributed to Ramón J. Aliaga.

27 records · Page 2Linked to original sources
arXiv2021

Integral representation and supports of functionals on Lipschitz spaces

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.

math.FA↗
arXiv2021

Extreme points in Lipschitz-free spaces over compact metric spaces

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.

math.FA↗
arXiv2020

Compact reduction in Lipschitz free spaces

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$.

math.FA↗
arXiv2020

Supports in Lipschitz-free spaces and applications to extremal structure

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$.

math.FA↗
arXiv2020

Supports and extreme points in Lipschitz-free spaces

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)$.

math.FA↗
arXiv2020

Points of differentiability of the norm in Lipschitz-free spaces

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.

math.FA↗
arXiv2019

Embeddings of Lipschitz-free spaces into $\ell_1$

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$.

math.FA↗
arXiv2017

On the preserved extremal structure of Lipschitz-free spaces

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.

math.FA↗