Medida de Lebesgue Revisão

Analise Matematica III
Teoria da medida e integral de Lebesgue
Manuel Guerra
Conte
udo
1 Introdu
c
ao
2 No
c
oes b
asicas de teoria de conjuntos
2.1 Relacoes de pertenca e de inclusao . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Imagens de conjuntos por funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Infinidades numeraveis e infinidades nao numeraveis . . . . . . . . . . . . . . . . . . .
5
5
7
7
3 Algebras
e -
algebras de conjuntos
10
4 Medidas positivas
14
5 A medida de Lebesgue em Rn
17
6 Fun
c
oes mensur
aveis
24
6.1 Definicao e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
6.2 Aproximacoes por funcoes simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
7 Integral de Lebesgue
7.1 Aritmetica de elementos de R . . .
7.2 Integrais de funcoes simples . . . .
7.3 Integrais de funcoes nao negativas
7.4 Integrais de funcoes mensuraveis .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
30
30
30
32
34
8 Conjuntos de medida nula
37
9 Teoremas de Converg
encia
40
10 Rela
c
ao entre o integral de Lebesgue e o integral de Riemann
44
11 Alguns exemplos
45
12 Integrais em espa
cos produto
46
12.1 Produto de -algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
12.2 Produto de medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
12.3 Teoremas de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Bibliografia
53
Indice remissivo
54
Introduc
ao
A teoria do integral de Riemann contem duas importantes fraquezas:

1. Existem muitas funcoes que nao sao integraveis no sentido de Riemann.
2. Proposicoes que envolvam limites de sucessoes de funcoes e/ou de integrais sao difceis de provar
no quadro teorico estabelecido pelo integral de Riemann.
Estas duas dificuldades estao estreitamente ligadas.
Neste captulo faz-se um breve estudo de uma definicao alternativa de integral, o chamado integral
de Lebesgue. Em relacao ao integral de Riemann, este novo conceito de integral e construdo atraves
de uma teoria bastante mais elaborada. No entanto, a maior complexidade da definicao e largamente
compensada por uma muito maior flexibilidade dos instrumentos teoricos que dela resultam.
A definicao de integral proposta por Lebesgue, requer um certo n
umero de conceitos previos que,
nao sendo particularmente difceis, sao relativamente abstractos e a razao de ser da sua introducao
so e inteligvel uma vez atingida a definicao de integral. Para que o aluno tenha alguma justificacao
intuitiva dos conceitos apresentados nas proximas seccoes, segue-se uma comparacao nao rigorosa
entre as ideias basicas que condizem às definicoes de integral segundo Riemann e segundo Lebesgue.
Considere-se uma funcao definida num rectangulo, f : E Rn 7 [0, +[. A abordagem proposta
por Riemann consiste em decompor o domnio de f num n
umero finito de rectangulos arbitrariamente
pequenos. Para cada um dos rectangulos em que se decompoe o domnio escolhe-se um valor representativodos valores tomados por f nesse rectangulo e toma-se como aproximacao do integral a
soma dos conte
udos dos rectangulos multiplicados pelos correspondentes valores representativosde
R
f . Uma aproximacao particular de E f e a soma inferior,
L (f, P ) =
m
X
i=1
inf f (x) C (Ei ) .
xEi
Neste caso, o valor representativoda funcao em cada um dos rectangulos Ei e o valor inf f (x). O
xEi
R
integral E f e aproximado pela soma dos conte
udos dos rectangulos de base Ei e altura inf f (x), i =
xEi
1, 2, ..., m. Uma aproximacao deste tipo encontra-se ilustrada na figura 1. Uma abordagem alternativa
+
S
consistem em decompor o conjunto de chegada em pequenos intervalos: [0, +[ =
[i, (i + 1) [,
i=0
com > 0 arbitrariamente pequeno. Em seguida, definem-se os subconjuntos do domnio em que a

funcao toma valores em cada um destes intervalos: {x E : f (x) [i, (i + 1) [}, i = 0, 1, 2, .... A
soma analoga à soma inferior neste caso seria
S (f, ) =
+
X
iC ({x E : f (x) [i, (i + 1) [}) .
(1)
i=0
Uma soma deste tipo encontra-se ilustrada na figura 2. Note-se que, mesmo num caso como o
que e ilustrado na figura 2, em que o domnio e um subintervalo de R e a funcao e extremamente
regular, os conjuntos {x E : f (x) [i, (i + 1) [} nao sao, em geral, rectangulos. Na figura 2
diferentes tons de cinzento marcam diferentes conjuntos {x E : f (x) [i, (i + 1) [}. Facilmente
se verifica que o conjunto {x E : f (x) [3, 4[} e a uniao de tres rectangulos disjuntos. Para uma
funcao f : E Rn 7 [0, +[ generica, os conjuntos {x E : f (x) [i, (i + 1) [} nao se podem
3
Figura 1: Soma inferior associada a uma particao do domnio de f
7
6
5
4
3
2
0
Figura 2:
sequer escrever como uniao de um n
umero finito de rectangulos (para verificar este facto, basta
considerar uma funcao como f (x, y) = x2 + y 2 ). Por este motivo, se quizermos atingir algum grau de
generalidade, teremos que substituir o conte
udo C ({x E : f (x) [i, (i + 1) [}) na expressao (1)
por algo mais geral.
Nesse sentido, note-se que o conte
udo, como foi definido no captulo sobre o integral de Riemann,
e uma funcao que faz corresponder a cada rectangulo um n
umero real. Dito por outras palavras, o
conte
udo e uma funcao cujo domnio e o conjunto de todos os rectangulos.
Para generalizar a expressao (1) precisamos de uma funcao (indiquemo-la por ), cujo domnio
seja mais vasto do que o conjunto de todos os rectangulos e que tome o mesmo valor que o conte
udo
quando o seu argumento e um rectangulo. Temos assim varias questoes previas a resolver antes de
chegar à nova definicao de integral:
Quais sao os conjuntos para os quais e possvel definir uma generalizacao do conceito de
conte
udo? Dito de outra forma, quais sao os conjuntos mensuraveis? Ou ainda, em que
domnio sera possvel definir a funcao , acima referida?

Qual a maneira correctade generalizar a funcao conte
udo, ou seja, como definir a funcao ?
Quais as funcoes para as quais as somas do tipo (1) podem ser definidas? Por outras palavras,
quais as funcoes para as quais os conjuntos do tipo {x : f (x) [a, b[} pertencem ao domnio de
?
Acontece que estas questoes admitem respostas muito genericas, que sao apresentadas nas seccoes
3 a 6 deste texto. Antes, a Seccao 2 contem uma breve revisao de alguns aspectos da teoria de
conjuntos que sao essenciais para a abordagem desta materia. O integral de Lebesgue e definido na
seccao 7. As restantes seccoes tratam algumas propriedades basicas do integral.
2
2.1
Noc
oes b
asicas de teoria de conjuntos
Relac
oes de pertenca e de inclus
ao
Um conjunto, A, fica definido quando, dado um elementox, e possvel, pelo menos teoricamente,
responder à pergunta
x e um elemento de A?
(2)
Alguns conjuntos podem ser definidos indicando exaustivamente os elementospara os quais a pergunta (2) tem resposta positiva. Por exemplo, ao escrever
n
o
A = 1, 2, 3 ,
esta-se a definir o conjunto A como sendo o conjunto cujos elementos sao os n

umeros 1, 2 e 3, com
exclus
ao de qualquer outro elemento.
Um modo alternativo de definir um conjunto e formular uma lista de condicoes que sao satisfeitas
por todos os elementos do conjunto e que sao satisfeitas apenas por elementos do conjunto que se
pretende definir. Por exemplo, o conjunto
A = {x N : x e n
umero primo}
esta claramente definido do ponto de vista matematico: dado um n
umero natural qualquer a que
chamamos x, x e n
umero primoe uma proposicao com um valor logico bem definido. Embora na
pratica, ao sermos confrontados com um n
umero mpar muito grande nao tenhamos maneira de saber
em tempo u
til se esse n
umero e ou nao primo, o que conta para saber que o conjunto A esta bem
definido e o facto de a proposicao x e n
umero primoter um valor logico bem definido quando x e
um n
umero natural.
As expressoes x e elemento de A, x pertence a Ae x Asignificam exactamente a mesma
coisa. Escrevemos x
/ A para indicar a negacao da proposicao x A (i.e., x nao e elemento de Aou
x nao pertence a A). O conjunto vazio merece aqui uma mencao especial: trata-se do conjunto
indicado pelo smbolo e definido como sendo o conjunto para o qual a proposicao x e falsa,
qualquer que seja o elemento x (dito de outra maneira, e o conjunto que nao tem elementos).
Note-se que nao damos nenhuma definicao do que e que constitui um elemento. Qualquer
objecto matematicopode ser um elemento. Em particular, conjuntos podem ser elementos de
outros conjuntos.
5
Exemplo 1 O conjunto
A = {, {} , {, {}}} ,
e perfeitamente legtimo. A e um conjunto de tres elementos. S
ao eles o conjunto vazio, o conjunto
{} (o conjunto cujo u
nico elemento e o conjunto vazio) e o conjunto de dois elementos {, {}}.
A relacao de inclusao e definida a partir da relacao de pertenca:
Defini
c
ao 2 Diz-se que o conjunto A est
a contido no conjunto B e s
o se a proposic
ao
(x A) (x B)
for verdadeira. Nesse caso escreve-se A B. No caso contr
ario, escreve-se A
/ B.
As express
oes A est
a contido em B, B contem A, A Be A e subconjunto de Btem o
mesmo significado.
Exemplo 3 A proposic
ao B e verdadeira, qualquer que seja o conjunto B: dado que a proposic
ao
x e identicamente falsa, a implicac
ao (x ) (x B) e trivialmente verdadeira.
Exemplo 4 Considere-se o conjunto A definido no Exemplo 1. As proposico
es
A,
{} A,
{{}} A,
s
ao verdadeiras. As proposic
oes
A,
{} A,
s
ao igualmente verdadeiras, mas a proposic
ao
{{}} A
e falsa.
Considerem-se dois conjuntos A, X, e suponha-se que todos os elementos de A sao subconjuntos
de X. Por outras palavras, suponha-se que a proposicao A X e satisfeita por todo e qualquer
elemento A A ou, de forma equivalente, suponha-se que a proposicao
AAAX
e verdadeira. Nesse caso diz-se que A e um conjunto de partes de X.
Nota
c
ao 5 Conjuntos de partes de outro conjunto s
ao geralmente indicadas por letras mai
usculas
do tipo caligr
afico: A, B, F, etc....
O conjunto constitudo por todos os subconjuntos de um dado conjunto X, chama-se conjunto das
partes de X e indica-se por
P (X) = {A : A X} .
ao
Exemplo 6 Conjuntos de partes de R bem conhecidos s
O
= {A R : A e aberto} ,
= {A R : A e fechado} ,
= {A R : A e compacto} .
Os termos conjunto, famliaou classesao sinonimos. No entanto, e costume usar o termo

famliapara referir um conjunto cujos elementos sao tambem conjuntos.
6
2.2
Imagens de conjuntos por func

oes
Dados dois conjuntos X, Y , a expressao

f : X 7 Y
indica que f e uma funcao com domnio X e conjunto de chagada Y . Isto e, f faz corresponder a
cada elemento x X um e um so elemento f (x) Y .
ao f : X 7 Y e conjunto
Defini
c
ao 7 Dado um conjunto A X, a sua imagem pela func
f (A) = {y Y : x A, f (x) = y} .
Dado um conjunto B Y , a sua imagem inversa pela func
ao f : X 7 Y e conjunto
f 1 (B) = {x X : f (x) B} .
Exemplo 8 A imagem de um conjunto n
ao vazio por uma func
ao e sempre um conjunto n
ao vazio.
No entanto, a imagem inversa de um conjunto n
ao vazio pode ser um conjunto vazio, como mostra
o exemplo seguinte:
Seja f : R 7 R, definida por f (x) = x2 . Ent
ao f 1 (], 0[) = .
2.3
Infinidades numer
aveis e infinidades n
ao numer
aveis
Um dos factos elementares da teoria dos conjuntos e a existencia de varios infinitosdistintos, ou seja
a existencia de n
umeros transfinitos, maiores do que todo e qualquer n
umero natural, mas distintos
entre si. Nesta Seccao apresenta-se uma discussao elementar acerca do menor dos n
umeros transfinitos
(o chamado numeravel), provando-se a existencia de pelo menos uma infinidade estritamente maior.
Defini
c
ao 9 Considerem-se dois conjuntos, X, Y . Diz-se que o cardinal de X n
ao excede o cardinal
de Y se existir uma aplicac
ao injectiva, f : X 7 Y . Nesse caso escreve-se #X #Y .
Diz-se que os conjuntos X, Y tem cardinais iguais (tem a mesma cardinalidade) se verificarem
ambas as relac
oes
#X #Y,
#Y #X.
Nesse caso escreve-se #X = #Y . Se se verificar #X #Y mas n
ao verificar #Y #X, ent
ao
escreve-se #X < #Y.
A Proposicao seguinte decorre imediatamente da Definicao 9:
Proposi
c
ao 10 Se X Y , ent
ao verifica-se #X #Y .
Demonstra
c
ao. Basta notar que se X Y , entao f (x) = x define uma aplicacao injectiva com
domnio X e conjunto de chegada Y .
Defini
c
ao 11 Diz-se que um conjunto X e finito se existir um conjunto Y = {1, 2, ..., N } tal que
#X = #Y . Nesse caso escreve-se #X = N . Caso contr
ario, diz-se que o conjunto X e infinito.
Se X for um conjunto finito e verificar X Y , X 6= Y , entao verifica-se #X < #Y . No entanto,
este resultado nao e necessariamente verdadeiro quando X e um conjunto infinito, como mostra o
seguinte exemplo:
7
Exemplo 12 Seja X, o conjunto dos inteiros positivos pares. Ent

ao #X = #N.
Para verificar este facto, note-se que X N implica imediatamente #X #N. Para verificar que a
desigualdade recproca, #X #N, e tambem verdadeira, basta constatar que a func
ao f (n) = 2n e
uma func
ao injectiva com domnio N e conjunto de chegada X.
Defini
c
ao 13 Diz-se que um conjunto X e numer
avel se #X = #N.
A seguinte Proposicao da uma caracterizacao bastante intuitiva dos conjuntos numeraveis.
Proposi
c
ao 14 Um conjunto X e finito ou numer
avel se e s
o se existir uma sucess
ao que percorre
todos os elementos de X.
Demonstra
c
ao. Suponha-se que X e finito ou numeravel, e seja f : X 7 N, uma funcao
injectiva. Entao f admite inversa f 1 : f (X) 7 X. Fixe-se um elemento x0 X. Entao a sucessao
f 1 (n) ,
se n f (X) ;
xn =
x
se n
/ f (X) ,
0
percorre todos os elementos de X.
Suponha-se agora que existe uma sucessao xn , percorrendo todos os elementos de x. Entao a funcao
f : X 7 N, definida por
f (x) = min {n N : xn = x} ,
x X,
e injectiva, logo #X #N.
Mais adiante mostraremos que existem conjuntos nao numeraveis e que, em particular, o conjunto
R e nao numeravel. Para ja, comecaremos por provar que a propriedade que consiste em ser numeravel
persiste atraves das operacoes elementares com conjuntos, desde que elas sejam aplicadas nao mais
do que uma infinidade numeravel de vezes. Mais precisamente temos a seguinte Proposicao:
Proposi
c
ao 15 Seja {Xn , n N} uma sucess
ao de conjuntos finitos ou numer
aveis (i.e., para cada
n N, Xn e um conjunto finito ou numer
avel). Ent
ao, s
ao verdadeiras as seguintes afirmac
oes:
T
1.
Xn e um conjunto finito ou numer
avel;
nN
2.
Xn e um conjunto finito ou numer

avel;
nN
3. O produto cartesiano X1 X2 e um conjunto finito ou numer

avel.
Demonstra
c
ao. A proposicao 1 decorre imediatamente do facto que
Xn Xk , k N.
nN
Tendo em conta que cada um dos conjuntos Xn , n N e finito ou numeravel, para cada n N existe
uma sucessao {xn,k Xn , k N} que percorre todos os elementos de Xn . Fixe-se uma tal sucessao
para cada conjunto Xn , n N. Podemos entao construir a tabelainfinita:
x1,1
x2,1
x3,1
..
.
xn,1
..
.
x1,2
x2,2
x3,2
..
.
xn,2
..
.
x1,3
x2,3
x3,3
..
.
xn,3
..
.
8
..
.
x1,n
x2,n
x3,n
..
.
xn,n
..
.
(3)
..
.
Todos os elementos de
Xn se encontram na tabela (3), que pode ser percorrida na sua totalidade
nN
pela ordem
x1,1 , x1,2 , x2,1 , x1,3, x2,2 , x3,1 , x1,4 , x2,3 , x3,2 , x4,1 , x1,5 , x2,4 , x3,3 , x4,2 , x5,1 , ...
(percorrendo sucessivas diagonais do lado superior direito para o lado inferior esquerdo). Ent
ao,
S
a funcao que faz corresponder a cada elemento x
Xn o n
umero mnimo de passos que sao
nN
necessarios para o encontrar percorrendo atabela do

modo indicado e uma funcao injectiva de domnio
S
S
Xn e conjunto de chegada N. Logo, #
Xn #N. A proposicao 3 prova-se de modo analogo
nN
nN
usando a tabela
(x1,1 , x2,1 ) (x1,1 , x2,2 ) (x1,1 , x2,3 )

(x1,2 , x2,1 ) (x1,2 , x2,2 ) (x1,2 , x2,3 )
(x1,3 , x2,1 ) (x1,3 , x2,2 ) (x1,3 , x2,3 )
..
..
..
.
.
.
(x1,n , x2,1 ) (x1,n , x2,2 ) (x1,n , x2,3 )
..
..
..
.
.
.
..
.
(x1,1 , x2,n )
(x1,2 , x2,n )
(x1,3 , x2,n )
..
.
(x1,n , x2,n )
..
.
..
.
em vez da tabela (3).

Corol
ario 16 Os seguintes conjuntos s
ao numer
aveis:
Z, Q, Qn .
Demonstra
c
ao. Z = N {0} {n, n N}, logo a Proposicao 15 garante que Z e numeravel.
Considere-se o conjunto
X = {(m, n) : m Z, n N, m e n nao admitem divisor comum} .
Entao, X Z N e a aplicacao f : X 7 Q definida por f (m, n) = m
e bijectiva, logo #Q = #X
n
# (Z N). Logo, a Proposicao 15 garante que Q e numeravel. este resultado, por sua vez permite
concluir, tambem pela Proposicao 15, que Qn e numeravel.
Proposi
c
ao 17 #R > #N (R n
ao e um conjunto numer
avel).
Demonstra
c
ao. A demonstracao faz-se por absurdo.
Suponha-se que R e numeravel. Entao, o intervalo [0, 1] e tambem numeravel e existe uma sucessao
{xn [0, 1] , n N}, que percorre todos os elementos desse intervalo. Para cada elemento xn , fixe-se
uma representacao decimal
xn = 0.b1,n b2,n b3,n b4,n ...
(bi,n representa a i-esima casa decimal do n
umero xn ). Considere-se o n
umero y cuja representacao
decimal e
y = 0.c1 c2 c3 c4 ...,
em que
ci =
6,
se bi,i {0, 1, 2, 3, 4} ;
3,
se bi,i {5, 6, 7, 8, 9} .
9
Facilmente se verifica que y [0, 1] e |y xn | > 10n , n N. Isto prova que nao existe nenhum
inteiro n que verifique y = xn , o que contraria a definicao da sucessao {xn }. Logo, o intervalo [0, 1]
nao pode ser numeravel e a fortiori, R tambem nao.
Algebras
e -
algebras de conjuntos
Defini
c
ao 18 Considere-se um conjunto X e seja A, um conjunto de partes de X.
Diz-se que A e uma
algebra de partes de X se verificar as seguintes propriedades:
1. X A;
2. A A Ac A;
3. A, B A A B A.
Diz-se que uma
algebra e uma -
algebra se verificar tambem a condic
ao
S
3.a Qualquer sucess
ao {An A, n N} verifica
An A.
nN
Observa
c
ao 19 Qualquer -
algebra e tambem uma
algebra, mas o recproco n
ao e verdadeiro, como
mostra o seguinte exemplo:
Exemplo 20 O conjunto
A = {A N : A e finito ou Ac e finito}
e uma
algebra de partes de N. O aluno deve tentar verificar que as tres condic
oes da Definica
o s
ao
satisfeitas. No entanto, o conjunto A n
ao e uma -
algebra. Para verificar este facto, basta notar que
o conjunto dos n
umeros pares e uni
ao de uma sucess
ao de conjuntos finitos (logo, pertencentes a A),
mas nem ele nem o seu complementar s
ao finitos.
Exemplo 21 Dado um conjunto n
ao vazio, X, o conjunto das partes de X, P (X), e uma -
algebra.
Esta e a maior -
algebra de partes de X, no sentido em que contem todas as outras -
algebras de
partes de X.
A famlia A = {, X} e tambem uma -
algebra. Esta e a menor -
algebra de partes de X, no sentido
em que est
a contida em qualquer outra -
algebra de partes de X.
Exemplo 22 Considere-se uma experiencia aleat
oria com espaco de resultados e espaco de acontecimentos F. F e uma -
algebra de partes de .
Proposi
c
A e uma
algebra de partes de X se e s
o se verificar as seguintes propriedades:
1. A;
2. A A Ac A;
3. A, B A A B A.
10
Demonstra
c
ao. Seja A, uma algebra de partes de X. Pela condicao 1 da definicao, X A, logo
a condicao 2 da definicao garante que = X c A, ou seja, A satisfaz a condicao 1 da Proposicao.
Sejam A, B A. Pela condicao 2 da definicao, verifica-se Ac , B c A. Pela condicao 3 da definicao,
c
verifica-se (Ac B c ) A. Pela condicao 2 da definicao, verifica-se (Ac B c ) A. Tendo em conta
c
c
c
que (Ac B c ) = (Ac ) (B c ) = A B, fica provado que A satisfaz a condicao 3 da Proposic
ao.
Logo, qualquer algebra de partes de X satisfaz as condicoes da Proposicao.
Agora, seja A um conjunto de partes de X satisfazendo as condicoes da Proposicao. As condic
oes
1 e 2 implicam que X A. Dados dois conjuntos A, B A, a condicao 2 da Proposicao implica
que Ac , B c A, e a condicao 3 implica que (Ac B c ) A. Finalmente, a condicao 2 da Proposicao
c
implica que A B = (Ac B c ) A. Logo, qualquer conjunto de partes de X que verifique as
condicoes da Proposicao e uma algebra.
Proposi
c
A e uma -
algebra de partes de X se e s
o se verificar as seguintes propriedades:
1. A;
2. A A Ac A;
3. Qualquer sucess
ao {An A, n N} verifica
An
A.
nN
Demonstra
c
ao. A demonstracao e analoga à demonstracao da Proposicao 23.
Seja A, uma -algebra de partes de X. Ao demonstrar a Proposicao 23 ja se provou que A satisfaz
c
a condicao 1. Considere-se uma sucessao {An A, n N}. Pela
c condicao 2, a sucessao {An , n N}
T
S c
e uma sucessao de elementos de A, logo
An =
An
A. Isto prova que A satisfaz as
nN
nN
condicoes da Proposicao. Recprocamente, suponha-se que A e uma famlia de partes de X que

satisfaz as condicoes da Proposicao. Ao demonstrar a Proposicao 23 ja se provou que X A. Dada
uma sucessao {An A, n N},a condicao 2 garante que a sucessao {Acn , n N} e uma sucessao de
S
T c c
elementos de A, logo
An =
An A. Logo, A e uma -algebra de partes de X.
nN
nN
Dado um conjunto nao vazio, X, e uma -algebra de partes de X, A, as expressoes A Ae

A e um conjunto mensur
avel em relacao a Asao sinonimas. Quando e claro pelo contexto qual
e a -algebra a que nos referimos, diz-se apenas que A e mensuravel(sem indicar explcitamente a
-algebra).
algebras de partes de um mesmo conProposi
c
ao 25 Considere-se uma famlia {Ai , i I}, de -
T
junto X. Ent
ao, o conjunto
Ai e tambem uma -
algebra de partes de X.
iI
Observa
c
ao 26 Note-se que a Proposic
ao 25 n
ao depende de nenhuma hip
otese relativa `
a cardinalidade da famlia {Ai , i I}. Esta pode ser finita, numer
avel ou n
ao numer
avel.
Demonstra
c
ao da Proposi
c
ao 25. Tendo em conta que cada famlia Ai e uma -algebra de
partes de X, verifica-se X Ai , i I. Logo, verifica-se
\
X
Ai .
iI
11
Considere-se um conjunto A
Ai . Isso significa que A Ai , i I. Tendo em conta que cada
iI
famlia Ai e uma -algebra de partes de X, isso implica Ac Ai , i I, ou seja

\
Ac
Ai .
iI
T
Finalmente, considere-se uma sucessao An
Ai , n N . Entao, verifica-se An Ai , n N, i
iI
S
I. Tendo em conta que cada famlia Ai e uma -algebra de partes de X, isso implica
An Ai ,
nN
i I, ou seja
An
Ai .
iI
nN
Observa
c
ao 27 A proposic
ao 25 garante que a intersecc
ao de -
algebras de partes de um mesmo
conjunto e sempre uma -
algebra. O mesmo n
ao e verdade em relac
ao a uni
oes de -
algebras, como
mostra o seguinte exemplo.
Exemplo 28 Sejam:
X
{1, 2, 3, 4} ;
A1
{, {1} , {2, 3, 4} , {1, 2, 3, 4}} ;
A2
{, {4} , {1, 2, 3} , {1, 2, 3, 4}} .
Facilmente se verifica que A1 e A2 s

ao ambas -
algebras de partes de X. No entanto,
A1 A2 = {, {1} , {4} , {1, 2, 3} , {2, 3, 4} , {1, 2, 3, 4}}
n
ao e uma -
algebra (nem sequer, uma
algebra) dado que {1} , {4} A1 A2 , mas {1} {4} =
{1, 4}
/ A1 A2 .
Proposi
c
ao 29 Seja A, uma -
algebra de partes de X. Qualquer que seja o conjunto B X, a
famlia
{A B : A A}
e uma -
algebra de partes de B.
Demonstra
c
ao. Seja Ae = {A B : A A}. Tendo em
n conta que =
o B, B = X B,
e B A.
e Considere-se uma sucessao A
en A,
e n N . Por definicao existe
conclui-se que A,
en = S (An B) =
en = An B, n N. Entao, S A
uma sucessao {An A, n N} tal que A
nN
nN
S
e
An B A.
nN
Defini
c
ao 30 Considere-se um conjunto X e seja A, uma famlia de partes de X. Chama-se
algebra gerada por A(indica-se por (A)) `
a menor -
algebra de partes de Xque contem A:
\
(A) =
F.
(4)
F
e -
algebra de partes de X,
AF
12
A Proposicao 25 garante que (A) existe, qualquer que seja a famlia de partes de X, A. Para
verificar isto, basta notar que, por definicao, A P (X) e P (X) e uma -algebra. Logo, o termo do
lado direito da igualdade (4) esta bem definido. Pela Proposicao 25, trata-se de uma -algebra.
Proposi
c
ao 31 Considerem-se duas famlias de partes de um mesmo conjunto, A1 , A2 , tais que
A1 A2 . Ent
ao (A1 ) (A2 ).
Demonstra
c
ao. Basta notar que qualquer -algebra que contenha A2 tem necessariamente que
conter A1 .
Proposi
c
ao 32 Para que se verifique (A) = A e necess
ario e suficiente que A seja uma -
algebra.
Demonstra
c
ao. Decorre imediatamente da Definicao.
Uma -algebra particularmente importante e a -algebra gerada pelos conjuntos abertos.
n
Defini
c
ao 33 Considere-se um caso X R . Chama-se -
algebra de Borel `
a -
algebra gerada pela
famlia dos conjuntos abertos, ou seja
B (X) = ({A X : A e aberto}) .
A -
algebra de Borel de um conjunto X indica-se por B (X).
Proposi
c
ao 34 A -
algebra de Borel de R e gerada por qualquer uma das seguintes famlias:
1. a famlia dos conjuntos fechados;
2. a famlia dos intervalos ] , a], a R;
3. a famlia dos intervalos ] , a[, a R;
4. a famlia dos intervalos [a, +[, a R;
5. a famlia dos intervalos ]a, +[, a R.
Demonstra
c
ao. Seja F = {B R : B e fechado}, a famlia dos conjuntos fechados. Qualquer
fechado e o complementar de um aberto, logo F B (R). Pelas Proposicoes 31 e 32, isto implica que
(F) B (R) .
(5)
Igualmente, qualquer aberto e o complementar de um fechado, pelo que {A R : A e aberto}

(F), logo
B (R) (F) .
(6)
As duas inclusoes (5), (6) significam
(F) = B (R) .
Vamos agora provar que ({] , a] : a R}) = B (R). Note-se que {] , a] : a R} F. Logo,
a Proposicao 31 garante que
({] , a] : a R}) B (R) .
13
Para provar que B (R) ({] , a] : a R}), basta provar que qualquer aberto e elemento de
({] , a] : a R}). Para isso, vamos comecar por provar que qualquer intervalo aberto e elemento de ({] , a] : a R}). Intervalos do tipo ]c, +[ satisfazem esta condicao porque sao
complementares de intervalos do tipo ], c]. Intervalos do tipo ], c[ tambem sao elementos de
({] , a] : a R}) porque sao uniao numeravel de intervalos do tipo ] , a]:
[
1
.
], c[ =
, c
n
nN
Tendo em conta que ]a, b[ = ]a, +[], b[, conclui-se que todos os intervalos abertos sao elementos
de ({] , a] : a R}). Considere-se um conjunto aberto, A R. Para cada ponto x A existe
um intervalo ]ax , bx [, tal que x ]ax , bx [, ax Q, bx Q. Logo, verifica-se
[
]ax , bx [ .
(7)
A=
aA
Dado que o conjunto dos racionais e numeravel, a Proposicao 15 garante que so existe uma infinidade n
umeravel de intervalos ]ax , bx [ com as propriedades indicadas. Logo, acabamos de provar
que qualquer conjunto aberto e uniao numeravel de elementos de ({] , a] : a R}) e por isso e
um elemento de ({] , a] : a R}).
O mesmo raciocnio com pequenas adptacoes mostra que B (R) = ({[a, +[: a R}). Alem disso,
] , a] =]a, +[c , ] , a[= [a, +[c , pelo que um raciocnio analogo ao utilizado para provar que
(F) = B (R) mostra que
({[, a] : a R}) =
({]a, +] : a R}) ;
({[, a[: a R}) =
({[a, +] : a R}) .
A demonstracao da Proposicao 34 nao fica completa se nao incluir a demonstracao de que qualquer
subconjunto aberto de R e uniao numer
avel de intervalos abertos. Com efeito, conjuntos que sao
uniao nao numeravel de elementos de uma -algebra nao sao necessariamente elementos dessa algebra, como mostra o seguinte exemplo.
Exemplo 35 Seja
A = {A R : A e finito ou numer
avel ou Ac e finito ou numer
avel} .
O aluno deve verificar que A e uma -
algebra.
Os intervalos [0, +[, ], 0[ n
ao s
ao numer
aveis, logo [0, +[
/ A. No entanto, [0, +[ pode ser
representado atraves da uni
ao (n
ao numer
avel) de conjuntos finitos:
[
[0, +[ =
{x} .
x[0,+[
Medidas positivas
algebra de partes de X, A. Diz-se que uma

Defini
c
ao 36 Considere-se um conjunto X e uma -
aplicac
ao : A 7 [0, +] e uma medida se verificar as seguintes condic
oes:
14
1. () = 0;
2. Qualquer que seja a famlia {An A, n N} que verifique An Am = n 6= m, satisfaz
!
[
X
An =
(An ) .
nN
nN
Nesse caso, o tripleto (X, A, ) chama-se um espa

co de medida.
Exemplo 37 Considere-se uma -
algebra A, de partes de X, e considere-se a aplicac
ao : A 7
[0, +], definida por:
(
#A,
se A e finito;
(A) =
+
se A e infinito.
e uma medida, chamada medida de contagem.
Exemplo 38 Considere-se uma -
algebra A, de partes de X, e considere-se um ponto particular
(fixo), x X. Seja : A 7 [0, +], definida por:
(
1,
se x A;
(A) =
0
se x
/ A.
e uma medida, chamada medida de massa unit
aria concentrada no ponto x.
Defini
c
ao 39 Um espaco de medida, (X, A, ) diz-se finito se se verificar
(X) < +.
(X, A, ) diz-se -finito se existir uma sucess
ao {Ak A, k N} que verifique
[
Ak ,
(Ak ) < +, k N.
X=
kN
Note-se que o facto de um espaco de medida (X, A, ) ser finito nao implica que o conjunto X
seja um conjunto finito.
aria conExemplo 40 Considere-se um espaco de medida, (X, A, ), em que e uma medida unit
centrada num ponto. Ent
ao (X, A, ) e um espaco de medida finito (qualquer que seja a cardinalidade
de X).
Exemplo 41 Considere-se a aplicaca
o : P (N) 7 [0, +], definida por
X
(A) =
2k ,
A N.
kA
(N, P (N) , ) e um espaco de medida e verifica (N) = 1 (logo, e um espaco de medida finito).
Exemplo 42 Considere-se um espaco de medida, (X, P (X) , ), em que e a medida de contagem.
Ent
ao,
1. (X, P (X) , ) e um espaco de medida finito se e s
o se X for um conjunto finito;
15
2. (X, P (X) , ) e um espaco de medida -finito se e s

o se X for um conjunto finito ou numer
avel.
Exemplo 43 Diz-se que um espaco de medida, (X, A, ), e um espa

co de propabilidades se
verificar (X) = 1. Esta e uma importante classe de espacos de medida.
A Proposicao seguinte resume as principais propriedades elementares das medidas.
ao verifica as seguintes propriedades:
Proposi
c
ao 44 Seja : A 7 [0, +], uma medida. Ent
1. (A) (B), sempre que A B e A, B A;
S
2. lim (An ) =
An , sempre que An A, An An+1 , n N;
nN
3. lim (An ) =
An , sempre que An A, An+1 An , n N e (A1 ) < +.
nN
Demonstra
c
ao. Considerem-se dois conjuntos A, B A, com A B. Entao B pode ser
decomposto na uniao de dois conjuntos disjuntos: B = A (B Ac ). Pela definicao de -algebra,
verifica-se (B Ac ) A. Logo, (B) = (A) + (B Ac ) (A), o que prova a proposicao 1.
Para provar a proposicao 2, suponha-se que An An+1 , n N e considere-se a sucessao
B1
A1 ;
Bn
An Acn1 ,
n = 2, 3, 4, ....
Facilmente se verifica que todos os conjuntos Bn sao elementos da -algebra A e

Bn Bm
An
= ,
n 6= m;
n
[
=
Bk ,
n N;
An
k=1
[
nN
Bn .
nN
Entao usando a definicao de medida,obtem-se

n
!
!
n
[
X
X
[
[
lim (An ) = lim
Bk = lim
(Bk ) =
(Bk ) =
Bn =
An .
n
k=1
k=1
nN
k=1
nN
Para provar a proposicao 3, suponha-se que An+1 An , n N, com (A1 ) < +. Entao, A1 pode
ser decomposta na uniao de dois conjuntos disjuntos
!c !
\
\
A1 =
An A1
An
.
nN
nN
Logo,
(A1 ) =
nN
!
An
+ A1
!c !
An
nN
nN
16
!
An
nN
!
(A1 Acn ) .
Note-se que (A1 Acn ) A1 Acn+1 , n N. Logo, a proposicao anterior garante que
!
\
(A1 ) =
An + lim (A1 Acn ) .
nN
Somando e subtraindo a sucessao (An ) (A1 ) < + dentro do limite, obtem-se
!
\
(A1 ) =
An + lim ( (A1 Acn ) + (An ) (An )) =
nN
!
An
nN
+ lim ( (A1 ) (An )) =

!
An
lim (An ) + (A1 ) ,
nN
o que e equivalente a
An
lim (An ).
nN
A medida de Lebesgue em Rn
O objectivo desta seccao e construir uma medida que a cada rectangulo de Rn faz corresponder o
respectivo conte
udo.
Nota
c
ao 45 Em tudo o que se segue, E indica um rect
angulo aberto de Rn (n fixo mas arbitr
ario).
Isto e, E e o produto cartesiano de n intervalos abertos limitados:
E = ]a1 , b1 [ ]a2 , b2 [ ... ]an , bn [ .
C (E) indica o conte
udo do rect
angulo E:
C (E) = |b1 a1 | |b2 a2 | ... |bn an | .
Comecamos por definir a seguinte aplicacao:
Defini
c
ao 46 Seja P (Rn ) = {A : A Rn }, o conjunto de todas as partes de Rn . Considere-se a
aplicac
ao : P (Rn ) 7 [0, +], definida por
(
)
[
X
(A) = inf
C (Ek ) : A
Ek .
kN
kN
A aplicac
ao chama-se medida exterior de Lebesgue.
Proposi
c
ao 47 A medida exterior de Lebesgue goza das seguintes propriedades:
1. () = 0;
2. (A) (B), sempre que A B Rn ;
S
P
3.
Ak
(Ak ), qualquer que seja a sucess
ao {Ak Rn , k N}.
kN
kN
17
Demonstra
c
ao. A proposicao 1 decorre imediatamente da definicao.
S
S
Considerem-se conjuntos A, B, com A B Rn . Entao, B
Ek implica A
Ek . Este facto
kN
implica
(
inf
C (Ek ) : A
kN
Ek
(
inf
kN
C (Ek ) : B
kN
kN
)
Ek
kN
e prova a proposicao 2.
Considere-se agora uma sucessao {Ak Rn , k N}. Considere-se uma pequena constante > 0.
Entao, existe uma famlia de rectangulos I = {Ek,j , k, j N}, tal que
[
X
Ak
Ek,j ,
C (Ek,j ) (Ak ) + k ,
k N.
2
jN
jN
I e numeravel e verifica
Logo,
kN
Ak
P P
C (Ek,j )
kN jN
[ [
(Ak ) +
kN
Ek,j .
kN jN
kN
Ak
!
Ak
kN
2k
, o que implica
(Ak ) .
kN
Esta desigualdade e verdadeira para qualquer > 0, pelo que
!
[
X
X
Ak lim+ +
(Ak ) =
(Ak ) .
kN
kN
kN
A medida exterior de Lebesgue, : P (Rn ) 7 [0, +] nao e uma medida porque

existem
sucessoes
S
P
(Ak ).
Ak <
{Ak Rn , k N} que verificam Ak Aj = , k 6= j e verificam tambem
kN
kN
A construcao de tais sucessoes nao e apresentada neste texto, mas o aluno interessado pode construir
uma tal sucessao baseando-se no Exemplo 51. No entanto, provaremos imediatamente a seguir que a
medida exterior de Lebesgue restringida à -algebra de Borel e uma medida.
Defini
c
ao 48 Um conjunto A Rn diz-se mensur
avel em rela
c
ao `
a medida exterior de
Lebesgue se verificar
(B) = (A B) + (Ac B) ,
B Rn .
(8)
Tambem se diz que A e -mensur
avel ou ainda que A e mensur
avel no sentido de Lebesgue.
Teorema 49 Seja M (Rn ) = {A Rn : A e -mensur
avel}. Ent
ao:
1. M (Rn ) e uma -
algebra de partes de Rn ;
2. B (Rn ) M (Rn ) ;
3. A medida exterior de Lebesgue, restrita a M (Rn ) e uma medida.
18
Demonstra
c
ao. Note-se que () = 0 e B = Rn B, qualquer que seja B Rn . Ent
ao:
n
c
(B) = () + (R B) = ( B) + ( B), ou seja,
M (Rn ) .
c
Tendo em conta que (Ac ) = A, imediatamente resulta da Definicao 48 que

A M (Rn ) Ac M (Rn ) .
Considerem-se dois conjuntos A1 , A2 M (Rn ). Dado que A1 e -mensuravel, resulta que
(B (A1 A2 )) = (B (A1 A2 ) A1 ) + (B (A1 A2 ) Ac1 ) ,
B Rn .
Logo,
c
(B (A1 A2 )) + (B (A1 A2 ) ) = (B A1 ) + (B A2 Ac1 ) + (B Ac1 Ac2 ) .
(9)
Tendo em conta que A2 e -mensuravel, verifica-se (B Ac1 ) = ((B Ac1 ) A2 )+ ((B Ac1 ) Ac2 ).
Logo, a igualdade (9) reduz-se a
c
(B (A1 A2 )) + (B (A1 A2 ) ) = (B A1 ) + (B Ac1 ) .

Usando mais uma vez a -mensurabilidade de A1 , esta igualdade reduz-se a
c
B Rn .
(B (A1 A2 )) + (B (A1 A2 ) ) = (B) ,
Isto prova que M (Rn ) e uma algebra. Considere-se agora uma sucessao {Ak M (Rn ) , k N}, a
partir da qual se constroi a sucessao
A1
Ak+1
A1 ;
Ak+1
k
[
c
Aj ,
k N.
j=1
n
Por construcn
ao, verifica-se
o Ak Aj = , j 6= k. Dado que M (R ) e uma algebra, todos os elementos
da sucessao Ak , k N sao elementos de M (Rn ). Entao, qualquer que seja B Rn , verifica-se
(B) = B A1 + B Ac1 =
= B A1 A2 + B A1 Ac2 + B Ac1 A2 + B Ac1 Ac2 =
c
= B A1 + B A2 + B A1 A2
.
Suponha-se que para algum k N , se verifica
c
k
k
X
[
(B) =
B Aj + B
Aj .
j=1
(10)
j=1
Entao,
(B) =
k
P
B Aj Ak+1 + B Aj Ack+1 +
j=1
+ B
k
S
Aj
j=1
!c
!
Ak+1
+ B
k
S
Aj
j=1
!c
!
Ack+1
c
k+1
k
[
X
Aj ,
B Aj + B Ak+1 + B
j=1
j=1
19

o que prova que a igualdade (10) se verifica para todo k N. Tendo em conta que B
!c
k
S
B
Aj , a igualdade (10) implica que
S
Aj
!c
jN
j=1
c
k
X
[
(B)
B Aj + B
Aj ,
j=1
k N.
jN
Fazendo k , obtem-se
(B)
B Aj + B
jN
c
Aj .
jN
Entao, a Proposicao 47 implica que
[
[
(B)
B Aj + B
Aj =
jN
= B
jN
= B
Aj + B
jN
ou seja,
c
Aj =
jN
Aj + B
jN
c
Aj (B) ,
jN
Aj M (Rn ), pelo que M (Rn ) e uma -algebra.
jN
Considere-se agora uma sucessao {Ak M (Rn ) , k N}, em que Ak Aj = , k 6= j. Entao,

mantendo a mesma notacao, verifica-se Ak = Ak , k N. Aplicando a igualdade (10) ao conjunto
S
B=
Aj , obtem-se
jN
[
jN
Fazendo k , obtem-se
Aj =
k
X
(Aj ) +
j=1
Aj
k
X
(Aj ) .
j=1
j=k+1
Aj
jN
Uma vez que a Proposicao 47 garante que
(Aj ) .
jN
Aj
jN
(Aj ), provou-se que : M (Rn ) 7
jN
[0, +] e uma medida.

Falta apenas provar que B (Rn ) M (Rn ). Para isso, comecaremos por provar que todos os
semiespacos do tipo Rnk ], a[Rk1 , com k {1, 2, ..., n}, a R sao -mensuraveis. Considerese um conjunto B Rn . Fixe-se > 0 e fixe-se uma famlia de rectangulos abertos, {Ej , j N}, tal
P
S
C (Ej ) (B) + . Seja A = Rnk ], a[ Rk1 , um semiespaco (fixo mas
Ej ,
que B
jN
jN
arbitr
ario). Entao, para todo e qualquer j N, Ej A e o conjunto vazio ou e um rectangulo aberto.
j que contem Ej Ac e satisfaz
Por outro lado, existe um rectangulo aberto, E

j C (Ej Ac ) + .
C E
2j
20
Entao,
(B)
C (Ej ) =
jN
jN
jN
jN
(C (Ej A) + C (Ej Ac ))

X
j =
C (Ej A) + C E
j
2
jN
X
X
j 2 (B A) + (B Ac ) 2.
C (Ej A) +
C E
Fazendo 0+ , obtem-se
(B) (B A) + (B Ac ) .
Como a Proposicao 47 garante que
(B) (B A) + (B Ac ) ,
conclui-se que A e -mensuravel, logo M (Rn ) contem a -algebra gerada por
A = Rnk ], a[ Rk1 : k {1, 2, ..., n} , a R .

A demonstracao do Teorema fica concluda provando que (A) = B (Rn ). A demonstracao deste
facto e inteiramente analoga à demostracao da Proposicao 34:
Qualquer semiespaco do tipo Rnk ], a] Rk1 se pode representar como a interseccao de uma
infinidade numeravel de elementos de A:
\
1
nk
k1
nk
k1
R
], a] R
=
R
, a +
R
.
j
jN
Logo, (A) contem todos os semiespacos do tipo Rnk ]a, +[ Rk1 . Qualquer rectangulo aberto
e interseccao de 2n semiespacos abertos, logo e tambem elemento de (A). Considere-se um conjunto
aberto, A Rn e fixe-se um ponto x A. Entao, existe um rectangulo do tipo
E (x) = ]a1 (x) , b1 (x)[ ]a2 (x) , b2 (x)[ ... ]an (x) , bn (x)[ ,
com aj (x) , bj (x) Q, j = 1, 2, ..., n, tal que
x E (x) A.
Entao, A e uniao de rectangulos abertos, A =
E (x). A proposicao 15 e o Corolario 16 garantem
xA
que so existe uma infinidade numeravel de rectangulos cujos vertices tem coordenadas racionais.
Conclui-se entao que A e uniao de uma infinidade numeravel de elementos de (A), logo e ele
proprio um elemento de (A). Isto prova que qualquer aberto e elemento de (A), logo B (Rn )
(A). Tendo em conta que todos os elementos de A sao abertos, obtem-se imediatamente a inclusao
recproca: (A) B (Rn ).
Nota
c
ao 50 A -
algebra M (Rn ) e chamada -
algebra de Lebesgue (em Rn ). A restric
ao de a
n
n
M (R ) e chamada medida de Lebesgue (em R ).
O seguinte exemplo mostra que existem conjuntos que nao sao mensuraveis no sentido de Lebesgue
(logo, a medida exterior de Lebesgue : P (Rn ) 7 [0, +] nao pode ser uma medida).
21
Exemplo 51 Para cada x [0, 1], considere-se o conjunto

Ax = {y [0, 1] : y x Q} .
O axioma da escolha garante que existe um conjunto B [0, 1] que verifica
x [0, 1] , # (B Ax ) = 1.
Para cada x R, considere-se o conjunto B + x, definido por
B + x = {z : z = x + y, y B} .
Vai-se provar que B verifica as seguintes condic
oes:
1. (B + q) (B + p) = ,
p, q Q, p 6= q;
S
2. [0, 1]
(B + p) [1, 2].
pQ[1,1]
Fixem-se p, q Q, com p 6= q, e suponha-se que existe x (B + q) (B + p). Tal significa que

existem z1 , z2 B, tais que
x = z1 + p = z2 + q.
Isso implica
z2 z1 = p q Q,
ou seja, z2 Az1 . Isto implica # (B Az1 ) 2, o que e uma contradic
ao, pelo que n
ao pode existir
x (B + q) (B + p).
S
A inclus
ao
(B + p) [1, 2] e imediatamente satisfeita, dado que B [0, 1]. Considere-se
pQ[1,1]
um n
umero x [0, 1]. Por hip
otese, existe z B Ax e verifica |z x| 1 (dado que ambos s
ao
S
elementos de [0, 1]). Logo, (z x) Q [1, 1], ou seja, x
(B + p).
pQ[1,1]
Suponha-se que B M (R). A partir da Definic

ao 46, facilmente se constata que
(C + p) = (C) ,
C M (R) , p R.
Ent
ao verifica-se
([1, 2])
(B + p) =
pQ[1,1]
(B + p) =
pQ[1,1]
(B) .
pQ[1,1]
Tendo em conta que ([1, 2]) < + e que o somat

orio da direita e constitudo por uma infinidade
de parcelas identicas, a desigualdade acima implica
(B) = 0.
Mas, por outro lado verifica-se
1 = ([0, 1])
(B + p) .
pQ[1,1]
Isto implica 1 0, o que e claramente uma contradic

ao. Logo, B n
ao pode ser mensur
avel no sentido
de Lebesgue.
22
A seguinte Proposicao decorre imediatamente da Definicao 46:

Proposi
c
ao 52 Considere-se um conjunto B Rn . Se B e finito ou numer
avel, ent
ao (B) = 0.
Demonstra
c
ao. Se B e finito ou numeravel, entao existe uma sucessao {xk Rn , k N} que
percorre todos os elementos de B. Considere-se uma tal sucessao e fixe-se um pequeno > 0. Existe
uma sucessao de rectangulos {Ek , k N}, tal que
xk Ek ,
Entao, (B)
P
kN
C (Ek ) <
P
kN
1
2k
C (Ek ) <
,
2k
k N.
= . Fazendo 0, conclui-se que (B) 0.
A recproca da Proposicao 52 nao e verdadeira. Isto e, existem conjuntos nao numeraveis cuja
medida de Lebesgue e nula, como mostra o seguinte exemplo:
Exemplo 53 O conjunto de Cantor pode ser definido do seguinte modo:
Seja {Ck , k N} a sucess
ao de conjuntos definida pelo seguinte esquema recursivo: C1 = [0, 1]; para
cada k N, Ck+1 e o conjunto fechado que se obtem eliminando o terco medio de cada um dos 2k
intervalos que constituem Ck . Ent
ao, o conjunto de Cantor e
\
C=
Ck .
kN
Para provar que (C) = 0, basta provar que ([0, 1] \C) = 1. Para isso, note-se que
([0, 1] \C1 ) =
([0, 1] \C2 ) =
([0, 1] \C3 ) =
1
;
3
1
([0, 1] \C1 ) + (C1 ) =
3
1
([0, 1] \C2 ) + (C2 ) =
3
1 12
+
;
3 33
2 !
2
1
2
1+ +
...
3
3
3
Por induc
ao, facilmente se verifica que
k1
([0, 1] \Ck ) =
1X
3 j=0
2
3
j
,
k N.
Ent
ao, a Proposic
ao 44 garante que
1X
([0, 1] \C) = lim ([0, 1] \Ck ) =
k
3 j=0
j
2
= 1.
3
Falta provar que C n

ao e numer
avel. Note-se que qualquer n
umero x [0, 1] admite uma representac
aos na base 2:
X ak (x)
x=
,
ak (x) {0, 1} k N.
2k
kN
Admite tambem uma representac

ao na base 3:
x=
X bk (x)
,
3k
bk (x) {0, 1} k N.
kN
23
Pode-se verificar que o conjunto Ck contem todos os n

umeros do intervalo [0, 1] que verificam
bj (x) 6= 1,
j k.
Logo, C contem todos os n

umeros do intervalo [0, 1] que verificam
bk (x) 6= 1,
Considere-se a aplicac
ao
f (x) =
k N.
X (ak (x))
,
3k
x [0, 1] ,
kN
em que
(a) =
0,
se a = 0;
2,
se a = 1.
As considerac
oes acima provam que f e uma aplicac
ao injectiva com domnio no intervalo [0, 1] e
imagem no conjunto de Cantor.
6
6.1
Funco
es mensur
aveis
Definic
ao e Propriedades
ao vazios, X, Y . Sejam A, F, -
algebras de partes
Defini
c
ao 54 Considerem-se dois conjuntos n
de X e de Y , respectivamente. Uma func
ao f : X 7 Y diz-se mensur
avel em relac
ao `
as -
algebras
A e F se verificar
f 1 (B) A,
B F .
n
Quando Y R , diz-se que f e mensur

avel em relac
ao a A se for mensur
avel em relac
ao `
as
algebras A e B (Y ) (i.e., excepto indicac
ao do contr
ario, considera-se que F e a -
algebra de Borel).
m
Uma fun
c
ao f : Rn 7 R diz-se Boreliana se for mensur
avel em relaca
o `
as -
algebras A=B (Rn ),
m
F=B R .
m
Uma func
ao f : Rn 7 R diz-se mensur
avel em
mavel no sentido de Lebesgue se for mensur
relac
ao `
as -
algebras A=M (Rn ), F=B R .
Exemplo 55 Considere-se a func
ao caracterstica de um conjunto A X,
1,
se x A;
f (x) =
0,
se x
/ A.
Note-se que, para qualquer B R, se obtem
A,
1
f (B) =
Ac ,
X,
se 0
/B e1
/ B;
se 0
/ B e 1 B;
se 0 B e 1
/ B;
se 0 B e 1 B.
Logo, f e mensur
avel se e s
o se A A.
24
Exemplo 56 Relembre-se o exemplo 51, em que se mostrou que existem subconjuntos de R que n
ao
s
ao mensur
aveis no sentido de Lebesgue. O Exemplo 55 mostra que existem func
oes reais de vari
avel
real que n
ao s
ao mensur
aveis em relac
ao `
a medida de Lebesgue.
ao, todas as func
oes de domnio X s
ao mensur
aveis. Este facto
Observa
c
ao 57 Se A = P (X), ent
poderia sugerir que toda a teoria aqui exposta e in
util porque seria possvel escolher uma -
algebra
suficientemente rica para tornar qualquer funca
o mensur
avel. Tal n
ao acontece porque, em geral,
n
ao e possvel definir uma boamedida numa -
algebra demasiado grande. Para ilustrar deste
facto, considere o caso da medida de Lebesgue: A medida exterior de Lebesgue n
ao e uma medida na
-
algebra P (Rn ). Para tornar a medida exterior de Lebesgue numa medida e necess
ario restringi-la
a uma menor -
algebra (a -
algebra de Lebesgue).
Exemplo 58 Seja X = {1, 2, 3}. A famlia A = {, {1} , {2, 3} , {1, 2, 3}} e uma -
algebra de partes
de X. A func
ao f : X 7 R, definida por f (x) = x2 n
ao e mensur
avel em relac
ao a A:
f 1 ({4}) = {2}
/ A.
Exemplo 59 A func
ao de Dirichlet, f : [0, 1] 7 R,
1,
se x [0, 1] Q;
f (x) =
0
se x [0, 1] \Q,
e Boreliana. Para qualquer B R, verifica-se
[0, 1] Q,
1
f (B) =
[0, 1] \Q,
[0, 1] ,
se 0
/B e1
/ B;
se 0
/ B e 1 B;
se 0 B e 1
/ B;
se 0 B e 1 B.
Logo, para mostrar que f e Boreliana basta mostrar que [0, 1] Q B ([0, 1]). Esta u
ltima condic
ao e
verdadeira porque [0, 1] Q e uni
ao de uma famlia numer
avel de conjuntos fechados:
[
[0, 1] Q =
{x} .
x[0,1]Q
Exemplo 60 Considere-se uma experiencia aleat

oria com espaco de resultados e espaco de acontecimentos F. Chama-se vari
avel aleat
oria a qualquer func
ao X : 7 R, mensur
avel em relac
ao
`
a -
algebra F.
Proposi
c
ao 61 Considere-se uma func
ao f : X 7 Y , e seja F, uma famlia de partes de Y . Ent
ao
f 1 (A) : A F
= f 1 (A) : A (F) .
Demonstra
c
ao. Vamos comecar por provar que a famlia A =
-algebra.
Note-se que f 1 () = {x X : f (x) } = . Logo,
A.
25
f 1 (A) : A (F) e uma
Considere-se um conjunto B A. Por definicao existe A (F) tal que B = f 1 (A). Entao
c
B c = {x X : f (x) A} = {x X : f (x)
/ A} = {x X : f (x) Ac } = f 1 (Ac ), pelo que
B A B c A.
Igualmente, dada uma sucessao {Bk A, k N}, existe uma sucessao {Ak (F) , k N} que
verifica Bk = f 1 (Ak ), k N. Entao,
S
Bk = {x X : k N, x Bk } = x X : k N, x f 1 (Ak ) =
kN
= {x X : k N, f (x) Ak } =
= f 1
S
kN
x X : f (x)
Ak
kN
S
Ak . Por hipotese,
Ak (F),
kN
ou seja,
Bk A.
kN
Isto prova que A e uma -algebra. Tendo em conta que f 1 (A) : A F A, conclui-se que
f 1 (A) : A F
A.
Falta apenas provar que A f 1 (A) : A F .

1
Seja Ae = f (A) : A F , e considere-se a famlia de partes de Y :

n
o
Fe = A Y : f 1 (A) Ae .
e Entao, se se provar que Fe e uma -algebra, poder-se-à concluir que
Facilmente se verifica que F F.
e
e
(F) F, o que implica A A. A demonstracao de que Fe e uma -algebra segue o raciocnio usado
e Dado um conjunto A F,
e
nos outros casos. Y Fe e satisfeita porque f 1 (Y ) = X A.
verifica-se
n
o
S
c
1
c
1
1
e
e
Ak =
f (A ) = f (A) A. Dada uma sucessao Ak F, k N , verifica-se f
kN
S 1
e Logo, Fe e uma -algebra e a Proposicao fica demonstrada.
f (Ak ) A.
kN
A Proposicao 61 tem o seguinte Corolario, que fornece um criterio simplificado para provar a
mensurabilidade de uma funcao.
Corol
ario 62 Considerem-se dois conjuntos n
ao vazios, X, Y . Seja A, uma -
algebra de partes
de X e seja F, uma famlia de partes de Y (n
ao necess
ariamente uma -
algebra). Uma funca
o
f : X 7 Y e mensur
avel em relac
ao `
as -
algebras A e (F) se e s
o se
f 1 (B) A,
B F.
Demonstra
c
ao. Uma vez que F (F), a condicao e obviamente necessaria. Para provar
que e tambem suficiente, basta notar que a Proposicao 61 garante que f 1 (A) : A (F) =
f 1 (A) : A F e que f 1 (A) : A F A e satisfeita se e so se f 1 (A) : A F

A.
O seguinte exemplo mostra uma aplicacao u
til deste Corolario.
26
Exemplo 63 Qualquer func

ao contnua f : Rn 7 R e Boreliana.
Para provar este facto, basta recordar que uma funca
o e contnua se e s
o se f 1 (A) for aberto
sempre que A for aberto. Tendo em conta que B (R) = ({A R : A e aberto}), o resultado decorre
imediatamente do Corol
ario 62.
A seguinte Proposicao estende o resultado do exemplo anterior.
Proposi
c
ao 64 Considere-se um conjunto X, munido de uma -
algebra A. Seja f : X 7 Rn
uma func
ao mensur
avel em relac
ao a A, e seja g : Y Rn 7 Rm , uma func
ao boreliana, tal que
m
g f : X 7 R exista. Ent
ao g f e mensur
avel em relaca
o a A.
Demonstra
c
ao. Seja A Rm , um conjunto aberto. Tendo em conta que g e boreliana, verifica-se
1
que g 1 (A) B (Rn ). Agora, tendo em conta a mensurabilidade de f , conclui-se que (g f ) (A) =
f 1 g 1 (A) A. Logo, o resultado decorre do Corolario 62.

A Proposicao 64 implica imediatamente a mensurabilidade de um grande n
umero de funcoes:
Corol
ario 65 Considere-se um conjunto X, munido de uma -
algebra A. Sejam f, g : X 7 R
func
oes mensur
aveis em relac
ao a A. Ent
ao as funco
es
f + g;
f,
( R, constante);
f g;
f
g
(no caso g (x) 6= 0, x X);
|f | ,
s
ao mensur
aveis em relac
ao a A.
Teorema 66 Considere-se um conjunto X, munido de uma -

algebra A. Seja fk : X 7 R, k N ,
uma sucess
ao de funco
es mensur
aveis em relaca
o a A. Ent
ao as funco
es
f (x) = inf fk (x) ,
f (x) = sup fk (x) ,
kN
kN
s
ao mensur
aveis em relac
ao a A.
Demonstra
c
ao. Uma pequena adaptacao da demonstracao da Proposicao 34 prova que

B R = ({[, a[ : a R}) .
Logo, o Corolario 62 mostra que para provar que f e mensuravel, basta provar que f 1 ([, a[) A,
a R. Note-se que
1
f ([, a[) = x X : inf fk (x) < a = {x X : k N, fk (x) < a} =
=
S
kN
kN
{x X : fk (x) < a} =
S
kN
fk1 ([, a[) .
Por hipotese, verifica-se fk1 ([, a[) A, k N. Logo, f 1 ([, a[) A.

Para provar que f e mensuravel, basta notar que sup fk (x) = inf (fk (x)) e aplicar o resultado
anterior, juntamente com o Corolario 65.
kN
O Teorema 66 tem o seguinte importante Corolario:

27
kN
Corol
ario 67 Considere-se um conjunto X, munido de uma -
algebra A. Seja fk : X 7 R, k N ,
uma sucess
ao de funco
es mensur
aveis em relaca
o a A. Ent
ao as funco
es
f (x) = lim inf fk (x) ,
f (x) = lim sup fk (x) ,
s
ao mensur
aveis em relac
ao a A.
Demonstra
c
ao. Considere-se a sucessao gk (x) = inf fm (x), k N. O Teorema 66 garante que
mk
esta e uma sucessao de funcoes mensuraveis. O mesmo teorema garante que f (x) = supkN gk (x) e
mensur
avel. A demosntracao de que f e mensuravel e analoga, notando que f (x) = inf sup fm (x).
kN mk
6.2
Aproxima
c
oes por funco
es simples
ao f : X 7 R diz-se simples se tomar apenas um n

umero finito de valores,
Defini
c
ao 68 Uma func
isto e, se f (X) for um conjunto finito.
Nota
c
ao 69 Dado um conjunto A X, a funca
o caracterstica de A indica-se por A , isto e:
1,
se x A;
A (x) =
0,
se x X Ac .
ao de Dirichlet:,
Exemplo 70 A func
f (x) =
1,
se x Q;
0,
se x R\Q,
e uma func
ao simples boreliana.
Exemplo 71 A func
ao f : [0, 1] 7 R,
f (x) =
10
X
k=1
[ k1 ,1] (x)
10
e uma func
ao simples boreliana.
Proposi
c
ao 72 Considere-se um conjunto X, munido de uma -
algebra A. Para que uma func
ao
f : X 7 R seja simples e mensur
avel em relac
ao a A, e necess
ario e suficiente que f seja combinac
ao
linear de um n
umero finito de func
oes caractersticas de conjuntos mensur
aveis. Isto e, e necessario
e sufficiente que existam A1 , A2 , ..., Am A, 1 , 2 , ..., m R, tais que
f (x) =
m
X
k Ak (x) ,
x X.
(11)
k=1
Demonstra
c
ao. Suponha-se que f e simples e mensuravel e seja f (X) = {y1 , y2 , ..., ym } entao
f admite uma representacao do tipo indicado:
f (x) =
m
X
yk f 1 ({yk }) (x) .
k=1
28
(12)
Logo, a condicao e necessaria.

Falta provar que e tambem suficiente. Fixe-se uma funcao do tipo (11). Entao
(
)
m
X
f (X) y =
k k : (k {0, 1} , k = 1, 2, ..., m)
k=1
e finito, ou seja, f e simples. Alem disso, cada uma das funcoes x 7 Ak (x) e mensuravel. Logo, o
Corol
ario 65 garante que f e mensuravel.
Observa
c
ao 73 Na Proposic
ao 72 n
ao se exige que a representac
ao (11) verifique Ak Aj = , j 6=
k. No entanto, e uma consequencia imediata da Definic
ao que qualquer func
ao simples mensur
avel
admite uma representac
ao do tipo (11) que verifica esta condic
ao. Para verificar este facto basta
notar que (12) e uma tal representac
ao.
Teorema 74 Considere-se um conjunto X, munido de uma -
algebra A. Seja f : X 7 [0, +],
uma func
ao mensur
avel em relac
ao a A.
Existe uma sucess
ao de funco
es simples mensur
aveis em relac
ao a A, {sk : X 7 [0, +[ , k N}
que verifica:
1. 0 s1 (x) s2 (x) ... sk (x) ... f (x) ,
2.
lim sk (x) = f (x) ,
k+
x X;
x X.
Demonstra
c
ao. Seja
sk (x) =
2k
2X
1
j=1
j
1 j j+1 (x) + 2k f 1 ([2k ,+]) (x) ,
2k f ([ 2k , 2k [)
x X.
A Proposicao 72 garante que {sk } e uma sucessao de funcoes mensuraveis. Facilmente se verifica que
0 sk (x) f (x) ,
x X, k N.
Fixem-se x X, k N. Se f (x) 0, 21k , entao sk (x) = 0 sk+1 (x). Se f (x) 2jk , j+1
,
2k
1 j < 2k , entao
sk (x)
se f (x) 2jk , 2j+1
;
2k+1
sk+1 (x) =
s (x) + 1 ,
se f (x) 2j+1
, j+1
.
k
2k+1
2k+1
2k
Se f (x) 2k , + , entao
j
k
sk (x) + j1
se f (x) 2k + 2j1
, j = 1, 2, ..., 22k+1 ;
k+1 , 2 + 2k+1
2k+1
sk+1 (x) =
s (x) + 2k ,
se f (x) 2k+1 , + .
k
Isto prova que sk (x) sk+1 (x), x X, k N.
Finalmente, note-se que f (x) 0, 2k implica 0 f (x) sk (x)
1
,
2k
pelo que se verifica
lim sk (x) = f (x) ,
k+
sempre que f (x) [0, +[. Se x verificar f (x) = +, entao sk (x) = 2k , k N. Logo, tambem
neste caso se verifica lim sk (x) = f (x).
k+
29
7
7.1
Integral de Lebesgue
Aritm
etica de elementos de R
No que se segue, e necessario realizar operacoes aritmeticas que envolvam os n

umeros + e .
Isto significa que, em muitas ocasioes se vai considerar como conjunto dos numeros com os quais se
realizam operacoes aritmeticas, o conjunto R = [, +], em vez do habitual conjunto R. Por isso,
e necessario estender as regras habituais da aritmetica em R de modo a acomodar os dois n
umeros
extraordinarios, , +. Essa estensao e feita convencionando as seguintes regras:
Defini
c
ao 75 A soma com infinitos e definida por:
a + = +,
a > ;
a < +.
A diferenca + n
ao fica definida.
A multiplica
c
ao com infinitos e definida por
+,
a (+) =
0,
a ]0, +] ;
se a = 0;
a [, 0[ .
A definicao de multiplicacao com infinito dada acima define uma operacao entre dois n
umeros
(constantes) e nao deve ser confundida com as regras para o calculo do limite de um produto de duas
sucessoes. Assim, dadas duas sucessoes {ak }, {bk }, com lim ak = 0, lim bk = +, dizer que o limite
lim (ak bk ) e uma indetermina
c
ao indica apenas o facto elementar de que o conhecimento de que
os termos ak sao cada vez mais pequenos e os termos de bk sao cada vez maiores nao e so por si
suficiente para prever o comportamento do produto ak bk : para tal e necessario estudar a rapidez
relativa com que ak 0 e bk (da as habituais tecnicas de levantamento de indeterminacoes).
7.2
Integrais de func
oes simples
Defini
c
ao 76 Considere-se um espaco de medida, (X, A, ), e seja s : X 7 [0, +], uma funca
o
simples mensur
avel em relac
ao a A, com s (X) = {y1 , y2 , ..., ym }. Chama-se integral de s pela medida
R
estendido ao conjunto A A, ao n
umero A s d [0, +], definido por
Z
m
X
yk A s1 ({yk }) .
s d =
A
k=1
sabido que a func

Exemplo 77 E
ao de Dirichlet, f : [0, 1] 7 R, definida por
1,
se x [0, 1] Q;
f (x) =
0
se x [0, 1] \Q,
n
ao e integr
avel no sentido de Riemann. No entanto, ela e integr
avel em ordem `
a medida de Lebesgue:
No Exemplo 59, vimos que e uma func
ao Boreliana, logo e mensur
avel em relac
ao `
a -
algebra de
Lebesgue. Pela Definic
ao 14, temos
Z
f d = 0 ([0, 1] \Q) + 1 ([0, 1] Q) = 0.
[0,1]
30
Note-se que, atendendo à Definicao 75 A s1 ({+}) 6= nao implica
R
verificar A s d < +, basta que A s1 ({+}) = 0.
R
A
s d = +. Para se
Proposi
c
ao 78 Considere-se um espaco de medida, (X, A, ), e seja s : X 7 [0, +], uma func
ao
simples mensur
avel em relaca
o a A. Ent
ao, a aplicac
ao : A 7 [0, +], definida por
Z
(A) =
s d,
A A,
A
e uma medida.
m
P
Demonstra
c
ao. Seja s (x) =
k=1
Entao,
k Ak (x), com k [0, +], Ak A.
() =
m
X
k ( Ak ) = 0.
k=1
Dada uma sucessao {Bj A, j N}, tal que Bj Bl = , j 6= l, verifica-se
!
Bj
m
P
jN
m
P
= lim
k=1
k=1
lim
r
P
r j=1
r P
m
P
r j=1 k=1
Bj Ak
m
P
jN
m
P
= lim
(Bj Ak )
r k=1
k (Bj Ak ) =
m
P P
(Bj Ak )
jN
k=1
r
P
j=1
(Bj Ak )
k (Bj Ak ),
jN k=1
ou seja:
Bj =
jN
(Bj ) .
jN
Proposi
c
ao 79 Considere-se um espaco de medida, (X, A, ), e sejam s1 , s2 : X 7 [0, +], func
oes
simples mensur
aveis em relaca
o a A. Ent
ao,
Z
Z
Z
(s1 + s2 ) d =
s1 d +
s2 d,
A A.
A
Demonstra
c
ao. Sejam si (x) =
mi
P
k=1
i,k Ai,k (x), com i,k [0, +], Ai,k A,
Ai,k Ai,j = , j 6= k, i = 1, 2. Entao,

(s1 + s2 ) (x) =
m1
X
k=1
m1
X
1,k A1,k (x) +
Ai,k = X, e
k=1
2,j A2,j (x) =
j=1
m
!
m2
m2
1
X
X
X
1,k
A1,k A2,j (x) +
2,k
A1,k A2,j (x) =
k=1
m2
X
m
Si
m1 X
m2
X
j=1
k=1
(1,k + 2,j ) A1,k A2,j (x) .
k=1 j=1
31
k=1
Logo,
Z
(s1 + s2 ) d
m1 X
m2
X
k=1 j=1
m1 X
m2
X
k=1 j=1
m1
X
(1,k + 2,j ) (A A1,k A2,j ) =

1,k (A A1,k A2,j ) +
1,k A A1,k
m1
X
1,k (A A1,k ) +
k=1
7.3
m2
X
2,j (A A1,k A2,j ) =
k=1 j=1
A2,j +
m2
X
2,j A A2,j
j=1
m1
[
!
A1,k
k=1
2,j (A A2,j ) =
j=1
Z
s2 d.
s1 d +
j=1
k=1
m2
[
m1 X
m2
X
Integrais de func
oes n
ao negativas
O integral de uma funcao nao negativa (mensuravel, mas nao necessariamente simples) define-se a
partir da definicaode integrais de func
oes simples:
o
Defini
c
ao 80 Considere-se um espaco de medida, (X, A, ), e seja f : X 7 [0, +], uma funca
mensur
avel em relac
ao a A. Chama-se integral de f pela medida estendido ao conjunto A A, ao
R
n
umero A f d [0, +], definido por
Z
Z
f d = sup
s d : s : X 7 [0, +] e func
ao simples mensur
avel e s (x) f (x) , x A .
A
As seguintes propriedades decorrem imediatamente da definicao:

Proposi
c
ao 81 Considere-se um espaco de medida, (X, A, ). Sejam f, g : X 7 [0, +], funco
es
mensur
aveis em relac
ao a A.
R
R
1. Se A A, ent
ao A f d = X f A d;
R
2. Se A A e f (x) = 0, x A, ent
ao A f d = 0, mesmo se (A) = +;
R
R
ao A f d A g d;
3. Se A A e f (x) g (x), x A, ent
R
R
4. Se A, B A e A B, ent
ao A f d B f d;
R
5. Se A A e (A) = 0, ent
ao A f d = 0, quaisquer que sejam os valores tomados por f no
conjunto A;
R
R
6. Qualquer que seja a constante c [0, +[, verifica-se A cf d = c A f d.
Demonstra
c
ao. Para provar a proposicao 1, note-se que (tendo em conta a Definicao 75), as
condicoes
s (x)
s (x) A (x)
f (x) , x A;
f (x) A (x) , x X,
32
sao equivalentes. Logo, a proposicao decorre da igualdade:

!
!
Z
Z X
Z X
m
m
m
X
k (Bk A) =
k Bk A d =
k Bk A d =
s d =
A
k=1
Z X
m
X
!
k Bk
k=1
k=1
A d =
sA d.
X
k=1
A proposicao 2 e imediata: se f (x) = 0, x A, entao sup
0sf
s d =
R
A
0 d = 0 (A) = 0.
Para provar a proposicao 3 basta notar que s (x) f (x) , x X implica s (x) g (x) , x X.
Logo
Z
Z
sup
s d sup
s d.
sf
sg
Tendo em conta que A B implica f (x) A (x) f (x) B (x) , x X, a proposicao 4 decorre das
proposicoes 1 e 3.
R
R
A proposicao 5 decorre imediatamente da proposicao 3: se (A) = 0, entao A f d A + d =
+ (A) = 0.
No caso c = 0, a proposicao 6 verifica-se trivialmente no caso c ]0, +[, a proposicao 6 decorre da
equivalencia entre as condicoes
s (x)
f (x) ,
cs (x)
cf (x) ,
x A;
x A.
Proposi
c
ao 82 Considere-se um espaco de medida, (X, A, ). Sejam f, g : X 7 [0, +], funco
es
mensur
aveis em relac
ao a A. Ent
ao, qualquer que seja A A, verifica-se
Z
Z
Z
(f + g) d =
f d +
g d.
A
Demonstra
c
ao. Sejam f, g : X 7 [0, +], funcoes mensuraveis em relacao a A e seja A A.
Entao, quaisquer que sejam as funcoes simples mensuraveis s1 , s2 : X 7 [0, +] que verifiquem
0 s1 (x) f (x) ,
0 s2 (x) g (x) ,
x A,
(13)
verifica-se tambem
0 s1 (x) + s2 (x) f (x) + g (x) ,
x A.
Entao,a Proposicao 79, juntamente com a Definicao 80 garante que a desigualdade

Z
Z
Z
(f + g) d
s1 d +
s2 d
A
e satisfeita por quaisquer funcoes simples mensuraveis que satisfacam (13). Logo,
Z
Z
Z
Z
Z
(f + g) d sup
s1 d + sup
s2 d =
f d +
g d
A
0s1 f
0s2 g
33
R
R
(f + g) d A f d + A g d, fixe-se > 0 e fixe-se uma funcao simples
k
P
mensur
avel, s (x) =
i Bi (x), tal que
Para provar que
i=1
i
0
0, i = 1, 2, ..., k,
Bi Bj = ,
s (x) f (x) + g (x) ,
i 6= j;
Z
Z
s d
(f + g) d .
x A;
Entao, verifica-se
i f (x) + g (x) ,
x A Bi .
Fixe-se um inteiro m N, e considerem-se os conjuntos
m1
(m)
Ci,1
=
x : f (x)
i ;
m
mj
mj+1
j1
(m)
Ci,j
=
x:
i f (x) <
i x : g (x)
i ,
m
m
m
j = 2, 3, ..., m.
Rapidamente se conclui que
{x : f (x) + g (x) i }
m
[
(m)
Ci,j .
j=1
Considerem-se as funcoes simples

s1 (x) =
k X
m
X
mj
i=1 j=1
i Ai C (m) (x) ,
s2 (x) =
i,j
k X
m
X
j1
i=1 j=1
i Ai C (m) (x) .
i,j
Entao, verifica-se
0
s1 (x) + s2 (x)
s1 (x) f (x) ,
m1
=
s (x) ,
m
0 s2 (x) g (x) ,
x X;
x A.
Isto prova que,

Z
Z
Z
Z
Z
Z
m1
f d +
g d
s1 d +
s2 d =
(s1 + s2 ) d
(f + g) d .
m
A
A
A
A
A
A
Fazendo 0, m , obtem-se
Z
Z
f d +
7.4
Z
g d
(f + g) d.
A
Integrais de func
oes mensur
aveis
O integral de uma funcao mensuravel, f : X 7 R define-se a partir de integrais de funcoes nao

negativas. Para isso, uma funcao e decomposta nas suas partes positiva e negativa:
34
Defini
c
ao 83 Considere-se uma func
ao f : X 7 R. Define-se f + e f (respectivamente, a parte
positiva e a parte negativa de f ) como sendo:
f (x) ,
0,
se f (x) 0;
se f (x) 0;
f + (x) =
f (x) =
0,
f (x) ,
se f (x) 0,
se f (x) 0.
Note-se que a parte positiva e a parte negativa de uma funcao podem definir-se de forma equivalente pelas igualdades
f + (x) = max {f (x) , 0} ,
f (x) = max {f (x) , 0} .
Logo, o Teorema 66 implica imediatamente a seguinte Proposicao:

Proposi
c
ao 84 Seja f : X 7 R uma func
ao mensur
avel em relac
ao `
a -
algebra A. As suas partes
positiva e negativa s
ao ambas func
oes n
ao negativas, mensur
aveis em relac
ao a A.
A Proposicao 84 garante que, dado um espaco de medida, (X, A, ), e uma funcao mensuravel
R
R
em relacao a A, f : X 7 R, os integrais A f + d, A f d estao definidos, qualquer que seja o
conjunto A A.
Defini
c
ao 85 Considere-se um espaco de medida, (X, A, ), e seja f : X 7 R, uma funca
o menR +
sur
avel em relac
ao a A. Seja A A, um conjunto no qual pelo menos um dos integrais A f d,
R
f
d
e
finito.
A
R
Chama-se integral de f pela medida estendido ao conjunto A, ao n
umero A f d R, definido
por
Z
Z
Z
f + d
f d =
A
f d.
A
Uma func
ao diz-se integr
avel no conjunto A se verificar
Z
|f | d < +.
A
` semelhanca do integral de Riemann, e por vezes necess

Nota
c
ao 86 A
ario indicar explcitamente
qual e a vari
avel em ordem `
a qual e definido o integral. Nesse caso usa-se a notac
ao
Z
f (x) (dx) .
A
Por exemplo, dados dois espacos de medida, (X, A, ), (Y, F, ) e uma func
ao f : X Y 7 R, a
express
ao
Z
f (x, y) (dx)
X
indica sem ambiguidade que se trata do integral da func

ao x 7 f (x, y), com y Y fixo e x variando
ao longo do conjunto X em que a medida usada na definic
ao do integral e : A 7 [0, +].
Na Seccao 10 veremos que, no caso particular em que e a medida de Lebesgue e f e uma funcao
integravel no sentido de Riemann, o integral de Lebesgue coincide com o integral de Riemann. No
entanto, a Definicao 85 engloba tambem muitos outros tipos de integrais (dependendo do espaco de
medida que for considerado). Seguem-se alguns exemplos.
35
Exemplo 87 Seja (, F, P ), um espaco de probabilidades (i.e., P : F 7 [0, 1] e uma medida que

verifica P () = 1). Como j
a foi referido no Exemplo 60, uma vari
avel aleat
oria e uma func
ao
X : 7 R, mensur
avel em relac
ao a F. O valor esperado de uma tal vari
avel aleat
oria e
Z
E [X] =
X () P (d) .
Em geral, os momentos de X s
ao os integrais
Z
k
mk (X) =
X () P (d) ,
k = 1, 2, ...
(caso tais integrais existam).

Exemplo 88 Uma funca
o a : N 7 R e uma sucess
ao de termos reais, costumando-se indicar a (n)
por an . Considere-se o espaco de medida (N, P (N) , ), em que e a medida de contagem. Ent
ao
+
R
P
a d e a serie
an , desde que esta seja absolutamente convergente. Se a serie for simplesmente
N
n=1
convergente mas n
ao absolutamente convergente, ent
ao verifica-se
Z
Z
a+ d =
a d = +,
pelo que o integral
R
N
a d n
ao est
a definido.
Exemplo 89 Considere-se o espaco de medida (N, P (N) , ), em que

X
(A) =
2n ,
A N.
nA
Ent
ao
a d e a serie
N
+
P
n=1
an
22 ,
desde que esta seja absolutamente convergente.
O integral de Lebesgue goza de propriedades semelhantes às ja estudadas no caso do integral de

Riemann. Em particular:
Teorema 90 Considere-se um espaco de medida, (X, A, ). Sejam f, g : X 7 R, func
oes integr
aveis
e sejam , R. Ent
ao, f + g e uma func
ao integr
avel e verifica
Z
Z
Z
(f + g) d =
f d +
g d,
A A.
(14)
A
Demonstra
c
ao. O Corolario 65 garante que f + g e uma funcao mensuravel. A Proposicao
81 garante que
Z
Z
|f + g| d
(|| |f | + || |g|) d.
A
Logo,a Proposicao 82 garante que

Z
Z
Z
|f + g| d ||
|f | d + ||
|g| d < +.
A
Para provar a igualdade (14), basta provar que

Z
(f + g) d =
A
Z
f d =
Z
f d +
f d.
A
36
g d;
A
Entao, verifica-se
+
(f + g) (f + g) = f + f + g + g ,
ou seja,
+
(f + g) + f + g = (f + g) + f + + g + .
A Proposicao 82 garante que
Z
Z
Z
Z
Z
Z
+
(f + g) d +
f d +
g d =
(f + g) d +
f + d +
g + d.
A
Uma vez que todos estes integrais sao finitos, isto e equivalente a
Z
Z
Z
(f + g) d =
f d +
g d.
A
No caso 0, as Proposicoes 81 e 82 garantem que

Z
Z
Z
Z
Z
+
f d =
(f ) d
(f ) d =
f + d
f d =
A
A
A
A
A
Z
Z
Z
+
=
f d
f d =
f d.
A
No caso < 0, temos

Z
f d =
A
Z
Z
Z
+
(f ) d
(f ) d =
|| f d
|| f + d =
A
A
A
A
Z
Z
Z
Z
+
||
f d ||
f d = ||
f d =
f d.
A
O seguinte Teorema decorre imediatamente da Definicao 85 e do Teorema 90:

Teorema 91 Considere-se um espaco de medida, (X, A, ), e uma func
ao integr
avel, f : X 7 R.
Ent
ao
Z
Z
f d
|f | d.
R
R
R
f d = f + d
f d X f + d + X f d =
X
X
X
Demonstra
c
ao.
R
R
= X (f + + f ) d = X |f | d.
Conjuntos de medida nula
ao Px , cujo
Defini
c
ao 92 Considere-se um espaco de medida, (X, A, ), e considere-se uma Proposic
valor l
ogico depende do ponto x X. Diz-se que Px e verdadeira por quase toda a parte em relac
ao
a se existir um conjunto N A, tal (N ) = 0 e Px for verdadeira sempre que x A\N . Nesse
caso escreve-se
Px ,
q.t.p. [] .
Se for claro pelo contexto qual e o espaco de medida que est
a a ser considerado, tambem se diz que
Px e satisfeita por quase todo x X, ou ainda,
Px ,
q.t.x X.
37
Exemplo 93 Considere-se um espaco de medida, (X, A, ), e sejam f, g : X 7 R, func

oes mensur
aveis ent
ao, afirmar que
f (x) = g (x)
q.t.x X
significa que ({x x : f (x) =
6 g (x)}) = 0.
Em particular, a func
ao de Dirichlet satisfaz
f (x) = 0
q.t.p. [] ,
em que e a medida de Lebesgue em R.

A seguinte Proposicao mostra que qualquer espaco de medida pode ser redefinido de modo a que
qualquer funcao que coincida por quase toda a parte com alguma funcao mensuravel seja tambem
uma funcao mensuravel.
Proposi
c
ao 94 Considere-se um espaco de medida, (X, A, ), e seja A o conjunto de todos os
subconjuntos B X tais que existem A1 , A2 A, tais que
A1 B A2 ,
(A2 \A1 ) = 0.
Nesse caso, defina-se (B) = (A1 ).

Ent
ao, A e uma -
algebra e : A 7 [0, +] e uma medida.
A seguinte Proposicao mostra que um funcao pode ser arbitrariamente modificada num conjunto
de medida nula, sem que isso altere o valor do integral.
Proposi
c
ao 95 Considere-se um espaco de medida, (X, A, ), e sejam f, g : X 7 R, func
oes mensur
aveis tais que
f (x) = g (x)
q.t.p. [] .
R
R
Ent
ao, existe X f d se e s
o se existir X g d. Nesse caso,
Z
Z
f d =
g d.
X
Demonstra
c
ao. Seja N A, um conjunto que verifica (N ) = 0, {x X : f (x) 6= g (x)} N .
k
P
Considere-se uma funcao simples mensuravel, s (x) =
i Ai (x), tal que
i=1
0 s (x) f + (x) ,
x X.
Entao, a funcao
s (x) =
k
X
i Ai \N (x)
i=1
e tambem simples e mensuravel e verifica

Z
s d
X
k
X
i (Ai \N ) =
i=1
0
0
k
X
Z
i (Ai ) =
i=1
s (x) f + (x) ,
+
s (x) g (x) ,
38
x X;
x X.
s d;
X
Isto prova que
Z
g + d
X
As desigualdades
Z
Z
+
g d
f + d,
X
Z
g
f + d.
X
d,
f d
provam-se de modo analogo. Teremos entao provado que

Z
Z
Z
Z
g + d =
f + d,
g d =
f d,
X
o que implica imediatamente a Proposicao.

Um resultado semelhante à Proposicao 95, para limites de sucessoes de funcoes requer alguma
prudencia:
Proposi
c
ao 96 Considere-se um espaco de medida, (X, A, ), e uma sucess
ao de func
oes integr
aveis,
fk : X 7 R, k N , tal que
Z
lim
|fk | d = 0.
X
Ent
ao, existe uma subsucess
ao fkj , j N , tal que
lim fkj (x) = 0,
para quase todo x X.
Demonstra
c
ao. Pretende-se provar que
x X : lim sup fkj (x) 6= 0

= 0.
j
Por hipotese, {fk } admite uma subsucessao fkj , j N , tal que

Z

fk d < 1 ,
j N.
j
j2j
X
Note-se que esta desigualdade implica:
Z
Z
Z

1
fkj d
>
f
d
=
f
d
+
k
k
j
j
j2j
X
{xX:|fkj (x)| 1j }
{xX:|fkj (x)|< 1j }
1
fkj d 1
x X : fkj (x)
,
j
j
{xX:|fkj (x)| 1j }
ou seja,
1
1
< j.
x X : fkj (x)
j
2
Fixe-se > 0. Entao
x X : lim sup fkj (x)
{x X : j N m j, |fkm (x)| } =
\ +
[
jN m=j
39
{x X : |fkm (x)| } ,
Logo, verifica-se a relacao
+
[

x X : fkj (x) ,
j
j=J
qualquer que seja J N. Em particular, para qualquer J > 1 , verifica-se
+
[

.
x X : fkj (x)
j
j
j=J
Logo,
+
[
j=J
x X : fkj (x)
j
+
X
x X : fkj (x)
j
j=J
+
X
1
1
= J1 .
2j
2
j=J
Fazendo J , conclui-se que

= 0,
> 0.
Da se conclui que
x X : lim sup fkj (x) 6= 0

=
1
m
j
mN
X
mN

=
0,
m
j
mN
q.e.d..
Teoremas de Converg
encia
A vantagem decisiva do integral de Lebesgue em relacao ao integral de Riemann e a facilidade com

que se estudam sucessoes de funcoes e respectivos integrais quando o integral e definido nos termos
da Definicao 85. Nesta Seccao apresentam-se os resultados basicos relativos a este tipo de problema.
Teorema 97 (Teorema da converg
encia mon
otona de Lebesgue) Considere-se um espaco de
medida, (X, A, ), e seja {fk : X 7 [0, +] , k N}, uma sucess
ao de funco
es mensur
aveis tais que
0 fk (x) fk+1 (x) ,
k N, q.t.p. [] .
Ent
ao, existe uma func
ao mensur
avel f : X 7 [0, +], tal que
f (x) = lim fk (x) ,
q.t.p. []
e verifica-se
Z
f d = lim
X
40
fk d.
X
Demonstra
c
ao. Fixe-se um conjunto N A tal que (N ) = 0 e
k N, x N c ;
0 fk (x) fk+1 (x) ,

Considere-se a sucessao
fk (x) =
fk (x) ,
se x N c ;
0,
se x N.
n o
Entao, fk e uma sucessao de funcoes mensuraveis que verifica
0 fk (x) fk+1 (x) ,
k N, x X.
(15)
Logo, existe uma funcao f : X 7 [0, +], tal que

f (x) = lim fk (x) ,
x X,
e o Corolario 67 garante que f e mensuravel. Alem disso, a Proposicao 95 garante que

Z
Z
fk d =
fk d,
k N.
X
Tendo em conta a Proposicao 81, a desigualdade 15 implica

Z
Z
Z
fk d
fk+1 d
f d,
X
Logo, existe lim
k X
k N.
fk d e satisfaz
Z
lim
fk d
X
f d.
X
Para provar a desigualdade recproca, considere-se uma funcao simples mensuravel, s (x) =
m
P
i=1
tal que
0 s (x) f (x) ,
x X.
(16)
Seja c ]0, 1[, uma constante, e seja

n
o
Bk = x X : fk (x) cs (x) .
O Corolario 65 garante que Bk A, k N. Alem disso, verifica-se
Bk Bk+1 ,
k N.
Entao, usando a Proposicao 81, obtem-se

Z
Z
fk d
Z
fk d c
Bk
s d = c
Bk
m
X
i (Ai Bk ) .
i=1
Logo, a Proposicao 44 garante que

Z
lim
fk d c
X
m
X
i=1
i lim (Ai Bk ) = c
k
m
X
i=1
41
i Ai (x) ,
Z
i (Ai ) = c
s d.
X
Fazendo c 1, obtem-se
lim
fk d
s d.
Como esta desigualdade e valida para toda a funcao simples que satisfaca (16), conclui-se que
R
R
lim X fk d X f d.
k
Corol
ario 98 Considere-se um espaco de medida, (X, A, ), e seja {fk : X 7 [0, +] , k N}, uma
sucess
ao de func
oes mensur
aveis. Ent
ao
Z X !
XZ
fk d =
fk d.
kN
kN
Corol
ario 99 Considere-se um espaco de medida, (X, A, ), e seja f : X 7 [0, +], uma funca
o
mensur
avel em relac
ao a A. A aplicac
ao : A 7 [0, +], definida por
Z
(A) =
f d,
A A,
A
e uma medida.
Demonstra
c
ao. Da definicao, resulta imediatamente que () = 0. Seja {Ak A, k N} uma
P
Ak , e o Corolario 98
sucessao tal que Aj Ak = j 6= k. Nesse caso, verifica-se S Ak =
kN
implica que
! Z
[
Ak =
f S
kN
Ak
Z X
d =
kN
!
f Ak
d =
kN
XZ
kN
kN
f Ak d =
Teorema 100 (Lema de Fatou) Considere-se um espaco de medida,

{fk : X 7 [0, +] , k N}, uma sucess
ao de func
oes mensur
aveis. Ent
ao
Z
Z
lim inf fk d lim inf
fk d.
k
(Ak ) .
kN
(X, A, ),
seja
(17)
Demonstra
c
ao. Seja {gk }, a sucessao definida por
gk (x) = inf fj (x) .
jk
Entao, {gk } e uma sucessao de funcoes mensuraveis e verifica

gk (x) gk+1 (x) fk+1 (x) ,
Entao, a Proposicao 81 garante que
Z
k N, x X.
Z
gk d
pelo que
fk d,
k N,
Z
lim inf
Z
gk d lim inf
42
fk d.
X
(18)
O Teorema da Convergencia monotona de Lebesgue garante que x 7 lim gk (x) e mensuravel e

k
Z
lim
gk d =
X
lim gk
Z
d =
lim inf fk d.
k
Logo, a desigualdade (18) reduz-se à desigualdade (17).
Teorema 101 (Teorema da converg

encia dominada de Lebesgue) Considere-se um espaco de
medida, (X, A, ), e seja fk : X 7 R, k N , uma sucess

ao de func
oes mensur
aveis verificando as
seguintes condic
oes:
ao f : X 7 R, tal que
1. Existe uma func
lim fk (x) = f (x) ,
q.t.p. [] ;
2. Existe uma func

ao integr
avel, g : X 7 [0, +], tal que
|fk (x)| g (x) ,
Ent
ao,
k N, q.t.p. [] .
lim
|fk f | d = 0,
lim
fk d =
X
f d.
X
Demonstra
c
ao. O Corolario 67 garante que f coincide em quase todo X com uma funcao
mensur
avel. Logo, podemos supor sem perda de generalidade que f e mensuravel (caso contrario
pode ser substiuda por uma funcao mensuravel que difere de f apenas num conjunto de medida
nula). Tendo em conta que
|f (x)| g (x) ,
q.t.p. [] ,
obtem-se
|fk (x) f (x)| 2g (x) ,
q.t.p. [] .
Logo, usando o Lema de Fatou, obtem-se

Z
Z
Z
2g d =
lim (2g |fk f |) d lim inf
(2g |fk f |) d =
k
k
X
X
Z
ZX
|fk f | d
=
2g d lim sup
k
Tendo em conta que
R
X
g d < +, esta desigualdade e equivalente a

Z
lim sup
|fk f | d 0.
k
(19)
R
R
Alem disso, tendo em conta que X |f | d < + e X |fk | d < +k N, obtem-se
Z
Z
Z
Z
f d
fk d = f fk d
|f fk | d,
o que, juntamente com a desigualdade (19) implica limk
43
R
X
fk d =
R
X
f d.
10
Relac
ao entre o integral de Lebesgue e o integral de Riemann
O teorema seguinte mostra que o integral de Lebesgue e uma extensao do integral de Riemann.
Teorema 102 Considere-se um conjunto compacto, A Rn , e seja f : A 7 R, uma func
ao integr
avel no sentido de Riemann. Ent
ao, f e integr
avel em relac
ao `
a medida de Lebesgue. Nesse caso,
o integral de Riemann e o integral em ordem `
a medida de Lebesgue tomam o mesmo valor.
Demonstra
c
ao. Sem perda de generalidade, pode-se supor que o conjunto A e um rectagulo.
Se f e integravel no sentido de Riemann, entao existe uma sucessao de particoes de A, {Pk , k N},
que verifica as seguintes condicoes:
1. Para qualquer k N, Pk+1 e um refinamento de Pk ;
2. lim L (f, Pk ) = lim U (f, Pk ).
k
m
Sk
Para cada uma das particoes Pk , indique-se por A =
i=1
em rectangulos nao sobrepostos, e sejam

y i = inf f (x) ,
Ei , a correspondente decomposicao de A
y i = sup f (xi ) ,
xEi
xEi
i = 1, 2, ..., mk .
As somas de Darboux sao

L (f, Pk ) =
mk
X
y i C (Ei ) ,
U (f, Pk ) =
i=1
mk
X
y i C (Ei ) .
i=1
Considerem-se as funcoes simples

sk (x) =
mk
X
y i Ei (x) ,
Sk (x) =
i=1
mk
X
y i Ei (x) .
i=1
As desigualdades
sk (x) sk+1 (x) f (x) Sk+1 (x) Sk (x) ,
kN
sao satisfeitas por quase toda a parte em relacao à medida de Lebesgue. Logo, os limites lim sk (x),
k
lim Sk (x) existem para quase todo x A e verificam
lim sk (x) f (x) lim Sk (x) ,
q.t.p. [] .
Alem disso,
Z
Sk d =
A
Z
sk d =
A
mk
X
i=1
mk
X
y i (Ei ) =
y i (Ei ) =
i=1
mk
X
i=1
mk
X
y i C (Ei ) = U (f, Pk ) ;
y i C (Ei ) = L (f, Pk ) .
i=1
Logo, a Proposicao 96 garante que

lim (Sk (x) sk (x)) = 0,
44
q.t.p. [] ,
ou seja
lim sk (x) = f (x) = lim Sk (x) ,
q.t.p. [] .
Por hipotese, f e uma funcao limitada e A e um conjunto de medida finita. Logo, o teorema da
convergencia dominada garante que
Z
Z
Z
f d = lim
sk d = lim L (f, Pk ) =
f (x) dx,
em que
11
R
A
f (x) dx indica o integral de Riemann e
f d indica o integral de Lebesgue.
Alguns exemplos
Nesta Seccao apresentam-se alguns exemplos de aplicacoes das propriedades apresentadas nas Secc
oes
9 e 10.
R +
1
Exemplo 103 Calcular lim 0
dx.
log(2+(1+x)n )+x2
n
1
ao de func
oes
Fazendo fn (x) = log 2+(1+x)n +x2 , facilmente se verifica que {fn } e uma sucess
(
)
contnuas, logo mensur
aveis e
0 fn (x) fn+1 (x) ,
n N, x ]0, +[ .
Logo, o teorema da convergencia mon

otona garante que
Z +
Z +
Z
lim
fn (x) dx =
lim fn (x) dx =
n
lim
b+
x
1
arctg
log 2
log 2
Exemplo 104 Considere-se a sucess

ao de func
oes
1
x [0, 1 ] (x) ,
fn (x) = 6n3 x
n
n
Pretende-se calcular
1
dx =
log 2 + x2
.
=
2 log 2
x R, n N.
Z
fn (x) esin
lim
Note-se que
dx.
Z 1
2
2
fn (x) esin x dx =
fn (x) esin x dx,
n N.
R
0
Para cada n N, a func

ao Fn (x) = 3n2 x2 2n3 x3 [0, 1 ] (x) + ] 1 ,+[ (x) e uma primitiva de fn .
n
n
Logo, usando integraca
o por partes obtem-se
Z
Z 1
2
2
2
fn (x) esin x dx = esin 1
Fn (x) esin x 2 cos x sin x dx,
n N.
R
Pode-se verificar que

0
lim Fn (x)
Fn (x) Fn+1 (x) ,

=
1,
x [0, 1] , n N;
x > 0.
Logo, o teorema da convergencia mon

otona garante que
Z
Z 1
2
sin2 x
sin2 1
lim
fn (x) e
dx = e
esin x 2 cos x sin x dx = 1.

n
45
R 1 +
P
Exemplo 105 Calcular
O Corol
ario 98 garante que
Z
1
dx.
1+(n+x)2
+ Z 1
+
X
X
1
dx
=
dx
=
(arctg (n + 1) arctg (n)) = .
2
2
2
1
+
(n
+
x)
1
+
(n
+
x)
n=0
n=0 0
n=0
+
1X
n=0
Exemplo 106 Calcular lim

n
Note-se que
Z
lim
A sucess
ao fn (x) =
1
n
R +
1
n
x
1
n x1+x
3 sin nx dx.
1
x2 x
n
sin
dx = lim
n
1 + x3
nx
+
0
1
x 1 sin nx
[ 1 ,+[ (x) dx.
1
n
1 + x3 nx
1
x1 sin nx
1
1+x3 nx
e uma sucess
ao de func
oes contnuas, logo mensur
aveis. As func
oes
n
o
ao
obviamente mensur
aveis, logo fn [ 1 ,+[ , n N e uma sucess
ao de
caractersticas [ 1 ,+[ s
n
n
func
oes mensur
aveis. Alem disso:
sin 1
1nx 1,
x > 0, n N;
nx
lim
1
nx
1
nx
sin
= 1,
x > 0;
x1
Existe uma constante c < +, tal que 1+x
3
Isto implica que lim fn (x) [ 1 ,+[ (x) =
n
fn (x) [ 1 ,+[ (x)

n
Tendo em conta que a func

ao x 7
garante que
Z
lim
12
12.1
1
n
x2 x
1
sin
dx =
1 + x3
nx
1
1+x2
x1
1+x3
c
1+x2 ,
x > 0.
c
,
1 + x2
q.t.x [0, +[ , n N.
e integr
avel em [0, +[, o teorema da convergencia dominada
1
x 1 sin nx
[ 1 ,+[ (x) dx =
1
n
n 1 + x3
nx
lim
x1
dx = 0.
1 + x3
Integrais em espacos produto

Produto de -
algebras
Considerem-se dois conjuntos nao vazios, X, Y , providos das -algebras A P (X), F P (Y ),

respectivamente. O conjunto {A B : A A, B F} e uma famla de partes de X Y , mas nao
e, em geral, uma -algebra. Para verificar este facto, considere o seguinte exemplo:
Exemplo 107 Considere-se o caso X = Y = R, A = F = B (R). Qualquer rect
angulo compacto,
c
[a, b][c, d] e produto cartesiano de dois borelianos. No entanto, o seu complementar, ([a, b] [c, d]) ,
n
ao admite nenhuma representac
ao na forma de um produto cartesiano de dois borelianos.
Defini
c
ao vazios, X, Y , providos das -
algebras A P (X),
F P (Y ), respectivamente. Chama-se -
algebra produto de A por F `
a -
algebra de partes de
X Y , ({A B : A A, B F}). Esta -
algebra indica-se por A F.
46
Nota
c
ao 109 Considerem-se conjuntos X, Y , e seja A X Y . Para cada ponto x X (fixo),
chama-se sec
c
ao de A pelo ponto x ao conjunto
Ax = {y Y : (x, y) A} .
A secc
ao de A por um ponto y Y (fixo) e o conjunto
Ay = {x X : (x, y) A} .
Proposi
c
algebras A
P (X), F P (Y ), respectivamente. Para todo A A F, x X, y Y , verifica-se
Ay A.
Ax F,
Demonstra
c
ao. Seja
S = {A A F : x X, Ax F } .
Pretende-se provar que S = A F. Dado que S e, por definicao um subconjunto de A F , basta
provar que A F S.
Note-se que
B C S,
B A, C F.
Logo, A F (S). Entao, para provar que A F S, basta provar que S e uma -algebra de
partes de X Y . Para provar que X Y S, basta notar que, qualquer que seja x X, se verifica
(X Y )x = Y F. Fixe-se um conjunto A S. Entao,
c
(Ac )x = {y Y : (x, y) Ac } = {y Y : (x, y)

/ A} = (Ax ) F,
logo, Ac S. Finalmente, considere-se uma sucessao {Ak S, k N}. Entao,
!
)
(
[
[
Ak
Ak = {y Y : k N, (x, y) Ak } =
=
y Y : (x, y)
kN
kN
{y Y : (x, y) Ak } =
kN
(Ak )x .
kN
A demonstracao de que Ay A e inteiramente analoga.

Proposi
c
algebras A
ao mensur
avel em relac
ao a
P (X), F P (Y ), respectivamente. Seja f : X Y 7 R, uma func
A F. Ent
ao:
1. Para cada x X (fixo), a func
ao y 7 f (x, y) e uma func
ao mensur
avel em relac
ao a F;
2. Para cada y Y (fixo) a func
ao x 7 f (x, y) e uma func
ao mensur
avel em relac
ao a A.
Demonstra
c
ao. Fixe-se um ponto x X, e seja fx : Y 7 R, a funcao definida por
fx (y) = f (x, y) ,
y Y.
Considere-se um aberto A R. Por hipotese, f 1 (A) A F. Logo, a Proposicao 110 garante que
1
f (A) x F. Para provar a proposicao 1 basta notar que
f (A) x = y Y : (x, y) f 1 (A) = {y Y : f (x, y) A} = fx1 (A) .

47
A demonstracao da proposicao 2 e inteiramente analoga.

A seguinte Proposicao e u
til para caracterizar produtos de -algebras.
Proposi
c
algebras A
P (X), F P (Y ), respectivamente. Seja D, um conjunto de partes de X Y que verifique as
seguintes condic
oes:
1. A B D, sempre que A A e B F;
2. A\B D, sempre que A, B D e B A;
3. Dada uma sucess
ao {Ak D, k N}, verifica-se
Ak D desde que Ak Aj , j 6= k.
kN
Ent
ao, A F D.
Demonstra
c
ao. Sem perda de generalidade, podemos supor que D e a menor famlia que satisfaz
as condicoes1 a 3. Considere-se a famlia
D1 = {C D : A A, B F, C (A B) D} .
Tendo em conta que (A1 B1 ) (A2 B2 ) = (A1 A2 ) (B1 B2 ), conclui-se que D1 satisfaz a
condicao 1. Alem disso, dados C1 , C2 D, verifica-se (C1 \C
B) = (C1 (A B)) \ (C2 (A B)) ,
2 )(A
S
S
Ck (A B) =
(Ck (A B)),
pelo que D1 satisfaz tambem a condicao 2. Igualmente,
kN
kN
pelo que D1 e um subconjunto de D que satisfaz tambem as condicoes 1 a 3. Tendo em conta que D
e a menor famla que satisfaz estas condicoes, conclui-se que D1 = D. Considere-se agora a famlia
D2 = {A D : B D, A B D} .
Tendo em conta que D1 = D, constata-se que D2 satisfaz a condicao 1. Repetindo o argumento
anterior, verifica-se que D2 satisfaz tambem as condicoes 2 e 3. Logo, D2 = D, ou seja qualquer
intersecc
ao de um n
umero finito de elementos de D e ainda um elemento de D. Isto, juntamente com
as condicoes 2 e 3, implica que quais quer que sejam A, B D, verifica-se
A\B
A\(B A) D;
AB
(A B) (A\B) D.
Logo, qualquer que seja a sucessao {Ak D, k N}, verifica-se
[
[
[
Ak =
Ak \
Aj D.
kN
kN
j<k
Por hipotese, X Y D. Alem disso, qualquer que seja A D, a condicao 2 garante que Ac =
(X Y ) \A D. Logo, D e uma -algebra que contem a famlia {A B : A A, B F}.
48
12.2
Produto de medidas
Teorema 113 Considerem-se dois espacos de medida -finitos, (X, A, ), (Y, F, ). Fixe-se um
conjunto A A F, e sejam A : X 7 [0, +], A : Y 7 [0, +], as func
oes definidas por
A (x)
A (y)
= (Ax ) ,
x X;
= (A ) ,
y Y.
Ent
ao, A e mensur
avel em relaca
o a A, A e mensur
avel em relac
ao a F e verifica-se
Z
Z
A d =
A d.
X
(20)
Demonstra
c
ao. Note-se que
Z
Z
Ax d =
A (x) = (Ax ) =
Y
A (x, y) (dy) .
Y
Logo, a Proposicao 111 garante que a funcao x 7 A (x) esta bem definida, qualquer que seja
A A F . Um raciocnio analogo mostra que tambem a funcao y 7 A (y) esta bem definida,
qualquer que seja A A F.
Considerem-se duas sucessoes {Bk A, k N}, {Ck F, k N}, que verifiquem
[
X =
Bk ,
(Bk ) < +, k N;
kN
Ck ,
(Ck ) < +,
k N.
kN
Sem perda de generalidade, podemos supor que

Bk Bk+1 ,
Ck Ck+1 ,
k N.
Quaisquer que sejam A A F, x X, k N, verifica-se

Z
Z
A(Bk Ck ) (x) =
A(Bk Ck ) (x, y) (dy) =
Ax Ck (y) Bk (x) (dy) =
Y
ZY
=
Ax Ck (y) (dy) Bk (x) = (Ax Ck ) Bk (x) .
Y
Entao, a Proposicao 44 garante que

(Ax ) = lim (Ax Ck ) ,
k
0 (Ax Ck ) (Ax Ck+1 ) , k N.
Logo, para todo o x X verifica-se

lim (Ax Ck ) Bk (x) = (Ax ) ;
0 (Ax Ck ) Bk (x) (Ax Ck+1 ) Bk+1 (x) , k N.

De modo analogo, para todo y Y verifica-se
limk (Ay Bk ) Ck (y) = (Ay ) ;
0 (Ay Bk ) Ck (y) (Ay Bk+1 ) Ck+1 (y) , k N.
49
(21)
Logo, o Corolario 67 garante que A e mensuravel sempre que A(Bk Ck ) for uma sucessao
oes
de funcoes mensuraveis e A e mensuravel sempre que A(Bk Ck ) for uma sucessao de func
mensur
aveis. O Teorema da convergencia monotona prova que a igualdade (20) e satisfeita sempre
que se verificar
Z
Z
X
A(Bk Ck ) d =
A(Bk Ck ) d,
k N.
Fixe-se k N, e seja S A F , a famlia constituida por todos os conjuntos A A F que

satisfazem as condicoes:
1. A funcao A(Bk Ck ) : X 7 [0, +] e mensuravel em relacao a A;
2. A funcao A(Bk Ck ) : Y 7 [0, +] e mensuravel em relacao a F;
R
R
3. X A(Bk Ck ) d = Y A(Bk Ck ) d.
Para quaisquer conjuntos B A, C F, verifica-se
(BC)(Bk Ck ) (x)
= (BBk )(CCk ) (x) = (C Ck ) BBk (x) ;
(BC)(Bk Ck ) (y)
= (BBk )(CCk ) (y) = (B Bk ) CCk (y) .
Pelo que ambas as funcoes sao mensuraveis e verifica-se

Z
Z
(BC)(Bk Ck ) d =
(C Ck ) BBk (x) (dx) = (C Ck ) (B Bk ) =
X
ZX
Z
=
(B Bk ) CCk (y) (dy) =
(BC)(Bk Ck ) d.
Y
Isto prova que

{B C : B A, C F} S.
(22)
Considerem-se dois conjuntos A, B S, com B A. Entao,

(A\B)(Bk Ck ) (x) =
((A\B)x Ck ) Bk (x) = ((Ax Ck ) \ (Bx Ck )) Bk (x) =
= ( (Ax Ck ) (Bx Ck )) Bk (x) = A(Bk Ck ) (x) B(Bk Ck ) (x) .

Igualmente, se verifica que
(A\B)(Bk Ck ) (y) = A(Bk Ck ) (y) B(Bk Ck ) (y) ,
logo verifica-se
A\B S.
Dada uma sucessao {Ak S, k N}, com Ak Aj = sempre que j 6= k, verifica-se
!
[
X
(S
(x) =
((Am )x Ck ) Bk (x) =
((Am )x Ck ) Bk (x) =
mN Am )(Bk Ck )
mN
mN
X
Am (Bk Ck ) (x) .
=
mN
Igualmente,
(S
mN
Am )(Bk Ck )
(y) =
X
mN
50
Am (Bk Ck ) (y) .
Logo, os Corolarios 67 e 98 garantem que

[
Am S.
mN
Entao, o Teorema decorre da Proposic

ao 112.
R
Note-se que a demonstracao do Teorema 113 prova que X d = 0 e (S
(x) =
mN Am )(Bk Ck )
P
Am (Bk Ck ) (x) sempre que Aj Ak = k 6= j. Por outras palavras, a aplicacao A 7
mN
R
R
d = Y A d e uma medida definida na -algebra A F.
X A
Defini
c
ao 114 Considerem-se dois espacos de medida -finitos, (X, A, ), (Y, F, ). Chama-se medida produto de por `
a medida ( ) : A F 7 [0, +], definida por
Z
Z
( ) (A) =
(Ax ) (dx) =
(Ay ) (dy) .
X
Proposi
c
ao 115 Considerem-se dois espacos de medida -finitos, (X, A, ), (Y, F, ). A medida
produto e a u
nica medida definida na -
algebra A F que verifica
( ) (A B) = (A) (B) ,
A A, B F .
Demonstra
c
ao. Seja : A F 7 [0, +], uma medida que verifica
(A B) = (A) (B) ,
A A, B F.

F com A < +, B
< +, e seja
Fixem-se A A, B
n
S = C A F : C A B
= ( ) C A B
.
Por hipotese, verifica-se
{A B : A A, B F} S.
Considerem-se dois conjuntos C, D S, com D C. Entao,
D A B
=
(C\D) A B
= C A B
( ) D A B
= ( ) C A B
=
,
= ( ) (C\D) A B
ou seja, (C\D) S. Dada uma sucessao {Ck S, k N}, com Ck Cj = sempre que j 6= k,
verifica-se
!
!
X
[
Ck A B
=
Ck A B
=
( ) Ck A B
=
kN
kN
= ( )
!
Ck
kN
pelo que
Ck S.
kN
51
kN
A B
!
,
,
Entao, a Proposicao 112 garante que AF = S, ou seja, C A B
= ( ) C A B
C A F. Tendo em conta que (X, A, ), (Y, F, ) sao -finitos, a Proposicao 44 garante que
(C) = ( ) (C), C A F.
A proposicao 115 tem o seguinte corolario imediato:
Corol
ario 116 Considerem-se os espacos Rn , Rm , Rn+m , munidos das respectivas medidas de
Lebesgue, n , m , n+m . Ent
ao, n+m = (n m ) .
12.3
Teoremas de Fubini
Teoremas que relacionam integrais em espacos produto com integrais iterados sao genericamente
conhecidos como teoremas de Fubini. Nesta seccao apresentam-se dois teoremas deste tipo.
Teorema 117 Considerem-se dois espacos de medida -finitos, (X, A, ), (Y, F, ), e seja f : X
Y 7 [0, +], uma func
ao mensur
avel em relac
ao a A F . Ent
ao,
Z
Z
Z
Z
f d ( ) =
f (x, y) (dy) (dx) =
f (x, y) (dx) (dy) .
XY
Demonstra
c
ao. Considere-se um conjunto A A F. O Teorema 113 garante que
Z
Z Z
Z Z
A d ( ) =
A (x, y) (dy) (dx) =
A (x, y) (dx) (dy) .
XY
Logo, o Teorema e verdadeiro para qualquer funcao simples mensuravel, s : X Y 7 [0, +]. Fixe-se
uma funcao mensuravel, f : X Y 7 [0, +] (nao necessariamente simples). O Teorema 74 garante
que existe uma sucessao de funcoes simples mensuraveis que verifica
0 s1 (x, y) s2 (x, y) ... sk (x, y) ... f (x, y) ,
lim sk (x, y) = f (x, y) ,
(x, y) X Y ;
(x, y) X Y.
k+
Entao, verifica-se
Z
sk (x, y) (dx)
sk+1 (x, y) (dx) ,
y Y,
e o Teorema da convergencia monotona garante que

Z
Z
f (x, y) (dx) = lim
sk (x, y) (dx) ,
k X
ZX
Z
f d ( ) = lim
sk d ( ) .
y Y ;
XY
XY
Logo, o Teorema da convergencia monotona implica tambem
Z
Z
Z Z
f d ( ) = lim
sk d ( ) = lim
sk (x, y) (dx) (dy) =
k XY
k Y
XY
X
Z
Z
Z Z
=
lim
sk (x, y) (dx) (dy) =
A (x, y) (dx) (dy) .
Y
A igualdade
R
XY
f d ( ) =
R R
X
A (x, y) (dy) (dx) prova-se de modo analogo.
52
Teorema 118 Considerem-se dois espacos de medida -finitos, (X, A, ), (Y, F, ), e seja f : X
Y 7 R, uma func
ao integr
avel em relac
ao a ( ). Ent
ao,
Z
Z Z
Z Z
f d ( ) =
f (x, y) (dy) (dx) =
f (x, y) (dx) (dy) .
XY
Demonstra
c
ao. Tendo em conta a definicao de integral e o Teorema 117, obtem-se
Z
Z
Z
f d ( ) =
f + d ( )
f d ( ) =
XY
XY
XY
Z Z
Z Z
f (x, y) (dy) (dx) .
f + (x, y) (dy) (dx)
=
X
R R
R R
Pelo Teorema anterior, os integrais X Y f + (x, y) (dy) (dx), X Y f (x, y) (dy) (dx)
sao finitos. Logo, o Teorema 90 garante que
Z
Z Z
Z
+
f d ( ) =
f (x, y) (dy)
f (x, y) (dy) (dx) =
XY
X
Y
Y
Z Z
=
f (x, y) (dy) (dx) .
X
A igualdade
R
XY
f d ( ) =
R R
Y
f (x, y) (dx) (dy) prova-se de modo analogo.
O Teorema 117 tem o seguinte Corolario bastante u

til.
Corol
ario 119 Considerem-se dois espacos de medida -finitos, (X, A, ), (Y, F, ), e seja f : X
Y 7 R, uma func
ao mensur
avel em relac
ao a A F .
R R
Se X Y |f (x, y)| (dy) (dx) < +, ent
ao f e integr
avel em relaca
o a ( ).
Demonstra
c
ao. Basta notar que, pelo Teorema 117, se verifica
Z
Z Z
|f | d ( ) =
|f (x, y)| (dy) (dx) .
XY
Refer
encias
[1] Cohn, D. L.: Measure theory. Springer. ISBN: 0817630031. (1994).
[2] Loja Fernandes, R.: O Integral de Lebesgue. Folhas de apoio, IST. (2004).
[3] Rudin, W.: Real and Complex Analysis (Third edition). McGraw-Hill. ISBN 0-07-054234-1 (1987).
53
Indice
-algebra, 10
de Borel, 13
de Lebesgue, 21
gerada por uma famlia, 12
produto, 46
Algebra, 10
inversa, 7
Inclusao
relacao de, 6
Integral
de uma funcao mensuravel, 35
de uma funcao nao negativa, 32
de uma funcao simples positiva, 30
Cardinal, 7
Cardinalidade, 7
Conjunto
-mensuravel, 18
das partes de um conjunto, 6
de Cantor, 23
de partes de um conjunto, 6
finito, 7
infinito, 7
mensuravel, 11
em relacao à medida exterior de Lebesgue,
18
mensuravel no sentido de Lebesgue, 18
numeravel, 8
vazio, 5
Lema
de Fatou, 42
Medida, 14
de contagem, 15
de Lebesgue, 21
de massa unitaria, 15
produto, 51
Medida exterior de Lebesgue, 17
Multiplicacao
com infinitos, 30
Parte negativa de uma funcao, 35
Parte positiva de uma funcao, 35
Produto
de -algebras, 46
de medidas, 51
Elemento
de um conjunto, 5
Espaco
de probabilidades, 16
Espaco de medida, 15
-finito, 15
finito, 15
q.t. x X, 37
q.t.p.[], 37
quase toda a parte, 37
quase todo x X, 37
seccao
de um conjunto, 47
Soma
com infinitos, 30
Funcao
Boreliana, 24
de Dirichlet, 25, 28, 30
integr
avel, 35
mensuravel, 24
mensuravel no sentido de Lebesgue, 24
parte negativa, 35
parte positiva, 35
simples, 28
Teorema
da convergencia dominada de Lebesgue, 43
da convergencia monotona, 40
de Fubini, 52, 53
Variavel aleatoria, 25
Imagem
de um conjunto por uma funcao, 7
54

Medida de Lebesgue Revisão

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Medida de Lebesgue Revisão

Transféré par

Droits d'auteur :

Formats disponibles

Analise Matematica III

Teoria da medida e integral de Lebesgue

8 Conjuntos de medida nula

A teoria do integral de Riemann contem duas importantes fraquezas:

inf f (x) C (Ei ) .

com > 0 arbitrariamente pequeno. Em seguida, definem-se os subconjuntos do domnio em que a

iC ({x E : f (x) [i, (i + 1) [}) .

Figura 1: Soma inferior associada a uma particao do domnio de f

domnio sera possvel definir a funcao , acima referida?

esta-se a definir o conjunto A como sendo o conjunto cujos elementos sao os n

Os termos conjunto, famliaou classesao sinonimos. No entanto, e costume usar o termo

Imagens de conjuntos por func

Dados dois conjuntos X, Y , a expressao

Exemplo 12 Seja X, o conjunto dos inteiros positivos pares. Ent

Xn e um conjunto finito ou numer

3. O produto cartesiano X1 X2 e um conjunto finito ou numer

Xn se encontram na tabela (3), que pode ser percorrida na sua totalidade

necessarios para o encontrar percorrendo atabela do

(x1,1 , x2,1 ) (x1,1 , x2,2 ) (x1,1 , x2,3 )

em vez da tabela (3).

condicoes da Proposicao. Recprocamente, suponha-se que A e uma famlia de partes de X que

Dado um conjunto nao vazio, X, e uma -algebra de partes de X, A, as expressoes A Ae

Ai . Isso significa que A Ai , i I. Tendo em conta que cada

famlia Ai e uma -algebra de partes de X, isso implica Ac Ai , i I, ou seja

{, {1} , {2, 3, 4} , {1, 2, 3, 4}} ;

{, {4} , {1, 2, 3} , {1, 2, 3, 4}} .

Facilmente se verifica que A1 e A2 s

Igualmente, qualquer aberto e o complementar de um fechado, pelo que {A R : A e aberto}

({[, a[: a R}) =

algebra de partes de X, A. Diz-se que uma

Nesse caso, o tripleto (X, A, ) chama-se um espa

2. (X, P (X) , ) e um espaco de medida -finito se e s

Exemplo 43 Diz-se que um espaco de medida, (X, A, ), e um espa

An , sempre que An A, An+1 An , n N e (A1 ) < +.

Facilmente se verifica que todos os conjuntos Bn sao elementos da -algebra A e

Entao usando a definicao de medida,obtem-se

Somando e subtraindo a sucessao (An ) (A1 ) < + dentro do limite, obtem-se

+ lim ( (A1 ) (An )) =

lim (An ) + (A1 ) ,

Esta desigualdade e verdadeira para qualquer > 0, pelo que

A medida exterior de Lebesgue, : P (Rn ) 7 [0, +] nao e uma medida porque

Tendo em conta que (Ac ) = A, imediatamente resulta da Definicao 48 que

(B (A1 A2 )) + (B (A1 A2 ) ) = (B A1 ) + (B A2 Ac1 ) + (B Ac1 Ac2 ) .

(B (A1 A2 )) + (B (A1 A2 ) ) = (B A1 ) + (B Ac1 ) .

(B (A1 A2 )) + (B (A1 A2 ) ) = (B) ,

= B A1 A2 + B A1 Ac2 + B Ac1 A2 + B Ac1 Ac2 =

Suponha-se que para algum k N , se verifica

Entao, a Proposicao 47 implica que

Aj M (Rn ), pelo que M (Rn ) e uma -algebra.

Considere-se agora uma sucessao {Ak M (Rn ) , k N}, em que Ak Aj = , k 6= j. Entao,

Uma vez que a Proposicao 47 garante que

(Aj ), provou-se que : M (Rn ) 7

[0, +] e uma medida.

A = Rnk ], a[ Rk1 : k {1, 2, ..., n} , a R .

E (x). A proposicao 15 e o Corolario 16 garantem

Exemplo 51 Para cada x [0, 1], considere-se o conjunto

Fixem-se p, q Q, com p 6= q, e suponha-se que existe x (B + q) (B + p). Tal significa que

Suponha-se que B M (R). A partir da Definic

Tendo em conta que ([1, 2]) < + e que o somat

Isto implica 1 0, o que e claramente uma contradic

A seguinte Proposicao decorre imediatamente da Definicao 46:

= . Fazendo 0, conclui-se que (B) 0.

Falta provar que C n

Admite tambem uma representac