Source author record

Ramón J. Aliaga

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.MG

Catalog footprint

Research overview

9works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Lipschitz extension and Lipschitz-free spaces over nets in normed spaces

We consider subsets $S$ of a metric space $M$ such that Lipschitz mappings defined on $S$ can be extended to Lipschitz mappings on $M$ , and we show that the union of such subsets has the same property under appropriate geometric conditions. We then derive several consequences to the isomorphic structure and classification of Lipschitz and Lipschitz-free spaces. Our main result is that the Lipschitz-free space $\mathcal{F}(M)$ is isomorphic to its countable $\ell_1$ -sum when $M$ is either a net $N_X$ in any Banach space $X$ or the integer grid $\mathbb{Z}_{\ell_1}$ in $\ell_1$ . We also prove that the Lipschitz space $\mathrm{Lip}_0(\mathbb{Z}_{\ell_1})$ is isomorphic to $\mathrm{Lip}_0(\ell_1)$ and that $\mathrm{Lip}_0(N_X)$ contains a complemented copy of $\mathrm{Lip}_0(X)$ , among other results. This answers questions raised by Albiac, Ansorena, Cúth and Doucha and Candido, Cúth and Doucha, respectively, and extends previous results by the same authors as well as Hájek and Novotný.

preprint2021arXiv

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.

preprint2021arXiv

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.

preprint2021arXiv

Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions

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.

preprint2020arXiv

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.

preprint2020arXiv

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

preprint2020arXiv

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

preprint2019arXiv

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

preprint2017arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ramón J. Aliaga

Research overview

Is this your work?

9 publications

Lipschitz extension and Lipschitz-free spaces over nets in normed spaces

Extreme points in Lipschitz-free spaces over compact metric spaces

Integral representation and supports of functionals on Lipschitz spaces

Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions

Points of differentiability of the norm in Lipschitz-free spaces

Supports and extreme points in Lipschitz-free spaces

Supports in Lipschitz-free spaces and applications to extremal structure

Embeddings of Lipschitz-free spaces into $\ell_1$

On the preserved extremal structure of Lipschitz-free spaces

See the researcher in context

Building this map preview

Ramón J. Aliaga

Research overview

Is this your work?

9 publications

Lipschitz extension and Lipschitz-free spaces over nets in normed spaces

Extreme points in Lipschitz-free spaces over compact metric spaces

Integral representation and supports of functionals on Lipschitz spaces

Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions

Points of differentiability of the norm in Lipschitz-free spaces

Supports and extreme points in Lipschitz-free spaces

Supports in Lipschitz-free spaces and applications to extremal structure

Embeddings of Lipschitz-free spaces into ℓ1\ell_1ℓ1​

On the preserved extremal structure of Lipschitz-free spaces

See the researcher in context

Building this map preview

Embeddings of Lipschitz-free spaces into $\ell_1$