Lição
A teoria — Explorador de fractais
Uma dimensão fractal surge quando se insiste que «dimensão» signifique como o detalhe se multiplica ao aproximar, e depois se aplica isso a uma forma construída por repetição. O painel indica uma para a forma que estiver no ecrã, e os números não são inteiros: o floco de Koch dá 1.262, o triângulo de Sierpiński 1.585, o conjunto de Cantor 0.631. Uma forma pode ser mais do que uma linha e menos do que um plano, e este menu contém oito delas.
Um eixo horizontal de dimensão fractal de 0 a 2, com as oito formas do menu marcadas na sua dimensão, entre uma linha e um plano.
- O conjunto de Cantor em 0.631 é a surpresa: abaixo da dimensão 1, mais do que um pó de pontos e menos do que uma linha. O seu comprimento total é zero e mesmo assim tem uma infinidade não numerável de pontos.
- Koch em 1.262 e Sierpiński em 1.585 ocupam o espaço para o qual a palavra «fractal» foi inventada — verdadeiramente entre uma linha e um plano, nem aproximação nem arredondamento.
- O feto de Barnsley em ≈ 1.893 chega perto de preencher o plano sem alguma vez o fazer, e o seu valor é aproximado porque as suas quatro aplicações se sobrepõem.
- Três construções caem em exatamente 2 — o dragão, a curva C de Lévy e a de Hilbert. Não são curvas que quase preenchem: no limite, preenchem.
O que significa cada símbolo
N- quantas cópias de si mesma a regra produz em cada passo. Koch substitui um segmento por 4; Sierpiński substitui um triângulo por 3.
r- quanto mais pequena é cada cópia. Koch escala ⅓, Sierpiński ½, a curva C de Lévy 1/√2.
D- a dimensão de Hausdorff que o painel imprime,
log N / log(1/r)— o expoente que põe de acordo as cópias e o escalamento. depth- quantas vezes a regra foi realmente aplicada no ecrã. Pára em 7, e todo o D acima é o limite quando tende para infinito.
De onde vem a fórmula
- Começa por formas em que já confias. Reduz uma linha a metade e são precisas 2 cópias para a refazer; um quadrado, 4; um cubo, 8. O padrão é
N = (1/r)^D, com D igual a 1, 2 e 3 — a dimensão é o expoente que liga cópias e escala, e nada nessa definição exige um número inteiro. - Resolve em ordem a D. Tomando logaritmos em
N = (1/r)^Dobtém-seD = log N / log(1/r). É essa a fórmula que o painel imprime, e cada parte dela está na regra de construção logo acima. - Lê uma regra na página e substitui. Koch troca um segmento por 4 de comprimento ⅓, portanto N = 4 e 1/r = 3, o que dá
log 4 / log 3 ≈ 1.262. Sierpiński dálog 3 / log 2 ≈ 1.585. Nenhum é inteiro, e não é uma aproximação — é o que a forma é. - Agora faz a conta onde ela surpreende. A curva C de Lévy substitui um segmento por 2 a 1/√2, logo
log 2 / log √2 = 2exatamente; Hilbert substitui um por 4 a ½, dandolog 4 / log 2 = 2. Uma dimensão de exatamente 2 significa que não são curvas que serpenteiam: no limite preenchem uma área, e é por isso que o painel escreve «preenche o espaço» em vez de um decimal.
Como ler o que vê
Muda de forma e repara como a linha da contagem muda de nome: Triângulos em Sierpiński, Segmentos em Koch, Ramos na árvore, Intervalos em Cantor, Pontos em Hilbert e no feto. Não é enfeite — «quantas peças» quer mesmo dizer coisas diferentes em cada construção, e o painel recusa-se a achatar tudo numa palavra só. Cada contagem bate certo com a fórmula impressa ao lado: à profundidade 4 Sierpiński mostra 81 = 3⁴, Koch 768 = 3·4⁴, Cantor 16 = 2⁴, Hilbert 256 = 4⁴ e a árvore 31 = 2⁵ − 1. Põe a profundidade a 0 e sobe de um em um; a coluna da contagem é a regra, aritmética tornada visível.
- Pressupõe
- Que as cópias são exatas e não se sobrepõem.
D = log N / log(1/r)é uma afirmação sobre autossemelhança estrita — é por isso que o painel se permite imprimir um quociente exato de logaritmos para Koch e Sierpiński, e por isso imprime≈ 1.893para o feto de Barnsley e≈ 1para a árvore. O feto é construído por quatro aplicações afins de razões diferentes que se sobrepõem, e a árvore muda de dimensão assim que mudas o ângulo dos ramos. O til está a trabalhar a sério. - Falha quando
- Nada do que está no ecrã é um fractal. O cursor de profundidade pára em 7, e à profundidade 7 a curva de Koch são 3·4⁷ = 49 152 segmentos retos de comprimento total perfeitamente finito — um polígono vulgar de dimensão exatamente 1. Todo o valor do painel é um limite para o qual o desenho caminha sem nunca lá chegar, e o inverso também vale: as curvas que preenchem o espaço encerram área zero em todas as profundidades selecionáveis. A leitura honesta desta página é que estás a ver uma sucessão — e o fractal é aquilo para que a sucessão existe.
Problema resolvido na íntegra
-
O triângulo de Sierpiński na profundidade 5 com 243 peças 5 passos
À profundidade 5, o triângulo de Sierpiński tem 243 peças. Deduza esse resultado e, em seguida, determine a profundidade em que resta menos de 1% da área original — e o que acontece ao perímetro enquanto a área se desvanece.
-
A construção é uma única recorrência: cada triângulo transforma-se em três. Resolvê-la exige apenas notar que é geométrica.
-
Cada filho tem metade do lado, logo um quarto da área, e existem três deles. Multiplicando os dois fatores, obtém-se a regra da área.
-
Avaliando ambas à profundidade 5, resta pouco menos de um quarto da área — 23,7% — e a fronteira já é 7,59 vezes o seu comprimento original.
-
A dimensão é definida pelo expoente que mantém constante a relação contagem × tamanhoD sob a regra. Três cópias a metade da escala impõem 3 = 2D, sem que nada sobre o desenho intervenha.
-
Agora, resolva a regra da área para a profundidade em que resta 1%. Os logaritmos dão 16,01, ou seja, profundidade 17 — e, a essa altura, a contagem de triângulos já ultrapassou os 129 milhões, razão pela qual a ferramenta para muito antes.
Resposta
Profundidade 17, ponto em que existem 129 140 163 triângulos. As duas grandezas movem-se em direções opostas e ambas o fazem geometricamente: a área diminui como (3/4)ⁿ no sentido de zero, enquanto o perímetro total aumenta como (3/2)ⁿ sem limite. Uma forma cuja área tende para zero e cuja fronteira tende para o infinito não tem um comportamento anómalo, simplesmente não é unidimensional nem bidimensional — e o expoente que reconcilia as duas, log 3 / log 2 = 1,585, é o que a "dimensão" tem de significar quando se admitem formas como esta. Note-se que não se trata de algo medido sobre a imagem; decorre apenas da regra de contagem.
-
Referências (3)
- Where fractional dimension entered general use — the paper behind the dimensions quoted here: B. Mandelbrot, "How Long Is the Coast of Britain? Statistical Self-Similarity and Fractional Dimension." Science 156, 636–638, 1967.
- The chaos game and the fern, from the book that introduced both: Michael F. Barnsley, Fractals Everywhere. Academic Press, 1988. ISBN 978-0-12-079062-3.
- The dragon curve as a storytelling device, section by section: Michael Crichton, Jurassic Park. Alfred A. Knopf, 1990. ISBN 978-0-394-58816-2.