- 2013 - IME-USP

MAT5798 - MEDIDA E INTEGRAC

AO
Prof. Oswaldo Rio Branco de Oliveira
Estas notas destinam-se aos alunos do curso Medida e Integracao - MAT5798IMEUSP - 2013 e baseiam-se 100% no livro de G. Folland, Real Analysis - Modern
Techniques and Their Applications, second edition, John Wiley & Sons, alem
de uns 20% distribudos por outros excelentes livros citados na bibliografia e
alguns poucos artigos. Apesar de se constiturem em quase uma traducao do
n
ucleo de apenas cinco captulos do livro base, excetuando as maravilhosas notas
e exerccios propostos, nao devem ser tidas como tal visto que nao sou tradutor
profissional e uma boa quantidade de material foi alterada e outra introduzida.
Os erros de traducao e/ou matematica sao de minha responsabilidade. Para
finalizar, recomendo a compra e o estudo do merecidamente famoso livro de G.
B. Folland.

Captulo 0 - INTRODUC
AO
1 - Introducao (E. M. Stein e R. Shakarchi)
2 - A Reta Estendida
2.1 - Sequencias na reta estendida
3 - Somas nao ordenadas e series em R, C e R.
3.1 - Somas nao ordenadas em R.
3.2 - Series em R e em R.
3.3 - Series em C.
4 - Notacoes em Rn .
5 - Espacos Metricos.
Captulo 1 - MEDIDAS
1 - Introducao.
2 - -algebras
3 - Medidas.
4 - Medida Exterior.
5 - Medidas de Borel na reta real.


Captulo 2 - INTEGRAC
AO
1 - Funcoes Mensuraveis.
2 - Integracao de Funcoes Positivas.
3 - Integracao de Funcoes Complexas.
4 - Modos de Convergencia.
4.1 - Os Tres Princpios de Littlewood.
4.2 - Os Teoremas de Severini-Egoroff e Lusin Revisitados.
5 - Medidas Produto.
6 - A Integral de Lebesgue n-dimensional.
7 - Integracao em Coordenadas Polares.
7.1 - Expressao para as Coordenadas Polares.

Captulo 3 - MEDIDAS COM SINAL E DIFERENCIAC

AO
1 - Medidas com Sinal.
2 - O Teorema de Lebesgue-Radon-Nikodym.
3 - Medidas Complexas.
4 - Diferenciacao em Espacos Euclidianos.
5 - Funcoes de Variacao Limitada.
Captulo 4 - ESPAC
OS Lp
1 - Teoria Basica dos Espacos Lp .
2 - O Dual de Lp .
3 - Algumas Desigualdades.
4 - Funcoes de Distribuicao e Lp -fraco.
5 - Interpolacao de Espacos Lp .
Captulo 5 - MEDIDAS DE RADON
1 - Funcionais Lineares Positivos sobre Cc (X)

2 - Regularidade e Teoremas de Aproximacao.

3 - O Dual de C0 (X).

4 - Produtos de Medidas de Radon.

2

CAPITULO 0
0.1

Introduc
ao
por E. M. Stein and R. Shakarchi

Eu evito com susto e horror esta lamentavel

praga de funcoes que nao tem derivadas.
C. Hermite, 1893

A partir de 1870 comecou a tomar forma uma mudanca revolucionaria na conceituacao basica da analise, que acabou por conduzir a uma vasta transformacao
e generalizacao do entendimento de objetos basicos como funcoes e nocoes como
continuidade, diferenciabilidade e integrabilidade.
A visao anterior de que funcoes relevantes em analise eram dadas por formulas
ou outras expressoes analticas, que tais funcoes eram por sua propria natureza
contnuas (ou quase), que por necessidade tais funcoes possuiam derivadas na
maioria dos pontos e, ainda mais, eram integraveis pelos metodos entao aceitos
todas estas ideias comecaram a cair sob o peso de varios exemplos e problemas
que surgiram no assunto, os quais nao podiam ser ignorados e requeriam novos
conceitos para serem entendidos. Em paralelo com tais desenvolvimentos surgiram novas ideias que eram a um so tempo mais geometricas e mais abstratas:
um entendimento mais claro da natureza das curvas, sua possibilidade de serem
retificaveis e seu comprimento; o incio da teoria dos conjuntos, comecando com
subconjuntos da reta real, o plano, etc., e a medida que poderia ser associada
a cada um.
Isto nao quer dizer que nao houve consideravel resistencia `a mudanca de ponto
de vista que esses avancos requeriam. Paradoxalmente, alguns dos lderes matematicos `a epoca, aqueles que deveriam ser os mais aptos a apreciar os novos

enfoques, figuravam entre os mais ceticos. O fato de que as novas ideias por fim
vieram a vingar pode ser melhor entendido em termos ds muitas questoes que
agora poderiam ser abordadas. Descreveremos aqui, um pouco imprecisamente,
varios dos problemas mais significativos.

1. S
eries de Fourier: completamento.
Dada f uma funcao Riemann integravel em [, ], associamos sua serie de

Fourier

f an einx , onde an =

1
f (x)einx dx.
2

conhecida a identidade de Parseval

E
an 2 =

n=

1
f (x)2 dx.

No entanto, a relacao acima entre funcoes e seus coeficientes de Fourier nao e

completamente recproca quando limitada a funcoes Riemann integraveis. Desta

forma, se considerarmos o espaco R de tais funcoes com a norma f (x)2 dx

e o espaco l 2 (Z), das sequencias de quadrado somavel, com a norma an 2 ,

a cada funcao f em R associamos uma sequencia corespondente em l 2 (Z), e as

duas normas sao iguais. Porem, e facil construir sequencias em l 2 (Z) que nao

correspondem a nenhuma funcao em R. Observemos que l 2 (Z) e completo mas

R nao. Desta forma, somos levados a duas questoes:

(1 ) Quais funcoes esperamos surgir ao completarmos R? Em outras palavras:

dada uma sequencia arbitraria (an ) l2 (Z), qual a natureza da funcao

presumidamente correspondente a tais coeficientes ?

(2 ) Como integramos tais funcoes f (e checamos a formula para os coeficientes)?

Adendo. O chamado problema das series de Fourier foi resolvido em 1966 por
L. Carleson (Professor em UCLA).

2. Limites de func
oes contnuas.
Suponha que (fn ) e uma sequencia de funcoes contnuas sobre [0, 1]. Assu-

mamos que lim fn (x) = f (x) para todo x e questionemos a natureza da funcao
limite f .

Se supormos que a convergencia e uniforme, entao o problema e bem trivial

e f e contnua em todo ponto. Entretanto, elimitando tal hipotese, a mudanca e
radical e as questoes que sugem podem ser bastante sutis. Um exemplo e dado

pelo fato de que um pode construir uma sequencia de funcoes contnuas (fn )

covergindo em todo ponto a uma funcao f tal que

(a) 0 fn (x) 1, para todo x.

(b) (fn ) e decrescente.

(c) f nao e Riemann integravel.

Entretanto, em vista de (a) e (b), a sequencia 0 fn (x)dx converge a um limite.
Portanto, e natural perguntar: qual metodo de integracao pode ser utilizado para
1

integrar f e obter

0 f (x) dx = lim 0 fn (x) dx?

1

com a integral de Lebesgue que podemos resolver estes problemas e o anterior.

E

3. Comprimento de curvas.
O estudo de curvas no plano e o computo de seus comprimentos estao entre os
primeiros ensinamentos do calculo. Consideremos uma curva contnua no plano,

descrita parametricamente por = {(x(t), y(t)) t [a, b]} como x = x(t) e y =

y(t) funcoes contnuas. Definamos o comprimento de da forma usual: como

o supremos dos comprimentos das linhas poligonais conectando sucessivamente

uma quantidade finita de pontos de , ordenados segundo o crescimento de t.
Dizemos que e retific
avel se seu comprimento e finito. Se x(t) e y(t) sao
continuamente diferenciaveis temos a formula
(3.1)

L = [x (t)2 + y (t)2 ] 2 dt.

b

Os problemas comecam a surgir quando consideramos curvas gerais. Mais

especificamente, podemos indagar:
(1 ) Quais sao as condicoes sobre as funcoes x(t) e y(t) que garantem a retificabilidade de ?
(2 ) Quando tais condicoes estao satisfeitas, e ainda valida a formula (3.1) para
o comprimento de ?
A primeira questao tem uma reposta completa em termos da nocao de funcoes
de variacao limitada. Para a segunda, ocorre que se x e y sao funcoes de
variacao limitada entao a integral (3.1) sempre faz sentido, entretanto a igualdade
desejada em geral nao se da apesar de que e possvel recuperar tal igualdade
atraves de uma reparametrizacao conveniente da curva .
Surgem ainda outras questoes. As curvas retificaveis, ja que possuem comprimento, sao objetos genuinamente uni-dimensionais. Sera que existem curvas
(nao retificaveis) que sao bi-dimensionais? Veremos que, de fato, existem curvas no plano que preenchem um quadrado ou, mais geralmente, sao de qualquer
dimensao entre 1 e 2, se uma definicao apropriada de dimensao fracionaria e
adotada.

4. Diferenciac
ao e integrac
ao
O chamado teorema fundamental do calculo expressa o fato de que a diferenciacao e a integracao sao operacoes inversas e isto pode ser formulado de duas
formas distintas, as quais abreviamos como segue
(4.1)

F (b) F (a) =

F (x)dx.

(4.2)

x
d
f (t)dt = f (x).

dx 0
No que tange a` primeira afirmacao, a existencia de funcoes contnuas F que

nao sao diferenciaveis em nenhum ponto, ou para as quais F (x) existe para
todo x mas ainda assim F nao e integravel, conduz ao problema de encontrar a

classe de funcoes F para as quais (4.1) e valida. Quanto `a segunda afirmacao,

6

a questao e formular apropriadamente e estabelecer tal afirmacao para toda a

classe das funcoes integraveis f que surgem como solucoes de qualquer um dos
dois primeiros problemas comentados nesta introducao. Estas questoes podem
ser respondidas com a ajuda de certos argumentos de cobertura e com a nocao
de continuidade absoluta.

5. O problema da medida
Expondo bem claramente, o topico fundamental que deve ser entendido para
tentarmos responder todas as questoes levantadas acima e o problema da medida.
Formulado (imprecisamente) em sua versao bi-dimensional, temos o problema de
associar a cada subconjunto E de R2 sua medida bi-dimensional m2 (E), isto e, sua

area, estendendo a nocao usual definida para conjuntos elementares. Em vez

desse caminho, enunciemos mais precisamente o problema uni-dimensional que
lhe e analogo, o de construir uma medida uni-dimensional m1 = m que generaliza

a nocao de comprimento em R.

Estamos procurando uma funcao positiva m, definida sobre a famlia de sub-

conjuntos E de R, a qual permitimos assumir o valor +. Requeremos:

(1) m(E) = b a se E = [a, b], com a b, de comprimento b a.

(2) m(E) =
n=1 m(En ), se E = n=1 En , com os conjuntos En s disjuntos.

A condicao (2) e a aditividade enumer

avel da medida m e implica o caso
especial
(2) m(E1 E2 ) = m(E1 ) + m(E2 ), se E1 e E2 sao disjuntos.
No entanto, para justificar os varios argumentos por limites que surgem na
teoria, o cso geral (2) e indispensavel e (2) e definitivamente inadequado.
Aos axiomas (1) e (2) adicionamos a invariancia por translacao de m,
(3) m(E + t) = m(E), para todo t R.
Um resultado basico da teoria e a existencia (e unicidade) de tal medida, a medida
de Lebesgue, se nos limitamos a uma classe de conjuntos razoaveis, que sao chamados mensur
aveis. Esta classe, alem de fechada para reunioes enumeraveis,
7

interseccoes enumeraveis e complementares, ainda contem os conjuntos abertos,

fechados e assim por diante. Nao e possvel definir uma tal medida sobre todos
os subconjuntos de R pois, como veremos, existem conjuntos n
ao mensur
aveis.
com a construcao de tal medida que iniciamos nosso estudo. Dela fluira a
E
teoria geral da integracao e, em particular, as solucoes dos problemas discutidos
acima.

Uma cronologia
Conlumos esta introducao citando alguns dos principais eventos que marcaram o desenvolvimento do assunto.
1872 - Weierstrass constroi uma funcao nao diferenciavel em todo ponto.
1881 - Jordan introduz as funcoes de variacao limitada e posteriormente
(1887) sua conexao com retificabilidade.
1883 - Cantor apresenta o conjunto ternario.
1890 - Peano apresenta uma curva que preenche o espaco.
1898 - Borel apresenta os conjuntos mensuraveis hoje ditos borelianos.
1902 - Lebesgue apresenta sua teoria da medida e da integracao.
1905 - Vitali apresenta uma construcao de conjuntos nao mensuraveis.
1906 - Fatou aplica a teoria de Lebesgue `a analise complexa.

0.2

A reta estendida

Definimos a reta estendida como R = R {, +} (a reta acrescida dos va-

lores + e ). Tambem indicamos R por [, +]. Dados a, b R definimos

a < b se a, b R e a < b, ou a = e b , ou a + e b = +.

A relacao de ordem acima definida sobre R e total [isto e, dados a e b, ambos na

reta estendida, temos a < b ou b < a ou a = b] e completa [isto e, todo subconjunto
nao vazio A da reta estendida admite um u
nico supremo, sup A, e um u
nico

nfimo, inf A]. Notemos tambem que + [respectivamente, ] e um majorante

[respectivamente, minorante] de qualquer subconjunto da reta estendida.

Estao bem definidas, de maneira obvia, a adicao + RR{(, )} R,

e a multiplicacao RR{(0, ), (, 0)} R. Por ser conveniente definimos

0. = 0 e .0 = 0.

0.2.1

Sequ
encias na reta estendida

Consideremos X um conjunto nao vazio. Uma sequ

encia em X e uma funcao

x N X. Indicamos a sequencia x por (xn )nN , onde xn = x(n), para todo n N.

Tambem denotamos x por (xn )N ou, brevemente, (xn ).

Seja (xn ) uma sequencia em R. Dizemos que (xn ) converge a L R se, para

todo > 0 existe N N tal que temos xn L < , para todo n N . Dizemos

que (xn ) converge (em R) a + se, para todo real M > 0 existe N N tal que

temos xn > M , para todo n N . Ainda, (xn ) converge (em R) a se (xn )

converge a +. Se (xn ) converge a algum valor (numeros tambem sao valores)

L R, pomos lim xn = L. Ainda, se lim xn = L, tambem escrevemos lim xn = L

n+

ou, brevemente, xn L. Se (xn ) nao converge a nenhum valor em R, dizemos

que (xn ) diverge (em R).

Suponhamos que a sequencia (xn ) e real. Se lim xn = , dizemos tambem

que (xn ) diverge (em R) a . Ainda, se (xn ) nao converge a um n

umero real,

dizemos que (xn ) diverge (em R). O conjunto das sequencias reais e convergentes

em R, munido das operacoes (xn ) + (yn ) = (xn + yn ) e (xn ) = (xn ), onde R,

e um espaco vetorial real e temos

lim(xn + yn ) = lim xn + lim yn e lim xn = lim xn .

facil ver que o limite [em R] de uma sequencia real, se existir, e u
E
nico. Ainda,
se lim xn = L, tambem escrevemos lim xn = L ou xn L.
n+

Seja X um conjunto arbitrario e (xn ) uma sequencia em X. Dado um sub-

conjunto infinito de ndices {n1 < n2 < n3 < } em N, dizemos que a sequencia

(xnk )kN e uma subsequ

encia de (xn ). Brevemente, escrevemos (xnk ).

facil ver que uma sequencia (xn ) em R converge a L se so se

Observa
c
ao 1. E
toda subsequencia (xnj ) converge a L.
toda subsequencia (xnj ) = (yj ) admite subsequencia (yj k ) convergente a L.
Dizemos que L [, +] e um valor de ader
encia de (xn ) se existe uma

subsequencia (xnk ), da sequencia (xn ), tal que xnk L, se k +.

Uma sequencia (xn ) R e crescente [decrescente] se temos xn+1 xn , para

todo n N [xn+1 xn , para todo n N]. Ainda, (xn ) e estritamente crescente

[estritamente decrescente] se temos xn+1 > xn , para todo n N [xn+1 < xn , para

todo n N]. Dizemos que (xn ) e mon

otona se (xn ) e crescente ou decrescente.

u
Suponhamos que (xn ) e uma sequencia em R tal que xn p+ . E
til observar

que existe uma bijecao N N tal que (yj ) = (x(j) ) e descrescente e yj p+ .

Alerta: a sequencia (x(j) ) pode nao ser uma subsequencia de (xn ).

Seja (xn ) uma sequencia real. Por favor, verifique que (xn ) tem uma sub-

sequencia monotona. Assim, se (xn ) e limitada, tal subsequencia e convergente.

10

Toda sequencia (xn ) em R tem um valor de aderencia em R. De fato, se

J = {n xn = + ou xn = } e infinito, entao ou ou +, ou ambos, e valor

de aderencia de (xn ). Se J e finito, existe N N tal que a subsequencia (xn )nN e

real. Assim, se (xn )nN e ilimitada superiormente, ou inferiormente, em R, entao

+, ou , e valor de aderencia de (xn )nN e, portanto, de (xn ) tambem. Se

(xn )nN e limitada em R, vimos acima que ela tem um valor de aderencia em R
e, portanto, a sequencia (xn ) tambem tem.

A seguir, dada (xn )N em R, consideremos o conjunto (nao vazio)

L = {L R L e valor de aderencia de (xn )}.

Definimos lim inf xn = inf L e lim sup xn = sup L, ambos em R.

Observa
c
ao 2. Para todo N N, as sequencias (xn )N e (xn )n>N tem os mesmos

valores de aderencia e, portanto, os mesmos lim inf e lim sup.

Teorema. Seja (xn ) um sequencia na reta estendida.

(a) = lim inf xn e (o menor) valor de aderencia de (xn ).

(b) = lim sup xn e (o maior) valor de aderencia de (xn ).

(c) lim xn = L se e somente se lim inf xn = lim sup xn = L.

(d) Se (xn ) e limitada em R, entao lim inf xn e lim sup xn sao reais.
Prova.
(a)

claro que existe n1 N com xn1 < 1. Pela Observacao 2,

- ( = ) E

a sequencia (xn )n>n1 tem os mesmos valores de aderencia que (xn ) e

entao existe n2 > n1 tal que xn2 < 2. Iterando, obtemos xnj .

- ( real) Por definicao de nfimo, existe um valor de aderencia de (xn )N

em [, + 1). Logo, existe n1 tal que xn1 ( 1, + 1). Como o

lim inf de (xn )n>n1 e tambem , por um raciocnio analogo ao anterior

conclumos que existe n2 > n1 tal que xn2 ( 1/2, + 1/2). Iterando
tal processo obtemos uma subsequencia (xnk )kN convergente a .

claro que L = {+}. Pela Observacao 1, temos xn +.

- ( = +) E

(b) Basta trocar (xn ) por (xn ).

11

(c) Sao equivalentes: = = L, o u

nico valor de aderencia e L, e xn L.
(d) Trivial
Se (xn ) e uma sequencia real ilimitada superiormente na reta [respec., ilimi-

tada inferiormente na reta], temos lim sup xn = + [respec., lim inf xn = ].

Dada uma sequencia arbitraria (xn ) na reta estendida por vezes usamos as

notacoes lim xn = lim sup(xn ) = lim sup xn e lim xn = lim inf(xn ) = lim inf xn .

Observa
c
ao 3. Uma sequencia (xn ) tem uma subsequencia convergente a L

em R se e somente se, dados quaisquer > 0 e N em N, existe n > N tal que

xn L < . Verifique, e trivial.

Teorema. Seja (xn ) uma sequencia em R. Valem as identidades

lim inf xn = sup inf xj = lim inf xj e lim sup xn = inf sup xj = lim sup xj .
n1 jn

n+ jn

n+ jn

n1 jn

Prova.
Trocando (xn ) por (xn ), vemos que basta analisar lim inf xn . Pela Ob-

servacao 2, para todo n temos inf jn xj lim inf(xj )jn = lim inf xn .

Logo,

a = supn1 inf jn xj lim inf xn . So resta ver que a e valor de aderencia de (xn ).
claro que inf j>n xj = , para todo n. Logo, existe j1 > 1 tal
- (a = ) E
que xj1 < 1. Entao, temos inf j>j1 xj = e existe j2 > j1 tal que xj2 < 2.

Iterando, obtemos xj k e portanto e valor de aderencia de (xn ).

- (a real) Sejam > 0 e N N. Como (inf j>n xj ) a, existe m > N tal que

a < inf j>m xj a. Por definicao de nfimo, existe n > m > N tal que
a < inf j>m xj xn < a + . Pela Obs. 3, a e valor de aderencia de (xn ).
n

- (a = +) Temos xn inf jn xj e inf jn xj +. Logo, xn +

Dada uma funcao f R R escrevemos
lim sup f (x) = inf [ sup f (x)] e lim inf f (x) = sup [ inf
xa

xa

>0 0<xa<

12

>0

0<xa<

f (x)] .

0.3

Somas N
ao Ordenadas e S
eries em R, C e R

Seja X um conjunto arbitrario e J um conjunto de ndices tambem arbitrario.

Uma famlia em X, indexada em J, e uma funcao x J X. Indicamos a famlia

x por (xj )jJ ou (xj )J ou, brevemente, (xj ).

Dada uma famlia (pj ) contida em [0, +], definimos

pj = sup { pj F e subconjunto finito de J} em [0, +].

jJ

jF

Tal sup e finito se e somente se existe um real M 0 tal que

pj M, para todo subconjunto finito F de J (cheque).

jF

Tambem escrevemos J pj para jJ pj , ou ainda, se J e subentendido, pj .

facil ver que (verifique)
Sejam (pj )J e (qj )J famlias arbitrarias em [0, +]. E
J (pj + qj ) = j pj + J qj .

J pj = pj , para todo em [0, +).

(Propriedade Comutativa) Se K J e uma bijecao entao,

pj = p(k) .
K

Dada uma famlia (pj )J em [0, +], se J pj e finito (um n

umero real), dizemos
que (pj )J e uma famlia som
avel e que sua soma e o n
umero J pj . Escrevemos

J pj < , indicando que (pj )J e uma famlia somavel (ou, brevemente, somavel).
Tecamos alguns comentarios sobre a associatividade para series e somas.

A bastante familiar associatividade para series convergentes de n

umeros reais
ou complexos reflete o fato de que e possvel introduzir uma quantidade arbitraria
de parenteses, com cada parentese abarcando uma quantidade finita de termos
consecutivos na serie, sem alterarmos o valor da soma da serie considerada.

13

A associatividade para uma soma nao ordenada enumeravel N pn , diferentemente da restrita associatividade para series, se da mesmo particionando N
em uma quantidade infinita de subconjuntos, com cada um de tais subconjuntos
tambem infinito. Tal particao pode ser obtida, por exemplo, listando os n
umeros

primos J = {1, 2, 3, 5, 7, . . .}, em ordem crescente, e definindo F1 = {1}, F2 =

{os naturais m
ultiplos de 2}, F3 = {os naturais m
ultiplos de 3 mas nao de 2}, F5

como o conjunto dos n

umeros naturais m
ultipos de 5 mas nao de 2 ou 3, e assim
sucessivamente e entao escrevendo
N = Fp , com Fp Fq = se p q.
pJ

Importante. A definicao de famlias somaveis, em R ou em C, que logo apresentaremos e equivalente a usualmente apresentada nos textos que abordam somas
nao ordenadas (ou, dito de outra forma, somabilidade). De fato, um dos resultados
decorrentes da definicao classica de somabilidade estabelece que uma famlia (vj )J

em um espaco vetorial normado e completo (i.e., um espaco em que as sequencias

de Cauchy sao convergentes) e somavel se e somente se ela e absolutamente

som
avel (i.e., J vj < ) . Ora, veremos (Teorema 2) que segundo a definicao
aqui adotada uma famlia de n
umeros em R ou C (ambos completos) e somavel
se e somente se ela e absolutamente somavel (vide de Oliveira).
O proximo resultado que veremos mostra que podemos:
(1) associar livremente uma famlia de n
umeros positivos e
(2) dissociar cada termo de uma famlia de n
umeros positivos livremente como
uma famlia de n
umeros tambem positivos; no sentido que tais operacoes
nao alteram a somabilidade ou a nao somabilidade da famlia original.
Em suma, para computarmos a soma de uma famlia de n
umeros positivos
podemos introduzir ou suprimir parenteses `a vontade.

14

Teorema 1 (Associatividade). Seja (pj )J uma famlia em [0, +] e J uma

reuniao de conjuntos Jk , com k em K, dois a dois disjuntos. Entao,

pj = pj .
kK jJk

Prova. Mostremos duas desigualdades.

(1 ) Dado F finito e contido em J, por hipotese existem ndices distintos k1 , . . . , kl ,
todos em K, tal que F Jk1 . . . Jkl . Donde segue,

pj = pj + + pj pj + + pj pj
F

Jk l

Jk 1

F Jkl

F Jk1

k K j J k

e, pela definicao de J pj , a primeira desigualdade:

pj pj .
k K j J k

(2 ) Dados ndices distintos k1 , . . . , kl em K e conjuntos finitos Fkr , com Fkr Jkr

se 1 r l, os conjuntos Jk1 ,. . . ,Jkl sao dois a dois disjuntos e portanto os

conjuntos Fk1 ,. . . ,Fkl tambem. Sendo assim, temos

pj + + pj pj .
J

nFkl

nFk1

Entao, fixando os conjuntos Fk2 , . . . , Fkl e computando o supremo sobre a

famlia dos conjuntos finitos Fk1 contidos em Jk1 obtemos a desigualdade
pj + pj + + pj pj .

Jk 1

Fkl

Fk2

Argumentando analogamente (l 1)-vezes, obtemos

pj + pj + + pj pj .

Jk 1

Jk l

Jk 2

Por fim, como {k1 , k2 , . . . , kl } e qualquer subconjunto finito de K conclumos

pj pj

kK jJ k

15

Defini
c
ao. Seja x R. Suas partes positiva e negativa sao, respectivamente,

x,
p=

0,

se x 0

se x 0

0,
q=

x ,

se x 0

se x 0.

Temos,

0 p x

0 q x

x=pq

x = p + q

Defini
c
ao. Seja J um conjunto de ndices.

p=

q=

x+x
2
xx
2 .

Uma famlia (xj ) de n

umeros reais e som
avel se as famlias (pj ) e (qj )
das partes positivas e negativas de xj , com j em J, respectivamente, sao
somaveis. Se (xj ) e somavel, sua soma (n
ao ordenada) e
xj = p j q j .

Uma famlia (zj ) de n

umeros complexos e som
avel se as famlias (Re(zj ))J

e (Im(zj ))J , das partes reais e imaginarias de zj , com j em J, respectivamente, sao somaveis. Se (zj ) e somavel, sua soma (n
ao ordenada) e
zj = Re(zj ) + i Im(zj ).

Uma famlia (zj ), de n

umeros reais ou complexos, e uma famlia absolutamente som
avel se a famlia ( zj )J e somavel. Isto e, se
zj < .

Teorema 2. Seja (zj ) uma famlia de n

umeros complexos. Sao equivalentes:
(a) (zj ) e somavel.
(b) (zj ) e absolutamente somavel.
Prova.
Consideremos as famlias de n
umeros reais (Re(zj ))J e (Im(zj ))J e as famlias

de suas partes positivas, denotadas (pj ) e (Pj ), respectivamente, e de suas partes

negativas, denotadas (qj ) e (Qj ), tambem respectivamente.
16

 facil ver que, para todo j em J,

E
0 max {pj , qj , Pj , Qj } zj pj + qj + Pj + Qj .

Logo, zj e finita se e somente se pj , qj , Pj e Qj sao finitas. Donde

conclumos que a famlia (zj ) e somavel se e somente se a famlia (zj ) e somavel
Corol
ario 3. Seja (zj )J somavel e K J. Entao, (zk )kK e somavel.
Prova.

facil ver que K zk J zj .

Pelo teorema acima temos J zj < . E
Utilizando novamente o teorema acima, conclumos que (zk )K e somavel
Proposi
c
ao 4. Seja K fixo. Sejam (aj )J e (bj )J famlias somaveis em K e K.

Entao, as famlias (aj + bj )J e (aj )J sao somaveis e valem as propriedades:

(a) (aj + bj ) = aj + bj .

(b) aj = aj .
Prova. Exerccio.

Teorema 5 (Propriedade Comutativa). Seja (zj )J uma famlia somavel

arbitraria de n
umeros complexos e K J uma bijecao. Entao,
zj = z(k) .
J

kK

Prova. Exerccio.
Teorema 6 (Lei Associativa para Somas N
ao Ordenadas). Seja (zj )J uma

famlia somavel em C. Suponha J uma reuniao de conjuntos Jk , com k em K,

dois a dois disjuntos. Entao, a famlia (zj )jJk e somavel, para todo k em K, e
zj = zj .
J

kK J k

Prova.
Devido `a definicao de somavel para famlias complexas e `a linearidade da

soma, podemos supor que (zj ) e real. Por definicao, temos zj = pj qj , com
pj e qj as partes positiva e negativa de zj , respectivamente. Pela associatividade

para somas de positivos e pela linearidade para somas, segue a tese. Verifique
17

0.3.1

Somas n
ao ordenadas em R

Seja (xj )jJ uma famlia em [, +] que, no maximo, assume apenas um

dos valores e +. Sejam (pj ) e (qj ) as famlias (em [0, +] de suas partes

positivas e negativas, respectivamente. Definimos,

qj ,

pj
J
xj = J

,
J

se ao menos uma destas somas (nao ordenadas) e finita,

se existe algum j tal que xj = .

obvio que o valor da soma J xj independe da ordem dos xj s e a chamamos

E
entao soma n
ao ordenada na reta estendida.
Se J pj = j qj = + e xj e finito para todo j entao nao esta definido J xj .
Tal e o caso, por exemplo, quando J = N e
xj =

0.3.2

(1)j
(exemplo de Dirichlet).
j

S
eries em R e em R

Dada uma sequencia (xn )N em R, que assume no maximo um dos valores

ou +, todas as suas n-esimas somas parciais sn = nj=1 xj estao bem definidas.

A s
erie (ou, soma ordenada) na reta estendida +
n=1 xn tem soma s em R se
lim sn = s. Neste caso, escrevemos
xn = s.

n=1

Dizemos que uma serie e finita se ela e convergente em R (logo, a serie e real).

Indicamos uma serie finita pela notacao +

n=1 xn < .

Uma serie +
e dita comutativamente/incondicionalmente
n=1 xn , em R,
convergente se para toda permuta
c
ao (ou, bijecao) N N a serie +
n=1 x(n)

e convergente em R. Esta u
ltima serie e dita um rearranjo da serie +
n=1 xn .
18

Uma serie de n
umeros reais +
e chamada absolutamente convergente
n=1 xn

se +
ao as sequencias das partes positivas e negativas
n=1 xn < . Se (pn ) e (qn ) s
de xn , respectivamente, temos 0 max{pn , qn } xn = pn + qn . Entao, sao

equivalentes: a serie e absolutamente convergente, as sequencias (pn ) e (qn ) sao

somaveis, e a sequencia (xn ) e somavel. Nestas condicoes, e facil ver que
xn = p n qn = p n qn = xn .

n=1

n=1

n=1

Donde segue que toda serie absolutamente convergente e comutativamente convergente e, ainda mais, todos os seus rearranjos tem a mesma soma.
+
em temos
Por outro lado, se a serie real +
n=1 xn = n=1 (pn qn ) converge por
+
+
n=1 xn = n=1 (pn +qn ) = + entao, como o espaco das series reais e convergentes

+
ao e difcil obter
e vetorial, conclumos que +
n=1 pn = n=1 qn = +. Neste caso, n
+
um rearranjo nao convergente da serie n=1 xn (cheque). Portanto, uma serie real

e absolutamente convergente se e so se ela e incondicionalmente/comutativamente

convergente (sendo que os rearranjos tem mesma soma pois os valores das series
+
cao).
de termos positivos +
n=1 pn e n=1 qn independem de ordena

Segue entao trivialmente que todos os rearranjos de uma serie na reta estendida e comutativamente/incondicionalmente convergente tem uma mesma soma

(cheque). Desta forma, se

e uma serie em R e comutativamente convern=1 xn
gente e N N e uma bijecao arbitraria, temos
xn = x(n) .

n=1

n=1

Uma serie real

e dita condicionalmente convergente se
n=1 xn
xn converge em R mas xn = .

n=1

n=1

Um exemplo classico (Dirichlet, 1837) e a serie harmonica alternada

(1)n
.
n
n=1

19

0.3.3

S
eries em C

Seja i a unidade imaginaria, i2 = 1.

Seja (zn )N uma sequencia em C. A s

erie (ou, soma ordenada) complexa

+
n=1 zn

tem soma z C se lim sn = z, onde (sn ) e sequencia das n-esimas somas

parciais definidas por sn = nj=1 zj , para todo n N. Neste caso, escrevemos

zn = z.

n=1

facil ver que a serie complexa +

e convergente se e somente se as series
E
n=1 zn

+
ao convergentes e, neste caso, temos
reais +
n=1 Rezn e n=1 Imzn s

zn = Rezn + i Imzn .

n=1

n=1

n=1

e absolutamente convergente se
Dizemos que a serie
n=1 zn < .
n=1 zn

Devido `as desigualdades

0 max {Rezn , Imzn } zn Rezn + Imzn ,

vemos que sao equivalentes as afirmacoes abaixo.

e absolutamente convergente.
n=1 zn

ao absolutamente convergentes.
As series reais
n=1 Rezn e n=1 Imzn s

As sequencias (Rezn )N e (Imzn )N sao somaveis.

A sequencia (zn )nN e somavel.
Em tais casos, temos
zn = zn = Rezn + i Imzn .

n=1

O conjunto das series complexas e convergentes e o conjunto das series complexas absolutamente convergentes, com as operacoes usuais de soma e multiplicacao
por escalar complexo, sao espacos vetoriais complexos (isto e, sobre C).
A definicao para series complexas incondicionalmente/comutativamente convergentes e analoga `a correspondente definicao empregada para series reais.
20

0.4

Notaco
es em Rn

Um ponto x Rn e tambem indicado pelo vetor x = (x1 , . . . , xn ). A norma

euclidiana de x, ou o modulo de x, e

x = x2 + + x2n .

Dados x, y Rn , o produto interno em Rn e definido por

x y = x1 y1 + + xn yn .

Temos

x x.

x =

O produto interno satisfaz a desigualdade de Cauchy-Schwarz:

x y x y quasquer que sejam x, y Rn .
Prova. Temos,
x y2 = (x1 y1 + + xn yn )2 = x2i yi2 + 2 xi yi xj yj
i

i<j

x2i yi2 + (x2i yj2 + x2j yi2 )

i

=
claro que
E

x2i yj2
i,j

i<j

= (x21 + + x2n )(y12 + + yn2 )

x x.

x =

A norma sobre Rn possui as seguintes as propriedades:

x 0 e x = 0 se e so se x = 0.
x = x, para todo R e para todo x Rn .
x + y x + y, quaisquer que sejam x, y Rn (desigualdade triangular)

A desigualdade triangular segue da desigualdade de Cauchy-Schwarz:

x + y2 = (x + y) (x + y) = x x + 2x y + y y x2 + 2x y + y2 = (x + y)2

Defini
c
ao. Seja um conjunto aberto em Rn e f Rn . Dizemos que f

e um difeomorfismo se f e diferenciavel, bijetora, f () e um aberto e, ainda,

f 1 f () e tambem diferenciavel.

21

0.5

Espa
cos M
etricos

Consideremos um conjunto nao vazio X. Uma m

etrica sobre X e uma funcao
d X X R tal que
d(x, y) 0, para todo (x, y) em X X, e d(x, y) = 0 se e somente se x = y.
(simetria) d(x, y) = d(y, x), para todo (x, y) em X X.
(Desigualdade triangular) d(x, y) d(x, z) + d(z, y), para todos x, y, z em X.
Notac
ao. Consideremos x em X e um n
umero r > 0.
B(x; r) = {y X d(y; x) < r}, e a bola aberta de centro x e raio r.
D(x; r) = {y X d(y, x) r}, e a disco de centro x e raio r.
Sr (x) = {y X d(y, x) = r}, e a circunfer
encia de centro x e raio r.
Defini
c
ao. Seja E um subconjunto de X.
E e aberto se para cada x E existe r > 0 tal que B(x; r) E.
E e fechado se E c = X E e um conjunto aberto.
Um ponto x E e ponto interior a E se existir r > 0 tal que B(x; r) E.
O interior de E e,
E = {x E x e ponto interior a E}. O interior de E
e a reuniao de todos os conjuntos abertos U tais que U E. Isto e,
E e o
maior aberto contido em E. Ainda, E e aberto se e somente se
E = E.

Um ponto x X e um ponto de ader

encia de E (ou, aderente a E) se

temos B(x; r) E , qualquer que seja r > 0. O fecho do conjunto E e

E = {x X x e ponto de aderencia de E}. O fecho de E e a interseccao de

todos os conjuntos fechados F tais que E F . Isto e, E e o menor fechado

contendo E. Ainda mais, E e fechado se e somente se E = E.

Atencao, para nao confundir ponto de aderencia (de um conjunto) com valor
de aderencia (de uma sequencia).

22

 Um ponto x X e ponto de fronteira de E se para todo r > 0 temos

B(x; r) E e B(x; r) E c .
A fronteira de E e E = {x X x e ponto de fronteira de E}.
Um ponto x X e chamado um ponto de acumulac
ao de E se temos
B(x; r) (E {x}) , para todo r > 0.
O derivado de E e o conjunto E = {x X x e ponto de acumulacao de E}.
Um ponto x, em E, e um ponto isolado de E se existe algum r > 0 tal que
B(x; r) E = {x}.
O conjunto E e discreto se todo ponto de E e isolado.
O conjunto E e denso em X se E = X.
E = .
O conjunto E e raro se

O di
ametro de E e diam(E) = sup{d(x, y) x, y E}.
O conjunto E e limitado se diam(E) < .
Uma cobertura de E e uma famlia {Vj j J} de subconjuntos de X
satisfazendo E jJ Vj .

O conjunto E e totalmente limitado se, para cada > 0, existe uma

quantidade finita de bolas abertas de raio cobrindo E.

E possui a propriedade de Heine-Borel se toda cobertura de E por

conjuntos abertos (cobertura aberta) admite uma subcobertura finita.
E e compacto se E tem a propriedade de Heine-Borel.
E e perfeito se E e fechado e se todo ponto de E e um ponto de acumulacao
de E (isto e, se E E ). Temos entao que E e perfeito se e so se E = E .

23

Defini
c
ao. Seja x um ponto em um espaco metrico X. Um conjunto V X e

uma vizinhanca de x se existir uma bola B(x; r), com r > 0, contida em V .
Proposi
c
ao. Seja X um espaco metrico. Valem as propriedades abaixo.
X e sao abertos e fechados.
Toda bola aberta e um conjunto aberto.

A uniao de qualquer famlia de conjuntos abertos e um conjunto aberto.

A interseccao de uma famlia de conjuntos fechados e um conjunto fechado.
A interseccao de uma famlia finita de conjuntos abertos e um aberto.
A uniao uma famlia finita de conjuntos fechados e um conjunto fechado.

Proposi
c
ao. Seja E X, com (X, d) metrico. Verfique as propriedades abaixo.
E = E
E.
E E = E E .
E =
E e fechado se e somente se E E.
E e fechado se e somente se E E .
Defini
c
ao. Seja (xn )N uma sequencia contida em X. Dizemos que
(xn ) converge a x X se lim d(xn , x) = 0. Utilizamos as seguintes notacoes:
n+

xn x se n + e, lim xn = x, e tambem xn
x.

(xn ) e uma sequ

encia de Cauchy se, para todo > 0, existe N N tal
que temos d(xn , xm ) < , quaisquer que sejam n, m N .

24

Proposi
c
ao. Seja (X, d) um espaco metrico, (xn ) uma sequencia em X e x X.
(a) Se (xn ) e de Cauchy e admite subsequencia convergente a x, entao xn x.
(b) (xn ) admite uma subsequencia convergente a x se e somente se para quaisquer > 0 e N em N, existe n > N tal que d(xn , x) < .

(c) (xn ) converge a x se e somente se toda subsequencia (xnj ) = (yj ) admite

subsequencia (yj k ) convergente a x.

(d) Se N N e uma bijecao e lim xn = x, entao a sequencia (yj ), com

yj = x(j) , converge a x. Alerta: (x(j) ) pode nao ser subsequencia de (xn ).

Defini
c
ao. Seja (X, d) um espaco metrico. Dizemos que
X e separ
avel se X contem um subconjunto denso e enumeravel.
X possui um base enumer
avel de abertos se existe uma colecao enumeravel de abertos de X tal que todo aberto de X e uma reuniao de elementos da citada colecao.
X e completo se toda sequencia em X e de Cauchy e convergente em X.
Proposi
c
ao. Seja X um espaco metrico e E X. Temos (verifique),
Xe separavel se e somente se X possui uma base enumeravel de abertos.
Dado x em X, temos que x E se e so existe (xn )N E tal que xn x.
Suponhamos X completo. Entao, E e completo se e somente se E e fechado.
Defini
c
ao. Sejam (X, d) e (Y, ) espacos metricos e f X Y uma funcao.
Dizemos que f e contnua em p X se para todo > 0, existe > 0 tal
que temos (f (x), f (p)) < , para todo x X tal que d(x, p) < . Dizemos
que f e contnua se f e contnua em cada ponto de X.

Dizemos que f e uniformemente contnua se para todo > 0, existe > 0

tal que temos (f (x), f (x )) < , para todos x, x X tais que d(x, x ) < .

25

 Seja p um ponto nao isolado de X (isto e, p e um ponto de acumulacao de

X) e L Y . Escrevemos lim f (x) = L se, para todo > 0 existe algum > 0
xp

tal que temos (f (x), L) < , para todo x satisfazendo 0 < d(x, p) < .

Dizemos que f e localmente uniformemente contnua se para cada

x X existir alguma vizinhanca de x na qual f e uniformemente contnua.
Dizemos que f e de Lipschitz ou lipschtziana se existe uma constante
M > 0 tal que (f (x); f (x )) M d(x; x ), quaisquer que sejam x, x X.
Dizemos que f e localmente lipschitziana se para cada x X existe
alguma vizinhanca V de x na qual f e lipschitziana.

Dizemos que f e bicontnua ou um homeomorfismo se f e contnua,

bijetora, e sua inversa f 1 Y X e tambem contnua.
Proposi
c
ao. Seja f (X, d) (Y, ) uma funcao. Verifique as afirmacoes abaixo.
f e contnua em um ponto p X se e somente se, para todo > 0, existe
> 0 tal que f (B(p; )) B(f (p); ).

f e contnua se e so se f 1 (U ) e aberto em X, para todo U aberto em Y .

f e contnua em p se e somente se lim f (x) = f (p).
xp

f e contnua em p se e somente se, para toda sequencia (xn ) X tal que

lim xn = x, temos lim f (xn ) = f (p).

Teorema. Seja f (X, d) (Y, ) uma funcao contnua e K um subconjunto

compacto de X. Entao, f (K) e compacto em Y .

Prova.

Consideremos uma cobertura aberta: f (K) J Uj . Entao, K J f 1 (Uj )

e uma cobertura aberta. Como K e compacto, obtemos uma subcobertura finita
K f 1 (Uj1 ) f 1 (UjN ). Logo, f (K) Uj1 UjN

26

Defini
c
ao. Sejam E X e F X, com (X, d) um espaco metrico.
A dist
ancia entre E e F e
d(E; F ) = sup{d(x, y) x E e y F }.
A bola aberta centrada em E e de raio r e
B(E; r) = {x X d(x; E) < r}.
Defini
c
ao. Dado um conjunto X, a diagonal de X X e
= {(x, x) x X}.
Defini
c
ao. Duas metricas d1 e d2 , sobre X, sao m
etricas equivalentes se
existem constantes m e M tais que
md1 (x, y) d2 (x, y) M d1 (x, y), para todo x, y X.
Metricas equivalentes induzem os mesmos abertos em X e as mesmas funcoes
contnuas.
Proposi
c
ao. Sejam (X, d) e (Y, ) espacos metricos. As seguintes expressoes

definem metricas equivalentes sobre X Y :

Dsoma ((x1 , y1 ); (x2 , y2 ))

= d(x1 , x2 ) + (y1 , y2 ),

Dmaximo ((x1 , y1 ); (x2 , y2 )) = max{d(x1 , x2 ), (y1 , y2 )},

D((x1 , y1 ); (x2 , y2 ))
= d(x1 , x2 )2 + (y1 , y2 )2 .

27


REFERENCIAS
[1.] Bartle, R. G.., An extension of Egorovs theorem, Amer. Math. Monthly, 87
no. 8, pp. 628633.
[2.] Beardon, A. F., Limits - a new approach to real analysis, Springer, 1997.
[3.] Cohn, D. L., Measure Theory, Birkhauser, 1980.
[4.] de Oliveira, O. R. B., Some simplifications in the presentations of complex
power series and unordered sums, arXiv:1207.1472v2, 2012.
[5.] Feldman, M. B., A proof of Lusins theorem, Amer. Math. Monthly 88
(1981), 191192.
[6.] Folland, G. B., Real Analysis - Modern Techniques and Their Applications,
second edition, Pure and Applied Mathematics, John Wiley and Sons, 1999.
[7.] Hairer, E., and Wanner, G., Analysis by Its History, Undergraduate Texts
in Mathematics, Springer, 2000.
[8.] Lima, E., Curso de Analise , Vol 1., IMPA, 2009.
[9.] Littlewood, J. E., Lectures on the Theory of Functions, Oxford University
Press, 1941.
[10.] Loeb, P. A. and Talvila, E., Lusins Theorem and Bochner Integration,
Scientiae Mathematicae Japonicae Online, Vol. 10, (2004), 55-62.
[11.] Royden, H. L. and Fitzpatrick, P. M., Real Analysis, fourth ed., Prentice
Hall, 2010.
[12.] Rudin, W., Principles of Mathematical Analysis, 3rd ed., McGraw-Hill,
1964.
[13.] Rudin, W., Real & Complex Analysis, third edition, McGraw-Hill, 1987.
[14.] Severini, C., Sulle successioni di funzioni ortogonali (Italian), Atti Acc.
Gioenia. (5) 3, 10 S (1910).
[15.] Spivak, M., O Calculo em Variedades, Ed. Ciencia Moderna, 2003.
[16.] Stein, E. M., and Shakarchi, R., Real Analysis - Measure Theory, Integra
tion, and Hilbert Spaces, Princeton University Press, 2005.
[17.] Swartz, C., Measure, Integration and Function Spaces, World Scientific,
1994.
[18.] Wheeden, R. L. and Zygmund, A. Measure and Integral, Marcel Deker,
1977.

28