Espacio doblante

espacio métrico con medida doblante

Espacio geométricamente doblante

En matemáticas, un espacio métrico (X, d) se dice que es doblante si existe una constante (constante doblante) M > 0 tal que para todo xX y r > 0, es posible cubrir la bola B(x, r) = {y | d(x, y) < r} con la unión de como mucho M bolas de radio r/2.[1]​ Se dice que la dimensión doblante de X es log2M.[2]​.

Los Espacio euclídeos con la métrica euclídea usual son ejemplos de espacios doblantes donde la constante doblante M depende de la dimensión d. Por ejemplo, en una dimensión, M = 2; y en dos dimensiones, M 7.[3]​.


En el Plano euclídeo, siete discos de radio r/2 pueden cubrir cualquier disco de radio r, el plano es un espacio doblante con constante doblante 7 and y su medida diblante es log2 7.

Medidas doblantes

editar

Definición

editar

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

 

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

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.[5][6]


Ejemplos

editar

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:[7]

 


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 3k intervalos de longitud 3k. 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.[8]

Aplicaciones

editar

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

editar
  1. Heinonen, Juha (2001). Lectures on Analysis on Metric Spaces. Universitext. New York: Springer-Verlag. pp. x+140. ISBN 0-387-95104-0. 
  2. 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.: 534-543. doi:10.1109/SFCS.2003.1238226. 
  3. W., Weisstein, Eric. «Disk Covering Problem». mathworld.wolfram.com (en inglés). Consultado el 3 de marzo de 2018. 
  4. Soria, Javier; Tradacete, Pedro (2019). «The least doubling constant of a metric measure space». Ann. Acad. Sci. Fenn. Math. 44: 1015-1030. doi:10.5186/aasfm.2019.4457. 
  5. Luukainen, Jouni; Saksman, Eero (1998). «Every complete doubling metric space carries a doubling measure». Proc. Amer. Math. Soc. 126 (2): 531-534. doi:10.1090/s0002-9939-98-04201-4. 
  6. Jouni, Luukkainen (1998). «ASSOUAD DIMENSION: ANTIFRACTAL METRIZATION, POROUS SETS, AND HOMOGENEOUS MEASURES». Journal of the Korean Mathematical Society (en inglés) 35 (1). ISSN 0304-9914. 
  7. Zygmund, A. (2002). Trigonometric Series. Vol. I,II. Cambridge Mathematical Library (Third edición). Cambridge University Press. pp. xii; Vol. I: xiv+383 pp.; Vol. II: viii+364. ISBN 0-521-89053-5.  Parámetro desconocido |title-link= ignorado (ayuda)
  8. Kahane, J.-P. (1969). «Trois notes sur les ensembles parfaits linéaires». Enseignement Math. (2) 15: 185-192. 


Espacio geométricamente doblante Análisis Teoría de la medida