Introduo ao Fractal

Sadao Massago
Outubro de 2010

Nota
Este o trabalho apresentado no VII Semana Acadmica de Matemtica, realizado
no perodo de 27 de setembro de 2010 a 1o.

de outubro de 2010, na Universidade

Federal de Tocantins, Campus de Araguana.

Resumo
Apesar de ainda no existir nenhuma caracterizao exata do conjunto fractal, a ideia
intuitiva o conjunto na qual contm uma cpia reduzida de si mesmo, podendo ou
no ser acompanhado de deformaes. Alguns destes conjuntos podem ser construdos
para servir de exemplos do problema matemtico, enquanto que outros aparecem naturalmente no estudo de alguns problemas. Recentemente o Mandelbrot constatou que
a estrutura fractal aparece frequentemente na natureza, deixando de ser interesse no
apenas dos matemticos. Neste texto ser apresentado somente os conceitos bsicos,
mas sem muito formalismo para evitar o uso de conceitos da matemtica avanada
necessrio para estudo dos fractais.

Palavras-chave: fractal, IFS

Introduo

A ideia por traz do conjunto fractal o auto similaridade, isto , o conjunto na qual
a parte dele uma miniatura do conjunto todo. Vejamos o exemplo do tringulo de
Sierpinski (Figura 1). Ele formado pelas trs cpias do tringulo, cada um situado
em um canto do tringulo original.
pela escala de

Cada cpia exatamente a reduo do original

1/2.

Quando o conjunto exatamente a unio das cpias reduzidas dele mesmo, dizemos que o conjunto exatamente auto similar. No entanto, fractal no precisam ser

exatamente auto similar. Os fractais construdos so comportados, mas os que surgem

no estudo de outros problemas costuma ser complexas.

Por exemplo, o conjunto de

Mandelbrot (Figura 2 a esquerda) contm muitas cpias reduzidas (Figura 2 no centro

uma ampliao de ponto quase invisvel da ponta esquerda) com ou sem deformaes, mas tambm contm muitos outraos fractais (Figura 2 a esquerda m ampliao
de onde esfera gruda no cardioide).
Em 1872, O Karl Weierstrass construiu um exemplo abstrato de uma funo contnua que no diferencivel em todos os pontos. Em 1904, o Helge von Koch construiu
uma curva fractal que reproduz a funo similar, denominado de curva de Koch. Em
1915, Waclaw Sierpinski construiu o triangulo de Sierpinski.

Maioria destes conjun-

tos auto similares foram construidos para obter exemplos de problemas complexos da
matemtica.
Nos sculos 19 e 20, foram estudados iterao das funes no plano complexo (Henri
Poincar, Felix Klein, Pierre Fatou e Gaston Julia), mas ainda no tinha recursos
computacionais que permitiria a visualizao da estrutura fractal associada (veja [9]
para mais detalhes).
Na dcada de 1960, o Benoit Mandelbrot inicia a investigao do conjunto auto
similar (ver [5]) e a partir de 1975, usa o termo fractal (quebrado ou fraturado em
latin) para designar o conjunto na qual a dimenso de HausdorBesicovitch maior
do que a dimenso topolgica. O Mandelbrot podia visualizou o conjunto com o uso
de computador e percebeu que um conjunto auto similar muito complexa. Tambm
foi o Mandelbrot que chamou a ateno pelo fato de ter estrutura fractal na natureza
(ver [5] e [6]).
Curiosamente, nem a denio do Mandelbrot, nem a denio posterior determina exatamente o conjunto que queramos considerar como sendo fractal (veja [4]).
Em outros termos, ainda no sabemos o que caracteriza exatamente o conjunto fractal. Apesar de ter outros tipos de conjuntos auto similares, ns concentraremos nos
conjuntos fractais do tipo exatamente auto similar ou quase auto similar.

Exitem vrios softwares livres para desenhar fractais, tais como fraqtive (http://fraqtive.mimec.org
e GNU XaoS (http://xaos.sourceforge.net/) especializado nos conjuntos de Julia e

Figura 1: Tringulo de Sierpinski

Figura 2: Conjunto de Mandelbrot

de Mandelbrot e gnofract4d (http://gnofract4d.sourceforge.net/) e clssico FractInt

(http://spanky.triumf.ca/www/fractint/fractint.html) para fractais diversos.

Dimenso Fractal

Um fractal pode ser associado a medida de similaridade denominado de dimenso

fractal. O estudo de dimenses muito complexa, mas no caso de ser exatamente auto
similar, podemos obter o seu valor.
Dizemos que um conjunto

n1 (X)

onde

i (X)

exatamente auto similar quando

so cpias reduzidas exatas de

X = 0 (X)

(sem deformao). No caso do

tringulo de Sierpinski (Figura 1), ele formado por trs cpias reduzidas por escala de

1/2
1/2

(distncia reduzido a
do conjunto

X,

1/2).

Assim,

i (X)

so exatamente as redues na escala

seguido de uma translao adequada.

Para denir a dimenso fractal, precisamos saber o que uma dimenso no caso
geral. Quando existe uma distncia, dizemos que um conjunto foi escalado pelo fator

quando a distncia entre os pontos for multiplicado exatamente por

conjunto for escalado por

o comprimento ser multiplicado por

a rea ser multiplicado por

por

Quando um

no caso de curvas,

no caso de superfcies e o volume, ser multiplicado

no caso de slidos. A medida dito de dimenso

quando efetuar escalonamento por

se for multiplicado por

Assim, comprimento, rea e volumes so medidas

1, 2 e 3 respectivamente. Formalmente, dizemos que uma medida md de

d
dimenso d quando md ( X) = md (X) se X for conjunto X escalado por > 0.
Agora vamos supor que X = 0 (X) n1 (X) onde i (X) so cpias de
X com a escala i > 0 e que essas cpias tenham interseces vazias ou que sejam
nmero nito de pontos. Ento a medida de dimenso d deve satisfazer md (X) =


md (0 (X) n1 (X)) = d0 md (X) + + dn1 md (X) = d0 + + dn1 md (X),
pois a medida do conjunto nito de pontos nula para d > 0. Se md (X) existir, for
d
d
nito e no nulo, temos a equao 1 = 0 + + n1 , cuja soluo d a dimenso
fractal. Observe que no caso de ter algum i 1, a equao no teria soluo positiva,
de dimenso

mas se

i, i < 1,

existe uma nica soluo. Note que a equao foi obtida, supondo

que existe uma medida de dimenso

d>0

na qual o conjunto tem medida no nula e

limitada na qual no fcil de provar.

O caso especial na qual todas as cpias tem a mesma escala (

= i ),

podemos

1 = nn . Aplicando logaritmos em ambos lados, isoln n

que permite calcular a dimenso fractal
temos d =
ln(1/)

resolver a equao como sendo

lando o

e simplicando,

para o caso do conjunto exatamente auto similar cuja todas cpias tem o mesmo fator
de escala.

X = 0 (X) 1 (X) 2 (X) onde

1/2. ALogo, n = 3 e = 1/2, tendo

No caso do tringulo de Sierpinski (Figura 1),

i (X) uma reduo

= 1.584962500721156.

cada cpia

d=

ln 3
ln(2)

por escala de

Muitos dos fractais costumam ter dimenso no inteiras, mas existem fractais com
dimenso inteira. Para estudos de dimenses, veja o [3].

Mtodo da Contagem de Caixas

Exceto nos casos de fractais exatamente auto similares, no simples de obter a dimenso fractal. Para ter um valor aproximado, podemos usar o processo de contagem
de caixas.
Inicialmente, desenhamos um retngulo contendo o conjunto fractal de forma que
o conjunto toquem cada um dos lados.
partes iguais, obtendo

k2

Subdividimos cada lado do retngulo em

retngulos semelhantes, Seja

que interceptam o conjunto

dk =
d = lim dk

e calculamos

ln nk
.
ln k

nk ,

o nmero de retngulos

Quando o conjunto satisfaz

onde d a dimenso fractal. Na

k
prtica, difcil obter imagens de alta resoluo exceto nos casos associados ao problema

certas condies, podemos provar que

matemtico, alm dos objetos da natureza costumam ter dimenso fractal diferente em
cada intervalo de escala. Para melhorar a estimativa em tais condies, a anlise de
dados costumam ser aplicadas sobre

dk .

IFS (Sistema Iterativa de Funes)

Quando um conjunto formado pelas cpias reduzidas com deformaes controladas,

podemos obter a funo que efetua tais redues e deformaes na qual servir para
reconstruir o conjunto todo. A funo que determina a cpia denominada de funo
de similaridade.

: Rn Rn denominado de
X, Y Rn , k(X) (Y )k k{k X Y }.

Uma aplicao
que

contrao quando existe

<1

tal

Dado um conjunto de contraes

que

F = 1 (F ) n (F ).

{1 , . . . , n },

podemos analisar o conjunto

tal

possvel mostrar que existe um nico conjunto deste

Rn ). Para aplicaes
prticas, costumam usar contraes sejam as aplicaes ans, isto , i (X) = AX +B
onde A uma matriz quadrada n n e B um vetor n dimensional. Toda combinao
tipo e compacto (limitado e fechado no caso do subconjunto de

da mudana de escala, rotao, reexo e translaes podem ser representados pelas

aplicaes ans.
Como exemplo, vamos obter o IFS associado ao tringulo de Sierpinski.
um dos trs tringulos so exatamente a reduo por escala de

1 (x, y) =
"
#" # "
1
0
x
3 (x, y) = 2 1
+
0 2
y

posio do vrtice do canto esquerdo inferior, veremos que

"

1
2

#"

"

Analisando a
#" #
1
0
x
2
,
1
0 2
y
#

1
4
.
3
0
0 12
4
Um dos algoritmos mais simples para produzir a imagem do conjunto fractal asso-

2 (x, y) =

x
y

1
2

1/2".

Cada

ciado ao IFS o mtodo de Chaos Game.

Algortmo Chaos Game para {0 , . . . , n1 }

Escolha o ponto inicial x0
x = x0
para i = 0 . . . N0
k = nmero sorteado entre 0 e n 1
x = k (x)
fim para
para i = N0 . . . [Iterao mxima]
k = nmero sorteado entre 0 e n 1
x = k (x)
desenhe o ponto x
fim para
fim algortmo
O mtodo de Chaos Game baseado no teorema relacionado ao conjunto atrator do
sistema dinmico determinado pelas funes

{0 , . . . , n1 }

na qual no vamos entrar

em detalhes. os interessados podem consultar referncias tais como [8, 7, 3]).

Onde aparece os fractais?

O conjunto fractal aparecem tanto no estudo dos problemas matemticos, como no

problemas relacionado aos estudos na natureza.

5.1

Objetos na Natureza

Muitos objetos da natureza tem a estrutura recursiva e podem manter a dimenso

fractal at uma escala considervel.

Os exemplos mais comuns so:

costas e rios,

superfcies dos planetas, fraturas, rvores e outras plantas, veias, texturas do solo, etc.
Para analisar tais objetos, costumam calcular a dimenso fractal e no caso de reconstruo, tentar determinar o IFS aproximado. Note que as tcnicas de Curvas de
Koch e L-system (sobre L-systens, veja [1]) so casos especiais de IFS.
O estudo da transmisso de sinais tambm envolve fractal como o estudo feito pelo
Mandelbrot ou da antena fractal comumente utilizada nos celulares e outros receptores
de sinais.

5.2

Exemplos Matemticos

Os fractais so teis para obter diversos exemplos interessantes de matemtica. Veremos algumas delas. Para mais exemplos, veja [7].

O conjunto de Cantor
O processo de obter o Conjunto de Cantor remover um tero central do segmento.

1/3.

Na primeira etapa, sobra dois segmentos de tamanho

de cada um deles, sobra
de tamanho

segmentos de tamanho

1/3

Removendo um tero central

. Na etapa

n, sobra 2n segmentos

1/3n .

1 segmento substituido por 2

4 iteraes

Figura 3: Conjunto de Cantor

O conjunto de Cantor um conjunto no enumervel, tem medida nula e no

denso em nenhum ponto. Como ele formado pelas duas cpias com escala de
sua dimenso

d=

ln 2
ln 3

1/3,

= 0.63092975357146.

Curvas de Koch
Na curva do Koch, um segmento substitudo por segmento poligonal formado

por

segmentos de tamanho

dos segmentos. Na etapa

1/3

n,

1/3.

O processo aplicado indenidamente em cada um

ter uma linha poligonal com

4n

segmentos de tamanho

. Esta curva contnua, mas no tem derivadas em nenhum ponto. Um tringulo

formado pelas trs curvas de Koch denominado de oco de neve de Koch e delimita
uma regio nita, apesar de ter permetro innito.
A curva de Koch formado pelas 4 cpias com reduo de

d=

ln 4
ln 3

= 1.261859507142915.
6

1/3.

Logo a sua dimenso

4 iteraes

linha poligonal que substituir o segmento

Figura 4: Curvas de Koch

Curvas de Peano
Apesar da imagem da curva de Peano ser um quadrado e no um fractal, a construo consiste no processo de auto similaridade exata. Um segmento que diagonal
de um quadrado ser substitudo pelas linhas poligonais como mostrado na Figura 5.
O limite deste processo gera uma funo contnua e bijetiva do intervalo no quadrado.
isto ilustra que a imagem da funo contnua de um conjunto sem rea pode ter rea.
Note que nos estudos relacionados s medidas, ter derivada contnua importante para
usar o Teorema de Sarge.

4
3

9
8

5
2
1

linha poligonal que substituir o segmento

2 iteraes

Figura 5: Processo de construo da Curva de Peano

Como um segmento (diagonal) substitudo pelos

1/3,
5.3

sua dimenso

d=

ln 32
ln 3

2 ln 3
ln 3

diagonais de escala reduzida a

= 2.

Conjunto Fractal no sistema dinmico

Quando estuda o comportamento das funes, a sua representao grca pode ter uma
estrutura fractal como no caso do conjunto de Mandelbrot (Figura_2).

O conjunto

de Mandelbrot um mapeamento do comportamento de divergncia da sequncia

associada na qual no vamos entrar em detalhes. No caso do estudo do comportamento
das equaes diferenciais, costuma aparecer tambm o conjunto denominado de chaos
na qual no apresenta propriedades de auto similaridade, o que complica mais ainda o
seu estudo.
Consideremos somente o caso do sistema dinmico associado ao estudo da iterao
das funes.
Dada uma funo

: Rn Rn

e um ponto

x0 R n ,

podemos criar uma sequncia

de forma recursiva, denindo

da funo

(z) = z + c

xn+1 = (xn )

para

O Julia considerou o caso

no plano complexo e estudou o comportamento da sequncia

associada. O contorno da regio onde seus pontos

innito no sentido de

n > 0.

|xn |

x0

gera uma sequncia que tende a

costuma ser um fractal, denominado de conjunto de

Julia.

Figura 6: Fractal de Julia de

O Mandelbrot xou

(z) = z 2 + 0.25

x0 = 0 e analisou o comportamento em relao ao parmetro c.

Dada famlia de funes a um parmetro, o contorno do conjunto de parmetros na qual

a sequncia recursiva associada uma sequncia que tende a innito (|xn |
um fractal denominado de Conjunto de Mandelbrot. A Figura 2 o

z 2 + c.

) forma
caso de c (z) =

Os fractais do tipo Julia ou Mandelbrot costuma ter estruturas complexas,

mesmo no caso das funes mais simples, o que torna difcil de ser estudados.

Os

interessados podem consultar o [2].

5.4

IFS Como Sistema Dinmicos

Para estudar o IFS, necessrio analisar como um sistema dinmico.

Em vez de

analisar se a sequncia tende a innito, tambm podemos analisar se a sequncia tende

a algum conjunto limitado.

: X X , dizemos que F um atrator quando, para todo

x0 , a sequ6encia recursiva xn+1 = (xn ) associado tende ao conjunto F , isto , torna
cada vez mais prximo de F . No caso de ser uma contrao, o teorema de Picard
garante que existe um nico ponto xo (logo, F composto de um nico ponto). Caso
de ter vrias contraes como no caso de IFS, o conjunto atrator F costuma ser um
conjunto compacto satisfazendo F = 0 (F ) n1 (F ) que um conjunto auto
Dado uma aplicao

similar (fractal). Como a regra de similaridade so as contraes usadas, o problema

pode ser estudado mais facilmente do que outros tipos de fractais.

Por exemplo, a

demonstrao da funcionalidade do Chaos Game no ser difcil.

Referncias
[1] Barngley, Michael et. al., The Science of Fractal Images, SpringerVerlag, 1988.

[2] Devaney, Robert L., Introduction to Chaotic Dynamical Systems, second edition, Addison-Wesley, 1989.
[3] Edgar, Gerald, "Measure, Topology, and Fractal Geometry", Second Edition , Springer, 2008.
[4] Falconer, Kennet J., Fractal Geometry (Mathematical Foundations and
Applications), second edition, John Wiley & Sons Ltd., 2003.
[5] Mandelbrot, Benot, How Long Is the Coast of Britain? Statistical SelfSimilarity and Fractional Dimension, Science, New Series, 1967, Vol.
156, No. 3775, pp. 636-638.
[6] Mandelbrot, Benoit, The Fractal Geometry of Nature, W. H. Freeman
and Company, 1982.
[7] Sagan, Hang, Space Filling Curves, Springer-Verlag, 1994.
[8] Vicsec, Tams, Fractal Growyh Phenomena, World Scientic, 1989.
[9] Disponvel em <http://en.wikipedia.org/wiki/Fractal>, consultado em
09 de setembro de 2010.