Você está na página 1de 43

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.

Clculo Infinitesimal I (M111) 2012/2013

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 .
Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

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.
Clculo Infinitesimal I (M111) 2012/2013

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.
Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

5. 7

5. Integrabilidade

Integrabilidade
Conjuntos de medida nula

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.

Clculo Infinitesimal I (M111) 2012/2013

5. 8

5. Integrabilidade

Integrabilidade
Conjuntos de medida nula

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.
Clculo Infinitesimal I (M111) 2012/2013

5. 9

5. Integrabilidade

Integrabilidade
Conjuntos de medida nula

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.
Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

5. 11

5. Integrabilidade

Integrabilidade
Caraterizao das funes integrveis segundo Riemann

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.)
Clculo Infinitesimal I (M111) 2012/2013

5. 12

5. Integrabilidade

Integrabilidade
Caraterizao das funes integrveis segundo Riemann

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]
Clculo Infinitesimal I (M111) 2012/2013

n
[
j=0

Ij

r
[

]xk xk , xk + xk [.

(1)

k=0
5. 13

5. Integrabilidade

Integrabilidade
Caraterizao das funes integrveis segundo Riemann

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].


Clculo Infinitesimal I (M111) 2012/2013

5. 14

5. Integrabilidade

Integrabilidade
Caraterizao das funes integrveis segundo Riemann

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.


Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

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).
Clculo Infinitesimal I (M111) 2012/2013

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) | < .
Clculo Infinitesimal I (M111) 2012/2013

5. 19

5. Integrabilidade

Integrabilidade
Integral de calibre definio

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) | < .

Clculo Infinitesimal I (M111) 2012/2013

5. 20

5. Integrabilidade

Integrabilidade
Integral de calibre definio

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.

Clculo Infinitesimal I (M111) 2012/2013

y , [x , z]

o

pertence a D [a, z], o que


5. 21

5. Integrabilidade

Integrabilidade
Integral de calibre definio

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.

Clculo Infinitesimal I (M111) 2012/2013

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)| =

Clculo Infinitesimal I (M111) 2012/2013

(z,J)D

f (z)c `(J) 6


X

f (z)c `(J). (2)
(z,J)D
5. 23

5. Integrabilidade

Integrabilidade
Integral de calibre propriedades

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

Clculo Infinitesimal I (M111) 2012/2013

5. 24

5. Integrabilidade

Integrabilidade
Integral de calibre propriedades

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.

Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

5. 26

5. Integrabilidade

Integrabilidade
Integral de calibre Teorema Fundamental do Clculo

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 .

Clculo Infinitesimal I (M111) 2012/2013

5. 27

5. Integrabilidade

Integrabilidade
Integral de calibre Teorema Fundamental do Clculo

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.
Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

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 () =

Clculo Infinitesimal I (M111) 2012/2013

(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.

Clculo Infinitesimal I (M111) 2012/2013

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 .

Clculo Infinitesimal I (M111) 2012/2013

5. 32

5. Integrabilidade

Integrabilidade
Integral de calibre aditividade

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).
Clculo Infinitesimal I (M111) 2012/2013

5. 33

5. Integrabilidade

Integrabilidade
Integral de calibre aditividade

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 ).
Clculo Infinitesimal I (M111) 2012/2013

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

Clculo Infinitesimal I (M111) 2012/2013

Z
n
X

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

i=1

Ji

5. 35

5. Integrabilidade

Integrabilidade
Integral de calibre lema de Henstock

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
Clculo Infinitesimal I (M111) 2012/2013



f 6 .
5. 36

5. Integrabilidade

Integrabilidade
Integral de calibre lema de Henstock

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 )
f 6
f (xi )`(Ji )

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

Z
Z X
X


f (xi )`(Ji )
f 6
f =
f (xi )`(Ji )

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

X

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

Clculo Infinitesimal I (M111) 2012/2013

Ji

5. 37

5. Integrabilidade

Integrabilidade
Integral de calibre lema de Henstock

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.

Clculo Infinitesimal I (M111) 2012/2013

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 .

Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

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.

Clculo Infinitesimal I (M111) 2012/2013

5. 41

5. Integrabilidade

Integrabilidade
Integral de calibre outros resultados

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 .

Clculo Infinitesimal I (M111) 2012/2013

5. 42

5. Integrabilidade

Integrabilidade
Integral de calibre outros resultados

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

Clculo Infinitesimal I (M111) 2012/2013

R E .
5. 43