Para cada s≥0, la medida de Hausdorff de dimensión s es una medida exterior en un espacio métrico definida tomando el límite δ→0 del ínfimo de las sumas ∑ diam(U_i)^s sobre recubrimientos contables {U_i} con diam(U_i)≤δ; generaliza longitud, área y volumen y detecta tamaños en dimensiones no enteras (fractales).

Principio

Construida mediante la construcción de Carathéodory adaptada a la métrica: cubrir el conjunto por regiones arbitrariamente pequeñas, ponderar cada elemento del recubrimiento por la potencia s del diámetro, tomar el ínfimo y el límite; la monotonicidad en s da la dimensión de Hausdorff como el exponente crítico donde la medida pasa de ∞ a 0.

Demostración

Para s=1 en R, la medida de Hausdorff 1 coincide (salvo normalización) con la longitud en curvas rectificables. El conjunto de Cantor del tercio medio tiene dimensión de Hausdorff log 2 / log 3 y su medida de Hausdorff es finita y positiva para ese s, mientras que su medida de Lebesgue es cero.

Aplicación incorrecta

Usar la medida de Hausdorff sin respetar la métrica ambiente (por ejemplo, calcular diámetros incorrectamente) o confundirla con invariantes topológicos; o fijar s arbitrariamente como si fuera una única noción de volumen para todas las sets.

Consecuencia

Proporciona una forma canónica de cuantificar el tamaño fractal, definir la dimensión de Hausdorff y comparar conjuntos que tienen medida de Lebesgue cero pero escalas geométricas no triviales; sustenta la teoría de dimensiones y muchos argumentos de medida geométrica.

Inversión

Confiar solo en la medida de Lebesgue: muchos conjuntos fractales son invisibles (medida cero) para Lebesgue y se pierde la información de escala; a la inversa, usar la dimensión topológica ignora la escala geométrica captada por la medida de Hausdorff.

Límite

Depende de la métrica y del comportamiento a pequeña escala; definida en espacios métricos (o espacios con noción de diámetro) y no invariante bajo homeomorfismos arbitrarios — se conserva bajo mapas bi-Lipschitz hasta constantes multiplicativas; para s enteros y conjuntos regulares puede coincidir con medidas clásicas.

Tensión semántica

Compite con la dimensión de Minkowski (box-counting) y medidas de empaquetamiento: la medida de Hausdorff es sensible a recubrimientos por conjuntos pequeños y ofrece la noción más precisa de dimensión fractal, mientras que Minkowski o packing pueden diferir y ser más fáciles de calcular.

Síntesis

La medida de Hausdorff es una familia parametrizada de medidas exteriores métricas que ponderan recubrimientos por diámetro^s para detectar tamaño geométrico a toda escala; variando s se obtiene la dimensión de Hausdorff y se miden con precisión estructuras fractales y de dimensión inferior, más allá del volumen de Lebesgue.