Академический Документы
Профессиональный Документы
Культура Документы
211
Introduo
A matemtica que ainda se pratica hoje majoritariamente
em institutos de pesquisa e ensino em quase todo o mundo,
que chamaremos matemtica moderna, cujas principais reas,
temas, objetos, problemas, mtodos e resultados foram sendo
obtidos, consolidados e desenvolvidos ao longo do sculo XX,
teve seu processo de formao iniciado no sculo XIX, quando
uma srie de transformaes, mudanas e inovaes afetaram
de maneira geral todos os aspectos constitutivos da matemtica,
desde a sua organizao profissional, at os seus fundamentos
epistemolgicos e metodolgicos, passando pela estruturao
das suas subreas disciplinares, com notveis repercusses nos
resultados da produo do conhecimento matemtico.1
De fato, a adoo generalizada de concepes absolutamente abstratas de nmero dissociada da noo de quantidade e de geometria dissociada da percepo sensorial de
espao e de mtodos analticos algbricos, em substituio
aos mtodos geomtricos sintticos, foram fundamentais para
a unificao das diversas matemticas aritmtica, geometria,
lgebra, trigonometria e clculo sob a gide de um mesmo
estatuto cientfico,2 que foi proclamado no ambiente disciplinar
altamente especializado e profissionalizado que se formou nas
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
instituies de ensino superior que seguiram o modelo da Universidade de Berlim, na Alemanha, onde o discurso pela
dedicao pesquisa cientfica sem finalidades utilitrias ou quaisquer outras, que no o prprio desenvolvimento da
cincia, acompanhava a utopia por uma razo cientfica absolutamente independente e suficiente.3
Segundo Christian Houzel,4 foi no sculo XVIII que Leonhard Euler (1707-1783) deu incio a uma completa transformao na organizao do clculo, quando publicou Introductio in analysin infinitorum (Lausanne, 1748), apresentando
pela primeira vez a anlise matemtica baseada no conceito de funo.5 At ento, a geometria ocupava o primeiro
lugar no clculo, por causa da fundamentao geomtrica da noo de infinitesimal, enquanto que a lgebra e os
algoritmos ficavam em segundo lugar, como mtodos auxiliares. Nesse livro, pelo contrrio, Euler introduziu a lgebra
no livro I e apresentou a geometria no livro II, como uma aplicao. Nas palavras de Jahnke e Otte:
During the 18th century, numbers, in their inseparable linkage to the quantities concept, represented the
actual object field of mathematics, and algebra, and the symbolic calculi of mathematics were regarded
merely as a language permitting en easy and suggestive manner of representing relationships between
numbers or quantities. This status became precisely the reverse in the 19th century. Algebra was now to
directly include the actual mathematical relationships, which constitute the subject matter under study,
while arithmetics, for its part, became the language of algebra resp. of the entire mathematics, by means
of which, and in which, all mathematical facts must ultimately be expressible. This process of arithmetization finally culminated, towards the close of the century, in the fact that the consistency of mathematics
was reduced to the consistency of arithmetics, raising arithmetics to the position of foundational science
proper of mathematics.6
212
Tradicionalmente, atribui-se o incio do processo de aritmetizao da anlise ao Cours danalyse (1821) de Augustin
Louis Cauchy (1789-1857), que apresentou uma definio de limite predominantemente aritmtica, com pretenses
de independncia em relao s intuies geomtricas, e uma definio para os nmeros reais que pretendia alcanar
um novo padro de rigor, que somente foi alcanado, no caso dos nmeros, com os cortes de Richard Dedekind (18311916) e, no caso dos limites, com Karl Weierstrass (1815-1897), que introduziu a definio e notao dos epslons e
deltas aceita contemporaneamente.7
Dessa forma, do clculo baseado na noo de infinitesimal, como em Gottfried Wilhelm von Leibniz (1646-1716)8
e Isaac Newton (1642-1727)9, formou-se a anlise moderna clssica, com o deslocamento do centro da matemtica
do mbito da geometria e dos mtodos sintticos para o mbito da aritmtica, da lgebra e dos mtodos analticos.
Instituiu-se como base um conceito moderno de funo definida como uma relao entre variveis e no necessariamente proveniente de expresses analticas ou frmulas necessrio para uma definio de derivada como limite, de
acordo com novos padres de rigor formal que passaram a ser aceitos como referncia entre os matemticos desde
ento. Conforme Margaret Baron:
O conceito de funo do sculo XVIII no estava precisamente definido. Alm dessa impreciso, ele diferia do conceito moderno em outro sentido. As expresses analticas de Euler no so funes no sentido
moderno; so frmulas ou partes de frmulas; objetos com os quais se fazem clculos analticos. O conceito de funo como uma frmula implica uma restrio que no est includa no moderno conceito de
funo. No sentido moderno, as funes no precisam necessariamente ter uma representao analtica,
como uma frmula. H funes, no sentido moderno, que os matemticos do sculo XVIII hesitariam em
aceitar como tal.10
A institucionalizao dessas mudanas ocorreu paulatinamente nos diversos contextos nacionais, tendo como um
dos indicadores mais significativos a sua incorporao nos livros didticos utilizados nos cursos superiores, a exemplo
do Cours danalyse mathematique (1902) de Edouard Goursat (1858-1936), do Course of modern analysis (1902) de
E.T. Whittaker (1873-1956), das Lezioni di analisi (1933) de Francesco Severi (1879-1961), e do Clculo diferencial e
integral (1927) de Richard Courant (1888-1972).11
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
No Brasil, essa institucionalizao iniciou-se com a fundao da Faculdade de Filosofia, Cincias e Letras (FFCL) da
Universidade de So Paulo (USP) em 1934 e da Faculdade Nacional de Filosofia (FNFi) da Universidade do Brasil (UBr)
em 1939, quando comearam a funcionar os primeiros cursos de matemtica independentes dos cursos de engenharia com o objetivo de formar especialistas para o ensino e para a pesquisa na rea.12 Antes, a matemtica que
era praticada nas escolas de engenharia brasileiras seguia geralmente os padres anteriores modernizao do sculo
XIX, embora engenheiros como Otto de Alencar Silva (1874-1912), Manuel Amoroso Costa (1885-1928), Theodoro
Augusto Ramos (1895-1935) e Luiz de Barros Freire (1896-1963), professores daquelas escolas, j possussem um
conhecimento atualizado e defendessem a modernizao dos seus currculos e atividades matemticas.13
At aquela poca, a matemtica que fazia parte da formao e do exerccio profissional do engenheiro consistia
basicamente na mecnica racional, na geometria analtica, descritiva e projetiva, no clculo infinitesimal, alm da
aritmtica, da lgebra, da trigonometria e da geometria euclidiana ensinadas no secundrio. Era essa a formao necessria para a obteno dos graus de bacharel e de doutor em matemtica, atribudos nas escolas de engenharias. Por
exemplo, na Escola Politcnica de So Paulo, de 1904 a 1932, o professor catedrtico Rodolfo Baptista de San Thiago
(1870-1933) adotava o livro Premiers lements du calcul infinitesimal de Hyppolite Sonnet e dedicava a maior parte
do tempo do curso que ministrava ao estudo das regras de derivao e integrao fundamentadas nas concepes
infinitesimais de Newton e Leibniz.14
A contribuio de matemticos estrangeiros, como o analista italiano Luigi Fantappi (1901-1956), foi muito importante para implantar, de forma sistemtica e efetiva nos currculos, a matemtica moderna que j consistia na base
da formao profissional nos principais centros matemticos internacionais. Fantappi assumiu a ctedra de anlise
matemtica e a direo do departamento de matemtica da FFCL em 1934 e teve como seu assistente o engenheiro
Omar Catunda (1906-1986).15 Naquele ano ministrou um curso de anlise, cujas notas de aula foram redigidas por Catunda. Em 1939, quando Fantappi retornou para a Itlia por causa da II Guerra Mundial, Catunda assumiu interinamente
a ctedra de anlise e a direo do departamento, que manteve at sua aposentadoria em 1962.
As notas de aulas do curso de anlise lecionado por Fantappi, em 1934, foram ampliadas e reformuladas posteriormente por Omar Catunda. Isto lhe possibilitou publicar em seu prprio nome o livro Curso de anlise matemtica,
um dos primeiros livros sobre o assunto publicados no Brasil,16 que teve boa aceitao e foi largamente difundido no
territrio nacional, principalmente durante os anos 50 e 60 do sculo XX.17 Inicialmente foram utilizadas apostilas mimeografadas at 1952, quando foi publicada a primeira edio na forma de livro em sete volumes.18 Em 1962, Catunda
publicou uma nova e definitiva edio revista e alterada, em dois volumes,19 na qual foram acrescentadas, por exemplo,
as estruturas de ordem, algbricas e topolgicas, contedos apropriados, principalmente, do livro Foundations of modern
analysis de Jean Dieudonn, um dos matemticos franceses do grupo Bourbaki20 que trabalharam na FFCL-USP nas
dcadas de 1940 e 1950.
Neste trabalho, faremos uma anlise comparativa do livro de Catunda com os Elementos de clculo diferencial
e integral de Granville, com o Curso de anlise matemtica de Fantappi, e com o Foundations of modern analysis de
Dieudonn, destacando algumas das principais diferenas e semelhanas existentes entre um e os outros, com o
objetivo de mostrar como Catunda se apropriou da anlise matemtica moderna de razes europeias, j que seu livro
foi inegavelmente um dos seus principais vetores de difuso no Brasil a partir de 1940.21
A maioria das citaes foi do primeiro volume da edio de 1962, mas utilizamos tambm as edies anteriores.22 As obras de Fantappi e Dieudonn foram escolhidas para a comparao porque tm uma abordagem
moderna, sendo que a primeira foi a matriz do livro de Catunda e representa a tradio italiana, enquanto a segunda,
alm de t-lo influenciado, como j foi dito acima, uma das principais referncias da escola Bourbaki.23 J o livro
de Granville foi escolhido porque representava a tradio matemtica anterior modernizao ocorrida no sculo
XX e geralmente difundida nos cursos de clculo ministrados nas escolas de engenharia brasileiras e mesmo nos
cursos de matemtica de muitas faculdades de filosofia, uma vez que engenheiros formados de acordo com aquela
tradio eram na maioria das vezes professores de ambas as instituies e optavam naturalmente por continuar
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
213
trabalhando com o conhecimento matemtico que dominavam em vez de modernizar seus cursos, mesmo tendo
acesso a informaes e materiais para faz-lo.24
Por exemplo, embora o programa oficial estabelecido pelo catedrtico de anlise da Faculdade de Filosofia da
Bahia (FF), engenheiro Luiz de Moura Bastos, seguisse o programa padro da FNFi, elaborado pelo seu catedrtico,
matemtico Jos Abdelhay, formado na primeira turma da FFCL, portanto j sob a influncia dos padres modernos
difundidos por Fantappi, na prtica, as suas aulas de clculo ministradas de 1942 at 1968 seguiam o programa do
livro de Granville. Arlete Cerqueira Lima, formada pela FF em 1955, comparou o ensino da FF com o da FFCL: Em 1957
estou na USP entrando pela primeira vez em contato com a chamada Matemtica Moderna: da teoria dos conjuntos as
estruturas algbricas e topolgicas. Quanto ao Clculo Diferencial e Integral, em um ano, em So Paulo, foi dado tudo
o que vi em quatro anos na Bahia, com o agravante de que, l o livro texto era o de Catunda e aqui, o de Granville.25
O livro de Granville tinha de fato uma abordagem diferente daquela adotada nos cursos da FFCL e difundida pelo
livro de Catunda, embora tenha servido muito bem e por muito tempo s demandas das escolas de engenharia. Segundo
Elon Lages Lima, o livro de Granville:
[...] era um livro de clculo estudado j pelos meus antecessores, o pessoal da gerao dos meus pais, que
era um livro que teve um sucesso enorme e muito bem escrito, extraordinariamente bem feito sob o ponto
de vista de clareza e organizao e era um livro que ditou uma poca porque ele marcava a supremacia,
a hegemonia da manipulao com algumas aplicaes, mas aplicaes que se baseavam j em formas
dadas. Ele no tinha modelagem. Ento, essa foi uma tendncia que predominou durante os anos da
minha formao matemtica.26
214
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
Catunda estava aderindo s concepes modernas quando afirmava que a construo de um edifcio lgico como
a anlise matemtica dependia da reviso do conceito de nmero, que no poderia fazer apelos s noes exteriores de
grandeza ou de quantidade.30 Nesse sentido, acrescenta que as propriedades, [...] conseqncias diretas dos postulados
de Peano e das definies de soma, multiplicao e desigualdade, servem de fundamento a toda teoria dos nmeros
inteiros, como o estudo dos sistemas de numerao, a teoria da divisibilidade e a dos nmeros primos.31
Mais adiante, ele define nmeros racionais e nmeros relativos recorrendo definio de classes de equivalncia
apresentada um pouco antes. Argumenta tambm que o conjunto de todas as fraes forma o campo racional absoluto,
pois as fraes cujo numerador mltiplo do denominador comportam-se como nmeros inteiros, isto , so equivalentes a n/1. Com essa argumentao, concluiu que os nmeros naturais so partes do campo racional absoluto, em
outras palavras, o campo dos racionais absolutos uma extenso dos nmeros naturais.
Catunda ressalva, entretanto, que os nmeros racionais ainda no so suficientes, nem mesmo para a medida
de grandezas [...]. Essa insuficincia corresponde impossibilidade de certas operaes, como a extrao da raiz quadrada de 2,32 o que lhe possibilita continuar a construo do campo dos nmeros. Desse modo, define no campo dos
racionais duas classes disjuntas, A de elementos a e A de elementos a, denominadas respectivamente de minorante
e majorante, satisfazendo as seguintes propriedades:
1) Todo nmero racional relativo, no mximo com uma exceo, est em uma e uma s das duas classes.
2) Todo nmero menor que um nmero da classe A pertence a esta classe; todo nmero maior que um nmero
de A pertence a esta.
3) A classe A no tem mximo e a classe A no tem mnimo.33
A partir dessas sees no campo racional, Catunda diz que o par de classes, o qual designou a/a, constitui o
que chama seo ou corte do campo racional. Continua dizendo que:
Quando existe uma exceo na propriedade 1), isto , quando existe um nmero racional r que no pertence a nenhuma das classes, diz-se que a seco imprpria, ou racional; no caso contrrio, diz-se que
a seco prpria. [...] Podemos ento identificar cada nmero racional com a seco imprpria que ele
determina, as sees prprias sero chamadas nmeros irracionais.34
Com essas consideraes, Catunda completa de forma dedutiva o seu processo de construo dos campos de
nmeros, dando a definio de nmeros reais como toda seco prpria ou imprpria.
O primeiro tpico do Curso de anlise matemtica de Fantappi tambm uma teoria dos nmeros reais,
iniciada com uma exposio dos nmeros naturais e racionais muito parecida na sua forma com as apresentaes
que encontramos hoje em dia em livros didticos para o ensino fundamental e mdio, embora muito mais rigorosa.
Diferentemente de Catunda, os campos de nmeros naturais, inteiros e racionais so supostos conhecidos, as operaes aritmticas usuais so definidas e so verificadas as possibilidades de efetu-las em cada um destes campos
propriedade algbrica do fechamento. As demais propriedades algbricas so tambm verificadas em cada caso. Em
suma, partindo dos naturais, os conjuntos numricos so descritos pela ampliao das respectivas estruturas algbricas
em decorrncia da necessidade de efetuar uma operao aritmtica fundamental.
Todavia esse procedimento no mantido para a abordagem dos nmeros irracionais, que so apresentados a
partir de uma referncia histrica um tanto anacrnica: A introduo dos nmeros irracionais se imps desde o tempo
dos gregos, pelas necessidades da medida de grandezas em geometria.35 Ele apresentou uma construo geomtrica
dos nmeros irracionais atribuda a Euclides e baseada na existncia de segmentos incomensurveis, como a diagonal
do quadrado construda sobre um segmento unitrio. Segundo Fantappi, a definio euclidiana de nmero irracional
como medida de grandeza incomensurvel com a unidade foi aceita at meados do sculo XIX quando Dedekind e
Cantor procuraram estabelecer as bases da aritmtica de maneira completamente independente da geometria.36 Em
seguida, Fantappi apresenta sua definio de nmero irracional baseando-se na suposta definio de Euclides:
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
215
[...] os dois pares de grandezas considerados A,B e C,D tm em comum duas classes bem definidas de
nmeros racionais: a classe H das medidas por falta e a classe H das medidas por excesso, da primeira
grandeza em relao segunda, em cada par. Esse par de classes de nmeros racionais, chamamos numero
[sic] irracional , que diremos definido pelas duas classes H e H. Este numero irracional ser a razo A:B
ou C:D, ou a medida de A em relao a B ou de C em relao a D.37
Apesar de reconhecer as contribuies de Georg Ferdinand Ludwig Philipp Cantor (1845-1918)38 e Dedekind,
inclusive utilizando posteriormente a definio dos irracionais feita por esse ltimo, Fantappi manteve no seu Curso
a definio geomtrica de nmero irracional que ele atribuiu a Euclides, certamente porque considerou-as anlogas e
compatveis, apesar da definio de Dedekind no fazer nenhuma meno s grandezas ou s suas medidas, muito
pelo contrrio. Para ele, no havia problema algum na utilizao das duas definies, apesar de terem fundamentaes
diferentes, uma geomtrica, outra analtica. Esse padro foi mantido na apresentao de outros tpicos e seguia na
verdade a abordagem geomtrica tal como praticada naquela poca pela tradio matemtica italiana.
Existem, no livro de Catunda, muitas definies anlogas s que foram dadas por Fantappi. Contudo observamos que houve alteraes na redao, embora fossem mantidas as mesmas bases tericas. Por exemplo, Fantappi
apresenta o postulado da continuidade de Dedekind no tpico Representao dos nmeros reais sobre uma reta:
Separados todos os pontos da reta em duas classes no vazias K e K tais que todo ponto de K preceda todo ponto
de K, isto , efetuada uma partio dos pontos da reta, existe sempre um ponto P que, se pertence classe K segue
todos os outros pontos desta classe e precede todos os da outra, e se pertence a K, segue todos os pontos de K e
precede todos os outros de K.39
Por sua vez, Catunda enuncia esse mesmo postulado da seguinte forma: toda partio efetuada entre os pontos
de uma reta orientada determina um ponto A, que ou ltimo da primeira classe, ou o primeiro da segunda.40
216
Granville no trata do conceito de nmero e dos conjuntos numricos da mesma forma que Catunda e Fantappi.
Logo no primeiro captulo do seu livro, intitulado Formulrio, so apresentadas, para a comodidade do leitor, frmulas
elementares da lgebra, da geometria plana, da trigonometria, da geometria analtica plana e espacial. Nesse mesmo
captulo, afirmado que uma equao do 2 grau pode ter duas razes reais e diferentes, duas razes reais e iguais, ou
duas razes imaginrias, a depender respectivamente do valor positivo, nulo ou negativo do discriminante. Aqui, o termo
real no empregado no mesmo sentido moderno em que foi empregado por Catunda e Fantappi, referindo-se aos
elementos abstratos do conjunto dos nmeros reais, tal como definido no sculo XIX, mas no mesmo sentido geomtrico
de existir quantidades ou grandezas positivas, tal como era empregado at o sculo XVIII ou mesmo at meados do
XIX, para se opor ao carter fictcio ou imaginrio das quantidades negativas ou das suas razes. Interpretamos assim,
porque no h nenhuma meno aos nmeros reais ou ao conjunto dos reais em nenhuma outra parte do livro.
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
cest une distinction laquelle on a moins gard dans la haute Gomtrie; on y envisage les quantits sous
un autre aspect particulier, les unes tant considres comme constantes, et les autres comme variables.
2. Une quantit variable est une quantit indtermine, ou, si lon veut, une quantit universelle, qui
comprend toutes les valeurs dtermines.
Une valeur dtermine quelconque pouvant tre exprime en nombre, il sensuit quune quantit variable
comprend tous les nombres de quelque nature quils soient. [...] on peut la concevoir comme embrassant
toutes les quantits dtermines. Au reste, on a coutume de reprsenter les quantits variables par les
dernieres lettres de lAlphabet [...].
3. Une quantit variable devient dtermine, lorsquon lui attribue une valeur dtermine quelconque.
Elle peut donc le devenir dune infinit de manieres, puisquon peut lui substituer tous les nombre imaginables. [...] Ainsi une telle quantit comprend tous les nombres tant positifs que ngatifs, les nombres
entiers et fractionnaires, ceux qui sont rationnels, irrationels et transcendants; on ne doit pas mme en
exclure zero, ni les nombre imaginaires.42
E as mesmas utilizadas por Cauchy em 1821: On nomme quantit variable celle que lon considre comme devant
recevoir successivement plusieurs valeurs diffrentes les unes des autres. On dsigne une semblable quantit par une
lettre prise ordinairement parmi les dernires de lalphabet. On appelle au contraire quantit constante, et on dsigne
ordinairement par une de premires lettres de lalphabet toute quantit qui reoit une valeur fixe et dtermine.43
Granville define funo de forma muito semelhante a Euler: Quando duas variveis esto relacionadas de
modo tal que o valor da primeira conhecido quando se d o valor da segunda diz que a primeira varivel uma
funo da segunda.44
4. Une fonction de quantit variable est une expression analytique compose, de quelque maniere que ce
soit, de cette mme quantit et de nombre, ou de quantits constantes.
[...]
5. Une fonction de variable est donc aussi une quantit variable.
En effet, comme on peut mettre la place de la variable toutes les valeurs determines, la fonction recevra
elle-mme une infinit de valeurs, et il est impossible den concevoir aucune, dont elle ne soit susceptible,
puisque la variable comprend mme les valeurs imaginaires.45
E mais ainda semelhante Cauchy, embora esse ltimo apresente uma definio envolvendo diversas variveis:
Lorsque des quantits variables sont tellement lies entre elles que, la valeur de lune delles tant donne,
on puisse en conclure les valeurs de toutes les autres, on conoit dordinaire ces diverses quantits exprimes
au moyen de lune dentre elles, qui prend alors le nom de variable independante; et les autres quantits
exprimes au moyen de la variable indpendante sont ce quon appelle des fonctions de cette variable.46
Diferentemente de Granville, Catunda apresenta uma definio moderna de funo, embasada em leis de associao
entre nmeros pertencentes a conjuntos portanto, utilizando a linguagem dos conjuntos e no mais nas noes de
variveis ou de expresses analticas, como em Cauchy ou em Euler: Consideremos um conjunto linear C. Se a cada
nmero x de C corresponde, de um modo bem determinado, um nmero y, dizemos que y uma funo de x, definida
no campo C, e escreveremos (1) y = f(x). O conjunto C chama-se campo de definio da funo f.47
A definio de Catunda tambm difere em certo sentido da definio moderna dada por Fantappi, que tambm
usa a linguagem dos conjuntos:
Consideremos um conjunto C de nmeros x, com mais de um elemento. Se a cada nmero x de C corresponde, de um modo bem determinado, um ou mais valores de uma outra quantidade y, dizemos que y
uma funo de x definida no campo C, que se chama campo de definio, e indicamos essa correspondncia com a notao
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
217
y = f(x)
ou por outro smbolo semelhante em que a letra f seja substituda por outra qualquer. Usa-se freqentemente, por exemplo, a notao y = y(x).48
Observemos inicialmente que as definies de Euler, Cauchy e Granville relacionam nmeros, funes, variveis
e constantes com grandezas e quantidades, ao passo que a definio de Catunda relaciona apenas nmeros como
elementos de um conjunto. J a definio de funo de Fantappi associa de um modo bem determinado os nmeros
de um conjunto C, chamado de campo de definio, com um ou mais valores de uma outra quantidade y49, isto , h
certa identificao da noo de nmero com a noo de quantidade, assim como h a possibilidade de uma associao
plurvoca entre x e y e no unvoca, como na definio de Catunda.
A definio moderna de funo, tal como apresentada por Catunda, a base para a definio de continuidade
segundo os padres modernos de rigor institudos a partir do sculo XIX na matemtica, diferentemente do que era
entendido por continuidade no sculo XVIII pelos matemticos em geral.
Por exemplo, Euler, aps dar menos nfase nas representaes analticas, buscou argumentar em torno da
continuidade, estabelecendo uma representao geomtrica de uma funo qualquer a partir da descrio mecnica
de vrias linhas curvas gerais, particularmente linhas retas infinitas, pelo movimento contnuo de um ponto. Para isso,
Euler definiu quantidade varivel em uma linha reta infinita dizendo que:
218
1. Une quantit variable tant une grandeur considre en gnral, qui renferme toutes les valeurs dtermines; une droite indefinie, telle que RS, sera trs propre reprsenter, en gomtrie, une quantit de
cette nature. En effet, puisquon peut prendre sur une droite indfinie, une partie quelconque, qui ait une
valeur dtermine, cette ligne prsente lesprit la mme ide de grandeur, que la quantit variable. Il
faut donc, avant tout, fixer sur une ligne indfinie R S un point A, qui ser cens lorigine des grandeurs
dtermines, quon en sparera; ainsi une portion dtermine AP reprsentera une valeur dtermine
comprise dans la quantit variable.
2. Soit donc x une quantit variable, reprsente par la droite indfinie RS; il est clair que toutes les valeurs dtermines de x, pourvu quelles soient relles, peuvent tre exprimes par des portions prises sur
la ligne RS.50
ento fazendo uso dessa concepo de quantidade varivel que Euler trouxe a representao geomtrica de
uma funo qualquer da seguinte forma: 4. [...]. Soit y cette fonction de x; laquelle par consquent recevra une valeur
dtermine, si on substitue pour x une valeur donne. Ayant pris une droite indfinie R A S pour reprsenter les valeurs
de x, il faudra, pour chaque valeur dtermine A P de x, lever sur cette ligne une perpendiculaire PM, gale la valeur
correspondante de y [...].51 A partir dessa representao geomtrica de uma funo, Euler concluiu que:
6. [...]. Ainsi chaque fonction de x, raporte de cette manire la gmetrie, donnera une ligne droite ou
courbe, dont la nature dpendra de celle de la fonction y.
7. On connot [sic] parfaitement, en suivant ce procd, la ligne courbe qui rsulte de la fonction y, puisque
cest cette function qui en dtermine tous les points []
8. []. Ainsi une fonction quelconque de x donnera une certaine ligne droite ou courbe; do il suit que
rciproquement on pourra rapporter aux fonctions les lignes courbes.52
Dentro desse contexto, Euler afirmou que da ideia de linhas curvas decorre a sua diviso em contnuas uma
nica funo definida sobre x e, descontnuas ou mistas e irregulares funes que no so exprimidas por apenas
uma nica lei constante, uma vez que so formadas por partes de diferentes curvas contnuas.53
Assim, baseando-nos nessas colocaes do prprio Euler, parece-nos mesmo considerando que se referia a uma
definio de funo diferente ao contexto que foi modernamente estabelecido, uma vez que tratava de um modo geral
de funes analticas que ele considerou a continuidade como inerente s funes trabalhadas, j que supunha, tal
como outros matemticos de sua poca, que as suas funes eram bem comportadas, ou seja, sempre contnuas.
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
Em suma, definies modernas de funo, limite e continuidade foram apresentadas de acordo com certo padro
de rigor institucionalizado pelos matemticos apenas no final do sculo XIX, principalmente depois de Weierstrass.
Continuidade e limite
Catunda apresentou primeiro uma explicao no-rigorosa de continuidade: pode-se dizer, de maneira pouco
rigorosa, que uma funo contnua quando para pequenas variaes da varivel independente, ela tambm sofre
pequenas variaes54. Comparemos essa explicao com aquela apresentada por Cauchy: [...] la fonction f(x) restera
continue par rapport x entre les limites donnes, si, entre ces limites, un accroissement infiniment petit de la variable
produit toujours un accroissement infiniment petit de la fonction elle-mme.55 Note-se que Catunda no utiliza infinitamente pequeno como Cauchy, mas era essa na verdade a forma usual de definir continuidade antes da aritmetizao
da anlise, e foi por isso que ele qualificou-a de pouco rigorosa. Todavia, mais adiante, ele define continuidade de
acordo com os padres modernos estabelecidos por Weierstrass na segunda metade do XIX, com o uso de e :
[...] diz-se que uma funo f, definida num campo linear C, contnua em um ponto de acumulao a
de C, se tivermos
(1) lim f(x) = f(a)
xa
[...] Mais explicitamente, notando que pela definio tanto a como f(a) devem ser finitos, podemos dizer
que f(x) contnua em a, se a cada nmero >0 corresponde um [sic] >0, tal que a condio
(2)x a
acarreta
(3)f(x) f(a) 56
Esta no foi a linguagem utilizada por Granville na sua abordagem de continuidade, que nem sequer explicou a
noo conforme Cauchy. Numa nota de rodap, ele comentou que as funes utilizadas no livro sero sempre contnuas
para todos os valores de x, exceto certos valores isolados. Depois de apresentar um exemplo, ele generalizou a noo
de continuidade: supondo a funo f(x) definida num ponto a, se o seu limite quando x tende a a for igual ao valor da
funo para x =a, ento essa funo se diz contnua para x = a. Ou seja,
Se lim f(x) = f(a), ento f(x) contnua em x = a 57
xa
Vale salientar que essa definio no fazia parte do clculo infinitesimal desenvolvido por Leibniz
e Newton, embora, de um modo geral, Granville siga as ideias preconizadas por esses matemticos e de
outros do sculo XVIII, como Euler.
At o sculo XIX, os matemticos buscavam uma teoria de fundamentao para o clculo em bases livres de
conceitos metafsicos, tal como a concepo dos infinitesimais dada com argumentaes diferentes e de forma independente por Leibniz e por Newton. De modo geral, Leibniz e Newton, sem demonstrar os seus princpios, supunham
que quantidades que se diferem apenas por uma quantidade infinitamente pequena poderiam ser consideradas iguais58
Dentre aqueles que buscaram uma nova fundamentao para o clculo podemos citar Joseph Louis Lagrange (17361813). Diferentemente e discordando de outros matemticos, a exemplo de Jean Le Rond dAlembert (1717-1783),
que procurou dar uma resposta para essa questo atravs de um conceito de limite essencialmente geomtrico,59
Lagrange construiu o mtodo de clculo das funes derivadas com base nas sries de potncias, demandando apenas
operaes algbricas. Nesse sentido, Lagrange faz a seguinte exposio:
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
219
Considrons donc une fonction fx dune variable quelconque x. Si la place de x, on y met x + i, i tant
une quantit quelconque indtermine, elle deviendra f(x + i), et par la thorie des sries, on pourra la
dvelopper en une srie de cette forme
fx + pi + qi2 + ri3 + ...,
dans laquelle les quantits p, q, r, etc., coefficients des puissances de i, seront de nouvelles fonctions de
x, drives de la fonction primitive x, et indpendantes de lindtermine i.60
O esforo de analistas do sculo XVIII, como dAlembert e Lagrange, em fundamentar o clculo sem contradies
lgicas, abriram caminho para os matemticos do sculo XIX, a exemplo de Cauchy, construrem uma definio de
limite fazendo uso de nmeros, variveis, funes, sem apelo a intuio geomtrica.
Desta forma, entendemos que o clculo que Cauchy e tantos outros matemticos do sculo XIX ajudaram a
transformar no foi construdo de um espao vazio, muito pelo contrrio. Nesse processo houve a apropriao de muitos
conceitos trabalhados por Newton e Leibniz e seus seguidores. Isto, de certa forma, justifica termos percebido que
Granville, no seu livro, se aproxima tambm das ideias apresentadas por Cauchy nas primeiras dcadas do XIX, como
acontece por exemplo com a definio de limite de uma varivel:
Diz-se que a varivel v tende a uma constante l, ou que o limite de v l, se, dado um nmero positivo
qualquer e, ainda que muito pequeno, os valores sucessivos de v se aproximam de l de modo tal que a
diferena v l seja, em valor absoluto, menor do que . Escreve-se lim v = l. Usa-se, tambm, por comodidade, a notao v l, que se l v tende a l(alguns autores usam a notao v l).61
Lorsque les valeurs successivement attribues une mme variable sapprochent indfiniment dune valeur fixe, de manire finir par en diffrer aussi peu que lon voudra, cette dernire est appele la limite
de toutes les autres.62
220
Mas, apesar de definir inicialmente o limite de uma varivel, Granville apresenta-nos tambm o limite de uma
funo:
Temos uma varivel v e uma dada funo z de v. A varivel independente v toma valores tendendo a l e
temos que examinar os valores da varivel dependente z, em particular, determinar se z tende a um limite.
Se existe uma constante a tal que lim z = a, ento se escreve
lim z = a,
vl
que se l limite de z, quando y tende a l, igual a a.63
Catunda apresentou inicialmente uma histria do conceito matemtico de limite, trazendo referncias s definies
de Cauchy e de Bolzano,64 ambas elaboradas no sculo XIX. Diferentemente de Fantappi, que em seu Curso apresentou somente uma definio formal de limite, Catunda primeiramente definiu limite da seguinte forma: [...] pode-se
definir o limite de uma funo y= f(x) qualquer, definida em um campo C com ponto de acumulao a, da seguinte
maneira: dizemos que f(x) tem limite b, ou que f(x) tende a b (f(x) b) para x tendendo a a (xa) se, quando x varia
aproximando-se de a, o valor de y torna-se cada vez mais prximo de b.65
Segundo Catunda, a noo um pouco vaga de proximidade, ou de aproximao, pode-se tornar mais rigorosa e
mais geral quando se usa a noo de vizinhana66. Nessa sua escolha, buscava conciliar sempre que possvel aquilo
que entendia como rigor com aquilo que chamava de intuio. Nesse sentido, Catunda acreditava que os alunos,
ao conseguirem dar um significado s teorias da matemtica, poderiam ampliar os seus conhecimentos sobre essa
rea, que se tornariam intuitivos na medida em que internalizavam novas teorias. Para tanto, considerava que tais
teorias se tornariam intuitivas se elas fossem trabalhadas inicialmente recorrendo a exemplos do mundo sensorial ou
de desenhos. Desse modo, segundo o prprio Catunda, quando introduzia o conceito de curvatura, chamava a ateno
dos seus alunos para a ideia corrente de curva mais ou menos fechada, como no caso da trajetria de um automvel;
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
ou mesmo quando fazia uso do teorema da existncia e unicidade das equaes diferenciais ordinrias, invocava as
figuras, formadas pela limalha de ferro em um campo magntico, em que apareciam as linhas de fora, tornando, para
ele, tal teorema intuitivo.67 Ratificando Catunda, Gilberto Loibel, que foi seu aluno em 1953 e 1954, disse que:
a- no curso de equaes diferenciais parciais lembro que ele usava desenhos, por exemplo para descrever
como seria possvel obter as superfcies integrais como limite de superfcies polidricas multifacetadas que
representariam pedaos de planos tangentes. Usava tambm gestos com as mos para descrever figuras
espaciais. b- em uma conferncia que assisti em meu tempo de estudante o prof. Catunda explanou sua
viso sobre a intuio matemtica. Ele afirmava algo assim: Na medida em que um matemtico amplia
seus conhecimentos ele incorpora em seu acervo novos contedos, conceitos, resultados que sero intuitivos
para ele assim que ele os domina perfeitamente. Assim o que teoria difcil para um iniciante torna-se
material intuitivo para quem j avanou mais. No existe algo intuitivo em si, mas algo intuitivo para
uma determinada pessoa.68
Essa proposta de Catunda contrasta com outras obras modernas, tal como Foudations of modern analysis, de Jean
Dieudonn, integrante do grupo Bourbaki, que se propunha a construir toda a matemtica com base nas estruturas, e.g.
de ordem, algbricas, topolgicas, privilegiando os mtodos algbricos e analticos. De fato, a anlise moderna no
acompanhada de interpretaes geomtricas nesse livro.
Catunda, apesar de ter tido contato com Jean Dieudonn no perodo em que este trabalhou na USP e de ter
efetivamente utilizado o Foudations of modern analysis na atualizao do primeiro volume do seu livro publicado em
1962, afirmou que recorreu sempre que possvel intuio geomtrica antes de apresentar um determinado assunto
de forma rigorosa. Assim, somente aps apresentar limite de uma forma que ele chamou de intuitiva, definiu limite
formalmente:
A funo y=f(x) tem limite b para x tendendo a a, se a cada vizinhana de b corresponde uma vizinhana de a, tal que para todo ponto xa do campo C, pertence vizinhana , o valor de y est na
vizinhana .
[...]
No caso das funes definidas no campo real e com valres reais, podemos considerar primeiramente o
caso em que a e b so finitos, e limitar a considerao s vizinhanas simtricas dsses pontos. Podemos
dizer portanto que y tende a b, para x [] a, quando, dado o nmero > 0 arbitrrio, se pode determinar
em correspondncia um nmero positivo , tal que para todo x de C satisfazendo condio
0 <x a
temos, para o valor do y = f(x) correspondente,
y b 69
Na sequncia, Catunda demonstra uma srie de teoremas sobre limites e funes contnuas. Justifica que os teoremas servem de base para o clculo de limites.[e que] Dsses teoremas se deduzem as propriedades correspondentes
das funes contnuas70. De forma similar ao Curso de Fantappi, enuncia, por exemplo, o teorema 3, dizendo que:
Se duas funes y1 e y2 de x, definidas no mesmo campo de C, de que a ponto de acumulao, tm limites
finitos para xa, ento temos tambm,
(1) lim (y1 + y2) = lim y1 + lim y2
xa
xa
xa
xa
xa
Para provar a igualdade (1) Catunda, analogamente a Fantappi, faz a seguinte demonstrao:
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
221
Com efeito, sejam lim y1= b1 e lim y2 = b2. Dado ento >0 arbitrrio, podemos determinar uma vizinhana
de a onde se tenha ao mesmo tempo, para xa, y 1 - b1 /2 e y 2 - b2 /2. Destas igualdades
segue-se:
(y1 + y2) (b1 + b2) ,
que demonstra a igualdade (1).72
Catunda no recorreu noo de infinitsimos para provar esse e outros teoremas, tal como fez Granville, que definiu
primeiro infinitsimo, demonstrou teoremas relativos aos infinitsimos, para depois utiliz-los nas provas dos teoremas
sobre limites. Granville diz que infinitsimo ou infinitamente pequeno uma varivel v que tende a zero: lim v = 0 ou
v0. Assim, segundo ele, decorre que: Se lim v = l, ento lim (v l) = 0, isto , a diferena entre a varivel e o seu
limite um infinitsimo. Reciprocamente, se a diferena entre uma varivel e uma constante um infinitsimo, ento
a varivel tende constante.73 Os teoremas relativos aos infinitesimais demonstrados na obra de Granville so:
I - Uma soma algbrica de n infinitsimos um infinitsimo, sendo n um nmero fixo.
[...]
II - O produto de uma constante c por um infinitsimo um infinitsimo;
[...]
III - O produto de n infinitsimos um infinitsimo, sendo n um nmero fixo;
[...]
IV Se lim v = l e l diferente de zero, ento o quociente de um infinitsimo i por v tambm um infinitsimo.74
Baseado nesses teoremas, Granville demonstra trs teoremas sobre limites:
222
(1) lim (u + v w) = A + B - C
xa
(2) lim (u.v.w) = ABC
xa
(3) lim u/v = A/B, se B no zero
xa
onde, u,v e w so funes de uma varivel x e que
lim u = A; lim v = B; lim w = C 75
xa
xa
xa
f(x) f(xo)
(x xo)
Catunda apresentou tambm uma interpretao geomtrica de forma anloga da que foi exposta por Fantappi
na sua apostila:
223
y yo
PoQ x xo
78
Prosseguindo a interpretao geomtrica da derivada, da mesma forma que Fantappi, Catunda afirma que, se
x tender a xo, o ponto P, que est sobre a curva, tender a Po, e se a razo (2) tiver um limite finito, ou seja, y = f(xo),
a reta PoT, de coeficiente angular y, ser a posio limite para a qual a secante varivel PoP deve tender. Assim, PoT
dita tangente da curva y = f(x) e a sua equao em coordenadas correntes X e Y (y yo) = y(x xo).
Catunda enfatiza que, no caso de os eixos serem retangulares, a derivada y ser igual tangente trigonomtrica
do ngulo que a tangente curva no ponto P0 forma com o eixo Ox. Desse resultado, Catunda deduziu tambm que
a equao da normal (x xo) + y(y yo) = 0.
Desse modo, Catunda faz a interpretao geomtrica da derivada a partir do desenho da curva da equao
y=f(x), tentando, no nosso entendimento, ilustrar geometricamente a definio algbrica de derivada, diferentemente
de Granville, que preferiu fazer essa interpretao, no seu livro, a partir de uma regra geral de derivao, subdividida
em quatro passos, a saber:
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
Em nossa leitura, Graville pareceu mais preocupado em apresentar diretrizes preestabelecidas para resolver uma
srie de problemas prticos do que com a questo da compreenso da definio de derivada. Fato, de certa forma,
muito comum no s entre os autores de livros, mas tambm daqueles que gerenciavam o ensino da matemtica
nas instituies de nvel superior dessa poca, nas quais as teorias da matemtica eram apenas uma ferramenta para
viabilizar a prtica da engenharia, sem existir uma preocupao prvia com a origem e com as limitaes que as regras
preestabelecidas poderiam ter dentro das teorias estudadas.
Aps a interpretao geomtrica do quarto passo da regra geral, Granville enuncia o seguinte teorema: O valor
da derivada na abscissa de um ponto de uma curva igual ao coeficiente angular da tangente curva nesse ponto.80
Tal teorema importante, segundo ele, nas aplicaes do clculo diferencial geometria razo pela qual ele considera
necessrio [...] primeiro, recordar a definio de reta tangente a uma curva num ponto P da curva.81 Ainda em suas
prprias palavras:
Por P e por um outro ponto Q da curva (V. figura) tracemos uma reta PQ.
Fazendo Q tender a P, movendo-se sobre a curva, a reta PQ girar em torno
de P e a sua posio a tangente em P.
Seja
(1) y=f(x)
224
Assim, Granville derivou a equao y=f(x) pela regra geral de derivao j apresentada anteriormente.
Vale notar que, alm da anlise de Catunda ter buscado argumentos diferentes daqueles utilizados por Granville,
ela ainda o excede quando discute que se a razo
(2)
QP
y yo
PoQ x xo
tem limite infinito para x x0, isso corresponderia a uma tangente paralela ao eixo Oy, cuja equao seria X =xo
e, se os eixos forem ortogonais, a normal seria paralela ao eixo Ox, de equao Y= yo.
Desse modo, concluiu que: [...] a condio necessria e suficiente para que uma curva de equao (1) [y=f(x)]
tenha tangente em seu ponto P0(xo,yo) que a razo incremental (2) tenha limite para x 0; para que exista tangente no paralela a Oy, necessrio e suficiente que sse limite seja finito, isto , que exista a derivada f(xo).83
Catunda finalizou a sua interpretao geomtrica da derivada de uma funo fazendo uma discusso que no
vista no Curso de Fantappi. Tal discusso sobre os problemas da determinao da tangente, quando esta dada em
equaes paramtricas. Argumenta que a equao assim definida pe o problema da determinao da tangente sob
uma forma mais simtrica e elegante. Em outro momento, Catunda faz uma longa interpretao mecnica da primeira
e da segunda derivada. Escreve, dentre outras coisas, que a noo de derivada no tem s aplicao na fsica e na
mecnica, mas tambm em cincias como a biologia, a sociologia e a psicologia.
Ainda nesse captulo, do mesmo modo como exposto no Curso de Fantappi, Catunda demonstrou as regras de
derivao. Contudo, afirmou que os teoremas sobre as regras de derivao so baseados nos teoremas sobre limites,
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
vlidos tanto para a derivada esquerda como para a derivada direita das funes consideradas. As igualdades
demonstradas so:
a) (y z) = y z;
b) (ky)= ky ( k constante);
c) (yz) = yz + yz
d) (y)/z = (zyyz)/z2 ( supondo z 0 no ponto x)
Onde, segundo Catunda, y e z so duas funes de x definidas num mesmo intervalo e derivveis (e portanto
contnuas) num ponto x do mesmo84. Essas igualdades so demonstradas por Catunda sem fazer uso da regra geral
ou regra dos quatro passos utilizada por Granville na demonstrao das regras de derivao. Por exemplo, a derivada
de uma soma demonstrada por Granville como:
Seja y = u + v w
Pela Regra Geral,
Primeiro Passo. y +y = u + u +v+ v w -w.
Segundo Passo. y = u + v - w.
Terceiro Passo. y
x
u + v - w.
x
Ora (24) [neste momento Granville recorre sua definio de derivada de uma funo de uma varivel:
Derivada de uma funo o limite da razo do acrscimo da funo para o acrscimo da varivel independente, quando este ltimo tende a zero85]
lim
u = du ; lim
x0 x dx
v = dv ; lim
x0
dx
225
w = dw
x0
dx
dx
d (u+ v w)
dx
dx dx
du + dv dw .
dx
dx
dx
Em Catunda, a derivada anloga demonstrada a partir da considerao de que: As regras [ou seja, referentes
s regras de derivao] a) e b) exprimem que a operao de derivao de uma funo uma operao linear, isto ,
distributiva em relao soma e permutvel com o produto por uma constante.87
Complementa informando que: Para demonstrar, indiquemos em geral com f o incremento de uma funo f,
relativa ao incremento x da varivel independente. E continua:
[...] a) (y z) = (y +y) (z +z) (y z) = y z
x
e passando ao limite para x0 temos a primeira frmula [igualdade a)] a qual se estende para o caso de
um nmero finito qualquer de parcelas. 88
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
Consideraes finais
Depois dessa anlise comparativa do livro Curso de anlise matemtica de Omar Catunda com os livros Elementos de clculo diferencial e integral de Granville, Curso de anlise matemtica de Fantappi e Foundations of modern
analysis de J. Dieudonn, identificamos alguns elementos que indicam ao nosso juzo a sua forma peculiar de se
apropriar da anlise matemtica moderna, caracterstica da sua contribuio para a institucionalizao da matemtica
moderna no Brasil, na medida em que esse livro foi largamente difundido e utilizado89 nos cursos de matemtica em
vrias regies do pas.
Como destacamos na introduo, as abordagens modernas do clculo e da anlise matemtica, dentre as quais
inclumos o livro de Catunda, caracterizam-se em geral pela utilizao de conceitos modernos de nmero e de funo,
base para a abordagem dos limites, das derivadas e da continuidade na linguagem dos conjuntos, com as notaes
em psilons e deltas, diferenciando-se das abordagens anteriores, como aquela adotada por Granville, nas quais esto
ausentes esses conceitos, incluindo a abordagem das derivadas que feita com base nos infinitsimos e das demonstraes e provas que no atendem aos mesmos padres de rigor alcanados nos tratados modernos.
226
Dentro dessa perspectiva, na historiografia da matemtica podem-se evidenciar alguns aspectos do processo
de constituio da matemtica moderna, tais como: profissionalizao, disciplinarizao, especializao, unificao e
generalizao do mtodo cientfico, que baseado, dentre outros, na algebrizao e na axiomatizao. Tal processo
comeou a ser constitudo principalmente a partir do sculo XIX, portanto no era um padro na matemtica praticada
antes desse perodo, que hoje chamamos de clssica. A prtica da matemtica no perodo prioritariamente anterior ao
sculo XIX se confundia, por exemplo, com a fsica e os seus ramos como a mecnica e a astronomia, pois no se tinha
estabelecido a matemtica como um campo disciplinar autnomo de investigao. Ainda, o desenvolvimento da lgebra
tornou-se outro ponto fundamental para a constituio da matemtica moderna. A lgebra passou a ser imprescindvel
no estudo das relaes matemticas. At o comeo do sculo XIX, ela no era mais que a teoria das equaes, que
eram geralmente associadas a problemas particulares, cujas solues eram quase sempre dadas abordando cada caso
em separado, isto , atravs do mtodo sinttico.90 Assim, os matemticos tomaram a aritmtica como a linguagem
da lgebra e instituram uma nova caracterizao para os nmeros. Estes deixaram de ser associados ideia emprica
de quantidade para serem concebidos como smbolos abstratos, sem qualquer referncia realidade concreta.
Catunda segue esses padres modernos no seu livro de anlise matemtica, mas no apenas na abordagem
moderna clssica da anlise, tendo em vista que se apropriou tambm das ampliaes da anlise nos campos algbricos e topolgicos, seja por conta da influncia de Fantappi no trabalho com os funcionais analticos, seja por conta da
influncia da escola Bourbaki, seja por conta da influncia americana decorrente do perodo em que passou nos Estados
Unidos91 e dos contatos posteriores. Todavia, Catunda tinha uma caracterstica que era prpria, expresso dessa sua
formao ecltica, resultante dessa diversidade de influncias cientficas recebidas: a proposta metodolgica e didtica
de associar aquilo que chamava de intuio, concretizada sempre pelos exemplos e referncias geomtricas, com aquilo
que chamava de rigor, na adeso aos padres de linguagem, analticos e lgicos, tpicos da matemtica moderna.
De fato, ao longo da sua trajetria profissional, Omar Catunda atualizava continuamente a sua cultura cientfica
e os seus conhecimentos matemticos. Isso contribuiu para que ele assimilasse no seu Curso todas as influncias a
que foi submetido, fossem da escola bourbakista, fossem os cursos de clculo avanado de origem americana, sem
se esquecer, claro, da tradio italiana. por isso que se destaca o tempo todo, tanto nas aulas ministradas, quanto
nas pginas do livro, uma referncia sistemtica geometria sempre acompanhada do tratamento algbrico-analtico
dos assuntos e uma abordagem didtica baseada na complementaridade entre o que chamava de intuio e os
padres vigentes de rigor. Catunda acreditava firmemente que essa abordagem ajudaria os alunos na aprendizagem
dos assuntos ensinados.
Todavia, essa abordagem didtica no foi determinante para o sucesso do livro de Catunda entre os estudantes
e professores, segundo depoimentos de alguns dos seus ex-alunos, uma vez que suas aulas e seu livro eram reconhe-
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
cidos como pouco acessveis, complexos e de difcil compreenso. Na verdade, houve lugares em que esses foram
motivos para que a anlise matemtica moderna fosse mal recebida e rechaada.92 Portanto, ao nosso juzo, combinaram-se dois fatores primordiais para que o Curso de anlise matemtica de Omar Catunda cumprisse o seu papel na
institucionalizao da matemtica moderna no Brasil: para que a corporao cientfica e profissional de matemticos
que se formava no Brasil naquele perodo iniciasse seu processo de reconhecimento internacional era crucial a institucionalizao de prticas e de conhecimentos matemticos nos espaos de ensino e pesquisa segundo os padres
e as referncias vigentes internacionalmente; consequentemente, a anlise matemtica, uma das reas tradicionais
de pesquisa matemtica no mbito internacional, abordada segundo esses padres, ocuparia naturalmente um lugar
fundamental na formao dos novos profissionais da rea. Por outro lado, sendo a FFCL-USP um dos centros onde se
iniciou a institucionalizao da matemtica moderna no Brasil,93 Omar Catunda, seu primeiro catedrtico de anlise
matemtica, tinha naturalmente reservado um lugar de destaque nesse processo, que ocupou efetivamente, dentre
outras formas, com a publicao do seu Curso.
Sem ter como objetivo estabelecer uma controvrsia acerca da prioridade, cabe destacar que o livro de Catunda,
por ser uma das primeiras obras de anlise matemtica moderna publicada no pas em lngua verncula, tornou-se
efetivamente um instrumento privilegiado da difuso desse ramo da matemtica moderna no Brasil, pois foi durante
muito tempo a nica ou principal referncia para muitos estudantes e professores, que ainda hoje considerado por
muitos como um livro bem escrito, moderno e rigoroso.
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
227
228
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010
229
230
Revista Brasileira de Histria da Cincia, Rio de Janeiro, v. 3, n. 2, p. 211-230, jul | dez 2010