Familia de medidas exteriores en un espacio métrico parametrizada por un real s ≥ 0, construida cubriendo conjuntos con una secuencia numerable de conjuntos de pequeño diámetro y tomando el ínfimo de la suma de diámetros^s (construcción de Carathéodory); para cada s se obtiene la medida de Hausdorff s‑dimensional, que generaliza longitud, área y volumen e identifica dimensiones fractales.

Principio

Para un parámetro de escala s dado, la medida se define tomando el límite cuando los diámetros de las coberturas tienden a cero del ínfimo de las sumas de (diámetro)^s sobre coberturas numerables; el s crítico en el que la medida pasa de infinito a cero caracteriza la dimensión de Hausdorff.

Demostración

El conjunto de Cantor del tercio medio tiene dimensión de Hausdorff log(2)/log(3); su medida de Hausdorff en ese s crítico es positiva y finita, mientras que para s mayores la medida se anula y para s menores es infinita.

Aplicación incorrecta

Suponer que la medida de Hausdorff para un s entero coincide siempre con la medida de Lebesgue en subconjuntos euclídeos; la igualdad solo se cumple para conjuntos suficientemente regulares (rectificables), no para conjuntos medibles arbitrarios o fractales.

Consecuencia

Las medidas de Hausdorff proporcionan una herramienta cuantitativa sensible a la escala: asignan medida finita y positiva en la dimensión crítica, permiten definir la dimensión de Hausdorff y distinguen conjuntos con idénticas propiedades topológicas por su tamaño geométrico fino.

Inversión

Medida de packing o dimensión de Minkowski (box‑counting), que son maneras alternativas pero distintas de cuantificar tamaño y dimensión; a diferencia de la medida de Hausdorff, manejan las coberturas de forma diferente y pueden asignar tamaños críticos distintos.

Límite

Definida en espacios métricos (se requiere distancia) y depende del exponente s elegido; no es directamente aplicable en entornos no métricos y puede requerir completación para convertirse en una medida sobre todos los subconjuntos mediante la regularización del exterior medida.

Tensión semántica

Existe tensión entre la medida de Hausdorff y medidas clásicas (Lebesgue) u otras medidas fractales (packing, box‑counting); las diferencias reflejan la elección de la estrategia de cobertura y la sensibilidad a la estructura geométrica fina.

Síntesis

La medida de Hausdorff es una familia parametrizada de medidas construida a partir de coberturas ponderadas por diámetro^s que generaliza medidas convencionales a conjuntos métricos arbitrarios y define la dimensión fractal mediante el exponente umbral donde la medida pasa de infinito a cero.