Copo de nieve de Koch

El copo de nieve de Koch (también conocido como curva de Koch , estrella de Koch o isla de Koch ^{[1] [2]} ) es una curva fractal y uno de los primeros fractales que se han descrito. Se basa en la curva de Koch, que apareció en un artículo de 1904 titulado "Sobre una curva continua sin tangentes, construible a partir de geometría elemental" ^[3] del matemático sueco Helge von Koch .

El copo de nieve de Koch se puede construir de forma iterativa, en una secuencia de etapas. La primera etapa es un triángulo equilátero, y cada etapa sucesiva se forma añadiendo curvas hacia afuera a cada lado de la etapa anterior, formando triángulos equiláteros más pequeños. Las áreas encerradas por las etapas sucesivas en la construcción del copo de nieve convergen a veces el área del triángulo original, mientras que los perímetros de las etapas sucesivas aumentan sin límite. En consecuencia, el copo de nieve encierra un área finita, pero tiene un perímetro infinito .${\displaystyle {\frac {8}{5}}}$

El copo de nieve de Koch se ha construido como ejemplo de una curva continua en la que es imposible trazar una línea tangente a cualquier punto. A diferencia de la función de Weierstrass anterior , cuya demostración era puramente analítica, el copo de nieve de Koch se creó para que fuera posible representarlo geométricamente en ese momento, de modo que esta propiedad también pudiera verse a través de una "intuición ingenua". ^[3]

No hay duda de que la curva del copo de nieve se basa en la curva de von Koch y su construcción iterativa. Sin embargo, la imagen del copo de nieve no aparece ni en el artículo original publicado en 1904 ^[3] ni en la memoria ampliada de 1906. ^[4] Por lo tanto, uno puede preguntarse quién es el hombre que construyó por primera vez la figura del copo de nieve. Una investigación de esta cuestión sugiere que la curva del copo de nieve se debe al matemático estadounidense Edward Kasner . ^{[5] [6]}

El copo de nieve de Koch se puede construir comenzando con un triángulo equilátero y luego alterando recursivamente cada segmento de línea de la siguiente manera:

1. divide el segmento de recta en tres segmentos de igual longitud.
2. Dibuja un triángulo equilátero que tenga como base el segmento medio del paso 1 y apunte hacia afuera.
3. Retire el segmento de línea que es la base del triángulo del paso 2.

La primera iteración de este proceso produce el contorno de un hexagrama .

El copo de nieve de Koch es el límite al que se llega cuando se siguen los pasos anteriores indefinidamente. La curva de Koch descrita originalmente por Helge von Koch se construye utilizando solo uno de los tres lados del triángulo original. En otras palabras, tres curvas de Koch forman un copo de nieve de Koch.

De manera similar, se puede crear una representación basada en una curva de Koch de una superficie nominalmente plana segmentando repetidamente cada línea en un patrón de dientes de sierra de segmentos con un ángulo determinado. ^[7]

Cada iteración multiplica el número de lados del copo de nieve de Koch por cuatro, por lo que el número de lados después de las iteraciones viene dado por:${\estilo de visualización n}$

$${\displaystyle N_{n}=3\cdot 4^{n}\,.}$$

Si el triángulo equilátero original tiene lados de longitud , la longitud de cada lado del copo de nieve después de las iteraciones es:${\estilo de visualización s}$${\estilo de visualización n}$

$${\displaystyle S_{n}={\frac {S_{n-1}}{3}}={\frac {s}{3^{n}}}\,,}$$

Una potencia inversa de tres múltiplo de la longitud original. El perímetro del copo de nieve después de las iteraciones es:${\estilo de visualización n}$

$${\displaystyle P_{n}=N_{n}\cdot S_{n}=3\cdot s\cdot {\left({\frac {4}{3}}\right)}^{n}\,.}$$

La curva de Koch tiene una longitud infinita , porque la longitud total de la curva aumenta en un factor de con cada iteración. Cada iteración crea cuatro veces más segmentos de línea que en la iteración anterior, y la longitud de cada uno es la longitud de los segmentos de la etapa anterior. Por lo tanto, la longitud de la curva después de las iteraciones será veces el perímetro original del triángulo y no tiene límites, ya que tiende al infinito.${\displaystyle {\frac {4}{3}}}$${\displaystyle {\frac {1}{3}}}$${\estilo de visualización n}$${\displaystyle ({\frac {4}{3}})^{n}}$${\estilo de visualización n}$

Como el número de iteraciones tiende a infinito, el límite del perímetro es:

$${\displaystyle \lim_{n\rightarrow \infty}P_{n}=\lim_{n\rightarrow \infty}3\cdot s\cdot \left({\frac {4}{3}}\right)^{n}=\infty \,,}$$

desde .${\displaystyle {\frac {4}{3}}>1}$

Existe una medida dimensional, pero no se ha calculado hasta ahora. Solo se han inventado límites superior e inferior. ^{[ Es necesaria una aclaración ] [8]}${\displaystyle {\tfrac {\ln 4}{\ln 3}}}$

En cada iteración se agrega un nuevo triángulo en cada lado de la iteración anterior, por lo que la cantidad de nuevos triángulos agregados en la iteración es:${\estilo de visualización n}$

$${\displaystyle T_{n}=N_{n-1}=3\cdot 4^{n-1}={\frac {3}{4}}\cdot 4^{n}\,}$$

El área de cada nuevo triángulo agregado en una iteración es el área de cada triángulo agregado en la iteración anterior, por lo que el área de cada triángulo agregado en la iteración es:${\displaystyle {\frac {1}{9}}}$${\estilo de visualización n}$

$${\displaystyle a_{n}={\frac {a_{n-1}}{9}}={\frac {a_{0}}{9^{n}}}\,.}$$

donde es el área del triángulo original. Por lo tanto, la nueva área total agregada en la iteración es:$estilo de visualización a_{0}$${\estilo de visualización n}$

$${\displaystyle b_{n}=T_{n}\cdot a_{n}={\frac {3}{4}}\cdot {\left({\frac {4}{9}}\right)}^{n}\cdot a_{0}}$$

El área total del copo de nieve después de las iteraciones es:${\estilo de visualización n}$

$${\displaystyle A_{n}=a_{0}+\sum _{k=1}^{n}b_{k}=a_{0}\left(1+{\frac {3}{4}}\sum _{k=1}^{n}\left({\frac {4}{9}}\right)^{k}\right)=a_{0}\left(1+{\frac {1}{3}}\sum _{k=0}^{n-1}\left({\frac {4}{9}}\right)^{k}\right)\,.}$$

Al colapsar la suma geométrica se obtiene:

$${\displaystyle A_{n}=a_{0}\left(1+{\frac {3}{5}}\left(1-\left({\frac {4}{9}}\right)^{n}\right)\right)={\frac {a_{0}}{5}}\left(8-3\left({\frac {4}{9}}\right)^{n}\right)\,.}$$

El límite del área es:

$${\displaystyle \lim _{n\rightarrow \infty }A_{n}=\lim _{n\rightarrow \infty }{\frac {a_{0}}{5}}\cdot \left(8-3\left({\frac {4}{9}}\right)^{n}\right)={\frac {8}{5}}\cdot a_{0}\,,}$$

desde .${\displaystyle {\tfrac {4}{9}}<1}$

Por lo tanto, el área del copo de nieve de Koch es igual al área del triángulo original. Expresado en términos de la longitud del lado del triángulo original, esto es: ^[9]${\displaystyle {\tfrac {8}{5}}}$${\displaystyle s}$ $${\displaystyle {\frac {2s^{2}{\sqrt {3}}}{5}}.}$$

El volumen del sólido de revolución del copo de nieve de Koch alrededor de un eje de simetría del triángulo equilátero iniciador de lado unitario es ^[10]${\displaystyle {\frac {11{\sqrt {3}}}{135}}\pi .}$

El copo de nieve de Koch se autorreplica con seis copias más pequeñas que rodean una copia más grande en el centro. Por lo tanto, es un mosaico irrep-7 (ver mosaico Rep para más información).

La dimensión fractal de la curva de Koch es . Esta es mayor que la de una línea ( ) pero menor que la de la curva de Peano que llena el espacio ( ).${\displaystyle {\tfrac {\ln 4}{\ln 3}}\approx 1.26186}$${\displaystyle =1}$${\displaystyle =2}$

Es imposible trazar una línea tangente a cualquier punto de la curva.

La curva de Koch surge como un caso especial de una curva de De Rham . Las curvas de De Rham son aplicaciones del espacio de Cantor en el plano, generalmente dispuestas de modo que formen una curva continua. Cada punto en una curva de De Rham continua corresponde a un número real en el intervalo unitario. Para la curva de Koch, las puntas del copo de nieve corresponden a los racionales diádicos : cada punta puede etiquetarse de forma única con un racional diádico distinto.

Es posible teselar el plano mediante copias de copos de nieve de Koch de dos tamaños diferentes. Sin embargo, dicha teselación no es posible utilizando solo copos de nieve de un tamaño. Dado que cada copo de nieve de Koch en la teselación se puede subdividir en siete copos de nieve más pequeños de dos tamaños diferentes, también es posible encontrar teselaciones que utilizan más de dos tamaños a la vez. ^[11] Se pueden utilizar copos de nieve de Koch y anticopos de nieve de Koch del mismo tamaño para teselar el plano.

Un gráfico de tortuga es la curva que se genera si se programa un autómata con una secuencia. Si se utilizan los miembros de la secuencia Thue-Morse para seleccionar los estados del programa:

• Si , avanza una unidad,${\displaystyle t(n)=0}$
• Si , gire en sentido antihorario en un ángulo de ,${\displaystyle t(n)=1}$${\displaystyle {\tfrac {\pi }{3}}}$

La curva resultante converge al copo de nieve de Koch.

La curva de Koch se puede expresar mediante el siguiente sistema de reescritura ( sistema Lindenmayer ):

Alfabeto  : F

Constantes  : +, −

Axioma  : F

Reglas de producción  : F → F+F--F+F

Aquí, F significa "avanzar", - significa "girar a la derecha 60°" y + significa "girar a la izquierda 60°".

Para crear el copo de nieve de Koch, se utilizaría F--F--F (un triángulo equilátero) como axioma.

Siguiendo el concepto de von Koch, se diseñaron varias variantes de la curva de Koch, considerando ángulos rectos ( cuadráticos ), otros ángulos ( Cesàro ), círculos y poliedros y sus extensiones a dimensiones superiores (Sphereflake y Kochcube, respectivamente).

Variante ( dimensión , ángulo )	Ilustración	Construcción
≤1D, ángulo de 60-90°	Fractal de Cesareo (85°)	El fractal de Cesáro es una variante de la curva de Koch con un ángulo entre 60° y 90°. [ cita requerida ] Primeras cuatro iteraciones de un anticopo de nieve de Cesàro (cuatro curvas de 60° dispuestas en un cuadrado de 90°)
≈1,46D, ángulo de 90°	Curva tipo cuadrática 1	Primeras dos iteraciones
1.5D, ángulo de 90°	Curva tipo cuadrática 2	Salchicha Minkowski [12] Primeras dos iteraciones. Su dimensión fractal es igual y está exactamente a la mitad entre las dimensiones 1 y 2. Por lo tanto, se suele elegir cuando se estudian las propiedades físicas de objetos fractales no enteros.${\displaystyle {\tfrac {3}{2}}}$
≤2D, ángulo de 90°	Tercera iteración	Isla Minkowski Cuatro curvas cuadráticas tipo 2 dispuestas en un cuadrado
≈1,37D, ángulo de 90°	Copos cuadráticos	4 curvas cuadráticas de tipo 1 dispuestas en un polígono: Primeras dos iteraciones. Conocida como la " salchicha de Minkowski ", [13] [14] [15] su dimensión fractal es igual a . [16]${\displaystyle {\tfrac {\ln 3}{\ln {\sqrt {5}}}}=1.36521}$
≤2D, ángulo de 90°	Antiescamas cuadráticas	Curva anti -punto de cruz , tipo escama cuadrática 1, con las curvas orientadas hacia adentro en lugar de hacia afuera ( fractal de Vicsek )
≈1,49D, ángulo de 90°	Cruz cuadrática	Otra variación. Su dimensión fractal es igual a .${\displaystyle {\frac {\ln 3.33}{\ln {\sqrt {5}}}}=1.49}$
≤2D, ángulo de 90°	Isla cuadrática [17]	Curva cuadrática, iteraciones 0, 1 y 2; dimensión de${\displaystyle {\tfrac {\ln 18}{\ln 6}}\approx 1.61}$
≤2D, ángulo de 60°	Superficie de von Koch	Primeras tres iteraciones de una extensión natural de la curva de Koch en dos dimensiones.
≤2D, ángulo de 90°	Primera (bloque azul), segunda (más bloques verdes), tercera (más bloques amarillos) y cuarta (más bloques transparentes) iteraciones del fractal cuadrático de Koch 3D tipo 1	Extensión de la curva cuadrática de tipo 1. La ilustración de la izquierda muestra el fractal después de la segunda iteración. Animación de superficie cuadrática
≤3D, cualquiera	Curva de Koch en 3D	Fractal tridimensional construido a partir de curvas de Koch. La forma puede considerarse una extensión tridimensional de la curva en el mismo sentido en que la pirámide de Sierpinski y la esponja de Menger pueden considerarse extensiones del triángulo de Sierpinski y la alfombra de Sierpinski . La versión de la curva utilizada para esta forma utiliza ángulos de 85°.

Los cuadrados se pueden utilizar para generar curvas fractales similares. Si se comienza con un cuadrado unitario y se añade a cada lado en cada iteración un cuadrado con una dimensión de un tercio de los cuadrados de la iteración anterior, se puede demostrar que tanto la longitud del perímetro como el área total están determinados por progresiones geométricas. La progresión del área converge a mientras que la progresión del perímetro diverge a infinito, de modo que, como en el caso del copo de nieve de Koch, tenemos un área finita limitada por una curva fractal infinita. ^[18] El área resultante llena un cuadrado con el mismo centro que el original, pero con el doble de área, y rotado en radianes, con el perímetro tocándose pero nunca superponiéndose.${\displaystyle 2}$${\displaystyle {\tfrac {\pi }{4}}}$

El área total cubierta en la iteración es:${\displaystyle n}$$${\displaystyle A_{n}={\frac {1}{5}}+{\frac {4}{5}}\sum _{k=0}^{n}\left({\frac {5}{9}}\right)^{k}\quad {\mbox{giving}}\quad \lim _{n\rightarrow \infty }A_{n}=2\,,}$$

mientras que la longitud total del perímetro es: que tiende al infinito a medida que aumenta.$${\displaystyle P_{n}=4\left({\frac {5}{3}}\right)^{n}a\,,}$$${\displaystyle n}$

Además de la curva, el artículo de Helge von Koch que estableció la curva de Koch muestra una variación de la curva como ejemplo de una función continua en todas partes pero en ninguna parte diferenciable que era posible representar geométricamente en ese momento. A partir de la línea recta base, representada como AB, se puede dibujar el gráfico aplicando recursivamente lo siguiente en cada segmento de línea:

• Divida el segmento de línea ( XY ) en tres partes de igual longitud , divididas por los puntos C y E.
• Dibuje una línea DM , donde M es el punto medio de CE , y DM es perpendicular a la base inicial de AB , con una longitud de .${\displaystyle {\frac {CE{\sqrt {3}}}{2}}}$
• Dibuje las líneas CD y DE y borre las líneas CE y DM .

Se puede demostrar que cada punto de AB converge a una única altura. Si se define como la distancia de ese punto a la base inicial, entonces, como función, es continua en todas partes y no diferenciable en ninguna. ^[3]${\displaystyle y=\phi (x)}$${\displaystyle \phi (x)}$

• Lista de fractales según la dimensión de Hausdorff
• Cuerno de Gabriel (superficie infinita pero que encierra un volumen finito)
• Curva de Gosper (también conocida como curva de Peano-Gosper o curva de flujo )
• Curva de Osgood
• Autosimilitud
• Teragón
• Función de Weierstrass
• Paradoja de la costa

Wikimedia Commons tiene medios relacionados con Curva de Koch.

Wikimedia Commons tiene medios relacionados con Copo de nieve de Koch.

Videos externos
Fractal de copo de nieve de Koch – Academia Khan

• (2000) "Curva de von Koch", Laboratorio de Computación de efg en Wayback Machine (archivado el 20 de julio de 2017)
• Poema de Bernt Wahl titulado La curva de Koch, Wahl.org . Consultado el 23 de septiembre de 2019.
• Weisstein, Eric W. "Copo de nieve de Koch". MathWorld . Consultado el 23 de septiembre de 2019 .
  • "7 iteraciones de la curva de Koch". Sitio Wolfram Alpha . Consultado el 23 de septiembre de 2019 .
  • "Curvas fractales de Koch cuadradas". Proyecto de demostraciones de Wolfram . Consultado el 23 de septiembre de 2019 .
  • "Superficie fractal de Koch cuadrada". Proyecto de demostraciones de Wolfram . Consultado el 23 de septiembre de 2019 .
• Aplicación de la curva de Koch a una antena
• Animación WebGL que muestra la construcción de la superficie de Koch, tchaumeny.github.io . Consultado el 23 de septiembre de 2019.
• "Un análisis matemático de la curva de Koch y la curva de Koch cuadrática" (PDF) . Archivado desde el original (pdf) el 26 de abril de 2012 . Consultado el 22 de noviembre de 2011 .