Integrabilidade

5.
Integrabilidade
Integrabilidade
Oscilao duma funo
Seja X R e seja f : X R uma funo limitada. A oscilao de f em

X o nmero real
(f , X ) = sup{|f (x ) f (y )| : x , y X }.
imediato verificar que X Y implica (f , X ) 6 (f , Y ).
Fixado x X , consideramos a funo R+ R que envia cada > 0 em
(f , X ]x , x + [). Note-se que se trata duma funo limitada
crescente. Logo, existe
(f , x ) = lim (f , X ]x , x + [)
0
= inf {(f , X ]x , x + [) : > 0} ,

que se diz a oscilao de f no ponto x .
O resultado seguinte resume algumas propriedades da oscilao pontual
duma funo.
Clculo Infinitesimal I (M111) 2012/2013
5. 1
5. Integrabilidade
Integrabilidade
Propriedades da oscilao
Seja f : I R uma funo limitada, onde I um intervalo. Ento tem-se:

i. (f , x ) > 0 para todo o x I;
ii. (f , x ) = 0 se e s se f contnua em x ;
iii. se x X e X I, ento (f , x ) 6 (f , X );
iv. se (f , x ) < c, ento existe > 0 tal que (f , y ) < c para todo o
y I ]x , x + [;
v. se I fechado (respetivamente fechado e limitado) ento, para todo o
c > 0, o conjunto Fc = {x I : (f , x ) > c} fechado
(respetivamente fechado e limitado).
Demonstrao: As propriedades (i) e (iii) decorrem imediatamente da
definio.
5. 2
5. Integrabilidade
Integrabilidade
Propriedades da oscilao
(ii) Suponhamos primeiro que f contnua no ponto x0 . Ento, para qualquer

> 0, existe > 0 tal que, para todo o x I, |x x0 | < implica
|f (x ) f (x0 )| < 2 . Pela desigualdade triangular, resulta que
(f , I ]x0 , x0 + [) 6 . Segue que (f , x0 ) = 0.
Reciprocamente, suponhamos que (f , x ) = 0 e seja > 0. Ento existe > 0
tal que (f , I ]x0 , x0 + [) 6 , ou seja, para quaisquer
x , y I ]x0 , x0 + [, tem-se |f (x ) f (y )| < . Em particular, para todo o
x I, |x x0 | < implica |f (x ) f (x0 )| < . Logo f contnua em x0 .
(iv) Suponhamos que (f , x ) < c. Ento existe > 0 tal que
(f , ]x , x + [) < c. Se y I ]x , x + [, ento
(f , y ) 6 (f , I ]y |y x |, y + |y x |[) 6 (f , I ]x , x + [) < c.
(v) Suponhamos que I fechado. Se (xn )n uma sucesso de pontos de Fc e
x = limn xn , ento x I. Por (iv), segue que x Fc . Logo, Fc fechado.
Supondo, adicionalmente, que I limitado, claro que Fc , estando contido em I,
tambm o .
5. 3
5. Integrabilidade
Integrabilidade
Conjuntos compactos
Uma cobertura dum subconjunto X de R uma famlia (Xk )kK tal que
S
X kK Xk . Dizemos que a cobertura aberta se todos os Xk forem
abertos; que ela numervel ou finita, se o conjunto K de ndices da
famlia for respetivamente numervel ou finito. Uma subcobertura duma
cobertura (Xk )kK de X uma cobertura de X da forma (Xk )kK 0 com
K0 K.
Um subconjunto X de R diz-se compacto se toda a cobertura aberta de X
tiver alguma subcobertura finita.
Teorema 5.1 (Heine-Borel) Um subconjunto X de R compacto se e s se
X for fechado e limitado.
Demonstrao: Comeamos por supor que X fechado e limitado, donde
X I para algum intervalo fechado limitado I. Suponhamos que X no
compacto e seja (Ak )kK uma cobertura aberta de X que no possui
nenhuma subcobertura finita.
5. 4
5. Integrabilidade
Integrabilidade
Conjuntos compactos
Construmos, recursivamente, duas sucesses (Xn )n , de subconjuntos

fechados de X , e (In )n , de subintervalos de I, com as seguintes
propriedades:
i. X = X0 X1 X2 , I = I0 I1 I2 ;
ii. Xn In para todo o n > 0;
iii. `(In+1 ) = `(I2n ) para todo o n > 0 (ver pgina 5.7 para a notao);
iv. para todo o n > 0, a cobertura aberta (Ak )kK de Xn no tem uma
subcobertura finita.
De facto, supondo j obtidos Xn e In , consideramos a subdiviso de In em
dois subintervalos fechados do mesmo comprimento I 0 e I 00 . Ento os
conjuntos Xn I 0 e Xn I 00 so fechados. Se ambos admitissem
subcoberturas finitas (Ak )kK 0 e (Ak )kK 00 , respetivamente, ento
(Ak )kK 0 K 00 seria uma subcobertura finita de Xn . Logo, podemos
escolher para In+1 um dos intervalos I 0 ou I 00 e tomar Xn+1 = Xn In+1 , o
que completa o passo indutivo.
5. 5
5. Integrabilidade
Integrabilidade
Conjuntos compactos
Pelas condies (i)(iv), (Xn )n uma cadeia decrescente de fechados no

vazios tal que limn diam Xn = 0. Pelo Teorema de Cantor (Corolrio da
T
pg. 0.33),
n=0 Xn = {a} para algum a X . Seja k K tal que a Ak .
Como limn diam In = 0, algum Xn est contido em Ak , o que contradiz
a propriedade (iv). Logo X compacto.
Reciprocamente,

suponhamos que X compacto. Ento a cobertura
aberta ]n, n[
de X admite alguma subcobertura finita, pelo que
n>1
X ]n, n[, donde X limitado. Para mostrar que X fechado,

consideremos uma sucesso convergente
(xn )n de elementos de X e seja x

1
uma cobertura
o seu limite. Se x
/ X , ento R \ [x n , x + n1 ]
n>1
aberta de X que no admite nenhuma subcobertura finita, o que contradiz

a hiptese de X ser compacto. Logo x X e X fechado.
5. 6
5. Integrabilidade
Integrabilidade
Conjuntos de medida nula
Para um intervalo limitado I de extremos a e b, representamos por `(I) o

seu comprimento |a b|.
Dizemos que um subconjunto X de R tem medida nula se, para todo o
S
> 0, existe uma cobertura numervel X
n=0 In de X por intervalos In
P
tal que n=0 `(In ) < . Neste caso, escrevemos, m(X ) = 0.
Note-se que, nas condies acima, como a srie
n=0 `(In )
(absolutamente) convergente, irrelevante a ordem considerada para os
intervalos In na cobertura de X . Por outro lado, se In = [an , bn ], ento
podemos substituir cada intervalo In por Jn = ]an 2n+2

, bn + 2n+2
[,
obtendo assim uma cobertura
numervel
por intervalos abertos tal que

P
P
n=0 `(Jn ) =
n=0 `(In ) + 2n+1 < 2. Logo, quando for conveniente,
podemos supor que a cobertura de X constituda por intervalos abertos.
5. 7
5. Integrabilidade
Integrabilidade
i. Se X Y e m(Y ) = 0, ento m(X ) = 0.

ii. Se m(Xn ) = 0 para todo o n N, ento m(
n=0 Xn )
= 0.
Prova: A propriedade (i) bvia. Para (ii), consideremos > 0. Ento,

S
para cada n N, existe uma cobertura numervel Xn
k=0 In,k por
P
intervalos tal que k=0 `(In,k ) < 2n+1 . Logo, a famlia (In,k )n,kN constitui
S
uma cobertura numervel de Y =
n=0 Xn por intervalos tal que
X
`(In,k ) 6
n,kN
X
n=0 k=0
`(In,k ) <
= ,
n+1
2
n=0
o que mostra que m(Y ) = 0.

Exemplos: 1. Como m({x }) = 0 para todo o x R, de (ii) resulta que
m(X ) = 0 para todo o conjunto numervel X R. Em particular, tem-se
m(Q) = 0.
5. 8
5. Integrabilidade
Integrabilidade
2. Seja I um intervalo fechado limitado com `(I) > 0 e seja I

n=0 In
uma sua cobertura numervel por intervalos abertos. Pelo Teorema de
Heine-Borel, existem n1 , . . . , nr tais que I In1 Inr . Ora, fcil
mostrar, por induo sobre r , que `(I) 6 `(In1 ) + + `(Inr ), donde
resulta que no se pode ter m(I) = 0. Como I = (I Q) (I \ Q),
deduzimos que I \ Q no tem medida nula.
S
3. Seja C o conjunto de Cantor formado por todos os nmeros da forma

P
an
n>1 3n tais que an {0, 2}, i.e., todos os elementos do intervalo [0, 1]
cuja expanso ternria no envolve o algarismo 1. Note-se que os
elementos de C so unicamente representveis naquela forma. Por um
argumento de diagonalizao de Cantor, segue que C no numervel. De
facto, se c1 , c2 , . . . uma sucesso de elementos de C , digamos com
P
c
ck = n>1 3k,n
n , onde cada ck,n {0, 2}, ento o elemento de C dado por
P
c = n>1 3ann , onde {an , cn,n } = {0, 2}, no ocorre na sucesso. Logo C
no a imagem duma sucesso e, portanto, no numervel.
5. 9
5. Integrabilidade
Integrabilidade
Vamos
em seguida mostrar que m(C ) = 0. Para esse efeito, escrevemos
T
C = n=0 Cn , onde Cn o conjunto de todos os elementos do intervalo [0, 1] cuja
expanso ternria no envolve o algarismo 1 nas primeiras n posies. Uma
descrio geomtrica simples do conjunto Cn obtm-se pelo seguinte processo
recursivo: C0 = [0, 1] e cada Cn uma unio finita de intervalos; Cn+1 obtido
de Cn considerando a subdiviso de cada um desses subintervalos em trs
intervalos de igual comprimento e retirando o tero do meio. A seguinte figura
(da wikipedia) representa os conjuntos C0 , . . . , C6 .
Como a soma dos comprimentos dos intervalos que compem Cn

n
n
Pn
k1
1( 2 )
1 k=1 2 3k = 1 13 132 = 23 , que tende para 0 quando n ,
3
conclumos que m(C ) = 0. O conjunto de Cantor , portanto, um conjunto no
numervel de medida nula.
5. 10
5. Integrabilidade
Integrabilidade
Caraterizao das funes integrveis segundo Riemann
Quando o conjunto de nmeros que falham uma dada propriedade tem medida
nula, tambm se diz que a propriedade vlida para quase todos os pontos.
O teorema seguinte d um critrio simples para a integrabilidade duma funo
segundo Riemann. Ele habitualmente atribudo a Lebesgue mas, aparentemente,
j se encontrava nos trabalhos de Riemann.
Teorema 5.2 (Riemann-Lebesgue) Seja f : [a, b] R uma funo limitada. Ento
f integrvel se e s se ela contnua em quase todos os pontos.
Exemplos: 1. As funes contnuas em intervalos fechados limitados so
integrveis.
2. Se f : [a, b] R integrvel e a 6 c < d 6 b, ento a restrio de f a [c, d]
tambm integrvel.
3. Dado A R, a funo caraterstica A : [a, b] R definida por A (x ) = 1
se x [a, b] A e A (x ) = 0 se x [a, b] \ A. A notao algo abusiva porque
no tem em conta a dependncia do intervalo [a, b], que deve ficar claro do
contexto.
5. 11
5. Integrabilidade
Integrabilidade
Note-se que A : [a, b] R descontnua em x ]a, b[ se e s se x pertence

fronteira A. Logo A integrvel em [a, b] se e s se (A) [a, b] tem medida
nula. Em particular, Q no integrvel em [a, b] sempre que a < b.
4. Seja f : [0, 1] R a funo (de
Thomae) definida por f (x ) = 0 se
x [0, 1] \ Q e f (p/q) = 1/q se p, q N
no tm fatores comuns e p 6 q.
A figura representa o grfico da restrio
ao intervalo ]0, 1[. A funo f
contnua em x [0, 1] se e s se x
/ Q:
I para x [0, 1] Q, como f (x ) > 0 e x limite de sucesses de [0, 1] \ Q,
onde a funo f nula, f descontnua em x ;
I como, para todo o > 0, f 1 ([, [) um conjunto finito, portanto
fechado, f 1 (], [) uma vizinhana de todo o irracional de [0, 1].

R1
Logo, f integrvel. (Exerccio: mostre que 0 f = 0.)
5. 12
5. Integrabilidade
Integrabilidade
Demonstrao do Teorema 5.2: Seja D o conjunto de pontos de

descontinuidade da funo f .
Suponhamos primeiro que m(D) = 0 e seja K = (f , [a, b]). Se K = 0,
ento f constante, logo integrvel. Supomos ento que K 6= 0. Dado
S
> 0, existe uma cobertura numervel D n>0 In por intervalos abertos
P
.
tais que n>0 `(In ) < 2K
Para cada x [a, b] \ D, f contnua em x , donde (f , x ) = 0, pelo que
existe x tal que f , [a, b] ]x x , x + x [ < 2(ba)

.
Consideremos a cobertura aberta de [a, b] formada pelos intervalos In
(n > 0) juntamente com os intervalos ]x x , x + x [ (x [a, b] \ D).
Como [a, b] compacto pelo Teorema de Heine-Borel (5.1), existem n > 0
e pontos x1 , . . . , xr [a, b] \ D tais que
[a, b]
n
[
j=0
Ij
r
[
]xk xk , xk + xk [.
(1)
k=0
5. 13
5. Integrabilidade
Integrabilidade
Seja S a subdiviso do intervalo [a, b] formada por a, b e todos os

extremos dos intervalos da cobertura finita (1) que pertenam a [a, b].
Representando por I um subintervalo genrico de S, por I 0 aqueles que
estiverem contidos em algum Ij (j 6 n), e por I 00 os restantes (que esto
contidos em algum ]xk xk , xk + xk [), temos ento
(f , S) (f , S) =
(f , I) `(I) =
(f , I 0 ) `(I 0 ) +
I0
I
n
X
(f , I 00 ) `(I 00 )
I 00
`(I 00 )
2|b
a|
j=0
I 00
<K
+
|b a| = .
2K
2|b a|
6K
`(Ij ) +
Logo f integrvel em [a, b].

5. 14
5. Integrabilidade
Integrabilidade
Reciprocamente, suponhamos que f integrvel em [a, b]. Note-se que

x D se e s se (f , x ) > n1 para algum n > 1. Por outras palavras,
S
obtemos a decomposio D = n>1 Dn , onde
1
}.
n
Como a unio numervel de conjuntos de medida nula tambm tem
medida nula, basta mostrar que cada Dn tem medida nula.
Seja > 0. Como f integrvel, existe alguma subdiviso S do intervalo
[a, b] tal que (f , S) (f , S) < n . Representemos agora por I um
subintervalo genrico de S. Se I contm pontos de Dn , ento (f , I) > n1 ,
donde resulta que
X
X
1 X
`(I) 6
(f , I) `(I) 6
(f , I) `(I) < .
n ID 6=
n
I
ID 6=
Dn = {x [a, b] : (f , x ) >
Logo Dn tem medida nula.

5. 15
5. Integrabilidade
Integrabilidade
Caraterizao das funes integrveis segundo Riemann outras aplicaes
Sejam f , g : [a, b] R funes integrveis. Ento o produto fg e o

mdulo |f | so integrveis. Se g no assume valores arbitrariamente
prximos de 0, ento o quociente f /g integrvel.
Prova: Aplicamos o Teorema 5.2.
Representando por Dh o conjunto de pontos de descontinuidade duma
funo h, para o caso do produto note-se que Dfg Df Dg , que outra
maneira de dizer que se f e g so contnuas em x0 ento fg tambm o .
Analogamente, D|f | Df e Df /g Df Dg . Logo, se os conjuntos Df e
Dg tm medida nula, ento o mesmo acontece com Dfg , D|f | e Df /g .
No caso de f /g, h que ter o cuidado adicional de garantir que a funo
esteja definida e seja limitada, o que assegurado pela hiptese de que g
no assume valores em alguma vizinhana de 0, o que, por sua vez,
equivalente hiptese do enunciado.
5. 16
5. Integrabilidade
Integrabilidade
Caraterizao das funes integrveis segundo Riemann outras aplicaes
O comportamento da composio em relao integrabilidade mais

complicado. imediato verificar que, se f contnua e g integrvel,
ento f g integrvel, pois, na notao da pgina anterior, Df g est
ento contido em Dg .
Mas, mesmo um s ponto de descontinuidade para f j basta para causar
problemas. Por exemplo, seja f = ]0,1] : [0, 1] R e g a funo de
Thomae (cf. pg. 5.12). Ento f e g so integrveis mas
f g = Q : [0, 1] R no integrvel.
5. 17
5. Integrabilidade
Integrabilidade
Outras teorias de integrao
Encontram-se na literatura matemtica muitas teorias de integrao. A mais

conhecida e mais usada a teoria de Lebesgue, que constitui a sua tese de
doutoramento apresentada em Paris em 1902. Toda a funo integrvel segundo
Riemann (no sentido prprio), tambm integrvel segundo Lebesgue mas, nem
a recproca verdadeira nem toda a funo admitindo um integral imprprio
segundo Riemann integrvel segundo Lebesgue. Uma teoria mais abrangente
que a de Lebesgue foi inicialmente introduzida por Denjoy em 1912 mas s veio a
ter formulaes equivalentes elementares na dcada de 1950 atravs de trabalhos
de Henstock e Kurzweil. A sua similitude com a teoria do integral de Riemann
torna-a particularmente adequada introduo a um nvel elementar, ao contrrio
do que bastante consensual em relao teoria de Lebesgue. O integral de
Henstock-Kurzweil tambm conhecido como integral de gauge (que, evitando o
anglicismo, se pode traduzir como integral de calibre). Para um desenvolvimento
mais completo desta teoria a nvel elementar, ver Introduction to Real Analysis de
J. DePree, C. Swartz (Wiley, 1989).
5. 18
5. Integrabilidade
Integrabilidade
Integral de calibre definio
Recorde-se que uma funo f : [a, b] R integrvel segundo Riemann

se e s se existe R tal que, para todo o > 0 existe > 0 tal que,
para toda a soma de Riemann R de f ,
(R) < = |R | < .
Para prosseguir, vamos necessitar duma notao mais precisa. Por uma
subdiviso marcada do intervalo [a, b] entendemos um conjunto finito D de
pares (z, J) com z J cujas segundas componentes J so os subintervalos
duma subdiviso de [a, b]. Dada uma funo f : [a, b] R, representamos
P
por S(f , D) a soma de Riemann (z,J)D f (z) `(J). O conjunto de todas
as subdivises marcadas de [a, b] ser representado por D[a, b].
Podemos reformular a condio de integrabilidade de Riemann como
segue: existe R tal que, para todo o > 0, existe > 0 tal que, para
todo o D D[a, b],

(z, J) D, J ]z , z + [ = |S(f , D) | < .
5. 19
5. Integrabilidade
Integrabilidade
Por calibre (ou gauge) em [a, b] entendemos uma funo : [a, b] R+ .

Dizemos que D D[a, b] -fina se,
(z, J) D, J ]z (z), z + (z)[.
Escrevemos ento D D [a, b]. A condio de integrabilidade de Riemann
passa a poder ser escrita na seguinte forma: existe R tal que, para
todo o > 0, existe um calibre constante tal que
D D [a, b] = |S(f , D) | < .
Dizemos que f : [a, b] R calibre-integrvel se existe R tal que,
para todo o > 0, existe algum calibre em [a, b] tal que
D D [a, b] = |S(f , D) | < .
5. 20
5. Integrabilidade
Integrabilidade
Vamos definir o integral de calibre ab f de f como o nmero real que

satisfaz a propriedade anterior, caso exista. H contudo que mostrar que
um tal nico. Para o provarmos, precisamos do seguinte resultado
auxiliar.
R
Lema 5.3. Seja um calibre no intervalo [a, b]. Ento existe alguma
subdiviso marcada de [a, b] que -fina.
Demonstrao: Seja E o conjunto dos
n t ]a, b] tais que
o existe
(a)
D D [a, t]. Note-se que E 6= pois a, [a, a + 2 ] pertence a
D [a, a + (a)
2 ]. Logo, existe y = sup E . Vejamos que y E e y = b. Seja
)
x E tal que x > y (y
2 , seja D D [a, x ], e seja
)
z = min b, y + (y
. Ento D
2
mostra que z E e y = z = b.
y , [x , z]
o
pertence a D [a, z], o que

5. 21
5. Integrabilidade
Integrabilidade
Proposio 5.4. Se f : [a, b] R calibre-integrvel, ento h um nico

nmero real que satisfaz a definio de funo calibre-integrvel para f .
Demonstrao: Suponhamos que , R satisfazem ambos a definio de
funo calibre-integrvel para f . Seja > 0. Ento existem calibres 1 e 2 em
[a, b] tais que, para quaisquer subdivises marcadas D1 D1 [a, b] e
D2 D1 [a, b], tem-se |S(f , D1 ) | < /2 e |S(f , D2 ) | < /2. Seja
= min{1 , 2 }. Ento tambm um calibre em [a, b]. Pelo Lema 5.3, existe
algum D D [a, b] e, portanto, D tambm i -fina para i = 1, 2. Pela
desigualdade triangular, temos ento

| | 6 |S(f , D) | + |S(f , D) | < + = .
2 2
Como > 0 arbitrrio, segue que = .
Em particular, se f : [a, b] R integrvel segundo Riemann, ento f tambm
calibre-integrvel e os dois tipos de integrais de f coincidem.
5. 22
5. Integrabilidade
Integrabilidade
Integral de calibre propriedades
A tcnica da demonstrao da Proposio 5.4 pode ser usada para provar

a seguinte propriedade, que deixada como exerccio.
Sejam f , g : [a, b] R funes calibre-integrveis e sejam c, d R. Ento
aR funo cf + dg RtambmR calibre-integrvel e
b
b
b
a (cf + dg) = c a f + d a g.
Seja X um subconjunto numervel de [a, b] e seja f : [a, b] R uma
funo que tem o valor
constante c em [a, b] \ X . Ento f
R
calibre-integrvel e ab f = c(b a).
Prova: Seja x1 , x2 , . . . uma enumerao de Y = {x X : f (x ) 6= c} e seja
> 0. Seja D uma subdiviso marcada de [a, b]. Ento
X

|S(f , D)c(b a)| =
(z,J)D
f (z)c `(J) 6
X

f (z)c `(J). (2)
(z,J)D
5. 23
5. Integrabilidade
Integrabilidade
O objetivo escolher um calibre em [a, b] tal que o mdulo acima seja inferior a
sempre que D for -fina. Se z
/ Y , ento f (z) = c e a respetiva parcela nula
na soma acima, pelo que pomos simplesmente (z) = 1. Por outro lado, nos
. Se D -fina, ento o lado direito

pontos de Y definimos (xn ) = 2n+1 |f (x
n )c|
P
de (2) majorado por n=1 2 2n+1 = .

Note-se que, no resultado anterior e na definio de integral de calibre, no se
exige que a funo f seja limitada. Por outro lado, uma funo nas condies do
daquele resultado a funo Q : [0, 1] R. Logo, essa funo, que no
integrvel segundo Riemann, tem integral de calibre nulo.
Mais geralmente, usando o mesmo tipo de tcnicas, pode-se provar o seguinte
resultado, que deixado como exerccio ao cuidado do leitor.
Seja X um subconjunto de medida nula de [a, b] e seja f : [a, b] R uma funo
que tem o valor constante c em [a, b] \ X . Ento f calibre-integrvel e
Rb
f = c(b a).
a
5. 24
5. Integrabilidade
Integrabilidade
Combinando com a linearidade do integral de calibre, obtemos o seguinte

resultado.
Sejam f , g : [a, b] R duas funes que coincidem para quase todo o x [a, b].
Ento f calibre-integrvel se e s se g o for. No caso de f e g serem
Rb
Rb
calibre-integrveis, tem-se a f = a g.
Vrias outras propriedades bsicas do integral de calibre so fceis de estabelecer.
Rb
Rb
i. Se f , g : [a, b] R so calibre-integrveis e f 6 g, ento a f 6 a g.
R R
b
b
ii. Se f e |f | so calibre-integrveis em [a, b], ento a f 6 a |f |.
Recorde-se que se f integrvel segundo Riemann, ento |f | tambm o . O
mesmo se passa com o integral de Lebesgue mas, como veremos mais adiante, a
situao diferente para o integral de calibre.
5. 25
5. Integrabilidade
Integrabilidade
Integral de calibre Teorema Fundamental do Clculo
Vamos mostrar que o anlogo do Teorema Fundamental do Clculo vale

para o integral de calibre. Comeamos pelo seguinte resultado auxiliar.
Lema 5.5. Seja F : [a, b] R uma funo derivvel no ponto z [a, b].
Ento, para todo > 0, existe > 0 tal que
z [u, v ] [a, b]]z, z+[ = |F (u)F (v )F 0 (z)(v u)| 6 (v u).
Demonstrao: Como F derivvel em z, existe > 0 tal que

F (x ) F (z)

0

<
F
(z)

x z
sempre que 0 < |x z| < e x [a, b]. Se z = u ou z = v , obtm-se a

desigualdade pretendida escolhendo respetivamente x = v ou x = u e
multiplicando ambos os membros da desigualdade anterior por v u.
5. 26
5. Integrabilidade
Integrabilidade
Suponhamos ento que u < z < v . Pela desigualdade triangular, obtemos

|F (u) F (v ) F 0 (z)(v u)|
6 |F (v ) F (z) F 0 (z)(v z)| + |F (z) F (u) F 0 (z)(z u)|
6 (v z) + (z u) = (v u).
Teorema 5.6. (Teorema Fundamental do Clculo - 1 parte) Se

F : [a, b] R derivvel em [a, b], ento F 0 calibre-integrvel em [a, b]
e
Z b
a
F 0 = F (b) F (a).
Note-se que, em contraste, na verso do teorema anterior para o integral

de Riemann, foi necessrio assumir a integrabilidade de F 0 .
5. 27
5. Integrabilidade
Integrabilidade
Demonstrao: Seja > 0. Para cada z n[a, b], seja (z) dado pelo o

Lema 5.5. Seja D D [a, b], digamos D = zi , [xi1 , xi ] : i = 1, . . . , n .
Ento, pelo lema, temos

S(F 0 , D) F (b) F (a)

n
X

0
F (zi )(xi xi1 ) F (xi ) F (xi1 )
=

i=1
n
X
(xi xi1 ) = (b a).
i=1
Assim, para calcular integrais de calibre de uma funo, continua a bastar

saber calcular primitivas da funo.
5. 28
5. Integrabilidade
Integrabilidade
Integral de calibre exemplo
1
Exemplo:
60
Seja F a funo definida por
40
F (t) = t 2 cos(/t 2 ) para 0 < t 6 1
0.5
e F (0) = 0. fcil verificar que
20
F 0 (t) = 2t cos(/t 2 ) + (2/t ) sin(/t 2 )
0
para 0 < t 6 1 e F 0 (0) = 0. Pelo
0.2 0.4 0.6 0.8
1
0.2
0.4
0.6
0.8
Teorema 5.6, F 0 calibre-integrvel
R1 0
-20
e 0 F = F (1) F (0) = 1.
-0.5
-40
Note-se que, na teoria do integral
R1 0
de Riemann, 0 F considerado
-60
-1
um integral imprprio (convergente),
uma vez que a funo F 0 no
limitada no intervalo [0, 1]. (Mostra-se que a funo F 0 tambm no integrvel
segundo Lebesgue. Conhecem-se exemplos de funes com derivadas limitadas
no integrveis segundo Riemann, mas a sua descrio bem mais complicada.)
Em contrapartida, mostra-se que |F 0 | no calibre-integrvel.
5. 29
5. Integrabilidade
Integrabilidade
Integral de calibre substituio
Tal como para o integral de Riemann,

se f :R[a, b] R
Ra
calibre-integrvel, ento define-se b f = ab f .
Teorema 5.7. (Integrao por substituio) Sejam f : [a, b] R e
: [, ] [a, b] funes derivveis. Ento (f 0 )0 calibre-integrvel
em [, ], f 0 calibre-integrvel em [min{(), ()}, max{(), ()}]
e
Z
Z
()
()
f0 =
(f 0 )0 .
Demonstrao: Pela regra da cadeia, tem-se (f )0 = (f 0 )0 .

Graas ao Teorema 5.6, podemos ento deduzir que
Z ()
()
f = f () f () =
(f 0 )0 .
5. 30
5. Integrabilidade
Integrabilidade
Integral de calibre critrio de Cauchy
O integral de calibre define-se por um certo tipo de limite. A sua existncia

admite a seguinte formulao sem referncia ao limite propriamente dito,
anloga condio de Cauchy para a convergncia de sucesses reais.
Teorema 5.8 (Critrio de Cauchy) Uma funo f : [a, b] R
calibre-integrvel se e s se (C) para todo o > 0, existe algum calibre
em [a, b] tal que
D, E D [a, b] = |S(f , D) S(f , E)| < .
(3)
Demonstrao: Suponhamos que a condio (C) do enunciado se verifica. Em

particular, para cada n > 1, tomando = 1/n, obtemos = n satisfazendo (3).
Sem perda de generalidade, podemos supor que 1 > 2 > . Pelo Lema 5.3,
para cada n > 1 existe Dn Dn [a, b]. Ento S(f , Dn ) n uma sucesso de
Cauchy e, portanto, converge para algum R. Fica ao cuidado do leitor
verificar que o integral de calibre de f em [a, b] bem como a prova da
recproca.
5. 31
5. Integrabilidade
Integrabilidade
Integral de calibre aditividade
Vejamos em seguida que o integral de calibre se comporta bem relativamente a

subdivises do intervalo de integrao.
Teorema 5.9. Sejam I = [a, b], S = (x0 , x1 , . . . , xn ) uma subdiviso de I e
f : I R uma funo. Ento f calibre-integrvel se e s se f
calibre-integrvel em cada Ii =R[xi1 , P
xi ] (i =
1, . . . , n). No caso de f ser
n R
calibre-integrvel em I tem-se I f = i=1 Ii f .
Demonstrao: Procedendo por induo sobre n, basta tratar o caso n = 2.
Seja c = x1 . Suponhamos primeiro que f integrvel em [a, b]. Por simetria,
basta mostrar que f calibre-integrvel em I1 = [a, c], para o que verificamos que
a restrio f |I1 satisfaz o critrio de Cauchy. De facto, dado > 0, existe algum
calibre tal que
D, E D I = |S(f , D) S(f , E)| < .
Seja i = |Ii e seja E D2 I2 . Ento, para quaisquer D1 , D2 D1 I1 , as
subdivises marcadas de I dadas por Di0 = D1 E so -finas, donde resulta que
|S(f , D1 ) S(f , D2 )| = |S(f , D10 ) S(f , D20 )| < . Logo f calibre-integrvel
em I1 .
5. 32
5. Integrabilidade
Integrabilidade
Reciprocamente, suponhamos que f calibre-integrvel em I1 e em I2 . Dado

> 0, para i = 1, 2 seja i um calibre em Ii tal que

Z

(4)
Di Di Ii = S(f , Di ) f < .
2
Ii
Definimos um calibre em I, tomando
min{1 (z), c a}
min{1 (z), z a, c z}
(z) = min{1 (c), 2 (c)}
min{2 (z), z c, b z}
min{ (b), b c}
2
se
se
se
se
se
z =a
a<z <c
z =c
c<z <b
z = b.
Seja D D I. Note-se, que (z, J) D e algum dos pontos a, c, b pertencer a J,
ento a marca z tem de ser esse ponto. Em particular, se c J, ento z = c e

podemos substituir (z, J) por (z, J) I1 juntamente com (z, J) I2 , mantendo a
subdiviso marcada -fina e o valor da soma de Riemann S(f , D). Logo, podemos
supor que D da forma D1 D2 com Di Di Ii (i = 1, 2).
5. 33
5. Integrabilidade
Integrabilidade
Resta observar que, por (4),

Z
Z
Z
Z

S(f , D)

f +
f = S(f , D1 ) + S(f , D2 )
f +
f <

I1
I2
para concluir que f calibre-integrvel em I e que
I1
R
I
f =
Em particular, se J um subintervalo de [a, b], ento
Rb
a
R
I1
I2
f +
J =
R
J
I2
f.
1 = `(J).
Uma funo f : [a, b] R diz-se uma funo em escada se existir alguma

subdiviso S = (x0 , x1 , . . . , xn ) do intervalo [a, b] tal que f constante em cada
intervalo ]xi1 , xi [, digamos com o valor ci . De forma equivalente, f uma
combinao linear, com coeficientes constantes, de funes caratersticas de
subintervalos de [a, b]. Pela aditividade do integral relativamente ao intervalo de
Rb
Pn
integrao, segue que a f = i=1 ci (xi xi1 ).
5. 34
5. Integrabilidade
Integrabilidade
Integral de calibre lema de Henstock
Para provar a verso para o integral de calibre da segunda parte do

Teorema Fundamental do Clculo, vamos estabelecer o seguinte resultado
auxiliar.
Lema 5.10 (Henstock). Seja f : [a, b] R uma funo calibre-integrvel.
Seja > 0, seja uma funo de calibre tal que

Z b

D D [a, b] = S(f , D)
f < .

a
Seja J = {(x1 , J1 ), . . . , (xn , Jn )} onde cada Ji um subintervalo fechado
de [a, b], xi Ji ]xi (xi ), xi + (xi )[, e Ji Jj = sempre que i 6= j

Sn
(no se supe contudo que i=1 Ji = [a, b]). Ento tem-se

Z
n
X

f (xi )`(Ji )
f 6

Ji
i=1
Z
n
X

f (xi )`(Ji )
f 6 2.

i=1
Ji
5. 35
5. Integrabilidade
Integrabilidade
Sn
Demonstrao: Seja I = [a, b]. O conjunto I \ i=1 Ji a unio de um nmero
finito de intervalos disjuntos. Sejam K1 , . . . , Km os fechos desses intervalos. Pelo
Teorema 5.9, f claibre-integrvel em cada Kj . Logo, dado > 0, para cada
j {1, . . . , m} existe algum calibre j tal que j < |Kj e

Z

Kj Dj Kj = S(f , Kj )
f< .

m
Kj
Ento D = J K1 Km tal que D D I. Logo, tem-se

Z
Z
n Z
n

X
X

f +
S(f , Ki )
f = S(f , D) f <
S(f , J )

Ki
I
i=1 Ji
i=1

Z
Z
n
n

X
X

S(f , J )
f<+
f < + .
S(f , Ki )

Ji
Ki
i=1
i=1

Pn R

Como > 0 arbitrrio, conclumos que S(f , J ) i=1 Ji

f 6 .
5. 36
5. Integrabilidade
Integrabilidade
Resta provar a segunda desigualdade do enunciado do lema. Seja J + R

(respetivamente J ) o conjunto dos (xi , Ji ) J tais que f (xi )`(Ji ) Ji f > 0
(resp. 6 0). Ento, pelo que j provamos, aplicado a J + e a J , obtemos
Z X
Z
X

f=
f (xi )`(Ji )
f6
f (xi )`(Ji )

Ji
Ji
(xi ,Ji )J +
(xi ,Ji )J +

Z
Z X
X

f (xi )`(Ji )
f6
f=
f (xi )`(Ji )

Ji
Ji
(xi ,Ji )J
(xi ,Ji )J
Z

X

f 6 2.
f (xi )`(Ji )
(xi ,Ji )J
Ji
5. 37
5. Integrabilidade
Integrabilidade
Corolrio 5.11. Seja f : [a, b] R uma funo calibre-integrvelRtal que

b
a f = 0 para todo o c [a, b]. Ento |f | calibre-integrvel e a |f | = 0.
Rc
Demonstrao: Note-se que, pela aditividade do intergal de calibre,

c f = 0 sempre a 6 c 6 d 6 b. Dado R > 0, seja um calibre em [a, b]
tal que D D [a, b] implica |S(f , D) ab f | < . Ento, pelo Lema de
Henstock, temos
Rd
S(|f |, D) =
X
(x ,J)D
Logo
Rb
a
|f (x )|`(J) =
Z
X

f 6 2.
f (x )`(J)
(x ,J)D
|f | = 0.
5. 38
5. Integrabilidade
Integrabilidade
Integral de calibre derivada do integral indefinido
Seja f : [a, b] R R uma funo calibre-integrvel. Ento, pelo Teorema 5.9, a

x
funo F (x ) = a f est bem definida para x [a, b], e diz-se o integral (de
calibre) indefinido de f .
Proposio 5.12. Seja f : [a, b] R uma funo calibre-integrvel e seja F o seu
integral indefinido. Ento F contnua em [a, b].
Demonstrao: Seja x [a, b] e seja > 0. Ento existe algum calibre
Rb
em [a, b] tal que D D [a, b] implica |S(f , D) a f | < /2. Seja
= min{(x ), 2(1+|f (x )|) } e seja y [a, b] tal que |y x | < . Pelo Lema de
Henstock aplicado a {(x , [x , y ])} ou {(x , [x , y ])}, conforme x < y ou y < x ,
Z x
Z y
temos

f 6 /2.
ou
f 6 /2
f (x )(y x )
f (x )(x y )
y
Segue que
Z

|F (y ) F (x )| =

f 6 /2 + |f (x )| |y x | < /2 + /2 =
o que mostra que F contnua em x .
5. 39
5. Integrabilidade
Integrabilidade
Integral de calibre Teorema Fundamental do Clculo, 2 parte
Teorema 5.13. (Teorema Fundamental do Clculo - 2 parte) Seja

f : [a, b] R tal que f e |f | so ambas calibre-integrveis e seja
F : [a, b] R o integral indefinido de f . Se f contnua em x [a, b],
ento F derivvel em x e F 0 (x ) = f (x ).
Demonstrao: Seja h > 0 tal que x + h [a, b]. Ento verificam-se as
seguintes desigualdades:
Z
F (x + h) F (x )
1 Z x +h
1 x +h

f (x ) =
f f (x ) 6
|f f (x )|

h
h x
h x
6 sup{|f (x + t) f (x )| : 0 6 t 6 h},
onde a ltima expresso tende para 0 quando h 0+ porque f contnua em x .
O caso h < 0 anlogo.
5. 40
5. Integrabilidade
Integrabilidade
Integral de calibre outros resultados
Recorde-se que, se f : ]a, b] R integrvel segundo Riemann em todo o

+ |f (x )| = , ento considera-se integral
intervalo [c,
b] ]a, b] e lim
R x a
R
imprprio ab f = limca+ cb f . Para o integral de calibre, no h que
distinguir tais integrais.
Teorema 5.14. Seja f : [a, b] R uma funo que calibre-integrvel em
todo o intervalo [c, b] com a < c < b. Ento
f calibre-integrvel
R
em [a, b] se e s se existe o limite limca+ cb f , sendo ento
Rb
Rb
a f = limca+ c f .
Com pequenas alteraes nas definies a teoria do integral de calibre
estende a intervalos fechados arbitrrios, desaparecendo tambm a
necessidade de considerar integrais imprprios em intervalos ilimitados,
pois valem os anlogos do teorema anterior para tais intervalos.
5. 41
5. Integrabilidade
Integrabilidade
Uma das grandes vantagens da teoria do integral de Lebesgue so os chamados

teoremas da convergncia montona e da convergncia dominada que garantem
que o integral do limite pontual o limite dos integrais mediante hiptese
adionais. menos conhecida, mas tambm foi provada ainda no seculo XIX uma
verso do teorema da convergncia montona que tambm vale para o integral de
Riemann. Eis as verses desses resultados para o integral de calibre.
Teorema 5.15. (Teorema da Convergncia Montona) Seja I um intervalo fechado
e sejam fn , f : I R tais que cada fn calibre-integrvel, f1 6 f2 6 , e
limn Rfn (x ) = f (x ) para todo Ro x I. Ento Rf calibre-integrvel se e s se
limn I fn < , sendo ento I f = limn I fn .
Teorema 5.16. (Teorema da Convergncia Dominada) Seja I um intervalo fechado
e sejam fn : I R funes calibre-integrveis. Sejam f , g : I R tais que fn f
pontualmente em I Re g integrvelR em I. Se |fn | 6 g para todo o n, ento f
calibre-integrvel e I f = limn I fn .
5. 42
5. Integrabilidade
Integrabilidade
Mantm-se o bom comportamento relativamente ao limite uniforme em

intervalos limitados.
Teorema 5.17. Seja I um intervalo fechado limitado e sejam fn , f : I R
funes tais que cada fn calibre-integrvel
eR fn f uniformemente.
R
Ento f calibre-integrvel e I f = limn I fn .
O comprimento dum intervalo uma forma de medir esse tipo de
subconjuntos de R. Lebesgue mostrou como estender essa medida a
subconjuntos de R mais gerais de forma que sejam satisfeitas as seguintes
propriedades:
i. () = 0 e (E ) > 0;
ii. (E + a) = (E ) para todo o a R;
iii. (
n=0 En )
n=0 (Ei ).
Mostra-se que (E ) dado pelo integral de calibre
R E .
5. 43

Integrabilidade

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Integrabilidade

Enviado por

Direitos autorais:

Formatos disponíveis

5.

Seja X R e seja f : X R uma funo limitada. A oscilao de f em

= inf {(f , X ]x , x + [) : > 0} ,

Seja f : I R uma funo limitada, onde I um intervalo. Ento tem-se:

Clculo Infinitesimal I (M111) 2012/2013

(ii) Suponhamos primeiro que f contnua no ponto x0 . Ento, para qualquer

Clculo Infinitesimal I (M111) 2012/2013

Construmos, recursivamente, duas sucesses (Xn )n , de subconjuntos

Pelas condies (i)(iv), (Xn )n uma cadeia decrescente de fechados no

X ]n, n[, donde X limitado. Para mostrar que X fechado,

aberta de X que no admite nenhuma subcobertura finita, o que contradiz

Para um intervalo limitado I de extremos a e b, representamos por `(I) o

podemos substituir cada intervalo In por Jn = ]an 2n+2

Clculo Infinitesimal I (M111) 2012/2013

i. Se X Y e m(Y ) = 0, ento m(X ) = 0.

Prova: A propriedade (i) bvia. Para (ii), consideremos > 0. Ento,

o que mostra que m(Y ) = 0.

Clculo Infinitesimal I (M111) 2012/2013

2. Seja I um intervalo fechado limitado com `(I) > 0 e seja I

3. Seja C o conjunto de Cantor formado por todos os nmeros da forma

Como a soma dos comprimentos dos intervalos que compem Cn

Clculo Infinitesimal I (M111) 2012/2013

Note-se que A : [a, b] R descontnua em x ]a, b[ se e s se x pertence

onde a funo f nula, f descontnua em x ;

I como, para todo o > 0, f 1 ([, [) um conjunto finito, portanto

fechado, f 1 (], [) uma vizinhana de todo o irracional de [0, 1].

Demonstrao do Teorema 5.2: Seja D o conjunto de pontos de

existe x tal que f , [a, b] ]x x , x + x [ < 2(ba)

Seja S a subdiviso do intervalo [a, b] formada por a, b e todos os

Logo f integrvel em [a, b].

Reciprocamente, suponhamos que f integrvel em [a, b]. Note-se que

Logo Dn tem medida nula.

Sejam f , g : [a, b] R funes integrveis. Ento o produto fg e o

Clculo Infinitesimal I (M111) 2012/2013

O comportamento da composio em relao integrabilidade mais

Clculo Infinitesimal I (M111) 2012/2013

Encontram-se na literatura matemtica muitas teorias de integrao. A mais

Recorde-se que uma funo f : [a, b] R integrvel segundo Riemann

Por calibre (ou gauge) em [a, b] entendemos uma funo : [a, b] R+ .

Clculo Infinitesimal I (M111) 2012/2013

Vamos definir o integral de calibre ab f de f como o nmero real que

Clculo Infinitesimal I (M111) 2012/2013

pertence a D [a, z], o que

Proposio 5.4. Se f : [a, b] R calibre-integrvel, ento h um nico

Clculo Infinitesimal I (M111) 2012/2013

A tcnica da demonstrao da Proposio 5.4 pode ser usada para provar

|S(f , D)c(b a)| =

Clculo Infinitesimal I (M111) 2012/2013

. Se D -fina, ento o lado direito

de (2) majorado por n=1 2 2n+1 = .

Clculo Infinitesimal I (M111) 2012/2013

Combinando com a linearidade do integral de calibre, obtemos o seguinte

Clculo Infinitesimal I (M111) 2012/2013

Vamos mostrar que o anlogo do Teorema Fundamental do Clculo vale

sempre que 0 < |x z| < e x [a, b]. Se z = u ou z = v , obtm-se a

Clculo Infinitesimal I (M111) 2012/2013

Suponhamos ento que u < z < v . Pela desigualdade triangular, obtemos

Teorema 5.6. (Teorema Fundamental do Clculo - 1 parte) Se

Note-se que, em contraste, na verso do teorema anterior para o integral

Clculo Infinitesimal I (M111) 2012/2013

(xi xi1 ) = (b a).

Assim, para calcular integrais de calibre de uma funo, continua a bastar

Clculo Infinitesimal I (M111) 2012/2013

Tal como para o integral de Riemann,