Sie sind auf Seite 1von 19

Aspectos do

Teorema Fundamental do Calculo


Luis Adauto Medeiros
Conferencia proferida na
Faculdade de Matematica - UFPA
(Belem Mar co de 2008)
Entao porque pinta?
Por nada. Procuro
simplesmente reproduzir o que vejo
W. Somerset Morgan
Primeira Fase
Deve-se a Newton (1643-1727) a introdu cao do conceito de primitiva
de uma fun cao. Denomina-se primitiva de uma fun cao f, a uma fun cao F
tal que sua derivada F

seja igual a f. Newton empregava esta nomenclatura


para denir os conceitos de velocidade e acelera cao por meio da no cao de
espa co percorrido por uma partcula. Adota-se a nota cao
F

= f ou
_
f = F + constante.
Diz-se que
_
f e a integral indenida da f ou primitiva de f.
Segunda Fase
Leibniz (1646-1716)
Pensava no calculo de areas por meio da no cao de limite obtendo
um novo conceito matematico, denominado integral. Com a nota cao atual,
considera-se uma fun cao f denida em um intervalo, tomando valores reais,
2
positiva. Considere-se o subconjunto do plano R
2
denido do modo seguinte:
_
(x, y) R
2
; a x b, 0 y f(x)
_
,
denominado conjunto ordenada de f em [a, b].
Calculava-se a area do conjunto ordenada para certas fun coes, a resi-
dindo, penso eu, o conceito de integral denida.
Terceira Fase
Cauchy (1789-1857)
Fixa-se a aten cao para fun coes reais, denidas em um intervalo fechado
[a, b] da reta R.
Para estas fun coes, Cauchy deniu, de modo claro, as no coes de limite,
continuidade, derivada e integral. Relacionou a integral com a derivada,
isto e, relacionou os conceitos de Leibniz e Newton para o caso das fun coes
contnuas.
Integral de Cauchy
Considere-se uma fun cao contnua
f : [a, b] R,
uma parti cao P de [a, b] por meio dos pontos:
a = x
0
< x
1
< < x
k1
< x
k
< < x
n
= b. (1)
3
Escolhe-se
k
tal que x
k1
<
k
< x
k
, k = 1, . . . , n e dene-se a soma
S
P
=
n

k=1
(x
k
x
k1
)f(
k
).
Consulte-se a Figura 1.
y
b=x
Fig.1
x
k
x x=a
M
m
0
n
0
x
k-1 k
f
f ()
k
Cauchy demonstrou que quando f : [a, b] R for contnua, existe o
limite nito de S
P
quando max(x
k
x
k1
) converge para zero, qualquer que
seja a parti cao P de [a, b]. A este limite ele denominou integral da funcao
contnua f : [a, b] R. Representou por
_
b
a
f(x) dx,
nota cao que, segundo ele, deve-se a Fourier.
Relacionou, por meio do teorema a seguir, as no coes de integral e deri-
vada.
4
Teorema de Cauchy. Suponha f : [a, b] R, contnua, derivavel, com
derivada f

: [a, b] R contnua. Entao vale a igualdade:


_
b
a
f

(x) dx = f(b) f(a). (2)


Observacao 1. Este denomina-se Teorema Fundamental do Calculo.
Demonstra cao: Considere-se uma parti cao P do intervalo [a, b], cf. (1).
Por calculo simples, verica-se:
f(b) f(a) =
n

k=1
[f(x
k
) f(x
k1
)].
Sendo f

: [a, b] R contnua, resulta:


f(x
k
) f(x
k1
) = f

(
k
)(x
k
x
k1
),
teorema do valor intermediario de Cauchy, com x
k1
<
k
< x
k
.
Da resulta que
f(b) f(a) =
n

k=1
(x
k
x
k1
)f

(
k
). (3)
Sendo f

: [a, b] R contnua, ela e integravel segundo Cauchy. Portanto,


considerando o limite em (3), quando max(x
k
x
k1
) 0, obtem-se:
_
b
a
f

(x) dx = f(b) f(a).

Sendo f : [a, b] R contnua e bem denida a fun cao


F(x) =
_
x
a
f(s) ds,
cf. Figura 2.
5
y
Fig.2
x
a
0 x
f
b
f s ds ( )
x
a

E simples vericar que F e uma primitiva de f. De fato, para h > 0 tal


que
a < x + h < b, obtem-se:
F(x + h) F(x) =
_
x+h
x
f(s) ds = hf(),
com x < < x + h, pois f e contnua. Resulta, da continuidade da f, que
quando h 0 obtem-se:
F

(x) = f(x). (4)

Assim, e grande a classe das primitivas de fun coes contnuas. De (4) e


da continuidade da f e do Teorema de Cauchy, obtem-se:
F(b) F(a) =
_
b
a
f(x) dx. (5)
Deste modo, para o calculo da integral de Cauchy e suciente o conhe-
cimento de uma primitiva. Este metodo e fundamental nas aplica coes. A
6
rela cao (5) entre a integral e uma de suas primitivas e conhecida por formula
de Newton-Leibniz.
Quarta Fase
Riemann (1826-1866)
Darboux (1842-1917)
O conceito de integral de Riemann e uma extensao do metodo de Cau-
chy, ao caso em que f : [a, b] R e apenas limitada, nao necessariamente
contnua, como no caso de Cauchy.
De fato, suponha-se f : [a, b] R limitada e P uma parti cao de [a, b]
como em (1). Repete-se a metodologia como no caso de Cauchy, obtendo-se:
S
P
=
n

k=1
(x
k
x
k1
)f(
k
),
com f : [a, b] R, limitada.
Se S
P
possui limite nito, quando max(x
k
x
k1
) converge para zero,
diz-se que f e integravel `a Riemann e ao limite denomina-se integral de
Riemann da f limitada representando-se por:
(R)
_
b
a
f(x) dx.
Obtem-se, tambem, um teorema fundamental do calculo como segue.
Teorema de Riemann. Supoe-se f : [a, b] R, limitada, integravel `a
Riemann, derivavel com f

: [a, b] R integravel `a Riemann. Entao vale a


7
igualdade:
_
b
a
f

(x) dx = f(b) f(a).


Demonstra cao: Analoga ao caso contnuo de Cauchy.

Lebesgue provou que a classe das fun coes integraveis `a Riemann nao
e tao grande quando comparada `as contnuas. Recorda-se, a seguir, o argu-
mento de Lebesgue.
Deni cao 2. Diz-se que um subconjunto E [a, b] possui medida nula,
quando, para cada > 0 existe uma famlia enumeravel de intervalos abertos
{I
k
}
kN
, satisfazendo `as condi coes:
(i) E

k=1
I
k
, os I
k
cobrem E
(ii)

k=1
amp I
k
< .
Lebesgue provou que uma condi cao necessaria e suciente para que
f : [a, b] R, limitada, seja integravel `a Riemann e que o conjunto dos pontos
de descontinuidade da f, possua medida nula.
Analisando o teorema fundamental do calculo, segundo Riemann re-
formula-se com f : [a, b] R, contnua em [a, b] a menos de um conjunto de
medida nula, o mesmo acontecendo `a sua derivada f

: [a, b] R.

Com objetivo de melhorar o conceito de integral de Riemann, Darboux


deniu as integrais inferior e superior para fun coes limitadas. Sera feita uma
rapida revisao.
8
Considere-se f : [a, b] R, limitada, e uma parti cao P de [a, b], cf. (1).
Represente-se por J
k
= [x
k1
, x
k
], k = 1, . . . , n e dene-se:
s
k
= inf
xJ
k
f(x), S
k
= sup
xJ
k
f(x),
ambos nitos porque f : [a, b] R e limitada.
Sao denidas as somas inferior e superior de Darboux, referentes a
parti cao P, do modo seguinte:
s
P
=
n

k=1
(x
k
x
k1
)s
k
; S
P
=
n

k=1
(x
k
x
k1
)S
k
.
Quando P varia obtem-se os conjuntos de n umeros reais {s
P
} e {S
P
},
de somas inferiores e superiores. Prova-se que {s
P
} e limitado superiormente
e {S
P
} inferiormente. Logo, o primeiro possui um supremo e o segundo um
nmo, nitos. Dene-se
_
a

b
f(x) dx = sup
P
{s
P
},

_
b
a
f(x) dx = inf
P
{S
P
}.
Estes n umeros sao denominados, respectivamente, integral inferior e superior,
de Darboux da fun cao limitada f.
Tem-se:
_
a

b
f(x) dx

_
b
a
f(x) dx.
Quando houver igualdade diz-se que f e integravel em [a, b] e esta
integral e a de Riemann.
Exemplo 1. Considere a fun cao denida em [a, b] por
(x) =

1 se x racional
0 se x irracional
9
Em qualquer parti cao P de [a, b], ha nos intervalos [x
k1
, x
k
] racionais e irra-
cionais. Resulta, da, que
_
a

b
(x) dx = 0 e

_
b
a
(x) dx = 1.
Portanto nao e integravel `a Riemann-Darboux.

Quinta Fase
Lebesgue (1875-1941)
Em 1901 Lebesgue publicou uma pequena nota no C.R. Acad. Sci.
Paris, 132, (1901) pp. 86-88, completando um seculo em 2001. Alias, o
conte udo desta nota nao ocupa mais de uma pagina. Nela, Lebesgue muda
de modo profundo a maneira de denir a integral idealizada por Riemann-
Darboux.
Dada a relevancia para o desenvolvimento da Analise Matematica, por
ocasiao do centenario da nota de Lebesgue, op. cit., J.M. Bony, G. Choquet,
G. Lebeau, publicaram: Le centenaire de lintegrale de Lebesgue, C.R. Acad.
Sci. Paris, t. 332, Serie I, (2001) pp. 85-90, salientando a profunda mudan ca
na Analise Matematica motivada pelas ideias de Lebesgue.
Para denir seu novo conceito de integral, Lebesgue faz a observa cao
que e repetida a seguir.
Supoe f : [a, b] R, limitada, crescente, sendo m, M, respectivamente,
o nmo e o supremo de f em [a, b], veja Figura 3.
10
y
y=M
x
Fig.3
y
k-1
y
k
k-1
x
n
y
1
y=m
0
f
0
= a
x
1
x x
k
x
n
= b
Considere-se uma parti cao P de [a, b] em intervalos [x
k1
, x
k
], k =
1, . . . , n. Esta determina uma parti cao em intervalos [y
k1
, y
k
], k = 1, . . . , n,
de [m, M]. Reciprocamente, em face de ser f crescente em [a, b], uma parti cao
de [m, M] em intervalos [y
k1
, y
k
], k = 1, . . . , n, determina uma parti cao de
[a, b] em intervalos [x
k1
, x
k
], k = 1, . . . , n. Portanto, no caso crescente, qual-
quer metodo de parti cao de [a, b] ou [m, M] conduz a um mesmo conceito de
integral, considerando-se:
s
P
=
n

k=1
(x
k
x
k1
)y
k1
e S
P
=
n

k=1
(x
k
x
k1
)y
k
. (6)
Conclui Lebesgue que no caso em que f e crescente, limitada, obtem-se as
integrais inferior e superior de Riemann-Darboux com parti coes de [a, b] ou
[m, M], conduzindo ao mesmo conceito de integral. O caso decrescente limi-
tado e analogo.
Suponha f : [a, b] R limitada mas nao necessariamente monotona,
cf. Figura 4.
11
y
b
Fig.4
y
k
x a
y=M
n
y
k-1
y=m
0
f
Uma parti cao em [a, b] em intervalos [x
k1
, x
k
], k = 1, . . . , n, permite
denir as somas de Darboux conduzindo a um conceito de integral de Rie-
mann.
Entretanto, fazendo-se uma parti cao [y
k1
, y
k
], k = 1, . . . , n, y
0
= m,
y
n
= M, conclui-se que em [a, b] nao se tem uma parti cao em intervalos, veja
Fig. 4, para um caso simples. Em [a, b] obtem-se os conjuntos:
{x [a, b]; y
k1
f(x) y
k
},
que, no caso Fig. 4, compoe-se da uniao de quatro intervalos, sem ponto
comum. Se f for muito oscilante em [a, b] a parti cao de [m, M] determina
subconjuntos bem gerais em [a, b].
Assim, segue-se um metodo heursitco para concluir a nova deni cao
proposta por Lebesgue.
12
De fato, da parti cao [y
k1
, y
k
], k = 1, . . . , n, y
0
= m, y
n
= M, de
[m, M], resulta em [a, b] a parti cao
E
k
=
_
x [a, b]; y
k1
f(x) y
k
, k = 1, . . . , n
_
, (7)
mas em subconjuntos E
k
.
Desejando-se manter as somas (6) para obter o novo conceito de Lebes-
gue, surgem os problemas:
(i) Como atribuir aos E
k
dados por (7) um n umero positivo que corres-
ponda a medida dos E
k
como x
k
x
k1
mede o comprimento dos intervalos
[x
k1
, x
k
], k = 1, . . . , n?
Suponha resolvido este problema. A cada E
k
, dado por (7), atribui-se
um n umero positivo representado por (E
k
), que se le medida de conjunto
E
k
, generalizando o conceito de amplitude do intervalo [x
k1
, x
k
]. A estes
conjuntos E
k
aos quais atribui-se uma medida, Lebesgue denominou men-
sur aveis. Os intervalos [x
k1
, x
k
] sao mensuraveis.
Desta forma, as somas (6) sao reescritas, no caso de parti cao em [m, M]
em intervalos [y
k1
, y
k
], y
0
= m, y
n
= M, k = 1, . . . , n, sob a forma:
s
P
=
n

k=1
y
k1
(E
k
) e S
P
=
n

k=1
y
k
(E
k
). (8)
Resolvida esta etapa, surge um problema crucial:
(ii) Para quais fun coes limitadas f : [a, b] R e possvel atribuir uma
medida (E
k
) aos conjuntos E
k
, da parti cao de [a, b] ? Dito de modo
equivalente, para quais fun coes f : [a, b] R, limitadas, os conjuntos E
k
de
[a, b] sao mensuraveis?
Deste modo, para responder a questao (ii) Lebesgue restringe as funcoes
limitadas `a classe que ele denominou funcoes mensuraveis.
13
Dada f : [a, b] R, limitada, denominou mensuravel quando para todo
par de n umeros < , o conjunto
_
x [a, b]; < f(x) <
_
,
for mensuravel.
Conclui-se que tudo ca em ordem para as funcoes f : [a, b] R, li-
mitadas e mensuraveis. Ele observa que as fun coes contnuas a menos de
conjunto de medida nula sao exemplos de fun coes mensuraveis.
Conclusao. Aceitando-se as no coes de conjunto e fun cao mensuravel, se
f : [a, b] R for limitada e mensuravel as somas s
P
e S
P
denidas em (8)
estao bem denidas. Assim, dene-se as integrais inferior e superior, respec-
tivamente, por sup
P
{s
P
} e inf
P
{S
P
}. Quando estas integrais forem iguais, a
este valor comum denomina-se integral de Lebesgue da fun cao f : [a, b] R,
representada por
(L)
_
b
a
f(x) dx.
Lebesgue provou que se f : [a, b] R for limitada e mensuravel, ent ao
f e integravel.
Uma primeira versao do teorema fundamental do calculo a semelhan ca
de Cauchy e Riemann e simples.
Teorema de Lebesgue. Seja f : [a, b] R, limitada, mensuravel, derivavel
com derivada f

: [a, b] R limitada. Entao f

e integravel, `a Lebesgue, e
_
b
a
f

(x) dx = f(b) f(a).


14
Observacao 2. Com a metodologia de Lebesgue, as propriedades das fun coes
sao validas a menos de um conjunto de medida nula. Diz-se que a propriedade
vale quase sempre.
Ideia da Demonstra cao
f e contnua quase sempre em [a, b] porque e derivavel. Estende-se
f, por continuidade, ao intervalo [a, b + 1] denindo:
f(x) = f(x) + (x b)f(b) se b < x < b + 1.
Considera-se a sucessao (
n
)
nN
denida por

n
(x) = n
_
f
_
x +
1
n
_
f(x)
_
.
As
n
sao mensuraveis porque f e contnua em [a, b + 1].
lim
n

n
(x) = f

(x)
f

e mensuravel porque e limite de


n
mensuraveis. (Por hipotese f

e limitada.) Logo f

e integravel `a Lebesgue.
Teorema do valor intermediario de Cauchy:

n
(x) = f

_
x +

n
_
, 0 < < 1.
Portanto, as fun coes
n
sao limitadas por f

e limitada por hipotese. Logo

n
sao mensuraveis e limitadas obtendo-se:
_
b
a
f

(x) dx = lim
n
_
b
a

n
(x) dx.
Tem-se
_
b
a

n
(x) dx = n
_
b
a
f
_
x +
1
n
_
dx n
_
b
a
f(x) dx.
15
Fa ca na primeira integral t = x +
1
n
, obtendo-se:
_
b
a

n
(x) dx = n
_
b+
1
n
a+
1
n
f(t) dt n
_
b
a
f(t) dt.
Da obtem-se:
_
b
a

n
(x) dx = n
_
a
a+
1
n
f(t) dt + n
_
b+
1
n
a
f(t) dt
n
_
a+
1
n
a
f(t) dt n
_
b
a+
1
n
f(t) dt
ou
_
b
a
f

(x) dx = lim
n
n
_
b+
1
n
b
f(t) dt lim
n
n
_
a+
1
n
a
f(t) dt = f(b) f(a).

Comparando-se os enunciados obtem-se: para Cauchy f

deve ser cont-


nua em [a, b], para Riemann-Darboux f

deve ser integravel (logo contnua


quase sempre) e para Lebesgue f

deve ser limitada.


Desejando-se ensinar a integral de Lebesgue, nos cursos basicos de ma-
tematica, seguindo a metodologia idealizada por Lebesgue, e necessario en-
sinar a medida de Lebesgue, as fun coes mensuraveis para em seguida dar a
deni cao de integral. Com o progresso da analise matematica na segunda me-
tade do seculo XX, encontrou-se metodos mais ecientes para o ensino deste
imprescindvel topico na forma cao dos estudantes. Por esta razao Frederick
Riesz idealizou um metodo para o ensino da integral de Lebesgue bem mais
didatico que o original de Lebesgue.
Uma formula cao precisa do Teorema Fundamental do Calculo, ser a
dada a seguir, idealizada por Lebesgue em uma classe mais restrita de fun coes.
16
Deni cao 3. Diz-se que f : [a, b] R e absolutamente contnua quando
para cada > 0, existe > 0 tal que para toda cole cao nita de subintervalos
(a
1
, b
1
), (a
2
, b
2
), . . . , (a
n
, b
n
) de [a, b], com a
1
< b
1
< a
2
< b
2
< < a
n
< b
n
,
satisfazendo
n

k=1
(b
k
a
k
) < ,
tem-se, necessariamente,
n

k=1
|f(b
k
) f(a
k
)| < .
Claro que se f : [a, b] R for absolutamente contnua ela e uniforme-
mente contnua logo contnua. Para concluir este fato e suciente considerar
n = 1 na deni cao anterior.
Considere-se f : [a, b] R e a parti cao P de [a, b]
a = x
0
< x
1
< < x
n
= b,
denindo-se:
V
P
=
n

k=1
|f(x
k
) f(x
k1
)|.
Se supremo de V
P
, quando varia a parti cao P de [a, b], for nito, diz-se que
f e de varia cao limitada em [a, b].
Diz-se que f : [a, b] R e Lipschitziana, quando existe K > 0 tal que
para quaisquer x, y [a, b] se tem:
|f(x) f(y)| < K|x y|.
As fun coes derivaveis com derivada limitada sao exemplos de fun coes Lips-
chitizianas.
17
Seja f : [a, b] R Lipschitiziana. Entao dada a parti cao P de [a, b],
obtem-se:
|f(x
k
) f(x
k1
)| K|x
k
x
k1
|.
Logo V
P
K(b a), provando que f e de varia cao limitada.
Considere a fun cao contnua
f(x) =

x cos

2x
, 0 < x 1
0 se x = 0.
Esta nao e de varia cao limitada.
Basta considerar a parti cao de [a, b] dada por:
0 <
1
2n
<
1
2n 1
< <
1
3
<
1
2
< 1
obtem-se:
V = 1 +
1
2
+ +
1
n
,
que nao e limitada, pois

k=1
1
k
diverge.
As fun coes de varia cao limitadas f em [a, b], possuem derivadas f

limi-
tadas quase sempre. As fun coes absolutamente contnuas sao de varia cao
limitada.
Da, tem-se o Teorema Fundamental do Calculo de Lebesgue.
Teorema de Lebesgue. Suponha f : [a, b] R, absolutamente contnua.
Entao f e derivavel quase sempre em [a, b], sua derivada f

e integravel em
[a, b] e se tem:
_
b
a
f

(x) dx = f(b) f(a).


18
Observacoes Finais
Ha varias generaliza coes das integrais de Riemann e Lebesgue, permi-
tindo outras formula coes do Teorema Fundamental do Calculo. No contexto
de Lebesgue sao bem conhecidas as de O. Perron e A. Denjoy.
Em 1960 foi investigado por R. Heinstock um conceito de integral ba-
seado no processo de Riemann, do qual sai uma formula cao do Teorema
Fundamental do Calculo. Ele denominou Integral de Riemann Generalizado.
Tambem Kurzweill obteve uma generaliza cao da integral de Riemann mo-
tivado pelo estudo do teorema de existencia para equa coes ordinarias. Por
esta razao, esta integral denomina-se de Kurzweill-Heinstok. Consulte-se
a exposi cao: R.G. Bartle - Return to the Riemann Integral - Am. Math.
Monthly (1966), pp. 1625-1632.

19

Das könnte Ihnen auch gefallen