Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-18T19:59:41.699Z Has data issue: false hasContentIssue false

Compact and weakly compact Lipschitz operators

Published online by Cambridge University Press:  11 May 2022

Arafat Abbar
Affiliation:
Univ Gustave Eiffel, Univ Paris Est Creteil, CNRS, LAMA UMR8050, Marne-la-Vallée, France (arafat.abbar@univ-eiffel.fr, colin.petitjean@univ-eiffel.fr)
Clément Coine
Affiliation:
Normandie Univ, UNICAEN, CNRS, LMNO, 14000 Caen, France (clement.coine@unicaen.fr)
Colin Petitjean
Affiliation:
Univ Gustave Eiffel, Univ Paris Est Creteil, CNRS, LAMA UMR8050, Marne-la-Vallée, France (arafat.abbar@univ-eiffel.fr, colin.petitjean@univ-eiffel.fr)
Rights & Permissions [Opens in a new window]

Abstract

Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ between their corresponding Lipschitz-free spaces. In this paper, we give a necessary and sufficient condition for $\widehat {f}$ to be compact in terms of metric conditions on $f$. This extends a result by A. Jiménez-Vargas and M. Villegas-Vallecillos in the case of non-separable and unbounded metric spaces. After studying the behaviour of weakly convergent sequences made of finitely supported elements in Lipschitz-free spaces, we also deduce that $\widehat {f}$ is compact if and only if it is weakly compact.

Type
Research Article
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

Let $(M,d)$ be a metric space equipped with a distinguished point denoted by $0_M \in M$. We let $\operatorname {Lip}_0(M)$ be the Banach space of Lipschitz maps from $M$ to $\mathbb {R}$, vanishing at $0_M$, equipped with the norm

\[ \displaystyle \mathrm{Lip}(f) := \sup_{x \neq y \in M} \frac{|f(x)-f(y)|}{{\rm d}(x,y)}. \]

For $x\in M$, we denote by $\delta (x)$ the bounded linear functional on $\operatorname {Lip}_0(M)$ defined by $\langle f,\delta (x)\rangle = f(x), \ f\in \operatorname {Lip}_0(M).$ The Lipschitz-free space over $M$, denoted by $\mathcal {F}(M)$, is the Banach space

\[ \mathcal{F}(M) := \overline{\text{span}}^{\| \cdot \|}\left\{ \delta(x) \, : \, x \in M \right\} \subset \operatorname{Lip}_0(M)^{*}. \]

We refer the reader to [Reference Godefroy and Kalton12] or [Reference Weaver20] (where they are called Arens–Eells spaces) for more information on these spaces, including a proof of the next fundamental ‘linearization’ property which will be the cornerstone of our study.

Proposition 1.1 Let $M$ and $N$ be two pointed metric spaces. Let $f \colon M \to N$ be a Lipschitz map such that $f(0_M) = 0_N$. Then, there exists a unique bounded linear operator $\widehat {f} \colon \mathcal {F}(M) \to \mathcal {F}(N)$ with $\|\widehat {f}\|=\mathrm {Lip}(f)$ and such that the following diagram commutes:

More precisely, for every $\gamma =\sum _{i=1}^{n} a_i\delta (x_i)\in \mathcal {F}(M)$, $\widehat {f}(\gamma )=\sum _{i=1}^{n} a_i\delta (f(x_i))$.

In this paper, operators of the kind $\widehat {f} \colon \mathcal {F}(M) \to \mathcal {F}(N)$ will be called Lipschitz operators. The above linearization property carries some metric information about $f$ and the metric spaces $M,N$ themselves. Of course, passing from a Lipschitz map to a linear map has a price and the difficulty is to analyse the structure of the associated Lipschitz-free spaces. A very natural yet widely unexplored topic consists in the study of how metric properties of $f$ are transferred to linear properties of $\widehat {f}$, and vice-versa (see e.g., [Reference Abbar, Coine and Petitjean1]).

In this paper, we investigate the compactness properties of $\widehat {f}$ and characterize them in terms of metric conditions on $f$. Recall that an operator $T : X \to Y$ between Banach spaces is compact if the image by $T$ of the unit ball of $X$, denoted by $B_X$, is relatively compact in $Y$. Similarly, we say that $T$ is weakly compact if $T(B_X)$ is relatively weakly compact in $Y$. It is obvious that any compact operator is also weakly compact, while the converse is not true in general. A disguised study of compact Lipschitz operators has probably been initiated by Kamowitz and Scheinberg in [Reference Kamowitz and Scheinberg17] and then pursued by Jiménez-Vargas and Villegas-Vallecillos in [Reference Jiménez-Vargas and Villegas-Vallecillos16] (see also [Reference Jiménez-Vargas, Sepulcre and Villegas-Vallecillos15] where vector-valued Lipschitz functions are considered). Indeed, in the last mentioned papers, the authors consider composition operators on Lipschitz spaces which appear naturally as the adjoints of our Lipschitz operators $\widehat {f}$. To be more specific, noting that

\[ f\in \operatorname{Lip}_0(M) \mapsto \left[\sum_i a_i \delta(x_i) \mapsto \sum_i a_if(x_i) \right] \in \mathcal{F}(M)^{*} \]

is an isometric isomorphism, we get that $(\widehat {f})^{\ast }=C_f$, where $C_f : \operatorname {Lip}_0(M) \to \operatorname {Lip}_0(N)$ is the composition operator given by $C_f(g) = g \circ f, \ g\in \operatorname {Lip}_0(M)$. Of course, by Schauder's theorem, $\widehat {f}$ is compact if and only if $(\widehat {f}\,)^{*}$ is compact, so one can tackle the problem either working with $C_f$ or working with $\widehat {f}$. In [Reference Jiménez-Vargas and Villegas-Vallecillos16], the authors proved the next characterization.

Theorem ([Reference Jiménez-Vargas and Villegas-Vallecillos16, theorem 1.2]). Let $M$ be pointed separable metric spaces and let $f: M \to M$ be a Lipschitz map vanishing at $0_M$. Assume that $M$ is bounded and separable. Then the composition operator $C_f : g \in \operatorname {Lip}_0(M) \mapsto g \circ f \in \operatorname {Lip}_0(M)$ is compact if and only if

  1. (i) $f(M)$ is totally bounded in $M$.

  2. (ii) $f$ is uniformly locally flat, that is, for each $\varepsilon > 0$, there exists $\delta > 0$ such that ${\rm d}(f(x), f(y)) \leq \varepsilon {\rm d}(x,y)$ whenever ${\rm d} (x, y) \leq \delta$.

A few comments about the above statement are necessary. First, as it is proved in [Reference Cobzaş, Miculescu, Radu and Nicolae10, theorem 8.7.8], the very same result holds for Lipschitz maps $f: M \to N$ where $N$ is any pointed metric space. Notice also that the separable assumption is absent in [Reference Jiménez-Vargas and Villegas-Vallecillos16, theorem 1.2], but, as is this written in [Reference Cobzaş, Miculescu, Radu and Nicolae10], the method of the proof needs $M$ to be separable. Finally the above condition $(ii)$ is called ‘supercontractive’ in [Reference Jiménez-Vargas and Villegas-Vallecillos16], but we also sometimes see it as the ‘the little Lipschitz condition’ (since the space of uniformly locally flat Lipschitz functions is often called the little Lipschitz space, see [Reference Weaver20]).

Our first main result extends the previous theorem in the case of any metric spaces $M$ and $N$ (in particular not separable and unbounded). In fact, when $M$ is unbounded, one needs an additional assumption to take into account the behaviour of the function $f$ at infinity. To prove our result, we are dealing directly with $\widehat {f}$ instead of its adjoint $C_f$. Hence, even when $M$ is bounded, our proof is different from that of [Reference Jiménez-Vargas and Villegas-Vallecillos16].

Theorem A Let $M,N$ be complete pointed metric spaces, and let $f : M \to N$ be a base point-preserving Lipschitz mapping. Then $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is compact if and only if the next assertions are satisfied$:$

  1. ( P 1) For every bounded subset $S \subset M$, $f(S)$ is totally bounded in $N;$

  2. ( P 2) $f$ is uniformly locally flat, that is,

    \[ \lim\limits_{{\rm d}(x,y) \to 0} \dfrac{{\rm d}(f(x),f(y))}{{\rm d}(x,y)} =0; \]
  3. ( P 3) For every $(x_n,y_n)_n \subset \widetilde {M} : = \{(x,y) \in M \times M \; | \; x \neq y\}$ such that

    $\lim \limits _{n \to \infty } {\rm d}(x_n,0) = \lim \limits _{n \to \infty } {\rm d}(y_n,0) = \infty$, either

    • $(f(x_n), f(y_n))_n$ has an accumulation point in $N \times N$, or

    • $\mathop {\liminf }\limits _{n\to +\infty }\,\dfrac {{\rm d}(f(x_n),f(y_n))}{{\rm d}(x_n,y_n)}=0$.

It turns out that in the proof of ‘$\implies$’ in theorem A, which will be provided in § 2, most of the time we only use the weaker assumption that $\widehat {f}$ is weakly compact. This suggests that there should be a close relationship between compact Lipschitz operators and weakly compact Lipschitz operators. Another clue is contained in [Reference Jiménez-Vargas14]. Let us denote $\operatorname {lip} _0(M)$ the subspace of $\operatorname {Lip}_0(M)$ made of uniformly locally flat functions. Then we say that $\operatorname {lip} _0(M)$ separates the points (of $M$) uniformly if there exists $C >0$ such that, for every $x \neq y$, there exists a C-Lipschitz map $f \in \operatorname {lip} _0(M)$ with $|f(x) - f(y)| = {\rm d}(x,y)$. Now [Reference Jiménez-Vargas14, corllary 2.4] states that if $M$ is a compact metric space such that $\operatorname {lip} _0(M)$ separates the points uniformly, then the composition operator $C_f : g \in \operatorname {Lip}_0(M) \mapsto g \circ f \in \operatorname {Lip}_0(M)$ is weakly compact if and only if it is compact. Let us point out that for a compact metric space $M$, $\operatorname {lip} _0(M)$ separates points uniformly if and only if $M$ is purely 1-unrectifiable (that is, does not contain any bi-Lipschitz image of a subset of $\mathbb {R}$ with positive Lebesgue measure; see [Reference Aliaga, Gartland, Petitjean and Procházka5, theorem A]). This recent characterization underlines the fact that the assumptions in [Reference Jiménez-Vargas14, corllary 2.4] are rather restrictive. We shall prove in § 3 that this result is actually true for every metric space $M$.

Theorem B Let $M,N$ be complete pointed metric spaces, and let $f : M \to N$ be a base point-preserving Lipschitz mapping. The next conditions are equivalent

  1. ( i ) $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is compact;

  2. ( ii ) $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is weakly compact;

  3. ( iii ) $C_f : \operatorname {Lip}_0(N) \to \operatorname {Lip}_0(M)$ is compact;

  4. ( iv ) $C_f : \operatorname {Lip}_0(N) \to \operatorname {Lip}_0(M)$ is weakly compact;

  5. ( v ) $C_f : \operatorname {Lip}_0(N) \to \operatorname {Lip}_0(M) \ \text {is weak}^{*}\text {-to-weak continuous}$.

The key ingredient for proving theorem B will be a structural result concerning weakly convergent sequences of finitely supported elements in Lipschitz-free spaces. We recall that $\gamma \in \mathcal {F}(M)$ is said to be finitely supported if $\gamma \in \operatorname {span} \left \{ \delta (x) \, : \, x \in M \right \}$ and then the support of $\gamma$, denoted by $\operatorname {supp} (\gamma )$, is the smallest subset $S \subset M$ such that $\gamma \in \mathcal {F}(S)$. In what follows, for every $k \in \mathbb {N}$, $\mathcal {FS}_k(M)$ stands for the set of all $\gamma \in \mathcal {F}(M)$ such that $\operatorname {supp}(\gamma )$ contains at most $k$ points of $M$.

Theorem C Let $M$ be a complete metric space. If a sequence $(\gamma _n)_n \subset \mathcal {FS}_k(M)$ weakly converges to some $\gamma \in \mathcal {F}(M)$, then $\gamma \in \mathcal {FS}_k(M)$ and $(\gamma _n)_n$ actually converges to $\gamma$ in the norm topology.

The previous theorem can be deduced as a direct consequence of the deep result [Reference Albiac and Kalton3, theorem 5.2] and [Reference Abbar, Coine and Petitjean1, lemma 2.10]. Since the proof from [Reference Albiac and Kalton3] is rather elaborated, for the convenience of the reader, we shall provide a different proof which is based on some recent developments in the theory of Lipschitz-free spaces.

Notation and background. If $X$ is a Banach space, then we let $X^{*}$ be its topological dual, $B_X$ be its unit ball and $S_X$ be its unit sphere.

Throughout the paper, $M,N$ are complete pointed metric spaces and the distinguished points will be denoted by $0_M$ and $0_N$ respectively, or simply $0$ if there is no ambiguity. We will write

\[ \widetilde{M} = \{(x,y) \in M \times M \; | \; x \neq y \}. \]

We will use the notation

\begin{align*} B(p,r) & = \{x \in M \; | \; d(x,p) \leq r \}\\ \operatorname{rad}(S) & = \sup\{d(x,0) \; | \; x \in S\} \end{align*}

where $p \in M$ and $S \subset M$. Next, if $(x_n)_n$ is a sequence of elements of $M$, we will say that $(x_n)_n$ goes to infinity if $\lim _n d(x_n , 0_M) = \infty$. For convenience, let us recall the vector spaces

\begin{align*} \operatorname{Lip}(M) & = \{f \in \mathbb{K}^{M} \; | \; f \text{ is Lipschitz}\}\\ \operatorname{Lip}_0(M) & = \{f \in \operatorname{Lip}(M) \; | \; f(0) = 0\} . \end{align*}

We also wish to recall some important features of the Lipschitz-free space over $M$,

\[ \mathcal{F}(M) := \overline{\text{span}}^{\| \cdot \|}\left \{ \delta(x) \, : \, x \in M \right \} \subset \operatorname{Lip}_0(M)^{*}. \]

First, $\mathcal {F}(M)$ is actually an isometric predual of $\operatorname {Lip}_0(M)$, that is $\mathcal {F}(M)^{*} \equiv \operatorname {Lip}_0(M)$. Moreover, if $0_M \in K \subset M$, then $\mathcal {F}(K)$ is isomorphic to a subspace of $\mathcal {F}(M)$ in the following way

\[ \mathcal{F}(K) \simeq \overline{\text{span}} \{ \delta_M(x) \; | \; x \in K\} \subset \mathcal{F}(M). \]

According to this identification, the support of $\gamma \in \mathcal {F}(M)$ is the smallest closed subset $K \subset M$ such that $\gamma \in \mathcal {F}(K)$. It is denoted by $\text {supp}(\gamma )$. In particular and according to the terminology introduced before, $\mathcal {FS}_k(M)$ is the set of elements $\gamma \in \mathcal {F}(M)$ such that $\text {supp}(\gamma )$ is finite and $|\text {supp}(\gamma )| \leq k$ (where $|A|$ denote the cardinal of a subset $A \subset M$). We refer to [Reference Aliaga and Pernecká6, Reference Aliaga, Pernecká, Petitjean and Procházka7] for more background information on the support. We mention here a very simple particular case of theorem C in the case of some sequences in $\mathcal {FS}_1(M)$. We will use this fact in § 2 without mention, and it can be easily proved by considering the Lipschitz function $y \in M \mapsto {\rm d}(x,y) - {\rm d}(x,0_M)$. Fact: If $(x_n)_n \subset M$ is such that $\delta (x_n) \to \delta (x)$ weakly, then $\delta (x_n) \to \delta (x)$ in the norm topology (which is equivalent to saying that $x_n \to x$ in $M$).

We also wish to mention that the Lipschitz-free space over $M$ is isometrically isomorphic to the Lipschitz-free space over its completion $\overline {M}$ in a very natural way. Indeed, it is readily checked that $f \in \operatorname {Lip}_0(\overline {M}) \mapsto f\mathord {\upharpoonright }_M \in \operatorname {Lip}_0(M)$ is a ${\rm weak}^{*}$-to-weak$^{*}$ continuous isometry. Hence, if $\overline {f} : \overline {M} \to \overline {N}$ is the unique extension of $f : M \to N$, then $\widehat {f}: \mathcal {F}(M) \to \mathcal {F}(N)$ and $\widehat {\overline {f}} : \mathcal {F}(\overline {M}) \to \mathcal {F}(\overline {N})$ are conjugate one to another, so one of them is compact if and only if the other one is. The only place where we need completeness is in theorem A. Indeed, in the proof, we use the fact that if $N$ is complete, then a totally bounded subset of $N$ is relatively compact. However, one could restate this theorem by replacing $N$ by its completion. So one can deduce the general statements (without completeness) from our statements (with completeness). Since there is no real loss of generality, we will assume that $M$ and $N$ are always complete.

To conclude this introduction, let us state the next particular case of Urysohn's lemma that we shall use several times throughout the paper. It allows us to separate two or more points of $M$ by an element of $\text {Lip}_0(M)$. Since we are dealing with metric spaces, a concrete simple formula can be given for the Lipschitz map, but it can also be easily deduced from McShane extension's theorem, see e.g. [Reference Weaver20, theorem 1.33 and corollary 1.34].

Lemma 1.2 Let $M$ be a pointed metric space, let $p\in M, p\neq 0_M$ and let $\varepsilon \in (0, d(p,0_M)/4)$. Then there exists $f \in \text {Lip}_0(M)$ such that $f = 1$ on $B(p, \varepsilon )$ and $f=0$ on $M \setminus B(p, 2 \varepsilon ).$

2. A metric characterization of compact Lipschitz operators

The main objective of this section is to prove theorem A. The proof will be based on the next easy but smart observation from [Reference Cabrera-Padilla and Jiménez-Vargas11] (see theorem 2.3 therein). This result concerns not only compact operators but also weakly compact operators, and so it will be useful in § 3 as well. We shall provide its short proof for completeness.

Proposition 2.1 [Reference Cabrera-Padilla and Jiménez-Vargas11]

Let $M,N$ be pointed metric spaces and let $f : M \to N$ be a base point-preserving Lipschitz mapping. Then $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is (weakly) compact if and only if

\[ \left\{ \dfrac{\delta(f(x)) - \delta(f(y))}{{\rm d}(x,y)} \; | \; x \neq y \in M \right\} \]

is relatively (weakly) compact in $\mathcal {F}(N)$.

Proof. We will only prove the statement for compact operators, the proof being verbatim the same in the case of weakly compact operators. Notice that

\[ \left\{ \dfrac{\delta(f(x)) - \delta(f(y))}{{\rm d}(x,y)} \; | \; x \neq y \in M \right\} = \widehat{f}(\mathcal{M}), \]

where $\mathcal {M} = \left \{{\rm d}(x,y)^{-1}(\delta (x) - \delta (y)) \; | \; x \neq y \in M \right \}$. Since $\mathcal {M} \subset B_{\mathcal {F}(M)}$, if $\widehat {f}$ is compact then $\widehat {f}(\mathcal {M})$ must be relatively compact. Conversely, it follows from the Hahn–Banach separation theorem that $B_{\mathcal {F}(M)} = \overline {\operatorname {conv}} \mathcal {M}$, the closure being taken for the norm topology. Now observe that

\[ \widehat{f}(B_{\mathcal{F}(M)}) \subset \widehat{f}(\overline{\operatorname{conv}}\mathcal{M}) \subset \overline{\operatorname{conv}} (\widehat{f}(\mathcal{M})) \subset \overline{\operatorname{conv}} \left(\overline{\widehat{f}(\mathcal{M})}\right). \]

So, if $\widehat {f}(\mathcal {M})$ is relatively compact, then $\overline {\operatorname {conv}} (\overline {\widehat {f}(\mathcal {M})})$ is compact (see e.g., [Reference Aliprantis and Border8, theorem 5.35] for norm compactness and [Reference Aliprantis and Burkinshaw9, theorem 10.15] for weak compactness), and therefore $\widehat {f}(B_{\mathcal {F}(M)})$ is relatively compact.

In the proof of theorem A, we will use proposition 2.1 repeatedly and hence, we will work with sequences of finitely supported elements in Lipschitz-free spaces. By [Reference Abbar, Coine and Petitjean1, lemma 2.10], the set $\mathcal {FS}_k(M)$ of elements of $\mathcal {F}(M)$ whose support contains at most $k$ elements is weakly closed in $\mathcal {F}(M)$ (in particular, it is norm closed). We will use this fact in various places.

Lemma 2.2 Let $k\in \mathbb {N}$ and $(\gamma _n)_n = \left (\sum _{i=1}^{k} a_{i}(n) \delta (x_{i}(n))\right )_n \subset \mathcal {FS}_k(M)$ be a sequence converging weakly to an element $\gamma \in \mathcal {FS}_k(M)$. Then, for every $p\in \operatorname {supp}(\gamma )$, there exists $1\leq m \leq k$ such that $\mathop {\liminf }\limits _{n\to +\infty }\,{\rm d}(x_m(n),p)=0.$

Proof. Let us write $\gamma = \sum _{i=1}^{l} a_i \delta (p_i)$ where $1\leq l \leq k$, $a_i \neq 0$ and $p_1, \ldots, p_l$ are pairwise distinct elements of $M \setminus \{0_M\}$. Aiming for a contradiction, assume that there exists $1\leq j \leq l$ such that none of the sequences $(x_{i}(n))_n$, $1\leq i \leq k$, has a subsequence converging to $p_j$. Then, there exists $\varepsilon > 0$ and a strictly increasing sequence $(n_m)_m \subset \mathbb {N}$ such that, for every $m$ and every $1\leq i\leq k$, ${\rm d}(x_{i}(n_m), p_j) \geq \varepsilon$. Hence, by lemma 1.2 we can find $h \in \operatorname {Lip}_0(M)$ such that $h(p_j) = 1, h(p_i) = 0$ if $i\neq j$ and $h = 0$ outside of $B(p_j, \varepsilon /2)$. Now, simply notice that since $\gamma _{n_m} \to \gamma$ in the weak topology we have

\[ 0 = \langle h , \gamma_{n_m} \rangle \to \langle h , \gamma \rangle = a_j, \]

which is a contradiction.

Lemma 2.3 Let $f : M \to N$ be a Lipschitz map such that $f(0_M)=0_N$. Let $(x_n , y_n)_n \subset \widetilde {M}$ and let $(m_n)_n \subset \mathcal {F}(N)$ be defined by

\[ m_n=\dfrac{\delta(f(x_n)) - \delta(f(y_n))}{{\rm d}(x_n,y_n)}. \]

Assume that $(m_n)_n$ weakly converges to $\gamma \in \mathcal {F}(N)$.

  1. ( i ) If ${\rm d}(x_n,y_n) \to 0$ then $\gamma = 0$.

  2. ( ii ) If ${\rm d}(x_n,y_n) \to + \infty$ then $\gamma = 0$.

  3. ( iii ) If there exists $\alpha >0$ such that $d(x_n,y_n) \geq \alpha$ and $\gamma \neq 0$ then $({\rm d}(x_n,y_n))_n$ is bounded and $(f(x_n),f(y_n))_n$ has an accumulation point in $N\times N$.

Proof. Notice that $(m_n)_n \subset \mathcal {FS}_2(N)$ which is weakly closed so $\gamma = a\delta (p)+b\delta (q) \in \mathcal {FS}_2(N)$ where either $p\neq q$ or $p=q=0$. Let us prove $(1)$. If $\gamma \neq 0$ then we can assume that $a\neq 0$, $p \neq 0_N$ and, according to lemma 2.2, that $(f(x_n))_n$ or $(f(y_n))_n$ has a subsequence converging to $p$. Since $d(x_n,y_n) \to 0$, both subsequences converge, that is, there exists an increasing sequence $(n_k)_k \subset \mathbb {N}$ such that $(f(x_{n_k}))_k$ and $(f(y_{n_k}))_k$ are converging to $p$. The same lemma ensures that $b=0$ so that $m_n \to a\delta (p)$. Now, let $h \in \operatorname {Lip}_0(N)$ be such that $h$ takes the value 1 on a ball around $p$. Then, for $k$ large enough, $\langle h , m_{n_k} \rangle = 0$ while the limit over $k$ of this term is $\langle h , a \delta (p) \rangle = a$, therefore $a=0$. This is a contradiction so we must have $\gamma = 0$.

We now prove $(2)$. We aim for a contradiction. If $\gamma \neq 0$, we may assume that $a\neq 0$ and $p\neq 0_N$ and by lemma 2.2, up to extracting a subsequence, that $(f(x_n))_n$ converges to $p$. Since $(f(x_n))_n$ converges and ${\rm d}(x_n,y_n) \to + \infty$, we have

\[ \|\cdot\| - \lim\limits_{n \to \infty} \dfrac{\delta(f(x_n))}{d(x_n,y_n)} = 0. \]

Therefore $({\rm d}(x_n,y_n)^{-1}\delta (f(y_n)))_n \subset \mathcal {FS}_1(N)$ must converge to an element $\gamma '=c\delta (r)$. We then distinguish two cases :

  • If for some subsequence, $(f(y_{n_k}))_k$ is bounded, then $m_{n_k} \to 0$ and this is a contradiction.

  • If for some subsequence, ${\rm d}(f(y_{n_k}),0) \to +\infty$, then $(f(y_{n_k}))_k$ is eventually far from $r$. Similarly as in $(1)$, one can show that $c$ must be equal to 0 by using a Lipschitz map taking the value 1 at $r$ and 0 outside of a ball centred at $r$. So $m_{n_k} \to 0$, yet another contradiction.

Let us finish with the proof of $(3)$. As above, since $\gamma \neq 0$ we can assume that $a\neq 0$, $p\neq 0_N$ and $(f(x_n))_n$ converges to $p$. We only need to show that $(f(y_n))_n$ has a convergent subsequence. If $b\neq 0$ and $q$ is not equal to $0_N$ or $p$, then lemma 2.2 ensures that $(f(y_n))_n$ has a subsequence converging to $q$. So assume that $b=0$ or $q=0_N$, that is, $m_n \to a\delta (p)$. Up to extracting another subsequence, we may assume that $d(x_n,y_n)$ converges to $\rho \in (0 , +\infty ]$. If $\rho = + \infty$ then $\gamma = 0$ by $(2)$, so we actually have that $\rho \in (0 , +\infty )$. Therefore

\[ \delta(f(x_n)) - \delta(f(y_n)) \to a' \delta(p) \ \ \text{weakly} \]

where $a'=a\rho$. Since $\delta (f(x_n)) \to \delta (p)$, we have

\[ \delta(f(y_n)) \to a'' \delta(p) \ \ \text{weakly} \]

where $a''=1-a'$. If $a'' \neq 0$ then by lemma 2.2, $f(y_n)$ has a subsequence converging to $p$, and if $a''=0$ then $f(y_n) \to 0_N$.

We need one last lemma before the proof of theorem A. For convenience, let us recall $(P_3)$ in this statement.

  1. (P3) For every $(x_n,y_n)_n \subset \widetilde {M} : = \{(x,y) \in M \times M \; | \; x \neq y\}$ such that $\lim \limits _{n \to \infty }\,{\rm d}(x_n,0) = \lim \limits _{n \to \infty }\,{\rm d}(y_n,0) = \infty$, either

    • $(f(x_n), f(y_n))_n$ has an accumulation point in $N \times N$, or

    • $\mathop {\liminf }\limits _{n\to +\infty }\,\dfrac {{\rm d}(f(x_n),f(y_n))}{{\rm d}(x_n,y_n)}=0$.

Lemma 2.4 Let $M$ be an unbounded metric space, $N$ be any metric space and $f : M \to N$ be any map. If $f$ satisfies $(P_3)$ then $f$ is radially flat, that is

\[ \lim\limits_{{\rm d}(x,0) \to \infty} \dfrac{{\rm d}(f(x),0)}{{\rm d}(x,0)} =0. \]

Proof. Assume that $f$ satisfies $(P_3)$. Let $(x_n)_n \subset M$ be such that ${\rm d}(x_n,0) \to +\infty$. We will show that there exists a subsequence $(x_{n_k})_k$ such that

\[ \dfrac{{\rm d}(f(x_{n_k}),0)}{{\rm d}(x_{n_k},0)} \mathop{\longrightarrow}\limits_{k\to +\infty} 0. \]

In view of applying Property $(P_3)$, we first construct by induction an increasing sequence $(n_k)_k \subset \mathbb {N}$ and a sequence $(y_{n_k})_k \subset M$ such that for every $k \in \mathbb {N}$

  1. (i) ${\rm d}(y_{n_k},0) \geq k$;

  2. (ii) ${\rm d}(x_{n_k},y_{n_k}) \geq k$;

  3. (iii) $\dfrac {{\rm d}(x_{n_k}, y_{n_k})}{{\rm d}(x_{n_k}, y_{n_k}) - {\rm d}(y_{n_k}, 0)} \leq 2$;

  4. (iv) $\dfrac {{\rm d}(f(y_{n_k}), 0)}{{\rm d}(x_{n_k}, y_{n_k}) - {\rm d}(y_{n_k}, 0)} \leq \dfrac {1}{k}$.

We proceed by induction and start with the base case $k=1$. Since $M$ is unbounded, there is an element $y\in M$ such that $d(y,0) \geq 1$. We fix such $y$. The inequality

\[ {\rm d}(x_n,y) \geq {\rm d}(x_n,0)-{\rm d}(y,0) \]

yields ${\rm d}(x_n,y) \mathop {\longrightarrow }\limits _{n\to +\infty } +\infty$ so that

\[ \dfrac{{\rm d}(x_n, y)}{{\rm d}(x_n, y) - {\rm d}(y, 0)} \mathop{\longrightarrow}\limits_{n\to +\infty} 1 \ \ \ \text{and} \ \ \ \dfrac{{\rm d}(f(y), 0)}{{\rm d}(x_n, y) - {\rm d}(y, 0)} \mathop{\longrightarrow}\limits_{n\to +\infty} 0. \]

Hence, we can find $n_1 \in \mathbb {N}$ large enough so that

\[ {\rm d}(x_{n_1},y) \geq 1, \ \dfrac{{\rm d}(x_{n_1}, y)}{{\rm d}(x_{n_1}, y) - {\rm d}(y, 0)} \leq 2 \ \ \ \text{and} \ \ \ \dfrac{{\rm d}(f(y), 0)}{{\rm d}(x_{n_1}, y) - {\rm d}(y, 0)} \leq 1. \]

We then set $y_{n_1}=y$. Assume now that $y_{n_1}, \ldots, y_{n_k} \in M$ are constructed with $n_1 < n_2 < \cdots < n_k$. We can find $y\in M$ such that ${\rm d}(y,0) \geq k+1$. We now proceed as above, and we find $n_{k+1} \in \mathbb {N}$ such that $n_k < n_{k+1}$ and

\[ {\rm d}(x_{n_{k+1}},y) \geq k+1, \ \dfrac{{\rm d}(x_{n_{k+1}}, y)}{{\rm d}(x_{n_{k+1}}, y) - {\rm d}(y, 0)} \leq 2 \quad \text{and}\quad \dfrac{{\rm d}(f(y), 0)}{{\rm d}(x_{n_{k+1}}, y) - {\rm d}(y, 0)} \leq \dfrac{1}{k+1}. \]

We can now set $y_{n_{k+1}} = y$ and by construction, the sequence $(y_{n_k})_k \subset M$ satisfies the desired properties.

In particular, ${\rm d}(y_{n_k},0) \to +\infty$, so we can apply $(P_3)$ to $(x_{n_k})_k$ and $(y_{n_k})_k$ and we keep denoting by $(x_{n_k})_k$ and $(y_{n_k})_k$ the subsequences that we obtain. Hence, we either have $f(x_{n_k}) \to p$ and $f(y_{n_k}) \to q$ for some $p,q \in N$ or $\frac {{\rm d}(f(x_{n_k}) , f(y_{n_k}))}{{\rm d}(x_{n_k},y_{n_k})} \to 0$. Note that if we are in the first case, then we also have

(2.1)\begin{equation} \dfrac{{\rm d}(f(x_{n_k}) , f(y_{n_k}))}{{\rm d}(x_{n_k},y_{n_k})} \to 0 \end{equation}

because ${\rm d}(x_{n_k},y_{n_k}) \to +\infty$, and that is the property we will need. Indeed, by the triangle inequality

\begin{align*} \dfrac{{\rm d}(f(x_{n_k}), 0)}{{\rm d}(x_{n_k},0)} & \leq \dfrac{{\rm d}(f(x_{n_k}), f(y_{n_k}))}{{\rm d}(x_{n_k},y_{n_k}) - {\rm d}(y_{n_k},0)} + \dfrac{{\rm d}(f(y_{n_k}), 0)}{{\rm d}(x_{n_k},y_{n_k}) - {\rm d}(y_{n_k},0)} \\ & = \dfrac{{\rm d}(f(x_{n_k}), f(y_{n_k}))}{{\rm d}(x_{n_k}, y_{n_k})} \dfrac{{\rm d}(x_{n_k},y_{n_k})}{{\rm d}(x_{n_k},y_{n_k}) - {\rm d}(y_{n_k},0)} + \dfrac{{\rm d}(f(y_{n_k}), 0)}{{\rm d}(x_{n_k},y_{n_k}) - {\rm d}(y_{n_k},0)} \end{align*}

and the right-hand side converges to $0$ by $(iii)$, $(iv)$ and (2.1).

Theorem A Let $M,N$ be complete pointed metric spaces, and let $f : M \to N$ be a base point-preserving Lipschitz mapping. Then $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is compact if and only if the next assertions are satisfied:

  1. ( P 1) For every bounded subset $S \subset M$, $f(S)$ is totally bounded in $N;$

  2. ( P 2) $f$ is uniformly locally flat, that is,

    \[ \lim\limits_{{\rm d}(x,y) \to 0} \dfrac{{\rm d}(f(x),f(y))}{{\rm d}(x,y)} =0; \]
  3. ( P 3) For every $(x_n,y_n)_n \subset \widetilde {M} : = \{(x,y) \in M \times M \; | \; x \neq y\}$ such that

    $\lim \limits _{n \to \infty } {\rm d}(x_n,0) = \lim \limits _{n \to \infty } {\rm d}(y_n,0) = \infty$, either

    • $(f(x_n), f(y_n))_n$ has an accumulation point in $N \times N$, or

    • $\mathop {\liminf }\limits _{n\to +\infty }\,\dfrac {{\rm d}(f(x_n),f(y_n))}{{\rm d}(x_n,y_n)}=0$.

Remark 2.5 Assume that the condition $(P_3)$ is satisfied. Then, if $(x_n,y_n)_n \subset \widetilde {M}$ is such that $\dfrac {{\rm d}(f(x_n),f(y_n))}{{\rm d}(x_n,y_n)}$ does not converge to $0$, there is a subsequence $(x_{n_k},y_{n_k})_k$ such that $\mathop {\liminf }\limits _{k\to +\infty }\,\dfrac {{\rm d}(f(x_{n_k}),f(y_{n_k}))}{{\rm d}(x_{n_k},y_{n_k})}>0$. This implies that $(f(x_{n_k}), f(y_{n_k}))_k$ and hence $(f(x_n), f(y_n))_n$, has an accumulation point in $N \times N$. This tells us that we can reformulate condition $(P_3)$ by :

  1. (P3) For every $(x_n,y_n)_n \subset \widetilde {M} : = \{(x,y) \in M \times M \; | \; x \neq y\}$ such that $\lim \limits _{n \to \infty } {\rm d}(x_n,0) = \lim \limits _{n \to \infty } {\rm d}(y_n,0) = \infty$, either

    • $(f(x_n), f(y_n))_n$ has an accumulation point in $N \times N$, or

    • $\mathop {\lim }\limits _{n\to +\infty }\,\dfrac {{\rm d}(f(x_n),f(y_n))}{{\rm d}(x_n,y_n)}=0$.

Proof of theorem A. We first prove the ‘$\implies$’ direction.

We start with $\widehat {f}$ compact implies $(P_1)$. Let $S$ be a bounded subset of $M$ and let $(x_n)_n$ be a sequence in $S$. By assumption (and proposition 2.1), the sequence

\[ (m_n)_n := \left(\widehat{f}\left(\frac{\delta(x_n)}{{\rm d}(x_n,0)} \right)\right)_n = \left(\frac{\delta(f(x_n))}{{\rm d}(x_n,0)}\right)_n \]

has a convergent subsequence $(m_{n_k})_k$. Denote by $\gamma$ the limit of $(m_{n_k})_k$. If $\gamma = 0$, then

\[ {\rm d}(f(x_{n_k}), 0_N) =\| m_{n_k} \| {\rm d}(x_{n_k}, 0_M) \mathop{\longrightarrow}\limits_{k \to \infty} 0 \]

because $(x_{n_k})_k$ is bounded. In that case, $f(x_{n_k}) \to 0_N$ and we are done. Hence, it only remains to consider the case when $\gamma \neq 0$. By lemma 2.3, this can only happen if $d(x_{n_k},0_M)$ does not tend to $0$. But then, we can find a subsequence, still denoted by $(n_k)_k$ for convenience, such that ${\rm d}(x_{n_k},0_M) \geq \alpha > 0$ for every $k$. By the same lemma, we then must have a subsequence of $(f(x_{n_k}))_k$ which converges and this finishes the proof of $(P_1)$.

We now show that $\widehat {f}$ compact implies $(P_2)$. Let $(x_n)_n$, $(y_n)_n$ be two sequences in $M$ such that $d(x_n, y_n) \to 0$. By proposition 2.1, the sequence

\[ \left(\frac{\delta(f(x_n)) - \delta(f(y_n))}{{\rm d}(x_n,y_n)}\right)_n \]

has a convergent subsequence. However it follows immediately from lemma 2.3(i) that the limit is $0$.

It remains to prove that $\widehat {f}$ compact implies $(P_3)$. We already know that if $\widehat {f}$ is compact then $f$ satisfies $(P_2)$, which will be of use. Let $(x_n)_n, (y_n)_n$ be two sequences in $M$ such that $x_n \neq y_n$ for every $n$. Assume that $(x_n)_n$ and $(y_n)_n$ tend to infinity, that is, $\lim \limits _{n \to \infty } {\rm d}(x_n,0) = \lim \limits _{n \to \infty } {\rm d}(y_n,0) = \infty$. Again, we let

\[ m_n := \dfrac{\delta(f(x_n)) - \delta(f(y_n))}{{\rm d}(x_n,y_n)} \]

and $(m_n)_n$ has a convergent subsequence, which we keep denoting by $(m_n)_n$, for simplicity. Let $\gamma$ be the limit of $(m_n)_n$. Notice that

\[ \|m_n \| = \dfrac{{\rm d}(f(x_n) , f(y_n))}{{\rm d}(x_n,y_n)}. \]

We distinguish two cases: up to extracting a further subsequence, we will need to consider the cases when ${\rm d}(x_n,y_n)$ converges to $0$ and when there exists $\alpha >0$ such that ${\rm d}(x_n,y_n) \geq \alpha$ for every $n$. In the first case, we get by $(P_2)$ that $m_n \to 0$ so that $\|m_n\| \to 0$. In the second case, if $\gamma \neq 0$, we have by lemma 2.3(iii) that there exist $p,q\in N$ and an increasing sequence $(n_k)_k \subset \mathbb {N}$ such that $f(x_{n_k}) \to p$ and $f(y_{n_k}) \to q$. Finally if $\gamma = 0$ then again $\|m_n\| \to 0$. In all cases, $f$ satisfies $(P_3)$.

Let us now prove the ‘$\impliedby$’ direction. We keep using the notation

\[ (m_n)_n :=\left(\frac{\delta(f(x_n)) - \delta(f(y_n))}{d(x_n,y_n)}\right)_n \]

where $x_n \neq y_n \in M$ for every $n \in \mathbb {N}$. By proposition 2.1, we have to show that this sequence admits a convergent subsequence in $\mathcal {F}(N)$. Up to extracting a subsequence, we only have to distinguish three cases : when both $(x_n)_n$ and $(y_n)_n$ are bounded, when one of them is bounded while the other one goes to $+\infty$, and when both go to $+\infty$.

  1. (i) If $(x_n)_n$ and $(y_n)_n$ are bounded, by $(P_1)$ there exists an increasing sequence $(n_k)_k \subset \mathbb {N}$ such that $(f(x_{n_k}))_k$ converges to a point $p \in N$ and $(f(y_{n_k}))_k$ converges to some $q\in N$. Since the sequence $({\rm d}(x_{n_k},y_{n_k}))_k$ is bounded, up to a further extraction, we may assume that it converges to some $\rho \geq 0$. Since $f$ is uniformly locally flat, if $\rho = 0$ then $(m_{n_k})_k$ converges to 0. If $\rho >0$, then it is readily seen that $(m_{n_k})_k$ converges to $\rho ^{-1}(\delta (p) - \delta (q))$.

  2. (ii) If $(x_n)_n$ is bounded while $d(y_n,0) \to \infty$, thanks to $(P_1)$ there exists an increasing sequence $(n_k)_k \subset \mathbb {N}$ such that $(f(x_{n_k}))_k$ converges to a point $p \in N$. Therefore we may write for every $k \in \mathbb {N}$:

    \begin{align*} m_{n_k} & = \frac{\delta(f(x_{n_k})) - \delta(f(y_{n_k}))}{{\rm d}(x_{n_k},y_{n_k})}\\ & = \frac{\delta(f(x_{n_k})) - \delta(0)}{{\rm d}(x_{n_k},y_{n_k})} + \frac{\delta(0) - \delta(f(y_{n_k}))}{{\rm d}(0,y_{n_k})} \frac{{\rm d}(0,y_{n_k})}{{\rm d}(x_{n_k},y_{n_k})}. \end{align*}
    On the one hand,
    \[ \left\|\frac{\delta(f(x_{n_k})) - \delta(0)}{{\rm d}(x_{n_k},y_{n_k})}\right\| = \frac{{\rm d}(f(x_{n_k}) , 0)}{{\rm d}(x_{n_k},y_{n_k})} \mathop{\longrightarrow}\limits_{k \to \infty} 0. \]
    On the other hand, $f$ is radially flat thanks to lemma 2.4 so that
    \[ \left\|\frac{\delta(0) - \delta(f(y_{n_k}))}{{\rm d}(0,y_{n_k})}\right\| = \frac{{\rm d}(f(y_{n_k}) , 0)}{{\rm d}(y_{n_k},0)} \mathop{\longrightarrow}\limits_{k \to \infty} 0. \]
    Since the triangle inequality implies that $\lim \limits _{k \to \infty }\,{\rm d}(0 , y_{n_k})^{-1}\,{\rm d}(x_{n_k},y_{n_k}) = 1$, we obtain that $(m_{n_k})_k$ converges to 0.
  3. (iii) If ${\rm d}(x_n,0) \to +\infty$ and ${\rm d}(y_n,0)\to +\infty$, then by $(P_3)$ there exists $(n_k)_k \subset \mathbb {N}$ such that, either $\|m_{n_k}\| \to 0$ or $f(x_{n_k}) \to p$ and $f(y_{n_k}) \to q$ for some $p,q \in N$. In the first case we are done since $(m_{n_k})_k$ converges to 0. In the second case, up to further extraction, we may assume that ${\rm d}(x_{n_k},y_{n_k}) \to \rho \in [0,+\infty ]$. Hence, $m_{n_k}$ converges to $0$ if $\rho = 0$ or $\rho = +\infty$ and converges to $\rho ^{-1}(\delta (p) - \delta (q))$ otherwise.

In all cases, the sequence $(m_n)_n$ admits a convergent subsequence.

Of course, condition $(P_3)$ is always satisfied if the metric space $M$ is bounded. Similarly, condition $(P_2)$ is always satisfied if the space is uniformly discrete, that is, $\inf _{x\neq y} d(x,y) >0$. On the other hand, if $M=\mathbb {R}=N$ with the usual metric $|.|$, this condition means that $f'=0$ and hence $f=0$ because $f(0)=0$. In particular, according to theorem A, the only compact Lipschitz operator $\widehat {f} : \mathcal {F}(\mathbb {R}) \to \mathcal {F}(\mathbb {R})$ is $0$. Furthermore, $(P_3)$ may seem uneasy to check. The next result shows that we may replace this property by a stronger yet simpler condition. Nonetheless, example 2.8 will show that this condition is not necessary.

Corollary 2.6 Let $M,N$ be complete pointed metric spaces, and let $f : M \to N$ be a base point-preserving Lipschitz mapping. If $f$ satisfies

  1. (P1) For every bounded subset $S \subset M$, $f(S)$ is totally bounded in $N;$

  2. ( P 2) $f$ is uniformly locally flat, that is,

    \[ \lim\limits_{{\rm d}(x,y) \to 0} \dfrac{{\rm d}(f(x),f(y))}{{\rm d}(x,y)} =0; \]
  3. ( P 4) $f$ is flat at infinity, that is,

    \[ \mathop{\lim\limits_{{\rm d}(x,0) \to \infty}}\limits_{{\rm d}(y,0) \to \infty} \dfrac{{\rm d}(f(x),f(y))}{{\rm d}(x,y)} =0, \]

then $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is compact.

Proof. It is readily seen that $(P_4)$ implies $(P_3)$.

Remark 2.7 Assume that $\widehat {f}$ is compact. It follows from proposition 2.1 (or the proof of theorem A) and lemma 2.3 that $f$ satisfies the following property

\[ \mathop{\lim}\limits_{{\rm d}(x,y)\to +\infty} \ \dfrac{{\rm d}(f(x),f(y))}{{\rm d}(x,y)} = 0. \]

This property is stronger than the condition ‘radially flat’ from lemma 2.4, but weaker than the condition ‘flat at infinity’ from the previous corollary.

Example 2.8 Property $(P_4)$ is not necessary. Consider $(M,d) =(\mathbb {N} \cup \{0\}, |\cdot |)$ and $f : M \to M$ obtained by $f(2n) = 0$ and $f(2n+1) = 1$. Then $f$ is clearly Lipschitz and $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(M)$ is compact because its range is finite dimensional. Even so, if we let $x_n = 2n+1$ and $y_n=2n$ then ${\rm d}(x_n,0), {\rm d}(y_n,0) \to +\infty$ while $\frac {{\rm d}(f(x_n), f(y_n))}{{\rm d}(x_n,y_n)} = 1$ for every $n$. Consequently $f$ does not satisfy $(P_4)$.

In fact, in the previous example, $f$ satisfies a much stronger property: $f(M)$ is totally bounded.

Corollary 2.9 Let $M,N$ be complete pointed metric spaces, and let $f : M \to N$ be a base point-preserving Lipschitz mapping. If $f(M)$ is totally bounded in $N$ and $f$ is uniformly locally flat, then $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is compact.

Proof. If $f(M)$ is totally bounded then clearly $f$ satisfies $(P_1)$. Moreover if $(x_n)_n$ and $(y_n)_n$ are two sequences in $M$ going to infinity, then the sequences $(f(x_n))_n$ and $(f(y_n))_n$ have a common convergent subsequence and so $f$ readily satisfies $(P_3)$ in theorem A.

Example 2.10. $f(M)$ totally bounded is not necessary. Take $M= \mathbb {N} \cup \{0\}$ equipped with the metric given by ${\rm d}(n,0)=n!$ and ${\rm d}(n,m)=n!+m!$ if $n\neq m$. Define $f : M \to M$ by $f(0)=0$ and $f(n) = n-1$ if $n\geq 1$. Then $f(M)=M$ is clearly not totally bounded while $\widehat {f}$ is compact as it satisfies $(P_1), (P_2)$ and $(P_4)$.

3. Weak compactness of Lipschitz operators

As we already mentioned in the introduction, theorem B is an easy consequence of theorem C, which states that norm-convergence and weak-convergence are equivalent for sequences in $\mathcal {FS}_k(M)$, plus some other classical results concerning (weakly) compact operators. We postpone the proof of theorem C in order to first discuss its use in the proof of theorem B.

Theorem B Let $M,N$ be complete pointed metric spaces, and let $f : M \to N$ be a base point-preserving Lipschitz mapping. The next conditions are equivalent

  1. ( i ) $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is compact;

  2. ( ii ) $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ is weakly compact;

  3. ( iii ) $C_f : \operatorname {Lip}_0(N) \to \operatorname {Lip}_0(M)$ is compact;

  4. ( iv ) $C_f : \operatorname {Lip}_0(N) \to \operatorname {Lip}_0(M)$ is weakly compact;

  5. ( v ) $C_f : \operatorname {Lip}_0(N) \to \operatorname {Lip}_0(M) \ \text {is weak}^{*}\text {-to-weak continuous}$.

Proof. The implication (i) $\implies$ (ii) is obvious. Next, (ii) $\implies$ (i) follows from theorem C and proposition 2.1. Indeed, thanks to the Eberlein–Šmulian theorem (see [Reference Albiac and Kalton4, theorem 1.6.3] e.g.), a subset $S$ of a Banach space $X$ is (relatively) weakly compact if and only if it is (relatively) weakly sequentially compact. So, theorem C implies that a subset $S \subset \mathcal {FS}_k(M)$ is weakly compact if and only if it is compact in the norm topology. Now observe that the set appearing in proposition 2.1 is a subset of $\mathcal {FS}_2(M)$ so that compactness and weak compactness are indeed equivalent. To conclude, (i) $\iff$ (iii) follows from Schauder's theorem (see e.g. [Reference Megginson19, theorem 3.4.15]), (ii) $\iff$ (iv) follows from Gantmacher's theorem (see e.g. [Reference Megginson19, theorem 3.5.13]), and (ii) $\iff$ (v) follows from a classical result [Reference Megginson19, theorem 3.5.14] due to Gantmacher in the separable case and Nakamura in the general case. □

Theorem C is essentially contained in the very deep result [Reference Albiac and Kalton3, theorem 5.2], even if one really needs to use the weak closeness of $\mathcal {FS}_k(M)$ [Reference Abbar, Coine and Petitjean1, lemma 2.10] in order to obtain the statement we give. For the sake of completeness, we will take advantage of some recent developments in the study of Lipschitz-free spaces in order to provide a new direct proof of this result. First, we recall two useful facts. The first one shows that the pointwise multiplication with a Lipschitz function of bounded support always results in a Lipschitz function and, in fact, defines a continuous operator between Lipschitz spaces.

Lemma 3.1 lemma 2.3 in [Reference Aliaga, Pernecká, Petitjean and Procházka7]

Let $M$ be a pointed metric space and let $h\in \operatorname {Lip}(M)$ have bounded support. Let $K\subset M$ contain the base point and the support of $h$. For $f\in \operatorname {Lip}_0(K)$, let $T_h(f)$ be the function given by

(3.1)\begin{equation} T_h(f)(x)=\begin{cases} f(x)h(x) & \text{if } x\in K \\ 0 & \text{if } x\notin K \end{cases}. \end{equation}

Then $T_h$ defines a weak$^{*}$-to-weak$^{*}$ continuous linear operator from $\operatorname {Lip}_0(K)$ into $\operatorname {Lip}_0(M)$, and $\left \|{T_h}\right \|\leq \left \|{h}\right \|_\infty +\operatorname {rad}(\operatorname {supp}(h))\left\|{h}\right\|_L$.

The function $T_h(f)$ does not depend on the choice of $K$, as long as it contains the support of $h$. Thus the requirement that $0\in K$ is not really a restriction, as one may always use the set $K\cup \left \{{0}\right \}$ instead. Since $T_h$ is weak$^{*}$-to-weak$^{*}$ continuous, there is an associated bounded linear operator $W_h\colon \mathcal {F}({M})\rightarrow \mathcal {F}({K})$ such that ${W_h}^{\ast }=T_h$.

The second fact is the following, whose proof is inspired from [Reference Kalton18, lemma 4.5].

Lemma 3.2 Let $M$ be a bounded metric space. If $(\gamma _n)_n \subset \mathcal {F}(M)$ is a weakly null sequence such that there exists $\varepsilon >0$ such that for every $n \neq m \in \mathbb {N}$,

\[ {\rm d}(\operatorname{supp}(\gamma_n) , \operatorname{supp}(\gamma_m)) = \inf\{{\rm d}(x,y) \; | \; x \in \operatorname{supp}(\gamma_n), \; y \in \operatorname{supp}(\gamma_m) \} > \varepsilon, \]

then $(\gamma _n)_n$ converges to 0 in the norm topology.

In the proof below, for $E$ a subset of $M$ and $\eta >0$, we let

\[ [E]_{\eta} : =\{ x \in M \; | \; {\rm d}(x,E) \leq \eta \}. \]

Proof. Arguing by contradiction, we assume that $(\gamma _n)_n$ does not converge to 0 in the norm topology. We can extract a subsequence, still denoted the same way for simplicity, such that:

\[ \exists \delta >0, \; \forall n \in \mathbb{N},\quad \|\gamma_n\| > \delta. \]

Furthermore, if for some $k$ we have ${\rm d}(\{0\}, \operatorname {supp}(\gamma _k)) < \dfrac {\varepsilon }{2}$, then, by triangle inequality and using the assumption, we have, for any $i\neq k$ ${\rm d}(\{0\}, \operatorname {supp}(\gamma _i)) > \dfrac {\varepsilon }{2}$. Hence, we can as well assume that ${\rm d}(\{0\}, \operatorname {supp}(\gamma _n)) > \dfrac {\varepsilon }{2}$ for every $n\in \mathbb {N}$. In what follows, denote $\alpha = \dfrac {\varepsilon }{2}$ and we let $R:=\operatorname {rad}(M)$ be the radius of $M$.

We let $(E_n)_{n \geq 0}$ be the increasing sequence of subsets of $M$ given by

\[ E_n := \{0\} \cup \bigcup_{k=1}^{n} \operatorname{supp}(\gamma_k). \]

By assumption and the remark above, we have that

\[ ({\star}) \quad \forall n \in \mathbb{N}, \quad {\rm d}(\operatorname{supp} \gamma_{n+1} , E_n) > \alpha. \]

Let $n_1=1$ and choose a positive $h_1\in B_{\operatorname {Lip}_0(M)}$ such that $\left |{\left <{h_1,\gamma _{n_1}}\right >}\right |> \delta /2$. By induction, we will build an increasing sequence of integers $(n_k)_{k \in \mathbb {N}}$ as well as Lipschitz maps $(h_k)_{k \in \mathbb {N}} \subset 2R\alpha ^{-1}B_{\operatorname {Lip}_0(M)}$ with the following properties:

  • $|\left <{h_k,\gamma _{n_k}}\right >| >\delta /2$,

  • $\left |{\left <{h_i,\gamma _{n_j}}\right >}\right |<\frac {\delta }{4k}$ whenever $i\leq k$ and $j>k$,

  • $h_{k} \geq 0$, $h_{k}$ is zero on $[E_{n_{k-1}}]_{\alpha /2}$ and $(h_k)_k$ have mutually disjoint supports.

Assume that $n_k$ has been selected, as well as $h_1,\ldots,h_k$. Since $(\gamma _n)$ is weakly-null, we can pick $n_{k+1}>n_k$ such that

\[ \forall n\geq n_{k+1}, \; \forall i\leq k, \quad \left|{\left<{h_i,\gamma_n}\right>}\right|<\dfrac{\delta}{4k}. \]

Using the Hahn–Banach theorem we then pick $f_{k+1} \in \operatorname {Lip}_0(M)$ such that $\operatorname {Lip}(f_{k+1}) \leq 1$ and $\langle f_{k+1}, \gamma _{n_{k+1}} \rangle = \| \gamma _{n_{k+1}} \| > \delta$. Next, we let $g_{k+1} \in \operatorname {Lip}_0(E_{n_{k+1}})$ be the map defined by $g_{k+1} \equiv f_{k+1}$ on $\operatorname {supp}(\gamma _{n_{k+1}})$ and $g_{k+1} \equiv 0$ on $[E_{n_{k+1}-1}]_{\alpha /2}$. We deduce from $(\star )$ that $g_{k+1}$ is $2R\alpha ^{-1}$-Lipschitz, and moreover $\langle g_{k+1}, \gamma _{n_{k+1}} \rangle = \langle f_{k+1}, \gamma _{n_{k+1}} \rangle = \|\gamma _{n_{k+1}}\|> \delta$. We let $\tilde {g}_{k+1}$ be either the positive or the negative part of $g_{k+1}$. The choice is made so that $\left |{\left <{\tilde {g}_{k+1},\gamma _{n_{k+1}}}\right >}\right | > \delta /2$. We now define

\[ \forall x \in M, \quad h_{k+1}(x) = \max\left( \sup_{y\in S} (\tilde{g}_{k+1}(y)-2R\alpha^{{-}1}\,{\rm d}(x,y)) \; , \; 0 \right), \]

where $S = E_{n_{k+1}} \cup [E_{n_k}]_{\alpha / 2}$. Notice that $h_{k+1}$ is the smallest positive $2R \alpha ^{-1}$ -Lipschitz extension to the whole space $M$ of $\tilde {g}_{k+1}$ (see [Reference Weaver20, theorem 1.33]). In particular, $h_{k+1}$ is zero on $[E_{n_k}]_{\alpha /2}$ (and everywhere where $\tilde {g}_{k+1}$ was zero). Now let $l< k$ and assume that $h_{k}(x)\neq 0$. Then clearly $x \notin [E_{n_l}]_{\alpha /2}$. But also $h_l(x)=0$ by the choice of the constant of the extension above. So $(h_k)_k$ have mutually disjoint supports. This finishes the inductive construction.

To conclude, letting $h=\sup _k h_k$ we have $h=\sum _{k=1}^{\infty } h_k$ pointwise together with $\left\|{h}\right\|_L\leq 2R\alpha ^{-1}$. Therefore $h\in \operatorname {Lip}_0(M)$ and for every $k$ we have

\begin{align*} \left|{\left<{\gamma_{n_k},h}\right>}\right| = \left|{\left<{\gamma_{n_k},\sum_{i=1}^{k} h_i}\right>}\right| & \geq \left|{\left<{\gamma_{n_k},h_k}\right>}\right| - \sum_{i=1}^{k-1}\left|{\left<{\gamma_{n_k},h_i}\right>}\right| \\ & \geq \frac{\delta}{2} - \sum_{i=1}^{k-1}\frac{\delta}{4(k-1)} \geq \frac{\delta}{4} \end{align*}

contradicting the fact that $(\gamma _n)_n$ is weakly null.

We are now ready to prove the desired structural result about finitely supported sequences in Lipschitz-free spaces.

Theorem C Let $M$ be a complete metric space. If a sequence $(\gamma _n)_n \subset \mathcal {FS}_k(M)$ weakly converges to some $\gamma \in \mathcal {F}(M)$, then $\gamma \in \mathcal {FS}_k(M)$ and $(\gamma _n)_n$ converges to $\gamma$ in the norm topology.

Proof. Since $\mathcal {FS}_k(M)$ is weakly closed by [Reference Abbar, Coine and Petitjean1, lemma 2.10], if a sequence $(\gamma _n)_n \subset \mathcal {FS}_k(M)$ weakly converges to some $\gamma \in \mathcal {F}(M)$, then $\gamma \in \mathcal {FS}_k(M)$. Therefore, for every $n \in \mathbb {N}$, $\gamma - \gamma _n \in \mathcal {FS}_{2k}(M)$. Consequently, to prove the result it is enough to show that for every complete metric space $M$ and for every $k \in \mathbb {N}$, any weakly null sequence in $\mathcal {FS}_k(M)$ is actually norm null. Furthermore, thanks to [Reference Albiac, Ansorena, Cúth and Doucha2, theorem A], there exists a bounded metric space $B(M)$ such that $\mathcal {F}(M)$ is linearly isomorphic to $\mathcal {F}(B(M))$. The isomorphism $T : \mathcal {F}(M) \to \mathcal {F}(B(M))$ preserves finitely supported elements is the sense that $\gamma \in \mathcal {FS}_k(M)$ if and only if $T(\gamma ) \in \mathcal {FS}_k(B(M))$. So, without loss of generality, we may assume that $M$ is a bounded metric space. Finally let us point out that it is enough to prove that $(\gamma _n)_n$ has a norm-null subsequence. Indeed, assume that $(\gamma _n)_n$ does not converge to 0. Then there exists $\varepsilon >0$ and a subsequence $(\gamma _{\varphi _1(n)})_n$ such that $\|\gamma _{\varphi _1(n)}\|> \varepsilon >0$ for every $n$. Since $(\gamma _{\varphi _1(n)})_n$ is still weakly null, the proof below will show that we may extract a further subsequence $(\gamma _{\varphi _1 \circ \varphi _2 (n)})_n$ which is norm-null, but this contradicts the fact that $\|\gamma _{\varphi _1(n)}\|> \varepsilon >0$. We will proceed by induction on $k \in \mathbb {N}$. If $k=1$ and $(\gamma _n)_n \subset \mathcal {FS}_1(M)$ is a weakly null sequence, we can write $\gamma _n = a_n \delta (x_n)$ where $a_n \in \mathbb {K}$ and $x_n \in M$. Let us denote $f := d(\cdot,0) \in \operatorname {Lip}_0(M)$. Since $(\gamma _n)_n$ is weakly null, it is readily seen that

\[ \|\gamma_n\| = |a_n|\,{\rm d}(x_n,0) = |\langle f , \gamma_n \rangle | \mathop{\longrightarrow}\limits_{n \to \infty} 0. \]

Let us fix $k \in \mathbb {N}$. Assume we have shown that, for every $j \leq k$, every weakly null sequence in $\mathcal {FS}_j(M)$ is in fact norm null. Let us consider a weakly null sequence $(\gamma _n)_n \subset \mathcal {FS}_{k+1}(M)$. For every $n \in \mathbb {N}$, we will write

\[ \gamma_n = \sum_{i=1}^{k+1} a_i(n) \delta(x_i(n)), \]

where $a_i(n) \in \mathbb {K}$ and $x_i(n) \in M$ for every $1 \leq i \leq k+1$. We will distinguish two cases:

  • There exists $i \in \{1, \ldots, k+1\}$ such that $(x_i(n))_n$ has a convergent subsequence to some $x \in M$. For simplicity, we still denote the subsequence by $(x_i(n))_n$. Notice that $i \in \{1, \ldots, k+1\}$ as above might not be unique. So, up to a further extraction, we may assume that there exists $\varepsilon >0$ and $i_1, \ldots, i_j$ such that $(x_{i}(n))_n$ converges to $x$ for every $i \in I:=\{i_1, \ldots, i_j\}$, while $(x_{i}(n))_n \subset M \setminus B(x,\varepsilon )$ whenever $i \in \{1 , \ldots, k+1\} \setminus I$. If $j=k+1$, that is $I = \{1 , \ldots, k+1\}$, then the set $K:=\{x_i(n) \; | \; n \in \mathbb {N} \text { and } 1 \leq i \leq k+1 \} \cup \{x\} \cup \{0\}$ is a countable compact metric space such that $(\gamma _n)_n \subset \mathcal {F}(K)$. Thanks to [Reference Hájek, Lancien and Pernecká13, theorem 3.1] (see also [Reference Aliaga, Gartland, Petitjean and Procházka5]), $\mathcal {F}(K)$ has the Schur property so that $(\gamma _n)$ is actually norm null, which is what we wanted to prove. If $j< k+1$, we let $h$ be the map defined by $h(z)=1$ if $z \in B(x, \varepsilon /2)$ and $h(z) = 0$ if $z \in M \setminus B(x, \varepsilon )$. It is easy to prove that $h$ is Lipschitz on $B(x,\varepsilon /2) \cup M \setminus B(x, \varepsilon )$ and using McShane's extension theorem (see e.g. [Reference Weaver20, theorem 1.33 and corollary 1.34]), we can extend $h$ to the all $M$. Clearly, $\operatorname {supp}(h) \subset K:= B(x,\varepsilon )\cup \{0\}$. Now let $T_h$ be as in lemma 3.1 and $W_h : \mathcal {F}(M) \to \mathcal {F}(K)$ be its pre-adjoint operator. It is a routine check to see that if $\mu \in \mathcal {F}(B(x,\varepsilon /2) \cup \{0\} )$ then $W_h(\mu ) = \mu$. Furthermore, there exists $N_0 \in \mathbb {N}$ such that for every $n \geq N_0$ and every $i \in \{i_1, \ldots, i_j\}$, $(x_{i}(n))_n \subset B(x,\varepsilon /2)$. Thus, by construction, we have:

    \[ \forall n \geq N_0, \quad W_h\gamma_n = \mathop{\sum_{i=1}^{k+1}}\limits_{i \in I} a_{i}(n) \delta(x_{i}(n)). \]
    Since $W_h$ is continuous and since $(\gamma _n)_n$ is weakly null, the sequence $(W_h\gamma _n)_n \subset \mathcal {F}(K)$ is weakly null as well. As $j< k+1$, we may use the induction hypothesis to deduce that $(W_h\gamma _n)_n$ is norm null in $\mathcal {F}(K)$. Recall that $\mathcal {F}(K)$ is a closed subspace of $\mathcal {F}(M)$ so that $(W_h\gamma _n)_n$ can be seen as a norm null sequence in $\mathcal {F}(M)$, which in turn implies that the sequence $(\mu _n)_n$ given by
    \[ \mu_n := \mathop{\sum_{i=1}^{k+1}}\limits_{i \not\in I} a_i(n) \delta(x_i(n)) \]
    has to be weakly null. So we use once more our induction hypothesis to get that $(\mu _n)_n$ is norm null and finally
    \[ (\gamma_n)_n = (W_h\gamma_n)_n + (\mu_n)_n \]
    is norm convergent to 0 as the sum of two such sequences.
  • There is no $i \in \{1, \ldots, k+1\}$ such that $(x_i(n))_n$ has a convergent subsequence. Then each set $\{x_i(n) \; | \; n \in \mathbb {N} \}$, $1 \leq i \leq k+1$, is not totally bounded. Hence there exists $\varepsilon >0$ and an infinite subset $\mathbb {M}$ of $\mathbb {N}$ such that for every $i$ and every $n \neq m \in \mathbb {M}$: $d(x_i(n) , x_i(m))> \varepsilon$. We now claim that we can extract an infinite subset $\mathbb {M}_1$ of $\mathbb {M}$ such that for every $i\neq j$ and every $n \neq m \in \mathbb {M}_1$: ${\rm d}(x_i(n) , x_j(m))> \varepsilon /2$. Let us briefly sketch this extraction. We write $\mathbb {M}= \{n_1 , n_2 , \ldots \}$ and we let $m_1:=n_1$. Since the sequences $(x_i(n_\ell ))_\ell$, $1\leq i \leq k+1$, are $\varepsilon$-separated, by the triangle inequality they must ‘escape’ the balls $B(x_j(m_1), \varepsilon /2)$, $1\leq j \leq k+1$, eventually. In other words, there exists $m_2 \in \mathbb {M}$ such that $m_1< m_2$ and for every $n \in \mathbb {M}$ and $1 \leq i,j \leq k+1$, $n \geq m_2 \implies d(x_i(n) , x_j(m_1)) \geq \varepsilon /2$. By the same argument, there exists $m_3 \in \mathbb {M}$ such that $m_3 > m_2$ and for every $i,j \in \{1 , \ldots, k+1\}$ and every $n \in \mathbb {M}$, $n \geq m_3 \implies d(x_i(n) , x_j(m_1)) \geq \varepsilon /2$ and $d(x_i(n) , x_{j}(m_2)) \geq \varepsilon /2$. Continuing this construction by induction provides the required $\mathbb {M}_1 = \{m_1, m_2 , \ldots \}$. To conclude, notice that for every $n \neq m \in \mathbb {M}_1$, $d(\operatorname {supp}(\gamma _n) , \operatorname {supp}(\gamma _m)) > \varepsilon /2$. Since $(\gamma _n)_{n \in \mathbb {M}_1}$ is weakly null, we may apply lemma 3.2 to conclude that $(\gamma _n)_{n \in \mathbb {M}_1}$ is norm null.

Acknowledgments

The authors wish to thank the anonymous referee for his/her valuable comments and very careful reading of our paper. The authors were supported by the INSMI PEPS JCJC research grant and C. Petitjean was partially supported by the French ANR project No. ANR-20-CE40-0006.

References

Abbar, A., Coine, C. and Petitjean, C.. On the dynamics of Lipschitz operators. Preprint arXiv:2011.10800, 2020.Google Scholar
Albiac, F., Ansorena, J., Cúth, M. and Doucha, M.. Lipschitz algebras and Lipschitz-free spaces over unbounded metric spaces. Preprint arXiv:2011.12993, 2020.Google Scholar
Albiac, F. and Kalton, N. J.. Lipschitz structure of quasi-Banach spaces. Isr. J. Math. 170 (2009), 317335.10.1007/s11856-009-0031-zCrossRefGoogle Scholar
Albiac, F. and Kalton, N. J.. Topics in Banach space theory, 2nd edn, Graduate Texts in Mathematics, vol. 233 (Cham: Springer, 2016).CrossRefGoogle Scholar
Aliaga, R. J., Gartland, C., Petitjean, C. and Procházka, A.. Purely 1-unrectifiable spaces and locally flat Lipschitz functions. Preprint arXiv:2103.09370, 2021.Google Scholar
Aliaga, R. J. and Pernecká, E.. Supports and extreme points in Lipschitz-free spaces. Rev. Mat. Iberoam. 36 (2020), 20732089.CrossRefGoogle Scholar
Aliaga, R. J., Pernecká, E., Petitjean, C. and Procházka, A.. Supports in Lipschitz-free spaces and applications to extremal structure. J. Math. Anal. Appl. 489 (2020), 124128.CrossRefGoogle Scholar
Aliprantis, C. D. and Border, K. C.. Infinite dimensional analysis. A hitchhiker's guide, 3rd edn (Berlin: Springer, 2006).Google Scholar
Aliprantis, C. D. and Burkinshaw, O.. Positive operators. Pure and Applied Mathematics, vol. 119 (New York: Academic, 1985).Google Scholar
Cobzaş, Ş., Miculescu, R., Radu, and Nicolae, A.. Lipschitz functions. Lecture Notes in Mathematics, vol. 2241 (Cham: Springer, 2019).CrossRefGoogle Scholar
Cabrera-Padilla, M. G. and Jiménez-Vargas, A.. A new approach on Lipschitz compact operators. Topol. Appl. 203 (2016), 2231.CrossRefGoogle Scholar
Godefroy, G. and Kalton, N. J.. Lipschitz-free Banach spaces. Stud. Math. 159 (2003), 121141.CrossRefGoogle Scholar
Hájek, P., Lancien, G., Pernecká, E.. Approximation and Schur properties for Lipschitz free spaces over compact metric spaces. Bull. Belg. Math. Soc. Simon Stevin 23 (2016), 6372.CrossRefGoogle Scholar
Jiménez-Vargas, A.. Weakly compact composition operators on spaces of Lipschitz functions. Positivity 19 (2015), 807815.CrossRefGoogle Scholar
Jiménez-Vargas, A., Sepulcre, J. M. and Villegas-Vallecillos, J. M. M.. Lipschitz compact operators. J. Math. Anal. Appl. 415 (2014), 889901.CrossRefGoogle Scholar
Jiménez-Vargas, A. and Villegas-Vallecillos, M.. Compact composition operators on noncompact Lipschitz spaces. J. Math. Anal. Appl. 398 (2013), 221229.CrossRefGoogle Scholar
Kamowitz, H. and Scheinberg, S.. Some properties of endomorphisms of Lipschitz Algebras. Stud. Math. 96 (1990), 6167.CrossRefGoogle Scholar
Kalton, N. J.. Spaces of Lipschitz and Hölder functions and their applications. Collect. Math. 55 (2004), 171217.Google Scholar
Megginson, R. E.. An introduction to banach space theory (New York: Springer, 1998).CrossRefGoogle Scholar
Weaver, N.. Lipschitz algebras, 2nd edn (River Edge, NJ: World Scientific Publishing Co., 2018).CrossRefGoogle Scholar