Doubling space

In the Euclidean plane, seven disks of radius r/2 can cover any disk of radius r, so the plane is a doubling space with doubling constant 7 and doubling dimension log2 7.

In mathematics, a metric space X with metric d is said to be doubling if there is some doubling constant M > 0 such that for any xX 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 balls of radius r/2.[1] The base-2 logarithm of M is called the doubling dimension of X.[2] Euclidean spaces equipped with the usual Euclidean metric are examples of doubling spaces where the doubling constant M depends on the dimension d. For example, in one dimension, M = 3; and in two dimensions, M = 7.[3] In general, Euclidean space has doubling dimension .[2][4]

  1. ^ Heinonen, Juha (2001). Lectures on Analysis on Metric Spaces. Universitext. New York: Springer-Verlag. pp. x+140. ISBN 0-387-95104-0.
  2. ^ a b Gupta, A.; Krauthgamer, R.; Lee, J.R. (2003). "Bounded geometries, fractals, and low-distortion embeddings". 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings. pp. 534–543. doi:10.1109/SFCS.2003.1238226. ISBN 0-7695-2040-5. S2CID 796386.
  3. ^ W., Weisstein, Eric. "Disk Covering Problem". mathworld.wolfram.com. Retrieved 2018-03-03.{{cite web}}: CS1 maint: multiple names: authors list (link)
  4. ^ Zhou, Felix (21 Feb 2023). "Doubling Dimension and Treewidth" (PDF).