Histria da Funo de Leibniz at Euler: O Perodo da Dicotomia

No sculo XVII, o conceito de funo apresenta considervel avano por meio

de Descartes (1596-1650) e Fermat (1601-1665). Na mesma poca, iniciaram-se os
estudos sobre o mtodo analtico para introduzir relaes, trabalhando com as equaes
indeterminadas (vrias solues) envolvendo variveis contnuas. Essa noo de
varivel foi fundamental para o desenvolvimento do clculo (COSTA, 2004, p. 22).
A histria da Matemtica, conforme Otte, de Descartes Comte (1798-1857),
descrita:
Pela universalizao da comparao, sobretudo com a ajuda do
conceito matemtico de funo. O que existe de especial no conceito de
funo que ele pode ser ao mesmo tempo concebido como objeto e como
operador, e que da em diante, de acordo com a interpretao, surgem
diferentes formas de encadeamento (1993, p. 274).

Na metade do sculo XVIII do-se os prolegmenos para o incio da ruptura na

Matemtica mencionada por Boutroux que ocorreria no prximo sculo. Neste tempo
surgem Newton (1642-1727) e Leibniz (1646-1716), que so considerados como os
grandes expositores do Clculo Diferencial e Integral. Segundo Pelho:
Newton quem estabeleceu pela primeira vez o termo especfico para funo,
ao utilizar o nome de fluentes para representar algum relacionamento entre
variveis. Ele descreve suas ideias de funo ligadas noo de curvas e a
taxas de mudana de quantidades que variam continuamente (2003, p. 20).

Enquanto Leibniz, o homem que por vezes considerado como o ltimo sbio
que possuiu o conhecimento universal no responsvel pela moderna notao para
funo, mas a ele que se deve a palavra funo, praticamente no mesmo sentido em
que usada hoje (BOYER, 1968, p. 280).
Contudo, para esses dois matemticos a principal finalidade era estudar curvas
geomtricas, ou seja, os problemas que deram origem ao clculo eram geomtricos e
cinemticos, eles no visavam exatamente s funes matemticas no conceito
moderno.
Apesar da gnese do conceito de funo ser anterior a Leibniz e seus
contemporneos (...) o termo funo foi usado pela primeira vez por Leibniz,

em manuscritos datados de 1673 e, em particular, no La mthodo inverse des

tangentes ou au sujet des fonctions (O mtodo inverso das tangentes ou sobre
as funes), para designar quantidades geomtricas variveis relacionadas a
uma curva como, por exemplo, coordenadas, tangentes, subtangentes, raios
de curvatura, etc. (DAHAN-DALMEDICO; PEIFFER apud PALARO, 2006,
p. 110).

Boutroux, explica que a noo central da cincia de Descartes e Leibniz era o

signo ou o smbolo, onde a lgebra e a anlise algbrica eram uma arte simblica,
principalmente por este motivo que atualmente a notao do Clculo de Leibniz
mais utilizada do que a de Newton, pois a simbolizao torna mais importante.
Analisando por este prisma, tanto a matemtica de Descartes e Leibniz do sculo XVII e
XVIII quanto de Euler e Lagrange (1736-1813) so baseadas na combinao de
signos, ou seja, uma matemtica sinttica, enquanto a matemtica pura dos sculos XIX
e XX como a de Cauchy uma cincia de conceitos, ou melhor, uma matemtica
analtica.
Mas quem foi Euler e quais as suas contribuies para o desenvolvimento do
conceito de funo?
Leonhard Euler (1707-1783) nasceu na Sua e em vida publicou cerca de 530
trabalhos entre artigos e livros. Otte afirma que Euler foi o maior matemtico do sculo
XVIII, uma personalidade como cientista que se sobressai na histria da cincia pela
variedade e quantidade de sua produo cientfica (OTTE, 1993, p. 228). Euler foi o
construtor das notaes mais bem sucedidas de todos os tempos, entre estas se encontra
uma importante notao, que a f(x) usada para uma funo de x (BOYER, 1968 p.
305).
Para as exigncias da Matemtica do sculo XIX Euler no pensava em funo
de um modo formal, mas na verdade confundiu a funo com suas representaes,
sejam essas representaes uma curva traada mo livre sobre um plano ou qualquer
expresso analtica formada daquela quantidade varivel e de nmeros ou quantidades
constantes (BOYER, 1968, p. 306).
Este matemtico escreveu um trabalho intitulado Introduction in Analysin
Infinitorum (Introduo Anlise Infinitesimal) em 1748; que nos dias atuais define a
estrutura inicial da Matemtica nas universidades. Nesta obra Euler chamou de
quantidades constantes as iniciais do alfabeto a, b, c, etc. E de quantidades variveis as
ltimas letras do alfabeto z, y, x etc. (EULER, 1980).

Na referida obra Euler explica a diferena entre funo contnua e funo

descontnua segundo a sua viso, que logicamente, era baseada nos signos e na
combinao de signos e em frmulas relacionadas Matemtica de sua poca. Para ele,
uma funo contnua quando formada por uma nica expresso analtica. Enquanto
as funes formadas por mais de uma expresso analtica, mesmo que o grfico fosse
formado por apenas uma curva, eram consideradas como funes descontnuas
(PALARO, 2006, p. 115).
Na verdade no existia uma definio geral para o conceito de funo, havia
vrios tipos de funes, como funes trigonomtricas, funes transcendentais, funes
lineares etc., que eram estudadas e definidas separadamente, sendo que algumas funes
poderiam ser classificadas como funes contnuas. O conceito geral de funo como
relao entre conjuntos surgiram apenas no sculo XIX. Para tanto, foi necessrio uma
definio mais clara e correta do conceito de continuidade.

A Transformao de Ideia da Funo durante o Sculo XIX

No incio do sculo XIX floresce um novo movimento com um conhecimento

composto por novos objetos trazidos para o pensamento, onde a partir desses objetos
eram gerados novos conhecimentos. O conceito de funo foi uma pea fundamental
para que todas essas ideias aflussem. Otte afirma que este conceito representa o
verdadeiro ncleo da famosa revoluo do rigor, introduzida em 1821 pelo Cours
dAnalyse, de Cauchy. Tentava-se reduzir o conceito de funo ao discreto, aritmtica
dos nmeros naturais, e assim eliminar a continuidade (OTTE, 1993, p. 223).
Este sculo conhecido como o sculo do rigor matemtico. Para represent-lo
Boyer o destaca como: o perodo do rigor na Matemtica (1968, p. 358) o autor ainda
escreve:
Mais do que qualquer outro perodo, o sculo dezenove merece ser
considerado a Idade de Ouro na Matemtica. Seu crescimento durante estes
cem anos de longe maior que a soma total da produtividade em todas as
pocas precedentes. O sculo foi tambm, excetuado talvez a Idade Herica
na Grcia antiga, o mais revolucionrio na histria da Matemtica (BOYER,
1968, p. 343).

Ocorreu um desligamento entre o conceito de funo e as modalidades concretas

e isto traz hoje certas dificuldades cognitivas.
Essa transformao pode ser observada por meio da dificuldade que se
apresentou no desenvolvimento do conceito de funo contnua, principalmente pela
forma como Euler o definiu, pois o conceito de funo contnua a pea fundamental
para se entender o desenvolvimento da Matemtica e as suas principais mudanas no
sculo XIX.
De acordo com Otte (1993) a identificao entre conceito e smbolo a qual fazia
a forma de representao simblica da funo uma caracterstica fundamental da
continuidade, trouxe grandes dificuldades e imprecises, pois a mesma funo poderia
ser caracterizada como uma funo contnua e tambm por representaes
descontnuas. Cauchy preocupado com este problema concebeu o conceito de funo
contnua, utilizada at os dias atuais.
Para o matemtico Pierre Boutroux um dos mais importantes conceitos da
anlise moderna o conceito de funo matemtica (BOUTROUX, 1920, p. 164,
traduo nossa). O autor complementa:
Na prpria anlise: temos antes todo o trabalho da concepo de
funo y(x), isto dizer, uma intuio da lei matemtica aps a qual,
quando escolhemos um valor arbitrrio de x, encontra-se certo valor
de y para o mesmo desgnio, s depois esforamo-nos para obter
equaes que exprimam o menor mal possvel desta estranha relao
das duas variveis x e y (BOUTROUX, 1920, p. 206, traduo nossa).

Segundo Boutroux o mais difcil para entender era exatamente o fato que entre
dois termos variando simultaneamente existe uma relao constante. A dificuldade
sempre distinguir entre representao, fato ou objeto representado.
Atualmente, para os matemticos mais fcil aceitar o conceito de funo
contnua, entretanto, no ensino esses problemas permanecem, pois o professor
seduzido a ensinar por meio de exemplos, porm um exemplo s pode ser usado base
de uma representao, por isso, nos dias atuais tem sido difcil concordar com esta
concepo abstrata do conceito de funo, que transforma logo de incio o prprio
conceito num objeto completamente desconhecido.
Como afirma Boutroux: a correspondncia matemtica no uma consequncia
das operaes algbricas, mas o prprio objeto que as determinam (BOUTROUX,
1920, p. 206, traduo nossa). Ou seja, existe uma relao objetiva, que no deveria ser

confundida com uma representao, mas que mesmo assim pode ser introduzida na
atividade matemtica atravs de uma representao particular.
Como j foi mencionado, em 1920 Boutroux escreveu o livro O ideal Cientfico
dos Matemticos, neste trabalho o autor defende a tese de que houve no apenas uma
revoluo, mas tambm uma ruptura na Histria da Matemtica ocorrida no final do
sculo XVIII, que apresentou como base dois eventos. No primeiro evento, a
Matemtica deixa de ser uma cincia sinttica e torna-se uma cincia analtica, no
segundo, houve uma quebra da harmonia entre os meios e os objetos da Matemtica.
Segundo a viso de Boutroux, a Matemtica nos sculos XVII e XVIII era
propriamente sinttica, os matemticos se preocupavam com o caminho para se chegar
aos resultados e se interessavam pela maneira ou pelo mtodo.
Enquanto que a concepo analtica da Matemtica nos sculos XIX e XX no
est preocupada com o caminho, a tarefa ou a demonstrao, mas com o prprio objeto.
Boutroux deixou bem claro isto quando afirmou:
O que costumava ser mais interessante, era a demonstrao, que foi os
processos e o sucesso dos clculos; os resultados e as combinaes obtidas
podendo evidentemente divergir em todos os sentidos e ser multiplicado ao
infinito, no se tinha lugar para atar um grande valor a sua enumerao; a
unidade que perseguia a cincia no podia ser uma unidade de mtodo.
Atualmente, ao contrrio, isto que conta o resultado que d ao trabalho
sua unidade; os artifcios da demonstrao so apenas trabalhos de arte sem
os quais, ns que no sabemos voar, estaramos fora do estado de superar as
dificuldades e os acidentes do terreno que se encontram sobre nosso caminho
[...]. As verdades matemticas so fatos objetivos, independente de ns e que
descobrimos e analisamos, de certa maneira, exteriormente [...]. Inclinamonos, por outro lado, a ver na demonstrao o instrumento e no o fim da
cincia (BOUTROUX, 1920, p. 211-212, traduo nossa).

Boutroux ainda exemplifica esta mudana quando relata sobre a teoria das
equaes algbricas de grau n: anxn + an-1xn-1 +...+ ax + a0 = 0, onde a resoluo de
equao de grau superior quatro no tinha soluo, at que Abel concluiu ser
impossvel representar as razes da equao geral de quinto grau, em termos de radicais.
Mas, foi graas ao trabalho de Galois que a teoria das equaes repercutiria em novas
direes.
Para Galois foi suficiente transmitir este impulso de modificar o enunciado do
problema posto, e atacar de lado a dificuldade que ele no podia abordar de frente
(BOUTROUX, 1920, p. 186, traduo nossa); desta forma, Galois no buscou uma
expresso algbrica, contudo, procurou isolar certas famlias ou classes de equaes tais
que as razes das equaes de uma mesma classe se exprimem por meio de frmulas

algbricas em funo umas das outras, assim todas as equaes de uma classe seriam
resolvidas ao mesmo tempo.
O objetivo do matemtico da modernidade : compor, a partir de elementos
simples, a unio cada vez mais complexa e construir a partir das peas, sua prpria
indstria, o edifcio da cincia, esta parecia ser a tarefa do matemtico da em diante
(BOUTROUX, 1920, p. 182, traduo nossa), onde os objetos da Matemtica se
tornaram o prprio conceito. As maiores evidncias, sobre este assunto, podem ser
constadas no trabalho de Cauchy.
Augustin-Louis Cauchy (1789-1857), considerado um grande matemtico da
dcada de 1820-30, estudou na cole Polytechnique e na cola des Ponts et Chausses,
formou-se em Engenharia Civil. Cauchy seguiu a tradio de Lagrange se interessando
por provas rigorosas e pela matemtica pura em forma elegante (BOYER, 1968, p. 353).
Cauchy desenvolveu estudos sobre o conceito de funo, contudo a chave mestre para o
desenvolvimento deste conceito foi ainda a elaborao do conceito de funo contnua.
Cauchy foi conhecido como um dos matemticos do sculo XIX que buscavam
o rigor. Ele escreveu na introduo do seu Cours dAnalyse de Lcole Royale
Polytechnique: Quanto aos mtodos eu procurei lhes dar todo o rigor que se exige na
geometria, de maneira a jamais recorrer a argumentos deduzidos da generalidade da
lgebra (CAUCHY, 1899, p. ij, traduo nossa). Cauchy destaca-se como o matemtico
que forneceu uma definio satisfatria para o conceito de funo contnua, ele definiu
funo da seguinte forma:
Quando quantidades variveis esto ligadas entre si, de tal modo que,
sendo fornecido o valor de uma delas, pode-se obter os valores de todas as
outras, concebe-se normalmente estas diversas quantidades expressas por
meio de uma dentre elas, que recebe, ento, o nome de varivel
independente; e as outras quantidades, expressas por meio da varivel
independente, so as que se chamam de funes desta varivel (CAUCHY,
1899, p. 31, traduo nossa).

Aps definir funo, Cauchy expe uma definio para o conceito de limite e
infinitsimos, somente depois apresenta uma definio coerente para continuidade de
uma funo. O prprio Cauchy relata: Falando da continuidade das funes, eu no
pude deixar de apresentar as propriedades principais das quantidades infinitamente
pequenas, propriedades que servem de base ao clculo infinitesimal (CAUCHY, 1899,
p. ij, traduo nossa). Cauchy apresenta a definio de continuidade como segue:

Seja f(x) uma funo da varivel x, e suponhamos que, para cada valor
de x intermedirio entre dois limites dados, esta funo admita
constantemente um valor nico e finito. Se, partindo de um valor x
compreendido entre estes limites, atribui-se varivel x um acrscimo
infinitamente pequeno , a prpria funo receber por acrscimo a diferena
f(x+)-f(x), que depender, ao mesmo tempo, da nova varivel e do valor
de x. Isto posto, a funo f(x) ser, entre os dois limites atribudos varivel
x, funo contnua desta varivel, se, para cada valor de x intermedirio entre
limites, o valor numrico da diferena f(x+)-f(x), decresce indefinidamente
com aquele de . Em outros termos, a funo f(x) permanecer contnua em
relao a x entre os limites dados, se entre estes limites, um acrscimo
infinitamente pequeno dado, a varivel produzir sempre um acrscimo
infinitamente pequeno da prpria funo. Diz-se ainda que a funo f(x) , na
vizinhana de um valor particular atribudo varivel x, funo contnua
dessa varivel, todas as vezes que ela contnua entre dois limites de x,
mesmo muito prximos, que contm o valor do qual se trata (CAUCHY,
1899, p. 43, traduo nossa).

Cauchy destaca que: Segundo a definio de Euler [...] uma simples mudana
de notao ser suficiente, para transformar uma funo contnua em descontnua e vice
versa [...]. Assim, a caracterstica da continuidade de funes proposta sobre o ponto de
vista ao qual, os gemetras abordaram, uma caracterstica vaga e indeterminada
(CAUCHY, 1844, p. 116-117, traduo nossa). Neste texto, Cauchy parece mostrar ter
total clareza de que o modo como Euler definia funo contnua era incoerente
(PALARO, 2006, p. 122).
Um perfeito exemplo da distino de ideias a respeito da continuidade de funo
entre Euler e Cauchy apresentado por Belhoste:

A funo f definida em

para

por

para

descontnua no sentido de Euler,

porque ela definida por vrias expresses analticas diferentes sobre

, mas ela contnua no sentido de Cauchy (1985, p. 62, traduo
nossa).

Cauchy no se satisfaz com o conceito de funo de Euler baseado em smbolos,

ele pensa em funo contnua a base do prprio conceito de contnuo, para tanto, ele
escreveu uma definio para funo contnua, totalmente por meio de conceitos.
O conceito de funo pode se dividir historicamente em duas concepes. A
primeira est associada ao perodo que antecede o sculo XVII, este fundamento

desponta do conceito de operao aritmtica-algbrica, do conceito de algoritmo e das

concepes gerais de mquina, o mesmo est intimamente relacionado ao conceito de
funcionalismo, que era vinculada ao conceito de funo das modalidades concretas.
No instante em que o homem no consegue mais controlar de um modo puro e
intuitivo, seus prprios rudimentos e seus mtodos de trabalho, ento, preciso que
estas necessidades sejam entendidas e analisadas como realidades objetivas e
regularmente estruturadas. E foram por meio dessas dificuldades para se construir uma
relao mtua entre o estrutural e o funcional, que o desenvolvimento histrico do
conceito de funo se caracterizou (OTTE, 1993).
A segunda concepo caracteriza a funo apenas como uma lei de dependncia
entre uma grandeza varivel e outra qualquer, utilizada para as alteraes de estado e de
natureza das coisas reais no tempo. Considerava-se a funo exclusivamente como uma
correspondncia entre valores do domnio e da imagem, procurava-se um nmero ou
uma grandeza desconhecida.
Em meados do sculo XIX, despertou-se um novo olhar para o conceito de
funo matemtica, associado a uma concepo abstrata e ao princpio de continuidade
que consistia em ver uma funo como um objeto nico e unitrio.
Comearam a surgir diferentes maneiras para se definir o conceito de funo,
Lobatschewskj (1793-1856), em 1834, escreve:
A definio geral exige que uma funo de x seja um nmero para
cada x dado, e que varie progressivamente com x. O valor de uma funo
pode ser dado por uma expresso analtica, ou por uma condio que fornea
um meio de verificar todos os nmeros e escolher um entre eles; finalmente,
pode existir a dependncia, mas permanecendo, todavia desconhecida
(YOUCHKEVITCH apud OTTE, 1993, p. 231).

Suas palavras evidenciam esta pluralidade pela qual uma correspondncia

funcional poderia ser apresentada, e ainda representam a indispensabilidade para se
estabelecer a ligao entre o conceito de funo e a sua representao simblica ou
descrio estrutural. Existia a necessidade de olhar para funo no s como uma
correspondncia de valores, e em 1870 Hermann Hankel (1839-1873), escreveu:
Esta definio puramente nominal, que a seguir chamarei de definio
Dirichlet, [...] no suficiente para as necessidades da anlise, pois funes
desse tipo no possuem propriedades gerais, e assim so suprimidas todas as
relaes de valores funcionais para diferentes valores do argumento (apud
OTTE, 1993, p. 232).

Esta concepo abstrata apresentada como princpio da continuidade,

possibilitou a interao entre a funo como operao ou regra e a funo como uma
regra preexistente. Logo a formao da nova concepo de funo agregada ao
princpio da continuidade. Estes conceitos se unem formando um crculo, uma cadeia
fechada onde ambos se completam. Para Otte (1993, p. 232), isto surge como uma
circularidade que revela que significados conceituais so processos que se desdobram
na atividade epistemolgica [...] indicado no conceito de complementaridade.