49
$\begingroup$

It is well known that most topological spaces can be studied via their algebra of continuous real-valued (or complex-valued) functions. For instance, in the setting of compact Hausdorff spaces, there is a complete dictionary between topological properties of the space $X$ and corresponding algebraic properties of the algebra $C(X)=C(X,\mathbb{R})$, and two such spaces $X$ and $Y$ are homeomorphic if and only if their algebras $C(X)$ and $C(Y)$ are isomorphic. A similar theory is available in the locally compact Hausdorff case, by replacing $C(X)$ with the algebra of real-valued functions on $X$ which vanish at infinity. Furthermore, these algebras are precisely all the commutative C*-algebras (at least if you take complex-valued functions). Thus if one wishes to study locally compact Hausdorff spaces, he might as well study commutative C*-algebras.

Is there an analogous algebraic approach to the theory of "nice" metric spaces (e.g. compact, locally compact, connected, etc.)? More specifically, is there a natural function space one can attach to every nice metric space which essentially contains all data about the metric space, up to isometry?

I'll welcome any references related to this question.

EDIT: Many of the answers referred me to Nik Weaver's (and others') theory of "Lipschitz algebras". I took a look at his book and while very interesting (and well written), it doesn't seem to be quite what I am looking for. More specifically, it seems that his constructions of Lipschitz algebras only characterize the metric space up to bi-Lipschitz equivalence (which he calls a quasi-isometry), while I'm looking for natural function spaces that would characterize the space up to isometry. His results in section 1.8 of the book show that two (pointed) complete metric spaces have isomorphic Lipschitz function algebras if and only if they are bi-Lipschitz equivalent, rather than isometric. He does have a characterization up to isometry (using a different Lipschitz algebra) for the class of metric spaces of diameter less than 2 (section 1.7) , but his reduction of a general metric space (say complete) to a metric space of diameter $\le 2$ is of course far from preserving isometries (rather preserving Lipschitz mappings).

So it seems that I am looking for a somewhat more "rigid" construction. Any ideas about that?

Thanks.

$\endgroup$
8
  • 2
    $\begingroup$ I didn't look into intricacies of his book, but it seems to me filled with arbitrary choices, like diameter-2-space, because he wants to add basepoint with distance 1 to set. Arbitrary constructions are evil. Just as arbitrary, to my mind, is the choice of metric on $Lip$ - $min(\Vert f \Vert_\infty, L(f))$. In the paper I cite natural metric on the function-space is sup-metric. Also, in the theorem on function spaces we require not just bijectivity, but actually isometry between function spaces. Clearly it is a stronger condition. I don't see at the moment any other deviations from expected. $\endgroup$ Apr 2, 2012 at 2:08
  • 2
    $\begingroup$ I haven't read Weaver's book, but if you have a classification up to isometry for metric spaces of diameter less than $ 2 $, why can't you turn this into a classification up to isometry of all metric spaces? Specifically, given a metric space $ ( X , d ) $, consider the metric space $ ( X , d ' ) $, where $ d ' ( x , y ) : = \frac { \textstyle 2 d ( x , y ) } { \textstyle d ( x , y ) + 1 } $. Then $ d ' $ is also a metric, we can recover $ d $ from $ d ' $, and $ ( X , d ' ) $ has diameter less than $ 2 $, so it can be recovered up to isometry from some algebra in Weaver's book. $\endgroup$ Apr 2, 2012 at 5:50
  • $\begingroup$ @Toby: that's true, though I don't know how natural Weaver's constructions look after this change of metric. As Anton mentioned in his comment, it seems somewhat arbitrary. $\endgroup$
    – Mark
    Apr 2, 2012 at 22:37
  • $\begingroup$ @Anton: I agree. I got the impression that the study of distance-decreasing (dd) maps is more natural than that of Lipschitz maps. After all, a dd bijection with a dd inverse is an isometry while in the Lipschitz case we get a bi-Lipschitz mapping (a quasi-isometry in the terminology of Weaver). The paper you cite by Lawvere seems to support this view, but I find it difficult to read because of the categorical-theoretic language involved. Do you know of a text which presents Lawvere's theory in a way which is more oriented towards an analyst's perspective? Thanks again. $\endgroup$
    – Mark
    Apr 2, 2012 at 22:40
  • 6
    $\begingroup$ @AntonFetisov I would urge you to abandon the `evil' terminology, as it has been in other similar usages in category theory, on account of its general unhelpfulness in assisting communication between mathematicians of different viewpoints. $\endgroup$ Sep 27, 2015 at 22:24

7 Answers 7

36
$\begingroup$

A very complete reference is the book "Lipschitz Algebras" by Nik Weaver. In there you will find various types of spaces of Lipschitz functions that can be associated to a metric space, and several results of the kind you are asking about.

From the book's introduction:

Thus, there is a robust duality between metric properties of $X$ and algebraic properties of $Lip_0(X)$. The set of weak* continuous homomorphisms from $Lip_0(X)$ into the scalars can be isometrically identified with the completion of $X$ (Theorem 4.3.2); Lipschitz maps from $X$ into $Y$ correspond to weak* continuous homomorphisms from $Lip_0(Y)$ into $Lip_0(X)$ (Corollary 4.2.9); closed subsets of $X$ correspond to weak* closed ideals of $Lip_0(X)$ (Theorem 4.2.5); and nonexpansive images of $X$ correspond to weak* closed, self-adjoint subalgebras of $Lip_0(X)$ (Theorem 4.1.10).

$\endgroup$
2
  • 3
    $\begingroup$ +1 This book is really readable and has lots of nice examples. $\endgroup$
    – MTS
    Apr 1, 2012 at 2:00
  • $\begingroup$ Ya i also like it a ton! $\endgroup$
    – ABIM
    May 30, 2019 at 20:23
24
$\begingroup$

I guess I'm late to the party, but here are a couple of points:

  1. Yes, an arbitrary complete pointed metric space $X$ with finite diameter is characterized up to isometry in terms of $Lip_0(X)$. $X$ is naturally isometric to the set of weak* continuous homomorphisms from $Lip_0(X)$ into the scalars. See Theorem 7.26 of the second edition of my book.

  2. In response to another comment, the restriction to diameter at most 2, for spaces without a distinguished base point, is natural. For these spaces the Gelfand transform takes $X$ isometrically into the unit sphere of $Lip(X)^*$. A metric space can isometrically embed in the unit sphere of a Banach space if and only if its diameter is at most 2.

$\endgroup$
5
  • 1
    $\begingroup$ Thanks for the response! My main qualm then with is with the restriction to spaces with finite diameter. It reminds me of how in classical Gelfand theory you have a duality between compact Hausdorff spaces and their unital algebras of continuous (real or complex valued) function. Even though a-priori the theory only applies to compact spaces, it can be extended elegantly and neatly to the locally compact Hausdorff case, simply by considering the one-point compactification. I wonder if something similar can be done here to eliminate the restriction on the diameter... $\endgroup$
    – Mark
    Apr 25, 2012 at 22:54
  • $\begingroup$ Well, if you go to infinite diameter space you lose the multiplicative structure. The product of two unbounded Lipschitz functions in general isn't Lipschitz. My feeling is that the spaces $Lip_0(X)$ and $Lip(X)$, as I define them, are roughly analogous to $C_0(X)$ and $C(X)$ spaces. $\endgroup$
    – Nik Weaver
    Apr 26, 2012 at 1:26
  • 1
    $\begingroup$ @Nik: Why not restrict to the class of bounded Lipschitz functions then? $\endgroup$
    – Mark
    Apr 29, 2012 at 20:09
  • $\begingroup$ That's what we do with $Lip(X)$. If you start with $Lip_0(X)$ where $X$ has infinite diameter and then discard the unbounded functions, what's left won't be a Banach space (it's not complete). $\endgroup$
    – Nik Weaver
    May 3, 2012 at 5:41
  • 9
    $\begingroup$ Mark, I get the impression that you're generally unsatisfied with my way of doing things. If so, I would encourage you to work out an approach of your own. Let me know what you come up with. $\endgroup$
    – Nik Weaver
    May 3, 2012 at 5:43
16
$\begingroup$

The natural functions in this context are Lipschitz; e.g. functions $d_x(y)=d(x,y)$ determine an isometric embedding of a metric space $X$ to $L_\infty(X)$. For a noncommutative analogue see G.Kuperberg, N.Weaver, "A von Neumann algebra approach to quantum metrics", https://arxiv.org/abs/1005.0353

$\endgroup$
12
$\begingroup$

Marc Rieffel has studied a notion of `quantum' compact metric space that has its roots in the picture of unital C*-algebras as noncommutative compact Hausdorff spaces: see http://arxiv.org/pdf/math/9906151v2 and http://arxiv.org/abs/math/0011063, for example. One should consider this answer as a supplement to the answers above citing the work of Nik Weaver and Greg Kuperberg.

Note: Rieffel uses the word 'quantum' in place of 'noncommutative' because the multiplicative structure doesn't really play a role.

$\endgroup$
11
$\begingroup$

I believe that a framework for what you want has been spelled out by Marc Rieffel, as Jon Bannon has pointed out already. He has several papers devoted to the subject of "quantum" metric spaces. The paper Metrics on State Spaces is a good starting point, I think. Section 8 is exactly what you should look at. I will just write a few details here for those that are curious.

The point is that you consider not only the algebra of functions, but the additional data of the Lipschitz seminorm associated to the metric. More precisely, if $(X,d)$ is a compact metric space, let $A = C_{\mathbb{R}}(X)$, and consider the (possibly $\infty$-valued) seminorm $$ L(f) = \sup_{x \neq y} \frac{|f(x) - f(y)|}{d(x,y)} $$ for $f \in A$.

Gelfand duality allows you to reconstruct the topological space $X$ from the commutative (real) $C^*$-algebra $A$; the Lipschitz seminorm $L$ contains the extra information of the metric. In fact, it's not too hard to show that for $x,y \in X$ we have $$ d(x,y) = \sup \{ |f(x) - f(y)| : f \in A, L(f) \le 1 \}. $$ So the pair $(A,L)$ contains all the information about $(X,d)$.

Theorem 8.1 and Corollary 8.3 of the paper I mentioned characterize exactly which seminorms arise in this way. I am obscuring some details about the conditions that $L$ needs to satisfy, but the most important property is that the Lipschitz seminorm satisfies the "lattice inequality" $$ L(f \vee g) \le L(f) \vee L(g), $$ where $\vee$ means maximum on both sides of the inequality.

The point is that if you have a seminorm $L$ on $C_{\mathbb{R}}(X)$ which satisfies the lattice inequality (I am ignoring finiteness assumptions and some technical conditions), the formula above allows you to recover the metric, and the technical assumptions ensure that this metric induces the right topology on $X$.

This recovers the metric up to isometry and seems quite canonical; is this what you had in mind by a "rigid" construction?

$\endgroup$
0
8
$\begingroup$

I guess this is not the expected kind of answer, but you can study a metric space as a category, enriched over $\mathbb{R}_+$ - a monoidal category of non-negative real numbers (with $\infty$) with natural order and a single morphism $a\to b$ iff $a\geqslant b$. The monoidal structure on $\mathbb{R}_+$ is simply addition of real numbers $+$, considered as a symmetric enriched bifunctor. The original reference is "Metric spaces, generalized logic, and closed categories" by F.W. Lawvere. The category is associated in the most straightforward way: its objects are points of our metric space and $Hom(a,b)=dist(a,b)$. The law of morphism composition in a category is then precisely the triangle inequality. An enriched functor between such categories is a contracting mapping of metric spaces. Yoneda embedding embeds isometrically each metric space into a space of distance-decreasing functions equipped with sup-metric.

One should note that such generalized metric is not necessary symmetric and $>0$ for $a\ne b$, but in fact this isn't necessary to study it. One can always factor out zero-distance points and symmetrize the metric, and in fact this is a common procedure when one constructs new usual metric spaces.

A theory of Kan extensions becomes in this setting the following theorem: if $X \to Y$ is an isometric embedding, then any Lipschitz function on $X$ can be extended to $Y$ with the same Lipschitz constant. Among these there is the smallest and the largest one, corresponding to the left and right Kan extension.

Categorical limits become limits of sequences in metric space, and there is also a purely categorical formulation of Cauchy completeness condition. A category can be deduced from its category of $\mathbb{R}_+$-valued functors only up to equivalence - an equality of Cauchy completions. So complete metric spaces can be equivalently described by the metric spaces $\mathbb{R}^{X^{op}}_+$ of $\mathbb{R}_+$-valued contracting mappings on them. $\mathbb{R}_+$ has two natural monoidal structures: $+$ and $\times$. Both addition and multiplication of non-negative have a natural extension to bifunctors. They induce pointwisely two monoidal structures on $\mathbb{R}^{X^{op}}_+$, turning it into a semiring (no additive inverses). Thus I guess that you can take metric semiring of distance-decreasing functions as an algebraic description of a metric space. There are purely categorical conditions for a category to be equivalent to some category of functors (smallness conditions). They can be used to tell if our metric semiring is really a semiring of distance-decreasing functions on a metric space.

$\endgroup$
1
  • $\begingroup$ Indeed I was expecting something more concrete, but this is interesting nevertheless. Thanks! $\endgroup$
    – Mark
    Apr 1, 2012 at 23:44
2
$\begingroup$

An algebraic context for metric spaces--attractive to me--can be be provided by translation lattices, introduced (in the bounded, distributive case) by Irving Kaplansky, Lattices of continuous functions II, Amer. J. Math. 70 (1948), pp. 626-634; see also Włodzimierz Holsztyński, Lattices with real numbers as additive operators, Dissertationes Mathematicae LXII, Warszawa 1969, where the unbounded and non-distributive translation lattices are included (they all are called d-lattices there to stress the importance of the distance $d$).

$\endgroup$
5
  • $\begingroup$ I'll provide exact references to the publications somewhat later. $\endgroup$ Apr 7, 2013 at 4:20
  • 2
    $\begingroup$ Done :-) (Hm, comments should be longer than just "done"; thus let me mention the obvious, that there is more to the given topic than provided by the references; but then, isn't it always like this?) $\endgroup$ May 1, 2013 at 17:05
  • $\begingroup$ Do you mind explaining how this relates to "an algebraic context for metric spaces"? The word "metric" doesn't appear in Kaplansky's paper. $\endgroup$
    – Nik Weaver
    Sep 23, 2015 at 17:55
  • 1
    $\begingroup$ In Kaplansky's paper, given two elements $f\ g$ of a Kaplansky's lattice, distance $\ d := d(f\ g)\ $ is a non-negative real number such that $\ g-c\subseteq f\subseteq g+c\ $ for $\ c=d\ $ but not for any non-negative real number $\ c < d.\ $ In the general case of d-lattices the value $\ d\ $ may be infinite. $\endgroup$ Sep 27, 2015 at 18:59
  • 1
    $\begingroup$ This sounds like a specific notion of distance within a lattice, not an algebraic context for general metric spaces. $\endgroup$
    – Nik Weaver
    Sep 27, 2015 at 22:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.