Math 2.0

Measure and integration Definition

Doubling measure

Builds on Metric spaceBorel measureOpen ball

Definition

Let (X,d)(X, d) be a metric space and let μ\mu be a Borel measure on XX. For x∈Xx \in X and r>0r > 0, let B(x,r)B(x, r) be the open ball of centre xx and radius rr. The measure μ\mu is doubling if:

  1. 0<μ(B(x,r))<∞0 < \mu(B(x, r)) < \infty for all x∈Xx \in X and r>0r > 0.
  2. There is a constant C≥1C \ge 1 with μ(B(x,2r))≤C μ(B(x,r))\mu(B(x, 2r)) \le C \, \mu(B(x, r)) for all x∈Xx \in X and r>0r > 0.

Remarks

Example: Lebesgue measure λ\lambda on ℝn\R^n is doubling with C=2nC = 2^n. Indeed λ(B(x,r))=ωnrn\lambda(B(x, r)) = \omega_n r^n with ωn\omega_n the volume of the unit ball, so the ratio is exactly 2n2^n.

Non-example: the standard Gaussian measure γ\gamma on ℝ\R satisfies clause 1 but not clause 2. Let φ(t)=e−t2/2/2π\varphi(t) = e^{-t^2/2}/\sqrt{2\pi} be its density, which decreases on [0,∞)[0, \infty), and let x>2x > 2. Then γ(B(x,1))≤2φ(x−1)\gamma(B(x, 1)) \le 2 \varphi(x - 1) and γ(B(x,2))≥12φ(x−32)\gamma(B(x, 2)) \ge \frac12 \varphi(x - \frac32). So γ(B(x,2))/γ(B(x,1))≥14e(x−5/4)/2\gamma(B(x,2)) / \gamma(B(x,1)) \ge \frac14 e^{(x - 5/4)/2}, which is unbounded as x→∞x \to \infty.

Some authors drop clause 1 and only ask for clause 2 for balls of positive finite measure. A metric space with a doubling measure is a doubling metric space: each ball is covered by a bounded number of balls of half the radius.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Borel measure concept
  2. Metric space concept
  3. Open ball concept
  4. Doubling measure definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Doubling_space
About this page
Tag8G4ZKXPV29
URIm2://8G4ZKXPV29
Kinddefinition
WritingW0 stub
MSC28A12, 30L99
DefinesDoubling measure
UsesMetric space, Borel measure, Open ball
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.