En matemáticas , la dimensión de Hausdorff es una medida de rugosidad , o más específicamente, dimensión fractal , que fue introducida en 1918 por el matemático Felix Hausdorff . [2] Por ejemplo, la dimensión de Hausdorff de un solo punto es cero, de un segmento de línea es 1, de un cuadrado es 2 y de un cubo es 3. Es decir, para conjuntos de puntos que definen una forma suave o una forma que tiene una pequeña cantidad de esquinas (las formas de la geometría y la ciencia tradicionales), la dimensión de Hausdorff es un número entero que concuerda con el sentido habitual de dimensión, también conocido como dimensión topológica . Sin embargo, también se han desarrollado fórmulas que permiten calcular la dimensión de otros objetos menos simples, donde, basándose únicamente en sus propiedades de escala y autosimilitud , se llega a la conclusión de que determinados objetos (incluidos los fractales ) no tienen dimensiones. -dimensiones enteras de Hausdorff. Debido a los importantes avances técnicos realizados por Abram Samoilovitch Besicovitch que permiten el cálculo de dimensiones para conjuntos muy irregulares o "ásperos", esta dimensión también se conoce comúnmente como dimensión de Hausdorff-Besicovitch.
Más concretamente, la dimensión de Hausdorff es un número dimensional asociado a un espacio métrico , es decir, un conjunto donde se definen las distancias entre todos los miembros. La dimensión se extrae de los números reales extendidos , a diferencia de la noción más intuitiva de dimensión, que no está asociada a espacios métricos generales y solo toma valores en los números enteros no negativos.
En términos matemáticos, la dimensión de Hausdorff generaliza la noción de dimensión de un espacio vectorial real . Es decir, la dimensión de Hausdorff de un espacio producto interno de n dimensiones es igual a n . Esto subyace a la afirmación anterior de que la dimensión de Hausdorff de un punto es cero, de una línea es uno, etc., y que los conjuntos irregulares pueden tener dimensiones de Hausdorff no enteras. Por ejemplo, el copo de nieve de Koch que se muestra a la derecha está construido a partir de un triángulo equilátero; en cada iteración, los segmentos de línea que lo componen se dividen en 3 segmentos de longitud unitaria, el segmento medio recién creado se usa como base de un nuevo triángulo equilátero que apunta hacia afuera, y este segmento base luego se elimina para dejar un objeto final de la iteración. iteración de longitud unitaria de 4. [3] Es decir, después de la primera iteración, cada segmento de línea original ha sido reemplazado con N=4, donde cada copia autosimilar es 1/S = 1/3 de la longitud del original. [1] Dicho de otra manera, hemos tomado un objeto con dimensión euclidiana, D, y hemos reducido su escala lineal en 1/3 en cada dirección, de modo que su longitud aumenta a N=S D . [4] Esta ecuación se resuelve fácilmente para D, lo que produce la relación de logaritmos (o logaritmos naturales ) que aparecen en las figuras y proporciona, en el caso de Koch y otros fractales, dimensiones no enteras para estos objetos.
La dimensión de Hausdorff es una sucesora de la dimensión de conteo de cajas o de Minkowski-Bouligand, más simple, pero generalmente equivalente .
El concepto intuitivo de dimensión de un objeto geométrico X es el número de parámetros independientes que uno necesita para seleccionar un punto único en su interior. Sin embargo, cualquier punto especificado por dos parámetros puede especificarse por uno, porque la cardinalidad del plano real es igual a la cardinalidad de la línea real (esto puede verse mediante un argumento que implica entrelazar los dígitos de dos números para producir un único número que codifica la misma información). El ejemplo de una curva que llena el espacio muestra que uno puede incluso mapear la línea real al plano real de manera sobreyectiva (tomando un número real en un par de números reales de manera que todos los pares de números estén cubiertos) y continuamente , de modo que un objeto unidimensional llena completamente un objeto de dimensiones superiores.
Cada curva que llena el espacio llega a algunos puntos varias veces y no tiene una inversa continua. Es imposible mapear dos dimensiones en una de manera continua y continuamente invertible. La dimensión topológica, también llamada dimensión de cobertura de Lebesgue , explica por qué. Esta dimensión es el mayor entero n tal que en cada cobertura de X por pequeñas bolas abiertas hay al menos un punto donde n + 1 bolas se superponen. Por ejemplo, cuando se cubre una línea con intervalos abiertos cortos, algunos puntos deben cubrirse dos veces, dando una dimensión n = 1.
Pero la dimensión topológica es una medida muy burda del tamaño local de un espacio (tamaño cerca de un punto). Una curva que casi llena el espacio aún puede tener dimensión topológica uno, incluso si ocupa la mayor parte del área de una región. Un fractal tiene una dimensión topológica entera, pero en términos de la cantidad de espacio que ocupa, se comporta como un espacio de dimensiones superiores.
La dimensión de Hausdorff mide el tamaño local de un espacio teniendo en cuenta la distancia entre puntos, la métrica . Considere el número N ( r ) de bolas de radio como máximo r necesarias para cubrir X por completo. Cuando r es muy pequeño, N ( r ) crece polinomialmente con 1/ r . Para un X que se comporta suficientemente bien , la dimensión de Hausdorff es el número único d tal que N( r ) crece como 1/ r d cuando r se acerca a cero. Más precisamente, esto define la dimensión de conteo de cajas , que es igual a la dimensión de Hausdorff cuando el valor d es un límite crítico entre tasas de crecimiento que son insuficientes para cubrir el espacio y tasas de crecimiento que son sobreabundantes.
Para formas que son suaves o formas con un pequeño número de esquinas, las formas de la geometría y la ciencia tradicionales, la dimensión de Hausdorff es un número entero que concuerda con la dimensión topológica. Pero Benoit Mandelbrot observó que los fractales , conjuntos con dimensiones de Hausdorff no enteras, se encuentran en todas partes de la naturaleza. Observó que la idealización adecuada de la mayoría de las formas toscas que ves a tu alrededor no es en términos de formas idealizadas suaves, sino en términos de formas idealizadas fractales:
Las nubes no son esferas, las montañas no son conos, las costas no son círculos, la corteza no es lisa ni los rayos viajan en línea recta. [5]
Para los fractales que ocurren en la naturaleza, la dimensión de Hausdorff y la de conteo de cajas coinciden. La dimensión del embalaje es otra noción similar que otorga el mismo valor para muchas formas, pero existen excepciones bien documentadas en las que todas estas dimensiones difieren. [ ejemplos necesarios ]
Se llega a la definición formal de la dimensión de Hausdorff definiendo primero la medida de Hausdorff d-dimensional , un análogo de dimensión fraccionaria de la medida de Lebesgue . Primero, se construye una medida exterior : Sea un espacio métrico . Si y ,
donde el mínimo se toma sobre todas las coberturas contables de . La medida exterior d-dimensional de Hausdorff se define entonces como , y la restricción del mapeo a conjuntos mensurables la justifica como una medida, llamada Medida de Hausdorff -dimensional. [6]
La dimensión de Hausdorff está definida por
Esto es lo mismo que el supremo del conjunto de tales cuya medida de Hausdorff es infinita (excepto que cuando este último conjunto de números está vacío, la dimensión de Hausdorff es cero).
El contenido de Hausdorff ilimitado -dimensional se define por
En otras palabras, tiene la construcción de la medida de Hausdorff donde se permite que los conjuntos de cobertura tengan tamaños arbitrariamente grandes (aquí usamos la convención estándar de ). [7] Tanto la medida de Hausdorff como el contenido de Hausdorff se pueden utilizar para determinar la dimensión de un conjunto, pero si la medida del conjunto es distinta de cero, sus valores reales pueden no coincidir.
Sea X un espacio métrico separable arbitrario. Existe una noción topológica de dimensión inductiva para X que se define de forma recursiva. Siempre es un número entero (o +∞) y se denota tenue ( X ) .
Teorema . Supongamos que X no está vacío. Entonces
Además,
donde Y abarca espacios métricos homeomorfos a X . En otras palabras, X e Y tienen el mismo conjunto subyacente de puntos y la métrica d Y de Y es topológicamente equivalente a d X.
Estos resultados fueron establecidos originalmente por Edward Szpilrajn (1907-1976), por ejemplo, véase Hurewicz y Wallman, Capítulo VII. [ se necesita cita completa ]
La dimensión de Minkowski es similar y al menos tan grande como la dimensión de Hausdorff, y son iguales en muchas situaciones. Sin embargo, el conjunto de puntos racionales en [0, 1] tiene dimensión cero de Hausdorff y dimensión uno de Minkowski. También hay conjuntos compactos para los cuales la dimensión de Minkowski es estrictamente mayor que la dimensión de Hausdorff.
Si hay una medida μ definida en subconjuntos de Borel de un espacio métrico X tal que μ ( X ) > 0 y μ ( B ( x , r )) ≤ r s se cumple para alguna constante s > 0 y para cada bola B ( x , r ) en X , luego atenuar Haus ( X ) ≥ s . El lema de Frostman proporciona una inversa parcial . [ cita necesaria ] [11]
Si es una unión finita o contable, entonces
Esto se puede verificar directamente a partir de la definición.
Si X e Y son espacios métricos no vacíos, entonces la dimensión de Hausdorff de su producto satisface [12]
Esta desigualdad puede ser estricta. Es posible encontrar dos conjuntos de dimensión 0 cuyo producto tenga dimensión 1. [13] En la dirección opuesta, se sabe que cuando X e Y son subconjuntos de Borel de R n , la dimensión de Hausdorff de X × Y está acotada desde arriba por la dimensión de Hausdorff de X más la dimensión de embalaje superior de Y. Estos hechos se analizan en Mattila (1995).
Muchos conjuntos definidos por una condición de autosimilitud tienen dimensiones que pueden determinarse explícitamente. Aproximadamente, un conjunto E es autosemejante si es el punto fijo de una transformación de conjunto valorado ψ, es decir ψ( E ) = E , aunque la definición exacta se da a continuación.
Teorema . Suponer
son cada uno un mapeo de contracción en R n con constante de contracción r i < 1. Entonces hay un conjunto compacto no vacío único A tal que
El teorema se deriva del teorema del punto fijo de mapeo contractivo de Stefan Banach aplicado al espacio métrico completo de subconjuntos compactos no vacíos de R n con la distancia de Hausdorff . [14]
Para determinar la dimensión del conjunto autosemejante A (en ciertos casos), necesitamos una condición técnica llamada condición de conjunto abierto (OSC) en la secuencia de contracciones ψ i .
Existe un conjunto abierto V con cierre compacto, tal que
donde los conjuntos en unión de la izquierda son disjuntos por pares .
La condición de conjunto abierto es una condición de separación que garantiza que las imágenes ψ i ( V ) no se superpongan "demasiado".
Teorema . Supongamos que se cumple la condición de conjunto abierto y cada ψ i es una similitud, es decir, una composición de una isometría y una dilatación alrededor de algún punto. Entonces el único punto fijo de ψ es un conjunto cuya dimensión de Hausdorff es s donde s es la solución única de [15]
El coeficiente de contracción de una similitud es la magnitud de la dilatación.
En general, un conjunto E que se transporta sobre sí mismo mediante un mapeo
es autosemejante si y sólo si las intersecciones satisfacen la siguiente condición:
donde s es la dimensión de Hausdorff de E y H s denota la medida de Hausdorff s-dimensional . Esto es claro en el caso de la junta de Sierpinski (las intersecciones son solo puntos), pero también es cierto en términos más generales:
Teorema . En las mismas condiciones que el teorema anterior, el único punto fijo de ψ es autosimilar.