Dimensión

Autor original: Christiane Rousseau.
¿Cómo se mide el tamaño de un objeto geométrico? Para subconjuntos del plano habitualmente se usan el perímetro, al longitud, el área, el díametro, etc. Pero esto no es suficiente para describir los fractales. Los fractales son objetos geométricos muy complejos y deberíamos tener una manera de medir esa complejidad. Con este fin los matemáticos han introducido el concepto de dimensión. El concepto de dimensión proporciona una medida de la complejidad de un fractal. La noción de dimensión es una generalización y una formalización de nuestra idea intuitiva de dimensión cuando hablamos de 1D, 2D o 3D. En esta viñeta discutiremos varioas maneras de describir objetos fractales a trevés de dos ejemplos: la alfombra de Sierpinski y el copo de nieve de von Koch (ver figuras a la izquierda).

¿Cuál es el área de la alfombra de Sierpinski

Primero necesitamos conprender la construcción de la alfombra de Sierpinski (ver Figura 2). Está hecha mediante un proceso iterativo. Comenzamos con un triángulo y eliminamos el triángulo central, quedándonos con tres triángulos. En cada uno de estos triángulos tenemos que eliminar el triángulo central y así sucesivamente.

Ahora tenemos todos los ingredientes necesarios para calcular el área de la alfombra de Sierpinski. Supongamos que el triángulo inicial (ver Figura2(a)) es A.

  • En la primera iteración eliminamos un áerea de \frac{A}4 y nos quedamos con un área de A_1=\frac{3A}{4}.
  • En la segunda iteración eliminamos un cuarto del área de los triángulos restantes, luego un cuarto de A_1. Por tanto, el área que queda es A_2= \frac34 A_1=\left(\frac34\right)^2A.
  • En la tercera iteración eliminamos un cuarto del área de los nueve triángulos restantes, luego un cuarto de A_2. Por tanto, el a´rea restante es A_3= \frac34 A_2=\left(\frac34\right)^3A.
  • En la n-ésima iteración, eliminamos un cuarto del área de los 3^{n-1} triángulos restantes, luego un cuarto de A_{n-1}. Por tanto, el área restante es A_n= \frac34 A_{n-1}=\left(\frac34\right)^nA.

Como

    \[\lim_{n\to \infty}\left(\frac34\right)^n=0,\]

podemos concluir que el área de la alfombra de Sierpinski es cero.

¿Cuál es la longitud del copo de nieve de von Koch?

El copo de nieve de von Koch se obtiene también por iteración. En cada paso de la iteración reemplazamos cada segmento por un grupo de 4 segmentos, cada uno de ellos igual a 1/3 de la longitud del segmento original (ver Figura 3). Si L es la longitud del triángulo original en la Figura 3(a), entonces \frac43L es la longitud de la estrella de la Figura 3(b), \left(\frac43\right)^2L es la longitud del objeto en la Figura 3(c), etc. En particular, esto significa que, en cada paso, la longitud se multiplica por \frac43. Como en la construcción hay un número infinito de pasos, la longitud del copo de nieve de von Koch es infinita.


Dimension of a fractal object

La alfombra de Sierpinski es un objeto muy complejo. Sin embargo, su área es cero y, por tanto, nos da poca información acerca de él. El hecho de que la longitud del copo de nieve de von Koch sea infinita nos dice que el objeto es muy complejo, pero sin más precisión. Para ser capaces de dar más información acerca de objetos fractales, los matemáticos introdujeron el concepto de dimensión.

¿Cómo da un matemático la definición de dimensión?

Si comenzamos con nuestra idea intuitiva de dimensión, las curvas suaves tiene dimesnión 1, las superficies suaves tienen dimensión 2 y los volúmenes rellenos tienen dimensión 3. Por tanto, deberemos dar una definición matemática de dimensión que sea 1 para curvas suaves, 2 para superficies suaves y 3 para volúmenes rellenos. En esta viñeta nos restringiremos solo a dimensiones 1 y 2. Queremos cubrir un objeto geométrico en el plano con pequeños cuadrados. (Si quisiéramos definir dimensión 3, usaríamos pequeños cubos, pero podríamos haber usado cubos para curvas y superficies sin cambiar la dimensión.

El caso de una curva suave. (ver Figura 4)

  • si tomamos cuadrados de lado la mitad, necesitaremos aproximadamente el doble de cuadrados para cubrir el objeto;
  • Si tomamos cuadrados de lado un tercio, necesitaremos aproximadamente tres veces más cuadrados para cubrir el objeto;
  • Si tomamos cuadrados de lado n veces menor, necesitaremos aproximadamente n veces más cuadrados para cubrir el objeto;

El caso de una superficie suave. (ver Figura 5)

  • si tomamos cuadrados de lado la mitad, necesitaremos aproximadamente cuatro veces más cuadrados para cubrir el objeto;
  • Si tomamos cuadrados de lado un tercio, necesitaremos aproximadamente nueve veces más cuadrados para cubrir el objeto;
  • si tomamos cuadrados de lado n veces menor, necesitaremos aproximadamente n^2 veces más cuadrados para cubrir el objeto;

Ahora podemos dar la definición (intuitiva) de dimensión:

Definición. Un objeto en el plano tiene dimensión d si cuando tomamos cuadrados de lado n veces menor para cubrirlo, necesitamos aproximadamente n^d cuadrados más para cubrirlo.

Algunas observaciones a la definición.

  1. Los cuadrados que hemos utilizado para cubrir el objeto pueden estar girados o pueden superponerse.
  2. En lugar de ucadrados podríamos haber itulizado rectángulos del mismo tamaño con un ratio r>1 entre la longitud y la anchura. Habríamos obtenido los mismos resultados para dimensiones 1 y 2. Este es, de hecho, el caso general en dimensión 2. Para calcular la dimensión del copo de nieve de Koch es más fácil usar resctángulos que cuadrados.

Esta definición puede ser generalizada a objetos geométricos que sean subconjuntos de \mathbb{R}^m y el resultado no depende del m que consideremos.

Definición. Un subconjunto de \mathbb{R}^m tiene dimensión d if, si cuando tomamos hipercubos m-dimensional de lado n veces menor para cubrirlo, entonces se necesitan aproximadamente n^d más hipercubos para cubrirlo.

No todos los objetos tienen dimensión. Los objetos autosimilares tienen una dimensión que, en la mayor parte de los casos, no es un número entero. Calculemos la dimensión de la alfombra de Sierpinski (ver Figura 6).

  • Si tomamos un cuadrado de lado igual a la longitud de la base, este cuadrado cubre la alfombra de Sierpinski de la Figura 6(a).
  • Si tomamos cuadrados de lado la mitad, necesitaremos 3 cuadrados para cubrir la alfombra. Notar que 3=2^{\frac{\ln 3}{\ln{2}}} (Figura 6(c)).
  • Si tomamos cuadrados de lado un cuarto, necesitaremos 9 cuadrados para cubrir la alfombra. Notar que 9=4^{\frac{\ln 3}{\ln{2}}} (Figura 6(d)).
  • Si tomamos cuadrados de lado un octavo, necesitaremos 27 cuadrados para cubrir la alfombra. Notar que 27=8^{\frac{\ln 3}{\ln{2}}} (Figure 6(e)).

    Por tanto, es fácil concluir que el triángulo de Sierpinski de la Figura 6(a) es d=\frac{\ln 3}{\ln 2}\sim 1.585.

    Aseguramos que la dimensión del copo de nieve de Koch de la Figura 3(b) es \frac{\ln 4}{\ln 3} \sim 1.26. ¿Por qué? Si tratamos de cubrirlo con cuadrados que tengan como lado la longitud del lado de la siguiente iteración, como en la Figura 4, la primera dificultad que aparece es el hecho de que algunos cuadrados cubren un únicamente parte de un lado y otros pueden cubrir parte de dos, cuando estos se encuentran formando un pico. Por tanto, usemos el truco del que hemos hablado en nuestra segunda observación y usemos rectángulos de longitud 3 veces la anchura. Explicaremos únicamente los pasos principales del razonamiento, dejando los detalles al lector. En cada iteración usamos tantos rectángulos como lados tiene la figura y cuya longitud es la longitud del lado de dicha figura. Si colocamos los rectángulos en la parte exterior del copo de von Koch entonces cubrirán los nuevos picos que se añadan en las siguientes iteraciones. Es fácil comprobar que se necesitan tantos rectángulos como número de lados. En el triángulo inicial se tienen tres lados y, al pasar de una iteración a la siguiente el número de lados se multiplica por 4, luego el número de rectángulos también se multiplica por 4 y estos rectángulos tienen sus lados 3 veces menores que los de la iteración anterior. Como 4= 3^{\frac{\ln 4}{\ln 3}}, concluimos que la dimensión del copo de nieve de von Koch es \frac{\ln 4}{\ln 3}.

    La dimensión da una “medida” de la complejidad o densidad de un fractal. De hecho, se intuye que la alfombra de Sierpinski es más densa que el copo de nieve de von Koch, que parece más una curva engrosada. Esto se ve reflejado en el hecho de que \frac{\ln 3}{\ln 2} > \frac{\ln 4}{\ln 3}.

    Aplicaciones

    La red capilar alrededor de un tumor. no es igual que en el resto del cuerpo. Este hecho se está investigando (en particular, su dimensión fractal), para mejorar en el diagnóstico utilizando imágenesmédicas.

    El diseño del árbol bronquial. Los atletas de alto nivel tienen mayor probabilidad de sufrir asma que el resto de la población. ¿Por qué? En el artículo [Ma] se estudia el pulmón “óptimo”. Hay 17 niveles de tubos bronquiales antes de llegar a los bronquiolos y acinos involucrados en el intercambio de aire. Si los tubos bronquiales son demasiado estrechos entonces la presión aumenta cuando el aire penetra en el siguiente nivel de tubos bronquiales. Pero si son demasaido anchos, entonces el volumen permanece constante en cada nivel y se hace demasiado grande (sería infinito si tuviera infirnitos niveles). Por tanto, el pulmón “óptimo” debería tener el mínimo volumen que sea posible sin aumentar la presión. Sin embargo, cerca del pulmón óptimo, una pequeña disminución en el diámetro de los tubos bronquiales conlleva un mayor incremento de la presión que la misma disminución en tubos bronquiales más anchos (esto proviene de la forma no lineal especial de la función que da la presión). Los pulmones humanos tienen los tubos bronquiales más anchos y un mayor volumen que el teórico pulmón óptimo. Esta diferencia proporciona protección en caso de broncoconstricción, una patología que disminuye el diámetro de los tubos bronquiales y que puede ser causada por el asma. Los atletas tienen los pulmones generalmente más parecidos al pulmón óptimo y, por tanto, son más vulnerables.

    El intestino delgado. La superficie exterior del intestino delgado tiene un área aproximada de 0.5 \;\rm{m}^2, mientras que la interior tiene es de aproximadamente 300\;\rm{m}^2. Hemos visto en el ejemplo del copo de nieve de von Koch que una curva fractal puede tener longitud infinita, incluso aunque se en inserte una superficie finita. De manera análoga, podemos imaginar fácilmente que una superficie fractal que se inserte en un volumen finito puede tener área infinita. Este es un truco usado frecuentemente por la naturaleza: el área de la superficie interna del intestino delgado tiene que ser muy grande para poder maximizar la absorción intestinal y la naturaleza fractal de esta superficie lo permite. De la misma manera, la superficie de los alveolos al final de los braquiolos en los pulmones. COmo el árbol bronquial tiene estructura fractal, la superficie de los alveolos es extremandamente grande, maximizando el intercambio de gas.

    Bibliografía

    [Ma] B. Mauroy, M. Filoche, E.R. Weibel, B. ~Sapoval, An optimal bronchial tree may be dangerous, Nature, 427 (2004), 633–636.

    Autor original: Christiane Rousseau.

    Este mensaje está disponible en: Inglés, Francés, Alemán, Italiano, Árabe, Khmer

This entry was posted in Vignettes. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *