Espacio doblante

Espacio geométricamente doblante

En matemáticas, un espacio métrico (Plantilla:Mvar, Plantilla:Mvar) se dice que es doblante si existe una constante (constante doblante) Plantilla:Math tal que para todo Plantilla:Math y Plantilla:Math, es posible cubrir la bola Plantilla:Math con la unión de como mucho Plantilla:Mvar bolas de radio Plantilla:Math. Se dice que la dimensión doblante de Plantilla:Mvar es log₂Plantilla:Mvar.

Los Espacio euclídeos ${ℝ}^d$ con la métrica euclídea usual son ejemplos de espacios doblantes donde la constante doblante Plantilla:Mvar depende de la dimensión Plantilla:Mvar. Por ejemplo, en una dimensión, Plantilla:Math; y en dos dimensiones, Plantilla:Math $\le$ 7.

En el Plano euclídeo, siete discos de radio Plantilla:Math pueden cubrir cualquier disco de radio Plantilla:Mvar, el plano es un espacio doblante con constante doblante 7 and y su medida diblante es log₂ 7.

Medidas doblantes

Definición

Una medida no trivial en un espacio métrico X se dice que es doblante si la medida de cualquier bola es finita y existe una constante C > 0 tal que

$0<\mu (B(x,2r))\le C\mu (B(x,r))<\mathrm{\infty }$

para todo x en X y r > 0. En este caso, decide que μ es C-doblante. De hecho, puede ser probado que C $\ge$ 2.

Un espacio métrico que soporta una medida doblante es necesariamente un espacio geométrico doblante, donde la constante doblante depende de la constante C. Recíprocamente, todo espacio geométrico doblante soporta una medida doblante.

Ejemplos

Un ejemplo de medida doblante es la medida de Lebesgue en un espacio euclídeo.

Sin embargo, uno puede obtener medidas doblantes en un espacio euclídeo que son singulares con respecto a la medida de Lebesgue. Un ejemplo en la línea real es el límite débil de la siguiente secuencia de medidas:

$d{\mu }_n=\prod _{i=1}^n(1+a\cos (3^{i}2\pi x))dx,|a|<1.$

Un ejemplo de medida doblante singular en el intervalo [0, 1], es la medida μ construida de la siguiente manera: para cada k ≥ 0, partimos el intervalo unidad [0,1] en 3^k intervalos de longitud 3^−k. Sea Δ la colección de todos los intervalos de la forma anterior en [0,1] obtenidos para cada k (los llamamos intervalos triádicos), y para cada uno de estos intervalos I denotamos por m(I) a su "medio tercer" intervalo. Sea 0 < δ < 1 y μ la medida tal que μ([0, 1]) = 1 y para cada intervalo triádico I, μ(m(I)) = δμ(I). Esto nos da una medida doblante en [0, 1] y singular respecto a la medida de Lebesgue.

Aplicaciones

La definición de medida doblante puede parecer arbitraria, o de interés puramente geométrico. Sin embargo, muchos resultados de análisis harmónico clásico y de geometría computacional se extienden a espacios métricos con medidas doblantes.

Referencias

Plantilla:Listaref Plantilla:Control de autoridades Espacio geométricamente doblante Análisis Teoría de la medida