Capitulo do Livro :

Representacties do Espaco -

Multidisciplinaridade na Educacao

Antonio Miguel e Ernesta Zamboni

( Organizadores)

Editora Autores Associados 1996

A CONCEP(:AO DE ESPA(:O EM MATEMATICA: A NO(:AO DE DIMENSAO

Sueli I. R. Costa

Em Maternatica, hoje, a paiavra espa~o tern uma enarme abrangencia, sendo , em gerai, uma forma abreviada de se referir a alga como" a estrutura global da totalidade dos objetos que estao sendo cons ider ados". Assim sendo , "espaco" sempre requer urn qualificativo:- Espacos dos Poltne mios, Espaco Lp, Espacos ' das Funcoes AutomorFas, Espaco de Fase, Espacos Metricos, Espacos Topol6gicos, etc. Naturalmente, tad as estas estruturas pretendern ser e x ten soes e herdar agradavei s propriedades do "espaco usual", au "espaco euclidiano", ou sej a, do coneeita primitivo de "espaco" (a exten sao ande e x i ste 0 sistema solar, as galaxias, universe) (ef. Novo Dicionari o Aurelio da Lingua Portuguesa).

A defi ni C; ao des t as es tru tu ras e Fei La a parti r da transcendenci a de nocoes subjacentes ao espaco: dimensiio (0, 1, 2 ou 3). nietrica (angulo, comprimento, area e volume, curvatura) e to p alo g ia (caracterfsticas que sao invariantes por deformacccs conunuas).

A busca de generalizacao e inerente ao pensamen to matematico. Ao ampliarmos 0 universo de objetos, conseguimos ter lima visao extrfnseca (em perspceti va) do objeto anteriormente estudado e, ass im, detectar quais sao as caracterrsticas que Ihe sao peculiares. Uma rnetafora aqui

113

Rcpreseruacoes do espaco

seria reconhecer que 0 conheci mento d as curacterfs ticus de urn pars, por exemplo, exige que 0 olhemos de "fora", a partir de urn contexto mais amplo. No texto que se segue, procuro explorar este argumento nas extensoesda nocao de dimensiio . a mesrno tipo de abordagem sera feito, num pr6ximo trabalho, para as nocees de metr ica e topologia e suas conexoes com a nocao de dimensao.

Dtm ensae

A palavra dlmensao tern varies significados na fala cornum e em diferentes expressoes tecnicas. A forrnaliz acao dest~ conceito em .maternatica abstrai a nocao de grau de liberdade., implfcita ~m vari as atividades de nos sa cotidiano: o movimento de urn trem esta restrito a uma d imens ao, 0 de urn carro 'a duas e 0 de urn aviao a tres. Se 0 tempo tarnbern for, consideradc, terernos uma dirnensao a mais. Esta Iormalizacao. como e feita atualmente, parte de estruturas no espaco n-dimensional (n-coordenadas de mimeros reais) 0 que, em',- ultima analise, remete a Descartes. Mas a irnportancl a da abstracao deste conceito na descricao de fen6menos e na cornparacao do que ocorre . em diferentes dirnensces ja aparece de forma explfcita nos textos gregos, Como' assinala Banchoff (1991), no setirno li vro da Republica"de Platao, S6crates pondera num di alogo com Glauco que, para estudar as,tronomia, deve-se primeiro estudar numeros, depoi s geometria plana, depois geometri a s61ida e, s,6 entao, ,ponsiderar os movimentos no ceu.

'Es ta hierarq u i za9ao de d i mensdes e respei tad a por Euclides pois objetos tridimensionais s6 sao estudados no Livro 11' dos Elernenlos e as definicoes pressupoern urna ordern inclusiva e se utilizam da negacao: Ponto e aquil o que

114

A concepcao de e spaco em matcrmu i cu ...

nao tem partes; Linha e comprimento sem Iargura: Supcrffj cic C 0 que tern sornente comprimento e largura; S61ido 6 0 ] que tern comprirnento, largura e profundidade (Kline, 1990).

I, ISIO nao quer djzer que os gregos se restringissem sempre a ordenacao de di mensao: - cur vas eram concebidas como ~ intersecao de superficies ou trajet6rias ci nernaticas e havia ~ uma grande pe rcepcao da imporrancia da dimensao e da J analogia ao sugerir a exren sao de resultados da geometria

plana para a s6lida e vice-versa. Mas 0 prolongamento destas di scu ssoes a urn contexte que abrangesse quatro ou mais dirnensoes 56 ocorre a partir do iruclo do secu lo pass ado. A de scoberta de geornetrias nao- euclidianas (planas) possibilita a abertura para 0 advento de outras geometrias; mesmo as geornetrias plana e s61ida passam a ser vistas como o corneco de uma sequencia de geometrias de dirnens o es cada vez mais altas (Gauss e Riemann).

Curiosamen Ie, tanto os model os para geornetrias naoeuclidianas (como 0 da pseudo-es(era proposto pelo maternatico Eugenio Beltrami em 1868). como a visualizaciio de objetos n-dimensionais sao bern posteriores a formahz ac ao destas teorias (Costa, 1990). Urn livro que e urn marco na d iscus s ao da percep ciio de dimensoes rnais altas e Flatland - de E. Abbot, escrito em 1884 (Abbot, 1993). No livro, que tarnbern e lima satiru social, A. Square, UIll quadrado vivendo nu m mundoplano, tcnta conceber lim e spaco tridimensional. Esta inspirada merafora tem sido amp li ada em varios outros textos na prop osicao de outros "modelos" de universe (Weeks, 1986).

11 <;

Rep r cs curacfie s do espaco

I'\, /
,~ "
\
/ ~ (:I)

(b)

Figura 1 • Rcprcscnl~~~o em pcrspectlvn do cubo rrtdlmcusionnlc 110 cube quadridimcns icnal

,

A descriyao em coordenhdas cartesianas -de ·objetos no espaco n-dimensional (RA) pode ser simples: ~ Por cxemplo, o conjunto das quadruplas (Xl' Xl. Xl' x4) de numerus reais que satisfazem a condicac - xy + xi + X3 + xa ~ a2 IS urna (hiper)-esfera no espaco W, de centro (O,O,O,tJ) e raio Q. A condicao: 0 5: Xi s I, i=1,2,3,4, caracteriza um cubo 4-dimensional (hipercub o) que tern 16 vertices (qu adrup l as que tern todas as coordcnadas iguais a a ou 1: (0,0,0.0), (1,0,0,0). etc., 32 arestas (quadruplas que tem 3 das coordenadas iguais a ° au 1: (x1,O,O,O); (XI' 1 ,0,0); etc" 24 faces bidimensionais (quadruplas que tern 2 das coordenadas a ou 1: (Xl' Xl, 0,0); (x., 0, X2, 1); etc., e 8 faces tridi mensionais (quadruplas que tern uma -das coordenadas igual a 0 ou 1: (Xl' X2' XJ,O); (XI' x2' x3• 1); etc .. Urna represe ntacso deste hipercubo em perspectiva, em analogia com 0 cubo tridimensional (Figura l-a), e feita na Figura l-b. Esta descrir;ao cartesiana esteude-s e para cubos n-dimens ionais. A Figura 2, extraida de Banchoff (1991), ilusLra 0 processo

116

A conccpcao de espaco em matemat ica ...

de g er acfio de urn cubo It-dimensional a partir de urn movimento de cubo da dirnensao precedente.

Figura 2· An~logos 0 cubes em qunlquer dimenslio podem ser gerados, movendo-se 0 cubo da dimenslio precedente numa dirc~50 perpendicular

o advento dos computadores e 0 aperfe icoarnento de seus recursos graficcs tern possibilitado, em anos recentes, alern de u ma analise mais refinada de objetos tridimensionais com inrimeras ap licacoes, a" visualizacao de objetos em dirnensao mais alta atraves de cortes em movimento. Particularmente, na area de g eometria, a util iz acao destes recursos tern-so constitufdo em um laborat6rio de testes e simulacaes e em ferramenta poderosa no estabelecimento de novas conjecturas.

Como contr aponto, cabe aqui observar que a percepcao de dirnensoes mais altas nem sempre e "visual". Uma descricao

, simplificada da d infirnica de uma bola de futebol requer 0 conhecimento. num determinado instante, de 10 vari avei s: tres referentes a sua p os icao no espaco, tres a sua velocidade, duas a seu eixo de rotacao e du as referentes a variaca o deste. Certamente, a apreensao destas variaveis (dimensoes), que determi narn 0 movimento por urn jogador, nao depende de nenhuma representacao ou visualiz acao da dinarnic a no espaco RIO.

117

Repre s cnt acdc s do cspuco

A co nccpcao de cs P::H;O c In materna t ica."

Figura 4 - Seis passes na cria~Ao do c onjunto de Si er pinski

Dimensfies .Fr aclonartas: Fractais

Urn novo upo de gearnetria desperta grande interesse par suas aplica<;:oes.e desenvolve-se com grande intensidade a partir de 1970 (0 trabalho de B. Mandelbrot e urn marco). E

I, •

a geometriados 'fractais, associada ao que chamamos caos

deterjninfstico I e q~e tern sido utilizada para descrever montanhas, .mivense galaxtas e fenomenos metereo16gicos. Subjacente a esta geometria, esta a ideia de dirnensao fraclonaria, que ja aparece em trabalhos do final do seculo passado e intcio deste seculo, como as de H. Smith, G. Cantor e H. Hausdorff (Stewart, 1990).

Importantes exemplos de fractais sao construfdos par processes deauto semelhanca, como as conjuntos de Cantor. de 1875 (Figura 3), de Sierpinski (Figura 4) e 0 floco de

ne Y) ~e H: Kock, de 1904 (Figura 5) _ 'I

"

j

a

~
._ - - -
•• • • • • • •
.. ,II .. II II II .. ..
011' nI UI II lin III UII Kn
., r
UU .111 . III III un UI III DB
1111 IIII .. II hi III till II •
I
. ,II' •

II

119

Figura 3 - O' ~~nj~nto de Cantor 6 obrido por urn processo de supressao do ierco do meio de scgrnentos

Figurll S • ElaplI.s na construcao do Iloco de neve de Koch

118

Rep re sent aco es do esp aco

Observando , por exemplo, estes dois ultimos conjuntos, vemos que eles sao mais "crespos" e "enchem" mais 0 plano do que curvas, mas nao preenchem uma regiao de forma a que possamos, detectar a area. A ideia de uma di mensae interrnediaria entre urn e dois faz sentido.

A dimensiio fractal au dirnensao de Hausdorff-Besicovitch e definida de modo a captar esta ideia e tern a valor conhecido das dimensdes inteiras nos espacos usuais. Para uma classe grande de fractais, esta dirnensuo e tambern a dimensao de similaridade (Mandelbrot, 1992). Ao ampliarmos urn quadrado par urn [ator de escala k '(de forma que a distancia entre dois pontes esteja multiplicada por k), reproduziretnos k2 c6pias do original; ao arnp.liarmos urn cuba n~dimensional'" por urn Iator de esca la k, reproduziremos kn c6pias deste cubo. Note que, ao dobrarnos a Figura de Sierpinski, obtemos 3 e6pias do original.' A dimensao n desta figura sera, entao, tal que 2"=3, au seja, 11= log 3 I log ,2 1",' 11,58. 0 mesmo tipo de analise nos leva a inferir que, para oconjunto de Cantor, a dirnensao e log 2 I log 3 • O,'631,"'e para 0 'f'loco de neve de Koch e log 4 I log

3 to 1,262. ": l";~ "

, .

, . .~ I~ I' t ' , • ;' I

Estendemos',' assim, 0 fato de que as figu ras ampliadas de

I Ij:lr'~

.um fator de escala ~ terao suns medidas de comprimento,

area e volumetarnpliadas respecti vamente de k, k2 e k3, ou seja, kdhn1!"dO vezes, colocando novas luzes sobre a esseucia da no~ao de dirnensao.

Uma observacao interessante 6 a de que estes exemplos iniciais de fractais foram inventados nlio com 0 prop6sito aeima, e sim . para mostrar a limiracao do formalismo matematico; e seus autores nao tinharn, entao, a menor ideia

,_ " ,! ~ • ,I , •

120

A couce pcao lie cspaco em rnatcmaric a .. ,

1

1

~

I

"

i

I

I

j

"

de que eles viriam a ser utilizados e seriam a base inic i al de urna teoria bastante adequada a simu lacao de certo s fen6menos d a natureza.

Nota: Agr adeco bas prof'e ssores Eduardo Sebastiani c Maria Alice Grall pe la crftica e sugestce s.

'1 J l'

~

Ref'cr snclus bibliognHicas

,ABBOT, E. A. Farland: a romance of mall)' dimensions, I', pubticacao 1884. Tr aducao em portugues, Lisboa, Editor a Grad iva, 1993.

BANCHOFF, T. P. Beyond the Third Dimension. Nova lorque, Scienti fic American Library, W. H. Freeman & Co, 1991.

COSTA, S. e SANTOS, S .• Ge'ometrias n50 Euclidianas. Ciencia Hoje, Vol. II, N° 65, Agosto de 1990.

KLINE, M. Mathematical Thought from Ancient to Modei'll Times, Oxford University Press, 1990:,

MANDELB ROT, B. Fractals - A Geometry of nature, em Tile New Scientist Guide to Chaos. Londres, Penguin Books, 1992.

STEWART, 1. Does God PIa), Dice? Londrcs, Penguin Books, 1990.

WEEKS, 1. Tile Sh ape of Space. Nova Iorquc, North-Holland, 1986.

121