Escolar Documentos
Profissional Documentos
Cultura Documentos
= 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
k=1
[f(x
k
) f(x
k1
)].
Sendo 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
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
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.
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
e integravel, `a Lebesgue, e
_
b
a
f
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 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
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).
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
19