Capa

Um breve panorama histrico

da geometria
Claudio Gorodski

tein. Desde ento, a geometria conheceu vasta

expanso em diversas direes, e continua a influenciar profundamente nossa viso do espao

IME/USP

fsico e do universo.

(...) il voler tratar le quistioni naturali senza geometria un

tentar di fare quello che impossibile ad esser fatto.
[G. Galilei, Dialogo, giornata seconda, 1632]

ste um breve texto apresentando alguns aspectos

do desenvolvimento da geometria desde a Anti-

guidade at os tempos modernos. Com ele, no pretendemos de modo algum escrever uma obra exaustiva

Por volta do ano 300 antes da era comum, Eu-

sobre o assunto, mas to somente identificar algumas

clides escreveu os Elementos, obra que sinteti-

poucas linhas histricas importantes na evoluo da

zava toda a geometria conhecida at ento, sis-

geometria que, na nossa opinio, estendem-se atravs

tematizada atravs do mtodo lgico-dedutivo, e

dos tempos. claro que a escolha dessas linhas parti-

que se tornaria o livro-texto de maior sucesso em

culares est condicionada aos interesses e viso pessoal

toda a histria das cincias. Mesmo assim, talvez

do autor, e tambm a questes de brevidade do texto.

por sua complexidade relativa de formulao e

Nesse sentido, o leitor atento certamente sentir a omis-

insuficiente apelo intuitivo, o Postulado V suscitou

so de reas e nomes importantes da geometria. Enfati-

controvrsias ao longo de sucessivas geraes de

zamos ainda que o autor no historiador, mas um ma-

gemetras, os quais tentaram deduzi-lo dos de-

temtico profissional trabalhando na rea de geometria

mais axiomas e portanto prov-lo como um teo-

diferencial. No que diz respeito matemtica antiga

rema. O resultado desse esforo continuado, que

em especial, os relatos de maneira geral, e includo o

durou cerca de dois mil anos, culminou com a

nosso esto em grande parte baseados mais em tra-

descoberta das geometrias no euclidianas por

dies persistentes do que em documentos histricos,

Gauss, Bolyai e Lobachevski no sculo XIX. Em um

includa a tambm uma certa dose de julgamento pes-

desenvolvimento paralelo, a geometria analtica

soal. Sinta-se o leitor encorajado a confrontar nossa ex-

de Fermat e Descartes e o clculo infinitesimal de

posio das partes antiga e moderna com outros exce-

Newton e Leibniz forneceram as ferramentas ne-

lentes textos de histria disponveis na literatura.

cessrias para o surgimento da geometria diferen-

As linhas histricas a que nos referimos esto rela-

cial, notadamente pelas mos de Euler e Gauss.

tivamente descritas no resumo deste texto, mas gosta-

O passo seguinte foi dado por Riemann, que uni-

ramos de enfatiz-las ainda um pouco mais. A ex-

ficou as geometrias euclidianas e no euclidia-

traordinria percepo de Euclides na escolha de seus

nas no contexto da geometria diferencial sob a

cinco postulados bsicos no primeiro livro dos Elemen-

gide de um novo conceito de espao. A influn-

tos pode ser vista como resultado de um processo con-

cia desse trabalho sobre as cincias fsicas resul-

tnuo de aperfeioamento da geometria grega. Em es-

tou na celebrada teoria da relatividade de Eins-

pecial, seu quinto postulado retm a natureza essencial

14

Matemtica Universitria

{Capa}

da geometria euclidiana plana, o que se tornaria claro

cena certos elementos tericos, os objetivos podem ter

com a sensacional descoberta das geometrias no eucli-

sido facilitar a tcnica e aliviar as dificuldades compu-

dianas por Gauss, Lobachevski e Bolyai. A sntese entre

tacionais mais do que melhorar a compreenso, pois as

essas geometrias e a geometria intrnseca de superfcies

questes de princpios lgicos e justificativas nunca so

seria sutilmente sugerida pelo gnio de Gauss, mas rea-

mencionadas. Alm disso, o que talvez ainda mais

lizada de facto apenas com a abstrao completa da ideia

grave, nota-se a ausncia de distines claramente mar-

de geometria intrnseca, promulgada por Riemann atra-

cadas entre resultados exatos e aproximados.

vs da introduo de uma nova noo de variedade. Os

mtodos sintticos popularizados por Gromov podem
ser interpretados como um glorioso retorno da geometria s suas origens.

Ao contrrio dos povos que os precederam, que mormente tomavam a geometria como um conjunto de re-

gras empricas e teis, que eram aplicadas a casos particulares e cujas justificativas eram aparentemente ne-

Apesar do historiador grego Herdoto ter relatado

gligenciadas, a atitude dos gregos perante essa disci-

que a geometria nasceu no antigo Egito, os registros

plina seria de especular e buscar explicaes racionais

mais antigos de que dispomos de atividades humanas

para seus resultados. O processo de transio entre vi-

nessa rea parecem remontar poca das antigas civili-

ses to diversas deve ter sido lento e gradual. sa-

zaes da Mesopotmia. Dignos de nota so alguns ta-

bido que vrios dentre os principais pensadores gregos

bletes de argila datados do perodo 19001600 AEC, du-

visitaram antigos centros de conhecimento, tais como

rante o antigo imprio babilnico, que contm textos e

o Egito e a Babilnia, e l adquiriram conhecimentos

diagramas indicando alguma familiaridade deste povo

sobre astronomia e matemtica. Pouca certeza se tem

com instncias do Teorema de Pitgoras. Os babilnios,

sobre a vida e a obra desses pioneiros. Tales de Mi-

os egpcios e outros povos da Antiguidade que desen-

leto (c. 624AEC c. 547AEC) considerado por fon-

volveram formas primitivas de geometria, tais como

tes antigas como sendo o introdutor da geometria na

hindus, chineses e japoneses, pareciam estar em geral

Grcia e o primeiro homem da histria a quem foram

motivados por necessidades prticas de medies geo-

atribudas descobertas matemticas especficas. Pit-

mtricas, como por exemplo mensurao e demarcao

goras de Samos (c. 569AEC c. 475AEC), em suas an-

de terras e construo de templos e altares, mas pode-

danas, parece ter encontrado Tales e sofrido influncia

riam tambm estar parcialmente motivados por senti-

dele. Conta-se que, mais tarde, Pitgoras teria fundado

mentos estticos em relao a configuraes simtricas

uma irmandade secreta em Croton, uma colnia grega

e ordenadas. Seja como for, nos papiros, tabletes e ou-

no sul da Itlia, cuja importncia avaliada pelas ideias

tros documentos que essas civilizaes deixaram, en-

que difundiu. Os membros dessa irmandade seguiam

contramos algumas importantes relaes geomtricas,

normas de conduta rgidas e acreditavam em doutri-

noes bsicas sobre semelhana de tringulos e frmu-

nas msticas, mas tambm aprendiam filosofia, mate-

las para reas ou volumes de vrias figuras geomtri-

mtica e cincias naturais. Mantinham suas descober-

cas comuns, demonstrando por vezes alto nvel de ha-

tas em segredo e praticavam o comunalismo, de modo

bilidade tcnica; entretanto esses documentos so co-

que nos s vezes difcil distinguir o trabalho de Pit-

lees de casos especiais e problemas especficos, sem

goras daquele de seus seguidores. Pitgoras buscava na

formulaes gerais, e pode-se indagar se essas civiliza-

aritmtica e na geometria a chave para a compreenso

es antigas realmente percebiam os princpios unifica-

do universo e, devido s suas convices, frequente-

dores subjacentes. Mesmo quando parecem entrar em

mente citado como sendo o primeiro matemtico puro

Matemtica Universitria

15

{Capa}

da histria. Plato (c. 427AEC c. 347AEC) nasceu em

dizendo que as verdades matemticas tm uma exis-

Atenas, mas travou contato com a escola pitagrica em

tncia independente, em algum sentido, e so apenas

suas viagens. De volta a Atenas, por volta de 389 AEC

pouco a pouco descobertas pelos matemticos. Por

fundou sua clebre Academia (sobre cuja porta, segundo

outro lado, a viso oposta diria que a matemtica in-

uma lenda, inscreveu: Que ao ignorante em geometria

ventada pelas nossas mentes. Parece-nos verdadeiro

seja proibido entrar aqui) e dedicou o resto de sua vida

dizer que, ao longo da histria, a viso platnica da ma-

a escrever e ensinar. Fez pouco trabalho original em

temtica tem sido adotada pela maioria silenciosa dos

matemtica, mas contribuiu com profundos aperfeioa-

matemticos no curso de seu trabalho dirio, por fora

mentos na lgica e nos mtodos usados em geometria.

da natureza da disciplina em si, mesmo que implicita-

A ideia grega de usar a matemtica para compreender os mistrios do universo dependia, para dar
certo, de uma maneira de separar a assero verdadeira
daquela meramente hipottica. Em outras palavras,
necessitava-se de uma noo de demonstrao matemtica. A percepo desse fato provavelmente a primeira
descoberta importante na histria da cincia. A Tales e
Pitgoras credita-se a introduo dessa noo. Mas o
que a verdade nesse contexto? Plato apresentou
uma resposta a essa pergunta explicando que tanto as
noes como as proposies matemticas no se referem a objetos do mundo fsico, mas a certas entidades
ideais que habitam um mundo diferente do mundo fsico. Por exemplo, uma reta que traamos em uma folha de papel representa apenas aproximadamente uma
reta que vive em um mundo platnico de entidades ideais. O mesmo se aplica s proposies matemticas verdadeiras. No se trata aqui de um conceito ficcional,
produto de nossa imaginao, ou ainda de um conceito
esotrico, mas de uma ideia extraordinria cujo significado pode ser colocado da forma seguinte. Em primeiro
lugar, ele nos alerta para distinguirmos as noes matemticas precisas das aproximaes que encontramos
no mundo fsico. Mais interessante ainda identificar a
existncia do mundo platnico das entidades matemticas com a objetividade da verdade matemtica. Em outras palavras, as proposies matemticas que habitam
o mundo platnico, ditas verdadeiras, esto submetidas
a um padro de objetividade externo que no depende

mente e inconscientemente.
Euclides (c. 325AEC c. 265AEC) provavelmente estudou na Academia de Plato e foi o fundador da vigorosa escola matemtica de Alexandria, numa poca em
que Atenas declinava como fora poltica. Sua obra mxima, os Elementos consiste de treze volumes que contm a maior parte da matemtica conhecida na poca.
Trata-se de um texto sistemtico, organizado segundo
os critrios de rigor lgico-dedutivo, mas tambm de
experincia intuitiva. O volume I trata de geometria
plana e inicia-se com uma srie de definies e axiomas. Finalmente, h uma lista de proposies, cada
uma delas incluindo um enunciado imediatamente seguido de uma demonstrao. Cada afirmao de uma
demonstrao logicamente justificada com base em alguma definio, axioma, ou proposio anteriormente
demonstrada, mas h tambm algumas afirmaes cujas justificativas apoiam-se na intuio sobre o espao
fsico. Dentre os axiomas, destacam-se os cinco postulados que transcrevemos em linguagem moderna:
1. Existe um nico segmento de reta conectando dois
pontos dados.
2. Todo segmento de reta pode ser estendido indefinidamente em ambas as direes.
3. Existe um crculo com quaisquer centro e raio dados.
4. Todos os ngulos retos so iguais entre si.

de nossas mentes, opinies ou culturas. claro que isso

5. Se uma reta corta outras duas retas formando n-

se aplica igualmente s proposies que ainda no so

gulos internos do mesmo lado cuja soma me-

conhecidas por ns. Uma viso simplista explicaria isso

nor do que dois ngulos retos, ento as duas re-

16

Matemtica Universitria

{Capa}

tas, se suficientemente prolongadas, encontrar-se-

Apesar de suas imperfeies, nenhum outro tratado

o do lado em que esto os ngulos cuja soma

matemtico conheceu a mesma fama que os Elemen-

menor do que dois ngulos retos.

tos. At a poca moderna, ele representou no apenas

Uma possvel anlise da relevncia desses postulados

a que se segue. O primeiro expressa a natureza bsica do segmento de reta. Lembrando que, na viso
dos gregos, a noo de grandeza nos dada em termos da distncia entre dois pontos no espao fsico,
este postulado permite identificar essa distncia com
a medida do correspondente segmento de reta. O segundo postulado expressa o fato do plano ser ilimitado,

a fonte primria de todo o conhecimento geomtrico,

mas tambm um modelo a ser seguido em toda a pesquisa matemtica e, de fato, em todo conhecimento racional. Desde a primeira edio impressa de 1482, mais
de mil outras edies foram publicadas e, segundo van
der Waerden1 , depois da Bblia, os Elementos so possivelmente o livro mais traduzido, publicado e estudado
em todo o mundo ocidental.

e o terceiro, de no conter buracos. O quarto postu-

lado contm o germe da ideia de congruncia, segundo

a qual uma figura no plano pode ter a mesma forma

Um captulo crucial na histria da geometria, que

geomtrica do que outra figura em outra posio do

de fato representa o fio condutor que liga a geome-

plano, fato que pode ser concretizado movendo-se ri-

tria grega geometria diferencial moderna, a hist-

gidamente uma das figuras at superp-la exatamente

ria do quinto postulado de Euclides, tambm conhe-

sobre a outra. Em linguagem moderna, os quatros pri-

cido como postulado das paralelas. Com a queda das

meiros postulados muito vagamente sintetizam a ideia

antigas civilizaes de Atenas e Roma e o declnio cul-

do plano euclidiano como sendo um espao mtrico ili-

tural do Ocidente, os centros de saber e conhecimento

mitado, simplesmente conexo, homogneo e isotrpico.

deslocaram-se para o Oriente nas cortes do califado de

Voltemo-nos ao quinto postulado. J primeira vista,

Bagd. O primeiro matemtico grego a ter sua obra tra-

nota-se que a natureza de seu enunciado diferente da

duzida para o rabe foi provavelmente Euclides. Exis-

dos precedentes. Segundo a definio 23 do volume I

tem tradues para o rabe de trabalhos feitos por es-

dos Elementos, retas paralelas so retas que, estando

tudiosos bizantinos tentando provar o quinto postu-

no mesmo plano e sendo prolongadas em ambas as di-

lado, e sabemos tambm de diversos estudiosos que

rees, no se encontram, de modo que ele exatamente

viveram no Oriente medieval e escreveram coment-

descreve uma situao em que duas retas no so pa-

rios sobre os Elementos com semelhantes tentativas, no-

ralelas. Ainda na poca dos gregos, algumas dvidas

tadamente Omar Khayyam (10481122). As primeiras

foram levantadas quanto colocao desse enunciado

tentativas que conhecemos de provar o quinto postu-

como um postulado e no como uma proposio pas-

lado na Europa medieval datam dos sculos XIII e XIV,

svel de demonstrao. Dentre as tentativas dos gregos

e foram empreendidas pelo polons Vitello (c. 1230

de demonstr-lo, destacam-se as de Claudio Ptolomeu

aps 1275), pelo matemtico, astrnomo e exegeta b-

e Proclo. Observa-se que, nessas e em muitas outras in-

blico judeu Levi ben Gerson (12881344), que viveu no

contveis tentativas frustradas de demonstrar o quinto

sul da Frana e escrevia em hebraico, e por um certo

postulado a partir dos outros, assume-se explicita-

Alfonso (Alfonso de Valladolid? (12701346)), que vi-

mente ou implicitamente algo mais que acaba sendo

veu na Espanha e escrevia em ladino. O primeiro tra-

equivalente ao prprio. O resultado desse esforo con-

tado em latim dedicado teoria das paralelas na Europa

tinuado, que durou cerca de dois mil anos, produziu

medieval foi escrito por Federik Bartolacic Grisogono

um grande nmero de afirmaes equivalentes, mas o

quinto postulado resistiu a todas as tentativas.

Euclid. Encyclopdia Britannica Online. 2009

www.britannica.com/EBchecked/topic/194880/Euclid .

Matemtica Universitria

17

{Capa}

(14721538), nascido em Zadar, atual Crocia, e que tra-

do ponto de vista estritamente geomtrico foi notvel e

balhava na Itlia. John Playfair (17481819), professor

exerceu uma influncia importante sobre vrios mate-

em Edimburgo, publicou em 1795 uma edio de parte

mticos de sua poca.

dos Elementos em que substitua o quinto postulado por

outro que julgava mais apropriado: Por um ponto fora
de uma reta dada pode-se traar uma nica reta paralela
reta dada. interessante notar que esse postulado j havia sido considerado anteriormente por Proclo, como
o prprio Playfair apontou, mas normalmente associado ao nome de Playfair.

Os primeiros que compreenderam que o quinto postulado de Euclides era indemonstrvel e que se poderia, a partir de sua negao, construir geometrias novas e totalmente coerentes foram Gauss, Lobachevski e
Bolyai, que chegaram s suas concluses independentemente uns dos outros. curioso notar que Gauss nunca
publicou seus trabalhos nessa rea, e os outros dois au-

A partir do sculo XVI, diversos autores europeus es-

tores trabalhavam afastados dos centros matemticos

creveram tratados sobre a teoria das paralelas, muitas

renomados da poca, o que dificultou a circulao des-

vezes incluindo pretensas demonstraes do quinto

sas ideias. Nikolai Ivanovitch Lobachevski (17921856)

postulado. No entanto, com o padre jesuta Girolamo

estudou na Universidade de Kazan, onde mais tarde

Saccheri (16671733) e Johann Heinrich Lambert (1728

tornar-se-ia professor e, nos ltimos anos de sua vida,

1777) inicia-se uma nova poca na histria dessa teo-

reitor. Em 1829, publicou suas ideias em um tratado em

ria. Ainda que hipteses contrrias s de Euclides j

russo intitulado Sobre os princpios da geometria. Trata-se

houvessem sido consideradas pelos matemticos ra-

da primeira obra sobre geometria no euclidiana. No

bes dos sculos XI e XII, eles foram os primeiros a de-

entanto, no foi bem recebida e menos ainda compre-

senvolverem mais amplamente as consequncias dessa

endida pela comunidade cientfica russa. Apenas com

hipteses para a teoria das paralelas, mesmo que seu

a publicao em alemo de Pesquisas geomtricas sobre a

fim ltimo fosse o de encontrar uma contradio e jus-

teoria das linhas paralelas, em 1840, Gauss tomaria conhe-

tificar Euclides. Destarte, chegaram a um certo nmero

cimento de suas ideias e, com a traduo para o francs

de concluses levando a uma geometria diferente da

desse trabalho, em 1866, elas tornar-se-iam acessveis a

euclidiana, e cuja coerncia lgica nunca de fato ficou

um grande nmero de matemticos interessados na te-

questionada. To forte era o poder da tradio, no en-

oria das paralelas. Jnos Bolyai (18021860) era filho de

tanto, que esses autores atingiram um ponto em que

Farkas Bolyai, este um colega de estudos de Gauss em

erraram e enganaram a si mesmos declarando que ha-

Gttingen e autor de vrias demonstraes do quinto

viam encontrado uma contradio. Lambert, em par-

postulado. Influenciado por seu pai, interessou-se pela

ticular, aparentemente um dos primeiros a cogitar

teoria das paralelas e redigiu uma breve apresentao

que qualquer corpo de hipteses cujas consequncias

de suas descobertas em latim, que foi publicada como

no do lugar a uma contradio representa um poss-

apndice de um livro de seu pai, em 1831. Em seguida,

vel sistema geomtrico, mas no desenvolve essa ideia

Farkas enviou uma cpia da obra a Gauss, ansioso por

e no d o passo decisivo que seria reconhecer que o

sua opinio. A resposta no tardou e dessatisfez bas-

quinto postulado indemonstrvel. O grande mate-

tante pai e filho. Na carta, Gauss escreveu que j es-

mtico francs Adrien-Marie Legendre (17521833), ao

taria familiarizado com os resultados de Jnos havia

longo de quarenta anos de estudo sobre o problema,

cerca de 30 ou 35 anos uma declarao, em certa me-

tambm realizou diversas demonstraes. Ainda que

dida, exagerada. Foi nesse contexto tambm que Gauss

do ponto de vista filosfico seu trabalho tenha sido

usou a expressao ostentosa que ele nao deveria exal-

menos inovador do que os de Saccheri e Lambert por

tar o trabalho de Jnos, pois, segundo Gauss, exalt-lo

nunca considerar hipteses contrrias s de Euclides,

seria exaltar a si mesmo. Entretanto, verdade que,

18

Matemtica Universitria

{Capa}

j a partir de 1816, em sua correspondncia mantida

maneceram um tanto marginais por vrias dcadas an-

com ex-pupilos e amigos interessados na questo das

tes de serem completamente integradas. Para entender

paralelas, Gauss sustentava a inutilidade das tentati-

esse processo, interessante interrompermos esse fluxo

vas de demonstrao do quinto postulado e que seria

de ideias e retornarmos um pouco no tempo a fim de

possvel obter um sistema geomtrico novo e perfeita-

discutirmos um outro aspecto importante da geometria

mente coerente apoiando-se sobre uma hiptese contr-

que estava emergindo...

ria quela de Euclides. Ele ainda afirmava vrias vezes

*

que uma tal geometria poderia corresponder geometria de nosso espao. Aqui ele aparentemente estava
menos interessado na questo filosfica da independncia do postulado das paralelas do que na natureza geomtrica verdadeira do espao fsico. Tal interpretao
da questo era certamente ousada em vista da doutrina
kantiana de considerar o conceito euclidiano de espao
como a priori, a saber, um componente essencial da estrutura de nossa mente. Segundo Gauss, a aritmtica
era a priori, mas muito diferentemente de nosso ponto
de vista atual a geometria estava ligada mecnica
e consistia-se numa cincia experimental de forte teor
intuitivo. Assim, a questo da natureza geomtrica do
espao fsico no deveria ser decidida a priori, mas experimentalmente.

A histria da geometria diferencial inicia-se com o estudo de curvas. Noes como retas tangentes a curvas
j eram encontradas entre os gregos Euclides, Arquimedes e Apolnio. No sculo XVII, os franceses Pierre de
Fermat (16011665) e Ren Descartes (15961650) fundaram a moderna geometria analtica, enquanto que o
alemo Gottfried von Leibniz (16461716) e o ingls Sir
Isaac Newton (16431727) inventaram os algoritmos do
clculo infinitesimal, os quais permitiriam o estudo de
curvas e superfcies atravs de suas propriedades diferenciais.
A curvatura de uma curva plana em um ponto da
curva a taxa de variao naquele ponto da direo
tangente curva em relao ao comprimento de arco.

Para os gregos seguidores de Plato, o espao fsico

Essa curvatura tambm o inverso do raio do crculo

era uma entidade absoluta, a realizao direta de um

osculador curva naquele ponto. Aqui o crculo oscula-

objeto platnico. A geometria euclidiana era a cincia

dor em um ponto P o limite dos crculos determinados

do espao fsico e, portanto, a nica geometria possvel

por trs pontos sobre a curva quando eles aproximam-

e certamente a verdadeira, e constitua-se do estudo

se de P. Esses conceitos j eram conhecidos por New-

de propriedades das figuras geomtricas mergulhadas

ton e Leibniz, mas o precursor do assunto talvez tenha

nesse espao. Este ponto de vista perdurou essencial-

sido Christian Huygens (16291695), que ainda no co-

mente at o sculo XIX. Com as descobertas de Gauss,

nhecia o clculo, mas que em 1673 publicou um traba-

Lobachevski e Bolyai, no apenas a geometria euclidi-

lho sobre curvas planas introduzindo os conceitos de

ana deixou de ser a nica possvel, mas tambm deixou

involuta e evoluta, curiosamente motivado por seu inte-

de ser necessariamente aquela verdadeira. Eventu-

resse em pndulos e relgios. Durante o sculo XVIII,

almente, o prprio espao passou a ser uma entidade

desenvolver-se-iam os fundamentos da teoria de cur-

passvel de estudo geomtrico. Terminou assim uma

vas e superfcies no espao tridimensional. Num tra-

poca na histria da matemtica que fora inaugurada

balho de 1731, Alexis Clairaut (17131765) estudou tais

dois mil anos antes, originando-se uma transformao

curvas mas limitou-se a propriedades de primeira or-

profunda no apenas do pensamento matemtico, mas

dem. Mais tarde, em 1775, Gaspard Monge (17461818)

tambm do pensamento terico em geral, que influen-

aprofundou-se no assunto e publicou um artigo em que

ciaria nossas concepes do universo e do mundo f-

essencialmente considerava os conceitos de curvatura e

sico. Apesar disso, as geometrias no euclidianas per-

toro de uma curva espacial, mas coube a Michel-Ange

Matemtica Universitria

19

{Capa}

Lancret (17741807), um de seus pupilos, fornecer a ex-

o natural daquele de seu mestre. Seu livro Dvelop-

presso analtica explcita de tais invariantes.

pements de gomtrie, de 1813, contm a introduo das

Uma transio natural da teoria de curvas para a teoria de superfcies encontra-se no problema geodsico, i.e. o
problema de encontrar o caminho mais curto entre dois

noes de linhas conjugadas e assintticas de uma superfcie, bem como a inveno do que se costuma chamar
de indicatriz de Dupin.

pontos de uma superfcie. Nunca ocorreu aos matem-

As reformas do sistema educacional francs realiza-

ticos do sculo XVIII a necessidade de mostrar a exis-

das por Napoleo a partir de 1802 faziam parte do mo-

tncia de um tal caminho, sendo que sua preocupa-

vimento para destruir as regras obscuras do Antigo Re-

o era apenas a de determinar a caracterizao geom-

gime. As universidades tornar-se-iam meritocrticas,

trica da curva que teria tal propriedade. O problema

permitindo a participao de alunos vindos de qual-

atraiu a ateno dos irmos Bernoulli, Jakob (1654

quer contexto social. Mas essas mesmas reformas tam-

1705) e Johann (16671748), que, dentre outros, forne-

bm visavam em grande parte formar uma classe de bu-

ceram ambos solues corretas. Suas contribuies es-

rocratas que pudesse governar o pas, bem como com-

to na base dos fundamentos do clculo de variaes.

prometer a educao e a cincia com a sociedade e os

O prdigo Leonhard Euler (17071783), cuja torrente

objetivos militares da Frana. Em 1815, um pouco de-

de descobertas dominou a matemtica durante a maior

pois da segunda abdicao do imperador Napoleo, o

parte do sculo XVIII, foi aluno de Johann Bernoulli.

jovem Augustin Louis Cauchy (17891857) tornou-se

Sua maior contribuio geometria diferencial, publi-

Professor da cole Polytechnique em Paris. Seu prin-

cada em 1760, talvez tenha sido o estudo da curvatura

cipal trabalho era lecionar o clculo infinitesimal e, in-

das sees planas de uma superfcie (uma bela apresen-

satisfeito com o modo como isso era feito na poca,

tao desse assunto foi tambm elaborada em 1776 pelo

revolucionou de maneira definitiva a apresentao do

menos conhecido engenheiro e general revolucionrio

assunto no clebre livro-texto Cours dAnalyse de 1821.

francs Jean Baptiste Marie Meusnier (17541793)). Em

Um pouco mais tarde, em 1826, publicou Leons sur

1772, Euler ocupou-se da questo de saber sob que con-

lapplication du calcul infinitsimal la gomtrie, em que

dies uma superfcie pode ser mapeada isometrica-

introduziu novos mtodos ao assunto, sistematizando

mente sobre um plano, como so os casos do cilindro

e esclarecendo diversos clculos feitos por seus prede-

e do cone. Ele descobriu que uma condio necessria

cessores. Em particular, precisou e refinou o trabalho de

que ela seja regrada, ou seja, folheada por retas. Uma

Monge sobre a curvatura e a toro de uma curva es-

de suas mais significativas observaes acerca da teoria

pacial, e chegou s frmulas, hoje conhecidas como de

de superfcies encontra-se num fragmento sem impor-

Frenet-Serret, que expressam o comportamento local da

tncia: Et quia per naturum superficierum quaelibet coordi-

curva em funo de e em relao a um sistema de

nata debet esse functio binarum variabilium. Esse o reco-

coordenadas mvel. Os teoremas de existncia e uni-

nhecimento do fato das coordenadas ( x, y, z) dos pon-

cidade de solues de equaes diferenciais ordinrias

tos de uma superfcie serem funes de duas variveis

devidos a Cauchy permitem mostrar que as funes e

independentes. Monge tambm dedicou-se teoria de

determinam completamente a curva a menos de um

superfcies, e escreveu um livro-texto em que introdu-

movimento rgido do espao. O trabalho de Cauchy

ziu o conceito de linhas de curvatura de uma superfcie

marca o final brilhante de um perodo definido na his-

e que uma bela apresentao do assunto, como ento

tria da geometria diferencial. Suas tcnicas eram belas,

conhecido. Monge era, de fato, um professor de talento,

mas tiveram de ceder espao ao gigante que viria dar o

e teve vrios pupilos. Dentre esses, destaca-se Charles

tom final ao assunto e obter teoremas at ento inima-

Dupin (17841873), cujo trabalho forma uma continua-

ginveis.

20

Matemtica Universitria

{Capa}

Por volta de 1818, Carl Friedrich Gauss (17771855),

mente pequenas ao redor do ponto:

rea( ( D ))
,
0 rea( D )

|K ( p)| = lim

a ento figura dominante no mundo matemtico, foi

onde D um disco de raio centrado em p. Para de-

chamado pelo governo de Hanover para supervisionar

cidir o sinal de K ( p), compara os sentidos de percursos

um levantamento topogrfico do reino, e vrios aspec-

de (D ) e D . Sobre o problema de calcular explici-

tos dessa tarefa, incluindo exaustivo trabalho de campo

tamente a curvatura, Gauss fornece uma frmula essen-

e tediosas triangulaes, ocuparam-no por vrios anos,

cialmente em termos do determinante da diferencial da

mas propiciaram o estmulo que o conduziu sua obra-

representao esfrica (essa diferencial o que conhe-

prima Disquisitiones generales circa superficies curvas, que

cemos como segunda forma fundamental), e uma frmula

foi completada em 1827 e publicada no ano seguinte.

em termos de E, F, G e suas derivadas at ordem 2 (hoje

Alm da geodesia terica, outra fonte de inspirao de

conhecida como equao de Gauss). Da segunda frmula

Gauss foram consideraes astronmicas, incluindo tri-

decorre ento o clebre theorema egregium, que afirma

gonometria esfrica, como ele mesmo escreveu.

ser a curvatura gaussiana um invariante intrnseco da

Nessa obra, Gauss lanou seu famoso e influente programa para a geometria diferencial intrnseca, a saber, o
estudo das propriedades geomtricas de uma superfcie que so independentes das vrias maneiras de
mergulh-la no espao tridimensional. Ele utiliza sistematicamente a representao paramtrica x = x (u, v),
y = y(u, v), z = z(u, v) introduzida por Euler, e define a
primeira forma fundamental ds2 = Edu2 + 2Fdudv + Gdv2
em termos de trs funes E, F e G de u e v, o que essencialmente determina as distncias ao longo da superfcie e assim define sua natureza essencial. As propriedades intrnsecas da superfcie so exatamente aquelas

superfce. Mencionemos que Euler e Olinde Rodrigues

(este, um outro pupilo de Monge) j haviam notado alguns desses conceitos e resultados, mas Gauss quem
percebe toda a sua importncia.
A ltima parte do Disqu. Gen. lida com as curvas que
minimizam distncia, ditas curvas geodsicas, na superfcie. Aqui o principal resultado que o excesso da soma
dos ngulos internos de um tringulo ABC (formado
por curvas geodsicas) em relao a dois ngulos retos
igual curvatura total do tringulo:
A + B + C

que podem ser expressas exclusivamente em termos da

= rea( (ABC ))
=

ABC

KdS.

primeira forma fundamental, tais como comprimentos,

Uma consequncia importante que a geometria das li-

ngulos e reas de figuras geomtricas construdas so-

nhas geodsicas da superfcie no euclidiana no caso

bre ela, e, em especial, as equaes das curvas geodsi-

em que a curvatura gaussiana no nula. Existe, assim,

cas. Suas construes astronmicas inspiram-no a de-

nas investigaes de Gauss, um paralelo entre a geome-

finir a representao esfrica de uma superfcie na esfera

tria intrnseca das superfcies e as geometrias no eucli-

unitria como sendo a aplicao que associa continua-

dianas, mas no claro o quanto e de que maneira cada

mente a cada ponto da primeira um vetor normal unit-

uma dessas linhas de pesquisa influenciou a outra.

rio. A curvatura total de uma regio da superfcie definida como sendo a rea da representao esfrica dessa

regio. Para definir a medida de curvatura K (ou curva-

Alguns destacados continuadores da obra de Gauss

tura gaussiana, como hoje conhecida) em um ponto p,

foram Carl Jacobi (18041851), Pierre Bonnet (1819

ele toma a razo entre a rea da representao esfrica

1892) e Ferdinand Minding (18061885). Jacobi come-

de uma regio em torno do ponto e a rea da prpria

ou a trabalhar em geometria a partir de 1836, sob in-

regio, e passa ao limite considerando regies infinita-

fluncia direta do trabalho de Gauss. Em 1838, obteve

Matemtica Universitria

21

{Capa}

um resultado importante de geometria intrnseca glo-

que aparecera em 1837 a traduo para o francs do ar-

bal no contexto de suas contribuies ao clculo de va-

tigo de Lobachevski Geometria imaginria, nenhum dos

riaes. O problema tratava de entender de que ma-

dois autores notou que essas relaes coincidiam com

neira uma geodsica que prolongada cessa de ser o

aquelas para tringulos da geometria no euclidiana

caminho mais curto entre dois pontos. Nesse artigo, ele

de Lobachevski. O primeiro matemtico a perceber tal

introduziu o conceito de ponto conjugado e deu uma res-

coincidncia foi Eugenio Beltrami (18351900), que con-

posta correta em termos de uma equao diferencial de

siderou o assunto em Saggio di interpretazione della geo-

segunda ordem.

metria non-Euclidea, em 1868. Beltrami mostrou que a

Em 1848, Bonnet generalizou o teorema de Gauss relativo curvatura total de um tringulo geodsico de
modo a obter uma frmula para a curvatura total de
qualquer regio simplesmente conexa de uma superfcie. Em outra contribuio importante teoria de superfcies, estabeleceu o que chamamos hoje em dia de
teorema fundamental de existncia e unicidade de superfcies. Os italianos Gaspare Mainardi (18001879) e Delfino Codazzi (18241873) j haviam derivado as equaes de compatibilidade entre os coeficientes da duas
formas fundamentais de uma superfcie, independentemente um do outro e respectivamente em 1856 e 1867.
Bonnet demonstrou em 1867 que essas equaes, juntamente com a equao de Gauss, so suficientes para que
haja uma superfcie com as formas fundamentais dadas, e tal superfcie fica ento unicamente determinada
a menos de um movimento rgido do espao. Menos
conhecido o fato do leto Karl Peterson (18281881),
que foi pupilo de Minding, ter chegado antes s equaes de Codazzi-Mainardi e ao teorema de Bonnet em
sua tese de doutoramento, que foi escrita em alemo em
1853 mas publicada somente em 1952 (em uma traduo para o russo).

geometria plana do matemtico russo e a geometria intrnseca de uma superfcie de curvatura constante negativa (a pseudoesfera) so (localmente) equivalentes, construindo assim o primeiro modelo concreto do plano de
Lobachevski e demonstrando por fim a consistncia da
geometria no euclidiana, o que promoveu a aceitao definitiva dessa geometria nos meios matemticos.
Por outro lado, essa aceitao tambm teve o efeito de
conscientizar os matemticos do alcance das deficincias dos Elementos, e de disseminar a percepo da necessidade de reconstruir os fundamentos da geometria
euclidiana em bases modernas, o que foi concretizado
principalmente pelas mos de Pasch, Peano e Hilbert
durante as ltimas duas dcadas do sculo XIX.
*

Em 1809, Wilhelm von Humboldt, o irmo mais velho do importante naturalista e explorador Alexander
von Humboldt, foi nomeado ministro da educao do
estado da Prssia e encabeou uma profunda reforma
do sistema educacional prussiano. Em oposio filosofia utilitarista pregada por Napoleo do outro lado
da fronteira, Humboldt era desfavorvel prtica da

Em 1839, Minding mostrou que, para duas super-

cincia como meio para atingir certos objetivos e de-

fcies de curvatura gaussiana constante, a igualdade

fendia um retorno tradio clssica, em que a busca

entre essas constantes uma condio suficiente para

do conhecimento era um fim em si mesmo. Sob seu

que as superfcies possam ser transformadas isometri-

comando, as universidades alems teriam novas dis-

camente uma sobre a outra. Em outro trabalho, no ano

ciplinas includas em seus currculos e deveriam pro-

seguinte, estabeleceu as relaes trigonomtricas de tri-

mover a pesquisa, alm da docncia. Em particular, os

ngulos geodsicos em superfcies de curvatura cons-

alunos seriam estimulados a estudar matemtica como

tante negativa. Apesar desse trabalho ter sido publi-

disciplina prpria, e no mais apenas como apoio s

cado no mesmo peridico (Journal du Crelle, cognome

demais cincias. O impacto na compreenso dos ma-

para Journal fr die reine und angewandte Mathematik) em

temticos sobre muitos aspectos de sua disciplina foi

22

Matemtica Universitria

{Capa}

grande, permitindo-lhes instituir uma nova linguagem,

tncias sobre a variedade (a variedade equipada com

mais abstrata do que a anterior.

tal mtrica chamada hoje em dia de variedade rieman-

nesse contexto que devemos entender a formao

matemtica do jovem Bernhard Riemann (18261866).
Em 1846, matriculou-se na Universidade de Gttingen,
onde Gauss era Professor Catedrtico e numa poca em
que este ainda estava no auge de sua carreira. Entretanto, pouco provvel que os dois homens tenham
tido contato pessoal nessa ocasio. Um ano mais tarde,
transferiu-se para a Universidade de Berlim, onde aprofundou seus estudos com Dirichlet e Jacobi. Em 1849,
retornou a Gttingen, onde, em 1851, apresentou sua
tese de doutoramento Fundamentos de uma teoria geral
de funes de uma varivel complexa. Mais tarde, em junho de 1854, Riemann preparava-se para proferir uma
conferncia para os docentes da faculdade de filosofia, com o intuito de satisfazer os requerimentos para
a promoo a Privatdozent, o que essencialmente significava obter a posio de instrutor na universidade.
Como era de costume, ele oferecera ao comit respon-

niana). Esse um dos pontos essenciais de sua viso:

a separao entre os conceitos de espao e as possveis
mtricas que podem ser definidas sobre ele. Dessa maneira, Riemann aprofundou brutalmente o conceito de
geometria intrnseca da teoria de superfcies de Gauss.
Ele ainda define a curvatura de uma variedade riemanniana como sendo a funo que, a cada 2-plano tangente
variedade em um certo ponto, associa a curvatura gaussiana naquele ponto da superfcie, esta que formada
pelas linhas geodsicas da variedade que so tangentes
ao 2-plano naquele ponto. Finalmente, discute o caso
de espaos de curvatura constante. Na segunda parte
do ensaio, Riemann essencialmente pondera sobre a relao entre a geometria e o espao fsico. Aqui ele procura indicar a maneira pela qual as novas concepes
geomtricas podem contribuir para mudar nossa viso
da natureza dos fenmenos fsicos e, em especial, a viso clssica euclidiana-newtoniana do espao fsico.

svel trs possveis tpicos para a sua conferncia, com

Anos depois, em 1861, num trabalho para resolver

o entendimento implcito de que o primeiro da lista se-

um problema prtico sobre conduo de calor sub-

ria aquele escolhido. Os dois primeiros tpicos de fato

metido Academia Parisiense, Riemann desenvolveu

lidavam com partes de sua Habilitationsschrift, uma ou-

mais o aparato analtico de sua nova geometria. Ele

tra tese tambm requerida para a promoo, que fora

notou que o problema estudado era equivalente a de-

apresentada alguns meses antes. Mas, seguindo a re-

terminar sob que condies uma forma diferencial qua-

comendao de Gauss e para a surpresa de Riemann,

drtica pode ser transformada por meio de uma mu-

o comit escolheu o terceiro tpico, que lidava com os

dana de coordenadas em uma soma de quadrados, e

fundamentos da geometria. Mesmo assim, o resultado

estudou o problema mais geral de equivalncia de m-

foi, cremos ns, uma das conferncias cientficas mais

tricas riemannianas. No curso de sua soluo, foi le-

importantes da histria: Sobre as hipteses que esto nos

vado a considerar os smbolos de Christoffel ijk e os sm-

fundamentos da geometria (ber die hypothesen, welche zu

Grunde der Geometrie liegen).

l .
bolos do tensor de curvatura Rijk

O ensaio de 1854 passou praticamente despercebido

O ensaio de Riemann de 1854 consiste de duas partes.

em sua poca e foi apenas publicado postumamente

A primeira contm consideraes puramente matem-

em 1868 por Dedekind, amigo ntimo de Riemann e

ticas. Ele introduz o conceito de variedade n-dimensional

seu primeiro bigrafo (o Pariserarbeit de 1861 s seria

de pontos ( x1 , x2 , . . . , xn ), que generaliza a ideia de su-

publicado em 1876 no volume de suas obras comple-

perfcie. Em seguida, introduz uma forma diferencial

tas). A publicao teve repercusses importantes. O

quadrtica (chamada hoje em dia de mtrica riemanniana)

artigo supracitado de Beltrami no conclua seu estudo

na variedade que generaliza a primeira forma funda-

da geometria no euclidiana. Ele deixara em aberto o

mental das superfcies e essencialmente define as dis-

problema de construir o espao hiperblico de Loba-

10

Matemtica Universitria

23

{Capa}

chevski em trs dimenses e, na verdade, acreditava

tetizava cada tipo de geometria como sendo o estudo

ser impossvel a construo de tal espao. No entanto,

das propriedades do espao que so invariantes sob um

em 1869, um ano aps a publicao do ensaio de Ri-

grupo de transformaes dado. O noruegus Sophus

emann, Beltrami publicou uma anlise de espaos de

Lie (18421899), inspirado por discusses com Klein e

curvatura constante em dimenses arbitrrias baseada

motivado pelo desejo de criar uma teoria de solubili-

nas ideias de Riemann, incluindo uma verso detalhada

dade de equaes diferenciais ordinrias anloga teo-

do espao hiperblico tridimensional. Mais tarde, Felix

ria de equaes algbricas de Galois, inventou a teoria

Klein (18491925) e o grande matemtico e fsico fran-

geral dos grupos de transformaes contnuos (hoje co-

cs Henri Poincar (18541912) proporiam outros mo-

nhecidos como grupos de Lie) em 18851886.

delos para a geometria de Lobachevski.

O estudo de invariantes diferenciais que fora inici-

As investigaes de Riemann foram continuadas por

ado por Riemann, Beltrami, Christoffel e Lipschitz to-

Elwin Christoffel (18291900) (quase simultaneamente,

mou novas propores a partir do trabalho de Grego-

Rudolf Lipschitz examinou algumas questes simila-

rio Ricci-Curbastro (18531925). Em quatro artigos en-

res). Em um importante artigo de 1869, ele reconsidera

tre 1888 e 1892, ele exps a tcnica do clculo diferencial

e expande o tema j abordado por Riemann em 1861, a

saber, a questo de decidir sob que condies duas m-

absoluto, um novo formalismo invariante inicialmente

concebido para lidar com a teoria de transformaes de

tricas riemannianas determinam a mesma geometria, e

equaes diferenciais parciais, mas que ele usou para

deriva como condio necessria (em linguagem mo-

estudar a teoria de transformaes de formas diferen-

derna) a coincidncia dos tensores de curvatura calcu-

ciais quadrticas. Em 1901, Ricci e seu famoso pupilo

lados para as duas mtricas. nesse trabalho que ele in-

Tulio Levi-Civita (18731941) colaboraram em um ar-

troduz os hoje chamados smbolos de Christoffel. Seus

tigo em que expunham de maneira completa os novos

clculos esto na base dos mtodos invariantes em geo-

mtodos, incluindo a derivao covariante, e que con-

metria riemanniana que caracterizariam o estgio se-

siderado o marco do nascimento da anlise tensorial.

guinte de desenvolvimento.
*

As pesquisas de Riemann tambm influenciaram

*

questes de filosofia do espao fsico. Um dos primeiros

cientistas a apreciar as ideias contidas na segunda parte

No final do sculo XIX os fundamentos da teoria de

do ensaio de 1854 foi William Clifford (18451879). Em

superfcies j estavam bem estabelecidos. Entre 1887

1870, ele formulou um programa de geometrizao da

e 1896 surgiram os quatro volumes do clssico Leons

fsica em que admitia a possibilidade de que pequenas

sur la thorie gnrale de surfaces, de Gaston Darboux, e

variaes de curvatura, dependentes do tempo, pudes-

em 1893 foi publicado Lezioni di Geometria Differenziale,

sem ocorrer de ponto para ponto no nosso espao e cau-

de Luigi Bianchi, ocasio em que foi cunhado o nome

sar efeitos que ns atribumos a causas fsicas. Ainda a

geometria diferencial. Por outro lado, o trabalho de Rie-

respeito da filosofia do espao, Poincar escreveu que

mann despertara considervel interesse em variedades

espao, tempo, assim como todas as leis da natureza,

riemannianas de dimenso arbitrria e curvatura cons-

so meros smbolos criados pelo homem por mera con-

tante, e o problema de classificao (local) de tais va-

venincia, e que as hipteses fundamentais da geome-

riedades, proposto por Killing em um artigo de 1891,

tria no so fatos baseados em lgica ou experimentos,

ficou conhecido como problema das formas espaciais de

mas a observao de certos fenmenos fsicos leva-nos

Clifford-Klein pelas contribuies desses dois matem-

a acolher certas hipteses em detrimento de outras. Al-

ticos ao assunto. Em um desenvolvimento paralelo, o

bert Einstein (18791955) escreveu sobre a filosofia do

Erlanger Programm, apresentado por Klein em 1872, sin-

espao referindo-se a Poincar, mas interpretando sua

24

Matemtica Universitria

11

{Capa}

posio em termos mais materialistas. Assim, ele acre-

maior quanto maior for a curvatura da mtrica pseu-

ditava na escolha inicial arbitrria de axiomas geom-

dorriemanniana do espao-tempo, segundo a equao

tricos e de parte das leis fsicas, mas que o restante das

de Einstein (uma equao diferencial parcial no linear

leis fsicas deveria ento ser escolhido de modo que a

para a mtrica que relaciona uma certa componente do

totalidade dessas hipteses pudesse ser confrontada ex-

tensor de curvatura da mtrica com outro tensor que

perimentalmente.

descreve a distribuio de matria); alm disso, a teoria

O pensamento de Klein que enfatizava invariantes de

transformaes transferiu-se da matemtica para a mecnica e para a fsica-matemtica em geral. O problema
de expressar leis fsicas de maneira independente de
sistemas de coordenadas tornou-se predominante na fsica depois da descoberta de que as equaes do eletromagnetismo de Maxwell so invariantes pelo grupo de
transformaes de Lorentz. Essa linha de pensamento
conduziu Einstein a fundar a teoria restrita da relatividade no artigo Sobre a eletrodinmica dos corpos mveis
(Zur Elektrodynamik der bewegter Krper) de 1905. Quase
simultaneamente, Poincar desenvolveu ideias seme-

prev que uma partcula sujeita apenas ao campo gravitacional move-se ao longo de uma geodsica nessa mtrica. Esse interesse ampliado em geometria advindo
da teoria da relatividade levou Levi-Civita a descobrir o
importante conceito de transporte paralelo em 1917. Por
sua vez, as tentativas de unificar as teorias dos campos
gravitacional e eletromagntico tambm beneficiaram a
geometria e incentivaram o desenvolvimento de conexes afins em espaos fibrados, atravs dos sucessivos esforos de Hermann Weyl (1918), Jan Schouten (1922),
lie Cartan (1923) e Charles Ehresmann (1950).
*

lhantes em um artigo de 1906 em que discutido o carter pseudoeuclidiano da geometria do espao-tempo,

As variedades introduzidas por Riemann e os grupos

mas no penetrou to profundamente quanto Einstein

introduzidos por Lie, bem como outros espaos consi-

nas leis da fsica, possivelmente devido a seus precon-

derados pelos gemetras at o incio do sculo XX

ceitos filosficos. Todavia, a teoria restrita de Einstein

parte alguns bem conhecidos poucos exemplos de ob-

no envolvia a ao da gravitao, e assim ele come-

jetos globalmente definidos tinham um carter local:

ou a buscar alguma estrutura adicional que pudesse

estavam definidos apenas no domnio de um sistema de

ser imposta geometria do espao-tempo de modo a in-

coordenadas. A passagem para o ponto de vista global

corporar essa ao. Foi atravs de um colega em Praga,

em geometria dependia, em certa medida, da introdu-

o matemtico George Pick, que Einstein tomou conhe-

o de ideias topolgicas.

cimento da teoria de Ricci e Levi-Civita, e por meio

Os primrdios da topologia remontam ao s-

de outro colega em Zurique, Marcel Grossmann (1878

culo XVII. Em 1679, Leibniz, em seu livro Characteris-

1936), que ele aprendeu essa teoria. A apresentao da

tica geometrica, tentou abstrair propriedades de figuras

teoria geral da relatividade, baseada no clculo tenso-

geomtricas relacionadas com localizao (situs), em

rial, foi iniciada por Einstein e Grossmann em Esboo de

oposio natureza do tratamento dado pela geometria

uma teoria generalizada de relatividade e teoria de gravita-

analtica de Fermat e Descartes, cuja noo principal era

o (Entwurf einer verallgemeinerten Relativittstheorie und

a de magnitude. Ele chamou esse estudo de analysis

Theorie der Gravitation), de 1913, e concluda com Funda-

situs. Os matemticos do sculo XVIII no se interes-

mentos da teoria da relatividade geral (Grundlagen der allge-

saram muito pela topologia, com a notvel exceo de

meinen Relativittstheorie), de 1916. O mais importante

Euler, que obteve dois resultados fundamentais para o

elemento dessa teoria a interpretao geomtrica da

desenvolvimento da rea: a clebre frmula para polie-

gravidade: a densidade da matria numa certa regio e,

dros convexos fechados (V A + F = 2, onde V, A, F

portanto, a intensidade do campo gravitacional, tanto

12

denotam os nmeros de vrtices, arestas e faces, respec-

Matemtica Universitria

25

{Capa}

tivamente), e a resoluo do problema das sete pontes

polgicos na teoria de grupos de Lie e assim inaugurou

de Knigsberg (que perguntava se era possvel atraves-

o ponto de vista global nessa teoria. O conceito de va-

sar todas as sete pontes da cidade cada uma exatamente

riedade diferencivel amadureceu lentamente at atingir

uma vez). No sculo XIX, destacam-se inicialmente

seu formato definitivo com os trabalhos de O. Veblen e

as contribuies de August Ferdinand Mbius (1790

J. H. C. Whitehead (1933) e H. Whitney (1936).

1868) e Johann Listing (18081882) (este cunhou o termo

Como consequncia da evoluo do conceito de va-

topologia em seu livro de 1848), que foram discpulos

riedade diferencivel, antigos problemas em geometria

de Gauss em Gttingen. Entretanto, o maior mpeto s

foram revistos sob o novo ponto de vista global e no-

investigaes topolgicas nesse perodo deve ser credi-

vos problemas surgiram. S. Cohn-Vossen, W. Blaschke,

tado tese de Riemann sobre funes complexas alg-

S. S. Chern e outros estudaram as propriedades glo-

bricas, de 1851. Sua altamente original e frutfera ideia

bais relacionando os invariantes riemannianos com a

foi que funes multivalentes no plano complexo (tais

como w = z, por exemplo) podem ser representadas

topologia das variedades. H. Poincar, G. Birkhoff, M.

por funes univalentes definidas sobre certas superf-

priedades de geodsicas de diversos pontos de vistas

cies (de Riemann) construdas a partir dos pontos de

diferentes. H. Hopf estudou as propriedades globais

ramificao da funo. Nesse trabalho, ele enfatizou

dos espaos de curvatura constante e lie Cartan de-

que os teoremas da analysis situs eram indispensveis

finiu e investigou exaustivamente os espaos simtricos,

para trabalhar-se com tais funes, definiu a conectivi-

uma classe notvel de variedades riemannianas. Atra-

dade de uma superfcie (noo que equivalente de

vs desse esforo monumental, a geometria riemanni-

gnero) e esboou uma classificao das superfcies fe-

ana foi ligada a diversas reas da matemtica, e foi re-

chadas em termos desse invariante. Mais tarde, Camille

conhecido que a relao entre as propriedades locais

Jordan (18381922) e Felix Klein fizeram outras contri-

determinadas pela mtrica riemanniana e as proprieda-

buies teoria de superfcies fechadas. A necessidade

des geomtricas ou topolgicas relacionadas com a es-

de estudar a conectividade em dimenses maiores foi

trutura global da variedade so importantes objetos de

apreciada por Enrico Betti (18231892), professor em

investigao. Atravs da noo de completude introdu-

Pisa e amigo de Riemann, em um artigo de 1871, mas

zida por H. Hopf e W. Rinow em 1931, as consideraes

o passo decisivo foi dado por Poincar, considerado o

globais foram firmemente estabelecidas.

Morse, J. Hadamard e E. Hopf estudaram vrias pro-

fundador da topologia de variedades n-dimensionais.

No artigo Analysis situs de 1895 e nos seus cinco apndices, Poincar definiu os conceitos bsicos da nova rea,
e suas ideias e resultados de fato definiram o desenvolvimento posterior da topologia.

Na dcada de 1930, comearam a enraizar-se certas

ideias relacionadas com a capacidade de estimar magnitudes geomtricas bsicas tais como funes dis-

De outro ponto de vista, o conceito de espao topo-

tncia e funes volume em variedades riemannia-

lgico surgiu de forma explcita no livro sobre teoria

nas com cotas de curvatura em termos das magnitu-

de conjuntos de Felix Hausdorff (18681942), de 1914.

des correspondentes em variedades de curvatura cons-

Mais ou menos na mesma poca, em 1913, Hermann

tante, atravs do trabalho de H. Hopf, Morse, Schoen-

Weyl (18851955) publicou um livro sobre superfcies

berg, Myers e Synge. Na dcada de 1950, sobreveio

de Riemann em que definia tais superfcies global-

a real ruptura com o trabalho pioneiro de Rauch e os

mente, explicando como colar os diversos sistemas

trabalhos fundamentais de Alexandrov, Toponogov e

de coordenadas de maneira compatvel. Em 1924, o

Bishop. Desde ento, os mtodos de comparao, ou a

mesmo Weyl reconheceu a importncia dos mtodos to-

ideia simples de comparar a geometria de uma vari-

26

Matemtica Universitria

13

{Capa}

edade riemanniana arbitrria com as geometrias dos

Do ponto de vista da relao entre geometria e fsica,

espaos de curvatura constante experimentaram uma

as tentativas de unificar as teorias dos campos gravi-

evoluo brutal. O livro Comparison theorems in rieman-

tacional e eletromagntico, empreendidas j na poca

nian geometry de Cheeger e Ebin, que foi publicado em

de Einstein, expandiram seu objetivo ao longo do s-

1975, lida com as contribuies mais relevantes ao as-

culo XX a ponto de incluir tambm as posteriormente

sunto entre 1959 e 1974, tais como o teorema da es-

descobertas interaes nucleares forte e fraca. A busca

fera de Berger-Klingenberg e suas generalizaes, o teo-

por essa teoria de campo unificada continua a beneficiar

rema diferencivel da esfera, a estrutura de variedades

a geometria at os dias de hoje e a teoria de cordas

completas de curvatura no negativa e resultados sobre

apenas uma se bem que certamente a mais popular

a estrutura de variedades completas de curvatura no

dentre muitas teorias em voga que pretendem resolver

positiva.

essa questo. Segundo essa teoria, as menores partcu-

Mais recentemente, comeou-se a entender que esses

las que compem o universo so cordas vibrantes que

mtodos de comparao e, por conseguinte, uma vasta

vivem num espao-tempo de mltiplas dimenses. Em

parte da geometria, essencialmente pertencem ao m-

1990, a ento maior distino em matemtica, a Meda-

bito da geometria mtrica, e que o aparato diferencial

lha Fields, foi pela primeira vez concedida a um fsico,

pode ser utilizado apenas para definir uma classe de

Edward Witten. Witten fez contribuies fundamentais

objetos e extrair os dados iniciais a serem usados nos

teoria quntica dos campos e teoria de cordas, e sua

mtodos sintticos. Nesse sentido, a variedade rieman-

habilidade nica de interpretar ideias fsicas em forma

niana despida de sua estrutura diferencial e sua sub-

matemtica gerou profundos resultados em geometria

jacente estrutura de espao mtrico abstrada no con-

e topologia.

ceito de espao mtrico intrnseco; nesse contexto, cotas

sobre a curvatura so expressas em termos de desigualdades entre distncias envolvendo qudruplas de pontos. Esse ponto de vista revolve em torno da noo de
convergncia de variedades riemannianas, apresentada
pioneiramente na tese de doutorado de Cheeger em
1967, e extraordinariamente desenvolvida no enigmtico livro Structure mtriques des varits riemanniennes de
Gromov2 , Lafontaine e Pansu, publicado em 1979 e reeditado em ingls em 1999. Alm de surpreendentes novos resultados concretos, essa mudana de paradigma
tambm trouxe outros benefcios, tais como enriquecer
nossa compreenso de variedades riemannianas e aumentar enormemente o escopo de aplicaes de tcnicas geomtricas a ponto de incluir, por exemplo, anlise
clssica e teoria combinatria dos grupos.
2

poderamos deixar de mencionar uma das mais espetaculares aplicaes recentes da geometria topologia, a
saber, a prova da centenria conjectura de Poincar por
Hamilton e Perelman. Em 1904, motivado pela classificao de superfcies fechadas e aps um longo estudo
da topologia de 3-variedades, Poincar mencionou a
questo, reformulada em linguagem moderna, de decidir se toda variedade topolgica tridimensional compacta e simplesmente conexa homeomorfa esfera de
mesma dimenso. O desenvolvimento de ferramentas
para atacar esse problema orientou a maior parte do trabalho em topologia de 3-variedades durante o sculo
passado. Na dcada de 1980, William Thurston desenvolveu uma nova metodologia para estudar a topologia
de 3-variedades e colocou a conjectura de Poincar no

Recentemente, foi anunciado que Mikhail Gromov e o ganhador

mbito de uma conjectura mais geral, conhecida como

revolucionarias
do Premio Abel de 2009, pelas suas contribuicoes

conjectura de geometrizao, que de certa maneira postu-

a` geometria. O Premio Abel foi institudo em 2003 pelo governo

noruegues e atualmente disputa com a Medalha Fields a prima-

14

Finalmente, antes de concluir este curto ensaio, no

lava uma relao mais estreita entre a topologia e a geo-

zia de ser reconhecido como a maior distinca o do mundo em ma-

metria de 3-variedades e, portanto, sugeria um cami-

tematica.

nho mais analtico para classific-las. Em 1982, Richard

Matemtica Universitria

27

{Capa}
Hamilton formalizou um tal caminho introduzindo o
Hamilton formalizou um tal caminho introduzindo o
fluxo de Ricci como uma equao de evoluo no espao
fluxo de Ricci como uma equao de evoluo no espao
de mtricas riemannianas em uma variedade de dimende mtricas riemannianas em uma variedade de dimenso arbitrria. Ele ento conjecturou que, comeando
so arbitrria. Ele ento conjecturou que, comeando
com uma mtrica arbitrria em uma 3-variedade comcom uma mtrica arbitrria em uma 3-variedade compacta, o fluxo de Ricci deveria produzir uma famlia a
pacta, o fluxo de Ricci deveria produzir uma famlia a
um parmetro de mtricas convergindo para uma mum parmetro de mtricas convergindo para uma mtrica bem comportada, como previsto na conjectura de
trica bem comportada, como previsto na conjectura de
geometrizao. Mas esse programa esbarrou em uma
geometrizao. Mas esse programa esbarrou em uma
srie de dificuldades tcnicas: em geral, o fluxo de Ricci
srie de dificuldades tcnicas: em geral, o fluxo de Ricci
desenvolve singularidades em tempo finito, e um mdesenvolve singularidades em tempo finito, e um mtodo para analisar essas singularidades e continuar o
todo para analisar essas singularidades e continuar o
fluxo para alm delas precisava ser encontrado; alm
fluxo para alm delas precisava ser encontrado; alm
disso, mesmo que o fluxo esteja definido para todos os
disso, mesmo que o fluxo esteja definido para todos os
valores do tempo, restam ainda questes delicadas sovalores do tempo, restam ainda questes delicadas sobre a natureza do objeto-limite. Numa srie de artigos
bre a natureza do objeto-limite. Numa srie de artigos
publicados entre 1982 e 1999, Hamilton realizou propublicados entre 1982 e 1999, Hamilton realizou progresso considervel no seu programa, sem no entanto
gresso considervel no seu programa, sem no entanto
complet-lo. Mais recentemente, em trs manuscritos
complet-lo. Mais recentemente, em trs manuscritos
surgidos entre 2002 e 2003 e apoiando-se no trabalho
surgidos entre 2002 e 2003 e apoiando-se no trabalho
de Hamilton, Grigori Perelman anunciou ter resolvido
de Hamilton, Grigori Perelman anunciou ter resolvido
todas as dificuldades tcnicas de natureza geomtrica e
todas as dificuldades tcnicas de natureza geomtrica e
analtica do programa daquele. Em linhas gerais, mosanaltica do programa daquele. Em linhas gerais, mostrou como estender o fluxo de Ricci atravs das singutrou como estender o fluxo de Ricci atravs das singularidades por meio do que chamou de fluxo de Ricci com
laridades por meio do que chamou de fluxo de Ricci com
cirurgia, e estendeu as estimativas de Hamilton para o
cirurgia, e estendeu as estimativas de Hamilton para o
fluxo de Ricci com cirurgia, bem como sua anlise do
fluxo de Ricci com cirurgia, bem como sua anlise do
processo de limite. Desse modo, ele afirmou ter estabeprocesso de limite. Desse modo, ele afirmou ter estabelecido a conjectura de geometrizao e portanto a conlecido a conjectura de geometrizao e portanto a conjectura de Poincar. Aps cerca de dois anos de intenso
jectura de Poincar. Aps cerca de dois anos de intenso
escrutnio, a comunidade matemtica finalmente recoescrutnio, a comunidade matemtica finalmente reconheceu a validade dos argumentos de Perelman no que
nheceu a validade dos argumentos de Perelman no que
concerne conjectura de Poincar e o agraciou com a
concerne conjectura de Poincar e o agraciou com a
Medalha Fields em 2006. No que concerne mais geral
Medalha Fields em 2006. No que concerne mais geral
conjectura de geometrizao, nos ltimos dois anos foconjectura de geometrizao, nos ltimos dois anos foram colocados disposio pelo menos quatro manusram colocados disposio pelo menos quatro manuscritos, de autoria de especialistas, expondo uma srie
critos, de autoria de especialistas, expondo uma srie
de detalhes que faltavam nos artigos de Perelman, de
de detalhes que faltavam nos artigos de Perelman, de
modo que parece se estar formando um razovel conmodo que parece se estar formando um razovel consenso tambm em torno da soluo desse problema. De
senso tambm em torno da soluo desse problema. De
toda maneira, as contribuies de Perelman vo muito
toda maneira, as contribuies de Perelman vo muito

28

Matemtica Universitria

alm da prova dessas conjecturas. As tcnicas que ele

alm da prova dessas conjecturas. As tcnicas que ele
introduziu causaram grande sensao na rea de anintroduziu causaram grande sensao na rea de anlise geomtrica e esto agora sendo usadas para resollise geomtrica e esto agora sendo usadas para resolver outros problemas importantes nessa rea.
ver outros problemas importantes nessa rea.
Agradecimentos. Expressamos nossa gratido aos
Agradecimentos. Expressamos nossa gratido aos
pareceristas annimos pelos seus comentrios teis, e
pareceristas annimos pelos seus comentrios teis, e
aos editores da Matemtica Universitria pelo convite
aos editores da Matemtica Universitria pelo convite
para escrever este texto, pela pacincia e pelo trabalho
para escrever este texto, pela pacincia e pelo trabalho
editorial minucioso. Tambm agradecemos a outros leieditorial minucioso. Tambm agradecemos a outros leitores que tiveram a oportunidade de comentar sobre
tores que tiveram a oportunidade de comentar sobre
uma verso preliminar deste texto. A responsabilidade
uma verso preliminar deste texto. A responsabilidade
por quaisquer erros ou omisses remanescentes cabe,
por quaisquer erros ou omisses remanescentes cabe,
como sempre, exclusivamente ao autor.
como sempre, exclusivamente ao autor.

Referncias
[1] B ERLINGHOFF , W. P.; G OUVA , F. Q. Math th[1] B ERLINGHOFF , W. P.; G OUVA , F. Q. Math through the ages: a gentle history for teachers and others.
rough the ages: a gentle history for teachers and others.
Expanded edition. Farmington: Oxton House PuExpanded edition. Farmington: Oxton House Publishers/Washington: The Mathematical Associablishers/Washington: The Mathematical Association of America, 2004.
tion of America, 2004.
[2] B OI , L. Le problme mathmatique de lespace. Une
[2] B OI , L. Le problme mathmatique de lespace. Une
qute de lintelligible. Berlin: Springer, 1995.
qute de lintelligible. Berlin: Springer, 1995.
[3] B HLER , W. K. Gauss. A biographical study. Berlin:
[3] B HLER , W. K. Gauss. A biographical study. Berlin:
Springer, 1981.
Springer, 1981.
[4] C OOLIDGE , J. L. A history of geometrical methods.
[4] C OOLIDGE , J. L. A history of geometrical methods.
New York: Oxford University Press, 1940.
New York: Oxford University Press, 1940.
[5] D OMBROWSKI , P. 150 years after Gauss Disquisiti[5] D OMBROWSKI , P. 150 years after Gauss Disquisitiones generales circa superficies curvas. With the oriones generales circa superficies curvas. With the original text of Gauss. Paris: Socit Mathmatique
ginal text of Gauss. Paris: Socit Mathmatique
de France, 1979. (Astrisque, 62)
de France, 1979. (Astrisque, 62)
[6] G ERSTELL , M. Prussian education and mathema[6] G ERSTELL , M. Prussian education and mathematics. American Mathematical Monthly, v. 82, p. 240
tics. American Mathematical Monthly, v. 82, p. 240
245, 1975.
245, 1975.
[7] J ACKSON , A. Conjectures no more?
[7] J ACKSON , A. Conjectures no more?
forming on the proof of the Poincar
forming on the proof of the Poincar

Consensus
Consensus
and geomeand geome15
15

{Capa}

trization conjectures. Notices of the American Mathematical Society, v. 53, n. 8, p. 897901, 2006.

[18] S TRUIK , D. J. Theory of linear connections. Berlin:

Springer, 1934.

[8] K ENNEDY, H. C. The origins of modern axiomatics: Pasch to Peano. American Mathematical

Claudio Gorodski

Monthly, v. 79, p. 133136, 1972.

Instituto de Matemtica e Estatstica

[9] K LINE , M. Mathematical thought from ancient to modern times. New York: Oxford University Press,
1972.
[10] L APTEV, B. L.; R OSENFELD , B. A. Geometry. In:

Universidade de So Paulo
Rua do Mato, 1010
05508090 So Paulo SP
gorodski@ime.usp.br

Mathematics of the 19th century: geometry, analytic

function theory. Edited by A. N. Kolmogorov and
A. P. Yushkevich. Translated from the Russian by
Roger Cooke. Basel: Birkhuser, 1996. p. 1115.
[11] M ARKHAM , J. D. The revolution, Napoleon, and
education. In: Consortium on Revolutionary Europe.
Selected Papers. Charleston: University of South
Caroline Press, 1999. p. 436445.
[12] M ONASTYRSKY, M. Riemann, topology, and physics.
With a foreword by Freeman J. Dyson. Translated
by James King and Victoria King. Edited by R. O.
Wells Jr. Boston: Birkhuser, 1987.
[13] M ORGAN , J. W. Recent progress on the Poincar
conjecture and the classification of 3-manifolds.
Bulletin of the American Mathematical Society, v. 42,
n. 1, p. 5778, 2005.
[14] P ENROSE , R. The road to reality. A complete guide to
the laws of the universe. New York: Alfred A. Knopf
Inc., 2005.
[15] R OSENFELD , B. A. A history of non-Euclidean geometry. Evolution of the concept of a geometric space.
Translated from the Russian by Abe Shenitzer.
New York: Springer, 1988. (Studies in the History
of Mathematics and Physical Sciences, 12)
[16] S TRUIK , D. J. Outline of a history of differential
geometry: I. Isis, v. 19, n. 1, p. 92120, 1933.
[17] S TRUIK , D. J. Outline of a history of differential
geometry: II. Isis, v. 20, n. 1, p. 161191, 1933.

16

Matemtica Universitria

29