Medida doblante

Una medida doblante es una medida en un espacio métrico medible para la que el crecimiento de la medida de cualquier bola al duplicar su radio está controlado por una constante. Más precisamente​, dado un espacio métrico $(X,d)$ diremos que una medida de Borel y regular $\mu$ es doblante si $\exists \;C\geq 1$ tal que

$\mu (B(x,2r))\leq C\mu (B(x,r))\;\forall \;x\in X,\;r>0$

En las últimas décadas, las medidas doblantes han desempeñado un importante papel en el análisis armónico, permitiendo extender muchos de sus resultados a espacios que no son euclídeos ni riemannianos.​

Propiedades

• No siempre se puede garantizar la existencia de una medida doblante en un espacio métrico dado. Por ejemplo, $\mathbf {Q}$ con la distancia euclídea no admite una medida doblante.​
• Todo espacio compacto y geométricamente doblante admite una medida doblante.​
• Todo espacio completo y geométricamente doblante admite una medida doblante.​
• Si un espacio métrico admite una medida doblante, entonces es geométricamente doblante.​
• Si $\mu$ es una medida doblante en $(X,d)$, tiene soporte total. Es decir $\mu (B(x,r))>0\;\forall \;x\in X$, $r>0$.
• Si $\mu$ es una medida doblante en $(X,d)$ con constante $C$ y $|X|>1$, se tiene $C\geq 2$.​

Ejemplos

• En $\mathbf {R} ^{n}$ con la norma p $||\cdot ||_{p}$, la medida de Lebesgue es doblante con constante $2^{n}$.​
• En $\mathbf {Z}$ y en $\mathbf {N}$, la medida de contar es doblante con constante $3$.​
• La medida de contar es doblante en el grafo completo, el grafo estrella y el grafo ciclo.​