Fractais

Fernando R. Secco, Tatiane T. Rocha Trabalho da disciplina Teoria da Computao Prof. Jorge M. Barreto Curso Cincia da Computao - 2003.2 Universidade Federal de Santa Catarina {secco, tatiane}@inf.ufsc.br 13 de abril de 2004

Resumo
Neste trabalho iremos apresentar um resumo da teoria dos fractais. Aqui procurar-se- mostrar a denio de fractais, o que eles representam na natureza, seus os principais autores, pesquisas desenvolvidas, descobertas importantes e possveis aplicaes. Palavras-chave: fractais, conjuntos de Julia, conjuntos de Mandelbrot, curva de Koch.

que a geometria por ns conhecida. Essas formas na geometria chamadas de amorcas, na geometria euclidiana, foram estudadas e analisadas por vrios pesquisadores e em 1960, Benoit B. Mandelbrot, apresentou uma posio concreta sobre o que seriam essas no-formas. Refazendo alguns estudos nessa rea e conhecendo idias de outros autores apresentou estudos sobre fractais criando assim a teoria dos fractais. Fractais caracterizam-se por terem uma aparncia confusa e bagunada mas quando olhadas matematicamente sua anlise denota guras regulares e apresentam comportamentos curiosos como o de se assemelharem a elas mesmas quando observadas de diferentes escalas de tamanho. O objetivo desse estudo mostrar o que so fractais, a matemtica por traz deles, os principais autores e aplicaes baseadas em fractais . Para apresentar a teoria de fractais iremos inicialmente citar algumas teorias importantes que aparecem inclusas na teoria dos 1

1 Introduo
Na geometria somos acostumados a descrever as coisas atravs de suas formas regulares retas, circunferncias, cones etc. Mas ser mesmo que uma nuvem formada por esferas, uma montanha formada por cones e continentes por circunferncias? Existem alguns comportamentos na natureza que so to irregulares, to sem-forma que fogem completamente da geometria Euclidiana,

fractais como nmeros complexos, teoria do 2.2 caos, curva de Koch entre outros.

Representao de complexos no plano

nmeros

2 Nmeros Complexos
Para que possamos entender a teoria de fractais e conjuntos de Mandlebort precisamos antes de mais nada entender de nmeros complexos. Abaixo segue uma explicao simples sobre o que so e como so representados nmeros complexos.

Para representar os nmeros reais precisamos de uma linha de uma dimenso chamada de linha dos nmeros reais. Para separar os nmeros reais em negativos e positivos usamos a origem ( o zero ) como limitador. Assim os nmeros negativos cam a esquerda da origem e os positivos a direita da origem.
negativos positivos R 6 5 4 3 2 1 0 1 2 3 4 5 6

2.1 O que so nmeros complexos?

Nmeros complexos so nmeros que posFigura 1: reta dos reais suem caractersticas especiais, um pouco diferente dos nmeros que nos deparamos J para os nmeros complexos precisamos diariamente. Eles possuem uma parte real e parte imaginria. A parte real formada ter duas dimenses: a que representa a reta dos por nmeros comuns, como, por exemplo reais e a que representa a reta dos imaginrios. 1, 2, 50. A parte imaginria um nmero comum multiplicando um nmero i, este I chamado de imaginrio. Assim um nmero 5i complexo pode ser 2 + 3i por exemplo, parte 4i real mais parte imaginria. A origem deste 3i nome imaginrio vem do fato de que nenhum 2i nmero real multiplicado por ele mesmo pode 1i resultar em um nmero negativo, ou seja, no possvel obter-se a raz quadrada de 6 5 4 3 2 1 1 2 3 4 5 6 R um nmero imaginrio expressa em nmeros 1i reais [MATH2] ou em outras palavras no 2i possvel obter-se a raz quadrada de um 3i nmero negativo. O nmero i denido como sendo a raz quadrada de -1, logo i = 1. Assim Figura 2: reta dos imaginarios (y) reta dos possvel obter-se razes nmeros negativos de reais (x) como segue: 9 = 9 1 = 3 1 = 3i. 2
4i 5i

3 A teoria do Caos

O que o caos? A denio de caos segundo o dicionrio turbulncia, aleatoriedade no desejada, falta de ordem entre outros termos. Mas a teoria do Caos pode ser vista como um universo com sistemas extremamente sensveis as condies iniciais. Sistemas caticos so indeterminsticos e muito difcil prever seus resultados. Seu comportamento no 3.2 Aspiral dupla e Replicao peridico portanto no se tem a expresso descrevendo o estado do sistema. Lorenz concluiu que no havia como armar as condies do tempo. Ento comeou a 3.1 Instabilidade inicial de um sis- procurar um sistema simples que possua sensibilidade as condies iniciais. A principio tema esse sistema era composto por doze equaes A teoria do caos foi, formalmente, descoberta e foram simplicadas at ter-se trs equaes. primeiramente pelo metereologista Edward O resultado dessas equaes parecem ser comLorenz em 1960. Lorenz, querendo rever uma pletamente aleatrios, mas quando plotados de suas seqncias, usara 3 casas decimais de criam uma espiral dupla. preciso ao invs de 6 casas decimais. O a evoluo da srie foi completamente diferente da original. Este efeito conhecido tambm como efeito borboleta [IS].

mostra o comportamento de um sistema que sensvel as condies iniciais. Uma simples alterao nestas condies pode levar o experimento a ter um resultado completamente diferente do esperado. Essas pequenas alteraes podem ser causadas por rudos no ambiente ou problemas com o equipamento e no podem ser evitadas.

Figura 3: Ao mudar a preciso em 1000 vezes Lorenz defronta-se com instabilidade Figura 4: Aspiral dupla encontrada quando coloca-se os pontos em um grco numrica Este fenmeno comum na teoria do Caos 3 Outro exemplo de um sistema catico

encontrado na biologia na anlise do crescimento populacional. Em teoria o resultado da equao sempre cresceria, mas os predadores causam instabilidade no sistema. A equao varia entre 0 e 1 onde 0 extino e 1 a populao mximo, r a taxa de crescimento, pp o crescimento populacional e pa a populao atual. Assim temos: pp = r pa(1 pa) O biologista Robert May fez experimentos com a equao de crescimento a m de vericar o seu comportamento a medida em que a populao crescia. Utilizando r = 2.7 o pp cava em .6296. Na medida em que a r aumentava, o pp tenderia a aumentar tambm. Mas quando chegou ao valor 3 a linha de crescimento se partiu em duas, ou seja, a populao se separaria em duas. Fazendo r = 4 a linha se partiu em 4 e assim quanto maior o grau de r mais rpido rpido a populao se bifurcava at o caos aparecer.

observado de maneira mais minuciosa apresenta espaos em branco. Quando observase os espaos em branco possvel vericar que eles revelam pequenas janelas de ordem no grco. possvel ver as curvas crescendo novamente e bifurcando-se e ento retornando ao caos. Este fato mostra que o grco possui pequenas cpias dele mesmo inseridas no seu interior.

4 Fractais
A palavra fractal vem da juno das palavras Latinas fractus que signica irregulare frangere que signica quebrar e a pronuncia correta fractal. Fractais so comumente conhecidos por serem geradores de guras , aparentemente, irregulares. Mas tambm possuem muitas outras aplicaes cientcas tais como compresso de dados, simulao de lmes, anlise de pulsos eltricos no crebro e dos batimentos cardacos, estudos demogrcos entre outros.

A geometria de fractais relativamente nova, mas teorias de conjuntos de dimenses fractais e equaes no-lineares diferenciais datam de mais de um sculo [MATH4] [MANDELBROT]. Os fractais foram realmente reconhecidos quando Mandlebort conseguiu juntar tanto os estudos nessa rea quanto seus estudos provando que existia regularidade por trz das guras , aparentemente, amorcas. Um importante recurso utilizado por Mandelbrot foi o computador. Atravs dele foi possvel fazer as simulaes Figura 5: Grco do crescimento popula- necessrias, algo que os matemticos antecional quando r 4 riores a ele no possuam. Vale lembrar que fractais so praticamente impossveis de Mas o caos criado pelo crescimento quando serem gerados sem recursos computacionais 4

devido a quantidade quase innita de paos de iteraes que estes necessitam. Nesta seo ira-se montar os estudos mais importantes na rea de fractais, seus descobridores e teorias existentes.

4.1 Similaridade-prpria ou Autosimilaridade

No espao euclidiano uma dada escala r ,onde r > 0, determina a transformao que chamada similaridade. Essa transforma o ponto x = (x1, ...xn) no ponto r(x) = (rx1, ...rxn) e o conjunto S em r(S). Abaixo segue uma explicao simplicada do que seriam conjuntos auto-similar. A denio de auto-similaridade e outros conceitos relacionados encontrada em [HUTCHINSON]. Um conjunto dito auto-similar se: Dado um conjunto limitado S, com escala r e um inteiro N, S a unio de N sem sobreposio e congruente (idnticos exceto pelo deslocamento e rotao), r(S), r R | S > 0, Si Sj Si Sj = 0. Dado um conjunto limitado S, com um vetor de escalas r 1 , r 2 ....r n , S a unio de N sem sobreposio e congruente r n (S), r R |S > 0, Si Sj Si Sj = 0. Dado um conjunto ilimitado s, com escala r, r(S) congruente a S, r(S) S.

inovaes matemticas dos ltimos sculos. Ao distinguir nmeros algbricos e transcendentais (nmero irracional), Cantor encontrou a maneira de comparar os tamanhos de conjuntos innitos, mostrando que o conjunto de todos os nmeros maior do que o conjunto dos nmeros algbricos. Encarar totalidades, e no objetos individuais ( nmeros, pontos ou funes ), foi uma das inovaes de Cantor, revelando-se que as totalidades possuem propriedades que no so partilhadas pelos objetos dessas totalidades. Em 1873, ele provou que os nmeros racionais podem ser colocados em correspondncia biunvoca com os nmeros naturais. Em 1874, Cantor demonstra que a classe de todos os nmeros algbricos enumervel; em 1878 apresenta regra para construir classe no enumervel de nmeros reais. Entre as conseqncias dos estudos de Cantor est a de que existem totalidades que no so eqipotentes, podendo um conjunto innito ser colocado em correspondncia com uma de suas partes prprias. E Peitgen ([PETGEN1] , p79) exalta a importncia de Cantor dizendo: It is probably fair to say that in the zo of mathematical monsters ? or early fractals ? the Cantor set is by far the most important. Pois atravs do seu modelo que foram derivados os modelos posteriores, como por exemplo o de Julia.

4.2 Conjuntos de Cantor

Matemtico alemo da Universidade de Halle, Figura 6: Sucessivas divises de um segmento onde desenvolveu a Teoria dos Conjuntos. A de reta formando um conjunto de Cantor Teoria dos Conjuntos uma das mais notveis 5

 um quadro triangular que cresce indenidamente para baixo e cujas cinco primeiras linA funo de Weierstrass a soma da srie: has so mostradas na gura abaixo: 2 f (x) = sin(k x) 2 k=1 k que uma funo contnua em R mas no de1 1 1 1 1 rivvel em nenhum ponto de R , [MANDEL1 2 3 4 5 BROT]. 1 3 6 10 15 A gura gerada pela plotagem do grco 1 4 10 20 35 uma funo que possui similaridade-prrpia, e 1 5 15 35 70 na medida que nos aproximamos dela isso se torna mais ntido. Figura 8: Tringulo de pascal no quadro triangular

4.3 Funo de Weierstrass

4.5 Tringulo de Sierpinski

Waclaw Sierpinski (1882 - 1969) - matemtico polons, que foi professor em Lvov e Warsaw. Em 1915 descreveu o Tringulo de Sierpinski. Este tringulo obtido como limite de um processo recursivo. Para comear o processo partimos de um tringulo equiltero. Em seguida unem-se os pontos mdios de cada lado do tringulo, formando 4 tringulos cujos lados esto ligados. Retira-se agora o tringulo central. A recurso consiste em repetir indenidamente o procedimento anterior em relao a cada um dos tringulos obtidos. O Tringulo de Sierpinski tem vrias propriedades curiosas como a de ter tantos pontos como o do conjunto dos nmeros reais, ter rea igual a zero, ser auto-semelhante (isto , uma pequena poro do tringulo idntica ao tringulo todo a menos de uma escala adequada) e no perder a sua denio inicial medida que ampliado..

Figura 7: Funo diferencivel e no derivvel em nenhum ponto

4.4 Tringulo de Pascal

Blaise Pascal (1623 - 1662) - matemtico e cientista francs. O qual em 1654 divulgou o Tringulo de Pascal. Tringulo de Pascal - um quadro de forma triangular onde so dispostos, sucessivamente e de cima para baixo, os coecientes das expanses de : n n n! aonde um coeciente 4.6 Curva de Koch r!(nr)! r r binomial tambm conhecido como combi- Helge von Koch (1870 - 1924) - matemtico nao com visto em [MATH4]. O resultado suo. Em 1904 introduziu a Curva de Koch. 6

Figura 9: Tringulo de Sierpinski aps de n Figura 10: Curva de Koch, da esquerda para a direita, quatro iteraes e abaixo innitas iteriteraes aes A Curva de Koch uma forma fractal clssica simples de ser entendida. Partindo de um tringulo equiltero divide-se cada lado em trs segmentos. Os segmentos intermedirios so ento substitudos por dois segmentos semelhantes que vm a formar os lados de um tringulo equiltero menor. Isto resulta numa gura na forma de uma estrela com 12 lados (6 pontas). Realizando o mesmo processo em cada um dos 12 lados e assim sucessivamente obtm-se uma gura em evoluo constante que lembra um oco de neve. O comprimento total do contorno da gura - a soma de todos os lados - cresce medida que se realizam sucessivas divises. Aps innitas divises, seu comprimento ser tambm innito. No entanto a sua rea ser sempre menor do que a rea de um crculo em torno do tringulo original. No limite, trata-se de uma linha innitamente longa que delimita uma rea nita. funes x f (x) = z 2 | = , 4 , w e z f (x) = z 2 | z = x + iy z, i I a tcnica consiste na gerao do grco para um dado R e ento escreve-se este passo numa rvore e o processo repetido indenidamente. Enquanto Fatou utiliza R, Julia utiliza um R | { > 0 < } e ento um I. O mtodo iterativo consiste nos seguintes passos, dado um a cada iterao mantm-se o xo e modica o valor de Z como explicado em [MATH3] e [MANDELBROT] pgina 183. Assim um conjunto de Julia um conjunto de pontos, gerados por cada nova iterao, que se aproximam innitamente mas nunca se tocam. Ao plotarmos o grco com um conjunto de Julia temos:

4.7 Conjuntos de Julia

4.8 Conjuntos de Mandelbrot

Bertold B. Mandelbrot reolvera refazer todos Pierre Fatou (1878-1929) e Gaston Julia os estudos de Julia pois este no havia gostado (1893-1978) utilizaram mtodos iterativos dos estudos que Julia havia feito. Quando possvel fazer o estudo de fractais. Dadas as Mandelbrot terminou sua pesquisa chegou 7

I A D B R

Figura 11: uma surpresa quando a amostra de milhes de pontos plotada a mesma concluso que Gaston Julia havia chegado. Por ser um modelo mais simples que o de Julia e por possuir recursos computacionais, Mandelbrot conseguiu fazer de seu trabalho o bero da teoria dos fractais e tambm foi possvel encontrar relao do trabalho de outros pesquisadores ( Koch, Julia, Cantor, entre outros ), com o seu.

Figura 12: reta dos imaginrios em y, reta dos reais em x, e D a magnitude

Em [MANDELBROT] Mandelbrot dene seu conjunto da seguinte maneira: Conjuntos de Mandelbrot marcam os pontos no plano complexo para os quais o conjunto de Julia conexo (pode ser separado em dois subconjuntos que possuam ao menos um elemento), e no computvel . Ao plotar uma amostra de milhes de ponConjuntos de Mandelbrot o domnio de tos de um nmero do conjunto de Mandlebort convergncia da srie dos nmeros complexos obtemos: obtidos atravs da equao Zn+1 = Zn 2 + C. Onde a varivel C permanece constante entretanto Z vai variando durante o processo. Na medida em que interagimos com Z, duas coisas podem ocorrer: ou Z 2 para qualquer valor dado ou Z > 2. Caso Z supere o valor 2 o nmero C no faz parte do conjunto de Mandlebort. Em outras palavras, se esse ponto permanecer prximo origem ( Z < 2 ) ele pertence ao conjunto de Mandelbort, se sair das proximidades da origem e tender ao 21 innito ele no pertence ao conjunto. possvel saber se uma dado nmero C Figura 13: uma surpresa quando a amostra de pertence ou no a esse conjunto vericando milhes de pontos plotada sua magnitude, a sua distncia at origem. Para obter-se a magnitude de um dado ponto Para os valores fora das proximidades da 2 aplicando-se o teorema de Pitgoras: D = origem, onde Z > 2 pode-se aplicar uma A2 + B 2 logo, D = A2 + B 2 , onde D a cor. Essa cor serve para dizer o quo longe da magnitude. origem esse ponto se encontra. Quanto mais 8

rpido a srie convergir para o innito maior sua velocidade de escape e mais quente a cor aplicada a este ponto ao contrrio das cores mais prximas ao centro que recebem cores mais frias.

[HOTT], estudo do comportamento da World Wide Web (WWW). Por exemplo, o princpio bsico da codicao baseada em fractais aplicar algumas transformaes em alguns segmentos ( grandes ) da imagem. Algumas dessas transformaes utilizam redundncia na imagem em escalas diferentes. Utilizando-se do fato de que partes diferentes da imagem em escalas diferentes so semelhantes. Pode-se ento reconstruir a imagem ( com perda ) utilizando somente os parmetros da transformao [ZHANG].

5 Concluso
Figura 14: as cores mais quentes representam pontos mais afastados da origem, enquanto as cores mais frias pontos mais prximos Fractais so uma outra viso da geometria do mundo, uma nova maneira de ver e organizar velhas coisas. Como sempre, as criaes do homem acabam reetindo em alguma coisa j existente na natureza, nesse caso, os fractais. Os fractais da natureza no so to perfeitos como os fractais gerados pelo homem, e por isso que por muitos sculos achava-se que essas formas naturais eram no pussuiam formas geomtricas. Muitas teorias foram criadas em cima dessas formas mas nunca consegui-se organizar as idias a ponto de criar uma denio formal para o que viria se tornar a teoria dos fractais. Mandelbrot foi o matemtico que conseguiu unir todos os fragmentos de idias e criar uma grande idia, e esta deu origem teoria de fractais. Um dos pontos importante de Mandelbrot foi o uso de computadores para fazer seus os clculos e simulaes algo muito poderoso e que pode-se dizer que tenha tido uma grande chave em todos os seus estudos. Como fractais necessitam de muitas passos de iteraes para serem gerados isso pratica9

4.9 Aplicaes
Fractais tem sido usados para descrever muitos aspectos da natureza . Bilogos utilizam fractais para investigar a inuncia da superfcie irregular de protenas nas iteraes moleculares, matemticos montam modelos de crescimento demogrcos, modeladores grcos os utilizam para a gerao de terrenos e atmosferas. Fractais tambm podem ser usados na composio de msicas, compactao de imagens [ZHANG], Conjuntos de Mandlebort so utilizados em aplicaes paralelas como benchmarks, criptograa, codicao e decodicao de audio e vdeo [Moha], entre muitas outras aplicaes. Dimenses fractais tem sido utilizadas em geo-tecnologias para a classicao de imagens e estudo de paisagens

beauty of fractals. Springermente impossvel de ser feito de forma manVerlag, Berlin Heidelberg, ual, e com a ajuda do computador isso torna1986. se mais vivel e o tempo de pesquisa reduzido em muito. Fractais podem ser usados de tanto para gerao de imagens colori- [HUTCHINSON] HUTCHINSON,J.E; Fractals and the Self-similarity, Indas quanto para desenhar terrenos complexos. diana university Mathematics, Tambm muito utilizado em vrias reas de p. 16, 1981 pesquisa como medicina e fsica, por exemplo, para explicar muitos fenmenos. [MATH1] http://www.emayzine.com/infoage/math/ math4.htm

Referncias
[HOTT]

[MATH2]

Hott, Marcos C. et al. Aplicao da Relao Fractal Comprimento / rea em uma mi[MATH3] crobacia hidrogrca. Ying Zhang, Lai-Man Po .Fractal Color Image Compression [MATH4] Using Vector Distortion Measure. Proceedings ICIP-95. Mohammad GharaviAlkhansari, Thomas S. Huang. Video Coding : The Second Generation Approach.

http://www.olympus.net/personal/dewey/ mandelbrot.html http://www.geocities.com/CapeCanaveral/ 2854/mandelbrot.html http://mathworld.wolfram.com/

[ZHANG]

[MOHA]

[MANDELBROT] Mandelbrot B.B, The Factal Geomety of Nature. Updated Version. 1983. ISBN 07167-1186-9 [PEITGEN1] PEITGEN, Heinz-Otto; JRGENS, Hartmut; SAUPE, Dietmar. Fractals for the classroom. Springer-Verlag, New York, 1992. [PEITGEN2] PEITGEN, RICHTER, Peter Heinz-Otto; H.. The 10