Lipschitz-Free Space

• Lipschitz-Free Space is a canonical Banach space constructed from pointed metric spaces via evaluation functionals.
• It enables the unique linear extension of Lipschitz maps while preserving the Lipschitz constant, thus transferring nonlinear data to a linear framework.
• Its structure supports diverse isomorphic classifications, approximation properties, and decomposability in various metric and geometric contexts.

A Lipschitz-free space is the canonical Banach-space linearization of a pointed metric space. For a pointed metric space $(M,d,0)$, one considers the Banach space $\operatorname{Lip}_0(M)$ of real-valued Lipschitz functions vanishing at $0$, with Lipschitz norm

$$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$

The Lipschitz-free space $\mathcal{F}(M)$ is the norm-closed linear span of the evaluation functionals $\delta(x):f\mapsto f(x)$ inside $\operatorname{Lip}_0(M)^*$, and $\mathcal{F}(M)^*$ is isometrically $\operatorname{Lip}_0(M)$. In this form, $\mathcal{F}(M)$ is the canonical predual of the Lipschitz algebra and the universal recipient for linearizing Lipschitz maps based at the distinguished point (Pernecká et al., 2015, Aliaga, 1 Jun 2026).

1. Canonical construction and linearization

Given $\operatorname{Lip}_0(M)$0, the standard realization is

$\operatorname{Lip}_0(M)$1

Different choices of base point yield isometric spaces, so the construction depends only on the underlying metric space up to canonical isometry (Pernecká et al., 2015).

A point-free formulation uses the vector space of molecules

$\operatorname{Lip}_0(M)$2

endowed with the norm

$\operatorname{Lip}_0(M)$3

where the supremum runs over all $\operatorname{Lip}_0(M)$4-Lipschitz functions $\operatorname{Lip}_0(M)$5. Its completion is $\operatorname{Lip}_0(M)$6, which is the same object in a different presentation (Cúth et al., 2024).

The fundamental structural fact is the universal property: every Lipschitz map $\operatorname{Lip}_0(M)$7 with $\operatorname{Lip}_0(M)$8, where $\operatorname{Lip}_0(M)$9 is a Banach space, admits a unique linear extension $0$0 satisfying $0$1 and $0$2 (Aliaga, 1 Jun 2026). This is the basic mechanism by which nonlinear metric information is transferred into linear Banach-space geometry.

A particularly important family of norm-one elements is given by the normalized elementary molecules

$0$3

which recur throughout the extremal, isometric, and geometric theories of $0$4 (Aliaga et al., 2019).

2. Model cases and isomorphic classifications

Several metric classes admit explicit Banach-space identifications. For separable ultrametric spaces, the Lipschitz-free space has a monotone Schauder basis and is isomorphic to $0$5 (Cuth et al., 2014). For proper ultrametric spaces, $0$6 is isometrically isomorphic to the dual of a space isomorphic to $0$7; in compact ultrametric cases, the predual can be taken as $0$8, and $0$9 is isomorphic to $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$0 (Dalet, 2014). These results isolate ultrametric geometry as an especially rigid source of $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$1-type free spaces.

For quasiarcs, the free space is linearly isomorphic to an $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$2-space: $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$3 for some measure space $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$4. If $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$5 is purely $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$6-unrectifiable, then $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$7 is purely atomic and $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$8 is isomorphic to an $$\|f\|=\operatorname{Lip}(f)=\sup_{x\neq y}\frac{|f(x)-f(y)|}{d(x,y)}.$$9-space. For quasiconformal trees, one has a decomposition into quasiarcs,

$\mathcal{F}(M)$0

hence again $\mathcal{F}(M)$1; moreover, quasiconformal trees have Lipschitz dimension exactly $\mathcal{F}(M)$2 (Freeman et al., 2022).

At the level of large-scale Banach-space structure, Kaufmann proved that for every Banach space $\mathcal{F}(M)$3,

$\mathcal{F}(M)$4

which functions as a nonlinear analogue of Pełczyński’s decomposition method. The same work shows $\mathcal{F}(M)$5 for the closed unit ball $\mathcal{F}(M)$6, and if $\mathcal{F}(M)$7 has nonempty interior, then $\mathcal{F}(M)$8 (Kaufmann, 2014). Complementary results identify $\mathcal{F}(M)$9 with $\delta(x):f\mapsto f(x)$0 for compact metric spaces locally bi-Lipschitz embeddable into $\delta(x):f\mapsto f(x)$1 and containing a subset Lipschitz equivalent to the unit ball of $\delta(x):f\mapsto f(x)$2, including compact Riemannian manifolds (Kaufmann, 2014).

Further isomorphic rigidity appears in self-similar and doubling settings. Lipschitz-free spaces over balls and spheres of the same finite dimensions are isomorphic, $\delta(x):f\mapsto f(x)$3 is isomorphic to its $\delta(x):f\mapsto f(x)$4-sum, and for any snowflake $\delta(x):f\mapsto f(x)$5 of a doubling metric space with $\delta(x):f\mapsto f(x)$6,

$\delta(x):f\mapsto f(x)$7

(Albiac et al., 2020). These identifications indicate that the isomorphic type of $\delta(x):f\mapsto f(x)$8 is often governed by coarse self-similarity, rectifiability, and decomposition properties rather than by fine pointwise metric data alone.

3. Approximation properties and decomposability

Approximation properties of $\delta(x):f\mapsto f(x)$9 are highly sensitive to metric geometry. A central positive criterion is the following: if $\operatorname{Lip}_0(M)^*$0 is compact and for each $\operatorname{Lip}_0(M)^*$1 there exist an open set $\operatorname{Lip}_0(M)^*$2 and a Lipschitz map $\operatorname{Lip}_0(M)^*$3 such that $\operatorname{Lip}_0(M)^*$4, $\operatorname{Lip}_0(M)^*$5, and $\operatorname{Lip}_0(M)^*$6 for all $\operatorname{Lip}_0(M)^*$7, then $\operatorname{Lip}_0(M)^*$8 has the metric approximation property (MAP). In particular, if $\operatorname{Lip}_0(M)^*$9 is compact and locally downwards closed, then $\mathcal{F}(M)^*$0 has the MAP; this includes every finite-dimensional compact convex set and holds for any norm on $\mathcal{F}(M)^*$1 (Pernecká et al., 2015).

Dalet proved that if $\mathcal{F}(M)^*$2 is a countable proper metric space, then $\mathcal{F}(M)^*$3 is isometric to a dual space and has the MAP. The same work shows that for proper ultrametric spaces, $\mathcal{F}(M)^*$4 is isometric to the dual of a space isomorphic to $\mathcal{F}(M)^*$5, and again has the MAP (Dalet, 2014). These results place properness and countability at the center of a tractable duality-and-approximation regime.

The topology of the metric itself can also be varied. If $\mathcal{F}(M)^*$6 is a locally compact, separable, metrisable space and $\mathcal{F}(M)^*$7 denotes the compatible proper metrics on $\mathcal{F}(M)^*$8, then the set of metrics $\mathcal{F}(M)^*$9 for which $\operatorname{Lip}_0(M)$0 has the MAP is dense in $\operatorname{Lip}_0(M)$1, and is residual when $\operatorname{Lip}_0(M)$2 is zero-dimensional. By contrast, if $\operatorname{Lip}_0(M)$3 is uncountable, then the set of metrics for which $\operatorname{Lip}_0(M)$4 fails the approximation property is dense in $\operatorname{Lip}_0(M)$5 (Smith et al., 2023). Thus, “having MAP” and “failing AP” are both abundant phenomena in the space of compatible proper metrics, depending on the topology of the underlying space.

In doubling settings, a different mechanism appears. Lipschitz-free spaces over doubling metric spaces are complemented in Lipschitz-free spaces over their superspaces and they have bounded approximation property (BAP); the same framework yields elementary proofs of complementability and approximation theorems and extends to $\operatorname{Lip}_0(M)$6-Banach analogues (Albiac et al., 2020). This complements the decomposition theorem $\operatorname{Lip}_0(M)$7 by showing that many free spaces admit approximation schemes built from finite-dimensional or annular pieces (Kaufmann, 2014).

4. Diameter-two phenomena, Daugavet geometry, and almost squareness

The geometry of the unit ball of $\operatorname{Lip}_0(M)$8 is tightly linked to the metric type of $\operatorname{Lip}_0(M)$9. For a Banach space $\mathcal{F}(M)$0, almost square (ASQ) means that for every $\mathcal{F}(M)$1 and every finite set $\mathcal{F}(M)$2, there exists $\mathcal{F}(M)$3 such that $\mathcal{F}(M)$4 for every $\mathcal{F}(M)$5. Locally almost square (LASQ) is the pointwise version: for every $\mathcal{F}(M)$6 and every $\mathcal{F}(M)$7, there exists $\mathcal{F}(M)$8 such that $\mathcal{F}(M)$9 (Haller et al., 2022).

For a complete metric space $\operatorname{Lip}_0(M)$00, $\operatorname{Lip}_0(M)$01 is LASQ if and only if $\operatorname{Lip}_0(M)$02 is a length space; equivalently, $\operatorname{Lip}_0(M)$03 has the Daugavet property, and this is also equivalent to the strong diameter $\operatorname{Lip}_0(M)$04, diameter $\operatorname{Lip}_0(M)$05, and slice diameter $\operatorname{Lip}_0(M)$06 properties, to the absence of strongly exposed points in the unit ball, and to property $\operatorname{Lip}_0(M)$07 of $\operatorname{Lip}_0(M)$08 (Haller et al., 2022). At the same time, no Lipschitz-free space is almost square; more strongly, for every $\operatorname{Lip}_0(M)$09, $\operatorname{Lip}_0(M)$10 is not $\operatorname{Lip}_0(M)$11-almost square (Haller et al., 2022).

The weakly almost square (WASQ) property behaves differently. A specific metric space

$\operatorname{Lip}_0(M)$12

with the metric given in the source provides a Lipschitz-free space that is LASQ but not WASQ; this is the first example of such a Banach space. The same work shows that if $\operatorname{Lip}_0(M)$13 is geodesic, then finitely supported vectors in $\operatorname{Lip}_0(M)$14 admit the WASQ approximation pattern, indicating geodesic spaces as a potential metric characterization for weakly almost square Lipschitz-free spaces (Kaasik et al., 2022). It also proves that no Lipschitz-free space can have the symmetric strong diameter $\operatorname{Lip}_0(M)$15 property, indeed no Lipschitz-free space has SSD$\operatorname{Lip}_0(M)$16P for any $\operatorname{Lip}_0(M)$17 (Kaasik et al., 2022).

A related duality theory identifies the weak$\operatorname{Lip}_0(M)$18 symmetric strong diameter $\operatorname{Lip}_0(M)$19 property in $\operatorname{Lip}_0(M)$20. For pointed metric spaces,

$\operatorname{Lip}_0(M)$21

where DOH denotes decomposable octahedrality and SLTP the strong long trapezoid property (Ostrak, 2020).

Metric condition on $\operatorname{Lip}_0(M)$22	Consequence for $\operatorname{Lip}_0(M)$23	Source
$\operatorname{Lip}_0(M)$24 is a length space	LASQ; Daugavet; diameter $\operatorname{Lip}_0(M)$25-type properties	(Haller et al., 2022)
$\operatorname{Lip}_0(M)$26 is geodesic	WASQ behavior for finitely supported vectors	(Kaasik et al., 2022)
$\operatorname{Lip}_0(M)$27 has SLTP	$\operatorname{Lip}_0(M)$28 is DOH; $\operatorname{Lip}_0(M)$29 has w$\operatorname{Lip}_0(M)$30-SSD2P	(Ostrak, 2020)
arbitrary $\operatorname{Lip}_0(M)$31	$\operatorname{Lip}_0(M)$32 is never ASQ and never SSD2P	(Haller et al., 2022, Kaasik et al., 2022)

These results sharply separate local diameter-two behavior from global almost-squareness phenomena. In Lipschitz-free spaces, strong local largeness of slices coexists with a systematic obstruction to global square-like geometry.

5. Supports, extreme points, and finite-dimensional convex geometry

A major structural theorem states that for a complete pointed metric space $\operatorname{Lip}_0(M)$33 and any family of closed subsets $\operatorname{Lip}_0(M)$34,

$\operatorname{Lip}_0(M)$35

where $\operatorname{Lip}_0(M)$36 denotes the span in $\operatorname{Lip}_0(M)$37 of the evaluation functionals at points of $\operatorname{Lip}_0(M)$38. This allows supports to be defined canonically by

$\operatorname{Lip}_0(M)$39

for every $\operatorname{Lip}_0(M)$40 (Aliaga et al., 2019). The support formalism is a basic tool in extremal analysis.

For complete $\operatorname{Lip}_0(M)$41, the normalized molecule $\operatorname{Lip}_0(M)$42 is an extreme point of the unit ball $\operatorname{Lip}_0(M)$43 if and only if it is an exposed point, if and only if the metric segment

$\operatorname{Lip}_0(M)$44

is trivial, namely $\operatorname{Lip}_0(M)$45 (Aliaga et al., 2019). A related characterization of preserved extreme points states that for complete $\operatorname{Lip}_0(M)$46, the element

$\operatorname{Lip}_0(M)$47

is a preserved extreme point if and only if the triangle inequality is uniformly strict away from $\operatorname{Lip}_0(M)$48 and $\operatorname{Lip}_0(M)$49; in compact spaces this reduces to strict triangle inequality for every third point, yielding Weaver’s conjectured characterization of concavity for compact metric spaces (Aliaga et al., 2017).

The positive part of the unit ball has a particularly rigid extremal structure: the extreme points of the positive unit ball are exactly

$\operatorname{Lip}_0(M)$50

Moreover, if $\operatorname{Lip}_0(M)$51, $\operatorname{Lip}_0(M)$52 is finitely supported, and $\operatorname{Lip}_0(M)$53 is an extreme point of $\operatorname{Lip}_0(M)$54, then $\operatorname{Lip}_0(M)$55 must itself be finitely supported (Aliaga et al., 2019).

When $\operatorname{Lip}_0(M)$56 is finite with $\operatorname{Lip}_0(M)$57 points, $\operatorname{Lip}_0(M)$58 is finite-dimensional and $\operatorname{Lip}_0(M)$59 is a centrally symmetric convex polytope in $\operatorname{Lip}_0(M)$60. Its vertices correspond to elementary molecules associated with edges in the canonical graph of $\operatorname{Lip}_0(M)$61, and one has a detailed combinatorial classification: $\operatorname{Lip}_0(M)$62 is a Hanner polytope if and only if $\operatorname{Lip}_0(M)$63 is a $\operatorname{Lip}_0(M)$64-sum of spiderwebs (Alexander et al., 2019). The same work studies the volume product

$\operatorname{Lip}_0(M)$65

showing, for instance, that if $\operatorname{Lip}_0(M)$66 is maximal among spaces of the same cardinality, then all triangle inequalities in $\operatorname{Lip}_0(M)$67 are strict and $\operatorname{Lip}_0(M)$68 is simplicial (Alexander et al., 2019).

A complementary finite-dimensional viewpoint comes from general metric spaces with $\operatorname{Lip}_0(M)$69 points: every such Lipschitz-free space contains a $\operatorname{Lip}_0(M)$70-dimensional subspace, with $\operatorname{Lip}_0(M)$71, that is $\operatorname{Lip}_0(M)$72-complemented and $\operatorname{Lip}_0(M)$73-isomorphic to $\operatorname{Lip}_0(M)$74. On the other hand, recursively defined families such as diamond graphs and Laakso graphs show that full Lipschitz-free spaces over finite graphs need not be uniformly isomorphic to $\operatorname{Lip}_0(M)$75 of the corresponding dimension (Dilworth et al., 2018). The finite theory is therefore simultaneously polyhedral, graph-theoretic, and strongly nontrivial from the standpoint of local Banach-space structure.

6. Rigidity, rectifiability, and large-scale structure

The linear isometry group of $\operatorname{Lip}_0(M)$76 can reflect the metric symmetries of $\operatorname{Lip}_0(M)$77 with remarkable precision. A metric space is called Lipschitz-free rigid if every surjective linear isometry of $\operatorname{Lip}_0(M)$78 arises from a surjective dilation of $\operatorname{Lip}_0(M)$79, possibly composed with multiplication by $\operatorname{Lip}_0(M)$80. This class contains all $\operatorname{Lip}_0(M)$81-connected graphs and non-abelian Carnot groups with horizontally strictly convex norms, and every metric space isometrically embeds into a Lipschitz-free rigid space containing at most three more points (Cúth et al., 2024). For such rigid spaces with $\operatorname{Lip}_0(M)$82,

$\operatorname{Lip}_0(M)$83

Rectifiability imposes another major dichotomy. For compact metric spaces $\operatorname{Lip}_0(M)$84, pure $\operatorname{Lip}_0(M)$85-unrectifiability is equivalent to uniform separation by locally flat Lipschitz functions, to $\operatorname{Lip}_0(M)$86 being a dual Banach space, to the Radon–Nikodým property, to the Schur property, and to not containing a subspace isomorphic to $\operatorname{Lip}_0(M)$87. For arbitrary complete metric spaces, pure $\operatorname{Lip}_0(M)$88-unrectifiability remains equivalent to the Radon–Nikodým property, the Schur property, and the absence of an isomorphic copy of $\operatorname{Lip}_0(M)$89 in $\operatorname{Lip}_0(M)$90 (Aliaga, 1 Jun 2026). Sets $\operatorname{Lip}_0(M)$91 with $\operatorname{Lip}_0(M)$92 thus sit on the $\operatorname{Lip}_0(M)$93-side of the dichotomy, whereas rectifiable behavior forces $\operatorname{Lip}_0(M)$94-type structure (Aliaga, 1 Jun 2026).

Even within the purely $\operatorname{Lip}_0(M)$95-unrectifiable regime, the class is far from homogeneous. Using generalized countably branching diamond graphs $\operatorname{Lip}_0(M)$96, one obtains countable complete purely $\operatorname{Lip}_0(M)$97-unrectifiable metric spaces whose Lipschitz-free spaces have arbitrarily high weak-fragmentability index while still verifying the Point of Continuity Property. This yields, among other consequences, an uncountable family of pairwise non-isomorphic Lipschitz-free spaces over purely $\operatorname{Lip}_0(M)$98-unrectifiable metric spaces, and shows that a separable complete metric space that is Lipschitz-universal for countable complete metric spaces cannot be purely $\operatorname{Lip}_0(M)$99-unrectifiable (Basset, 2024).

At the level of broad Banach-space structure, every Lipschitz-free Banach space over an infinite metric space contains a complemented copy of $0$00. This has several consequences collected in the same source: such a free space is not isomorphic to a $0$01 space, is not an $0$02-predual, is not the Gurariĭ space, and is projectively universal in the sense that every separable Banach space is a quotient of it. The same paper constructs a countable compact metric space $0$03 such that $0$04 is not isomorphic to a subspace of $0$05, and proves that whenever $0$06, $0$07 is weakly sequentially complete; in particular, $0$08 does not embed into $0$09 (Cuth et al., 2015).

Taken together, these developments show that Lipschitz-free spaces form a sharply stratified class. Ultrametric, tree-like, doubling, finite-dimensional, length, geodesic, rigid, and purely $0$10-unrectifiable metric spaces all impose distinct linear signatures on $0$11, while the universal linearization principle keeps the construction functorially tied to the original metric geometry.