Você está na página 1de 50

UNIVERSIDADE FEDERAL DE MINAS GERAIS

INSTITUTO DE CI

ENCIAS EXATAS
DEPARTAMENTO DE MATEM

ATICA
ESPECIALIZAC

AO EM MATEM

ATICA
Douglas Danton Nepomuceno
INTEGRAL GENERALIZADA
DE HENSTOCK-KURZWEIL
E APLICAC

OES
Orientador: Prof. Alberto Berly Sarmiento Vera
Belo Horizonte
- Julho de 2013 -
i
Agradecimentos
Aos meus pais Idalina e Domingos por nao medirem esforcos ao prestarem
apoio. Ao meu professor orientador Alberto Sarmiento pelos diversos ensinamentos, gen-
tileza, disponibilidade e paciencia. Aos professores Hamilton Prado e Ronaldo Assun cao
pelas sugest oes.
ii
Sumario
1 Calibres 3
1.1 Conceitos Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Exemplos de Calibres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Aplicac oes de Calibres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 A Integral de Henstock-Kurzweil 9
2.1 Denic ao e Primeiros Exemplos . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Propriedades da Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2.1 Integral de Func oes Nulas . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 Teoremas Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.4 Produto e M odulo de Func oes . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 Teoremas de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.6 Integral H-K Sobre Intervalos Innitos . . . . . . . . . . . . . . . . . . . . 31
3 A Integral de Lebesgue 35
3.1 - algebras, Func oes Mensur aveis e Medidas . . . . . . . . . . . . . . . . . . 35
3.1.1 - algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.1.2 Func oes Mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.1.3 Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.1.4 Medida de Borel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.1.5 Func oes Integraveis N ao Negativas . . . . . . . . . . . . . . . . . . 40
3.1.6 Func oes Lebesgue Integr aveis . . . . . . . . . . . . . . . . . . . . . 41
3.2 Construc ao da Integral de Lebesgue pela Integral de Henstock-Kurzweil . . 42
iii
Introducao
Este trabalho tem como objetivo principal apresentar as propriedades mais
importantes da Integral Generalizada de Henstok-Kurzweil, que como nome sugere foi
desenvolvida por Ralph Henstock e Jaroslav Kurzweil por volta do ano de 1960. Existem
outras denominac oes, tais como Integral de Calibre ou Integral H-K. Sera estudado apenas
o caso de func oes reais, denidas em intervalos da reta real. Esta integral contem as
integrais de Riemann e de Lebesgue como casos particulares.
A integral de Riemann, desenvolvida em meados do seculo XIX e estudada
em cursos de calculo e an alise n ao e suciente para todos os estudos em matem atica,
pois tem algumas inadequacoes, como por exemplo o fato de n ao podermos tirar muitas
conclus oes a respeito do limite de funcoes Riemann integraveis. Outro ponto desfavor avel
e que nem todas as func oes que possuem antiderivadas (ou primitivas) s ao integr aveis,
ou seja, o Teorema do Calculo e a formula
_
b
a
f = F(b) F(a), para f, F : [a, b] R
e F

(x) = f(x) x [a, b] podem ser usados para um n umero reduzido de func oes, um
exemplo disso e a fun cao f : [0, 1] R denida por:
f(x) =
_
2x cos(1/x
2
) + (2/x)sen(1/x
2
), se x (0, 1],
0, se x = 0.
Temos que F : [0, 1] R, denida por:
F(x) =
_
x
2
cos(1/x
2
), se x (0, 1],
0, se x = 0.
e uma primitiva de f, mas f n ao e Riemann integr avel, pois n ao e limitada, assim nao
podemos utilizar a f ormula dada pelo Teorema do C alculo na versao para func oes Riemann
integr aveis. Tambem no caso de fun coes em intervalos innitos e func oes ilimitadas e
necess ario (quando possvel) utilizar a noc ao de integral impropria para estender a teoria.
No incio do seculo XX Henri Lebesgue desenvolveu uma teoria de integrac ao
que aumentou signicamente o conjunto das funcoes integr aveis, incluindo aquelas n ao
limitadas, integra cao sobre conjuntos mais gerais, varios teoremas de convergencia, porem
n ao se livrou totalmente dos problemas da teoria de Riemann, como por exemplo a funcao
1
D : [0, ] R, denida por D(x) = sen(x)/x se x (0, ] e D(0) = 0 nao e Lebesgue
integr avel. A integral
_

0
sen(x)/x e chamada de integral de Dirichlet.
Por m, o objeto de estudo aqui, a integral generalizadada de Henstock-
Kurzweil veio suprir as inadequac oes mencionadas anteriormente e com o benefcio de ter
uma abordagem semelhante ` aquela utilizada na teoria de Riemann. Ou seja, a integral
de Henstock-Kurzweil integra todas as func oes que possuem primitivas, inclui todas as
Riemann e Lebesgue integraveis, generaliza os teoremas de convergencia ja conhecidos da
teoria de Lebesgue e nao precisa utilizar-se da noc ao de integral impr opria.
As principais referencias utilizadas foram os livros A Modern Theory of Inte-
gration (Bartle) e Introduction to Real Analysis (Bartle-Sherbert).
O trabalho esta organizado em c aptulos, distribudos da seguinte maneira:
no captulo 1 ser a recordada a denic ao de uma particao pontilhada, bem como sera
denido o conceito de funcao calibre, elemento principal da teoria. Ser ao dados exemplos
de calibres, bem como aplicac oes na demonstrac ao de teoremas ja conhecidos da an alise
na reta. No captulo 2 ser ao apresentadas a deni cao da integral de Henstock-Kurzweil,
bem como propriedades importantes. Alem disso, ser ao vistas novas versoes dos Teoremas
do C alculo e evidenciado o fato de que o produto de fun coes Henstock-Kurzweil integr aveis
n ao e necessariamente integr avel. Tambem, o modulo de uma funcao Henstock-Kurzweil
integr avel nao necessariamente e integr avel. Na ultima sec ao do captulo 2 ocuparemos
de expor fatos b asicos sobre a integral de fun coes denidadas em intervalos innitos. No
captulo 3 ser ao revistos conceitos b asicos da teoria de Lebesgue no que se refere a -
algebras, func oes mensuraveis e medidas; para que possamos dar uma nova denic ao e
caracterizac ao da integral de Lebesgue por meio da integral de Henstock-Kurzweil.
2
Captulo 1
Calibres
Neste captulo introduziremos o conceito de calibre onde daremos exemplos
e aplica coes. Um calibre e uma func ao que desempenhara um papel principal no de-
senvolvimento da teoria de integracao de Henstock-Kurzweil que ser a vista nos captulos
seguintes. Nas denic oes retomaremos conceitos tais como partic oes e pontilhamentos.
No estudo da integral de Riemann utilizamos o conceito de norma de uma partic ao, a
m de controlar o comprimento dos subintervalos da partic ao, enquanto que na integral
de Henstock-Kurzweil quem far a esse trabalho ser ao os calibres. Quanto as aplicac oes
iremos reapresentar alguns teoremas cl assicos da analise na reta como forma de ilustrar
o potencial do conceito de Calibre.
1.1 Conceitos Iniciais
Denicao 1.1.1 Uma particao de um intervalo I = [a, b] e uma colecao P =
{I
1
, ...I
n
} de intervalos fechados na qual a uniao e [a, b] e cada dois intervalos consecutivos
se intercectam em um unico ponto. Cada subintervalo da particao e denotado por I
i
=
[x
i1
, x
i
], assim temos
a = x
0
< ... < x
i1
< x
i
< ... < x
n
= b.
Onde os pontos {x
i
}
i=1,...,n
sao chamados de pontos da particao P. Um pontilha-
mento de P e escolherem cada intervalo I
i
um ponto t
i
. Assim

P = {(I
i
, t
i
)}
n
i=1
e
dita uma particao pontilhada de I. Fixada a particao pontilhada

P, cada ponto t
i
e
dito uma marca do intervalo I
i
.
3
Denicao 1.1.2 Um calibre em I e simplesmente uma funcao : I (0, ) (nao
necessariamente contnua).
Seja um calibre em I e

P uma particao pontilhada de I. Dizemos que

P e -na se satisfaz:
I
i
[t
i
(t
i
), t
i
+(t
i
)], i = 1, ..., n.
Exemplo 1.1.1 Na denicao da integral de Riemann, usa-se particoes pontilhadas. Seja

P = {(I
i
, t
i
)}
n
i=1
uma particao pontilhada de I = [a, b] e
0
= ||

P|| = sup{(x
i
x
i1
), i =
1, ..., n} chamada de norma de

P. Denimos o calibre (x) =
0
, x I. Assim,

P e uma particao -na. Mais ainda, para qualquer particao



Q com norma
0
, temos
que

Q e uma particao -na.
Um questionamento que surge: dado um calibre : [a, b] R, ser a que existe
partic ao -na? A resposta e armativa e dada pelo seguinte resultado:
Teorema 1.1.1 Se e um calibre denido sobre o intervalo [a, b], entao existe uma
particao -na de [a, b].
Demonstracao: Denotemos por E o conjunto dos pontos x [a, b] tal que existe uma
partic ao -na do subintervalo [a, x].
1. O conjunto E n ao e vazio, de fato: (a) > 0, escolhemos x tal que, a < x a+(a),
e claro que ([a, x], a) e uma parti cao pontilhada -na de [a, x], isso implica que
x E.

E claro tambem que para todo a x
0
x temos que x
0
E. Sendo
E [a, b] limitado, possui supremo, que denotamos por u = sup(E).
2. u E, de fato, uma vez que u(u) < u, existe v E tal que u(u) < v < u.
Como v E seja

P
1
uma partic ao -na de [a, v] e denimos uma partic ao de
[a, u] da seguinte forma:

P
2
=

P
1
([v, u], u). Assim,

P
2
e uma partic ao -na de
[a, u] o que implica u E.
3. E = [a, b], basta mostrar que u = b. Por absurdo, suponhamos u < b e tomemos
w [a, b] tal que u < w < u + (u). Como u E, isso implica que w E, seja

Q
1
uma partic ao -na de [a, u], logo

Q
2
=

Q
1
([u, w], u) e uma partic ao -na
4
de [a, w] o que implica w E, mas isso constradiz o fato de u ser um supremo de
E. Assim u = b.

Observacao 1.1.1 Se e sao calibres em I = [a, b] tais que 0 < (x) (x) para
todo x I, entao toda particao

P que e -na tambem sera -na. Isso e imediato,
basta ver que t
i
(t
i
) t
i
(t
i
) e que t
i
+(t
i
) t
i
+ (t
i
), logo
I
i
[t
i
(t
i
), t
i
+ (t
i
)] [t
i
(t
i
), t
i
+(t
i
)].
Consequentemente se
1
e
2
sao dois calibres em I = [a, b] e se denimos o
calibre (x) = min{
1
(x),
2
(x)} x I, entao temos que qualquer particao -na
tambem sera
1
-na e
2
-na.
Observacao 1.1.2 Se

P e uma particao -na de I = [a, b], entao dado qualquer x I,
existe uma marca t
i
tal que |x t
i
| (t
i
). Para ver isto, x I
i
para algum i, logo
t
i
(t
i
) x
ii
x x
i
t
i
+(t
i
), entao |x t
i
| (t
i
).
1.2 Exemplos de Calibres
Exemplo 1.2.1 Seja um calibre denido em I = [0, 1] por
(x) =
_
1
10
, se x = 0,
1
2
x, se 0 < x 1.
Vamos construir uma particao -na. Para o intervalo da particao [0, x
1
],
temos que a unica marca possvel e t
1
= 0. De fato, suponhamos que 0 < t
1
x
1
, entao
[t
1
(t
1
), t
1
+(t
1
)] = [t
1
t
1
/2, t
1
+t
1
/2] = [t
1
/2, (3/2)t
1
].
Note que 0 < t
1
/2. Assim, a marca de [0, x
1
] deve ser obrigatoriamente t
1
= 0. O
primeiro intervalo e tal que [0, x
1
] [1/10, 1/10]. Assim, podemos fazer 0 < x
1
1/10.
A construcao dos demais subintervalos decorrem de testes em elementos de [x
1
, 1]. Por
exemplo, uma particao

P, -na e:

P = {([0, 1/10], 0), ([1/10, 3/10], 2/10), ([3/10, 9/10], 6/10), ([9/10, 1], 1)}.
5
Vemos neste exemplo um fato importante em relac ao a calibres, isto e, denido
um calibre podemos ter que, determinados pontos s ao obrigatoriamente marcas da
partic ao pontilhada. Daremos mais um exemplo a seguir, de quando isso ocorre, mas
essas situacoes ocorrer ao in umeras vezes ao longo do texto.

E importante observar que no exemplo acima (e no proximo) ja temos os


calibres denidos e estamos apenas constatando a obrigatoriedade de alguns pontos serem
marcas, mas tais calibres ja podem ser construdos com essa nalidade.
Exemplo 1.2.2 Seja I = [a, b], com a < b, vamos construir um calibre de modo
que qualquer particao -na, necessariamente contem o ponto b como uma marca do
subintervalo que o contem. Para isto, denimos:
(x) =
_
(bx)
2
, se x [a, b),
1, se x = b.
Para [x
n1
, b] obrigatoriamente temos t
n
= b como marca. De fato, suponhamos que
x
n1
t
n
< x
n
, entao
[t
n
(t
n
), t
n
+ (t
n
)] = [t
n
(b t
n
)/2, t
n
+ (b t
n
)/2].
Ou seja, t
n
+(bt
n
)/2 < b o que impossibilita [x
n1
, b] [t
n
(bt
n
)/2, t
n
+(bt
n
)/2],
logo t
n
= b e obrigatoriamente marca de [x
n1
, b].
Exemplo 1.2.3 (Renamento) Um procedimento que sera utilizado muitas vezes ao
longo do texto e baseado no seguinte: seja um calibre em I = [a, b] e seja

P uma particao
-na de I. Se t
i
e uma marca pertencente ao interior do subintervalo [x
i1
, x
i
] de

P,
entao podemos construir uma nova particao Q de modo que os pontos desta particao sao
{x
0
< x
1
< ... < x
i1
< t
i
< x
i
< ... < x
n
}.

E claro que,

Q e -na usando como marcas
de

Q as marcas de

P, com t
i
como marca dos novos intervalos [x
i1
, t
i
] e [t
i
, x
i
].
1.3 Aplicacoes de Calibres
Alguns teoremas importantes sobre func oes contnuas da analise na reta podem
ser provados utilizando calibres. Essa e uma maneira de demonstrar a importancia desse
conceito. Utilizaremos a continuidade das fun coes para criar os calibres.
6
Denicao 1.3.1 Seja A R, f : A R e c A. Dizemos que a funcao f e
contnua em c se > 0 existe > 0 tal que para todo x satisfazendo |x c| <
temos
|f(x) f(c)| < .
Dizemos ainda que f e contnua em A se f e contnua em cada ponto de A.
Teorema 1.3.1 (Teorema da Limitacao) Seja I = [a, b] um intervalo fechado e li-
mitado e seja f : I R uma funcao contnua em I. Entao f e limitada em I.
Demonstracao: Como f e contnua em I, dado = p > 0 um n umero xo arbitrario,
para cada t I existe (t) > 0 tal que x I com |x t| (t), temos que
|f(x) f(t)| p. Assim, denimos o calibre (t) em I. Seja

P = {(I
i
, t
i
)}
n
i=1
uma
partic ao -na de I e seja K = max{|f(t
i
)|; i = 1, ..., n}. Pela observac ao 2, dado x I
existe i com |x t
i
| (t
i
), assim
|f(x)| |f(x) f(t
i
)| +|f(t
i
)| p +K.
Uma vez que x e arbitr ario, segue que f e limitada por p +K em I.

Teorema 1.3.2 (Teorema da Localizacao de Razes) Seja I = [a, b] e seja f : I


R contnua em I. Se f(a) < 0 < f(b) (ou se f(a) > 0 > f(b)), entao existe um n umero
c (a, b) tal que f(c) = 0.
Demonstracao: Mostraremos o caso f(a) < 0 < f(b), o outro caso tem demonstrac ao
an aloga. Suponhamos que f(t) = 0 para todo t I. Pelo fato de f ser contnua em t,
dado = |f(t)|/2 > 0, existe (t) > 0 tal que para todo x I tal que |x t| (t),
ent ao f(x) < 0 se f(t) < 0 ou f(x) > 0 se f(t) > 0. Denimos o calibre (t) em I.
Seja entao

P = {(I
i
, t
i
)}
n
i=1
uma partic ao -na. Assumindo f(x
0
) = f(a) < 0 temos
(pelo fato de

P ser -na) que f(x
1
) < 0, f(x
2
) < 0, ..., f(x
n
) = f(b) < 0. Isso e
absurdo, pois temos a hipotese de que f(b) > 0

7
Denicao 1.3.2 Seja A R e f : A R. Dizemos que f e uniformemente
contnua em A se para todo > 0 existe > 0 tal que para x, u A satisfazendo
|x u| < , entao temos que:
|f(x) f(u)| < .
Teorema 1.3.3 (Teorema da Continuidade Uniforme) Seja I = [a, b] limitado e
fechado e f : I R contnua em I. Entao f e uniformemente contnua em I.
Demonstracao: Dado > 0, como f contnua em t I, existe (t) > 0 tal que
para x I tal que |x t| 2(t), temos que |f(x) f(t)| (1/2). Podemos
denir o calibre (t) em I. Se

P = {(I
i
, t
i
)}
n
i=1
e uma partic ao -na de I, tomamos

= min{(t
1
), ..., (t
n
)}. Sejam x, y I tal que |x y|

e i tal que |x t
i
| (t
i
)
(Isso e possvel devido observa cao ja feita anteriormente). Assim
|y t
i
| |y x| +|x t
i
|

+(t
i
) 2(t
i
),
Ent ao segue que
|f(x) f(y)| |f(x) f(t
i
)| +|f(t
i
) f(y)| (1/2) + (1/2) = .
Isso implica que f e uniformemente contnua em I.

8
Captulo 2
A Integral de Henstock-Kurzweil
Neste captulo estamos interessados no estudo da integral de Henstock-Kurzweil,
esta integral contem as integrais de Riemann e Lebesgue como casos particulares. Deno-
taremos simplesmente por integral H-K. Nas secoes 2.1 e 2.2 sera apresentada a deni cao
de func oes H-K integr aveis, daremos exemplos e algumas propriedades importantes desta
integral. Na secao 2.3 serao vistos versoes dos Teoremas Fundamentais do C alculo para
a integral H-K. Na sec ao 2.4 discutiremos a integral do produto de funcoes e a integral
do modulo de func oes. Veremos que o produto e o modulo de func oes H-K integr aveis
n ao s ao necessariamente integr aveis. Na se cao 2.5 ser ao apresentados os teoremas de
convergencia monotona e dominada para func oes H-K integr aveis. Por m, na se cao 2.6
daremos uma nova deni cao de H-K integral para func oes denidas em intervalos innitos
e mostraremos a Integral de Dirichlet.
2.1 Denicao e Primeiros Exemplos
No que segue f denotar a uma fun cao f : [a, b] R, n ao necessariamente
limitada denida em um intervalo n ao degenerado I = [a, b].
Denicao 2.1.1 Dada f : [a, b] R, seja

P = {(I
i
, t
i
)}
n
i=1
uma particao pontilhada de
I com I
i
= [x
i1
, x
i
], i = 1, ..., n. Denimos a soma de Riemann de f correspondente
a

P por:
S(f;

P) =
n

i=1
f(t
i
)(x
i
x
i1
).
9
Denicao 2.1.2 Uma funcao f : [a, b] R e Henstock-Kurzweil integravel em
[a, b], se existe um n umero H R, tal que para todo > 0 existe um calibre

em I
tal que para toda particao pontilhada

P de I que seja

-na temos que


|S(f;

P) H| < .
Denotamos por R

[a, b] o conjunto das func oes H-K integraveis em I =


[a, b]. O conjunto das funcoes Riemann integraveis ser a denotado por R[a, b]. Utili-
zaremos para a integral H-K o mesmo smbolo da integral de Riemann, ou seja, assim:
_
b
a
f ou
_
I
f.
O teorema a seguir nos mostra a rela cao entre func oes Riemann integraveis e
func oes Henstock-Kurzweil integraveis.
Teorema 2.1.1 Funcoes Riemann integraveis sao Henstock-Kurzweil integraveis
(i.e. R[a, b] R

[a, b]).
Demonstracao: Dado > 0 vamos construir um calibre apropriado. Uma vez que f e
Riemann integr avel, existe

> 0 tal que se



P e qualquer particao com ||

P|| <

, ent ao
|S(f;

P) H| < . Denimos a func ao

= (1/4)

para x [a, b], entao

e um calibre
em [a, b]. Se

Q e uma partic ao

-na, onde I
i
= [x
i1
, x
i
], ent ao:
I
i
[t
i

(t
i
), t
i
+

(t
i
)] = [t
i
(1/4)

, t
i
+ (1/4)

].
Como 0 < x
i
x
i1
(1/2)

<

para i = 1, ..., n., temos que a norma ||



Q|| <

e
logo |S(f;

Q) H| < . Uma vez que e arbitr ario, temos que f e Henstock-Kurzweil
integr avel.

No exemplo a seguir temos uma func ao Riemann integravel, logo e H-K in-
tegr avel. Mas usaremos a denic ao de calibre para mostrar que e H-K integr avel, am
de mostrar a tecnica no uso de calibres.
10
Exemplo 2.1.1 Seja I = [a, b], c (a, b) e , R com = . Seja f : [a, b] R
denida por
f(x) =
_
, se a x < c,
, se c x b.
Vamos mostrar que f R

[a, b] e
_
b
a
f = (c a) + (b c).
Dado > 0 vamos escolher um calibre

em I que forca o ponto c ser a


marca dos intervalos que o contem, para qualquer particao que e

-na. Par obter isto


denimos

o calibre

(x) =
_
1
2
|c t|, se t = c,

0
, se t = c.
No nal escolheremos um
0
de acordo com o necessario. Seja

P uma
particao de I que e

-na. Caso c nao seja um ponto da particao poderemos acrescenta-


lo, de modo que teremos [x
k1
, c] e [c, x
k
] e c e uma marca para ambos. Uma vez
que f(t
i
) = para i = 1, ..., k 1 a soma dos k 1 primeiros termos em S(f;

P)
e (x
k1
a). Para i = k, ..., n, f(t
i
) = de maneira que os termos restantes
de S(f;

P) e (b x
k1
). Temos assim S(f;

P) = (x
k1
a) + (b x
k1
). No
entanto, x
k1
a = (c a) (c x
k1
) e b x
k1
= (b c) + (c x
k1
), temos entao
S(f;

P) = (c a) + (b c) + ( )(c x
k1
). Uma vez que

P e

-na, entao
c x
k1
< c onde 0 < c x
k1
, assim
|S(f;

P) [(c a) + (b c)]| | |(c x
k1
) | |.
Desta desigualdade e usando que > 0 e arbitrario basta escolher
0
=

(c) =
/| |, podemos concluir assim que f R

[a, b] e que
_
b
a
f = (c a) + (b c).
Exemplo 2.1.2 (Funcao de Dirichlet) Sabemos que a funcao de Dirichlet f : [0, 1]
R denida por
f(x) =
_
1, se x e racional,
0, se x e irracional.
11
nao e Riemann integravel (Ver [1], pag. 209). Este exemplo mostra que esta fun cao e
H-K integravel e vale:
_
1
0
f = 0.
De fato, consideremos uma enumeracao dos racionais em [0, 1] por {r
k
}

k=1
.
Dado > 0 denimos o calibre : [0, 1] R:

(x) =
_
/2
k+2
, se x e racional,
1, se x e irracional.
Seja

P e uma particao

-na, entao temos que: x


i
x
i1
2

(t
i
). Consideremos a
soma de Riemann S(f;

P) =

n
i=1
f(t
i
)(x
i
x
i1
), nesta soma apenas as marcas racionais
fazem contribuicoes diferentes de zero, entao sem perda de generalidade, podemos supor
que todas as marcas sao racionais {t
i
= r
ki
; i = 1, ..., n}. Temos:
0 < f(r
ki
)(x
i
x
i1
) = 1.(x
i
x
i1
)
2
2
k
i
+2
=

2
k
i
+1
,
assim
0 S(f;

P) =
n

i=1
f(t
i
)(x
i
x
i1
)
n

i=1

2
k
i
+1
<

j=1

2
j
= (j N).
Uma vez que e arbitrario o resultado segue.
2.2 Propriedades da Integral
Teorema 2.2.1 (da Unicidade) Se f R

[a, b], entao o valor da integral e unico.


Demonstracao: Suponhamos que existam H
1
e H
2
valores da integral de f em [a, b].
Como f e H-K integr avel, > 0 existe um calibre

2
tal que se

P
1
e uma partic ao

2
-na, entao |S(f;

P
1
)H
1
| <

2
. Analogamente existe

2
tal que se

P
2
e uma partic ao

2
-na, ent ao |S(f;

P
2
) H
2
| <

2
. Denimos o calibre

(x) = min{

2
(x),

2
(x)}, pela
observacao 1.1.1 temos que se

P e

-na, ent ao

P tambem e

2
e

2
-na. Agora:
|H
1
H
2
| |H
1
S(f;

P)| +|S(f;

P) H
2
| <

2
+

2
= .
Uma vez que |H
1
H2| < , > 0, implica que H
1
= H
2
.

12
Abaixo relacionaremos algumas propriedades basicas da integral de Henstock-
Kurzweil que s ao reformulacoes de propriedades an alogas para a integral de Riemann,
cujas demonstra coes sao apenas uma mudan ca de linguagem em termos de calibres das
demonstrac oes feitas para func oes Riemann integraveis.
Teorema 2.2.2 Suponha que f e g R

[a, b]. Entao:


1. Se k R, a funcao kf R

[a, b] e
_
b
a
kf = k
_
b
a
f.
2. A funcao f +g R

[a, b] e
_
b
a
(f +g) =
_
b
a
f +
_
b
a
g.
3. Se f(x) g(x) x [a, b], entao
_
b
a
f
_
b
a
g.
Teorema 2.2.3 Se f R

[a, b] e 0 f(x) para todo x em [a, b], entao 0


_
b
a
f.
Teorema 2.2.4 (Criterio de Cauchy) A funcao f : [a, b] R pertence a R

[a, b]
se, e somente se, para todo > 0 existe um calibre

tal que se

P e

Q sao quaiquer
particoes

-nas de [a, b], entao |S(f;



P) S(f;

Q)| < .
Teorema 2.2.5 (Aditividade) Seja f : [a, b] R e seja c (a, b). Entao f R

[a, b]
se, e somente se, suas restricoes a [a, c] e [c, b] sao ambas Henstock-Kurzweil integraveis.
Neste caso
_
b
a
f =
_
c
a
f +
_
b
c
f.
Teorema 2.2.6 (Confronto) Uma funcao f R

[a, b] se, e somente se, > 0 existe


funcoes e pertencentes a R

[a, b] com (x) f(x) (x) para todo x [a, b] e


tal que
_
b
a
( ) .
2.2.1 Integral de Func oes Nulas
Denicao 2.2.1 Um conjunto Z R e chamado de conjunto de medida nula se
> 0 existe uma colecao enumeravel {J
k
}

k=1
de intervalos abertos tal que
Z

_
k=1
J
k
e

k=1
l(J
k
) < .
Lembramos que uma uni ao enumer avel de conjuntos de medida nula, tambem
e um conjunto de medida nula. Vale tambem que um subconjunto de um conjunto de
medida nula tem medida nula.
13
Denicao 2.2.2 Seja f : A R uma funcao denida em um conjunto A R. Dizemos
que f e uma funcao nula se o conjunto {x A talque f(x) = 0} e um conjunto de
medida nula.
Daqui em diante denotaremos por l(I) = b a o comprimento do intervalo
I = [a, b] com a b.
Teorema 2.2.7 Seja qualquer funcao nula em I = [a, b]. Entao R

[a, b] com
_
I
f = 0.
Demonstracao: Seja Z = {x I; (x) = 0} ent ao da denic ao de fun cao nula temos
que Z e um conjunto de medida nula. Para cada m N denotemos Z
m
= {x
Z; m 1 < |(x)| m}. Uma vez que Z
m
Z, entao Z
m
e um conjunto de medida
nula. Dessa maneira, dado > 0, para cada m N, {J
m,k
}

k=1
uma colec ao de
intervalos abertos tal que
Z
m

_
k=1
J
m,k
e

k=1
l(J
m,k
) <

m2
m
.
Deniremos um calibre

em I da seguinte maneira, se x I Z fazemos

(x) = 1.
Se x Z, uma vez que Z =

mN
Z
m
e os {Z
m
}

m=1
s ao dois a dois disjuntos, existe
um unico m(x) N tal que x Z
m(x)
; seja k(x) o menor ndice k tal que x J
m(x),k
;
escolhemos 0 <

(x) tal que [x

(x), x +

(x)] J
m(x),k(x)
.
Seja agora

P = {(I
i
, t
i
)}
n
i=1
uma partic ao

-na de I. Se t
i
I Z, entao
(t
i
) = 0, logo a soma dos termos em S(,

P) com marcas em I Z e igual a zero.
Resta mostrar agora, que a soma dos termos em |S(,

P)| com marcas em
Z e menor que . De fato,
1. Se t
i1
, ..., t
ik
Z
mi
, onde Z

k=1
J
m
i
,k
k

j=1
|(t
ij
)|(x
ij
x
i(j1)
) m
i
k

j=1
(x
ij
x
i(j1)
) m
i

k=1
l(J
m
i
,k
) < /2
m
i
.
2. Assim,
|S(,

P)| = |
n

i=1
(t
i
)(x
i
x
i1
)|
n

i=1
|(t
i
)|(x
i
x
i1
) <
n

i=1
/2
m
i
<

m=1
/2
m
= .
14
Dessa forma |S(,

P)| < e como e arbitr ario, concluimos que R

[a, b] e
_
I
= 0.

Exemplo 2.2.1 Seja H : [0, 1] R denida por H(1/k) = k para k N e H(x) = 0


em qualquer outro ponto de [0, 1]. Notemos que H e funcao nao limitada, mas e funcao
nula, logo e H-K integravel com
_
1
o
H = 0.
Exemplo 2.2.2 Sabemos que a funcao de Dirichlet, denida por f(x) = 1 se x [0, 1]
e racional e f(x) = 0 se x [0, 1] e irracional e uma funcao nula, nao contnua em
nenhum ponto de [0, 1] e H-K integravel, com
_
1
0
f = 0; como tambem visto no exemplo
2.1.2. Assim, o conjunto R

[a, b] contem estritamente o conjunto R[a, b].


2.3 Teoremas Fundamentais
Nesta se cao iremos estudar os teoremas fundamentais do c alculo. Perceberemos
que as versoes para a integral H-K s ao bem mais gerais que as conhecidas da integral de
Riemann, e isso nos permitira integrar um n umero bem maior de funcoes sobre condicoes
mais fracas que as habituais.
Denicao 2.3.1 Seja I = [a, b] R e seja f : I R.
1. Dizemos que F e uma primitiva (antiderivada) de f em I se a derivada F

(x)
existe e F

(x) = f(x) x I.
2. Dizemos que F e uma a-primitiva de f em I, se F e contnua em I, e existe
um conjunto de medida nula E I; x E, temos que F

(x) nao existe ou


F

(x) = f(x).
3. Dizemos que F e uma c-primitiva de f em I, se F e contnua em I, e existe
um conjunto enumeravel E I; x E, temos que F

(x) nao existe ou


F

(x) = f(x). O conjunto E e dito um conjunto excepcional de f.


15
Lema 2.3.1 (Straddle) Seja I = [a, b] e F : I R diferenciavel no ponto x I.
Dado > 0 existe

> 0 tal que se u e v I satisfazem x

u x v x +

,
entao vale que
|F(v) F(u) F

(x)(v u)| < (v u).


Demonstracao: Pela denic ao da derivada F

(x) no ponto x I, dado > 0, existe

(x) > 0, tal que se 0 < |z x|

(x), z I, ent ao

F(z) F(x)
z x
F

(x)

< ,
Da segue
|F(z) F(x) F

(x)(z x)| < |z x|. ()


Tomando u x e x v, tal que |u x| <

(x) e |v x| <

(x). Subtraindo e
adicionando F(x) F

(x)x em (), temos


|F(v)F(u)F

(x)(vu)| = |[F(v)F(x)F

(x)(vx)][F(u)F(x)F

(x)(ux)]|
|F(v)F(x)F

(x)(vx)|+|F(u)F(x)F

(x)(ux)| < (vx)+(xu) = (vu).

Vamos relembrar agora o enunciado do Teorema Fundamental 1 para func oes


Riemann integr aveis.
Teorema 2.3.1 (Teorema Fundamental 1) Seja f : [a, b] R Riemann integravel
e suponha que F e uma c-primitiva ( E nito) de f. Entao:
_
b
a
f = F(b) F(a).
Teorema 2.3.2 (Teorema Fundamental 1.1) Se f : [a, b] R tem primitiva F em
[a, b], entao
f R

[a, b] e
_
b
a
f = F(b) F(a).
Demonstracao: Dado > 0, denimos o calibre

(x) em [a, b], onde

(x) e como no
Lema de Straddle e seja

P uma partic ao

-na de [a, b]. Segue entao que


|F(x
i
) F(x
i1
) f(t
i
)(x
i
x
i1
)| < (x
i
x
i1
).
16
Sabemos que
F(b) F(a) S(f;

P) =
n

i=1
[F(x
i
) F(x
i1
) f(t
i
)(x
i
x
i1
)].
Pela desigualdade triangular, temos
|F(b)F(a)S(f;

P)|
n

i=1
|F(x
i
)F(x
i1
)f(t
i
)(x
i
x
i1
)| <
n

i=1
(x
i
x
i1
) = (ba).
Como arbitr ario, assim f e H-K integr avel e
_
b
a
f = F(b) F(a).

A seguir mostraremos uma vers ao mais forte deste teorema.


Teorema 2.3.3 (Teorema Fundamental 1.2) Se f : [a, b] R tem uma c-primitiva
F em [a, b], entao:
f R

[a, b] e
_
b
a
f = F(b) F(a).
Demonstracao: Seja E = {c
k
}

k=1
o conjunto excepcional para a c-primitiva F. O
conjunto E e enumeravel, entao e tambem um conjunto nulo. Iremos assumir f(c
k
) = 0,
podemos fazer isso, pois se tivermos func oes h, g, com h integr avel e h = g a menos
de um conjunto de medida nula, g e integr avel e tem integral igual a de h.
Deniremos um calibre

em I = [a, b]. Se > 0 e x I E,

(x) e denida
como no Lema de Straddle. Se x E, entao x = c
k
para algum k N, da continuidade
de F em c
k
, escolhemos 0 <

(c
k
) tal que |F(z) F(c
k
)| < /2
k+2
para todo z [a, b]
satisfazendo |z c
k
| <

(c
k
).
Seja agora

P uma partic ao

-na de [a, b]. Se nenhuma marca pertence a


E, ent ao o Teorema se torna igual ao anterior. Resta o caso em que c
k
E e a marca
do subintervalo [x
i1
, x
i
], entao |F(x
i
) F(x
i1
) f(c
k
)(x
i
x
i1
) |F(x
i
) F(c
k
)| +
|F(c
k
) F(x
i1
)| +|f(c
k
)(x
i
x
i1
) < /2
k+2
+/2
k+2
+0 = /2
k+1
. A soma dos termos
com t
i
E satisfaz a desigualdade

t
i
E
|F(x
i
) F(x
i1
) f(t
i
)(x
i
x
i1
)| <

k=1
/2
k
= .
Pelo lema de Straddle a soma dos termos com t
i
/ E satisfaz

t
i
/ E
|F(x
i
) F(x
i1
) f(t
i
)(x
i
x
i1
)| <

t
i
/ E
(x
i
x
i1
) (b a).
17
Assim
|F(b) F(a) S(f;

P)| < (1 + b a).
Uma vez que e arbitr ario, segue que f R

[a, b] com integral F(b) F(a).

Exemplo 2.3.1 Voltando a analisar a funcao de Dirichlet, uma c-primitiva e F(x) = 0


e podemos assim aplicar o teorema e concluir que
_
1
0
f = 0. Qualquer funcao constante
e um primitiva de f.
Exemplo 2.3.2 Se F(x) = 2

x para x [0, b], entao F e contnua e F

(x) = 1/

x
para x (0, b]. Denimos f(x) = F

(x) para x (0, b] e f(0) = 0. Assim, pelo


teorema anterior, vemos que f R

[0, b] e
_
b
0
f = F(b) F(0) = F(b) = 2

b.
As deni coes e resultados a seguir servirao para a prova do Teorema Funda-
mental 2, que ser a enunciado posteriormente.
Denicao 2.3.2 Seja I = [a, b] um intervalo nao degenerado com particao pontilhada

P = {(I
i
, t
i
)}
n
i=1
.
1. Uma subparticao de

P e uma subcolecao {I
j
}
s
j=1
.
2. Uma subparticao pontilhada de

P e uma subcolecao

P
0
= {(I
j
, t
j
)}
s
j=1
.
3. Seja um calibre em I, dizemos que a subparticao pontilhada

P
0
e -na se
I
j
[t
j
(t
j
), t
j
+(t
j
)] para j = 1, ..., s.
4. Seja

P
0
uma subparticao pontilhada, denotando U(

P
0
) =

s
j=1
I
j
e considerando
f uma funcao H-K integravel em [a, b], podemos denir
S(f;

P
0
) =
s

j=1
f(t
j
)(x
j
x
j1
) e
_
U(

P
0
)
f =
s

j=1
_
I
j
f.
Sabemos que se f R

[a, b], dado > 0, existe

um calibre em I = [a, b]
tal que se

P e

-na, ent ao
|S(f;

P)
_
I
f| < .
Com esta nota cao temos:
18
Lema 2.3.2 (Saks-Henstock) Se

P
0
e qualquer

-na subparticao de

P , entao

j=1
_
f(t
j
)(x
j
x
j1
)
_
I
j
f
_

S(f;

P
0
)
_
U(

P
0
)
f

< .
Corolario 2.3.1 Com as hipoteses do lema anterior, temos
s

j=1

f(t
j
)(x
j
x
j1
)
_
I
j
f

< 2.
As demonstra coes dos lema e corolario acima podem ser encontradas em ([3],
p ag. 77 e pag. 78).
Denicao 2.3.3 Seja E [a, b] e seja F uma colecao de intervalos fechados nao
degenerados em [a 1, b + 1]. Dizemos que F e uma cobertura de Vitali para E
se para todo x E e para todo s > 0, existe um intervalo J F tal que x J e
0 < l(J) < s.
O seguinte teorema da Cobertura de Vitali e necess ario para a demonstrac ao
do Teorema Fundamental 2, a prova deste pode ser encontrada em ([3], p ag. 79).
Teorema 2.3.4 (Cobertura de Vitali) Seja E [a, b] e seja F uma cobertura de
Vitali para E. Entao, dado > 0, existem intervalos disjuntos I
i
, ..., I
p
de F e uma
colecao enumeravel de intervalos fechados {J
i
; i = p + 1, ...} em R na qual
E
p
_
i=1
I
i

_
i=p+1
J
i
e

i=p+1
l(J
i
) < .
Segue que
E
p
_
i=1
I
i

_
i=p+1
J
i
.
Denicao 2.3.4 Se f : [a, b] R e H-K integravel, denimos a integral indenida
de f por
F(z) =
_
z
a
f(x) z [a, b].
Lema 2.3.3 A funcao F denida acima e contnua.
19
Demonstracao: Tomando c [a, b), vamos mostrar inicialmente que F e contnua
pela direita em c. Seja > 0 e seja

um calibre em I = [a, b] como nas hip oteses do


lema de Saks-Henstock. Deniremos o seguinte calibre em I:

(x) =
_
min{

(x), (1/2)|x c|}, se x = c,


min{

(c), /(|f(c)| + 1)}, se x = c.


Seja agora 0 < h <

(c) e seja

P
0
uma subparti cao

-na, consistindo em um unico


par ([c, c +h], c). Usando o lema de Saks-Henstock para

P
0
, temos que

f(c)h
_
c+h
c
f

< .
Assim, do fato que h /(|f(c)| + 1) segue que
|F(c +h) F(c)| =

_
c+h
c
f

|f(c)|h + < + = 2.
Sendo arbitr ario, conclumos que F e contnua pela direita em x = c. Um argumento
an alogo, olhando para o lado esquerdo de c mostra que F tambem e contnua pela
esquerda. Portanto, contnua em [a, b].

Teorema 2.3.5 (Teorema Fundamental 2) Sejam f R

[a, b] e F a integral inde-


nida de f. Entao:
1. Existe um conjunto de medida nula Z tal que para todo x / Z temos que F e
diferenciavel em x e F

(x) = f(x). Isto e, F e uma a-primitiva de f.


2. Se f e contnua em c [a, b], entao F

(c) = f(c).
Demonstracao: PARTE 1: Denotemos por E o conjunto de pontos x [a, b) tal
que a derivada a direita de F n ao existe ou nao e igual a f(x). Mostraremos que E
e um conjunto de medida nula.
Se F tem a derivada pela direita em x [a, b], entao para todo > 0 existe
s > 0 tal que se v [a, b] satisfaz x < v < x +s, segue-se que

F(v) F(x)
v x
f(x)

< .
20
Para negar a condi cao acima, para x E, existe (x) > 0 tal que para todo s > 0 existe
um ponto v
x,s
[a, b] com x < v
x,s
< x +s e tal que

F(v
x,s
) F(x)
v
x,s
x
f(x)

(x) (I),
Da temos
|[F(v
x,s
) F(x)] f(x)(v
x,s
x)| (x)(v
x,s
x) (II).
Fixamos n N e tomamos E
n
= {x E; (x) 1/n}. Dado > 0, sendo f integr avel,
existe um calibre

em I tal que se

P e

-na, ent ao

S(f;

P)
_
I
f

< /n (III).
Vamos criar F
n
= {[x, v
x,s
]; x E
n
, 0 < s

(x)}. Temos ent ao que F


n
e uma
cobertura de Vitali para E
n
. Ent ao pelo Teorema da Cobertura de Vitali, existem
I
1
= [x
1
, v
1
], ..., I
p
= [x
p
, v
p
] em F
n
e uma sequencia (J
i
)

i=p+1
de intervalos fechados tal
que
E
n

p
_
i=1
I
i

_
i=p+1
J
i
e

i=p+1
l(J
i
) < (IV).
Seja agora
p

i=1

f(x
i
)(v
i
x
i
)
_
v
i
x
i
f

=
p

i=1
|f(x
i
)(v
i
x
i
) [F(v
i
) F(x
i
)]| (V).
De (II), com (x
i
) 1/n seque que o lado direito em (V ) satisfaz
(1/n)
p

i=1
(v
i
x
i
)
p

i=1
|f(x
i
)(v
i
x
i
) [F(v
i
) F(x
i
)]| (VI).
Por outro lado, uma vez que temos x
i
v
i
x
i
+

(x
i
) para i = 1, ..., p,
os pares ordenados {(I
i
, x
i
)}
p
i=1
formam uma subpartic ao de uma particao de I que e

-na e na qual (III) vale. Pelo corolario do lema de Saks-Henstock, podemos cocluir
que (V) e menor que 2/n. Combinando com (VI) e m ultiplicando por n, temos
p

i=1
(v
i
x
i
) < n
p

i=1

f(x
i
)(v
i
x
i
)
_
v
i
x
i
f

< 2 (VII).
Em virtude de IV, temos que E
n
est a contido numa uniao enumeravel de intervalos com
comprimento menor que 3. Sendo > 0 arbitr ario isso implica que E
n
e um conjunto
21
de medida nula e como E =

n=1
E
n
temos que E tambem e de medida nula. Por
m para completar a prova dessa parte do teorema basta seguir argumento semelhante e
mostrar que M, o conjunto dos pontos x [a, b] onde a derivada a esquerda nao existe
ou e diferente de f(x), tambem e um conjunto de medida nula.
PARTE 2: Seja c [a, b). Vamos considerar a derivada a direita de F em c. Uma vez
que f e contnua em c, para > 0 existe

> 0 tal que para c x c +

temos
f(c) < f(x) < f(c) + .
Tomando h tal que 0 < h <

, pelo Teorema da Aditividade temos que f e integr avel


em [a, c], [a, c +h] e em [c, c + h], alem disso
F(c +h) F(c) =
_
c+h
c
f.
No intervalo [c, c +h] a fun cao f satisfaz a desigualdade acima. Assim temos
(f(c) ).h F(c +h) F(c) =
_
c+h
c
f (f(c) + ).h.
Dividindo por h > 0 e subtraindo f(c), isso nos d a

f(c +h) F(c)


h
f(c)

.
Como > 0 e arbitr ario, podemos concluir que o limite pela direita existe e e dadto por
lim
x0+
F(c +h) F(c)
h
= f(c).
Analogamente o limite pela esquerda para um c (a, b] pode ser calculado e e igual a
f(c). Isso conclui a demonstrac ao da parte 2.

2.4 Produto e Modulo de Funcoes


Na integral de Riemann, sabemos que o produto de funcoes Riemann in-
tegr aveis e tamem Riemann integravel ([1], pag. 222). No entanto, como mostram
os exemplos abaixo, o produto de func oes Henstock-Kurzweil integraveis pode n ao ser
22
Henstock-Kurzweil integr avel. Do mesmo modo, o m odulo de funcoes H-K integr aveis
n ao e necessariamente H-K integr avel. Este fato e crucial para dar uma nova denic ao
atraves da integral H-K para funcoes Lebesgue integraveis, como ser a visto no ultimo
captulo.
Exemplo 2.4.1 Seja F(x) = xcos(/x) para x (0, 1] e F(0) = 0. Denimos f(x) =
F

(x) = cos(/x) +(/x)sen(/x) para x (0, 1] e f(0) = F

(0) = 0. Mostraremos que


|f| nao e H-K integravel.
De fato, suponha que existe
_
1
0
|f| = M, M R. Temos que f e contnua
em (0, 1], desse modo f e |f| sao integraveis restritas a qualquer subintervalo fechado
de (0, 1]. Se tomarmos a
k
= 2/(2k + 1) e b
k
= 1/k, k N, entao F(a
k
) = 0 e
F(b
k
) = (1)
k
/k. Temos que 0 < a
k
< b
k
< a
k1
< b
k1
< 1 para k > 1. Usando o
Teorema Fundamental 1.2, obtemos:
1
k
= |F(b
k
) F(a
k
)| = |
_
b
k
a
k
f|
_
b
k
a
k
|f|.
Temos que:
n

k=1
1
k

n

k=1
_
b
k
a
k
|f|
_
1
0
|f| n N.
Assim, para algum k
o
, tem-se que
_
1
0
|f| > M k > k
0
. Isso implica que |f| nao e
H-K integravel, pois temos um M arbitrario.
Exemplo 2.4.2 Seja f como no exemplo anterior. Denimos a funcao
g(x) =
_
(1)
k
, se x [a
k
, b
k
], k N,
0, se x [0, 1]; x / [a
k
, b
k
], k N.
Temos g, f R

[0, 1], mas f.g nao e Henstock-Kurzweil integravel.


Notemos que 0

f = g.f = |g.f|. Para cada k N, temos que

f restrita a
[a
k
, b
k
] satisfaz

f = |f|. Pelo que vimos no exemplo anterior

f = g.f n ao e integravel.
Proposicao 2.4.1 Seja

k=1
a
k
uma serie convergente em R e seja A o limite dessa
serie, entao h : [0, 1] R, H-K integravel e tal que
_
1
0
h =

k=1
a
k
= A.
23
Demonstracao: Tomando c
n
= 1 1/2
n
para n = 0, 1, 2, ..., entao temos c
0
= 0, c
1
=
1/2, c
2
= 3/4, .... Denimos a func ao h : [0, 1] R da seguinte maneira:
h(x) =
_
2
k
a
k
, se x [c
k1
, c
k
), k N,
0, se x = 1.
Uma primeira observac ao nos mostra que l([c
k1
, c
k
]) = 1/2
k
. Tambem temos
um prov avel candidato a integral de h, pelo seguinte:

k=1
(2
k
a
k
).(1/2
k
) =

k=1
a
k
= A.
Para demonstrar a arma cao feita, ser a escolhido um calibre

de maneira que os pontos


1 e c
k
sejam marcas de qualquer particao

-na. Seja sup{|a


k
|; k N} M e 1 M.
Dado > 0 com < 1, podemos obter m() N tal que se m() < m, entao:
|a
m
| < e |

k=m
a
k
| < .
Considere E = {c
k
; k N} {1}, denimos entao

em [0, 1] por:

(x) =
_
_
_
(1/2)dist(t, E), se x [0, 1] E,
/4
k+1
M, se x = c
k
, k N,
1/2
m()
, se x = 1
Seja agora

P = {([x
i1
, x
i
], t
i
)}
n
i=1
uma particao

-na de [0, 1]. Podemos assumir


c
1
= 1/2 x
n1
< 1. O ponto 1 e uma marca para o subintervalo [x
n1
, 1] em

P. Seja
= inf{k N; x
n1
c
k
}; ent ao c
k
< x
n1
para k = 0, 1, ..., 1. Por

P ser

-na
temos;
1 1/2
m()
= 1

(1) x
n1
c

= 1 1/2

,
isso implica m() . Segue da denic ao de

que cada c
k
em [0, x
n1
] [0, c

] e
uma marca para qualquer subintervalo em

P que contem esse ponto. Podemos supor que
cada ponto c
k
e marca de dois subintervalos consecutivos de

P. Dessa maneira, temos
dois casos a considerar:
CASO 1: x
n1
= c

Para cada k = 1, ..., ser a considerada a contribui cao T


k
para S(h,

P)
correspondente aos intervalos [c
k1
, x
r
], ..., [x
s
, c
k
]. O ultimo intervalo entao tem c
k
como marca. h(c
k
) = 2
k+1
a
k+1
. Para todas as outras marcas t
r
, ..., t
s1
temos que
h(t
i
) = 2
k
a
k
. Assim,
T
k
= 2
k
a
k
(x
s
c
k1
) + 2
k+1
a
k+1
(c
k
x
s
).
24
Uma vez que x
s
c
k1
= (x
s
c
k
) + (c
k
c
k1
) = (x
s
c
k
) + 1/2
k
, obtemos
T
k
= 2
k
a
k
(1/2
k
) + (2
k+1
a
k+1
2
k
a
k
)(c
k
x
s
),
Segue ent ao que
T
k
a
k
= (2
k+1
a
k+1
2
k
a
k
)(c
k
x
s
),
Logo
|T
k
a
k
| 2
k
.3M.|c
k
x
s
|.
Como

P e

-na, temos que |c


k
x
s
|

(c
k
) = /4
k+1
M, o que resulta em
|T
k
a
k
| 2
k
.3M.

4
k+1
M
<

2
k
.
A contribuic ao para S(h,

P) de [x
n1
, 1] e zero, pois h(1)(1 x
n1
) = 0. Dessa forma
temos S(h,

P) =

k=1
T
k
. Assim
|S(h,

P) A|

k=1
T
k

k=1
a
k
| +|

k=+1
a
k
|

k=1
|t
k
a
k
| +

k=1
/2
k
+ < .
O resultado segue do fato de ser arbitrario.
CASO 2: x
n1
< c

Os intervalos de

P imediatamente anteriores a [x
n1
, 1] sao
[c
1
, x
r
], ..., [x
n1
, x
n1
].
O valor de h nas marcas desses intervalos e 2

. A contribuic ao T

para S(h,

P) e
T

= 2

(x
n1
c
1
).
Uma vez que c
1
< x
n1
< c

, entao 0 < x
n1
c
1
< c

c
1
= 1/2

; logo,
|T
k
| 2

|a

|.(1/2

) = |a

| < .
Temos entao que S(h,

P) =

1
k=1
T
k
+ T

+ 0, dessa forma
|S(h,

P) A|

k=1
T
k

k=1
a
k

+|T

| +

k=
a
k

< .
O fato de > 0 ser arbitrario e levando em conta o CASO 1, conclumos que h R

[0, 1]
e
_
1
0
h = A.
25

Exemplo 2.4.3 Seja : [0, 1] R denida por:


(x) =
_
(1)
k+1
2
k
/k, se x [c
k1
, c
k
), k N,
0, se x = 1.
Como a serie harmonica alternada

k=1
(1)
k+1
/k converge, ent ao pela
prop. 2.4.1 temos que
_
1
0
=

k=1
(1)
k+1
k
.
Exemplo 2.4.4 Seja : [0, 1] R denida por:
(x) =
_
2
k
/k, se x [c
k1
, c
k
), k N,
0, se x = 1.
Temos que = ||, n ao pertence a R

[0, 1], pois se tomarmos


n
(x) = (x)
para x [0, c
n
) e
n
(x) = 0 para x [c
n
, 1], temos que 0
n
. Assim:
n

k=1
1
k
=
_
1
0

n

_
1
0
.
2.5 Teoremas de Convergencia
Esta sec ao tem a nalidade de expor os principais teoremas de convergencia
nas suas versoes para a H-K integral. Ser ao dadas condic oes para que o limite de uma
sequencia de func oes Henstock-Kurzweil integraveis seja integr aavel, bem como para que a
integral do limite seja o limite da sequencia de integrais. Alguns nomes s ao bem familiares
vindos da teoria de Lebesgue, tais como: Teoremas da Convergencia Monotona, Dominada
e o Lema de Fatou.
Denicao 2.5.1 Uma sequencia (f
k
)
kN
de funcoes denidas em I converge unifor-
memente em I para a funcao f se para todo > 0 existe K

N tal que se k > K

e x I, entao |f
k
(x) f(x)| < .
26
Assim como na integral de Riemann, na integral H-K vale o Teorema da
Convergencia uniforme.
Teorema 2.5.1 (Convergenia Uniforme) Seja I = [a, b]. Se a sequencia (f
k
)
kN

R

[a, b] converge uniformemente para f em I, entao f R

[a, b] e vale
_
I
f = lim
k
_
I
f
k
.
Demonstracao: Tomando > 0, existe K

tal que se k > K

e x [a, b], ent ao


temos |f
k
(x) f(x)| < . Assim se h, k K

, vale
2 < f
k
(x) f
h
(x) < 2 x [a, b].
e
2(b a) <
_
b
a
f
k

_
b
a
f
h
< 2(b a).
Como > 0 e arbitrario, (
_
b
a
f
k
)
kN
e uma sequencia de Cauchy em R e portanto converge
para um n umero A R. Veremos que f R

[a, b] com integral A.


Para > 0 seja K

como acima. Seja



P = {([x
i1
, x
i
], t
i
)}
n
i=1
qualquer
partic ao pontilhada de [a, b] e seja k K

, ent ao

S(f
k
;

P) S(f;

P)

i=1
{f
k
(t
i
) f(t
i
)}(x
i
x
i1
)

i=1
|f
k
(t
i
) f(t
i
)|(x
i
x
i1
) <
n

i=1
(x
i
x
i1
) = (b a).
Fixando r K

tal que |
_
b
a
f
r
A| < e seja
r,
um calibre em [a, b] tal que
|
_
b
a
f
r
S(f
r
;

P)| < onde

P e
r,
-na. Temos

S(f;

P) A

|S(f;

P) S(f
r
;

P)| +

S(f
r
;

P)
_
b
a
f
r

_
b
a
f
r
A

< (b a) + + = (b a + 2).
Usando o fato de ser arbitrario, temos o resultado.

A hip otese de I = [a, b] ser limitado n ao pode ser retirada do teorema anterior,
pois caso contr ario o resultado pode n ao ser v alido. Veja o exemplo abaixo.
27
Exemplo 2.5.1 Seja k N e seja
f
k
(x) =
_
1/k, se x [0, k],
0, se x (k, ).
A sequencia acima converge uniformemente para a func ao f = 0, pois > 0
n
0
N tal que 1/n
0
< e se n > n
0
, entao 0 f
k
(x) 1/n < 1/n
0
< para todo
x [0, ). Temos que
_

0
f
k
= 1 para todo k N (Ver integral em intervalos innitos
no Apendice). Dessa maneira temos que
_

0
f = 0 = 1 = lim
k
_

0
f
k
.
Denicao 2.5.2 Seja (f
k
)
kN
uma sequencia de funcoes f
k
: [a, b] R. A sequencia
(f
k
)
kN
e dita crescente se vale
f
k
(x) f
k+1
(x) x I, k N.
A sequencia (f
k
)
kN
e dita decrescente se tivermos
f
k
(x) f
k+1
(x) x i, k N.
Diremos que a sequencia (f
k
)
kN
e monotona se e crescente ou decrescente em I.
Teorema 2.5.2 (Convergencia Monotona) Seja (f
k
)
kN
uma sequencia monotona
de funcoes em R

[a, b], denidas em I = [a, b] e suponhamos que limf


k
(x) = f(x) para
todo x I. Entao f R

[a, b] se, e somente se, a sequencia (


_
b
a
f
k
)
kN
e limitada em
R. Temos entao
_
b
a
f = lim
k
_
b
a
f
k
.
Denicao 2.5.3 Seja (f
k
)
kN
uma sequencia de funcoes denidas em I = [a, b], entao
denimos as seguintes funcoes:
1. i(x) = inf f
k
(x), x I;
2. I(x) = sup f
k
(x), x I;
3. f

(x) = liminf
k
f
k
(x) = sup
n1
{inf
kn
f
k
(x)}, x I;
28
4. F

(x) = limsup
k
f
k
(x) = inf
n1
{sup
kn
f
k
(x)}, x I.
Observacao 2.5.1 Propriedades sobre lim, liminf, limsup, inf e sup podem ser encon-
tradas em ([3], pag. 365). Por exemplo, uma propriedade que usaremos frequentemente:
limf
k
= f(x) liminf f
k
= limsup f
k
.
Neste caso vale limf
k
= limsup f
k
= liminf f
k
.
Lema 2.5.1 Seja (f
k
)
kN
e funcoes denidas em I = [a, b], H-K integraveis, tais
que
(x) f
k
(x) x I, k N.
Entao inf f
k
R

[a, b].
Demonstracao: A desigualdade acima nos mostra que inf f
k
existe e e maior ou igual
a . Para k N,
k
= min{f
1
, ..., f
k
} e H-K integr avel ([3], pag. 109). Temos (
k
)
kN
sequencia decrescente. Uma vez que
_
I

_
I

k

_
I
f
1
para todo k N, podemos
usar o Teorema da Convergencia mon otona que implica lim
k
= inf f
k
H-K integr avel.

Lema 2.5.2 (Lema de Fatou) Sejam (f


k
)
kN
, R

[a, b] tais que


(x) f
k
(x) x I, k N
e suponhamos que
liminf
k
_
b
a
f
k
< .
Entao liminf f
k
R

[a, b] e
<
_
b
a
liminf
k
f
k
liminf
k
_
b
a
f
k
< .
Demonstracao: Se
m
= inf{f
m
, f
m+1
, ...} para m N, ent ao o lema anterior implica
que
m
R

[a, b]. Assim temos que


_
b
a

_
b
a

m

_
b
a
f
k
, m k,
E que
_
b
a

_
b
a

m
liminf
k
_
b
a
f
k
<
29
Assim (
_
b
a

m
)
mN
e limitada e pelo Teorema da Convergencia Mon otona, temos que
= lim
m
= liminf f
k
pertence a R

[a, b] e que
_
b
a
= lim
_
b
a

m
. O resultado segue
imediatamente.

Teorema 2.5.3 (Convergencia Dominada) Seja (f


k
)
kN
uma sequencia de funcoes
em R

[a, b] com limf


k
(x) = f(x) para todo x I. Suponha que existem funcoes
, R

[a, b] tais que


(x) f
k
(x) (x) x I, k N.
Entao f R

[a, b] e
_
b
a
f = lim
k
_
b
a
f
k
.
Demonstracao: Por hipotese temos que liminf f
k
(x) = limf
k
(x) = f(x) pertencem a
R. Das propriedades de integral seque que
_
b
a

_
b
a
f
k

_
b
a
k N,
Pelo lema de Fatou, temos que f R

[a, b] e
_
b
a
f liminf
k
_
b
a
f
k
.
Podemos aplicar o Lema de Fatou em (f
k
)
kN
e utilizar a propriedade liminf(x
k
) =
limsup(x
n
) para obter

_
b
a
f =
_
b
a
(f) liminf
k
_
b
a
(f
k
) = limsup
k
_
b
a
f
k
,
Disso segue que
limsup
k
_
b
a
f
k

_
b
a
f.
Assim
_
b
a
f liminf
k
_
b
a
f
k
limsup
k
_
b
a
f
k

_
b
a
f.
e
_
b
a
f = lim
k
_
b
a
f
k
.

30
Observacao 2.5.2 No Teorema da Convergencia Dominada acima poderamos supor que
a convergencia fosse a menos de um conjunto de medida nula. De fato, se limf
k
= f = g
a menos de um conjunto de medida nula, entao
_
b
a
g =
_
b
a
f.
Exemplo 2.5.2 Seja (f
k
)
kN
uma sequencia de funcoes f
k
: [0, 1] R denidas por
f
k
(x) =
_
x
k
+1
x
k
+3
, se x [0, 1),
0, se x = 1.
Temos que lim
k
f
k
= 1/3 em [0, 1), pois se x = 0, f
k
(0) 1/3 (k ),
se x (0, 1), ent ao x = 1/p, para um p > 1, assim f
k
(1/p) 1/3, (k ). Assim
vemos que f
k
converge a 1/3 em quase todo ponto. Como 0 f
k
(x) 1, pelo Teorema
da Convergencia dominada, temos que
lim
k
_
1
0
x
k
+ 1
x
k
+ 3
=
_
1
0
1/3 = 1/3.
2.6 Integral H-K Sobre Intervalos Innitos
Nesta sec ao daremos uma denicao de H-K integral para func oes denidas em
intervalos do tipo [a, ).

E claro que tambem existem resultados an alogos para intervalos
do tipo (, b], (, ), mas nao exploraremos; detalhes podem ser encontrados em
([3], p ag. 255). Nos limitaremos a denir a integral, enunciar o Teorema de Hake para
demonstrar o Teorema Fundamental e para dar uma aplicac ao na Integral de Dirichlet.
A nota cao ser a [a, ) ou [a, ], ambas referem se ao conjunto [a, ){}.
Denicao 2.6.1 (Caso [a, )) Um calibre em [a, ] e uma funcao real estritamente
positiva denida em [a, ]. Diremos que

P = {([x
0
, x
1
], t
1
), ..., ([x
n1
, x
n
], t
n
]), ([x
n
, x
n+1
], t
n+1
)},
em que x
0
= a e x
n+1
= e -na se os subintervalos nitos satisfazem
[x
i1
, x
1
] [t
i
(t
i
), t
i
+ (t
i
)], para i = 1, ..., n.
e o intervalo innito [x
n
, ] satisfaz
[x
n
, ] [1/(), ].
31
Teorema 2.6.1 (Cousin) Sejam I = [a, ] e um calibre em I, entao existe uma
particao -na de I.
Para fun coes f as quais queremos integrar em [a, ] iremos denir f() = 0,
desse modo a soma de Riemann reduz-se a S(f;

P) =

n
i=1
f(t
i
)(x
i
x
i1
).
Denicao 2.6.2 Se I = [a, ) e se f : [a, ) R, entao f e Henstock-Kurzweil
integravel em [a, ) ou [a, ], se existe um n umero H R tal que > 0 existe
um calibre

em [a, ] tal que se



P e qualquer

-na particao de [a, ], entao


|S(f;

P) H| < .
Denotamos por R

[a, ) ou R

[a, ] o conjunto das funcoes Henstock-Kurzweil in-


tegraveis em [a, ).
O teorema a seguir (Teorema de Hake) ser a utilizado nas demonstra coes do
Teorema Fundamental e da Integral de Dirichlet. A demonstrac ao encontra-se em ([3],
p ag. 265).
Teorema 2.6.2 (Hake) Seja f : [a, ) R. Entao f e H-K integravel em I =
[a, ) se, e somente se, f e H-K integral em [a, c] para todo c (a, ) e existe A R
tal que:
lim
c
_
c
a
f = A.
Neste caso
_

a
f = A.
Teorema 2.6.3 (Teorema Fundamental) Suponha que E seja um conjunto enumeravel
de [a, ) e que f, F : [a, ) R sao tais que:
1. F e contnua em [a, ) e lim
x
F(x) existe;
2. F

(x) = f(x) x (a, ) E;


Entao f pertence a R

[a, ) e
_

a
f = lim
x
F(x) F(a).
32
Demonstracao: Seja qualquer n umero real pertencente a (a, ), ent ao podemos
utilizar o Teorema Fundamental 1 para func oes em intervalos fechados e limitados visto
anteriormente e concluir que f restrita a [a, ] e H-K integr avel e:
_

a
f = F() F(a).
Tomando e sabendo que lim
x
F(x) existe, podemos utilizar o Teorema de
Hake e garantir que f e H-K integr avel em [a, ).

Exemplo 2.6.1 (Integral de Dirichlet) Seja f : [0, ) R denida por;


D(x) =
_
sen(x)
x
, se x (0, ),
1, se x = 0.
Mostraremos que D e H-K integravel em [0, ). Observamos inicialmente
que D restrita a [0, ], (0, ) e contnua, e portanto, H-K integravel em [0, ].
Resta mostrar que existe o seguinte limite:
lim

_

0
D(x).
Para isso vamos tomar tal que 0 < < . Utilizando uma integracao
por partes com F(x) = cos(x), F

(x) = sen(x), G(x) = 1/x e G

(x) = (1/x
2
) e
_

G = FG

FG

,
obtemos
_

0
D(x)
_

0
D(x) =
_

sen(x)
x
=
cos(x)
x

cos(x)
x
2
.
Pela parte direita das igualdades acima e do fato de que |cos(x)| 1, temos:

cos(x)
x

cos(x)
x
2

cos()

cos()

+
_

cos(x)
x
2

+
1

+
1

.
Fazendo , , temos que

_

0
D(x)
_

0
D(x)

0.
33
Assim, podemos criar a sequencia {D
n
}

n=1
, onde cada D
n
=
_
n
0
D(x). Dado um > 0,
existe N() N, talque para m, n > N() vale

_
m
0
D(x)
_
n
0
D(x)

< .
Ou seja, esta e uma sequecia de Cauchy em R e, portanto, converge para um n umero
A R. Isso nos mostra que existe o limite lim

0
D(x) e pelo Teorema de Hake
podemos concluir que D e H-K integravel em [0, ).
Exemplo 2.6.2 A funcao |D| onde D e a funcao do exemplo anterior nao e H-K
integravel em [0, ).
Vamos supor que sim, ou seja, que existe
_

0
|D(x)| = A R. Como |D| e
contnua em [0, ] para (0, ), entao e H-K integravel em [0, ]. Observamos que
1/2 < 1/

2 |sen(x)| e 1/ < 1/x para todo x (/4, 3/4). Ou seja,


_

0
|D| > 1/4.
De maneira geral para x (n + /4, n + 3/4) temos que 1/2 < 1/

2 |sen(x)|,
1/(n + 1) < 1/x e
_
(n+1)
n
|x
1
sen(x)| > 1/4(n + 1).
Com base nas observacoes anteriores temos
_
(n+1)
0
|D| > (1/4)(1/1 + 1/2 +
1/3 +... +1(n +1)). Assim, podemos encontrar um N
0
N tal que para N
o
n tem-se
que
_

0
(n + 1)|D| > A, contrariando o que foi suposto no incio.
34
Captulo 3
A Integral de Lebesgue
O objetivo principal deste captulo e fazer o estudo resumido, porem detalhado,
dos principais resultados a respeito da integral de Lebesgue. Na secao 3.1 faremos um
resumo de conceitos e resultados, tais como - algebras, funcoes mensur aveis, medidas,
func oes integraveis e teoremas de convergencia. Na secao 3.2 caracterizaremos as funcoes
Lebesgue integraveis por meio do conceito das funcoes Henstock-Kurzweil integr aveis.
3.1 -algebras, Func oes Mensuraveis e Medidas
Denicao 3.1.1 Denimos o sistema de n umeros reais estendidos por

R = R{, }.
Os smbolos e nao sao n umeros reais, mas vale que < x < x R.
Em relac ao `a aritmetica com e ser ao seguidas as seguintes convenc oes:
1. 0 () = 0 = () 0;
2. Se x R, entao x + () = = () + x;
3. Se x > 0, entao x () = = () x;
4. Se y < 0, ent ao y () = () = () y;
5. Nada sera dito a respeito de (+) (+), () + (+) ou quocientes com
denominador ().
35
3.1.1 -algebras
Denicao 3.1.2 Uma famlia de subconjuntos de um conjunto X e dita uma -algebra
quando:
1. X ;
2. Se A , entao o complementar A
c
;
3. Se (A
k
)
kN
e uma sequencia enumeravel de conjuntos em , entao

k=1
A
k
.
O par (X, ) e denominado espaco mensur avel.
Observacao 3.1.1 Pelas propriedades de De Morgan, se (A
k
)
kN
em , entao

k=1
A
k
tambem pertence a .
Exemplo 3.1.1 :
1. Seja a famlia {, X} de X. Entao e uma -algebra.
2. Tambem, seja X qualquer conjunto e seja P(X) a famlia de todos os subconjuntos
de X. Temos que P(X) e uma -algebra.
Observacao 3.1.2 Seja A uma colecao de conjuntos de X, entao a menor -algebra
que contem A e denominada -algebra gerada por A. Esta menor -algebra existe,
pois o conjunto das partes de X e -algebra e a intersecao de -algebras contendo A e
uma -algebra ([4], pag. 7).
Exemplo 3.1.2 Tomando X = R. A -algebra de Borel e a -algebra B gerada
pelos intervalos abertos (a, b) (ou intervalos fechados [a, b]).
3.1.2 Funcoes Mensuraveis
Denicao 3.1.3 Seja (X, ) espaco mensuravel. Um funcao f : X R e mensuravel
se para todo n umero real o conjunto
{x X; f(x) > } .
Observacao 3.1.3 Na denicao acima podemos substituir f(x) > por f(x) ou
f(x) ou f(x) < .
36
Lema 3.1.1 Sejam f e g funcoes (com imagens reais) mensuraveis e seja c um n umero
real. Entao as funcoes
cf, f
2
, f + g, f.g, |f|,
sao mensuraveis. Denimos f
+
e f

por
f
+
(x) = sup{f(x), 0} e f

(x) = sup{f(x), 0}.


Temos f = f
+
f

e |f| = f
+
+ f

. Entao f e mensuravel se, e somente se, f


+
e
f

sao mensuraveis.
Denicao 3.1.4 Seja (X, ) um espaco mensuravel. A funcao f : X

R (f pode
assumir valores innitos) e mensuravel se para todo R o conjunto {x X; f(x) >
} .
Observacao 3.1.4 Denotamos por M(X, ) o conjunto {f : X

R; f e mensuravel}.
Lema 3.1.2 Seja (f
k
)
kN
uma sequencia em M(X, ), entao as funcoes
f(x) = inf f
k
(x), F(x) = sup f
k
(x),
f

(x) = liminf f
k
(x), F

(x) = limsup f
k
(x).
pertencem a M(X, ).
Demonstracao: Decorre das seguintes observac oes:
{x X; f(x) } =

n=1
{x X; f
k
(x) },
{x X; F(x) > } =

_
n=1
{x X; f
k
(x) > },
Dessa forma f e F s ao mensur aveis e isso implica que
f

(x) = sup
k1
{ inf
mk
f
m
(x)},
e
F

(x) = inf
k1
{sup
mk
f
m
(x)},
s ao mensur aveis.
Corolario 3.1.1 Se (f
k
)
kN
e uma sequencia em M(X, ) que converge para f em X,
entao f M(X, ).
Demonstracao: Pelo resultado anterior, observando que f(x) = liminf f
k
(x)
37
3.1.3 Medidas
Denicao 3.1.5 Uma medida e uma funcao denida na -algebra de subconjuntos
de X com valores nos reais estendidos ( :

R) tal que
1. () = 0;
2. (E) 0 para todo E ;
3. e enumeravelmente adidiva, ou seja para (E
k
)
kN
tal que E
k
E
n
= se
k = n, entao

_
k=1
E
k
_
=

k=1
(E
k
).
Observacao 3.1.5 Se a medida nao tem valores em + , dizemos que e uma medida
nita. No caso em que existe uma sequencia (E
k
)
kN
de conjuntos em na qual X =

E
k
e tal que (E
k
) < + para todo k, entao diremos que e -nita.
Exemplo 3.1.3 Seja X = N e seja a -algebra de todos os subconjuntos de N.
Denimos (E) = n umero de elementos de E, em que E . Temos que e uma
medida, chamada de Medida de Contagem.
Denicao 3.1.6 Um espaco de medida e uma tripla (X, , ), em que X e um
conjunto, e -algebra e e uma medida denida em .
Dizemos que certa propriedade (ou proposicao) vale -qtp (em quase todo
ponto) se existe um subconjunto N tal que (N) = 0 e a propriedade vale em
X N.
3.1.4 Medida de Borel
Denicao 3.1.7 Uma famlia A de subconjuntos de X e uma

Algebra se valem as
propriedades:
1. X A;
2. Se E A, entao E
c
A;
38
3. Se E
1
, E
2
, ..., E
n
A, entao

n
j=1
E
n
A.
A colecao F de todas as uni oes nitas de subconjuntos da forma (a, b], (, b],
(a, +) e (, +) e uma algebra de subconjuntos de R.
Observacao 3.1.6 Podemos denir em uma algebra uma medida , tal como zemos
para -algebras.
Tendo em vista a ultima observac ao podemos denir na algebra F de R a
medida l : F R, onde l e o comprimento. Utilizando a extencao de medidas ([4],
p ag. 98), temos uma - algebra F

, tal que F F

, uma medida l

denida em F

( l

restrita a F e igual a l) e o espa co de medida (R, F

, l

). Denominamos l

=
de Medida de Lebesgue. Restringindo ` a - algebra B de Borel a denominamos de
Medida de Borel (ou de Lebesgue).
Teorema 3.1.1 Seja X = R, B = -algebra de Borel e a medida de Lebesgue. Se
E B e f : E R e contnua em quase todo ponto, entao f e mensuravel.
Demonstracao: O conjunto D de descontinuidade de f tem medida zero, ou seja,
(D) = 0 e todos seus subconjuntos tambem tem medida zero. Seja r R, temos
{x E; f(x) > r} = {x E D; f(x) > r}
_
{x D; f(x) > r}.
Como {x D; f(x) > r tem medida zero, ele e mensur avel. Resta vermos que C =
{x E D; f(x) > r} pertence a B. De fato, como f e contnua, para x C podemos
encontrar
x
, tal que se |yx| <
x
( y uma vizinhan ca V

x
de x), temos que f(y) > r.
Dessa forma
C = (E D)
_
xC
V

x
.
Essa e uma intersec ao de conjuntos em B, logo C B.

Observacao 3.1.7 O teorema acima e importante, pois se tivermos uma sequencia de


funcoes contnuas convergindo para uma dada f, entao f e mensuravel. Esse resultado
vale mesmo que a convergencia seja em quase todo ponto; basta utilizar o fato de que se
g e mensuravel e g = f em quase todo, entao f e mensuravel. Assim, se a sequencia
converge em quase todo ponto, podemos ajustar (colocando zero na imagem do conjunto
exepcional) para termos convergencia em todo ponto.
39
3.1.5 Funcoes Integraveis Nao Negativas
Fixaremos (X, , ) e denotaremos o conjuntos das func oes mensur aveis nao
negativas f : X

R por M
+
(X, ).
Denicao 3.1.8 Uma funcao : X R e simples se atinge apenas quantidade nita
de valores.
Uma funcao simples pode ter v arias representa coes, mas estaremos interes-
sanos numa representac ao padr ao. Seja a
j
a cole cao de valores de (j = 1, ..., n) e seja
E
j
= {x X; (x) = a
j
}. Temos que

n
j=1
E
j
= X, o que nos da
=
n

j=1
a
j
X
E
j
,
em que X
E
j
e a fun cao caracterstica de E
j
, ou seja, vale 1 se x E
j
e 0 caso
contr ario.
Lema 3.1.3 Se f e uma funcao nao negativa em M(X, ), entao existe uma sequencia
(
k
)
kN
em M(X, ) tal que
1. Cada
k
tem apenas um n umero nito de valores reais (chamadas de funcoes sim-
ples);
2. 0
k
(x)
k+1
(x) para x X, k N;
3. f(x) = lim
k
(x) para cada x X.
Demonstracao: Seja k N xo. Se n = 0, 1, 2, ..., k2
k
1, tomemos o seguinte
conjunto:
E
nk
= {x X; n2
k
f(x) < (n + 1)2
k
},
Se n = k2
k
, tomamos
E
nk
= {x X; k f(x)}.
Estes conjuntos sao disjuntos, pertencem a e tem uniao igual a X. Denimos
k
= n2
k
em E
nk
. Temos que
k
M(X, ) e as condic oes 1, 2 e 3 s ao satisfeitas.
40

Denicao 3.1.9 Se e uma funcao simples em M


+
(X, ) com representacao padrao,
denimos a integral de em relacao a por
_
d =
n

j=1
a
j
(E
j
).
Lema 3.1.4 Se e sao funcoes simples em M
+
(X, ) e c 0, entao
_
c = c
_
d,
_
( +)d =
_
d +
_
d.
Denicao 3.1.10 Se f pertence a M
+
(X, ), denimos a integral de f com respeito
a como:
_
fd = sup
_
d,
onde o supremo e tomado sobre todas a funcoes simples em M
+
(X, ) tais que 0
(x) f(x) para todo x X.
Teorema 3.1.2 (Convergencia Monotona) Se (f
k
)
kN
e uma sequencia crescente de
funcoes em M
+
(X, ) que converge para f, entao vale
_
fd = lim
_
f
k
d.
Lema 3.1.5 (Lema de Fatou) Se (f
k
)
kN
e uma sequencia de funcoes em M
+
(X, ),
entao
_
(liminf f
k
)d liminf
_
f
k
d.
3.1.6 Funcoes Lebesgue Integraveis
Fixada a tripla (X, , ), denimos
L = L(X, , ) = {f : X R; f
+
, f

M
+
(X, ) e
_
f
+
d < +,
_
f

d < +}.
Se f L, entao
_
fd =
_
f
+
d
_
f

d.
41
Teorema 3.1.3 Uma funcao mensuravel f pertence a L se, e somente se, |f| pertence
a L. Vale entao

_
fd

_
|f|d.
Demonstracao: Suponhamos primeiramente que f L; ent ao f
+
e f

pertencem a
L. Como |f|
+
= |f| = f
+
+f

e |f|

= 0 temos que |f| L.


Reciprocamente, suponhamos que |f| L. Como f
+
|f|
+
, temos que
_
f
+

_
|f|
+
< +. Escrevendo f

= |f| f
+
, temos que f

L. Logo f =
f
+
f

L.
A desigualdade segue de

_
fd

_
f
+
d
_
f

_
f
+
d

_
f

=
_
f
+
d+
_
f

d =
_
|f|d.

Teorema 3.1.4 Seja f, g L e c R, entao temos que f e f +g pertencem a L.


_
fd =
_
fd,
_
(f + g)d =
_
fd +
_
gd.
Teorema 3.1.5 (Convergencia Dominada) Seja (f
k
)
kN
uma sequencia de funcoes
Lebesgue integraveis que converge em quase todo ponto para a funcao real f. Se existe
uma funcao Lebesgue integravel g tal que |f
k
| g para todo k N, entao f e integravel
e:
_
fd = lim
_
f
k
d.
3.2 Construcao da Integral de Lebesgue pela Integral
de Henstock-Kurzweil
O objetivo dessa sec ao e dar uma nova denic ao para a Integral de Lebesgue,
que se baseia no seguinte: uma funcao H-K integr avel e Lebesgue integravel se, e
somente se, seu m odulo e Henstock-Kurzweil integr avel. Fixaremos o espa co de medida
(R, B, ), onde B e a - algebra de Borel e e a medida de Lebesgue.
Teorema 3.2.1 Seja f e uma funcao Henstock-Kurzweil integravel; entao f e men-
suravel.
42
Demonstracao: Seja F : [a, b + 1] R denida do seguinte modo:
F(x) =
_
_
x
a
f, se x [a, b],
_
b
a
f, se x (b, b + 1].
Pelo Lema 2.3.3 temos que F e contnua em [a, b]. Pelo segundo tem do Teorema
Fundamental 2, existe Z um conjunto de mediza nula tal que para x [a, b] Z temos
F

(x) = f(x). Introduzimos as seguintes func oes


g
k
(x) =
F(x + 1/k) F(x)
1/k
para x [a, b), k N.
Para x [a, b] Z temos que
lim
h0
F(x +h) F(x)
h
= f(x).
Em particular para h = 1/k, k N, temos que g
k
(x) f(x) para todo
x [a, b] Z. Ou seja, cada g
k
e contnua e {g
k
}

k=1
converge em quase todo ponto para
f, isso implica que f e mensur avel

Denicao 3.2.1 Uma funcao p : [a, b] R e chamada de funcao degrau se existe


uma particao {[c
i1
, c
i
]}
n
i=1
de [a, b] e n umeros reais {
i
}
n
i=1
tais que
p(x) =
i
, x (c
i1
, c
i
), i = 1, ..., n.
Em c
i
a funcao p pode assumir quaisquer valores reais.
Uma observacao importante a fazer sobre uma fun cao degrau e que ela e
integr avel a Riemann, a Lebesgue e tambem H-K integr avel e sua integral e:
_
b
a
p =
i
(c
i
c
i1
), i = 1, ..., n.
Para ver que p e Riemann integravel, basta observar que o conjunto dos
pontos de descontinuidade tem medida nula e essa integral coincide com a integral H-K
como j a visto. Alem disso, como p e um caso particular de fun cao simples, essa denic ao
de integral e justamente a denic ao de integral para funcoes simples no sentido Lebesgue.
A seguir enunciaremos um teorema importante para os prop ositos desta sec ao.
A demonstrac ao encontra-se em ([5], pag. 94).
43
Teorema 3.2.2 Seja E B, onde B e a -algebra de Borel. Suponha f : E

R
mensuravel. Entao existe {p
k
}

k=1
uma sequencia de funcoes degrau que converge para
f em quase todo ponto em E. Mais ainda, se |f(x)| M para todo x E, entao
|p
k
(x)| M para todo x E e k N.
De agora em diante e preciso distinguir a integral de Lebesgue da integral
de Henstock-Kurzweill. Basta observar a notacao:
_
fd indica a integral de Lebesgue
(onde consideraremos a medida de lebesgue e sempre a - algebra B de Borel) equanto
que apenas
_
f refere-se a integral de Henstock-Kurzweil.
Teorema 3.2.3 Suponhamos que f : [a, b] R e nao negativa. Entao, f e Henstock-
Kurzweil integravel se, e somente se, f e mensuravel e Lebesgue integravel. Temos
assim:
_
fd =
_
f.
Demonstracao: Vamos considerar primeiro o caso em que f e limitada com |f| M.
Suponhamos que f e H-K integr avel, ent ao f e mensur avel e pelo teorema anterior existe
{p
k
}

k=1
sequencia de fun coes degrau convergindo em quase todo ponto para f e M
p
k
M. Como a integral H-K de func oes degrau coincide com sua integral de Lebesgue,
ent ao pelo Teorema da Convergencia Dominada para fun coes Lebesgue integr aveis, temos
que f e Lebesgue integr avel e ainda
lim
k
_
b
a
p
k
d =
_
b
a
fd.
Reciprocamente, suponhamos que f e mensuravel e Lebesgue integravel,
ent ao considerando a sequencia {p
k
}

k=1
anterior e o Teorema da Convergencia Domi-
nada para fun coes H-K integr aveis, temos que f e H-K integr avel e
lim
k
_
b
a
p
k
=
_
b
a
f.
Dessa forma:
_
b
a
f = lim
k
_
b
a
p
k
= lim
k
_
b
a
p
k
d =
_
b
a
fd.
44
Suponhamos agora uma f n ao negativa. Denimos a seguinte sequencia
de func oes (f
k
)
kN
por f
k
(x) = min{f(x), k}. Cada f
k
e nao negativa, limitada e
mensur avel; logo pela parte inicial temos
_
b
a
f
k
d =
_
b
a
f
k
.
Suponha f H-K integr avel; uma vez que (f
k
)
kN
converge para f e e
crescente, podemos aplicar o Teorema da Convergencia Monotona para func oes Lebesgue
integr aveis para concluir que f e Lebesgue Integravel e
lim
k
_
b
a
f
k
d =
_
b
a
fd.
Reciprocamente, suponhamos f mensur avel e Lebesgue integravel. Tomando
a mesma sequencia de func oes f
k
de antes e utilizando o Teorema da Convergencia
mon otona para func oes H-K integr aveis, temos que f e H-K integr avel e
lim
k
_
b
a
f
k
=
_
b
a
f.
Por m valem as igualdades seguintes:
_
b
a
f = lim
k
_
b
a
f
k
= lim
k
_
b
a
f
k
d =
_
b
a
fd.

Teorema 3.2.4 Seja f : [a, b] R. Entao, f e |f| sao Henstock-Kurzweil integraveis


se, e somente se, f e mensuravel e Lebesgue integravel.
Demonstracao: Suponhamos que f e |f| s ao H-K integr aveis. Temos que
f
+
=
|f| + f
2
e f

=
|f| f
2
,
s ao H-K integr aveis. Assim f = f
+
f

e Lebesgue integr avel, pois pelo teorema anterior


f
+
e f

s ao Lebesgue integr aveis.


Reciprocamente se f e Lebesgue integravel, entao f
+
e f

tambem o sao.
Alem disso pelo teorema anterior f
+
e f

s ao Henstock-Kurzweil integr aveis. Como


|f| = f
+
+ f

e f = f
+
f

, temos que f e |f| s ao Henstock-Kurzweil integraveis.

45
Referencias
[ 1 ] BARTLE, R. G.; SHERBERT, D. R. Introduction to Real Analysis. University of
Illinois. John Wiley & Sons, Inc. 4 ed, 2011.
[ 2 ] LIMA, E. L. Curso de Analise. IMPA. Vol. 1. 14.ed. Rio de Janeiro, 2011;
[ 3 ] BARTLE, R. G. A Modern Theory of Integration. Graduate Studies in Mathematics.
University of Illinois - Eastern Michigan University. Vol. 32. 2000.
[ 4 ] BARTLE, R. G. The Elements of Integration. New York: John Wiley & Sons, 1966.
[ 5 ] KURTZ, D. S.; SWARTZ, C. W. Theories Of Integration: The Integrals of Riemann,
Lebesgue, Henstock-Kurzweil and McShane. Series in Real Analysis. New Jersey:
World Scientic, Vol. 13, 2 ed., 2012.
46