Abstract
Let \(K=2^\mathbb {N}\) be the Cantor set, let \(\mathcal {M}\) be the set of all metrics d on K that give its usual (product) topology, and equip \(\mathcal {M}\) with the topology of uniform convergence, where the metrics are regarded as functions on \(K^2\). We prove that the set of metrics \(d\in \mathcal {M}\) for which the Lipschitz-free space \(\mathcal {F}(K,d)\) has the metric approximation property is a residual \(F_{\sigma \delta }\) set in \(\mathcal {M}\), and that the set of metrics \(d\in \mathcal {M}\) for which \(\mathcal {F}(K,d)\) fails the approximation property is a dense meager set in \(\mathcal {M}\). This answers a question posed by G. Godefroy.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Lipschitz-free spaces have become an active research area in Banach space theory in recent years. For a metric space (M, d) and a point \(x_0\in M\), we define the Banach space \(\text {Lip}_0(M,x_0)\) consisting of all real-valued Lipschitz functions f on M that vanish at \(x_0\), equipped with the norm
For any \(x\in M\), we define the bounded linear functional \(\delta _x\in \text {Lip}_0(M,x_0)^*\) by \(\delta _x(f) = f(x)\), \(f\in \text {Lip}_0(M,x_0)\). The closed linear span of the set \(\{\delta _x: x\in M\}\) is called the Lipschitz-free space \(\mathcal {F}(M,x_0)\). It is well known that \(\text {Lip}_0(M,x_0)\) is isometric to the dual space of \(\mathcal {F}(M,x_0)\) and that the Banach space structure of both spaces does not depend on the choice of the base point \(x_0\). We will hereafter write \(\text {Lip}_0(M)\) and \(\mathcal {F}(M)\) without specifying the base point, and call \(\mathcal {F}(M)\) simply the free space over M. In the book [20], Weaver provides a comprehensive introduction to Lipschitz and Lipschitz-free spaces. In it, the latter are called Arens-Eells spaces and are denoted by Æ(M).
One direction of research in this area has been the approximation properties of free spaces. Results involving the approximation property (AP) appear in [12,13,14]. Results involving the bounded approximation property (BAP) appear in [8, 11, 15], and metric approximation property (MAP) results appear in [3,4,5, 7, 11, 12, 17, 19]. More details can be found in the introduction to [19] and in [10].
In particular, we mention that if M is a sufficiently ‘thin’ totally disconnected metric space then \(\mathcal {F}(M)\) has the MAP. For example, if M is a countable proper metric space (i.e. where all closed balls are compact), then \(\mathcal {F}(M)\) has the MAP [4]. Also, as a corollary of [20, Corollary 4.39], \(\mathcal {F}(M)\) has the MAP when M is compact and uniformly disconnected (this notion is defined at the beginning of Sect. 2). Moreover, as a corollary of [15, Proposition 2.3] and [1, Theorem B], \(\mathcal {F}(M)\) has the MAP when M is a subset of a finite-dimensional normed space and is purely 1-unrectifiable, which is equivalent to the condition that M contains no bi-Lipschitz image of a compact subset of \(\mathbb {R}\) of positive measure. On the other hand, in [12], G. Godefroy and N. Ozawa constructed a compact convex subset C of a separable Banach space such that \(\mathcal {F}(C)\) fails the AP. Also, by a result in [13], there exists a metric space M homeomorphic to the Cantor space such that \(\mathcal {F}(M)\) fails the AP.
Given a compact metric space M with metric d and a Lipschitz function \(f:M\rightarrow \mathbb {R}\), we say that f is locally flat [20, Definition 4.1] if for every \(x\in M\),
where \(B_\epsilon (x) = \{y\in M: d(y,x) < \epsilon \}\). The Little Lipschitz space \(\text {lip}_0(M)\) is the subspace of \(\text {Lip}_0(M)\) consisting of all locally flat Lipschitz functions. By [20, Corollary 4.5], \(\text {lip}_0(M)\) is a Banach space. It often happens that \(\text {lip}_0(M) = \{0\}\), for example when M is a connected smooth submanifold of \(\mathbb {R}^N\). We say that \(\text {lip}_0(M)\) separates points uniformly [20, Definition 4.10] if there exists \(a\in (0,1]\) such that for every \(x,y\in M\) there is \(f\in \text {lip}_0(M)\) such that \(\text {Lip}(f) \le 1\) and \(|f(x)-f(y)| = ad(x,y)\). By [1, Theorem A, Theorem B], \(\text {lip}_0(M)\) separates points uniformly if and only if \(\text {lip}_0(M)\) is an isometric predual to \(\mathcal {F}(M)\), which holds if and only if M is purely 1-unrectifiable. If M is compact and purely 1-unrectifiable, then by [2, Proposition 3.5], if \(\mathcal {F}(M)\) has the MAP then \(\text {lip}_0(M)\) has the MAP. But also, by the remarks after [9, Problem 6.5], if \(\text {lip}_0(M)\) has the MAP then \(\mathcal {F}(M)\) has the MAP as well.
In [9], G. Godefroy surveys various aspects of the theory of free spaces, including the lifting property for separable Banach spaces, approximation properties of free spaces, and norm attainment of Lipschitz functions and operators. Regarding the bounded approximation property of the free space over a compact set M, he states a very useful criterion (see the end of Sect. 2) in terms of ‘almost-extension’ operators from Lipschitz spaces over finite subsets of M to \(\text {Lip}_0(M)\). In the last section he states a number of open problems, several of which concern approximation properties of free spaces.
Let \(K=2^\mathbb {N}\) be the Cantor set, equipped with the usual (product) topology. Define \(\mathcal {M}\subseteq C(K^2)\) to be the space of all metrics d on K compatible with its topology. We equip \(\mathcal {M}\) with the metric induced by the usual (supremum) norm of \(C(K^2)\). The set \(\mathcal {M}\) is a \(G_\delta \) subset of \(C(K^2)\) (a proof is provided at the beginning of Sect. 2), and is therefore a Polish (i.e. separable and completely metrisable) space. For \(d\in \mathcal {M}\) we write \(\text {Lip}_0(K,d)\) and \(\mathcal {F}(K,d)\) for the Lipschitz space and free space over the metric space (K, d), respectively. We define the following subsets of \(\mathcal {M}\):
In [9, Problem 6.6], Godefroy asks what the topological nature of the set \(A_f\) is (it is nonempty by [13, Corollary 2.2]). Also, more precisely, he asks whether the set \(A_f\) is residual in \(\mathcal {M}\).
In this paper, we investigate the topological properties the subsets of \(\mathcal {M}\) defined above. The main results are the following.
Theorem 1.1
The set \(\mathcal {A}^1\) is a residual \(F_{\sigma \delta }\) set in \(\mathcal {M}\).
Proposition 1.2
The set \(\mathcal {A}_f\) is a dense meager set in \(\mathcal {M}\).
In particular, these results indicate that it might be difficult to use a Baire category argument to show that \(\mathcal {A}_f\) is nonempty (note that the proof of this fact in [13] uses other techniques).
The paper is organised as follows. Section 2 concerns notation and preliminary results. In Sect. 3 we give the proofs of Theorem 1.1 and Proposition 1.2. Furthermore, we prove that \(\mathcal {P}\) is a dense \(G_\delta \) set and \(\mathcal {M}\setminus \mathcal {P}\) is dense. As a corollary, we obtain that the set of metrics d for which \(\mathcal {F}(M)\) is a dual space to \(\text {lip}_0(M)\) and both \(\mathcal {F}(M)\) and \(\text {lip}_0(M)\) have the MAP is residual. Finally, in Sect. 4, we construct a family \((d_\alpha )\) of metrics on K of size continuum, such that there is no algebra isomorphism between \(\text {Lip}_0(K,d_\alpha )\) and \(\text {Lip}_0(K,d_\beta )\) whenever \(\alpha \not = \beta \). This should be compared with [13, Corollary 2.3], wherein it is shown that there exists an family \((d_\alpha )\) of metrics on K of size \(\aleph _1\), such that \(\mathcal {F}(K, d_\alpha )\) is not isomorphic to \(\mathcal {F}(K, d_\beta )\) for \(\alpha \not = \beta \).
2 Notation and Preliminary Results
For a metric space (A, d), \(x\in A\) and \(r>0\) we write \(B^d_r(x) = \{y\in A: d(x,y) < r\}\). If \(C\subseteq A\) then write \(B^d_r(C) = \{y\in A: d(y,C) < r\}\), where \(d(y,C) = \inf \{d(y,x): x\in C\}\). For a real-valued Lipschitz function f on (A, d), \({{\,\textrm{Lip}\,}}_d(f)\) denotes the Lipschitz constant of f with respect to d. If (B, e) is another metric space and \(f:A\rightarrow B\) then the Lipschitz constant of f is denoted by \({{\,\textrm{Lip}\,}}_{d,e}(f)\). We call (A, d) and (B, e) proportional if there exists a surjection \(f:A\rightarrow B\) and \(c>0\) such that \(d(x,y) = ce(f(x),f(y))\) for all \(x,y\in A\). The space (A, d) is called uniformly disconnected [20, Proposition 4.12] if there exists \(r \in (0, 1]\) such that for any distinct \(x,y \in A\) there are complementary clopen sets \(C,D\subseteq A\) such that \(x\in C, y\in D\) and \(d(C,D) \ge r d(x,y)\), where \(d(C,D) = \inf \{d(z,t): z\in C, t\in D\}\).
For \(d\in \mathcal {M}\), \(K_1, K_2\subseteq K\), and \(x\in K\) we put \(D(K_1,K_2) = \sup \{d(x,y): x\in K_1, y\in K_2\}\), and \(D(x,K_1) = D(\{x\}, K_1)\). We write \(D(K_1)\) or \(\text {diam}_d(K_1)\) for \(D(K_1,K_1)\). If S is a nonempty set then we call a finite family \(\{S_1,\ldots ,S_n\}\) of nonempty subsets of S a partition of S if \(S_i\cap S_j = \emptyset \) whenever \(i\not =j\) and \(\bigcup _{i=1}^n S_i = S\). If X is a Banach space then \(B_X\) denotes the closed unit ball of X. If Y is another Banach space then \(X\simeq Y\) means that X is isomorphic to Y.
We will first provide a short proof of the fact that \(\mathcal {M}\) is a \(G_\delta \) set in \(C(K^2)\). Let \(\mu \) be the canonical metric on K:
Define
and for \(n\in \mathbb {N}\), define
The set A is clearly closed and hence \(G_\delta \) in \(C(K^2)\), and the sets \(B_n\) are open by compactness. Therefore, the set \(A \cap \bigcap _{n=1}^\infty B_n\) is \(G_\delta \). Pick any \(d\in A \cap \bigcap _{n=1}^\infty B_n\) and observe that d is a metric on K. Let \(\mathcal {T}_d\) be the topology on K induced by d. Since for any \(x\in K\), the function \(d(x,\cdot )\) is continuous on K, \(B_r^d(x)\) is open in the topology of K for any \(r>0\). Thus, \(\mathcal {T}_d\) is a coarser topology than the one on K. Therefore, any closed subset C of K is compact in \(\mathcal {T}_d\), and is, therefore, closed, because \(\mathcal {T}_d\) is Hausdorff. Thus, \(\mathcal {T}_d\) agrees with the topology on K, so \(d\in \mathcal {M}\). As d was arbitrary, \(\mathcal {M}= A \cap \bigcap _{n=1}^\infty B_n\), and so \(\mathcal {M}\) is \(G_\delta \).
The following is a crucial lemma that allows us to make a small change to a given metric on K in a very flexible way.
Lemma 1.3
Suppose that \(d\in \mathcal {M}, \epsilon > 0, \delta \in (0,1]\) and \(K'\) is a nonempty clopen subset of K. Let \(\{K_1',\ldots ,K_n'\}\) be an arbitrary partition of \(K'\) into clopen sets satisfying \(D(K_i') < \frac{\epsilon }{2}\), and let \(e_1,\ldots ,e_n\in \mathcal {M}\) be arbitrary. Then, there exists \(\tilde{d}\in \mathcal {M}\) such that \(\vert \hspace{-1.0625pt}\vert d-\tilde{d} \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \), d and \(\tilde{d}\) agree on \(K{\setminus } K'\), \((K_i',\tilde{d})\) is proportional to \((K,e_i)\), and \(\tilde{D}(K_i') \le \delta \) for \(i=1,\ldots ,n\).
Proof
Let \(d\in \mathcal {M}, \epsilon > 0,\) and \(K'\subseteq K\) be given. Suppose that \(\{K_1',\ldots ,K_n'\}\) is a partition of \(K'\) satisfying
and let \(e_1,\ldots ,e_n\in \mathcal {M}\) be arbitrary. As each \(K_i'\) is homeomorphic to K, we can find a metric \(d_i\) on \(K_i'\) compatible with its topology such that \((K_i',d_i)\) is isometric to \(\left( K,\frac{\min (\delta , D(K_i'))}{E_i(K)} e_i\right) \). Hence,
Now, define \(\tilde{d}:K^2\rightarrow [0,\infty )\) by
We will now show that \(\tilde{d}\) is a metric on K. It is clearly symmetric and satisfies \(\tilde{d}(x,y) = 0\) if and only if \(x=y\). To show the triangle inequality, pick \(x,y,z\in K\). If \(x,y,z\in K{\setminus } K'\) or \(x,y,z\in K_i'\) for some i then the triangle inequality follows from the triangle inequality for the metric d or \(d_i\), respectively. We now consider the remaining cases:
Case 1: \(x,y\in K{\setminus } K'\) and \(z\in K_i'\) for some i.
We have
By compactness, there exists \(z'\in K_i'\) such that \(\tilde{d}(x,z) = d(x,z')\). Thus,
We can similarly show \(\tilde{d}(y,z) \le \tilde{d}(y,x) + \tilde{d}(x,z)\).
Case 2: \(x\in K{\setminus } K'\) and \(y,z\in K_i'\) for some i.
As \(\tilde{d}(x,y) = \tilde{d}(x,z)\), we have \(\tilde{d}(x,y) \le \tilde{d}(x,z) + \tilde{d}(z,y)\) and \(\tilde{d}(x,z) \le \tilde{d}(x,y) + \tilde{d}(y,z)\). Now let \(y',z'\in K_i'\) be such that \(D(K_i') = d(y',z')\). We have
Case 3: \(x\in K{\setminus } K', y\in K_i'\) and \(z\in K_j'\) with \(i\not =j\).
Let \(y'\in K_i'\) be such that \(\tilde{d}(x,y) = d(x,y')\). We have
Similarly, \(\tilde{d}(x,z) \le \tilde{d}(x,y) + \tilde{d}(y,z)\). Now let \(y_1\in K_i'\) and \(z_1\in K_j'\) be such that \(\tilde{d}(y,z) = d(y_1,z_1)\). We have
Case 4: \(x,y\in K_i'\) and \(z\in K_j'\), where \(i\not =j\).
Let \(x',y'\in K_i'\) be such that \(d(x',y') = D(K_i')\). We have
Also
and similarly \(\tilde{d}(y,z) \le \tilde{d}(y,x) + \tilde{d}(x,z)\).
Case 5: \(x\in K_i',y\in K_j', z\in K_l'\) and i, j and l are distinct.
Let \(x'\in K_i'\) and \(y'\in K_j'\) be such that \(\tilde{d}(x,y) = d(x',y')\). We have
Therefore, \(\tilde{d}\) is a metric on K. Also, \(\tilde{d}\) is continuous on \(K^2\) because it is continuous on each set of the form \(K_i'\times K_j'\), \(K_i'\times (K{\setminus } K')\) and \((K{\setminus } K') \times K_j'\). Therefore, similarly as in the proof that \(\mathcal {M}\) is \(G_\delta \), we conclude that \(\tilde{d}\in \mathcal {M}\). To show \(\vert \hspace{-1.0625pt}\vert \tilde{d} - d \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \), pick \(x,y\in K\). If \(x,y\in K{\setminus } K'\) then \(\tilde{d}(x,y) = d(x,y)\). If \(x\in K{\setminus } K'\) and \(y\in K_i'\) for some i, then let \(y'\in K_i'\) be such that \(\tilde{d}(x,y) = d(x,y')\). Then
by (2.1). If \(x,y\in K_i'\) for some i then
by (2.1) and (2.2). Finally, if \(x\in K_i',y\in K_j'\) for \(i\not =j\) then let \(x'\in K_i', y'\in K_j'\) be such that \(\tilde{d}(x,y) = d(x',y')\). We have
by (2.1). The last assertion of the lemma follows from (2.2). \(\square \)
Remark 2.2
Note that the metric \(\tilde{d}\) satisfies \(\tilde{d}(x,y) \ge d(x,y)\) whenever \(x,y\in K\) and x, y do not both belong to \(K_i'\) for any \(i=1,\ldots ,n\).
Corollary 1.5
Let \(d\in \mathcal {M}, \epsilon > 0,\) and \(K'\subseteq K\) be a clopen subset. Then, there exists a partition \(\{K_1,\ldots ,K_n\}\) of \(K'\) consisting of clopen sets such that, for any arbitrary \(e_1,\ldots ,e_n\in \mathcal {M}\), there exists a metric \(\tilde{d} \in \mathcal {M}\) such that \(\vert \hspace{-1.0625pt}\vert \tilde{d} - d \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \), \(\tilde{d}\) and d agree on \(K\setminus K'\), and \((K_i, \tilde{d})\) is proportional to \((K,e_i)\) for each \(i=1,\ldots ,n\).
Proof
Let \(d\in \mathcal {M}, \epsilon > 0\) and \(K'\) be given. Using the compactness of \(K'\) and the fact that each point in \(K'\) has a local base for its topology consisting of clopen neighbourhoods, we can find a cover \(C_1,\ldots ,C_p\) of \(K'\) such that \(C_i\) is clopen and \(D(C_i) < \frac{\epsilon }{2}\) for each \(i=1,\ldots ,p\). Now inductively define \(K_1' = C_1\) and \(K_{i+1}' = C_{i+1} {\setminus } \bigcup _{j=1}^i K_j'\). By dismissing any empty \(K_i'\) we obtain a partition \(\{K_1',\ldots ,K_n'\}\) of \(K'\) (where \(n\le p\)), consisting of clopen sets satisfying \(D(K_i') < \frac{\epsilon }{2}\) for each \(i=1,\ldots ,n\). Now, if \(e_1,\ldots ,e_n\in \mathcal {M}\) are arbitrary, the corollary follows from an application of Lemma 2.1 with \(\delta =1\). \(\square \)
We will also need the following results.
Lemma 1.6
Suppose that \(d\in \mathcal {M}\) and \((d_n)_n \subseteq \mathcal {M}\) are such that \(d_n\rightarrow d\) uniformly. Let \((M,\rho )\) be a compact metric space, \(L>0\) and \(h_n:K\rightarrow M\) be functions such that \({{\,\textrm{Lip}\,}}_{d_n,\rho }(h_n) \le L\) for each \(n\in \mathbb {N}\). Then there exists a subsequence \((h_{n_i})_i\) of \((h_n)_n\) and a function \(h:K\rightarrow M\) such that \({{\,\textrm{Lip}\,}}_{d,\rho } (h) \le L\) and \(h_{n_i} \rightarrow h\) uniformly on K as \(i\rightarrow \infty \). Furthermore,
-
(1)
if \(J>0\) and \(h_n\) is bilipschitz with \({{\,\textrm{Lip}\,}}_{\rho ,d_n}(h_n^{-1}) \le J\) for all n, then h is bilipschitz with \({{\,\textrm{Lip}\,}}_{\rho ,d} (h^{-1}) \le J\),
-
(2)
if \(h_n\) is surjective for all n, then h is surjective.
Proof
We will show that the functions \((h_n)_n\) are d-\(\rho \)-equicontinuous. Pick \(\epsilon > 0\), and pick \(n\in \mathbb {N}\) such that \(\vert \hspace{-1.0625pt}\vert d_k-d \vert \hspace{-1.0625pt}\vert _\infty < \frac{\epsilon }{2\,L}\) for \(k\ge n\). Then, for \(k\ge n\) and \(x,y\in K\) such that \(d(x,y) < \frac{\epsilon }{2\,L}\),
Therefore, \((h_n)_n\) is equicontiuous on (K, d). By the Arzelà-Ascoli theorem, there exists a continuous \(h:K\rightarrow M\) and a subsequence \((h_{n_i})_i\) of \((h_n)_n\) such that \(h_{n_i} \rightarrow h\) uniformly. For \(x,y\in K\),
Hence, \({{\,\textrm{Lip}\,}}_{d,\rho }(h) \le L\).
If \(J>0\) and \(h_n\) is bilipschitz with \({{\,\textrm{Lip}\,}}_{\rho ,d_n}(h_n^{-1}) \le J\) for all \(n\in \mathbb {N}\), then, similarly as previously we can show that h is bilipschitz with \({{\,\textrm{Lip}\,}}_{\rho ,d} (h^{-1}) \le J\).
Now assume the \(h_n\) are surjective. Pick \(y\in M\), and let \(\epsilon > 0\). Choose \(i\in \mathbb {N}\) such that \(\vert \hspace{-1.0625pt}\vert h-h_{k_i} \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \). If \(h_{k_i}(x)=y\), then \(|h(x) - y| < \epsilon \). As \(\epsilon \) was arbitrary, y is a limit point of h(K). Since h(K) is compact, \(y\in h(K)\) and h is surjective. \(\square \)
Proposition 1.7
Let \(d\in \mathcal {M},\, x_0\) be the base point of (K, d) and \(\{K_1,\ldots ,K_n\}\) be a partition of K consisting of clopen sets. If \(K_i' = K_i\cup \{x_0\}\) for \(i=1,\ldots ,n\) then
Proof
Let \(x_0\) be the base point of each \(K_i'\) as well. We define the bounded linear operator \(T:\text {Lip}_0(K,\tilde{d}) \rightarrow \text {Lip}_0(K_1',d) \oplus _\infty \ldots \oplus _\infty \text {Lip}_0(K_n',d)\) by
It is easy to see that T is surjective. Pick \(x,y\in K, x\not =y\). If \(x,y\in K_i\) for some i then clearly \(\frac{|f(x)-f(y)|}{d(x,y)} \le \vert \hspace{-1.0625pt}\vert T(f) \vert \hspace{-1.0625pt}\vert \) for each \(f\in \text {Lip}_0(K,d)\). Otherwise, \(d(x,y)>\min _{i\not =j} d(K_i,K_j) =: b\), so
Therefore, \(\vert \hspace{-1.0625pt}\vert f \vert \hspace{-1.0625pt}\vert \le \max \Big (1,2b^{-1} D(K)\Big )\vert \hspace{-1.0625pt}\vert T(f) \vert \hspace{-1.0625pt}\vert \) for each \(f\in \text {Lip}_0(K,d)\), which shows that T is an isomorphism. It is not hard to see that T is the adjoint of the operator \(T_*:\mathcal {F}(K_1',d) \oplus _1 \ldots \oplus _1 \mathcal {F}(K_n',d) \rightarrow \mathcal {F}(K,d)\),
(the spaces \(\mathcal {F}(K_i',d))\) are seen as subspaces of \(\mathcal {F}(K,d)\), by [20, Theorem 3.7]). Therefore, \(T_*\) is the required isomorphism. \(\square \)
Theorem 1.8
(Grothendieck) If X is a separable dual Banach space with the AP then X has the MAP.
A proof of the previous theorem can be found in e.g. [16, Theorem 1.e.15]. Finally, in this section, we give a useful criterion, due to Godefroy, for the \(\lambda \)-BAP of free spaces over compact metric spaces in terms of ‘almost-extension’ operators [9, Theorem 3.2] (also [8, Theorem 1]). We will need one of the several equivalent conditions for the \(\lambda \)-BAP stated in [9, Theorem 3.2]. For a finite subset \(M'\subseteq M\) of a compact metric space M, and \(\epsilon > 0\), we say that \(M'\) is \(\epsilon \)-dense in M if for every \(y\in M\) there is an \(x\in M'\) such that \(d(y,x) < \epsilon \). Note that if \((M_n)_n\) is an increasing sequence (with respect to inclusion) of finite subsets of M such that \(\bigcup _{n=1}^\infty M_n\) is dense in M, then there exists a sequence \((\epsilon _n)_n\) of positive numbers tending to 0 such that \(M_n\) is \(\epsilon _n\)-dense in M for all \(n\in \mathbb {N}\).
Theorem 1.9
Let M be a compact metric space and \((M_n)_n\) be a sequence of finite \(\epsilon _n\)-dense subsets of M with \(\lim _{n\rightarrow \infty } \epsilon _n = 0\). Then, \(\mathcal {F}(M)\) has the \(\lambda \)-BAP if and only if there is a sequence \((T_n)_n\) of operators \(T_n:\text {Lip}_0(M_n)\rightarrow \text {Lip}_0(M)\) such that \(\vert \hspace{-1.0625pt}\vert T_n \vert \hspace{-1.0625pt}\vert \le \lambda \) for all n and
3 Topological Properties of \(\mathcal {A}^\lambda \), \(\mathcal {A}_f\) and \(\mathcal {P}\)
In this section we give our main results. We will first prove that \(\mathcal {A}^\lambda \) is an \(F_{\sigma \delta }\) set in \(\mathcal {M}\) for any \(\lambda \ge 1\). Fix a dense sequence of distinct elements \((x_n)_{n=1}^\infty \) in K. For \(n\in \mathbb {N}\), define \(A_n = \{x_1,\ldots ,x_n\}\), and for \(n\in \mathbb {N}, \lambda \ge 1\) and \(\epsilon > 0\), define
Proposition 1.10
The set \(\mathcal {B}_{n,\epsilon }^\lambda \) is closed in \(\mathcal {M}\) for each \(n\in \mathbb {N}, \epsilon > 0\) and \(\lambda \ge 1\).
Proof
Fix some \(n\in \mathbb {N}, \epsilon > 0\) and \(\lambda \ge 1\). Let \((d_k)_k\) be a sequence in \(\mathcal {B}_{n,\epsilon }^\lambda \) converging to \(d\in \mathcal {M}\). For each \(k\in \mathbb {N}\), pick some \(T_k:\text {Lip}_0(A_n,d_k)\rightarrow \text {Lip}_0(K,d_k)\) such that \(\vert \hspace{-1.0625pt}\vert T_k \vert \hspace{-1.0625pt}\vert \le \lambda \) and
Fix an \(m\in \mathbb {N}, m > n\). We consider the sequence of operators \((S_k)_{k=1}^\infty \), where \(S_k:\text {Lip}_0(A_n, d)\rightarrow \text {Lip}_0(A_m, d)\) is defined by \(S_k(f) = T_k(f)|_{A_m}\). As \(d_k\rightarrow d\) uniformly and \(A_m\) is finite, it is not hard to see that \((\vert \hspace{-1.0625pt}\vert S_k \vert \hspace{-1.0625pt}\vert )_{k=1}^\infty \) is a bounded sequence. Therefore, by compactness, \((S_k)_k\) has a subsequence \((S_{k_j})_j\) which converges to an operator \(P_m:\text {Lip}_0(A_n, d)\rightarrow \text {Lip}_0(A_m, d)\). For any \(f\in \text {Lip}_0(A_n,d)\), we have \({{\,\textrm{Lip}\,}}_{d} (f) = \lim _{j\rightarrow \infty } {{\,\textrm{Lip}\,}}_{d_{k_j}}(f)\) and for \(x,y\in A_m\),
Therefore, \(\vert \hspace{-1.0625pt}\vert P_m \vert \hspace{-1.0625pt}\vert \le \lambda \). It is also clear that
Now, fix a basis \(f_1,\ldots ,f_{n-1}\) of \(\text {Lip}_0(A_n,d)\) with \(\vert \hspace{-1.0625pt}\vert f_i \vert \hspace{-1.0625pt}\vert = 1\) for all \(i\in \{1,\ldots ,n-1\}\). For each i and \(m>n\) extend the function \(P_m(f_i)\) to (K, d) without increasing its Lipschitz constant, by McShane’s extension theorem [20, Theorem 1.33]. Now for \(i\in \{1,\ldots ,n-1\}\), consider the sequence \((P_m(f_i))_{m=n+1}^\infty \subseteq \lambda B_{\text {Lip}_0(K,d)}\). By the Arzelà-Ascoli theorem, we can obtain a subsequence \((P_{m_j})_{j=1}^\infty \) of \((P_m)_{m=n+1}^\infty \) such that \(P_{m_j}(f_i)\) converges uniformly to some continuous function \(T(f_i)\) on K, for all \(i\in \{1,\ldots ,n-1\}\). Since for \(x,y\in K\),
we conclude that \(T(f_i) \in \lambda B_{\text {Lip}_0(K,d)}\) for all \(i\in \{1,\ldots ,n-1\}\). We extend T by linearity to \(\text {Lip}_0(A_n,d)\).
For each \(p\in \mathbb {N}\) and each \(i=\{1,\ldots ,n-1\}\), we have
Therefore, by linearity, \(T(f)(x_p) = \lim _{j\rightarrow \infty } P_{m_j}(f)(x_p)\) for each \(f\in \text {Lip}_0(A_n,d)\). Now, let \(p,l \in \mathbb {N}\), \(p<l\). Then \(x_p,x_l \in A_{m_j}\) whenever \(m_j \ge l\), hence
From the fact that \((x_p)_{p=1}^\infty \) is dense in K follows that \({{\,\textrm{Lip}\,}}_d(T(f)) \le \lambda {{\,\textrm{Lip}\,}}_d(f)\), and so \(\vert \hspace{-1.0625pt}\vert T \vert \hspace{-1.0625pt}\vert \le \lambda \). Also, it is not hard to see that
Therefore, \(d\in \mathcal {B}_{n,\epsilon }^\lambda \) and \(\mathcal {B}_{n,\epsilon }^\lambda \) is closed. \(\square \)
Remark 3.2
In the second part of the previous proof, extending \(P_m(f_i)\) by McShane’s extension theorem is done for convenience rather than necessity. Alternatively, we can define Tf only on the set \(\{x_n: n\in \mathbb {N}\}\) and then extend to K using the density of \(\{x_n: n\in \mathbb {N}\}\).
Proposition 1.12
The set \(\mathcal {A}^\lambda \) is \(F_{\sigma \delta }\) in \(\mathcal {M}\) for any \(\lambda \ge 1\).
Proof
According to Theorem 2.7 with \(M=K\), \(M_n = A_n\), \(n\in \mathbb {N}\), \(\mathcal {F}(K,d)\) has the \(\lambda \)-BAP if and only if there exists a sequence \((\alpha _n)_n\) of positive real numbers converging to 0 such that \(d\in \mathcal {B}_{n,\alpha _n}^\lambda \) for all \(n\in \mathbb {N}\). This is equivalent to
or
Now the statement follows from Proposition 3.1. \(\square \)
For \(a\in 2^{<\mathbb {N}}\) (that is, a is a finite sequence of 0 s and 1 s) and \(n\in \mathbb {N}\), let l(a) denote the length of a, and define \(R_n = \{a \in 2^{<\mathbb {N}} \;:\; l(a) = n\}\), and \(C_a = \{x\in K \;:\; x|_{\{1,2,\ldots ,l(a)\}} = a\}\). Each \(C_a\) is a clopen subset of K with \(\text {diam}_\mu (C_a) = 2^{-l(a)-1}\), and, for each \(n\in \mathbb {N}\), K is the disjoint union of the sets \(\{C_a \;:\; a\in R_n\}\). For each \(a\in 2^{<\mathbb {N}}\), let \(r_a = (a(1),\ldots ,a(l(a)),0,0,\ldots )\in K\). For \(d\in \mathcal {M}\) and \(n\in \mathbb {N}\), we define \(T_n^d:\text {Lip}_0(\{r_a: a\in R_n\},d)\rightarrow \text {Lip}_0(K,d)\) by \(T_n^d(f)(x) = f(r_{x|_{\{1,2,\ldots ,n\}}})\). Also define
Lemma 1.13
The operator \(T_n^d\) satisfies \(\vert \hspace{-1.0625pt}\vert T_n^d \vert \hspace{-1.0625pt}\vert \le \chi _n^d\).
Proof
Let \(f\in \text {Lip}_0(\{r_a: a\in R_n\},d)\), \(\text {Lip}(f) \le 1\), and \(x,y\in K\). If \(x,y\in C_a\) for some \(a\in R_n\) then \(T_n^d(f)(x) = T_n^d(f)(y)\). If \(x\in C_a, y\in C_b\) where \(a,b\in R_n, a\not =b\), then
Therefore \(\vert \hspace{-1.0625pt}\vert T_n^d \vert \hspace{-1.0625pt}\vert \le \chi _n^d.\) \(\square \)
Define \(U_n = \{d\in \mathcal {M}\;:\; \chi _n^d < 1+\frac{1}{n}\}\) for each \(n\in \mathbb {N}\). It is clear that \(U_n\) is open in \(\mathcal {M}\).
Proposition 1.14
For each \(n_0\in \mathbb {N}\), \(\bigcup _{n=n_0}^\infty U_n\) is dense and open in \(\mathcal {M}\).
Proof
Let \(n_0\in \mathbb {N}\). Obviously \(\bigcup _{n=n_0}^\infty U_n\) is open. Pick \(d\in \mathcal {M}\) and \(\epsilon > 0\). By compactness of K, we can find \(n\ge n_0\) such that \(d(x,y) < \frac{\epsilon }{2}\) whenever \(\mu (x,y) < 2^{-n}\), \(x,y\in K\). We then have \(D(C_a) < \frac{\epsilon }{2}\) for all \(a\in R_n\) (strict inequality holds by compactness of \(C_a\)). Apply Lemma 2.1 to \(d, \epsilon , \delta =1\), \(K'=K\), the partition \(\{C_a: a\in R_n\}\) of \(K'\), and \(e_i = \mu \) for all i. We obtain a metric \(\tilde{d}\) such that \(\vert \hspace{-1.0625pt}\vert \tilde{d} - d \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \). By the definition of \(\tilde{d}\) in Lemma 2.1, for \(a,b\in R_n, a\not =b\),
Hence \(\chi _n^{\tilde{d}} = 1\), and so \(\tilde{d}\in U_n\). \(\square \)
We are now ready to prove the main results.
Proof of Theorem 1.1
By Proposition 3.3, it suffices to prove that \(\mathcal {A}^1\) is residual, and by Proposition 3.5, it suffices to prove
If d is in the set on the left-hand side, then there exists an increasing sequence of natural numbers \(n_1< n_2 < \ldots \) such that \(d\in U_{n_i}\) for all i. Then, \(\vert \hspace{-1.0625pt}\vert T_{n_i}^d \vert \hspace{-1.0625pt}\vert < 1+\frac{1}{n_i}\) for all i, by Lemma 3.4. It is easy to see that the last condition of Theorem 2.7 holds for \(M=K\), the subsets \(M_i = \{r_a: a\in R_{n_i}\}\), and the operators \(\frac{T_{n_i}^d}{\vert \hspace{-1.0625pt}\vert T_{n_i}^d \vert \hspace{-1.0625pt}\vert }\) for \(i\in \mathbb {N}\), since \((T_{n_i}^d(f))|_{M_i} = f\) for all \(f\in \text {Lip}_0(M_i,d)\), and \(\vert \hspace{-1.0625pt}\vert T_{n_i}^d \vert \hspace{-1.0625pt}\vert \rightarrow 1\). As \(\bigcup _{i=1}^\infty M_i\) is dense in K, by Theorem 2.7 we obtain \(d\in \mathcal {A}^1\). \(\square \)
Proof of Proposition 1.2
The fact that \(\mathcal {A}_f\) is meager follows from Theorem 1.1. To show it is dense, let \(d\in \mathcal {M}\) and \(\epsilon >0\). By [13, Corollary 2.2] there exists \(d'\in \mathcal {A}_f\). According to Corollary 2.3 with \(K'=K\) and \(e_i = d'\) for all i, there exists \(\tilde{d}\in \mathcal {M}\) and a partition \(\{K_1,\ldots ,K_n\}\) of K consisting of clopen sets such that \(\vert \hspace{-1.0625pt}\vert \tilde{d} - d \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \) and \((K_i,\tilde{d})\) is proportional to \((K,d')\). According to Proposition 2.5,
where \(K_i' = K_i\cup \{x_0\}\) and \(x_0\) is the base point of K. Since proportional metric spaces have isometrically isomorphic free spaces, \(\mathcal {F}(K_1,\tilde{d})\) fails the AP. As \(\mathcal {F}(K_1,\tilde{d})\) has codimension 1 in \(\mathcal {F}(K_1', \tilde{d})\), we have that \(\mathcal {F}(K_1', \tilde{d})\) fails the AP as well. Hence, \(\mathcal {F}(K,\tilde{d})\) fails the AP. \(\square \)
We now state and prove some properties of the set \(\mathcal {P}\) of metrics d for which (K, d) is purely 1-unrectifiable. Denote by \(\Delta \) the Lebesgue measure on \(\mathbb {R}\).
Proposition 1.15
The set \(\mathcal {P}\) is \(G_\delta \) in \(\mathcal {M}\).
Proof
For \(m,k\in \mathbb {N}\) define
We will prove that \(V_{m,k}\) is closed. Let \((d_n)_{n\in \mathbb {N}} \subseteq V_{m,k}\) converge uniformly to \(d\in \mathcal {M}\), and let \(K_n'\) and \(h_n:K_n'\rightarrow \mathbb {R}\) be the compact set and bilipschitz function, respectively, associated to \(d_n\) for each \(n\in \mathbb {N}\). By taking a subsequence, we can assume that the \(K_n'\) converge to a compact set \(K'\subseteq K\) (in the Vietoris topology of \(\mathbb {R}\)). We extend each function \(h_n\) to a function (again denoted by \(h_n\)) on K by [20, Theorem 1.33], while preserving its Lipschitz constant with respect to \(d_n\). We can assume, by translation, that \(h_n(0,0,\ldots ) = 0\) for each n. As the diameters of \((K,d_n)\) are uniformly bounded, the sets \(h_n(K)\) are all contained in some fixed bounded interval. By Lemma 2.4, there exists a subsequence \((h_{n_i})_i\) converging uniformly to a function \(h:K\rightarrow \mathbb {R}\) with \({{\,\textrm{Lip}\,}}_d(h) \le m\).
Now, let \(x,y\in K'\) be arbitrary and let \((x_i)_i, (y_i)_i \subseteq K\) converge to x and y, respectively, and be such that \(x_i,y_i\in K_{n_i}'\) for each \(i\in \mathbb {N}\). Let \(\epsilon > 0\) and pick i such that
Then
As \(\epsilon \) was arbitrary, we get \(|h(x)-h(y)| \ge m^{-1}d(x,y)\). This means that h satisfies the bilipschitz condition in the definition of \(V_{m,k}\) on the set \(K'\).
To show that \(\Delta (h(K')) \ge k^{-1}\), pick \(\epsilon > 0\) and set \(U = B_\epsilon ^{|\cdot |}(h(K'))\). We have that \(h^{-1}(U)\) is an open set in K containing \(K'\). Choose i such that \(K_{n_i}' \subseteq h^{-1}(U)\) and \(\vert \hspace{-1.0625pt}\vert h-h_{n_i} \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \). Then
Hence, \(\Delta (B_{2\epsilon }^{|\cdot |}(h(K'))) \ge \Delta (h_{n_i}(K_{n_i}')) \ge k^{-1}\). As \(\epsilon \) was arbitrary, we get that \(\Delta (h(K')) \ge k^{-1}\). Therefore, \(d\in V_{m,k}\) and so \(V_{m,k}\) is closed. As \(\mathcal {M}{\setminus }\mathcal {P}= \bigcup _{m,k\in \mathbb {N}} V_{m,k}\), we have that \(\mathcal {M}{\setminus }\mathcal {P}\) is \(F_\sigma \), and so \(\mathcal {P}\) is \(G_\delta \). \(\square \)
Proposition 1.16
The set \(\mathcal {P}\) is dense in \(\mathcal {M}\).
Proof
Let \(d\in \mathcal {M}\) and \(\epsilon >0\) be arbitrary. It is not hard to see that \((K,\mu )\) is uniformly disconnected. By [20, Corollary 4.39 (ii)], \(\mathcal {F}(K,\mu )\) is a dual space. Then by [1, Theorem B], \((K,\mu )\) is purely 1-unrectifiable. According to Corollary 2.3 applied to d, \(\epsilon \), \(K' = K\) and \(e_i = \mu \) for all i, there exists a partition \(\{K_1,\ldots ,K_n\}\) of K consisting of clopen sets, and a metric \(\tilde{d}\in \mathcal {M}\), such that \(\vert \hspace{-1.0625pt}\vert \tilde{d} - d \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \) and \((K_i,\tilde{d})\) is proportional to \((K,\mu )\) for all i. Therefore, each \((K_i,\tilde{d})\) is purely 1-unrectifiable. Hence, it is not hard to see that \((K,\tilde{d})\) is also purely 1-unrectifiable. \(\square \)
Proposition 1.17
The set \(\mathcal {M}\setminus \mathcal {P}\) is dense in \(\mathcal {M}\).
Proof
Let \(d\in \mathcal {M}\) and \(\epsilon >0\) be arbitrary. Let \(d'\in \mathcal {M}\) be such that \((K,d')\) is isometric to a Cantor subset of \(\mathbb {R}\) of positive measure. Then, clearly \((K,d')\) is not purely 1-unrectifiable. According to Corollary 2.3 with \(K=K'\) and \(e_i = d'\) for all i, there exists \(\tilde{d}\in \mathcal {M}\) such that \(\vert \hspace{-1.0625pt}\vert d-\tilde{d} \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \) and \((K,\tilde{d})\) contains a clopen subset proportional to \((K,d')\). Then, \((K,\tilde{d})\) is not purely 1-unrectifiable. \(\square \)
Corollary 1.18
The set of metrics d for which \(\mathcal {F}(K,d)\) is the dual space of \(\text {lip}_0(K,d)\) and both \(\text {lip}_0(M)\) and \(\mathcal {F}(M)\) have the MAP is residual in \(\mathcal {M}\).
Proof
Let G be the set of metrics in question. Clearly, \(G\subseteq \mathcal {A}^1\), and by [1, Theorem B], \(G\subseteq \mathcal {P}\). Also, if \(d\in \mathcal {P}\cap \mathcal {A}^1\) then by [2, Proposition 3.5], \(\text {lip}_0(K,d)\) has the MAP, so \(d\in G\). Therefore, \(G = \mathcal {P}\cap \mathcal {A}^1\) and the corollary follows from Proposition 3.6, Proposition 3.7, and Theorem 1.1. \(\square \)
4 Lipschitz Equivalence Classes
In this section, we consider subsets of \(\mathcal {M}\) consisting of Lipschitz-equivalent metrics, and describe some of their basic topological properties. For any \(d\in \mathcal {M}\), we consider the ‘Lipschitz equivalence class’ of metrics
Proposition 1.19
There is a family \((d_\alpha ) \subseteq \mathcal {M}\) of size continuum such that \(E_{d_\alpha } \cap E_{d_\beta } = \emptyset \) whenever \(\alpha \not =\beta \).
Proof
For each \(\lambda \in (0,1)\), let \(d_\lambda \in \mathcal {M}\) be such that \((K,d_\lambda )\) is isometric to the \(\lambda \)-middle-thirds Cantor subset of \(\mathbb {R}\). By [6, Exercise 2.14], the Hausdorff dimension of \((K,d_\lambda )\) for each \(\lambda \in (0,1)\) is \(\frac{\log 2}{\log \frac{2}{1-\lambda }}\). By [6, Corollary 2.4], there is no bilipschitz surjection from \((K,d_\lambda )\) to \((K,d_{\lambda '})\) for different \(\lambda \) and \(\lambda '\), and the statement follows. \(\square \)
Proposition 1.20
For each \(d\in \mathcal {M}\), \(E_d\) is a dense meager \(F_\sigma \) set in \(\mathcal {M}\).
Proof
Fix \(d\in \mathcal {M}\). If \({\hat{d}}\in \mathcal {M}\) and \(\epsilon > 0\) are arbitrary, we will show that there exists a metric \(\tilde{d}\in E_d\) which is \(\epsilon \)-close to \({\hat{d}}\). We apply Corollary 2.3 to \({\hat{d}}\), \(K'=K\), and \(\epsilon \), to get a partition \(K_1,\ldots ,K_n\) of K consisting of clopen sets. Now if \(e_i \in \mathcal {M}\) is such that \((K,e_i)\) is isometric to \((K_i,d)\) for \(i=1,\ldots ,n\), then by the same corollary, we obtain a metric \(\tilde{d}\in \mathcal {M}\), such that \(\vert \hspace{-1.0625pt}\vert {\hat{d}} -\tilde{d} \vert \hspace{-1.0625pt}\vert _\infty < \epsilon \), and \((K_i,\tilde{d})\) is proportional to \((K,e_i)\), and hence to \((K_i,d)\), for all i. It is not hard to see that then \(\tilde{d} \in E_d\). Therefore, \(E_d\) is dense in \(\mathcal {M}\).
Now for \(n\in \mathbb {N}\), consider the set
Suppose that \((d_k)_{k=1}^\infty \) is a sequence in \(E_d^n\) converging to \(d_0\in \mathcal {M}\). Let \(h_k:K\rightarrow K\) be the surjection associated with \(d_k\), for each \(k\in \mathbb {N}\). By Lemma 2.4, there exists a surjective function \(h:K\rightarrow K\) satisfying the condition in the definition of \(E_d^n\) with \(d_0\) for \(d'\). This shows that \(d_0\in E_d^n\) and so \(E_d^n\) is closed. Since \(E_d = \bigcup _{n\in \mathbb {N}} E_d^n\), \(E_d\) is \(F_\sigma \). Moreover, \(E_d^n\) is nowhere dense because if \(e\not \in E_d\) then \(E_{e}\) is dense in \(\mathcal {M}\) and \(E_{e}\cap E_d = \emptyset \). Therefore \(E_d\) is meager. \(\square \)
For a bounded metric space M, we define \(\text {Lip}(M)\) (resp. \(\text {Lip}(M,\mathbb {C})\)) to be the space of all real (resp. complex)-valued Lipschitz functions on M equipped with the norm \(\vert \hspace{-1.0625pt}\vert f \vert \hspace{-1.0625pt}\vert = \text {Lip}(f) + \vert \hspace{-1.0625pt}\vert f \vert \hspace{-1.0625pt}\vert _\infty \) (the Lipschitz constant of a complex-valued function is defined by the same supremum as for a real-valued function). Under pointwise multiplication of functions, \(\text {Lip}(M)\) and \(\text {Lip}(M,\mathbb {C})\) are Banach algebras. Note that by [20, Lemma 1.28], \(\text {Lip}(M,\mathbb {C})\) is isomorphic to \(\text {Lip}(M)\oplus \text {Lip}(M)\) as a Banach space. We can also view \(\text {Lip}_0(M)\) as an algebra under pointwise multiplication, however the Lipschitz constant is not submultiplicative. Instead, it satisfies \(\text {Lip}(fg) \le \vert \hspace{-1.0625pt}\vert f \vert \hspace{-1.0625pt}\vert _\infty \text {Lip}(g) + \vert \hspace{-1.0625pt}\vert g \vert \hspace{-1.0625pt}\vert _\infty \text {Lip}(f)\), which implies \(\vert \hspace{-1.0625pt}\vert fg \vert \hspace{-1.0625pt}\vert \le 2\text {diam}(M) \vert \hspace{-1.0625pt}\vert f \vert \hspace{-1.0625pt}\vert \vert \hspace{-1.0625pt}\vert g \vert \hspace{-1.0625pt}\vert \). Therefore the product is continuous, which implies that there is an equivalent norm which is submultiplicative. If X and Y are two algebras over the same field (\(\mathbb {R}\) or \(\mathbb {C}\)), then we call a map \(h:X\rightarrow Y\) an algebra isomorphism if h is linear, bijective, and respects multiplication, i.e. \(h(xy) = h(x)h(y)\) for all \(x,y\in X\).
Corollary 1.21
There exists a family \((d_\alpha ) \subseteq \mathcal {M}\) of size continuum such that there is no algebra isomorphism between \(\text {Lip}_0(K,d_\alpha )\) and \(\text {Lip}_0(K,d_\beta )\) whenever \(d_\alpha \not = d_\beta \).
Proof
Suppose that \(d_1,d_2\in \mathcal {M}\) are such that there exists an algebra isomorphism \(h:\text {Lip}_0(K,d_1) \rightarrow \text {Lip}_0(K,d_2)\). The map \(\tilde{h}:\text {Lip}(K,d_1)\rightarrow \text {Lip}(K,d_2)\), given by \(\tilde{h}(\lambda {\textbf {1}}_K + f) = \lambda {\textbf {1}}_K + h(f),\) is an algebra isomorphism, where \(\lambda \in \mathbb {R}\), \({\textbf {1}}_K\) is the constant function on K equal to 1, and \(f\in \text {Lip}_0(K,d_1)\). Then the map \(\hat{h}:\text {Lip}((K,d_1),\mathbb {C})\rightarrow \text {Lip}((K,d_2),\mathbb {C})\), given by \({\hat{h}} (f+ig) = \tilde{h}(f) + i\tilde{h}(g)\), is again an algebra isomorphism. Finally, by [18, Theorem 5.1], there exists a bilipschitz surjection from \((K,d_1)\) to \((K,d_2)\), and the corollary follows from Proposition 4.1. \(\square \)
We do not know (in ZFC) whether there exists a family \((d_\alpha ) \subseteq \mathcal {M}\) of size continuum such that \(\mathcal {F}(K,d_\alpha )\) is not linearly isomorphic to \(\mathcal {F}(K,d_\beta )\) for \(\alpha \not = \beta \).
Data Availability
This paper has no associated data.
References
Aliaga, R.J., Gartland, C., Petitjean, C., Prochazka, A.: Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions. Trans. Amer. Math. Soc. 375, 3529–3567 (2022)
Casazza, P.G.: Chapter 7-Approximation Properties. In: Johnson, W.B., Lindenstrauss, J. (eds.) Handbook of the Geometry of Banach Spaces, vol. 1. Elsevier Science B.V, Amsterdam (2001)
Cuth, M., Doucha, M.: Lipschitz-free spaces over ultrametric spaces. Mediterr. J. Math. 13, 1893–1906 (2016)
Dalet, A.: Free spaces over some proper metric spaces. Mediterr. J. Math. 12, 973–986 (2015)
Doucha, M., Kaufmann, P.L.: Approximation properties in Lipschitz-free spaces over groups. J. Lond. Math. Soc. 105(3), 1681–1701 (2022)
Falconer, K.: Fractal Geometry, Mathematical Foundations and Applications, 2nd edn. John Wiley and Sons Ltd, Hoboken (2003)
Fonf, V.P., Wojtaszczyk, P.: Properties of the Holmes space. Topol. Appl. 155(14), 1627–1633 (2008)
Godefroy, G.: Extensions of Lipschitz functions and Grothendieck’s bounded approximation property. NorthWest. Eur. J. Math. 1, 1–6 (2015)
Godefroy, G.: A survey on Lipschitz-free Banach spaces. Comment. Math. 55, 89–118 (2015)
Godefroy, G.: Lipschitz approximable Banach spaces: Comment. Math. Univ. Carolin. 61(2), 187–193 (2020)
Godefroy, G., Kalton, N.J.: Lipschitz-free Banach spaces. Stud. Math. 159, 121–141 (2003)
Godefroy, G., Ozawa, N.: Free Banach spaces and the approximation properties. Proc. Am. Math. Soc. 142(5), 1681–1687 (2014)
Hajek, P., Lancien, G., Pernecka, E.: Approximation and Schur properties for Lipschitz free spaces over compact metric spaces. Bull. Belg. Math. Soc. Simon Stevin 23, 63–72 (2016)
Kalton, N.J.: Spaces of Lipschitz and Holder functions and their applications. Collect. Math. 55, 171–217 (2004)
Lancien, G., Perneckua, E.: Approximation properties and Schauder decompositions in Lipschitz-free spaces. J. Funct. Anal. 264, 2323–2334 (2013)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces I and II. Springer, New York (1996)
Pernecka, E., Smith, R.J.: The metric approximation property and Lipschitz-free spaces over subsets of R\(^{\rm n }\). J. Approx. Theory 199, 29–44 (2015)
Sherbert, D.R.: Banach algebras of Lipschitz functions. Pac. J. Math. 13(4), 1387–1399 (1963)
Smith, R.J., Talimdjioski, F.: Lipschitz-free spaces over manifolds and the metric approximation property. J. Math. Anal. Appl. 524(1), 127073 (2023)
Weaver, N.: Lipschitz Algebras, 2nd edn. World Scientific, Singapore (2018)
Acknowledgements
I would like to thank my supervisor, Dr. Richard Smith, for the many helpful conversations and suggestions during the research process and the writing of the manuscript. I would also like to thank the anonymous reviewer for the excellent suggestions for improving the text.
Funding
Open Access funding provided by the IReL Consortium. No funding was received to assist with the preparation of this manuscript.
Author information
Authors and Affiliations
Contributions
The author wrote and reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of Interest
The author has no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Talimdjioski, F. Lipschitz-Free Spaces over Cantor Sets and Approximation Properties. Mediterr. J. Math. 20, 302 (2023). https://doi.org/10.1007/s00009-023-02503-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-023-02503-1