Dimensión de Hausdorff-Besicovitch
# Dimensión de Hausdorff-Besicovitch

La dimensión de Hausdorff o dimensión de Hausdorff-Besicovitch es una generalización métrica del concepto de dimensión de un espacio topológico, que permite definir una dimensión fraccionaria (no entera) para un objeto fractal.

La medida fue introducida hacia 1917 por Felix Hausdorff, aunque fue estudiada mucho más extensivamente por Abram Besicovitch, a quien se deben la mayoría de los resultados teóricos y teoremas concernientes tanto a la medida de Hausdorff como a la dimensión fractal.

## Medida de Hausdorff

Sea $\scriptstyle U\subset \mathbb {R} ^{n}$ un conjunto no vacío. El diámetro de $\scriptstyle U$ se define como

   $|U|=\sup\{|x-y|:x,y\in U\}$

Sea ahora $I\,$ un conjunto arbitrario de índices. La colección $\{U_{i}\}_{i\in I}$ se denomina $\delta$-recubrimiento de $F\,$ si:

* $F\subset \bigcup _{i\in I}U_{i}$; y
* $0<|U_{i}|\leq \delta$, para cada $i\in I$.

Sea $F\subset \mathbb {R} ^{n}$ y $s$ un número no negativo. Para cualquier $\delta >0$ se define:

   ${\mathcal {H}}_{\delta }^{s}(F)=\inf \left\{\sum _{i=1}^{\infty }|U_{i}|^{s}\right\}$

en donde el ínfimo se toma sobre todos los $\delta$-recubrimientos numerables de $F$. Es posible verificar que ${\mathcal {H}}_{\delta }^{s}$ es de hecho una medida exterior en $\mathbb {R} ^{n}$.

La medida exterior $s$-dimensional de Hausdorff del conjunto $F$ se define como el valor:

   ${\mathcal {H}}^{s}(F)=\displaystyle \lim _{\delta \rightarrow 0}{\mathcal {H}}_{\delta }^{s}(F)$

Este límite existe, sin embargo, como ${\mathcal {H}}_{\delta }^{s}$ crece cuando $\delta$ decrece, puede ser infinito.

Es fácil ver que ${\mathcal {H}}^{s}$ es una medida exterior, así que, por el Teorema de Carathéodory, la restricción de ${\mathcal {H}}^{s}$ a los conjuntos ${\mathcal {H}}^{s}$-medibles es de hecho una medida, llamada medida s-dimensional de Hausdorff.

La medida de Hausdorff generaliza la idea de longitud, área y volumen. La medida de dimensión cero cuenta el número de puntos en un conjuntos si el conjunto es finito, o es infinita si el conjunto lo es. La medida unidimensional mide la longitud de una curva suave en $\mathbb {R} ^{n}$. La medida bidimensional de un conjunto en $\mathbb {R} ^{2}$ es proporcional a su área y análogamente la medida tridimensional de un conjunto en $\mathbb {R} ^{3}$ es proporcional a su volumen.

* Para todo conjunto $F\subset \mathbb {R} ^{n}$ existe $s_{o}\leq n$ con la propiedad:
* ${\mathcal {H}}^{s}(F)=\left\{{\begin{array}{rcl}\infty &{\textrm {para}}&s<s_{o}\\0&{\textrm {para}}&s>s_{0}\end{array}}\right.$

Un gráfico de ${\mathcal {H}}^{s}$ en función de $s$ (ver figura) muestra que existe un valor crítico de $s$ en el cual ${\mathcal {H}}^{s}$ cambia súbitamente de $\infty$ a $0$.

El comportamiento de ${\mathcal {H}}^{s}(F)$ puede explicarse de la siguiente manera: Se cubre el conjunto $F$ con infinitos conjuntos de diámetro pequeño $\delta \rightarrow 0$ y se calcula la suma de dichos diámetros elevados a la $s$-ésima potencia. Si $s$ es pequeño, dichas potencias tienden a $1$ lo cual produce que la suma diverja. Si $s$ es grande, las $s$-ésimas potencias tienen a cero y la suma tiende a anularse.

## Dimensión fractal de Hausdorff-Besicovitch

La dimensión de Hausdorff se define como:

   ${\text{dim}}_{H}(F):=\sup\{s:{\mathcal {H}}^{s}(F)=\infty \}:=\inf\{s:{\mathcal {H}}^{s}(F)=0\}$

## Relación entre dimensiones fractales

La dimensión de Hausdorff-Besicovitch siendo similar numéricamente a otras dimensiones fractales, en general resulta no mayor que todas ellas, siendo para la mayoría de fractales clásicos coincidente con el resto de dimensiones fractales (generalmente más sencillas de calcular). De hecho ha podido demostrarse la siguiente cadena de desigualdades:

   $D_{T}\leq D_{HB}\leq D_{MB}\leq D_{E}\leq D_{C}\,$

Donde:

    $D_{T}\,$ es la dimensión topológica que es siempre un entero.
    $D_{HB}\,$ es la dimensión de Hausdorff-Besicovitch que para los fractales clásicos suele ser un número irracional.
    $D_{MB}\,$ es la dimensión de Minkowski-Bouligand o de conteo de cajas, a veces llamada dimensión de Hausdorff.
    $D_{E}\,$ es la dimensión de empaquetado.
    $D_{C}\,$ es la dimensión del espacio euclídeo que contiene al fractal.

La primera desigualdad $\scriptstyle D_{T}\ \leq \ D_{HB}$ se conoce como desigualdad de Szpilrajn y es uno de los principales resultados de la geometría fractal.

