Universidade Federal de Sergipe

Pro-Reitoria de pos-graduacao e pesquisa

Coordenacao de pesquisa

Programa Institucional de Bolsas de Iniciacao Cientfica

PIBIC

UMA ABORDAGEM ANALITICA DA MEDIDA DE

LEBESGUE SOBRE A RETA

Area de Concentracao: Analise

Bolsista: Geivison dos Santos Ribeiro

Orientador: Prof. Wilberclay Goncalves Melo

Relatorio final
Perodo 2015-2016
 RESUMO

Uma medida num conjunto X e uma funcao que atribui um numero real nao-negativo
para cada subconjunto do proprio X. Tal numero pode ser interpretado como uma conta-
gem, um comprimento, um tamanho ou ate mesmo como uma capacidade. Com o objetivo
de enteder o comportamento da integral de Lebesgue em relacao a integral de Riemann, fa-
remos um estudo da medida de Lebesgue sobre a reta real e em paralelo, discutiremos sobre
conjuntos que sao pequenos do ponto de vista da medida, mas todavia grandes do ponto de
vista da cardinalidade. Um exemplo de tais conjuntos e Q, que possui medida (de Lebesgue)
0, possuindo infinitos pontos (cardinalidade infinita). Portanto, a nossa contribuicao nao
esta baseada somente no estudo da medida de Lebesgue, mas tambem no desenvolvimento
necessario para chegarmos a sua integral.

Palavras-chave: Medida exterior. Funcoes Mensuraveis. Integral de Lebesgue na Reta.

Sumario

0.1 Medida de Lebesgue sobre a Reta Real . . . . . . . . . . . . . . . . . . . . . 5

0.1.1 Medida Exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.1.2 Conjuntos mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . 7
0.1.3 Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
0.2 Funcoes Mensuraveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
0.3 Integracao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
0.3.1 Integracao de funcoes Simples . . . . . . . . . . . . . . . . . . . . . . 16
0.3.2 Integracao de funcoes mensuraveis nao-negativas . . . . . . . . . . . . 17
0.3.3 Integral de Lebesgue (caso geral em R) . . . . . . . . . . . . . . . . . 19
0.4 Teoremas de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

3.Metodologia 23

4.Resultados e Discussao 23

5.Conclusoes 24

4.Pespectivas 24

6.Bibliografia 25

3
Introducao

Em meados do seculo XX uma teoria de integracao foi desenvolvida baseada nas ideias de
Riemann. Esta teoria, entretanto, contem certos inconvenientes que a tornam inadequada
para o estudo de varios problemas da Analise Matematica. Diante disso, matematicos da
epoca obteveram exito em uma nova classe de funcoes integraveis que contivesse a classe
das funcoes integraveis a Riemann (onde as duas integrais deveriam coincidir) e na qual os
inconvenientes da integral de Riemann desaparecessem ou, pelo menos, fossem minimizados.
O passo decisivo no sentido de se obter uma definicao de integral que eliminasse as deficiencias
existentes na integral de Riemann foi dado por Henri Lebesgue (1875-1941), quando em
1902 publicou sua famosa tese de doutoramento, intitulada: Integrale, longueur, aire. E
justamente a que aparece a nocao de medida de Lebesgue que nasceu com o objetivo de criar
novas tecnicas e propriedades que fossem capazes de generalizar o estudo sobre as integrais
de Riemann. As ideias de Lebesgue se afastaram tanto dos canons da epoca que foram,
em princpio, refutadas e severamente criticadas ou, na melhor das hipoteses, aceitas com
desconfianca. Todavia, a originalidade de suas ideias encontrou crescente reconhecimento,
vindo a completar definitivamente certas lacunas inerentes da integral de Riemann.

4
 Revisao da Literatura

0.1 Medida de Lebesgue sobre a Reta Real

Como parte final da proposta do nosso trabalho, nesta segunda etapa fizemos um estudo
introdutorio sobre dois tipos de medidas: A medida exterior e a medida de Lebesgue na reta.

0.1.1 Medida Exterior

Nos captulos seguintes I sera um intervalo em R, ao passo que todos os conjuntos con-
siderados serao subconjuntos de R. Se I for um intervalo com extremos a e b, a 6 b,
(a, b R), denotaremos o comprimento de I por | I |= b a. Definiremos o conjunto vazio
por = (a, a). Se I = (a, ), [a, ), convencionaremos que | I |= a = . De forma
analoga, se I = (, b), (, b] teremos que | I |= .

Definicao 0.1. Se A R, definimos a medida exterior de A por

m (A) = inf {
k=1 |Ik | : A Ik }

onde {Ik } e uma colecao enumeravel de intervalos abertos que cobrem A.

A partir de agora, estamos em condicoes de verificar que m () 6 0. Com efeito, basta

considerar Ik = (ak , ak ), para cada k, (k = 1, 2, 3, ...). Com isso, obteremos que Ik
e que m () k=1 |Ik | = 0. O resultado a seguir contem propriedades importantes, onde
uma delas nos diz que m () 0.

Proposicao 0.1. A medida exterior satisfaz as seguintes propriedades:

i) 0 m (A) , para todo A R (nao-negatividade);

ii) m (A) m (B), sempre que A B, (monotonicidade);

5
iii) Se A
n=1 An , entao m (A) n=1 m (An ) (subadtividade);

iv) Se A R e um intervalo, entao m (A) = |A| ;

v) Dado h R, tem-se que m (A + h) = m (A) (Invariancia por translacao).

Demonstracao: (i) Basta usar a propria definicao de medida exterior.

(ii) Sejam {Ik } e {Jk } colecoes enumeraveis de intervalos abertos que cobrem A e B
respectivamente.Vamos verificar que m (A) m (B). Para isso, considere os conjuntos
X = {
k=1 |Ik | : A k=1 Ik } e Y = {k=1 |Jk | : B k=1 Jk } e note que Y X, pois
dado a Y , tem-se que a = 0
k=1 |Jk |, onde os Jk s cobrem B, (B k=1 Jk ). Como A B,
0
podemos concluir que os Jk s tambem cobrem A. Logo, a X. A partir da, podemos obter
que m (A) := inf X inf Y =: m (B).

(iii) Sejam (An ) uma colecao de subconjuntos de R e > 0. Como m (An ) := inf {|Ik | :
An k=1 Ik } para cada n N, e sempre possivel exibir uma colecao de intervalos abertos
(In,k )
k=1 tais que An k=1 In,k e

k=1 |In,k | < m (An ) +
2n
Por hipotese, A
n=1 An . Com isso, A n=1 An n=1 (k=1 In,k ) = n,k=1 In,k . Isto
nos diz que m (A)
n,k=1 |In,k | = n=1 k=1 |In,k | < n=1 [m (An ) + 2n ] = n=1 m (An ) + .
Fazendo 0, podemos concluir que m (A)
n=1 m (An ) como gostariamos.

(iv) A priori , vamos considerar o caso em que A = [a, b] com a, b R. Sendo assim,
dado > 0, podemos escolher I1 = (a 2 , b + 2 ) e Ik = , para cada k > 1. Dessa
forma, tem-se que m (A) k=1 |Ik | = |I1 | = b a + = |A| + . Isto nos diz que,
m (A) |A|. Agora, devemos verificar que m (A) |A|. Com efeito, dada uma cobertura

de A atraves de intervalos abertos Ik0 s, podemos usar o fato de que A e compacto e assumir
que A I1 I2 ... In , a menos de uma renumeracao dos ndices. Novamente, renumere
de forma conveniente e escolha um numero real aj+1 de forma que (aj , aj+1 ) Ij , para cada
j, j = 1, 2, ..., n (considerando que a = a1 e b = an+1 ). Assim, teremos que

|A| = b a = nj=1 [aj+1 aj ] = nj=1 |Ij |

j=1 |Ij |

Isto nos diz que

|A| m (A).
Portanto, m (A) = |A|.

Agora, poderiamos escolher A como um dos seguintes intervalos: (, b), (, b], (a, +), [a, +), (a
Sem perder generalidade, vamos supor que A = (a, b). Da, para > 0, considere o in-
tervalo [a + m1 , b m1 ], para m N conveniente. Tal intervalo e compacto e com isso,

6
m (A) m ([a + m1 , b m1 ]) = |[a + m1 , b m1 ]| = b a m2 . Passando ao limite quando
m obtemos que m (A) b a = |A|. Para mostrar que m (A) |A| basta considerar
I1 = (a 2 , b + 2 ) e Ik = para k > 1. No caso em que A = (a, +), sabemos que
|A| = a = . Por isso, basta considerar I = [a + 1, a + m], com m > 1 e prosseguir
com um raciocnio analogo aos dos itens anteriores.(Faca m ).

(v) Dado > 0, podemos exibir uma colecao enumeravel de intervalos {Ik } que cobrem
A, (A
k=1 Ik ) de forma que

k=1 |Ik | < m (A) +

Note que A + h k=1 (Ik + h). Isto nos diz que a colecao {Ik + h} forma uma cobertura
para A + h. Sendo assim, m (A + h)
k=1 |Ik + h| = k=1 |Ik | < m (A) + . Com isso,
m (A + h) m (A)(*). Agora, observe que A = (A + h) h. Da, podemos usar a desigual-
dade (*) e concuir que m (A) = m (A + h h) m (A + h). Portanto, m (A + h) = m (A)
como gostariamos.

O exemplo a seguir, nos da condicoes de verificar quando um subconjunto

de R e ou nao enumeravel.

Exemplo 0.1. Se A = {a1 , a2 , ..., an , ...} e um conjunto enumeravel, entao m (A) = 0.

Com efeito, dado > 0, escolha Ik = (ak 2k+1 , ak + 2k+1 ), k N. Isto nos mostra que
1
A k=1 Ik . Da, note que m (A) |Ik | = 2k = 2k = . Fazendo 0 obtemos que
m (A) = 0.

0.1.2 Conjuntos mensuraveis

A partir de agora, definiremos uma classe de conjuntos que se estenderam por toda a teo-
ria da medida. Tais conjuntos serao de grande importancia quando falarmos sobre funcoes
mensuraveis.

Definicao 0.2. (Conjuntos Mensuraveis) Seja A R. Dizemos que A e mensuravel a Le-

besgue ou simplesmente mensuravel, se m (E) = m (E A) + m (E Ac ), para todo
E R.

Observacao 0.1. Para mostrar que um determinado conjunto A e mensuravel nao e ne-
cessario verificar a igualdade acima, (basta mostrar que m (E) m (E A) + m (E Ac ),
para todo E R), pois dado E R, tem-se que E = (E A) (E Ac ). Da, podemos
utilizar a subaditividade e concluir que m (E) m (E A) + m (E Ac ).

7
Exemplo 0.2. (Conjuntos Mensuraveis) Os conjuntos e R sao mensuraveis.

De fato, pois m (E) = m (E) + = m (E R) + m (E Rc ), para todo E R.

Exemplo 0.3. O complementar de qualquer conjunto mensuravel e tambem mensuravel.

Com efeito, dado A R mensuravel, tem-se que m (E Ac ) + m (E (Ac )c ) =

m (E Ac ) + m (E A) = m (E), para cada E R, pois A e mensuravel.

O proximo exemplo nos da uma condicao necessaria para que um determinado conjunto
seja mensuravel.

Exemplo 0.4. Seja A R. Se m (A) = 0, entao A e mensuravel.

Com efeito, como E A A e E Ac E, para cada E R, obtemos que,

m (E A) m (A) = 0 ao passo que m (E Ac ) m (E). Dessa forma m (E)
m (E Ac ) + 0 = m (E Ac ) + m (E A).

O resultado a seguir, nos mostra que a recproca do exemplo anterior nao e valida
para qualquer subconjunto de R.

Proposicao 0.2. Cada intervalo e um conjunto mensuravel.

Demonstracao: Sejam A um intervalo e E um subconjunto de R arbitrario. Vamos

verificar que
m (E) m (E A) + m (E Ac ).
Com efeito, dado > 0, podemos exibir uma colecao enumeravel {Ik } de intervalos abertos
que cobrem E, (E
k=1 Ik ) tais que k=1 |Ik | < m (E) + .
Considere sem perder generalidade que A = (a, b) e que Ik = (ak , bk ) para cada k.
O conjunto A Ik e um intervalo, ao passo que o conjunto Ac Ik , ou e um intervalo,
ou e uma uniao de dois intervalos, (Basta tomar Ik A e teremos que Ac Ik
e uma uniao de dois intervalos). Sejam Jk = Ik A e Lk = Ik Ac , para cada
k. Note que |Jk | + |Lk | |Ik | + 2k . Por outro lado, como E k=1 Ik , tem-se que

E A (k=1 Ik )A k=1 Jk e E A (k=1 Ik )A k=1 Lk . Com isso, (|Ik |+ 2k )
c c

(|Jk | + |Ik |) = |Jk | + |Ik | m (E A) + m (E Ac ). Como |Ik | < m (E) + , podemos

fazer 0 e obter que m (E) m (E A) + m (E Ac ).

Proposicao 0.3. Sejam A e B conjuntos mensuraveis. Entao,os conjuntos A B e A B

sao mensuraveis.

8
 Demonstracao: Seja E um subconjunto de R arbitrario. Como A e mensuravel, tem-se
que m (E (A B)) = m (E (A B) A) + m (E (A B) Ac ) = m (E A) + m (E
B Ac ).**
Por outro lado, podemos usar o fato de que B e tambem mensuravel e obter que
m (E) = m (E A) + m (E Ac ) = m (E A) + [m (E Ac B) + m (E (Ac B c ))] =
m (E (A B)) + m (E (A B)c ). Logo, A B e mensuravel. Agora, vamos mos-
trar que A B e mensuravel. De fato, como A e B sao mensuraveis, tem-se que Ac e B c
sao mensuraveis. Usando o que fizemos acima, obtemos que Ac B c e mensuravel. Logo,
m (E) = m (E (Ac B c )) + m (E (Ac B c )c ) = m (E (A B)c ) + m (E (A B)),
para todo E R.

Proposicao 0.4. Sejam A1 , A2 , ..., An0 e uma colecao de conjuntos mensuraveis dois a dois
disjuntos e E e um subconjunto qualquer de R. Entao

m (E (k=1
n0
Ak )) = nk=1
0
m (E Ak ).

A seguir veremos quais sao as condicoes interessantes para que a medida da uniao de
conjuntos se torne igual a soma das medidas de cada um deles.

Teorema 0.1. Seja (An ) n=1 uma sequencia de conjuntos mensuraveis dois a dois disjuntos.

Entao, a uniao n=1 An e mensuravel e alem disso,

m (
n=1 An ) = n=1 m (An )

Demonstracao: Sejam Bn = nk=1 Ak e B = 0

k=1 Ak . Como os Bn s sao mensuraveis,
n
tem-se que m (E Bn0 ) + m (E Bnc 0 ) = k=1
0
m (E Ak ) + m (E Bnc 0 ) , para cada E R
e n0 fixo. (+)
Como Bn0 B, tem-se que B c Bnc 0 . Da, m (E Bnc 0 ) m (E B c ). (++)
Passando ao limite quando n0 na desigualdade (+) e usando (++) obtemos que
m (E)
c
k=1 m (E Ak ) + m (E B ). Por outro lado, note que E B = E (k=1 Ak ) =
k=1 (E Ak ). sendo assim, m (E B)
k=1 m (E Ak ). (+++)

Logo, nk=1 m (E Ak ) + m (E B c ) (+++) m (E B) + m (E B c ) e com isso, po-

demos usar (++) e (+++) para concluir que m (E) m (E B) + m (E B c ). Isto nos
diz que B e mensuravel. Por conseguinte temos que m (E) = m (E B) + m (E B c )
c
k=1 m (E Ak ) + m (E B ). Logo, m (E) = k=1 m (E Ak ) + m (E B ). To-
c

mando E = B, obtemos que m (B) = m (E) = k=1 m (E Ak ) + m (E B c ) =

k=1 m (B Ak ) + m () = k=1 m (Ak ) como queriamos. 

9
 Teorema 0.2. Seja (Bn )
n=1 uma sequencia de conjuntos mensuraveis. Entao, os conjuntos
B
n=1 n e
B
n=1 n sao mensuraveis.

Demonstracao: Sejam A1 = B1 , A2 = B2 B1c ,..., An = Bn (B1 B2 ...Bn1 )c . Vamos

mostrar de forma indutiva a priori que nk=1 Ak = nk=1 Bk , para cada n N. De fato, Supondo
que nk=10
Ak = nk=1
0
Bk , vamos verificar que tal igualdade e valida para n0 + 1. Com efeito,
k=1 Ak = (k=1 ) An0 +1 = nk=1
n0 +1 n0 0
Ak (Bn0 +1 (nk=1
0
Bk )c ) = nk=1
0
Bk Bn0 +1 = nk=1
0 +1
Bk .
c
Quanto ao caso n = 2, tem-se que A1 A2 = B1 (B2 B1 ) = B1 B2 .
Como An e mensuravel, para cada n, podemos usar o teorema anterior e concluir que n=1 An
e mensuravel. Logo, B
n=1 n e mensuravel. Por outro lado, note que (
B
n=1 n
c c
) =
n=1 Bn .

Como o complementar de um mensuravel e tambem mensuravel, tem-se que n=1 B e men-
suravel. 

0.1.3 Medida de Lebesgue

Neste captulo definiremos a chamada medida de Lebesgue sobre R e obteremos ferramentas
que nos possibilitarao fazer um estudo sobre os tipos de funcoes que sao integraveis com
respeito a essa medida.

Definicao 0.3. (Medida de Lebesgue em R) Seja A um conjunto mensuravel. Definimos a

medida m de lebesgue com relacao a A por:

m(A) := m (A).

Teorema 0.3. (Continuidade superior e inferior) Sejam (An ) e (Bn ) sequencias de con-
juntos mensuraveis tais que A1 A2 ... e B1 B2 .... Entao:

1. m(
n=1 Bn ) = limn m(Bn ); (continuidade superior)

2. m(
n=1 An ) = limn m(An ), se m(A1 ) < . (continuidade inferior)

Demonstracao: 1. Sejam C1 = B1 e Cn+1 = Bn+1 Bnc , para n > 1. Vamos mostrar

que os Cn0 s sao disjuntos. De fato, pois dados i, j (digamos que i < j), e a Cj temos que
c
a Bj e a Bj1 . Como i j 1 e B1 B2 ... tem-se que a Bic . Isto nos diz que
c
a Ci .
Por outro lado, Cn e mensuravel para cada n, pois trata-se de uma intersecao de men-
suraveis. Alem disso,
n=1 Bn = n=1 Cn . Com isso, temos que m(n=1 Bn ) = m(n=1 Cn ) =
n n n
n=1 m(Cn ) = limn k=1 m(Ck ) = limn m(k=1 Ck ) = limn (k=1 Bk ) = limn m(Bn ).

2. Note que A1 = c c c
n=1 An [(A1 A2 ) (A1 A3 ) ...]. Considere que Bn := A1 An ,
para cada n N. Vamos mostrar que c
n=1 Bn = A1 A , onde A = n=1 An . Com efeito,
dado a c
n=1 Bn , tem-se que a Bn0 = A1 An0 , para algum n0 . Da,

10
 a Acn0 c c c c
n=1 An = (n=1 An ) = A . Dessa forma, a A1 A e com isso, n=1 Bn
A1 A . Por outro lado, dado b A1 A , tem-se que b A = (n=1 An ) =
c c c c c
n=1 An .
Isto nos diz que b Acm0 para algum m0 . Em consequencia, b Bm0 Bn . Portanto,
c
n=1 Bn = A1 A .Por conseguinte, note que B1 B2 ..., pois An+1 An , para todo n.
Alem disso, A [A1 Ac ] = A A1 Ac = . Dessa forma, m(A1 ) = m(A [A1 Ac ]) =
m(A)+m(A1 Ac ) = m(A)+m( n=1 Bn ) =
(1)
m(A)+limn m(Bn ). Agora, vamos mostrar
que A1 = An Bn , para cada n. De fato, dado n N e x A1 tem-se que

ou x An , ou x 6 An . Com isso, ou x An , ou x Bn . De qualquer forma, x An Bn .

Por outro lado, como An A1 e Bn = A1 Acn , tem-se que An Bn A1 . Em consequencia,
m(A1 ) = m(An Bn ) = m(An ) + m(Bn ). Passando ao limite quando n obtemos que
m(A1 ) = limn [m(An ) + m(Bn )]. A seguir, note que 0 m(An ) m(A1 ), para cada n.
Isto nos diz que m(An ) e uma sequencia limitada e alel disso, nao-crescente. Assim, m(A1 ) =
lim m(An ) + lim m(Bn ). Em suma, lim m(An ) + lim m(Bn ) = m(A1 ) = m(A) + lim m(Bn ).
Como m(A1 ) < , obtem-se que m(A) = lim m(An ). 

Proposicao 0.5. (Invariante por translacao) Sejam A um conjunto mensuravel e h R.

Entao, o conjunto A + h e mensuravel e alem disso,

m(A + h) = m(A).

Demonstracao: Sejam E um subconjunto arbitrario de R e h R. Vamos mostrar que

E (A + h) = [(E h) A]] + h. De fato, dadox E (A + h) obtem-se que x = a + h, para
algum a A. Da, a = x h E h e com isso, a [(E h) A] + h. Por outro lado, dado
y [(E h)A]+h, tem-se que y = b+h, com b = ch (E h)A e c E.Dessa maneira,
y = b+h = (ch)+h = c E e y = b+h A+h. Isto nos mostra que y E (A+h) como
gostariamos. De forma analoga, E(A+h)c = [(Eh)Ac ]+h. Agora estamos em condicoes
de verificar que o conjunto A+h e mensuravel. Com efeito, sabemos que m (E) = m (E h)
Como A e mensuravel, obtemos que m (E h) = m ((E h) A) + m ((E h) Ac ) =
m ([(E h) A] + h) + m ([(E h) Ac ] + h) = m (E (A + h)) + m (E (A + h)c ) como
queriamos. 

O resultado a seguir sera util para o nosso estudo, pois exibira uma relacao entre os
conjuntos abertos e os mensuraveis.

Lema 0.1. Todo aberto de R pode ser escrito como uma uniao enumeravel de intervalos
abertos dois a dois disjuntos.

Proposicao 0.6. Qualquer subconjunto aberto de R e mensuravel.

11
 0
Demosntracao: Seja A R um aberto. Pelo lema anterior A = m Im , onde os Im s
sao abertos e disjuntos,( enumeravel). Como cada intervalo e mensuravel, tem-se que A e
mensuravel. 

Corolario 0.1. Qualquer subconjunto fechado em R e mensuravel.

Demonstracao: Seja F um fechado em R. Note que F = (F c )c . Pelo rsultado anterior

F c e mensuravel. Como o complementar de qualquer mensuravel e tambem mensuravel,
tem-se que F e emnsuravel. 

A seguir, exibiremos o chamado teorema da aproximacao para conjuntos men-

suraveis. Tal resultado, nos diz que e sempre possvel nos aproximarmos de um conjunto
mensuravel atraves de conjuntos fechados e abertos respectivamente.

Teorema 0.4. (Aproximacao) Seja A R um conjunto mensuravel. Entao, dado > 0

tem-se que:
1. Podemos encontrar um conjunto aberto C R tal que A C e m(C Ac ) < 2 .

2. Podemos determinar um conjunto fechado B R tal que B A e m(A B c ) < 2 .

3. Existe um conjnto aberto C e um fechado B tal que B A C e m(C B c ) < .

Demonstracao: 1) Vamos supor a priori que m(A) < . Como m(A) = m (A) =
inf {k=1 |Ik | : A Ik } tem-se que dado > 0, e possivel encontrar uma colecao de
intervalos abertos {Ik } tais que A Ik e
k=1 |Ik | < m(A) + 2 . Defina C = Ik e note que

A C,(C e aberto). Alem disso, m(C) 6 k=1 |Ik | < m(A)+ 2 . (). Como (C Ac )A = C,
obtem-se que m(C) = m (C) = m (C Ac A) = m(C Ac ) + m(A).
Como m(A) < , podemos concluir que m(C Ac ) = m(C) m(A) < 2 .
Agora, se m(A) = , escreva R = n= [n, n + 1] e defina para cada n Z o conjunto
An := A [n, n + 1]. Da, tem-se que An e mensuravel e que m(An ) < , pois An

[n, n + 1], para cada n. Logo, existe um aberto Cn tal que An Cn e m(Cn Acn ) < 2|n|+4 .

Como n= An = A, obtem-se que A n= An n= Cn . Sendo assim, escolha
C = c
n= Cn e observe que m(C A ) m(n= (Cn An )), pois
c
c c c c
C A = Cn [An ] = Cn [An ] [Cn An ]. Continuando, obtemos que
m (C Ac ) m( c c 0
n= (Cn An )) 6 m(Cn An ) 6 2|n|+4 = 2|n|+4 +

3
1 2|n|+4 = m=0 2|m|+4 + n=1 2|n|+4 = 8 + 16 = 16 < 2 .

2) Sabemos que Ac e mensuravel. Logo usando o item 1), podemos exibir um aberto
G tal que Ac G e m(G A) < 2 . Dai, escolhendo B = Gc obtemos que B e fechado,
B = Gc A e que

m(A B c ) = m(A G) <
2
12
 .

3) Note que m(C B c ) = m (C B c ) = m (C B c A) + m (C B c Ac ) =

m (A B c ) + m (C Ac ) < 2 + 2 = . 

0.2 Funcoes Mensuraveis

As funcoes mensuraveis tem um papel importante na teoria da medida, pois sao capazes
de preservar a famlia dos conjuntos mensuraveis. Como objeto de nosso estudo, veremos
que tais funcoes alem de preservar a estrutura dos espacoes relacionados com a medida de
lebesgue, serao de grande importancia quando chegarmos na teoria de integracao.

Definicao 0.4. Uma funcao real f : R R e dita mensuravel se, f 1 (A) e um conjunto
mensuravel, para cada A R aberto.

Proposicao 0.7. Toda funcao contnua e mensuravel.

Demonstracao: Basta utilizar o fato de que todo conjunto aberto e mensuravel e que a
imagem inversa de um aberto atraves de uma funcao contnua e tambem um conjunto aberto.

Teorema 0.5. Sejam f : R R uma funcao real e A R. Entao, as seguintes afirmacoes

sao equivalentes:

1. f e mensuravel;

2. f 1 (A) e mensuravel, se A e fechado em R;

3. f 1 (A) e mensuravel, se A e um intervalo;

4. f 1 (A) e mensuravel, se A e um intervalo aberto;

5. f 1 (A) mensuravel, se A = (a, ), a R.

Demonstracao: 1. 2. Seja A R um conjunto fechado. Entao, Ac e aberto. Como

f 1 (Ac ) = (f 1 (A))c , tem-se que f 1 (A) = [(f 1 (A))c ]c e mensuravel.

2. 3. Assuma que A = (a, b], com a, b R. Note que (a, b] = (, b] (a, ). Como
(a, ) = ((, a])c , tem-se que f 1 ((a, b]) = f 1 ((, b]) (a, )) = f 1 ((, b])

13
 f 1 ((a, )) = f 1 ((, b])(f 1 ((, a]))c . Pelo item 2., podemos concluir que f 1 ((a, b])
e mensuravel.
3. 4. Basta usar o item 3.

4. 5. Decorre do item anterior.

5. 4. Seja A um intervalo aberto, (Digamos que A = (a, b)). Vamos mostrar que
f (A) e mensuravel. Para isso, note que f 1 (A) = f 1 ((, b) (a, )) = f 1 ((, b))
1

f 1 ((a, )) = f 1 ( 1 c
n=1 (b n , ) ) f
1
((a, )) = [
n=1 f
1
((b n1 , ))] f 1 ((a, )).
Como f 1 ((b n1 , )) e mensuravel para cada n, tem-se que f 1 (A) e mensuravel.

4. 1. Seja A aberto. Entao, A = k Ik , onde os Ik0 s sao intervalos abertos dois a

dois disjuntos e e enumeravel. (ver Lema 0.1). Com isso, temos que f 1 (A) = k f 1 (Ik )
e mensuravel. 

Por conveniencia, denotaremos o maximo e o mnimo entre funcoes reais f, g por

max(f, g) := f g e min(f, g) := f g respectivamente.

Proposicao 0.8. Sejam f, g funcoes reais mensuraveis. Entao as seguintes funcoes sao
mensuraveis:

1. f + g;
2. af , a R;
3. |f |;
4. f g e f g;
5. f g.

Demonstracao: Seja a R. Denotaremos o conjunto {x R : f (x) > a}, por {f > a}.

1. Sejam a R e x (f + g)1 ((a, )). Isto nos diz que, f (x) + g(x) > a. Com isso,
existe rx Q (a g(x), f (x)) (densidade de Q). Logo, f (x) > rx e g(x) > a rx . Em
consequencia, temos que x rQ [{f > r} {g > a r}]. Portanto, (f + g)1 ((a, ))
rQ [{f > r} {g > a r}]. Claramente a inclusao tambem vale. Consequentemente,
(f + g)1 ((a, )) = rQ [{f > r} {g > a r}], e um conjunto mensuravel.

2. Sejam a, R. Se > 0, entao (f )1 ((a, )) = {f > a} = {f > a } e mensuravel.

Por outro lado, se < 0, entao (f )1 ((a, )) = {f > a} = {f < a } e mensuravel. Por
, se a0
fim, se = 0, entao (f )1 ((a, )) = {f > a} = e tambem mensuravel.
R, se a<0

14
 3. (|f |) 1((a, )) = {|f > a} = {f > a} {f < a} e mensuravel.

4. (f g)1 ((a, )) = {f > a} {g > a} e (f g)1 ((a, )) = {f > a} {g > a}.

 5. A
priori, vamos mostrar
que a funcao f 2 e mensuravel. Com efeito, (f 2 )1 ((a, )) =
{f > a} {f < a}, se a 0
R, se a < 0
Com isso, f 2 e mensuravel. Por conseguinte, como f g = 14 [(f + g) (f g)2 ] tem-se que
f g e mensuravel. 

Proposicao 0.9. Seja (fn ) uma sequencia de funcoes mensuraveis tal que fn f pontual-
mente. Entao, f e mensuravel.

Demonstracao: Sejam a, x R. Considere sem perder generalidade que f (x) >

a. Dessa forma, existe m N : f (x) > a + m1 (propriedade arquimediana). Como
fn f , pontualmente, existe n0 N : fn (x) > a + m1 para cada n n0 . Com isso,
se y f 1 ((a, )) tem-se que y 1
m=1 n0 =1 n=n0 {fn > a + m }. Isto nos diz que
f 1 ((a, )) 1
m=1 n0 =1 n=n0 {fn > a + m }. Claramente, a inclusao e verdadeira.
Portanto, f e mensuravel. 

Proposicao 0.10. Seja (fn ) uma sequencia de funcoes mensuraveis. Entao, as seguintes
funcoes sao mensraveis:

1. supn1 {fn };
2. infn1 {fn };
3. lim sup fn ;
4. lim inf fn ;

Demonstracao: 1. Seja a R. Vamos mostrar que (supn1 fn )1 ((a, )) = n=1 {fn >
1
a}. Com efeito, dado x (supn1 fn ) ((a, )), tem-se que supn1 fn (x) > a. Dessa forma,
existe n0 N tal que fn0 (x) > a. Isto nos diz que x {fn0 > a}
n=1 {fn > a}. De forma

recproca, dado y n=1 {fn > a}, obtem-se que fn1 (y) > a, para algum n1 . Com isso,
supfn (y) fn1 (y) > a. Assim, y (supn1 fn )1 ((a, )), como queriamos. Consequente-
mente, supn1 {fn } e mensuravel.

2. Note que infn1 {fn } = supn1 {fn }.

3. lim supn fn = limn supmN {fn+m }

4. lim inf fn = lim sup{fn+m }. .

15
0.3 Integracao
Nesta secao definimos a integral de Lebesgue em relacao a medida de Lebesgue em R. esta
nocao generaliza a nocao da integral de Riemann que e geralmente apresentada em um curso
de Calculo ou em um primeiro curso de analise.

0.3.1 Integracao de funcoes Simples

Definicao 0.5. Seja A R. Denominamos de funcao caracteristica de A, a funcao
A : R R dada por

1, se x A
A (x) =
0, se x Ac

Observacao 0.2. Seja A : R R a funcao caracterstica de A. Entao, A e mensuravel,

desde que A seja mensuravel. Com efeito, dado a R, tem-se que

A, se 0 < a 1;

, se a > 1;

A ([a, )) =

R, se a = 0;
R, se a < 1.

Definicao 0.6. Seja f : R R uma funcao real. Dizemos que f e simples, se f =

nk=1 ak Ek , onde os a0k s R e os Ek0 s sao conjuntos mensuraveis disjuntos cuja medida e
finita. A representacao f = nk=1 ak Ek e chamada forma canonica da funcao f .

Observacao 0.3. Note que toda funcao simples e mensuravel. de fato, pois toda funcao
simples pode ser escrita como uma soma finita de funcoes caractersticas.

Observacao 0.4. O fato de f ser simples, nos diz que sua imagem e um conjunto finito.
De fato, dado x R , obteremos que f (x) = 0, caso x nao esteja em nenhum dos Ek0 s ou
f (x) = ak , se x Ek para algum k. Logo Im(f ) {0, a1 , a2 , ..., an }.

Definicao 0.7. Seja f : R R uma funcao simples,(f = nk=1 ak Ek ). Definimos a integral

de Lebesgue da funcao simples f em R por
Z Z
f= f (x)dx = nk=1 ak m(Ek )
R R
.

16
 Observacao 0.5. Aqui, a integral de f = nk=1 ak Ek nao pode ser 0 0 , pois em nossa
definicao os Ek0 s possuem medida finita.
Observacao 0.6. Vamos verificar que integral de f depende somente da funcao em questao,
e nao da particular maneira que f e expressa. Com efeito, supondo que
m n
i=1 ai Ai = f = k=1 bk Bk

Gostariamos de verificar que

m n
i=1 ai m(Ai ) = k=1 bk m(Bk )

para isso, vamos considerar dois casos:

Caso 1: Suponha que ai = 0, para todo i, (i = 1, ..., m). Entao, m i=1 bk Bk = 0. Isto
nos diz que, Bk = ou bk = 0, para cada k, (k = 1, ..., n). Em ambas as situacoes, teremos
que m n
i=1 ai m(Ai ) = 0 = k=1 bk m(Bk ).

Caso 2: Considere que existem i0 s tais que ai 6= 0. Da, vamos mostrar que Ai =
nk=1 (Ai Bk ), para cada i. Com efeito, dado x Ai . Se x nao estivesse em nenhum dos
Bk0 s teriamos que ai = f (x) = 0, gerando um absurdo. Logo, x esta em algum dos Bk0 s.
Dessa forma, Ai = nk=1 (Ai Bk ). Agora, digamos que existam i e k tais que Ai Bk 6=
. Em consequencia, obteriamos que ai = bk . Por conseguinte, podemos concluir que
m m n m n m n
i=1 ai m(Ai ) = i=1 ai m(k=1 (Ai Bk )) = i=1 ai k=1 m(Ai Bk ) = i=1 k=1 ai m(Ai Bk ) =
i=1 k=1 bk m(Ai Bk ) = k=1 bk i=1 m(Ai Bk ) = k=1 bk m(i=1 (Ai Bk )) = nk=1 bk m(Bk ))
m n n m n m

como queriamos.

Proposicao 0.11. Sejam f, g : R R funcoes simples e R. Entao:

R R
1. f e simples e alem disso, f = f (homogeneidade);
R R R
2. (f + g) e simples e alem disso, (f + g) = f + g (aditividade);
R R
3. f g, se f g (monotonicidade).
R R
4. |f | e simples e | f | |f |.
R R
5. A funcao fa , a R definida por fa (x) = f (x a) e simples e alem disso, fa = f.

R
Exemplo 0.5. a funcao Q e simples e Q = m(Q) = 0, pois Q e enumeravel.

0.3.2 Integracao de funcoes mensuraveis nao-negativas

Definicao 0.8. Seja f uma funcao mensuravel e nao-negativa, (f 0). Definimos a integral
da funcao f por Z Z
f := sup{ : 0 f, simples}.

17
 R
Observacao 0.7. E possvelR que R f = . Alem disso nao ha conflito na notacao, uma vez
que se f for simples, entao g f .

Lema 0.2. Sejam f uma funcao limitada e mensuravel e A um conjunto de medida finita.
Entao, dado > 0, existem funcoes simples f1 , f2 tais que f1 f f2 em A e f2 f1 .

Demonstracao: Sabemos que f e limitada. Da, existe M > 0 tal que f (x) [M, M ],
para todo x R. Para > 0, particione o intervalo [M, M ] em subintervalos disjuntos
I1 , I2 , ..., In tais que |Ik | , k = 1, 2, ..., n. Digamos que Ik = [ak , bk ], para cada k. Com isso,
defina f1 e f2 de forma que f1 = ak Ak e f2 = bk Ak , onde Ak = f 1 (Ik ) A, para cada k.
Observe que Ak e mensuravel, pois ambos f 1 (Ik ), A o sao. Alem disso, Ai Aj = , sempre
que i 6= j, pois os Ik0 s sao disjuntos. Como m(Ak ) m(A) < , para cada k, podemos
concluir que f1 e f2 sao simples. Por conseguinte, dado x A, tem-se que f (x) [M, M ].
Logo, f (x) Ik , para algum k,(digamos k0 ). Com isso, x f 1 (Ik0 ) e assim, x Ak0 . Em
consequencia, f1 (x) = ak0 f (x) bk0 = f2 (x). Por fim, note que (f2 f1 )(x) = bk ak
como gostariamos.

Proposicao 0.12. Sejam f, g 0, funcoes mensuraveis e > 0. Entao:

R R
1. (f ) = f (homogeneidade);

R R R
2. (f + g) = f+ g, (aditividade).

Demostracao: (i) (ok!)

R R
(ii) Sejam X = { : 0 f, simples} e Y = { : 0 g, simples}.
A priori, considere que X eR ilimitado.
R Entao,R como X RX + Y , (f f + g), tem-se que
X + Y e ilimitado. Logo, f + g = + g = = (f + g). Caso Y seja ilimitado,
obtemos uma conclusao analoga.

Suponha R agora queR X e Y sao limitados. Da, dado u = x + y X + Y obtem-se

que
R x = f1R e y = f2 , onde 0 f1 f , 0 R f2 R g,(fR1 , f2 simples).R Com isso,
(f1 + f2 ) (f + g). Dessa forma, u = x R+ y = f1 + f2 = (f1 + f2 ) (f + g), (u
arbitrario).Isto nos diz que, Rsup(X + Y ) (f +
R g). Como
R sup(X + Y ) = supX
R + supY ,
tem-se que supX + supY (f + g). Portanto, f + g = supX + supY (f + g).
R R R R
R Devemos mostrar agora que (f + g) f + g. Considere a priori que f <e
g < . Seja h uma funcao simples tal que 0 h f +g. Para concluir esta demonstracao
optaremos em fazer uso do Lema acima. Com efeito, seja h = ak Ak a forma canonica de h.

18
Escolha A de forma que A = Ak . Da, m(A) = m(Ak ) < . Por outro lado, note que h e
limitada, pois Im(h) {0, a1 , a2 , ..., an }. Dessa maneira, as funcoes hf h e hg h sao
limitadas e mensuraveis, (h, f, g mensuraveis). Pelo Lema anterior, existem funcoes simples
1 , 2 , 1 , 2 tais que 0 1 hf 2 e 0 1 hg 2 em A. Alem disso, 2 1 2
e 2 1 2 . Dessa forma, 2 1 + 2 < 1 + e 2 1 + 2 < 1 + Como h h + h,
h h + g, Rh f + R h e h f + g, tem-se
R queR h h fR + h gR 1 +R + 1 + = 1 + 1 + 2.
Com isso, h (1R + 1 +R 2) = R 1 + 1 + 2 A = 1 + 1 + 2m(A). Fazendo
0 obtemos que h 1 + 1 , (Aqui, 1 e R1 dependem R Rde h). R Por conseguinte,
como
R hR f R f e h g g, podemos concluir que R1 f e R 1 R g. Dessa R forma,
hR f + g. PassandoR ao supremo, obtemos que (f + g) f + g. Caso f =
ou g = , teremos que (f + g) = , pois f f + g e g f + g.

R R
Corolario 0.2. Sejam f, g 0, funcoes mensuraveis. Se f g, entao f g.
R R
Demonstracao: Sejam X = { : 0 f, simples} e Y = {R : 0 R
g, simples}. Se X forR ilimitado, Rentao Y e ilimitado, pois X Y . Logo, f = = g.
Caso Y seja ilimitado,
R f = g. Digamos R que X e Y sejam limitados. Entao, como
X Y , tem-se que f = supX supY = g.

Definicao 0.9. Definimos a parte positiva f + e a parte negativa f de fuma funcao real f
respectivamente por f + (x) = max{f (x), 0} e f (x) = max{0, f (x)}. Assim, f = f + f
e |f | = f + + f .
Observacao 0.8. Se f for mensuravel, entao f + e f tambem o sao.

R
Definicao 0.10. Uma funcao f e integravel a Lebesgue se f e mensuravel e se |f | < .

R
Proposicao
R 0.13. Seja f uma funcao mensuravel. Entao, f e integravel sse f+ < e
f < .

0.3.3 Integral de Lebesgue (caso geral em R)

Definicao
R R +0.11.
R Seja f uma funcao integravel a Lebesgue. Definimos a integral de f por
f := f f .

Observacao 0.9. Se as integrais dos componentes positivo f + e negativo f sao , entao

a integral acima nao faz sentido, pois nao ta definido.
Proposicao 0.14. Sejam f, g funcoes mensuraveis e R. Entao:

19
 R R R R R
(i) f = f e (f + g) = f + g;
R R R R
(ii) f g, se f g. Alem disso, | f | |f |;
R R
(iii) fa = f , onde fa e a translacao de f por a R.

Definicao 0.12. Seja A um conjunto mensuravel. Uma funcao f : A R e mensuravel se

f 1 ((a, ]) e um conjunto mensuravel, para cada a > 0.

Definicao 0.13. Dada uma funcao integravel f : R R e um conjunto mensuravel A R,

definimos a integral de f sobre A por
Z Z
f := f A .
A

0.4 Teoremas de Convergencia

Nesta secao, nosso objetivo foi o de estudar os principais resultados da Teoria de Integracao;
os Teoremas da convergencia monotona e da convergencia dominada (de Lebesgue), alem do
Lema de Fatou. Estes teoremas fornecem condicoes (simples) para que possamos trocar o
limite com a integral. Para a verificacao de tais resultados foi-se necessario o Lema a seguir:

Lema 0.3. Seja g 0 uma funcao simples e (fn ) uma sequencia de funcoes mensuraveis
tal que
g f1 f2 ... fn ... 0
e

lim fn = f, (pontualmente)
R
Entao, lim fn = 0.

Demonstracao: Sabemos que g e limitada, (g e simples). Da, 0 g M , para algum

M > 0. Sejam > 0 e An = {fn > }. Seja g = m ak Ek a forma canonica de g. Como
g 0, tem-se que ak 0. Seja A = Ek . Da, m(A) = m(Ek ) < . Por outro lado, note
que A An An+1 , para todo n N, pois dado x An+1 , tem-se que fn+1 (x) > . Como,
fn fn+1 , para cada n N, obtemos que fn (x) fn+1 (x) > e com isso x An . Alem
disso, x A1 g(x) f1 (x) > > 0 x Ek , para algun k, x A. Por conseguinte,
suponha que existe x0 tal que x0 An . Como fn f pontualmente, tem-se que existe
n0 tal que fn0 (x0 ) < , (em particular). Logo, x0 6 An0 , gerando um absurdo. Portanto
An = . Com isso, obtemos que 0 = m( An ) = limn m(An ), (continuidade inferior).
Dessa forma, existe m0 N : m(An ) < , sempre que n n0 . Observe que fn = 0, em Ac ,
pois g = 0 em Ac . Ao passo que fn em Acn A.

20
 R
AgoraR vamosRmostrarRque 0 fn < , sempre que n n0 . Com efeito, dado n n0 note
que 0 fn = An fn + AAc fn M m(An ) + m(A Acn ) < M + m(A) = [M + m(A)]
n
como gostariamos. 

A seguir apresentaremos o resultado mais poderoso entre os mencionados nesta secao.

Tal resultado nos da condicoes te trocar a integral pelo limite sempre que a sequencia de
funcoes for majorada por alguma funcao integravel a Lebesgue.

O Teorema da Convergencia Dominada

Teorema 0.6. Seja (fn ) uma sequencia de funcoes mensuraveis tal que lim fn (x) = f (x),
(pontualmente). SuponhaR que exista
R uma funcao integravel g tal que |fn ((x)| g(x), para
cada x R. Entao, lim fn = f .

Demonstracao: Para efetuarmos a demonstracao faremos uso de tres casos.

Caso 1: Suponha que f = 0 e que (fn ) e uma sequencia

R nao-crescente.
R Da, dado > 0,
escolha uma funcao g1 simples tal que 0 g1 g e g g1 + . Com isso, note que
fn = fn g1 + [fn fn g1 ] fn g1 + (g g1 ), para cada n.
Seja hn = fn g1 . Se fn g1 = g1 , entao hn+1 = fn+1 g1 g1 = fn g1 = hn . Caso
fn g1 = fn , tem-se que hn+1 = fn+1 g1 fn+1 hn . Isto nos diz que hn e nao-crescente.
RAlem disso, 0 hn g1 e Rlim hn =
R lim fn g1 R lim fn = 0. Pelo Lema acima, R obtemos Rque
(fn g1 ) < . Logo, 0 fn (fn g1 ) + (g g1 ) 2. Portanto, lim fn = 0 = f .

Caso 2: Suponha que f = 0 e fn 0, para cada n N. Seja gn = sup{fn , fn+1 , fn+2 , ...}.
Note que gn+1 = sup{fn+1 , fn+2 , ...} sup{fn , fn+1 , fn+2 , ...} = gn , para
R cada n N. Isto
nos diz que g1 g2 g3 ... gn ... 0. Pelo caso 1., tem-se que gn < , ( > 0 dado
e n suficientemente grande). Da,
Z Z
0 fn gn .0
R R R
Com isso, temos que lim fn = 0 = lim fn = f .

Caso 3: Seja gn = |fn f |, para cada n N. Entao, gn 0 e mensuravel, (modulo de

funcoes mensuraveis) e lim gn = limR|fn fR| = 0 pontualmente.
R RAlem disso, gRn = |fn f |
|fn | + |f | g +Rg = 2g.R Logo, 0 | fn f | = | (fn f )| |fn f | = gn 0, (caso
2.). Portanto, fn f . 

O teorema da convergencia monotona

Seja (fn ) uma sequencia nao-decrescente de funcoes Rnao-negativas
R e mensuraveis. Seja
f (x) = lim fn (x), ( Convergencia pontual). Entao, lim fn = f .

21
 Demonstracao: SabemosRque 0 R f1 f2 ... R fn ..., monotona
R R e limitada). Da,
fn lim fn = fR. ComRisso, fn f . Logo, lim fn lim f = f . Agora, vamos
mostrar que lim fn f . Com efeito, seja uma funcao simles tal que 0 h f .
Seja gn = h fn . para cada n. Entao, 0 gn h f , ara todo n. Alem disso, se
gn = fn , entao h lim gn = lim fn = f . como lim gn lim h =Rh, tem-se Rque lim gn = h.
T CD
Relo teorema da convergencia
R dominada, odemos conclur que R lim gn = Rlim h fn ) =
R fn ) = h.R Por outro lado, h fn R fn . Assim,
lim(h R (h fn ) fRn e dessa
R forma,
lim (h fn ) lim fn . Consequentemente, h lim fn . Portanto, lim fn = f . 

O Lema de Fatou
R R
Seja (fn ) uma sequencia nao-negativa de funcoes mensuraveis. Entao, lim inf fn lim inf fn .

Demonstracao: Seja gn = infkn {fk }, para cada n. Note que 0 gn gn+1 para cada
n. Alem disso, lim gn = limn infkn {fk } = lim inf fn . Como gn eR mensuravel,
R podemos
aplicar o teorema da convergencia monotona e concluir que R lim n
R gn = lim inf fn . ()
Por outro lado, 0 gn fk sempre
R que k n. R Da, gn fk , Rsempre que k R n.
passando ao nfimo, obtemos queR gn infkn { fk } R supn {infkn {R fk } =: lim inf fn .
() Sendo assim, obtemos que lim inf fn = limn gn lim inf fn . 

22
 3. Metodologia

A metodologia abordada tem sido a usual, a qual tem sido feita com
sucesso nas iniciacoes a pesquisa em Matematica, isto e, realizacoes de se-
minarios semanais com exerccios para a fixacao dos conceitos e leituras de
textos para complementacao. Nos seminarios sao discutidos os resultados
dos problemas passados, e o detalhamento de seus passos, que geralmente
sao muito diretos.

4. Resultados e Discussao

Todo o cronograma descrito inicialmente deste projeto foi cumprido, ou

seja, estudamos resultados e aplicacoes envolvendo os conteudos de Analise
Real e Complexa. Em seguida, um curso em nvel de iniciacao cientfica
de Analise na Reta foi frequentado pelo aluno com dedicacao exclusiva. No
seguimento do projeto, continuamos nossos estudos com os conteudos intro-
dutorios abordados em Medida de Lebesgue e suas aplicacoes.

23
 5. Conclusoes
Discutindo sobre a medida de lebesgue juntamente com sua integral obti-
vemos alguns resultados precisos. Onde um deles consiste em trocar a integral
pelo limite, desde que a sequencia de funcoes seja marjorada por uma funcao
integravel. Outro, resultado curioso, e o teorema da convergencia monotona
que nos permite trocar a integral pelo limite, desde que a sequencia de funcoes
seja monotona.

6. Pespectivas

Fazer um estudo sobre os Espacos de sobolev usuais e Homogeneos

para um futuro estudo de taxas de explosao otimas para uma solucao das
Equacoes de Navier-Stokes em tempo finito (Este e considerado pelo
Instituto Clay como um dos problemas do milenio). Bem como alcancar os
pre-requisitos necessarios para um futuro ingresso em um mestrado academico
em Matematica.

24
Referencias Bibliograficas

[1] BARTLE, R.G., Elements of Integration. First Edition. John Wiley e

Sons, Inc Appl,1996.
[2] BEALS, R., Analysis: An Introduction. First Edition. Neww York: Cam-
bridge University Press, 2004.
[3] LIMA, E. L., Curso de Analise vol.1. 14a Edicao. Rio de Janeiro: Colecao
Projeto Euclides, 2013.
[4] RUDIN W., Principles of Mathematical Analysis. Third Edition. New
york: McGraw-Hill 1976.

25