Hadwiger’s Theorem, Part 2
Posted by Tom Leinster
Two months ago, I told you about Hadwiger’s theorem. It’s a theorem about Euclidean space, classifying all the ways of measuring the size of convex subsets. For example, here are three ways of measuring the size of convex subsets of the plane:
- Area. This is a -dimensional measure, in the sense that if you scale up a set by a factor of then its area increases by a factor of .
- Perimeter. This is a -dimensional measure, in the same obvious sense.
- Euler characteristic. This takes value on nonempty convex sets and on the empty set. It’s a -dimensional measure, since if you scale up a set by a factor of then its Euler characteristic increases by a factor of : it doesn’t change at all.
Hadwiger’s theorem in two dimensions says that these are essentially the only ways of measuring the size of convex subsets of the plane.
But Hadwiger’s theorem is all about measurement in Euclidean space. There are many other interesting metric spaces in the world! Today I’ll tell you about the quest to imitate Hadwiger in an arbitrary metric space.
Generalizing convexity
An important part of mathematics is choosing good generalizations. How do you know what counts as “good”? You can judge it by some subjective aesthetics: this generalization smells right, that one doesn’t. You can judge it by utility: this generalization leads to useful theorems, that one doesn’t. (But what counts as useful? Again, it’s a subjective judgement.) Sometimes you have to admit that there’s no single right generalization and embrace plurality.
There’s an unambiguous notion of convexity for subsets of Euclidean space, but there are many ways of generalizing it to other spaces. The range of generalizations available depends on what you take “space” to mean. In some of the previous generalizations of Hadwiger’s theorem, “space” is taken to mean “normed vector space”, and convexity is understood as an algebraic condition: a subset of a vector space is convex if it is closed under the operation
for each .
We, however, are going to take “space” to mean “metric space”, so we’re going to have to understand convexity as a geometric condition. Actually, there’s more than one way to do this, and later we’ll be forced to consider two different geometric formulations of convexity. But here’s the main one we’re going to use.
Let be a metric space. A path in is a continuous map , where are real numbers. A distance-preserving path is a path that is an isometry. A metric space is geodesic if every pair of points can be joined by a distance-preserving path.
For example, a subset of is geodesic with respect to the Euclidean metric if and only if it is convex.
This definition is intuitive geometrically, but — as Lawvere establishes in Section 8 of Taking categories seriously — it is also categorically well-motivated.
The categorical story goes like this. First we need to know that every path in a metric space has a well-defined (possibly infinite) length, and that a path has length at least , with equality iff it is distance-preserving. Now, every metric space can be forced to be geodesic: you keep the set of points the same, and define a new metric by taking to be the shortest path-length between and . (I’m glossing over a minor point here, which I’ll come back to in a moment.) This process
of “geodesic remetrization” can be made into a comonad. Indeed, it’s the density comonad of a particular functor
Here is a poset under , regarded as a category; is the category of generalized metric spaces in the sense of Lawvere (categories enriched in ); and the functor sends to the interval with its usual symmetric metric.
We won’t need this categorical fact in anything that follows, and I can’t say I really understand it yet. But if nothing else, it’s reassuring that our chosen notion of convexity has a sound categorical justification.
Aside: I glossed over the point of whether the infimum is actually attained. It isn’t necessarily. Arguably, the notion of geodesic space is less natural than the following: a metric space is a length space if for all ,
So being geodesic is a stronger condition than being a length space. Lawvere’s comonad actually forces a metric space to be a (not necessarily geodesic) length space.
But for our purposes, the difference between geodesic and length spaces doesn’t matter. That’s because of a result known as the Hopf–Rinow Theorem, which states that for a metric space in which every closed bounded subset is compact, being a length space is, in fact, equivalent to being geodesic.
Measuring subsets of a general metric space
Hadwiger’s theorem classifies the ways of measuring convex subsets of Euclidean space . We’ve just chosen a way of generalizing the term convex to an arbitrary metric space. And I’ll show you now that ways of measuring generalizes without fuss.
Fix a metric space (which in the classical situation would be with the Euclidean metric). Write for the set of compact geodesic subspaces of . A valuation is a function
such that and
whenever with . It is invariant if whenever and is an isometry of onto itself. It is continuous if it is continuous with respect to the Hausdorff metric. (If you know what the Hausdorff metric is, great. If not, it doesn’t matter: continuity is exactly the kind of thing you’d imagine.)
A way of measuring geodesic subsets of is, formally, a continuous invariant valuation on .
All we did here is to repeat the definitions for Euclidean space, verbatim. And just as in Euclidean space, continuous invariant valuations can be added together (pointwise) and multiplied by scalars. They therefore form a vector space, , whose elements are to be thought of as the measures of size.
Every metric space therefore poses a challenge:
Describe the vector space .
In general, this seems to be hard. Let’s look at some examples.
Example Hadwiger’s theorem says that , where the on the left-hand side is a metric space (with the Euclidean metric) and the on the right-hand side is a vector space.
We saw in Part 1 that Hadwiger’s theorem actually says a bit more. It says that has a basis in which is an “-dimensional measure”, or formally is homogeneous of degree , meaning that . This description determines uniquely up to scaling. With a particularly nice choice of normalization, is called the th intrinsic volume.
Example This one is easy. Let be a finite metric space. Then the only geodesic subsets are the empty set and singletons. A valuation is obliged to take value on the empty set, but can take any values on the singletons. Continuity is automatic. Invariance says that for any and self-isometry of . In other words, it says that is constant on each orbit of the isometry group. Hence
where is the isometry group of and is the set of orbits.
Example If you feel like an exercise, try this. Take a circle and define the distance between two points to be the length of the shortest arc between them. Then show that . This result might seem surprising, given that is a quotient of and is the smaller space .
I know almost nothing about Hadwiger-like theorems for completely arbitrary metric spaces. So let’s start to specialize.
Measuring subsets of
We’re trying to generalize a theorem about Euclidean space . Doing it for the entire class of metric spaces, all at once, seems way too challenging, so maybe a sensible first step is to try a small class of spaces that are all quite similar to Euclidean space, and all well understood.
So: for , let denote equipped with the metric induced by the -norm:
(). Euclidean space is , so Hadwiger’s theorem tells us that . What about the other values of ?
My mental picture is something like this:
What does this mean?
- The red curve shows the size of the set of compact geodesic subsets of . If a subset of is convex then it’s geodesic for all values of . When , the convex sets are the only geodesic subsets of . But when , there turn out to be a lot more geodesic sets than just the convex ones. (We’ll come back to this.) So there’s a spike at .
- The blue curve shows the size of the isometry group of . When , the isometry group of is very small, generated by translations, permutations of coordinates, and reflections in coordinate hyperplanes. (A coordinate subspace is a linear subspace spanned by some subset of the standard basis of ; a coordinate hyperplane is an -dimensional one.) The isometry group of Euclidean space is much bigger, since as well as permutations of coordinates you have arbitrary rotations. So there’s a spike at .
- The graphs are supposed to suggest how many invariant valuations there are likely to be. The more geodesic sets there are, the more valuations we expect; that’s why the -axis of the red graph points upwards. The more isometries there are, the fewer invariant valuations we expect; that’s why the -axis of the blue graph points downwards.
- For , the space has the same geodesic subsets as , but far fewer isometries. So we expect to be much bigger than . (“Valuation” means the same for as for , but “invariant” is a much weaker condition.) Indeed, is infinite-dimensional.
But something interesting seems to be happening at . It’s not clear how will compare to , since and have neither the same geodesic subsets nor the same isometry group. Let’s find out.
“Convex” geometry in the -norm
I’ll say that a subset of is -convex if it’s geodesic when metrized as a subspace of . Every convex set is -convex, but not conversely. Here are some -convex subsets of the plane:
Only the first of these is convex. The bottom-left example shows that unlike convex sets, an -convex set can have different topological dimensions in different parts. If you know about reach, you can see from the two examples on the right that whereas convex sets have infinite reach, an -convex set can have zero reach.
It’s probably not obvious that these sets are -convex. To understand what -convexity means, the following result is very helpful. In it, a path is called monotone if each component is either increasing or decreasing (in the non-strict sense).
Lemma A subset is -convex if and only if every pair of points can be joined by a monotone path in .
This result, like everything else I’ll say about , is proved here:
Tom Leinster, Integral geometry for the -norm, arXiv:1012.5881.
(In its first incarnation, this paper contained several ugly, complicated proofs, and had a different title. But I managed to make it so much more simple and sleek that I decided it deserved a new name.)
The figures above suggest that the world of -convex sets is much more complicated than the world of convex sets. Indeed, if you try to slavishly imitate convex geometry in the setting, something goes wrong immediately: the intersection of two -convex sets need not be -convex.
This should make us stop and think. Did we really choose the right generalization of convexity? Isn’t one of the fundamental properties of the class of convex sets that it’s closed under intersections? Shouldn’t we try to preserve that feature?
It turns out that things are more subtle than that. Actually, we now have to work with two different generalizations of convexity, simultaneously: being geodesic, and a kind of dual condition.
Here’s how it goes. Let be a metric space, and, for points and , write for the set of distance-preserving paths from to in . A subspace of is geodesic if and only, whenever ,
Dually, call cogeodesic if whenever ,
In the familiar or “classical” world, Euclidean space, geodesic and cogeodesic mean the same thing: convex. The difference between the two concepts is invisible. But we see the difference in . A subset of is cogeodesic if and only if it an interval, that is, a product where each is an interval. So the situation is this:
The moral is that when we’re generalizing from to other spaces, we’re sometimes going to have to replace “convex” by “geodesic”, and sometimes by “cogeodesic”. In , this means sometimes using -convex sets and sometimes using intervals.
Let’s come back to those intersections. It’s a logical triviality that in any metric space, the intersection of a geodesic set with a cogeodesic set is geodesic. In Euclidean space, this says that the intersection of two convex sets is convex. In , it says that the intersection of an -convex set and an interval is -convex. Although in one sense that’s a weaker result than we’re used to from Euclidean space, in this more subtle sense it’s precisely analogous.
Letting this principle guide us, it turns out that there are counterparts to all the standard basic results about intersections, Minkowski sums and projections of convex sets. In translating these facts from to , we replace some occurrences of the word “convex” by “-convex”, and others by “interval”.
All of this could be called the algebra of -convex sets. There are also interesting features of the topology of the space of -convex sets.
For example: in the space of ordinary convex sets, there is a dense subspace consisting of the convex polytopes. This is often used to prove theorems about all convex sets: first prove it for polytopes, then extend by continuity. Similarly, there is a class of subsets of that I like to call the pixellated sets. Roughly, a set is pixellated if it’s a finite union of cubes with their edges parallel to the coordinate axes. (In the diagram above showing six -convex sets, the top-right one is pixellated.) It can be shown that the pixellated -convex sets are dense in the space of compact -convex sets. This is central to the proof of the Hadwiger-type theorem for .
Measuring subsets of
We’re aiming to classify all ways of measuring -convex sets. So far, we haven’t seen any such measures. So, our first job is to construct some.
In Euclidean space, all “measures” (continuous invariant valuations) are linear combinations of the intrinsic volumes
The -dimensional intrinsic volume of a set is, up to a constant factor, the expected area of the projection of onto a random -dimensional plane. That is, writing for the set of -dimensional linear subspaces of ,
where is a constant, is orthogonal projection onto , and we’re integrating against a certain natural measure on .
We want to imitate this in .
First, how should we define the “Grassmannian” in ? This seems to require some creative thought. Whatever the Grassmannian is, let’s call it , to distinguish it from the Euclidean Grassmannian. A key feature of the Euclidean Grassmannian is that there is no intrinsic difference between any two elements: that is, the group of origin-preserving isometries of acts transitively on . In , the group of origin-preserving isometries is finite, generated by coordinate permutations and reflections in coordinate hyperplanes. In order for this group to act transitively, had better be finite.
For this reason — and more honestly, because it turns out to work — we take to be the set of all -dimensional coordinate subspaces of . In other words, an element of is a linear subspace of spanned by some -element subset of the standard basis.
We’ve got a natural measure on : counting measure. Integration against counting measure is simply summation.
We can now mimic the definition of intrinsic volume. Given and a set , the th -intrinsic volume of is
In principle there should be a constant factor in front of the sum, chosen to make everything work out nicely. But as it happens, the constant factor that makes everything work out nicely is .
It’s a little work to show that this really is a valuation, and some more work to show that it’s continuous.
Aside: As a clue to why continuity could be difficult, note that Lebesgue measure, as a real-valued function on the set of compact subsets of , is not continuous with respect to the Hausdorff metric. For example, take a rectangle and approximate it by a finite grid of close-together points. Then the rectangle and the finite set are close in the Hausdorff metric, but no matter how close they are, the finite set always has area zero.
It can be shown, though, that any monotone translation-invariant valuation on -convex sets is continuous (by a generalization of a theorem of Peter McMullen). This tells us, in particular, that volume is continuous when restricted to .
These -intrinsic volumes are different from the Euclidean intrinsic volumes, even on convex sets. But they satisfy a closely analogous Hadwiger-type theorem:
Theorem: The vector space of continuous invariant valuations on -convex sets has dimension . It has a basis consisting of the -intrinsic volumes .
A proof is given in my paper. (The -intrinsic volumes are denote by there, not ; primes don’t seem to work too well at the Café.)
The -intrinsic volumes are homogeneous:
for any and . It follows from our Hadwiger-type theorem that if is a continuous invariant valuation on , homogeneous of degree , then must belong to and must be . As Allen Knutson pointed out last time in the Euclidean context, it doesn’t seem obvious from the outset that will be the only possible degrees of homogeneity; but they are.
The proof of the Hadwiger theorem relies heavily on the specifics of -convex geometry, just as the classical Hadwiger theorem relies heavily on the specifics of Euclidean geometry. So it’s quite unexpected that we end up with such similar results. Note that there’s a canonical isomorphism
matching up with . It’s not merely an isomorphism of vector spaces. Indeed, the vector spaces and each come equipped with an action by the multiplicative monoid , defined by
whenever is a valuation and . The isomorphism respects that action.
Corollary: Let . Then:
- if neither nor is in then for all
- if both and are in then there is a canonical isomorphism for all
- if one but not both of and is in then and are not isomorphic for any .
Why do and behave so similarly to each other, yet so differently from all the other spaces ? It’s a mystery to me.
Over the horizon
There’s actually a whole lot more to the resemblance between and . My paper takes some of the classic old formulas of integral geometry — Steiner’s formula, Crofton’s formula, the kinematic formulas — and reproduces them in the context of . The new formulas are very closely analogous to the old ones, right down to the constants involved. But again, the proofs rely ultimately on geometric facts that are quite specific to the setting.
Here are some things I don’t know. Mark Meckes pointed out to me that the case would be well worth thinking about. By chance, is isometric to , so the sequence
begins
which is the same as for and . (I don’t know anything about for .) For , the sequence is
so definitely doesn’t behave like . Whether it behaves like and in all dimensions is, I believe, an open question.
There’s also the case . For in this range, the usual formula for doesn’t define a metric, because the triangle inequality fails. However, the formula
(note the lack of th power!) does define a metric, and with this metric is called . I don’t know anything about for . Maybe the problem is trivial; I haven’t begun to think about it.
Re: Hadwiger’s Theorem, Part 2
A lovely post!
I think I’ve never really appreciated before how striking it is that the case is the only one that doesn’t give a special role to the coordinate axes. Your work shows that is special in some intriguing way as well. Now I’m curious about the case !