Doubling measures and metric spaces

In mathematics, a metric space X with metric d is said to be doubling if there is some constant M > 0 such that for any x in X and r > 0, it is possible to cover the ball B(x, r) = {y|d(x, y) < r} with the union of at most M many balls of radius r/2. The base-2 logarithm of M is often referred to as the doubling dimension of X. Euclidean spaces ℝ^d equipped with the usual Euclidean metric are examples of doubling spaces where the doubling constant M depends on the dimension d.

An important question in metric space geometry is to characterize those metric spaces that can be embedded in some Euclidean space by a bi-Lipschitz function. This means that one can essentially think of the metric space as a subset of Euclidean space. Not all metric spaces may be embedded in Euclidean space. Doubling metric spaces, on the other hand, would seem like they have more of a chance, since the doubling condition says, in a way, that the metric space is not infinite dimensional. However, this is still not the case in general. The Heisenberg group with its Carnot metric is an example of a doubling metric space which cannot be embedded in any Euclidean space.

Assouad's Theorem states that, for a M-doubling metric space X, if we give it the metric d(x, y)^ε for some 0 < ε < 1, then there is a L-bi-Lipschitz map f:X → ℝ^d, where d and L depend on M and ε.

A nontrivial measure on a metric space X is said to be doubling if the measure of any ball is finite and approximately the measure of its double, or more precisely, if there is a constant C > 0 such that

for all x in X and r > 0. In this case, we say μ is C-doubling.

A measure space that supports a doubling measure is necessarily a doubling metric space, where the doubling constant depends on the constant C.

Conversely, any complete doubling metric space supports a doubling measure.

A simple example of a doubling measure is Lebesgue measure on a Euclidean space. One can, however, have doubling measures on Euclidean space that are singular with respect to Lebesgue measure. One example on the real line is the weak limit of the following sequence of measures:

...
Wikipedia