1

UNESP, Campus de Rio Claro

IGCE, Departamento de Matemtica
Grupo de Pesquisa-Ao em Educao Matemtica da UNESP (GPA)
CONCEPES INFINITESIMAIS NA MATEMTICA
Roberto Ribeiro Baldino
1
Tnia Cristina Baptista Cabral
2
RESUMO
Este texto acompanhado de um disquete com cinco arquivos em CorelDraw
verso 7. Aps uma introduo histrica, propomos a notao segundo a qual a letra
d diante de uma varivel indica sistematicamente um elemento infinitesimal e o
smbolo indica uma soma infinita relativa a uma decomposio infinitesimal.
Mostramos as vantagens dessa acepo devida Leibniz em contraposio que
ficou consagrada pelo uso na matemtica atual, principalmente para os professores
que ministram o ensino de clculo para no matemticos, denominadas cursos de
servio, como engenharias e fsica, onde sempre vigoraram as concepes
infinitesimais. As indicaes para o desenvolvimento de um curso de clculo
infinitesimal so exemplificadas com regras de derivao (regra do produto e regra
da cadeia), derivadas de funes elementares (seno, exponencial e logaritmo),
diferencial segunda e o teorema fundamental do clculo (integral da derivada). Usa-
se o zoom de quatro mil vezes do CorelDraw em substituio ferramenta limite
para justificar esses resultados, aproveitando as concepes espontneas
infinitesimais dos alunos. Tambm so fornecidas indicaes para a fundamentao
dessas concepes em um curso de anlise infinitesimal, precisando o que se
entende por nmeros hiper-reais segundo os cnones de rigor da matemtica atual
(teoria dos conjuntos de Zermelo Frankel como exposta, por exemplo, em Halmos
[1960]). Usamos a expresso anlise infinitesimal em vez de anlise no standard
para deixar claro que no fazemos referncia teoria dos modelos da lgica formal.
1. Um tal dx: comparando limites e infinitsimos
O aluno de clculo, hoje, no encontra respostas para vrias perguntas que so
desdobramentos desta: o que dx? A primeira resposta que recebe que se trata de um smbolo
grfico, apenas uma maneira de escrever, herdada do passado, um uso ou costume, como na
lngua materna. Depois ele comea a ver que no bem assim. Nas aproximaes por
diferenciais o dx x mas o dy no y. Se dx , por que se diz que dx pequeno, enquanto
x grande? E se dx no pequeno e , como dizem, apenas uma varivel real, por que no se
usa para ela uma letra s, em vez de duas, o d e o x? Por quer a diferencial dy = f (x)dx e no,
por exemplo v = f (x)u ? Por que o professor diz que
dx
dy
um smbolo nico e no um
quociente mas tem momentos em que, sem mais aquela, o dx vai parar do outro lado, como nas
equaes diferenciais? Por que, o smbolo da integral

dx ) x ( f ? Por que se insiste em usar o

dx e dizer que ele serve para indicar em que varivel se est integrando, mesmo quando s h
uma varivel? Finalmente, quando chega na fsica, o aluno aprende que o trabalho elementar de
uma fora F que desloca o ponto de aplicao por um percurso dx F(x)dx e aprende que faz
uma enorme diferena se o dx expresso em centmetros ou em metros! O dx que no era nada,
que ora era x e ora era uma varivel real, agora tem unidades, uma grandeza fsica!

1
Voluntrio da UNESP, Rio Claro.
2
Professor doutor da UNESP, Bauru.
2
Finalmente o aluno, intrigado, pergunta ao professor por que se escreve
2
2
dx
y d
e no
x d
y d
2
2
. O
professor, via de regra, no tem a menor idia.
No final do sculo 17 Leibniz definia dy = f (x+dx) f(x) onde dx e dy eram quantidades
infinitesimais. Ele escrevia, por exemplo, (y + dy)
x+dx
= z + dz e punha-se a procurar dz
[Leibniz, 1983:44]. Isso, hoje, eqivale a procurar a derivada de f(t)
g(t)
que costuma cair nos
exames finais de clculo. Durante o sculo 19 os infinitsimos foram sendo deixados de lado na
matemtica, at desaparecerem por completo. Eles ainda so usados na fsica, em especial na
mecnica do contnuo e esto presentes nas concepes espontneas dos alunos universitrios.
Quando estes dizem, por exemplo, que 0,999... menor que 1, o que falta tipicamente um
infinitsimo.
Os infinitsimos estavam na base do desenvolvimento do clculo, no fim do sculo 17. Os
nomes a foram Barrow, Newton e Leibniz. As notaes
dx
dy
e

dx x f ) ( so devidas a Leibniz.
Ele pensava a derivada como quociente de infinitesimais e a integral como soma infinita de
parcelas infinitesimais. Essas duas idias permearam o desenvolvimento subseqente do clculo
e esto presentes at hoje nos cursos de clculo em servio para as cincias e engenharias.
Entretanto, a fundamentao dessas justificaes ficou difcil e foi questionada durante os sculo
18 e 19. Os que argumentavam pela via dos infinitsimos caam em contradies, balbuciavam...
Hoje se sabe que essas controvrsias eram devidas a diferentes concepes da reta
numrica, devidas a o que se deveria entender pela expresso "nmero real". Cauchy [1821] deu
nfase aos limites, mas confessou que no tinha conseguido se livrar totalmente dos
infinitsimos. Weierstrass deu nfase definio de limites por psilons e deltas, revivendo uma
idia de Arquimedes (212AC). No sculo 18, fsica e matemtica pouco se distinguiam. O
problema que dominou esse sculo foi a passagem de "como expressar meu pensamento" a
"como escrever sem deixar margem a dvidas". O ideal cientfico perseguido foi a remoo do
sujeito que enunciava, de modo que o enunciado pudesse se sustentar sozinho, diante de quem
quer que soubesse l-lo. Esse movimento que podemos denominar finitizao do pensamento
separou matemticos e fsicos, deixando a fsica-matemtica e a matemtica aplicada como
intermedirias. Os fsicos experimentais no poderiam ter excludo o sujeito do discurso, porque
ele a comparece na figura do observador.
Finalmente, no final do sculo 19, principalmente devido aos trabalhos de Cantor e de
Dedekind, os matemticos concordaram sobre o que se deveria entender por nmero real: o
conceito que temos at hoje, sem infinitsimos. Nas primeiras dcadas do sculo 20 os
matemticos passaram a limpo as dvidas e controvrsias que tinham atormentado o sculo
anterior. Por exemplo, Cauchy nunca provou que as seqncias que hoje tm seu nome,
convergem. Ele no podia faz-lo porque na poca no se tinha convencionado que os reais so
um corpo ordenado arquimediano completo. Ele apenas afirmava que elas convergiam. A
existncia de pontos de acumulao de conjuntos infinitos limitados conhecida como teorema
de Bolzano-Weierstrass, embora haja meio sculo entre esses dois matemticos que nunca se
conheceram. A existncia de sub-coberturas finitas de coberturas abertas de conjuntos fechados
limitados leva o nome de trs matemticos deste sculo, Heine, Borel e Lebesgue. Enfim, o ideal
matemtico do sculo 20 foi a finitizao do pensamento, de modo a impedir a polissemia do
que se escreve. Os infinitsimos no tinham lugar nesse movimento: foram banidos.
Porm, em 1960 um lgico alemo trabalhando nos Estados Unidos, Abraham Robinson,
produziu, como corolrio de seu estudo, uma reabilitao dos infinitsimos que puderam ser
definidos dentro do pensamento finito (teoria dos conjuntos, lgica formal, etc.) com todo o
rigor usual da matemtica. A teoria infinitesimal de Robinson recebeu o nome de anlise no-
standard. Essa inveno no teve grande valor para a matemtica porque logo se provou que
3
tudo que pudesse ser demonstrado pela via da anlise no standard tambm poderia ser
demonstrado pela via da anlise standard.
Para a Educao Matemtica entretanto, a possibilidade de tratar raciocnios infinitesimais
dentro dos padres aceitveis pela matemtica abriu novas portas. Primeiro, os professores de
matemtica poderiam, a partir de ento, ensinar clculo de modo til aos cursos se servio, onde
os raciocnios infinitesimais sempre estiveram presentes, sem, com isso, se sentirem violentados.
Em segundo lugar, esses professores podem, agora, acolher, sem dizer que estejam erradas, as
concepes infinitesimais espontneas dos alunos de primeiro e segundo grau e de calouros
universitrios, evidenciadas, por exemplo, quando dizem que 0,999... menor que 1. A
persistncia dessas concepes mostra que, apesar dos esforos de dois sculos, os infinitsimos
no desapareceram da cultura.
Entretanto, na matemtica de hoje, onde os infinitsimos no existem mais, dx um
nmero real qualquer que tambm representado por x, tal como se pode ver em qualquer
livro de clculo. Hoje, dy definido como dy = f '(x) dx e denominado diferencial de y, enquanto
o dy do Leibniz anotado y. Feita essa ressalva, vamos usar dy para nos referirmos ao dy do
Leibniz que denominaremos quase-diferencial para distinguir da diferencial standard que est
nos livros. S usaremos dy para representar a quase-diferencial e no usaremos a notao dy
para representar f '(x) dx; porm, algumas vezes diremos apenas diferencial quando nos
referirmos diferencial infinitesimal. Com essa diretriz poderemos manter a seguinte coerncia:
a letra d, colocada diante do smbolo de uma grandeza, denotar um elemento infinitesimal dessa
grandeza. Assim, dV pode ser um elemento infinitesimal de volume, dA um elemento
infinitesimal de rea, dr um vetor deslocamento infinitesimal, dW um elemento infinitesimal de
trabalho, etc. As integrais definidas podero ser pensadas como somas infinitas desses elementos
infinitesimais. a essa justificao preferencial que chamamos pensamento infinitesimal.
Por exemplo, se y = x
2
, os comparando o clculo feitos no tempo de Leibniz (~1680) com
o que ficou prevalecendo a partir de Cauchy (1821) at hoje, teremos uma comparao como a
do quadro 1, abaixo. Note as diferenas entre as duas concepes. Na coluna da esquerda
comea-se com a definio de quase diferencial e a derivada obtida como o coeficiente do
desenvolvimento de dy que no contm partes infinitesimais. Diremos que a derivada a
constante de quase-proporcionalidade entre os acrscimos das variveis dependente, y, e
independente, x. Na coluna da direita, comea-se com a derivada definida como limite da razo
incremental e a diferencial obtida no fim, pela passagem misteriosa de dx ao numerador. Na
coluna da direita, a diferencial nada mais que uma reta passando pela origem. Ento, por que
usar variveis dy e dx, em vez de v e u? Por exemplo: v = f(x)u. Ainda mais, por que a histria
seguiu pelo caminho da direita, enfatizando limites em detrimento de infinitsimos?
A via dos infinitsimos admite a seguinte interpretao geomtrica. Tomando f(x) = y = x
2
como a curva desenhada na figura 1.1, fixando um ponto P, de abcissa x e ordenada y = x
2
e
dando a x um acrscimo infinitesimal dx, resulta para y um acrscimo infinitesimal dy Na figura
1.1 esses acrscimos no so visveis, porque so infinitamente pequenos. As coordenadas de P,
acrescidas desses infinitsimos, constituem as coordenadas de um ponto P + dP infinitamente
prximo de P. Dizemos que P + dP pertence mnada de P.
Para enxergar a diferena entre o ponto P + dP e o ponto P preciso ampliar a mnada de
P usando um zoom de poder infinito. Obtemos ento a figura 1.2. Note que, dentro da mnada, a
curva aparece como um segmento de reta coincidente com a reta tangente. (Abra o arquivo
"curva e reta tangente" do CorelDraw no disquete anexo e d zooms sucessivos no ponto P.)
Antes de dar o zoom clique em "exibir" e, em seguida, em "aramado".)
Entretanto, a curva e a tangente s coincidem no ponto P. Um pouco mais adiante, no
ponto P + dP elas j so diferentes. Essa diferena no pode ser vista na figura 1.2 porque em
relao aos tamanhos representados ali, essa diferena infinitesimal. Para enxerg-la preciso
4
dar outro zoom infinito, agora no ponto P + dP, obtendo a figura 1.3. (Faa a experincia no
CorelDraw.) Nessa figura a reta tangente e a curva aparecem como paralelas, porque o ponto P
est infinitamente longe. As ordenadas da reta tangente e da curva aparecem distintas.
Quadro 1
( )
2
2 2 2 2
2 2
2
) (
) (
derivada 2 ) (
2
2 2
l diferencia
quase de def. ) ( ) (
) ( ) (
Leibniz
dx dx x f dy
dx x f
dx
dy
x x f
dx x
dx
dy
dx xdx x dx xdx x dy
x dx x dy
x f dx x f dy
x x f x y
+
+

+
+ + +
+
+

( )
( )
( )
l diferencia ) (
derivada de notao outra 2 ) (
2 2 lim ) (
2
lim ) (
lim ) (
derivada de def.
) (
lim ) (
) ( ) (
Cauchy
0
2 2 2
0
2
2
0
0
2
dx x f dy
x x f
dx
dy
x h x x f
h
x h xh x
x f
h
x dh x
x f
h
x f h x f
x f
x x f x y
h
h
h
h


+
+ +

+

+

A ordenada da reta tangente y + f '(x) dx porque o coeficiente angular da tangente f '(x);

a ordenada da curva y + dy. A diferena entre a ordenada da curva e a ordenada da tangente
ser anotada E
f
.
A figura 1.4 compara o que foi dito com a notao encontrada nos livros para o caso em
que o acrscimo x dado a x finito. Nesse caso, y = f(x+x) f(x), portanto a mesma
definio que introduzimos acima para dy = f (x + dx) f(x), a nica diferena que x finito e
dx infinitesimal. A derivada, f (x), continua sendo o coeficiente angular da reta tangente:
(1.1)
. tang reta ang.da coef. m
adjacente cateto
oposto cateto
) ( '
PC
CB
tg x f
Porm, importante guardar essa igualdade sob a seguinte forma:
x x f PC tg adjacente cateto vezes tg oposto cateto CB ) ( '
ou, brevemente CB = f (x) x. A ordenada da reta tangente no ponto x + x f(x) + f (x) x, a
diferena entre a ordenada da curva e a da tangente sendo anotada E
f
, a ordenada da curva fica
sendo
(1.2)
f(x + x) = f(x) + f (x) x + E
f
.
A variao CB = f (x) x da reta tangente, os livros a denominam dy. Eles dizem que
dx = x para poderem escrever dy = f (x) dx e " ) x ( ' f
dx
dy
" . Essa prtica no nova,
j se encontra nos precursores de Cauchy.
5
f ' (x) x
x
y
x x+ x
f(x) = y
f(x+ x)
y + f ' (x) x
y
Figura 1.4
O caso finito
y = f(x)
P
P+ P
B
C

E
f
O que ocorreu foi o seguinte. Quando Leibniz, o inventor da notao (que foi to boa que
nunca mais foi abandonada) calculava, por exemplo, a derivada de y = x
2
, ele escrevia
dy = 2x dx + dx
2
, em seguida dividia por dx: dx x
dx
dy
+ 2 , a desprezava o dx mas
continuava escrevendo
dx
dy
= 2x. Hoje, qualquer de ns diria que est errado, porque o sinal de
igualdade foi violado. Porm, o clculo nasceu assim e as pessoas achavam espantoso que, no
fim, desse certo. Durante dois sculos o rigor e a validade desse clculo que dava certo foi
discutido. A dificuldade bsica parece ter sido a opo entre as seguintes posies: 1) conservar
o sentido inicial da quase diferencial, desenvolver as funes calculando o dy como fizemos
acima e definir a derivada como o coeficiente do dx nesse desenvolvimento. Lagrange foi
defensor sistemtico dessa posio. 2) Definir a derivada como limite da razo incremental,
como se faz hoje, e definir a diferencial como f (x) dx, como est nos livros de hoje. Cauchy foi
o grande defensor dessa via. Decidiu-se que era tolervel que os infinitsimos fossem usados
nos raciocnios, mas no deveriam comparecer na expresso final dos resultados. Por isso, muito
cedo escreveu-se dy = 2x dx e denominou-se esse 2x dx de diferencial de x
2
; no caso geral,
dy = f (x) dx denominou-se diferencial de f. isso que se encontra nos livros; essa via adotada
pela histria responsvel por muitas dificuldades dos iniciantes.
6
x
y
dx
d y Reta tangenteCurvady- f ( x) dx
dx
dy
Primeiro zoom infinito
y
y+dy
x
Segundo zoom infinito
C
u
r
v
a
R
e
t
a

t
a
n
g
e
n
t
e
y+dy
y+f(x)dx
x+dx
P
P
x+dx
Figura 1.1
Curva e reta tangente
Figura 1.2
A mnada do ponto de tangncia
Figura 1.3
Infinitamente prximo
do ponto de tangncia
P+dP
y = x
2
Um dos problemas da Educao Matemtica saber se, hoje, depois dos esforos que
foram feitos para extinguir os infinitsimos, eles ainda permanecem na cultura sob forma de
concepes espontneas dos alunos e se estes aluno consideram os infinitsimos mais naturais e
compreensveis que as justificaes atravs de limites que os matemticos atuais dizem que so
rigorosas. Se essas perguntas forem respondidas pela afirmativa teremos conseqncias
interessantes para as salas de aula de matemtica.
O seguinte quadro resume as definies e notaes usadas at aqui.
7
f f
f f
f f f f
dx x f dx E dx x f dy l deferencia quase
E derivada E x f
dx
dy
derivada quase
dx E E x f
dx
dy
x f
dx
dy
E
df nem dy anotada ser no dx x f l diferencia
tangente reta da angular e coeficient x f derivada
dx
x f dx x f
dx
dy
derivada quase
x f dx x f df dy l diferencia quase
x f y
E
E
+ +
+ +
+

+

+

) ( ) ( ) 8 (
) ( ) 7 (
) ( ) ( ) 6 (
) ( ) ( : ) 5 (
) ( ) 4 (
) ( ) (
: ) 3 (
) ( ) ( : ) 2 (
) ( ) 1 (
NOTAES E DEFINIES DAS RESUMO : 2 QUADRO
2. Os hiper-reais em um curso de clculo
Em um curso de clculo deve-se trabalhar a partir das concepes espontneas dos alunos
acerca dos nmeros, reforando a idia de que a reta numrica inclui nmeros infinitesimais e
nmeros infinitos. Esses nmeros so denominados hiper-reais e anotados *R. Diz-se que um
nmero hiper-real z infinitsimo se x z < para todo real positivo x. Diz-se que um nmero
hiper-real Z infinito se N Z > para todo N natural real. Os hiper-reais cujo valor absoluto
menor que algum natural so denominados hiper-reais finitos. Note que, segundo essa
concepo, os nmeros reais ficam includos nos nmeros hiper-reais; so hiper-reais com a
propriedade de serem reais, tal como, por exemplo, 32 um real com a propriedade de ser
racional, inteiro, etc. O zero tambm infinitsimo. Os reais so hiper-reais finitos.
As operaes de adio, multiplicao e a ordem dos reais se estendem aos hiper-reais,
valendo as propriedades usuais. Somando um infinitsimo a um nmero real obtm-se um
nmero hiper-real infinitamente prximo dele. Multiplicar um infinitsimo por um hiper-real
finito, em particular, por um real, d como resultado, ainda um infinitsimo. A soma de
infinitsimos ainda infinitsima. Os hiper-reais no nulos tm inverso multiplicativo nico. O
inverso de um infinitsimo positivo no nulo um hiper-real infinito, e reciprocamente, porque
N
z
1
0 < < para todo N se e s se N
z
>
1
para todo N.
Quando dois nmeros hiper-reais, x e y, esto infinitamente prximos, escrevemos x y e
lemos x quase igual a y. Por exemplo 0,999... e 0,99 99 99 ... esto infinitamente prximos
de 1, portanto esto infinitamente prximos entre si. Tem-se
0,999... < 0,99 99 99 ... < 1 e 0,999... 1 0,99 99 99 ...
Os nmeros hiper-reais que esto infinitamente prximos de um dado nmero real
constituem a mnada do nmero real. Prova-se que todo hiper-real finito, x, est na mnada de
um e de um s nmero real, anotado st(x) e denominado parte standard x, por exemplo
st (0,999...) = 1. A parte standard de um real ele mesmo. Por isso, dois nmeros reais
infinitamente prximos devem, necessariamente, ser iguais. De fato, se x e y so reais e
x y ento a parte standard de x x e tambm y, porque y um real infinitamente prximo de
x, logo x = y.
8
Assim, a reta real consiste em nmeros reais, em infinitsimos, em nmeros infinitos e em
reais somados a infinitsimos.
Pode-se pensar em ampliar as mnadas com zoom de poder infinito para ver o que ocorre
dentro delas. Na mnada do 1 haver por exemplo, o 0,999... < 0,99 99 99 ... < 1. O aluno que
disser que 0,999... menor que 1 estar certo, se estiver concebendo a reta numrica como
"gorda", isto , como a reta hiper-real. Dando um acrscimo infinitesimal dx abcissa x de um
ponto do grfico de uma funo e ampliando a mnada do ponto (x, f(x)) v-se o tringulo
diferencial de catetos dx e dy. A parte standard do quociente infinitesimal denominada
derivada de f :
(3.1)
) ( ' x f
dx
dy
st
,
_

A diferena entre
dx
dy
e f (x) um infinitsimo que ocorre com muita freqncia e que
denominaremos E
f
. Assim:
(3.2)
f
E x f
dx
dy
) ( ' ou, se necessrio: ) , ( ) ( ' ) ( dx x E x f x
dx
dy
f

A notao E
f
(x, dx) diz que E
f
depende tanto de x quanto de dx. Tambm usaremos
(3.3) dy = f '(x) dx + E
f
(x) dx.
Assim, sendo y = f(x) = x
3
, teremos
dy = d(x
3
) = (x + dx)
3
x
3
= 3 x
2
dx + 3 x dx
2
+ dx
3
donde resulta
2
3
3
dx dx x E
x
+
e
( ) ) ( ' 3 3 3
2 2 2
x f x dx dx x x st
dx
dy
st + +
,
_

.
Portanto s podemos escrever:
(3.4)
) ( ' x f
dx
dy
e dx x f dy ) ( '
com o sinal de quase igual. Interpretaremos essa ltima relao dx x f dy ) ( ' como
significando que a derivada a constante de quase-proporcionalidade entre os acrscimos da
varivel e da funo. Note que a diferena entre a curva e a reta tangente, que na figura 1.1
tnhamos anotado E
f
, agora fica sendo E
f
= E
f
dx onde E
f
tambm infinitsimo. Por isso E
f
,
como produto de infinitsimos, denominado infinitsimo de segunda ordem; na figura 1.1
foram necessrios dois zooms para que ele se tornasse visvel. Quando necessrio anotaremos
dy (x, dx) = f(x + dx) f(x) para deixar claro que dy funo de x e de dx. Denominaremos dy de
quase-diferencial de y, para distingui-lo da diferencial "f '(x) dx" que os livros tambm anotam
dy e onde dx qualquer real. No usaremos dy para representar f (x) dx, Porm, para distinguir
) ( ' de x f
dx
dy
diremos quase-derivada para
dx
dy
e derivada para f (x).
Um problema aberto de Educao Matemtica

consiste em mostrar a viabilidade de
instituir um curso de clculo baseado nessas noes de derivada como constante de quase-
proporcionalidade entre acrscimos infinitesimais, de limite de seqncias como valor no
infinito, de continuidade como preservao infinitesimal e de integral como soma infinita.
Ajudaria muito, certamente, contar com calculadoras que tivessem teclas , para
substituio de nmeros infinitos em seqncias, para substituio de nmeros infinitamente
9
prximos de um nmero dado em funes e

para soma infinita. As operaes internas nessas

mquinas poderiam ser as de limite usuais, mas a conceituao pela qual os alunos as usariam
seria infinitesimal.
2.1 Derivada do produto
Qual a frmula da derivada de um produto e por qu ela vale?
Anote x = f(t), y = g(t) e z = f(t) g(t). (Abra o arquivo "derivada do produto", no CorelDraw
e d zooms no ponto C. veja a figura 2.1.) Olhe o tringulo diferencial ampliado pelo primeiro
zoom no ponto C Dando a t um acrscimo infinitesimal dt :
z(t + dt) = (x + dx)(y + dy) = xy + x dy + y dx + dx dy
donde dz = z(t+dt) z(t) = x dy + y dx + dx dy.
Dividindo por dt:
' ' ' x y y x
dt
dy dx
dt
dx
y
dt
dy
x
dt
dz
z + + +
Como os dois extremos so nmeros reais e esto infinitamente prximos, so iguais.
Pronto, no foi necessrio lanar mo da fatorao da diferena entre dois produtos que os livros
fazem e que os alunos denominam artifcio.
Pode ter sobrado uma pitada de inquietao. Afinal, se infinitsimos foram desprezados
para chegar a essa ltima quase-igualdade, que infinitsimos so esses? Onde se faz uso das
hipteses? Vejamos. Pela frmula 3.3:
dx = f ' (t) dt + E
f
(t) dt e dy = g'(t) dt + E
g
dt
A hiptese de que f e g so derivveis no ponto t significa que E
f
e E
g
so infinitesimais
para todo infinitsimo dt. Provar que fg derivvel no ponto t provar que existe um nmero
real z' tal que para todo infinitsimo dt, existe um infinitsimo E
z
tal que dz = z' dt + E
z
dt. Note
que no se evita a mesma complexidade lgica que havia na definio de limite: para todo...
existe... tal que, para todo...
dz = x dy + y dx + dx dy =
= x ( g' dt + E
g
dt ) + y ( f ' dt + E
f
dt) + ( f ' dt + E
f
dt) (g' dt + E
g
dt) =
= ( x g' + y f ' ) dt + ( x E
g
+ y E
f
+ ( f 'g' + f' E
g
+ g' E
f
+ E
f
Eg )dt ) dt =
10
y=g(t)
x=f(t)
z=f(t)g(t)
B
A
C
0
1
2
3
4
5
6
7
8
9
10
t a
b
d t
d t
d t
dx
d y
dz
D Reta tangente ao prod uto Produto das curvas
x
y
z
s
Primeiro
Zoom infinito
D
C
Segundo zoom infinito
Figura 2.1
A derivada do produto e produto das retas tangentes
s - t
(xy+yx)(s-t)=
=z(s-t)
xy(s-t)
2
f(s)g(s)-u(s)v(s)
xdy+ydx
dt
P
r
o
d
u
t
o
d
a
s

c
u
r
v
a
s
P
r
o
d
u
t
o

d
a
s

c
u
r
v
a
s
P
r
o
d
u
to
d
a
s
r
e
ta
s
t
a
n
g
e
n
te
s
P
r
o
d
u
t o

d
a
s

r
e
ta
s

t
a
n
g
e
n
t
e
s
R
e
ta

t
a
n
g
e
n
t
e

a
o
p
r
o
d
u
t
o
R
e
t
a

ta
n
g
e
n
te
a
o
p
ro
d
u
t
o
Ento z' = f g' + g f e E
z
= x E
g
+ y E
f
+ ( f 'g' + f' E
g
+ g' E
f
+ E
f
Eg )dt . V-se tambm
que
dt
dz
f g ' + g' f mais infinitsimos de primeira ordem: x E
g
+ y E
f
+ f ' g' dt, mais
infinitsimos de segunda ordem g' E
f
dt + f ' E
g
dt e mais um infinitsimo de terceira ordem,
E
f
E
g
dt.
Quanto representao do produto de duas funes sob a forma de retngulo, o acrscimo
infinitesimal dx em x gera um acrscimo infinitesimal na rea f(x)g(x) que ser composto por
trs reas retangulares infinitesimais g(x)df, f(x)dg e df dg sendo que esta ltima de ordem
superior s duas primeiras (exceto se f (x) = 0 ou g(x) = 0).
2.2 A regra da cadeia
A regra da cadeia diz como se deriva a composta de duas funes. Vejamos por que ela
vale. Considere um ponto x do domnio de f. Suponha que f derivvel no ponto x e que g seja
derivvel no ponto y = f(x). Anote z = g(y) = g(f(x)). (Abra o arquivo "regra da cadeia" no
CorelDraw e d zooms nos pontos P e Q. Veja a figura 2.2, onde o grfico de g foi girado de 90
graus no sentido anti-horrio.)
As definies e resultados usados aqui so apenas os seguintes:
11
1) dy = f(x+dx) f(x);
2) uma funo f contnua em x se para todo acrscimo infinitesimal dx dado a x, o acrscimo
dy resultante em f for infinitesimal;
3) f derivvel em x se existe um nmero real f '(x) tal que, para todo acrscimo infinitesimal
dx dado a, x o acrscimo resultante em f for dy f ' (x) dx. Note que f derivvel implica f
contnua.
A demonstrao seguinte da regra da cadeia no menos rigorosa que a encontrada nos
livros. Considere as funes f e g de modo que a composta esteja definida.
Considere um ponto x do domnio de f. Suponha que f derivvel no ponto x e que g seja
derivvel no ponto y = f(x). Anote z = g(y) = g(f(x)).
D a x um acrscimo infinitesimal dx. Resultam um acrscimo infinitesimal dy a f e um
acrscimo infinitesimal dz a g. Calculemos dz.
dz g' (y) dy g' (f(x)) f ' (x) dx
Ento o nmero real g' (f(x)) f ' (x) a constante de quase-proporcionalidade entre os
acrscimos dx de x e dz de gof, logo a derivada de gof. Note que a essncia dessa
demonstrao ocupa menos de meia linha! Os livros de clculo, ou no a fazem, ou a fazem em
apndice, ou ocupam o aluno com a preocupao de no dividir por zero.
2.3 Derivada do seno
Todos sabem que a derivada do seno o coseno, mas, por qu?
Considere, no crculo trigonomtrico, um arco x (figura(...)) e o segmento que representa
sen x. D a x um acrscimo dx e considere sen (x + dx). Dando um zoom no ponto B, surge um
tringulo onde se v, imediatamente, que:

+
cos
hipotenusa
a oposto cateto sen ) ( sen ) (sen
BE
BF
dx
x dx x
dx
x d
O sinal deve-se a que o comprimento do arco dx no exatamente igual medida da
hipotenusa, embora nesse zoom eles apaream iguais,
Outra maneira, mais prxima da tradicional de mostrar que a derivada do seno o coseno,
a seguinte: calcule d(sen x) = sen (x + dx) sen x desenvolvendo o seno da soma. Depois
divida por dx e elimine os infinitsimos para reter apenas a parte standard do quociente
infinitesimal. Dois zooms sucessivos no ponto A podem orient-lo sobre a ordem de grandeza
dos infinitsimos. (Abra o arquivo "derivada do seno" no CorelDraw e d zooms sucessivos nos
pontos A e B. Veja a figura 2.2)
d (sen x) = sen (x + dx) sen x = sen x cos dx + cos x sen dx sen x =
= sen x (cos dx 1) + cos x sen dx. Dividindo por dx:
dx
dx
x
dx
dx
x
dx
x d sen
cos
1 cos
sen
) (sen
+

12
f
g
x
y

y = f(x)
z
=
g
(
f
(
x
)
)
g f o
P
Q
x
z
dx
d
y
d y
y
y
P
Q
dx dy~f ( x) dx~ P
dy ~ f(x)dx
~
d
z

~

g

(
y
)

d
y
~
dz~g(y)dy ~
Q
Zoom infinito
Zoom infinito
Figura 2.2
Examinando o primeiro zoom infinito (figura abaixo) vemos que a diferena entre cos dx e
1 no visvel na figura, porque ela infinitesimal em relao ao prprio dx, que aparece como
uma grandeza finita. Para enxergar 1 cos dx preciso dar um segundo zoom infinito no ponto
A. Portanto 0
1 cos

dx
dx
. Multiplicndo esse infinitsimo pelo nmero finito sen x teremos
ainda um infinitsimo. A pirmeira parcela , pois, infinitesimal.
A diferena entre sen dx e dx tambm no visvel no primeiro zoom, o que mostra que
essa diferena um infinitsimo de ordem de grandeza menor que o infinitsimo dx, que aparece
bem visvel nesse primeiro zoom. Portanto:
0
sen

dx
dx dx
donde 0
sen

dx
dx
dx
dx
ou 0 1
sen

dx
dx
ou, finalmente
1
sen

dx
dx
. Portanto x
dx
x d
cos
) (sen
. Como cos x um nmero real, a parte standard
de
dx
x d ) (sen
cos x, mas essa parte standard o que definimos como derivada, logo (sen x)' =
cos x.
13
s
e
n

x
x
1- c os dx dx sen dx
cos x 1 - cos x
O
A
B
s
e
n

d
x
d
x
A
A
1-cos dx
s
e
n

d
x
d
x
Primeiro
zoom
infinito
Segundo
zoom
infinito
C
D
D
D
C
sen x
s
e
n

x
sen(x+dx)
s
e
n
(
x
+
d
x
)
dx
dx
sen (x+dx) - sen x
s
e
n

(
x
+
d
x
)

-

s
e
n

x

B
B
E
E
F
F
Figura 2.2
Derivada do seno
zoom
2.4 Derivada da exponencial
A exponencial de base e tem por derivada ela mesma. Por qu? A dificuldade de
convencer algum de que a derivada de e
x
e
x
est, precisamente na marotice desse e, que 2,
718... irracional. De onde veio ele? Na verdade, esse e foi calculado exatamente de modo que
a derivada da exponencial que o tem por base seja a prpria exponencial. Ento, a pergunta que
se deve procurar responder a seguinte: quanto deve valer a base a de modo que a derivada de
a
x
seja a
x
? a que nos valem os infinitsimos. Uma funo f derivvel em um ponto x se
existe um nmero real, anotado f (x) tal que, para todo infinitsimo (no nulo) dx, tem-se
) ( x f
dx
df
. preciso, ento, determinar a de modo que
x
x
a
dx
a d
. Calcule.

,
_

+
dx a a a dx a a a dx a a d a
dx
a d x dx x x x dx x x x x
x
1 ) (
) (
14
... 718 , 2
1
1 lim
1
1 ) 1 ( 1 1
1

,
_

+

,
_

+ + +

e
n
a
a dx a dx a dx a
n
n
dx
dx dx
Ou seja, se e for esse limite, que vale 2,718..., ento, seguindo as setas de implicao no
sentido ascendente, concluiremos
x
x
a
dx
a d

) (
2.5. Derivada do logaritmo
Por que a derivada do logaritmo neperiano de x um sobre x ?
Uma vez voc aprendeu que o logaritmo de um nmero o expoente a que preciso
elevar a base para obter o nmero dado. Se a base e, o logaritmo de x o nmero ln x tal que
e
ln x
= x. Faa, ento y = ln x e procure
dx
dy
. A definio de ln nos conduz a x e
x

ln
. Seja
y = ln x. O objetivo fica sendo determinar
dx
dy
. Calculemos, ento:
x
e e
dx
dy
dx dy e dx dy E dy e dx e d x e
x y
y y y y 1 1 1
ln
exp
+
,
_

2.6. O teorema fundamental do clculo
Comecemos observando que, se c = y
o
, y
1
, y
2
, ... , y
n
= d uma seqncia finita de nmeros
reais ou hiper-reais no necessariamente crescente nem pertencentes ao intervalo [c, d]; a soma
das variaes y
i
y
i-1
d c, isto

n
i
i i
c d y y
1
1
. Se f for uma funo definida em [a, b], e
sejam a = x
0
< x
1
< x
2
< ... < x
n
= b for o que se denomina uma partio finita de [a, b]; sejam
c = f(a) e d = f (b) e y
i
= f (x
i
) os valores de f nos pontos dessa partio. Como no caso acima,
teremos:
(2.6.1)

n
i
i i
n
i
i i
x f x f y y c d a f b f
1
1 1
) ( ) ( ) ( ) (
Suponhamos que a partio de [a, b] seja formada por infinitos intervalos infinitesimais,
todos de comprimento dx. Se x um ponto dessa partio, x + dx ser o ponto seguinte. Atravs
de f esses pontos tero por imagens f(x) e f(x + dx) com f(a) = c e f(b) = d. A variao de f no
ponto x ser, ento, df(x) = f(x+dx) f(x). Se f for continua, df ser, tambm, infinitesimal. As
somas das infinitas variaes de x e de f so anotadas pela letra s alongada que ficou conhecida
como integral. Vamos denominar essas somas infinitas de quase integrais definidas. Ento
(2.6.1) fica:
(2.6.2)
( )


+
b
a x
d
c x f
b
a x
df x f dx x f c d a f b f e dx a b
) (
) ( ) ( ) ( ) (
Suponha que a funo f seja derivvel. Isso significa que, para todo real x em [a, b] existe
um nmero real f (x) tal que E(x) dx = df (x) f(x) dx infinitsimo. Portanto (2.6.2) fica
(2.6.3)
( )

+ +

b
a
b
a
b
a
b
a x
dx x E dx x f dx x E dx x f df a f b f ) ( ) ( ) ( ) ( ) ( ) (
Mostra-se que, se f for contnua em [a, b], os infinitsimos E(x) sero limitados por um
nico infinitsimo E, isto |E(x)| < E para todo x. Nesse caso a ltima integral pode ser
estimada como
15
(2.6.4)
) ( ) ( ) ( a b E dx E dx x E dx x E
b
a
b
a
b
a


ou seja, infinitsima. Conclui-se que:
(2.6.5)

b
a
dx x f a f b f ) ( ) ( ) (
O teorema fundamental est demonstrado: a variao da funo a integral da derivada. A
estimativa de que a ltima parcela de (2.6.3) infinitsima, rene a dificuldade que, na anlise
finita (pela via dos limites) consiste em mostrar que as funes contnuas em intervalos fechados
limitados so uniformemente contnuas e da, que as somas de Riemann esto prximas de um
nmero real denominado integral definida. Essa demonstraes no feita nos cursos de clculo
finito. Ns a faremos no pargrafo seguinte pela via infinitesimal. interessante observar que,
no clculo infinitesimal, a dificuldade surge no lugar em que realmente foi posta pelo conceito
de integral, enquanto no clculo finito ela est alhures, na continuidade uniforme, no teorema de
Bolzano Weierstrass, enfim, l na completeza dos reais.
Que significa essa soma infinita de valores de f multiplicados pela amplitude dos
intervalos da decomposio infinitesimal? Que significa a ltima parcela de (2.6.3)?
Consideremos no grfico de f (figura 2.3) um ponto x da partio infinitesimal e a ordenada
f (x). O produto de dx por f (x) pode ser interpretado como a rea de um retngulo de largura
infinitesimal dx e altura f (x). A soma infinita em (2.6.4) a soma de todas essas reas. (Abra o
arquivo "teorema fundamental" no CorelDraw. Veja a figura 2.4.) Um zoom no ponto P mostra
que essa soma no , ainda, a rea sob a curva: um tringulo P(P+dP)R no foi contado. Esse
tringulo tem base e altura infinitesimais; sua rea
2
) (x df dx
, um infinitsimo de segunda
ordem. Por isso, ao somar-se todos esses infinitsimos atravs de uma s soma infinita na
direo horizontal, o resultado ainda infinitesimal. Tal afirmao, na verdade, depende de que
se reconhea que os infinitsimos df(x) tm uma limitao uniforme que pode ser fatorada para
fora da integral. Mostraremos que esse o caso no pargrafo seguinte.
Essa rea no contada faz parte da soma infinita da ltima parcela de (2.6.3), porm no
constitui toda essa parcela. Um segundo zoom sobre a curva no ponto Q, entre P e P+dP mostra
que a curva e a hipotenusa do tringulo esto separadas a. Elas s coincidem em P e em
P + dP. Essa rea um infinitsimo de terceira ordem que tambm faz arte da ltima parcela de
(2.6.3).
Note que no houve passagem ao limite e nada foi desprezado. No se comeou
procurando calcular a rea, como usualmente os livros fazem. Comeou-se avaliando uma
grandeza f(b) f (a) atravs da soma infinita de elementos infinitesimais e o clculo nos
conduziu rea sob a derivada de maneira direta.
16
x x +d x
f '(x)
x a b
f
f '(x)
f '(a)
f'(b)
f ' ( x ) f'(x+dx)
A
B
'
P
Pdx d f ' ( x ) P+d P Q
P
P+dP
dx
df '
Q
R
Figura 2.3
O segundo teorema fundamental
Se, agora, o problema for calcular a rea sob o grfico de uma funo f definida e contnua
num intervalo [a, b], pode-se proceder assim. Divide-se o intervalo [a, b] por uma partio
infinita, cada ponto, x, separado do seguinte por uma distncia infinitesimal dx. A rea fica
decomposta em trapezides de base infinitesimal dx, altura f(x) com lado superior curvo. A rea
desse trapezide o que se denomina elemento de rea dA expresso atravs das coordenadas x e
y. A rea procurada exatamente a soma infinita de todos esse elementos de rea

b
a
dA A . A
seguir, o elemento de rea expresso em coordenadas cartesianas por f(x)dx. Nesse momento
comete-se um erro por desprezar a parte superior do trapezide, essa que na figura (2.3) ficava
entre a curva e os segmentos de reta PR e R(P+dP). Portanto temos de indicar essa aproximao
com a notao: dA f(x) dx. A rea total ser, ento quase igual soma infinita dos elementos
de rea expressos em coordenadas cartesianas:

b
a
dx x f A ) ( . Finalmente, o clculo se completa
encontrando uma primitiva de f, digamos F, tal que F = f e substituindo f(x)dx por dF nessa
soma infinita. (Ver a figura abaixo).
( )
) ( ) (
) ( ) ( ) ( ) ( ) ( ) ( ) (
a F b F
x dF dx x E x dF dx x E x dF dx x F dx x f dA A
b
a
b
a
F
b
a
b
a
F
b
a
b
a
b
a



Note que a diferena entre a rea e a soma infinita dos retngulos f(x)dx, em geral no
zero. Esse o primeiro sinal na frmula acima. Ele nos diz que o conceito de rea no
expresso exatamente pala integral em coordenadas cartesianas. Depois, um segundo sinal de
quase igual provm do fato de que dF no exatamente F(x)dx e que um infinitsimo tem que
ser "desprezado". Isso possvel se F for contnua, que a hiptese feita nos cursos de cclulo.
Esse o segundo sinal de , acima. Resulta, ento:
) ( ) ( ) ( ) ( a F b F x dF dx x f dA A
b
a
b
a
b
a


Nos livros de clculo encontra-se, nesse lugar uma igualdade. Por qu? Porque nesses
livros, a rea , por definio, a integral e a integral definida como um nmero real, ou seja,
sem partes infinitesimais. Violenta-se o conceito intuitivo de rea, pondo-o como outra coisa, a
17
saber, a integral, sob o argumento de que isso razovel. um exemplo tpico da finitizao
do pensamento pela matemtica do sculo 20. Uma tal soluo arbitrria das dificuldades
conceituais ("diz-se que a integral a rea") no foi possvel durante mais de duzentos anos. Foi
iniciada com Cauchy, elevada ao apogeu por Hilbert e seguida risca por Bourbaki.
O caminho que seguimos foi bem outro. O conceito de rea permanece com suas
determinaes intuitivas. Trata-se de express-lo. O preo eu pagamos que essa expresso no
exata, ela quase igual () ao conceito.
a x b
F(a)
F(b)
F(x)
dx
dF(x)
dx
dF
F tal que F' = f
dF(x)=F'(x)dx=f(x)dx=dA
a b x
f
f(x)
dA=f(x)dx
dx
Para calcular a rea desta f ...
...pense nesta F
Funo dada
Primitiva calculada
3. Os hiper-reais em um curso de anlise infinitesimal
Um curso de introduo anlise infinitesimal deve como primeiro objetivo legitimar os
cursos de clculo infinitesimal. Atravs de disciplinas de anlise infinitesimal na graduao a
instituio universitria reconhece que o clculo infinitesimal um saber legtimo e que,
portanto, pode ser objeto de ensino. Isso deve guiar o professor na escolha de tpicos para uma
tal disciplina. No ser necessrio estudar os casos mais gerais nem responder as inmeras
perguntas que surgem. Pastar retomar os resultados usados nos cursos de clculo. Em uma tal
disciplina, deve-se partir das concepes espontneas desenvolvidas em clculo e caminhar na
direo das concepes prprias, matematicamente rigorosas, passando por concepes
provisrias, a serem ajustadas paulatinamente.
3.1. Os hiper-reais
Partimos da seguinte concepo provisria: os hiper-reais so as seqncias de reais!
Porm, este so um pouco forte demais. verdade que cada seqncia de reais determina
um hiper-real e todo hiper-real determinado por uma seqncia de reais. Embora uma
seqncia de reais determine um nico hiper-real, a recproca no vale: um mesmo hiper-real
determinado por muitas, na verdade, uma infinidade de, seqncias de reais. apenas por isso
que no podemos dizer que os hiper-reais so as seqncias de reais. Vem ento a pergunta:
quando que duas seqncias de reais determinam o mesmo hiper-real? Se as seqncias forem
iguais termo a termo, isto , se a
n
= b
n

para todo ndice n, ento, certamente os hiper-reais que
elas determinam sero iguais. Tambm se existir um n
0
tal que a
n
= b
n
para todo n > n
0
, ento os
hiper-reais determinados por essas seqncias sero iguais. Ou seja, se as seqncias s forem
diferentes em um conjunto finito de ndices, elas determinaro o mesmo hiper-real.
18
Porm, h casos em que duas seqncias tm termos diferentes para uma infinidade de
ndices mas, mesmo assim, determinam o mesmo hiper-real. preciso, ento, dizer o seguinte:
se o conjunto de ndices n para os quais a
n
= b
n
for suficientemente grande, os nmeros
hiper-reais determinados por essas seqncias sero iguais. Tambm, se o conjunto de ndices
n para os quais a
n
< b
n
for grande saberemos que o hiper-real determinado por (a
n
) menor
que o hiper-real determinado por (b
n
). Assim, um nmero hiper-real no ser apenas uma
seqncia (a
n
), mas, sim, um conjunto seqncias, todas determinando um mesmo nmero
hiper-real. Mais precisamente, dada uma seqncia (a
n
) todas as seqncias de reais cujos
termos coincidem com os a
n
em um conjunto de ndices grande vo determinar um mesmo
hiper-real. Formalmente, dizemos que o hiper-real a classe de equivalncia dessas seqncias.
Note que o conceito de grande e sua negao, pequeno, aplica-se apenas a subconjuntos dos
naturais. Para tornar essa noo mais precisa, usaremos a notao seguinte: a seqncia (a
n
)
determina o nmero hiper-real a
n
. Por exemplo:
a seqncia (n) = (1, 2, 3, ...) determina o hiper-real n = 1, 2, 3, ... anotado ;
a seqncia

,
_

1
1
n
n
determina o nmero hiper-real
n
1
que anotaremos

1
;
a seqncia
,
_

,
_

L ,
102
1
,
101
1
,
100
1 1
100 n
n
determina o mesmo nmero hiper-real ;
a seqncia (1, 2
2
, 3
2
, ...) determina um nmero hiper-real 1, 2
2
, 3
2
, ..., anotado
2
;
a seqncia

,
_

2
1
n
determina o nmero hiper-real
2
2
1

n
;
a seqncia (1, 2, 2
2
, 2
3
, ...) determina o nmero hiper-real 1, 2, 2
2
, 2
3
, ... = 2

.
se r um nmero real, a seqncia constante (r, r, r, ...) determina o hiper-real r, r, r, ... que
tambm ser anotado r.
Esse ltimo exemplo nos diz que os reais sero pensados como includos nos hiper-reais
como seqncias constantes. Seria desastroso se e
2
no fossem infinitsimos ou se ,
2
e
2

no fossem infinitos. Felizmente isso no ocorre, como logo veremos.

Quando uma proposio P(n) dependente de um inteiro n for verdadeira para todos os n
de um conjunto grande, diremos que P ocorre quase sempre, e abreviamos qs. Assim, duas
seqncias de reais a = (a
n
) e b = (b
n
) determinaro o mesmo hiper-real se o conjunto dos
ndices em que seus termos coincidem for um conjunto grande, ou seja, a
n
= b
n
quase sempre.
Se a
n
< b
n
quase sempre diremos que a
n
< b
n
. Assim, <
2
, <
2
< 2

, etc. O hiper-real
a
n
ser infinito se for maior que todo natural k, ou seja, se para todo natural k, tivermos a
n
> k
quase sempre, ou ainda, se conjunto de ndices n para os quais a
n
> k for grande. Aplicando essa
definio, v-se que e
2
so infinitsimos enquanto ,
2
e 2

so infinitos. Em particular,
verifica-se que
a
n
= 0,99...
(n noves)
...9 < 0,99...
(2n noves)
...9 = b
n
.
Um resultado importante o seguinte: todo hiper-real finito est infinitamente prximo de
um nico real, denominado sua parte real ou parte standard. Ou seja, se a = a
n
finito tem-se
que a st(a). A demonstrao uma exerccio de aplicao da definio de supremo.
Verifiquemos.
Considere um hiper-real finito a = a
n
que, como finito, est compreendido entre L e +L
para algum real L. considere, ento, o conjunto de todos os reais x menores ou iguais a a ; so
19
todos menores que L, formam portanto um conjunto X de reais, limitado superiormente e no
vazio (porque inclui L) que, como tal, no deixa de ter supremo em R. Seja b o nmero real
supremo de X. Verifiquemos que a b, isto a
n
b, ou que para todo >0,
a
n
b < quase sempre, ou ainda que b < a
n
< b + qs. Como b o supremo de X, existe
um elemento x de X tal que b < x. Porm, x estando em X, x menor ou igual a a, ou seja,
x a
n
qs. Das duas ltimas desigualdades segue que b < a
n
qs. Por outro lado, se a
n
no
fosse menor que b + qs teramos a
n
b + > b + /2 qs ou seja, a > b + /2, donde b + /2
pertenceria a X, contrariando a outra propriedade do supremo.
Sobre a parte standard, pode-se dizer o seguinte. Sempre que uma seqncia de nmeros
reais convergir para um nmero real L, o nmero hiper-real determinado por ela tem L como
parte standard. Em smbolos, se L a lim
n
n


ento st a
n
= L.
Uma pergunta que poderia ter ocorrido ao leitor a seguinte: Por que no dizer que cada
seqncia de reais um hiper-real? Por que entrar com essa complicao de conjunto grande e
conjunto pequeno? Ou, por que no dizer que duas seqncias determinam o mesmo hiper-real
se seus termos forem iguais a partir de um certo N ? De fato, tudo ficaria mais simples, porm,
note o seguinte: com essa definio, as seqncias (0, 1, 0, 1, ...) e (1, 0, 1, 0, ...) seriam
diferentes da seqncia (0, 0, 0, ...) entretanto, o produto delas seria zero. Teramos hiper-reais
no nulos cujo produto zero, ou seja, teramos o que em lgebra se denominam divisores de
zero. Uma estrutura assim no serviria como conjunto numrico.
Dados dois hiper-reais z e w, consideramos duas seqncias de reais que os determinem:
z = a
n
e w = b
n
. Definimos, ento z + w = a
n
+ b
n
e z.w = a
n
b
n
. Prova-se que com essas
operaes e com a ordem definida acima, os hiper-reais formam um corpo ordenado. O nico
ponto delicado o inverso multiplicativo, porque, se tomamos um z = a
n
0 no sabemos se
os a
n
so diferentes de zero. Na verdade, uma infinidade deles pode ser zero. Ento, como
considerar
n
a z
1 1
? a que entra Abraham Robinson, como logo veremos.
3.2. Os resultados usados no clculo infinitesimal
Quando , ento, que um conjunto de ndices grande? No h regra prtica (nem
terica) para determinar se um conjunto grande. O que se pode dizer que os conjuntos finitos
de ndices no so grandes; dizemos que so pequenos. Conseqentemente, os conjuntos que
incluem todos os ndices a partir de um certo n
0
so grandes. Porm, h conjuntos infinitos que
so pequenos. Podemos exibir pelo menos um exemplo de conjunto infinito que seja pequeno?
No! Seja qual for o conjunto infinito dado, no h como saber se pequeno ou grande. S se
pode contar com as seguintes propriedades:
1) a interseo de dois conjuntos grandes ainda grande;
2) se um conjunto grande, seu complementar pequeno.
Ou seja, se partirmos de um conjunto grande (o complementar pequeno) e formos
removendo elementos dele (e necessariamente acrescentando esses elementos ao
complementar), num certo momento esse conjunto ficar pequeno, mas, nesse mesmo momento,
seu complementar ficar grande. Dizendo, ainda, de outro modo: por mais iguais que sejam as
quantidades de elementos de dois conjuntos complementares, por exemplo, o conjunto dos
pares e o conjuntos dos mpares, sempre um ser grande e o outro pequeno, sem que se saiba
20
dizer qual o qu. Que uma tal noo estranha possa ser matematicamente formalizada e
tornada rigorosa, isso se deve a genialidade de Robinson .
A indeterminao quanto ao estatuto dos hiper-reais decorrente de no se poder determinar
se um dado conjunto infinito grande ou pequeno, no deve preocupar. Tambm nunca
ningum viu ou 2 escrito com todas as casas, mas nunca duvidou que esses nmeros existam.
Se z = a
n
0 ento o conjunto de ndices n para os quais a
n
0 grande e o conjunto de
ndices para os quais a
n
= 0 pequeno. Trocando o valor de a
n
em um conjunto pequeno no
altera o nmero hiper-real que essa seqncia determina. Ento, se substituirmos os a
n
nulos por
1 (ou por qualquer real no nulo) a seqncia assim modificada (a
n
) ainda determinar o mesmo
z, z = a
n
. Podemos, agora considerar,
n
a z

1 1

e 1/z fica determinado apenas por z.
Dissemos que dois nmeros hiper-reais a
n
e b
n
esto infinitamente prximos se a
diferena deles um infinitsimo. De modo mais preciso, agora, podemos dizer que isso
eqivale a dizer que, para todo >0, <
n n
b a quase sempre.
Com os nmeros hiper-reais, muitos conceitos podem se expressos de modo mais simples
e intuitivo. Por exemplo:
1) Uma funo y = f(x) ser contnua no ponto a se, para todo hiper-real x infinitamente
prximo de a, o valor f(x) estiver infinitamente prximo de f(a). Em smbolos:
x a f(x) (a). Esse resultado depende de que se saiba como calcular o valor de f num
hiper-real, ou, dizendo de modo mais preciso, depende de que se saiba como estender uma
funo real aos hiper-reais. Como isso pode ser feito? simples: se x *R um hiper-
real, tomamos uma qualquer seqncia que o represente, x = a
n
e definimos f(x) = f(a
n
).
2) Uma funo ser derivvel no ponto a se todos os quocientes infinitesimais no ponto a
estiverem na mnada de um mesmo nmero real, denotado f ' (a). Mais precisamente, f
ser derivvel em a se existir um nmero real anotado f '(a) tal que, para todo acrscimo
infinitesimal dx da varivel, o acrscimo resultante dy = f(a+dx) f(a) for tal que
) ( ' a f
dx
dy
ou ainda ) ( ' a f
dx
dy
st
,
_

3) Uma seqncia (a
n
) tem limite L se, para todo nmero hiper-real infinito positivo, , tem-
se a

L. O que a

? Resposta: o que ? um hiper-real infinito positivo, mas

inteiro! O que isso ? Pode ser, por exemplo, determinado por uma seqncia crescente
de inteiros (n
1
, n
2
, n
3
, ...). Ento ... , , ,
3 2 1
n n n
a a a a

4) A integral de uma funo contnua em [a, b] a soma infinita que se obtm tomando um
ponto x em cada um dos intervalos infinitesimais de comprimento dx de uma partio
infinitesimal do intervalo. A parte standard dessa soma ser a integral definida que, a
rigor, deveria ser anotada st(

b
a
dx x f ) ( ) para conservar o significado de soma infinita do
smbolo .
O que ma partio do intervalo? Para cada n = 1, 2, ... considere o conjunto

'

+ b
a b
k a
a b
a a P
n n
n
, ,
2
, ,
2
, L L
21
A partio ser formada por todos os hiper-reais x
n
onde x
n
P
n
, n = 1, 2, .... Essa
partio tem intervalos de comprimentos iguais a
n
dx
2
1
. Se y
n
um elemento da partio
situado entre dois outros elementos x = x
n
e
n
n
x dx x
2
1
+ + , isto , se
n
n n n
x y x
2
1
+ ,
ento ou x
n
= y
n
quase sempre ou
n
n n
x y
2
1
+ quase sempre, o que significa que x e x + dx so
pontos consecutivos. Essa partio d conta das integrais das funes contnuas; no se precisa
considerar outras.
O que a soma infinita que se denomina a quase integral definida? o seguinte hiper-
real:
n
n
k
n
n
k
n n
b
a
a b
k a f
a b
k a f dx x f
2
1
2 2
1
2
) (
1 1

,
_

+
,
_

+
Note que se trata de um produto de um hiper-real, em geral infinito, por um infinitsimo.
Se f for contnua, esse produto finito e, para qualquer partio, sua parte standard a mesma.
Essa parte standard que se chama integral definida.
A construo dos hiper-reais segue os passos da construo os reais pela via das
seqncias fundamentais. Em vez de partir dos racionais, parte-se dos reais. Em vez de
seqncias fundamentais, consideram-se todas as seqncias de reais. Porm, haver muito
menos seqncias equivalentes a uma dada seqncia, ou seja, as classes de equivalncia sero
muito mais magras. Em compensao, sero em muito maior nmero, o que vai permitir ter mais
nmeros hiper-reais que reais. Um nmero hiper-real ser, ento, definido como uma classe de
equivalncia de seqncias de reais. Quem estiver familiarizado com a construo dos reais pela
via das seqncias fundamentais de racionais poder gostar de ler o seguinte. Duas seqncias
de racionais ( a
n
) e ( b
n
) so eqivalentes se (e s se) 0 lim

n n
n
b a ou seja, se
( ) <
n n
b a N n n N
Em outros termos:
{ } { } ... , 2 , 1 , + + < N N N b a n N
n n
A famlia formada por todos os subconjuntos dos naturais, cada um dos quais contm
todos os naturais a partir de algum natural, denominada filtro de Frechet. Anotamos F.
Podemos, ento, dizer que, duas seqncias fundamentais de racionais so eqivalentes se e s
se
{ } F <
n n
b a n
Para definir os hiper-reais, diremos que duas seqncias quaisquer (no necessariamente
fundamentais) de reais so equivalentes se e s se
{ } U
n n
b a n
onde U, em vez de ser o filtro de Frechet, ser um ultrafiltro livre nos naturais. Abreviamos essa
equivalncia dizendo que a
n
= b
n
quase sempre ou ainda a
n
= b
n
qs. Um nmero hiper-real
ser ento uma classe de eqivalncia de seqncias (quaisquer) de reais. O conjunto de todos os
nmeros hiper-reais ser anotado *R. O nmero hiper-real que a classe de equivalncia de uma
seqncia (a
n
) ser anotado a
n
.
22
Resta, ento, dizer o que um ultrafiltro livre. Um ultrafiltro livre U nos naturais uma
famlia de partes de N que satisfazem s seguintes condies; (1) U no vazia nem o conjunto
vazio pertence a U; (2) U estvel por intersees finitas, ou seja, se A e B pertencem a U, a
interseo AB tambm pertence; (3) U estvel por sobreconjuntos, ou seja, se A pertence a U
e BA, tambm B pertence a U; (4) a condio de liberdade diz que nenhum conjunto finito
pertence a U; (5) a condio de maximalidade diz que qualquer subconjunto de N, ou pertence a
U ou seu complementar pertence a U. Vejamos a formalizao de algumas propriedades
intuitivas acerca de nmeros infinitos e infinitsimos.
A dificuldade que se coloca neste ponto que, embora se saiba que existem ultrafiltros,
no se pode determin-los como se fez com o filtro de Frechet, porque a existncia deles
depende de que se possa consumar uma infinidade de escolhas, o que, em tempo finito,
impossvel. Admite-se que essa escolha possa ser feita de algum modo (ou de vrios), sem que
se saiba dizer qual. Esse o axioma da escolha, da teoria dos conjuntos. De acordo com ele,
pode-se dizer, seja U um ultrafiltro livre e durante tudo o que vamos dizer s usaremos este.
Porm, mesmo assim, dado um conjunto infinito X de naturais, no ser possvel dizer se X
pertence a U ou no. S se poder dizer que, ou X pertence a U ou o complemento de X pertence
a U. E isso bastar.
A existncia de ultrafiltros livres depende do axioma da escolha que equivalente ao lema
de Zorn. A demonstrao pode ser encontrada por exemplo em Dunford & Schwartz [1964:30].
Prova-se que a reunio de uma cadeia de filtros livres um filtro livre, logo existe um filtro
maximal; prova-se, ento, que estes satisfazem condio (5).
Por exemplo, considere as seqncias seguintes (a
n
) = (0,1,0,1,0,1,...),
(b
n
) = (1,0,1,0,1,0,...) e 0 = (0,0,0,0,0,...). Doponto de vista da identificao pela via do
ultrafiltro:
{n a
n
= 0 } = {1, 3, 5, 7, ...} o conjunto dos nmeros mpares
{n b
n
= 0 } = {2, 4, 6, 8, ...} o conjunto dos nmeros pares
Qual desses conjuntos pertence ao ultrafiltro? Como eles so complementares, pelo quinto
postulado acima, um dos dois deve pertencer a U. Na verdade, s um pertence, porque se ambos
pertencessem, sua interseo pertenceria, mas a interseo o vazio e o vazio no pertence a U.
Qual dos dois pertence? Isso jamais se saber, porque U no construtvel. Se for o conjunto
dos mpares que pertence, a seqncia (a
n
) idntica seqncia nula; se for o conjunto dos
pares que pertence, a seqncia (b
n
) ser idntica seqncia nula.
As operaes e a ordem em *R so definidas assim. Dados os hiper-reais a = a
n
e
b = b
n
, por definio: a + b = a
n
+ b
n
, ab = a
n
b
n
, a < b se e s se a
n
< b
n
qs. Primeiro deve-
se provar que essas operaes esto bem definidas, ou seja, que se forem tomadas outras
seqncias representantes das classes de eqivalncia a e b os resultados das operaes e da
comparao sero os mesmos. Ou seja, se a = a
n
= a'
n
e b = b
n
= b'
n
, ento
a
n
+ b
n
= a'
n
+ b'
n
, a
n
b
n
= a'
n
b'
n
e a
n
< b
n
qs se e s se a'
n
< b'
n
qs. Todas essas
demonstraes dependem da propriedade de estabilidade em intersees finitas do ultrafiltro.
Faremos s uma delas.
De a = a
n
= a'
n
e b = b
n
= b'
n
segue N
a
= {n a
n
= a'
n
} U e N
b
= {n b
n
= b'
n
} U.
Ento, N
a
N
b
= {n a
n
= a'
n
e b
n
= b'
n
} U. Porm {n a
n
+ b
n
= a'
n
+ b'
n
} N
a
N
b
, logo,
23
por (2) esse conjunto tambm pertence a U donde a eqivalncia das seqncias (a
n
+ b
n
) e
(a'
n
+ b'
n
).
Fica imediato, repetindo esse raciocnio, construir outros infinitsimos e nmeros
infinitos, Diz-se que um hiper-real infinito positivo se ele for maior que todos os reais
positivos. Segue que *R no arquimediano, portanto no completo. De fato, o conjunto dos
infinitsimos limitado superiormente mas no tem supremo. A demonstrao de que uma
funo contnua em um intervalo fechado uniformemente contnua quase imediata. Ela
dispensa o teorema de Bolzano-Weierstrass de que todo conjunto infinito limitado tem ponto de
acumulao ou o teorema da existncia de subseqncias convergentes de seqncias limitadas
ou outras formas equivalentes do axioma do supremo. Esse axioma j foi usado na prova de que
os hiper-reais finitos tm parte standard.
A continuidade uniforme das funes contnuas em intervalos fechados limitados
importante porque dele depende a demonstrao de que as funes contnuas so integrveis
Riemann (ou Cauchy), o que os livros de clculo omitem. Vejamos a demonstrao.
Se f : [a, b] no uniformemente contnua, existe > 0 tal que para todo 0
1
>
n
existem x
n
e y
n
em [a, b] tais que
n
y x
n n
1
< mas > ) ( ) (
n n
y f x f . Sejam ento os hiper-
reais x = x
n
e y = y
n
. De
n
y x
n n
1
< para todo n segue que esses hiper-reais esto
infinitamente prximos. Como as seqncias que os definem esto no intervalo limitado, eles
so finitos. Portanto eles tm uma parte real comum, digamos z, da qual ambos esto
infinitamente prximos. Tambm, z [a, b], do contrrio o hiper-real z estaria a uma distncia
no infinitesimal positiva de todos os x
n
e no poderia ser a parte standard de x
n
. Por outro
lado, de > ) ( ) (
n n
y f x f para todo n, segue que a distncia entre f(x) = f(x
n
) e f(y) = f(y
n
)
, pelo menos . Logo, apenas um desse hiper-reais, f(x
n
) ou f(y
n
), poder estar infinitamente
prximo de f(z), o outro, apesar de ser imagem de um ponto, x ou y, infinitamente prximo de z,
no estar infinitamente prximo de f(z). Ento f no ser contnua em z.
O teorema da mdia admite uma extenso aos hiper-reais como segue. Se f contnua em
[a, b] e derivvel em (a, b), se x
j
(a, b) para j = 1,2,...e dx = dx
j
um infinitsimo tal que
x + dx
j
(a, b) quase sempre, ento o teorema da mdia diz que existe
j
(0, 1) tal que
f (x
j
+ dx
j
) f (x) = f (x
j
+
j
dx
j
) dx
j
. Pondo x = x
j
e =
j
teremos, ento
df (x) = f (x + dx) f(x) = f (x + dx) dx.
Retomando, ento, (2.6.3), se f tambm for contnua, teremos:
E(x) dx = df (x) f(x) dx = f (x + dx) dx f (x) dx
donde E(x) = f (x + dx) f (x). A continuidade uniforme de f garante uma limitao
uniforme para E(x).
3.3. Interpretando a diferencial segunda
Por que se escreve
2
2
dx
f d
e no
x d
f d
2
2
? A reposta as essa pergunta vale um pargrafo como
este. Nossa definio bsica foi a seguinte:
(3.3.1) df (x) = f (x+dx) f (x).
A quase diferencial uma funo de x e de dx. Se preciso, pode ser anotada df (x, dx).
Nessa sesso, omitiremos o advrbio quase. Seguindo essa definio, a diferencial segunda de f,
24
anotada d
2
f, , por definio, a diferencial de df(x), considerando-se dx como constante, ou seja:
(3.3.2)
( )
) ( ) ( 2 ) 2 (
) ( ) ( ) ( ) 2 ( ) ( ) ( ) ( ) (
2
x f dx x f dx x f
x f dx x f dx x f dx x f x df dx x df x ddf x f d
+ + +
+ + + +
A derivada de f o nmero real, anotado f (x) tal que
(3.3.3) df = f (x) dx + E
f
dx.
Ou seja, para todo infinitsimo dx existe um infinitsimo E
f
(que funo de x e de dx) tal
que (5.3) vale, ou ainda:
(3.3.4)

,
_

dx
df
st x f ) (
A derivada interpretada como a constante de quase-proporcionalidade entre df e dx.
Seguindo essa definio, a derivada segunda de f a derivada da derivada de f; a derivada
segunda definida como o nmero real anotado f (x) tal que
(3.3.5) df = f (x) dx + E
f
dx.
Ou seja, para todo infinitsimo dx, existe um infinitsimo E
f
(dependendo de x e de dx),
tal que (5.5) vale. A relao
(3.3.6)
) ( ' '
2
2
x f
dx
f d
ou
2 2
) ( ' ' dx x f f d
no bvia como na matemtica standard, onde ela uma igualdade posta por definio; ambos
so smbolos da derivada segunda. O resultado (3.3.6) vlido sempre que f for derivvel em
um intervalo aberto contendo o ponto x e que a funo derivada f for derivvel apenas no ponto
x, ou seja, vlido supondo-se que f (x) exista apenas no ponto x. Esse no um resultado
trivial, porque d
2
f definida por diferenas infinitesimais de f enquanto f (x) definida como
constante de quase-proporcionalidade entre df e dx. Esse resultado, que para ns fundamental,
encontra-se como exerccio de mera curiosidade em alguns livros de anlise sob a forma:
) ( ' '
) ( ) ( 2 ) 2 (
lim
2
0
x f
h
x f h x f h x f
h

+ + +

Pode-se definir a derivada segunda como a constante de quase-proporcionalidade entre o

quadrado do acrscimo da varivel e o acrscimo da diferencial (infinitesimal) segunda. A
diferencial segunda tem a interpretao geomtrica seguinte (fig. 3.3.1). Passa-se uma reta
secante por P(x, f(x)) e Q(x + dx, f (x + dx)). Dando um acrscimo dx a partir de x + dx e
levantando-se a ordenada neste ponto, encontraremos a reta secante em f(x) + 2 dy (ponto S) e
curva em f (x + 2 dx) em R. A diferena entre essas ordenadas a diferencial segunda:
Verifiquemos (3.3.6). Quando se supe que f existe e contnua no intervalo, a
demonstrao bem mais fcil. Faremos aqui a hiptese de que f exista apenas em x e
escreveremos a prova em verso infinitesimal.
Suponhamos, primeiro, o caso particular em que x = 0 e f(0) = f (0) = f (0)=0. Trata-se,
ento de mostrar que 0
2
2

dx
f d
. Porm, por (5.2)
2 2
2
) ( 2 ) 2 (
dx
dx f dx f
dx
f d
Trata-se, ento, de
mostrar que 0
) ( 2 ) 2 (
2

dx
dx f dx f
. Apliquemos o teorema do valor mdio a f no intervalo de
extermindade 0 e 2dx e no intervalo de extremidades 0 e dx: existiro reais e entre zero e um
25
tais que
f (2dx) f(0) = f ( 2 dx) 2dx e f (dx)-f (0) = f ( dx) dx
Da
dx
dx f dx f
dx
dx f dx f ) ( ' 2 ) 2 ( ' ) ( 2 ) 2 (
2

. Como f (0) existe e zero, de (3.3.5)

vem:
0 2 2
2 2
2
2

f f
f f
E E
dx
dx E dx E
dx
f d
Vejamos o caso geral. A idia reduzi-lo ao caso particular acima, subtraindo de f uma
funo de segundo grau capaz de anular os valores de f, f e f no ponto x. Seja, ento
2
) ( ' '
) ( ' ) ( ) ( ) (
2
x f h
x f h x f h x f h g +
Note que g(0) = g(0) = g(0) = 0 e que, portanto, pelo caso particular acima,
0
) ( 2 ) 2 (
2

dx
dx g dx g
. Calculando d
2
f:
) ( ' ' ) ( 2 ) 2 (
) (
) ( ' ' ) ( ' 2 ) ( 2 ) ( 2
) ( ' ' 2 ) ( ' 2 ) ( ) 2 (
) ( ) ( 2 ) 2 (
2
2
2
2
x f dx dx g dx g
x f
x f dx x f dx x f dx g
x f dx x f dx x f dx g
x f dx x f dx x f f d
+
+
+
+ + +
+ + +
donde ) ( ' ' ) ( ' '
) ( 2 ) 2 (
2 2
2
x f x f
dx
dx g dx g
dx
f d
+

CQD.
26
y=f(x)
y+dy=f(x+dx)
x x+dx
dy
dy
d y
2
R
e
t
a

s
e
c
a
n
t
e
R
e
t
a

s
e
c
a
n
t
e
C
u
r
v
a
C
u
r
v
a
x+2dx
x+2dx
y=f(x)
x
f
y = f ( x )
y+dy=f(x+dx)
f ( x +2dx )
x x+dx
d x
d x
dy
dy
d y 2 R eta secanteCurva
x+2dx
P
Primeiro zoom infinito
f(x+2dx)
f(x)+2dy
P
Q
Q
R
R
R
S
S
Segundo zoom
infinito
Figura 3.3.1
A diferencial segunda
f(x+2dx)~f(x)+2dy
~
Referncias
Cauchy, A. L. (1823) Rsum des Leons donnes lcole Polytchnique sur le Calcul
Infinitesimal [Summary of Lectures given at the cole Polytchnique about Infinitesimal
Calculus]. Paris: De LImprimrie Royale.
Dunford, N. & Schwatrz, J. T. (1964). Linear Operators. New York, Interscience Publishers.
Halmos , P. (1960). Nave Set Theory. Toronto: Van Nostrand.
Leibniz, G. G. (1983). Oeuvre Concernat le Calcul Infinitsimal. Paris: A. Blanchard.