# What is the structure preserved by strong equivalence of metrics?

Let $$X$$ be a set. Then we can define at least three equivalence relations on the set of metrics on $$X$$. We say that two metrics $$d_1$$ and $$d_2$$ are topologically equivalent if the identity maps $$i:(X,d_1)\rightarrow(X,d_2)$$ and $$i^{-1}:(X,d_2)\rightarrow(X,d_1)$$ are continuous. We say that $$d_1$$ and $$d_2$$ are uniformly equivalent if $$i$$ and $$i^{-1}$$ are uniformly continuous. And we say that $$d_1$$ and $$d_2$$ are strongly equivalent if there exists constants $$\alpha,\beta>0$$ such that $$\alpha d_1(x,y)\leq d_2(x,y)\leq\beta d_1(x,y)$$ for all $$x,y\in X$$.

We can take equivalence classes of metrics under each of these equivalence relations. Now two metrics are topologically equivalent if and only if they induce the same topology on $$X$$, so we can identify equivalence classes under topological equivalence with topologies on $$X$$. And two metrics are uniformly equivalent if and only if they induce the same uniformity on $$X$$, so we can identify equivalence classes under uniform equivalence with uniformities on $$X$$. But my question is, what structures can we identify equivalence classes under strong equivalence with? To put it another way, two metrics are strongly equivalent if and only if they have the same ... what?

One thing worth noting is that if two metrics are strongly equivalent, then they’re both uniformly equivalent and they have the same bounded sets. Or in fancier language, they induce both the same uniformity and the same bornology. But the converse is not true; uniformly equivalent metrics with the same bounded sets need not be strongly equivalent. So that means there must be some structure on top of the uniformity and bornology that is preserved by strong equivalence.

Note: This was posted on Mathematics Stack Exchange with no answer.

• Crossposted from MSE. It is best to link between your posts to avoid duplication of effort. – Mike Miller Dec 30 '18 at 2:30
• I'm not sure there's a well-established terminology, but these are metrics up to bilipschitz equivalence. Keywords: "bilipschitz class", "Lipschitz category". – YCor Dec 30 '18 at 6:12
• I don't know of anything that's not somewhat contrived besides what @YCor and Tim Campion have said, but in case it could be of use, I posted a lengthy summary of results involving these three types of equivalences in this 4 October 2006 sci.math post archived at Math Forum. (Note: I didn't see your earlier question in MSE. I've long since given up trying to even glance at all question titles appearing there, and now I just look over the first page of hits whenever I'm there, and sometimes search under the tag "reference request".) – Dave L Renfro Dec 30 '18 at 17:52
• See mathoverflow.net/questions/291563/… for a related question (with some answers). – Taras Banakh Jan 5 at 21:40
• A bi-lipschitz bijection may also be called a lipeomorphism. So if two spaces are related like this, we could say that they are lipeomorphic. – Gerald Edgar Jan 7 at 20:51

Metrics are strongly equivalent if the identity mapping $$Id:(X,d_1)\to (X,d_2)$$ is bi-Lipschitz. They preserve the class of Lipschitz mappings.

Roughly speaking classical topology deals with notions that are invariant under homeomorphisms. In particular, changing metric to the one that gives equivalent topology does not make much harm. But the situation chances rapidly if we look at Lipschitz mappings and invariance under bi-Lipschitz mappings. This kind of topology leads to so called analysis on metric spaces.

If, in addition to a metric structure one assumes that the metric space is equipped with the so called doubling measure, then one can even develop analysins of first order derivatives on such spaces, including the theory of Sobolev spaces, quasiconformal mappings and differentiablity of Lipschitz functions.

This is quite new area of research developed since nineties and it already has its subject in MSC:

30L View Publications (2010-now) Analysis on metric spaces

Good introductory references include:

J. Heinonen, P. Koskela, N. Shanmugalingam, J. T. Tyson, Sobolev spaces on metric measure spaces. An approach based on upper gradients. New Mathematical Monographs, 27. Cambridge University Press, Cambridge, 2015.

J. Heinonen, Nonsmooth calculus. Bull. Amer. Math. Soc. (N.S.) 44 (2007), no. 2, 163–232.

J. Heinonen, Lectures on Lipschitz analysis Report. University of Jyväskylä Department of Mathematics and Statistics, 100. University of Jyväskylä, Jyväskylä, 2005.

• I would say that to get differentiability results it is not always necessary to have a doubling measure, it can be sufficient to have a suitable notion of a negligible set which can play the role of sets of measure zero in the Rademacher theorem. See Chapter 6 in the book by Benyamini and Lindenstrauss mentioned in my answer. – August Cleaner Jan 6 at 2:57
• @AugustCleaner I am not sure if what I had in mind is in that book since I am talking about the Rademacher theorem for Lipschitz functions defined on metric spaces. This is a celebrated result of Cheeger from 1999. – Piotr Hajlasz Jan 6 at 3:00

Since nobody came up with anything better, let me expand my comment here, at the MSE version of the question.

The substantive part of your question is to give a "metric-free" definition of the Lipschitz equivalence class of metrics on a given topological space. I will deal only with the case of compact spaces since the answer is much cleaner in this setting.

To every compact metric space $$(X,d)$$ one associates its Lipschitz algebra which is the Banach *-algebra of complex-valued Lispchitz functions $$Lip(X)$$ on $$X$$, equipped with the Lipschitz norm $$||f||_{Lip}= ||f|| + \sup_{x\ne y} \frac{||f(x)-f(y)||}{d(x,y)}.$$ Here $$||f||$$ is the supremum-norm of $$f$$.

To the best of my knowledge, these algebra were first analyzed in detail by Donald Scherbert in

Banach algebras of Lipschitz functions, Pacific J. Math. 13 (1963) 1387--1399.

Scherbert proves results for general metric spaces; here are are some basic results that he proved adopted to the compact case:

1. $$Lip(X)$$ is a (unital, which I will assume throughout) *-Banach algebra, i.e. a topological *-algebra (up to an isomorphism in the category of topological *-algebras) which admits a Banach norm. (I am sure somebody who knows analysis better than I do can come up with a reference to a "metrization theorem" for topological *-algebras. Frechet is a necessary condition.)

2. Every *-Banach algebra is isomorphic to $$Lip(X)$$ for some compact metric space $$X$$.

3. Metrics $$d_1, d_2$$ on $$X$$ are (boundedly) equivalent (i.e. the identity map is bi-Lipschitz) if and only if $$Lip(X,d_1)=Lip(X,d_2)$$ as subsets of $$C(X)$$.

4. Every morphism $$Lip(X_1,d_1)\to Lip(X_2,d_2)$$ is induced by a Lipschitz map $$(X_1,d_1)\to (X_2,d_2)$$. In particular, two metric spaces $$(X_1,d_1), (X_2,d_2)$$ are bi-Lipschitz homeomorphic if and only if $$Lip(X_1,d_1)\cong Lip(X_2,d_2)$$.

Thus, Scherbert's results yield a "metric-free" description of the Lipschitz category, i.e. the category of compact metric spaces where morphisms are Lipschitz-continuous. This does not quite answer your question which, in the language of Banach algebras can be formulated as follows:

Given a compact metrizable space $$X$$, describe subalgebras $$A\subset C(X)$$ (the $$C^*$$-algebra of complex-valued continuous functions on $$X$$) such that there exists a metric $$d$$ on $$X$$ for which $$A=Lip(X,d)$$.

One can give several easy necessary conditions:

(1) $$A$$ is "regular" (see Scherbert's paper).

(2) $$A$$ is "large" in the sense that every maximal ideal in $$C(X)$$ is generated by an element of $$A$$.

(3) $$A$$ is "small" in the sense that $$C(X)$$ and $$A$$ admit Banach norms $$||\cdot||$$ and $$||\cdot||_A$$ making them, respectively, a $$C^*$$-algebra and a Banach *-algebra, such that the inclusion map $$(A, ||\cdot||_A)\to (C(X), ||\cdot ||)$$ has unit norm and is compact. (The latter is the Arzela-Ascoli theorem.)

I suspect that a complete list of properties characterizing Lipschitz subalgebras of $$C^*$$-algebras is well-known (to the right group of people).

I would suggest to consider the strong equivalence as a form of preserving of a differentiable structure in metric space case. (I should mention that this answer is not really different from the one given by Piotr Hajlasz.)

To provide some meaning to the first sentence of this answer I suggest to recall the famous Rademacher theorem, its Banach-space analogues (see the book Benyamini, Yoav; Lindenstrauss, Joram Geometric nonlinear functional analysis. Vol. 1. American Mathematical Society, Providence, RI, 2000) and the famous differentiability theory of Cheeger (Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal. 9 (1999), no. 3, 428–517; This theory is presented in the first reference provided by Piotr Hajlasz.)

However, it seems that for bilipschitz maps no differentiability is preserved in general, analyze, for example, the result of Aharoni (Every separable metric space is Lipschitz equivalent to a subset of $$c^+_0$$. Israel J. Math. 19 (1974), 284–291).