Main AF

Anlise Funcional Aplicada
Dimitar K. Dimitrov
Preface
ii
Contents
Preface
1
lgebra dos Conjuntos

1.1
1.2
1.3
lgebra dos Conjuntos .

Relaes de Equivalncia .
Relao de ordem . . . . .
1.3.1 Exerccios . . . . .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Tpicos da Topologia
2.1
2.2
2.3
2.4
2.5
2.6
2.7
17
Espaos Topolgicos . . . . . . . . . . . . .
Funes Contnuas em Espaos Topolgicos
Espaos Topolgicos Separveis e Normais .
Compactos em espaos Topolgicos . . . . .
Teorema de Tikhonov . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . .
Resoluo dos Exerccios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . .
. . . . .
. . . . .
. . . . .
Mtricos
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Espaos Mtricos
3.1
3.2
3.3
3.4
3.5
Propriedades Bsicas . . . . . . . . . .
Espaos Mtricos Completos . . . . . .
Compactos em Espaos Mtricos . . .
3.3.1 Teorema de Hausdor . . . . .
3.3.2 Caracterizaes dos Compactos
Convergncia Uniforme . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . .
17
20
22
29
34
39
40
43
. .
. .
. .
. .
em
. .
. .
. . . . .
. . . . .
. . . . .
. . . . .
Espaos
. . . . .
. . . . .
4 Espaos Normados
4.1
4.2
3
6
8
14
Normas e espaos normados . . . . . . . . . . . . . . . . . . . . .

Operadores Lineares Limitados . . . . . . . . . . . . . . . . . . .
43
47
56
56
58
60
65
69
69
78
CONTENTS
4.2.1
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . .
94
Captulo 1

1.1
Denio 1.1.1. Dizemos que A B ou B A se x A x B .

Denio 1.1.2. Dizemos que A = B se A B e A B simultaneamente
e, dizemos que A 6= B se existe x A tal que x
/ B ou existe x B tal que
x
/ A.
Denio 1.1.3. Dizemos que A
B se A B mas A 6= B .
Denio 1.1.4. A unio dos conjuntos A e B denida por

A B = {x : x A x B}.
Se uma famlia de conjuntos A, denimos:
S
= {x : x A para algum A },
ou
[
A = {x : x A para algum I}.
I
Denio 1.1.5. Denimos A B = {x : x A x B}.

Seja uma famlia de conjuntos A. Denimos:
T
= {x : x A para todo A },
\
A = {x : x A para todo I}.
I
1
n
Problema 1.1.1. Provar que se An = {x R : |x| < } ento
\
n=1
An = {0}.
Captulo1. lgebra dos Conjuntos
Teorema 1.1.1. Sejam A, B e C alguns conjuntos. Ento:

1)
2)
3)
4)
5)
6)
AB =BA
AA=A
A=A
(A B) C = A (B C)
AAB eB AB
AB AB =B
10 )
20 )
30 )
40 )
50 )
60 )
AB =BA
AA=A
A=
(A B) C = A (B C)
AB AeAB B
AB AB =A
Demonstrao: Provaremos somente as armaes 6) e 60 ).

6) A B A B = B .
() Pela hiptese A B , ou seja, x A x B . Temos que provar que
A B = B , ou seja, A B B A B B .
Primeiramente provemos a incluso []. Seja x A B . Pela denio de
unio, temos que x A ou x B . Mas pela hiptese, se x A, ento x B .
Portanto, A B B .
A incluso [], isto , que A B B . logicamente bvia.
() Por hiptese A B = B , ou seja, x A B x B . Em particular, se
x A, ento x B , o que implica em A B = B .
60 ) A B A B = A.
() A incluso [] verdadeira pelo item 50 ).
Provemos a incluso [], ou seja, A B A. Temos que todo elemento de A
elemento de B , ento x A x A e x B , o que implica x A B .
Assim, A A B e, portanto, A B = A.
() Temos por hiptese que todo elemento de A elemento de A B . Assim,
todo elemento de A elemento de B , o que implica em A B .
Teorema 1.1.2. Sejam A, B e C conjuntos quaisquer. Ento:

1) A (B C) = (A B) (A C),
2) A (B C) = (A B) (A C).
Demonstrao: 1) A (B C) = (A B) (A C). Temos que estabelecer
as duas incluses.
[] Seja x A (B C) um elemento arbitrrio. Logicamente, isto signica que
x A (x B x C) o que, por sua vez, implica em (x A x B) (x
A x C). Consequentemente, x A B x A C o que equivalente a
x (A B) (A C). Portanto, A (B C) (A B) (A C).
[] Seja agora x (A B) (A C). Ento, (x A x B) (x A x C).
Logo, x A (x B x C). Consequentemente x A (B C). Portanto,
1.1 lgebra dos Conjuntos
A (B C) (A B) (A C).
2) A (B C) = (A B) (A C). Primeiro provemos a incluso []. Tome
x A (B C) um elemento qualquer. Ento x A (x B x C), o que
implica em (x A x B) (x A x C). Assim, x (A B) (A C).
Agora, provemos a incluso []. Tome x (A B) (A C). Ento,
(x A x B) (x A x C), o que signica que x A (x B x C).
Portanto, x A (B C). Logo, como A (B C) (A B) (A C) e
A (B C) (A B) (A C), temos que A (B C) = (A B) (A C).
Denio 1.1.6. Seja X um conjunto xo. O complemento de A (com respeito

a X ) dado por:
Ac = X\A = {x : x X x
/ A}.
Teorema 1.1.3. As seguintes leis de De Morgan so vlidas:

1) (A B)c = Ac B c ;
2) (A B)c = Ac B c ;
[
\
3) ( A )c =
Ac ;
I
I
\
[
4) ( A )c =
Ac .
I
Denio 1.1.7. A diferena simtrica dos conjuntos A e B dada por:

A4B = {x : x A B x
/ A B}.
Teorema 1.1.4. Para quaisquer conjuntos A e B temos:

1) A4B = (A B)\(A B);
2) A4B = (A\B) (B\A);
3) A4B = (A B c ) (Ac B).
Problema 1.1.2. Sejam X e Y dois conjuntos. Provar que X = se, e

somente se, Y = X4Y .
Problema 1.1.3. Provar que
1)
2)
3)
4)
5)
A4B = B4A;
A4(B4C) = (A4B)4C;
A (B4C) = (A B)4(A C);
A4A = ;
A4 = A.
Problema 1.1.4. Sejam A, B e C conjuntos quaisquer. Provar que:

A4B (A4C) (B4C).
Quando a incluso estrita?

Observe o desenho para os casos C A B = e C = A B .
Figura 1
Problema 1.1.5. Princpio de incluso e excluso. Por #A denotemos o

nmero de elementos de um conjunto nito A. Se A e B so conjuntos com um
nmero nito de elementos, provar que Provar que:
#(A B) = #A + #B #(A B)
#
n
[
Ai =
i=1
n
X
i=1
#Ai
#(Ai Aj ) +
#(Ai Aj Ak ) ...
1ij
1.2 Relaes de Equivalncia

Denio 1.2.1. Sejam X e Y dois conjuntos. O seu Produto Cartesiano
denido por
X Y = {(x, y) : x X y Y }.
Dizemos que (x, y) = (u, v) quando x = u e y = v simultaneamente.
Denio 1.2.2. Qualquer subconjunto R X Y chamado relao. Os

subconjuntos Dom R X e Cod R Y so denidos por
Dom R = {x : (x, y) R para algum y},
Cod R = {y : (x, y) R para algum x},
e so chamados domnio e codomnio (ou contradomnio) de R, respectivamente.
1.2 Relaes de Equivalncia
Denio 1.2.3. A relao R X X chamado relao de equivalncia se

R goza das seguintes propriedades:
1) (x, x) R, para todo x X
2) (x, y) R (y, x) R, para todo x, y X
3) (x, y) R e (y, z) R (x, z) R, para todo x, y, z X
(reexo);
(simetria);
(transitividade).
Quando R uma relao de equivalncia, em vez de (x, y) R, usaremos a

denotao x y .
Denio 1.2.4. Se R X X relao de equivalncia e x X ento sua

classe de equivalncia dada por:
Ax = { X : (x, ) R}.
As classes de equivalncia Ax de x s vezes so denotadas por x.
Teorema 1.2.1. A relao R X X uma relao de equivalncia se,

e somente se, R gera uma partio de X de conjuntos cuja unio X e a
interseco de quaisquer dois conjuntos distintos vazia.
Demonstrao:
() Seja R uma relao de equivalncia. Provemos que xX Ax = X e Ax
Ay = quando (x, y) 6 R. Estes dois fatos podemos resumir dizendo que
Ax = X, para todo x no relacionado.
xX
Primeiramente mostremos que, se (x, y) R, ento Ax = Ay . Para este

propsito, seja Ax , isto , (x, ) R. Como, por hiptese, temos que
(x, y) R, decorre da transitividade que (y, ) R, ou seja, Ay e, portanto,
Ax = Ay , (x, y) R.
Agora provemos que, se (x, y)
/ R, ento Ax Ay = . Suponha o contrrio,
que existe Ax Ay Portanto, (x, ) R e (y, ) R. Logo, a transitividade
implica que (x, y) R que uma contradio.
() Suponha que a famlia dos conjuntos {A }I forma uma partio de X ,
S
isto , que I A = X e A A = quando 6= . Denimos a relao R
atravs da regra:
(x, y) R se x, y A para algum I.

fcil vericar que R, denida desta forma, uma relao de equivalncia.
Denio 1.2.5. Sejam X e Y dois conjuntos. A relao G XY chamada

grco de uma funo g se, para quaisquer x, y, z , com x X , y, z Y que
satisfazem (x, y) G e (x, z) G, necessariamente temos y = z . Em outras
palavras, se g(x) = y e g(x) = z , ento g funo se y = z .
Denio 1.2.6. Sejam X e Y dois conjuntos e f : X Y uma funo.

Ento,
1) se x1 6= x2 implica em f (x1 ) 6= f (x2 ), ou equivalentemente,
f (x1 ) = f (x2 ) implica em x1 = x2 , f chamada injeo;
2) se f (X) = Y , f chamada sobrejeo;
3) se f injeo e sobrejeo, ela chamada bijeo.
Denio 1.2.7. Os conjuntos X e Y so equipotentes se existe uma bijeo

f : X Y .
Problema 1.2.1. Provar que Z e 2Z so equipotentes.

Denio 1.2.8. O conjunto X enumervel se ele equipotente a N.
Lema 1.2.1. Se X e Y so enumerveis ento X Y enumervel.
Teorema 1.2.2. Qualquer unio enumervel de conjuntos enumerveis um
conjunto enumervel.
Teorema 1.2.3. Se f : [a, b] R montona ento o conjunto dos eventuais
pontos de descontinuidade de f no mximo enumervel.
Problema 1.2.2. Provar que R equipotente ao intervalo (0,1).
1.3 Relao de ordem

Denio 1.3.1. Seja X um conjunto. A relao R X X chamada
relao de ordem (ou simplesmente ordem) se:
1) (x, x) R, para todo x X
2) (x, y) R e (y, z) R (x, z) R
3) (x, y) R e (y, x) R x = y
(reexo);
(transitividade);
(antissimetria).
As relaes de ordem so chamadas tambm de ordens parciais. Se R uma

relao de ordem, dizemos que (X, R), ou simplesmente X , (parcialmente)
ordenado.
s vezes, em vez de (x, y) R, escreveremos x y .
1.3 Relao de ordem
Denio 1.3.2. Seja (X, R) parcialmente ordenado. Dizemos que X linearmente ordenado e que R ordem linear se, alm das trs exigncias anteriores,
R satisfaz a seguinte exigncia adicional:
4) Para todo x, y X exatamente uma das incluses (x, y) R ou (y, x) R vale.
Conjuntos linearmente ordenados so tambm chamados de "cadeias".

Exemplos:
1) Se X = R e R , ento (R, ) linearmente ordenado
2) Se em X = C denirmos z1 z2 se |z1 | |z2 |, esta no uma ordem, pois
no satisfaz a propriedade antissimtrica, uma vez que |z1 | |z2 | e |z2 | |z1 |
implica em |z1 | = |z2 |, mas no implica em z1 = z2
3) Sejam Y um conjunto e X = P(Y ) a famlia de todos os subconjuntos de Y .
Em X podemos introduzir ordem de uma das seguintes formas:
(i) Se U, V X , dizemos que U V se U V ;
(ii) Se U, V X , dizemos que U V se U V .
Estas so de fato ordens mas, em geral, no so ordens lineares.
4) Sejam D e Y dois conjuntos, e X = {f : D Y : f funo} a famlia de
todas as funes de D em Y . possvel introduzir ordem em X desta forma:
Dizemos que f1 f2 se, e somente se, as seguintes exigncias so satisfeitas
simultaneamente: Domf1 Domf2 e f2 |Domf1 f1 . Em outras palavras, por
esta denio f1 f2 se f2 extenso de f1 .
Denio 1.3.3. Seja (X, ) parcialmente ordenado. O elemento x0 X

chamado elemento maximal, no sentido da ordem, para X se no existe y X ,
tal que x0 y e x0 6= y .
Formalmente, x0 um elemento maximal se para todo y X : x0 y ento
x0 = y .
Analogamente, o elemento x0 X chamado elemento minimal, no sentido
da ordem, para X se no existe y X , tal que y x0 e y 6= x0
Denio 1.3.4. Se x0 X tal que y x0 , para todo y X , ento x0

chamado de elemento mximo.
De forma anloga, denimos x0 X como elemento mnimo se, para todo
y X temos que x0 y .
Exemplos:
1) Se (X, R) = ([a, b], ), ento o ponto b elemento mximo e maximal.
2) Se (X, R) = ((a, b), ), no existe elemento mximo nem elemento maximal,
pois b
/ X.
10
Denio 1.3.5. Seja (X, ) ordenado e B X . Dizemos que X limite

superior para B se b , para todo b B . O menor, no sentido da ordem, dos
limites superiores para B chamado de cota superior de B .
Denio 1.3.6. Seja (X, ) ordenado e B X . Dizemos que X limite

inferior para B se b, para todo b B . O maior, no sentido da ordem, dos
limites inferiores para B chamado de cota inferior de B .
Axioma de Escolha. Sejam X um conjunto qualquer, A um conjunto de

ndices e F : A P(X) uma funo que, para todo A, F () 6= . Ento,
existe uma funo f : A X , tal que f () F () para todo A.
Em outras palavras, o Axioma de Escolha arma que para qualquer famlia
de conjuntos {F }A no-vazios, existe uma funo, que, para todo ndice
escolhe um elemento do correspondente conjunto F . Por isto, f e chamada
funo de escolha.
Figura 2 Axioma da Escolha
Lema de Zorn. Todo conjunto ordenado tal que todos seus subconjuntos
linearmente ordenados tm cota superior, possui elemento maximal.
Em outras palavras, o Lema de Zorn arma que tal, que toda cadeia sua
B possui cota B , ento, tem elemento maximal.
Mais adiante, mostraremos que as armaes do Axioma da Escolha e do
Lema de Zorn so equivalentes. Primeiro precisaremos introduzir o conceito de
Boa Ordenao e apresentar o Princpio da Induo Transnita.
Um conjunto parcialmente, ou linearmente, ordenado pode no ter um menor
elemento e, mesmo que o tenha, algum de seus subconjuntos pode no ter um
menor elemento. Os sistemas ordenados, parcial ou linearmente, com a propriedade de que todos os seus subconjuntos no-vazios possuem um menor
elemento so extremamente interessantes, como por exemplo o conjunto dos
nmeros naturais, com a ordem usual.
1.3 Relao de ordem
11
Denio 1.3.7. Um conjunto ordenado bem ordenado se todo subconjunto

no-vazio tem um menor elemento.
Teorema 1.3.1. Toda boa ordem uma ordem linear.

Demonstrao: Seja (A,) um sistema bem ordenado e seja B={x, y} um
subconjunto de A. Como A bem ordenado, o subconjunto B tem um menor
elemento. Assim, x y ou y x, o que implica ser uma ordem linear.
Exemplo 1.3.1. (R, ) linearmente ordenado, mas no bem ordenado, pois

o intervalo real (0, 1) = {x R : 0 < x < 1} com a mesma ordem, no possui
menor elemento, uma vez que o nmero 0 no pertence a esse intervalo.
Exemplo 1.3.2. (Q, ) linearmente ordenado, mas no bem ordenado. Justicativa anloga do exemplo acima.
Exemplo 1.3.3. A classe dos ordinais com a ordem usual bem ordenada, pois
qualquer que seja o subconjunto ({a1 , a2 , a3 , ...}, <) do sistema (Z+ , <) possui
como menor elemento, no sentido da ordem, o nmero a1 .
Um dos fatos mais importantes sobre os conjuntos bem ordenados que
pode-se provar propriedades de seus elementos por um processo anlogo induo nita. Esse novo processo conhecido como Princpio da Induo Transnita (P.I.T).
Teorema 1.3.2. (P.I.T.) Seja () uma propriedade denida no sistema

(A, <), onde A o conjuntos dos ordinais e a ordem a usual. Se ()
verdadeira e implica que () verdadeira, para todo < , ento temos que
() verdadeira para todo e qualquer ordinal .
Demonstrao: Sabemos que a classe dos ordinais com a ordem usual
bem ordenada. Suponhamos que para alguma propriedade , que satisfaa as
hipteses, exista um ordinal tal que () falsa. Ento considere a classe
C = { : () f alsa} 6= . Seja = min(C), ou seja, o menor ordinal para
o qual a propriedade falsa. Podemos tomar dessa forma por que a classe
C subconjunto da classe dos ordinais, que bem ordenada. Ento, para todo
< , tem-se que () verdadeira. Portanto por hiptese, () verdadeira,
o que um absurdo. Assim, () verdadeira para todo e qualquer ordinal .
Notas:
(i) O Princpio da Induo Finita (P.I.F.) um caso particular do P.I.T., aplicado ao conjunto dos naturais com a ordem usual;
12
(ii) A diferena essencial entre o P.I.F. e o P.I.T. que no primeiro mostra-se

que uma propriedade vlida para um certo elemento a partir de seu predecessor imediato e no segundo, mostra-se tal validade a partir do conjunto de todos
os seus predecessores;
Agora temos condies de mostrar a equivalncia entre o Lema de Zorn e o
Axioma da Escolha, mas antes apresentaremos uma noo de Classes Prprias,
que na literatura podem ser encontradas tambm como famlia de conjuntos.
Na teoria moderna dos conjuntos, entende-se por Classe qualquer coleo arbitrria de elementos do universo. Todos os conjuntos so classes (que geralmente
so conjuntos), mas nem toda classe um conjunto. Classes que no so conjuntos so chamadas de Classes Prprias. O Princpio da Limitao do Tamanho,
em sua vaga formulao, diz que toda classe pequena (no sentido de cardinalidade) so conjuntos, enquanto que classes prprias so muito grandes; To
grandes que no podem ser pensadas como objetos especcos (conjuntos). Alm
disso, apenas colees transnitas podem ser conjuntos, mas algumas colees
so "absolutamente innitas", e no pode-se pensar em compreend-las em um
objeto. Desta forma, diz-se que toda classe que tem a mesma cardinalidade da
classe universo muito grande e todas as outras so pequenas. As classes de
todos ordinais e de todos conjuntos so classes prprias.
Teorema 1.3.3. As armaes do Lema de Zorn e do Axioma de Escolha so

equivalentes.
Demonstrao:
(Zorn Escolha) Seja X um conjunto, A um conjunto de ndices dado e F
uma funo de A em P(X), tal que, para todo A, F () 6= . O nosso
objetivo provar a existncia de uma funo de escolha que denida para
todo A. Consideremos o conjunto de funes
(
g:
Dg X
g() F ()
Dg A
Dg.
Introduzimos ordem em do mesmo modo como no Exemplo 5:
(
g1 g2
Dg1 Dg2
g2 () = g1 ()
Dg1
1.3 Relao de ordem
13
Seja H , uma cadeia. Em H denimos a funo:

[
g X
D
g=
Dg
D
g :
gH
g() = g()
Dg para algum g H
A funo g est bem denida, pois o seu valor em qualquer no depende da
escolha particular de g(). De fato, sejam g, g1 H duas funes denidas em
. O fato de H ser linearmente ordenado nos garante que, ou g g1 ou g1 g .
Em ambos os casos g1 () = g() (no domnio da restrio). Logo os valores de
g independem da escolha de g .
Temos, alm disso, que g g para toda g H , ou seja, g cota superior
para H . Portanto, pelo Lema de Zorn, tem um elemento g que maximal.
Mostremos que Dg = A. Para este propsito vamos supor o contrrio, isto ,
que existe um 0 A\Dg . Denimos:
Dg {0 } X
g :
g () = g ()
Dg

g (0 ) F (0 ).
Obviamente g excede g , nos sentido da ordem em , e as duas funes no
coincidem. Isto contradiz o fato de g ser maximal para .
Conseqentemente, g uma funo de escolha denida no conjunto inteiro
de ndices A.
(Escolha Zorn) Seja (X, <) um sistema parcialmente ordenado tal que
toda cadeia possui cota superior. Mostremos que X tem elemento maximal.
Para isso, denimos o seguinte conjunto p(x) = {y X : x < y} (X),
onde (X) o conjunto das partes de X . Seja p(X) = {p(x) : x X}. Se
p(x) p(X) vazio para algum x X , ou seja, no existe y X tal que x < y ,
ento x o elemento maximal para X e, portanto, o teorema est provado.
Agora, suponha que p(x) 6= para qualquer x X , isto , para cada x X
existe y X que maior do que x, o que implica no conjunto p(X) ser no
vazio tambm. Ento, pelo Axioma da Escolha, existe uma funo de escolha
f em p(X), tal que para cada p(x) temos f (p(x)) p(x). Ento, pela denio
do conjunto p(x) segue que x < f (p(x)). Pela induo transnita, denimos
f (p(x)) para todo ordinal , num conjunto de ndices A, da seguinte maneira:
f0 (p(x)) = x
f+1 (p(x)) = f (p(f (p(x)))).
14
Desta forma, sempre que i < , f (p(x)) um limite superior de fi (p(x)),

pois:
f+1 (p(x)) = f (p(f (p(x)))) p(f (p(x)), o que signica que f (p(x)) <
f (p(f (p(x)))), pela denio do conjunto p(x). Ento, f+1 (p(x)) > f (p(x)),
para todo ordinal .
Ento, podemos facilmente construir uma funo injetiva de A em X dada por
g() = f (p(x)) para qualquer x X arbitrrio.
De fato: Como a classe A dos ordinais bem ordenada, podemos armar que
se < , ento 6= . Agora, temos que g() = f (p(x)) que menor
que g() = f (p(x)) sempre que < . Assim, para todo 6= teremos
g() 6= g(), o que dene uma funo injetiva.
Como g injetiva e tem como domnio o conjunto A de ordinais (que uma
classe prpria) ento, a cardinalidade de X no mnimo igual cardinalidade
de A. Portanto, X tambm uma classe prpria, o que contradiz o fato de X
ser um conjunto. Desta forma, no se pode ter tal funo de escolha e, assim, o
conjunto X admite um elemento maximal.
1.3.1 Exerccios
1. Sejam A, B X . Mostre que os tens abaixo so equivalentes:
a)A B ; b)A B c = ; c)A B = B ; d)B c Ac ;
e)A B = A.
2. Mostre que: (AB)C = A(B C) C A, para quaisquer conjuntos
A, B, C X .
3. Sejam A, B X . Demonstre a igualdade: A \ B = A4(A B).
4. Mostre que a incluso: (A C) (B C c ) A B verdadeira para
quaisquer conjuntos A, B, C X .
5. A igualdade verdadeira ou falsa? D um contra-exemplo ou demonstre:
A (B \ C) = (A B) \ (A C).
6. Para quaisquer que sejam A, B, C X mostre que:
A B = A e B C = A C = . Sugesto: Prove por absurdo.
7. Sejam z, w C. Temos que zRw Re(z) = Re(w), onde Re(z) a parte
real do complexo z . Prove que R uma relao de equivalncia. Faa o
esboo da classe de equivalncia de um nmero complexo qualquer.
1.3 Relao de ordem
15
8. Seja R a relao de congruncia sobre Z: aRb a b(modm), com

m > 1. Demonstre que esta uma relao de equivalncia. (Lembrete:
a b(modm) m|(a b) q N : (a b) = q.m).
9. Sejam p = (x, y), q = (w, z) R2 . Ento, pRq z y = w x. Mostre
que R uma relao de equivalncia e represente gracamente a classe de
equivalncia de (2, 1).
10. Sejam u, v R2 . Ento, uRv R : u = v . Mostre que R
relao de equivalncia.
11. Seja R um subconjunto de Q Q: xRy x y Z. Prove que R uma
relao de equivalncia. Qual o conjunto de pontos que so relacionados
com o nmero 1?
12. Em N, denimos m n n|m. Mostre que esta uma relao de ordem
parcial, mas no linear. Mostre que todo subconjunto tem limite superior,
segundo essa ordem. Determine o conjunto dos elementos maximais.
13. A ordem lexicogrca sobre um conjunto A aquela seguida na organizao de um dicionrio. Em um dicionrio a letra a precede a letra c,
denotada por a c que se l: a precede c. Da mesma forma: a abe,
aab aabc e bace bb. Outra situao: 1 3 que se l: 1 precede 3.
Analogamente: 1 125, 112 1123 e 2135 22. Mostrar que uma
relao de ordem sobre N.
14. Seja R N N: (a, b)R(c, d) a + d = b + c.
a-) Demonstre que R relao de equivalncia. Determine e esboce as
classes (0, 0) e(1, 0);
b-) Sejam x = (a, b) e y = (c, d). Ento, xSy a + d b + c. Mostre que
S uma relao de ordem linear.
15. Seja X um conjunto parcialmente ordenado. Mostre que:
a-) Se X tem um menor elemento, ento x o nico elemento minimal de
X;
b-) Se X nito, ento o nico elemento minimal de X , se existir, o
menor elemento;
c-) D um exemplo mostrando que se X no for nito, o item b) falso.
16. Prove que o Axioma da Escolha equivalente seguinte armao: Dada
uma coleo no vazia C de conjuntos no vazios e distintos dois a dois,
ento existe um conjunto E que contem exatamente um elemento de cada
16

conjunto da famlia C . Este conjunto E chamado de conjunto escolha
para C .
17. Mostre que o Axioma da Escolha implica na seguinte armao: O produto

cartesiano de uma famlia no vazia de conjuntos no vazios no vazio.
18. Prove a equivalncia entre as armaes:"O produto cartesiano de uma
famlia no vazia de conjuntos no vazios no vazio"e "Todo conjunto
no vazio possui uma funo escolha".
19. Mostrar que todo espao vetorial V possui uma base e que esta um
elemento maximal para V, no sentido da independncia linear. (Sugesto:
Lema de Zorn).
20. Demonstre que a seguinte armao implica no Lema de Zorn: Qualquer
conjunto parcialmente ordenado contem um subconjunto linearmente ordenado maximal.
Captulo 2
Tpicos da Topologia
2.1 Espaos Topolgicos
Denio 2.1.1. Seja X um conjunto e uma famlia de subconjuntos de
X , isto , P(X). Dizemos que uma topologia em X se as seguintes
exigncias so satisfeitas:
1) e X ;
S
2) Se U para todo A, ento A U ;
3) Se U e V , ento U V .
Se uma topologia em X , a dupla (X, ) um espao topolgico.
Os conjuntos de so chamados abertos (com respeito a ).
Os complementos dos conjuntos de so chamados fechados.
As seguintes propriedades dos conjuntos fechados num espao topolgico
(X, ) so consequncia imediata da denio:
1) e X so fechados;
T
2) Se V so fechados, para todo A, ento A V fechado;
3) Se U e V so fechados, ento U V fechado.
Denio 2.1.2. Seja B X , onde (X, ) um espao topolgico.

1) O ponto x0 B chamado ponto interior de B se existe U , tal que
x0 U B .
2) O ponto y0 chamado ponto aderente de B se, para todo U , tal que
U 3 y0 , temos U B 6= .
Sucintamente dito, o ponto x0 interior de B , se x0 est em B juntamente
com pelo menos um conjunto aberto U que contm x0 . Anlogamente, y0
18
Captulo2. Tpicos da Topologia
aderente se, todo aberto que o contm, tem interseco no-vazia com B . Isto
implica imediatamente que, se x0 interior, ele necessariamente aderente.
Entretanto, existem conjuntos que possuem pontos aderentes que no so interiores.
Lema 2.1.1. Seja X uma espao topolgico. Ento:

(i) O conjunto U X aberto todo seu ponto interior.
(ii) O conjunto V X fechado todo seu ponto aderente.
Demonstrao:
Primeiramente provaremos a armao (i). Para mostrarmos a incluso
(),
observemos que, se x U , pela denio de ponto interior, existe Ux tal
que x Ux U . Ento,
[
U=
Ux
xU
De fato, para provarmos a incluso U xU Ux , basta observar que, se

x U , ento x Ux . Analogamente, a incluso xU Ux U segue pelo fato
que, se x xU Ux , existe x0 U , tal que x Ux0 . Mas Ux0 U , pela forma
como estes conjuntos foram denidos. Ento x U .
Para estabelecermos a incluso
()
observe que, se U e x U , o prprio conjunto U o aberto que contido
em si, isto , podemos denir Ux = U e assim x Ux U . Portanto x ponto
interior de A.
Agora mostremos a armao (ii). Comeamos com a incluso
().
Temos que provar que X\V aberto. Seja x X\V . Ento, existe um conjunto
aberto Ux , tal que Ux 3 x e Ux V = , pois seno, para o aberto U 3 x teriamos
U V 6= que contradiz o fato de x ser aderente. Mas, Ux V = implica em
Ux X\V . Logo, X\V de fato aberto.
Finalmente estabeleceremos a incluso
().
Sabemos que V fechado. Suponha que a concluso no verdadeira, isto ,
que existe um x que ponto aderente de V , mas x 6 V . Ento x X\V e X\V
aberto. Isto signica que existe um aberto Ux 3 x; Ux X\V . Portanto, a
ltima incluso equivalente ao fato de que Ux V = , o que signica que x
no ponto aderente de V . Chegamos a uma contradio.
Corolrio 2.1.1. Seja X um espao topolgico. Ento:
2.1 Espaos Topolgicos
19
(i) O conjunto U X aberto U coincide com a unio dos seus pontos

interiores.
(ii) O conjunto V X fechado V coincide com a unio dos seus pontos
aderentes.
Denio 2.1.3. Seja A (X, ). O fecho A de A denido por

A =
\
{B A : B fechado}.
Lema 2.1.2. O fecho A coincide com o conjunto dos pontos aderentes de A.

Demonstrao:
Seja
= {x X : x ponto aderente de A}.

Temos que provar que A . Para este propsito, estabeleceremos que cada
um destes conjuntos incluso no outro.
Para mostrarmos a incluso [], seja x A e suponha que x 6 , isto ,
que x no seja aderente. Ento, existe um conjunto aberto Ux 3 x, tal que
Ux A = . Mas X\Ux fechado. Logo, x 6 X\Ux e X\Ux A.
A incluso [] obvia. De fato, A fechado, poi interseco de fechados.
Conseqentemente, A contm os seus pontos aderentes. Isto implica imediatamente que, se x , ento x A.
Lema 2.1.3. O conjunto V fechado se, e somente se, V = V .

Denio 2.1.4. Seja X um espao topolgico e x0 X . O conjunto U uma
vizinhana de x0 se x0 ponto interior de U . Formalmente, U vizinhana de
x0 se existe um aberto Ux0 , tal que x0 Ux0 U .
Figura 1 U vizinha de x0
20
Denio 2.1.5. Seja x0 X que um espao topolgico e Bx0 uma famlia

de vizinhanas de x0 . Dizemos que Bx0 base de vizinhanas de x0 se, para
toda vizinhana U de x0 , existe Ux0 Bx0 tal que Ux0 U .
Denio 2.1.6. A famlia B de todas as bases Bx de todos os pontos x X

chamada base (de vizinhanas) de X .
Exemplo 2.1.1. Sejam X R e a topologia do conjuntos abertos:

a) Bx0 =
b) Bx0 =
n=1 (x0
n1 , x0 + n1 ) base de vizinhanas de x0 .
(x0 n , x0 + n ), onde n 0, base de vizinhanas de x0 .
n=1
1
1
, x0 + ) no base.
10
n
n=1
d) Se = {X, } a topologia catica, ento Bx0 = {X} base de vizinhanas
de x0 .
c) Bx0 =
(x0
Lema 2.1.4. Toda base B =
S
xX
Bx do espao topolgico X satisfaz:
1) Se V Bx , ento x V .
2) Se V1 , V2 Bx , existe V Bx , tal que V V1 V2 .
3) Para todo Vx Bx existe Vx Bx , tal que Vx Vx e para todo y Vx , existe
Vy B y : Vy Vx .
Teorema 2.1.1. As propriedades 1), 2) e 3) do lema anterior implicam que existe uma nica topologia em X , tal que B =
de (X, ).
xX
Bx uma base de vizinhaas
Denio 2.1.7. Se X um espao topolgico e 1 2 , dizemos que 1

mais fraca do que 2 .
A topologia {, X} chamada catica e a topologia P(X) chamada discreta. Obviamente, se X qualquer conjunto, a correspondente topologia catica
a mais fraca e a topologia discreta a mais forte.
2.2 Funes Contnuas em Espaos Topolgicos

Denio 2.2.1. O conjunto de ndices A chamado sistema direcionado
direita se A ordenado e, alm disso, para todo 1 , 2 A, existe 3 A, tal
que 1 3 e 2 3 .
Exemplos:
1) (R, ) um sistema direcionado direita (sdd);
2.2 Funes Contnuas em Espaos Topolgicos
21
2) ([a, b], ) um sdd;

3) (P(R2 ), ) um sdd;
4) (f, ) no um sdd.
Denio 2.2.2. Seja A um sistema direcionado direita e X um conjunto.

Dizemos que : A X uma seqncia genrica se uma funo tal que
() = x X . s vezes, chamaremos de sequncia genrica (ou generalizada),
o prprio codominio de , isto , {x }A .
Denio 2.2.3. Seja {x }A uma seqncia genrica em X . Se B um

sistema direcionado direita, e : B A tal que:
1) Se 1 , 2 B , 1 2 , segue que (1 ) (2 );
2) para todo 0 A existe B : 0 (),
ento a funo : B X chamada subseqncia de {x }A . Da mesma
forma, freqentemente chamaremos de subseqncia o codominio de , isto
, {x }B .
Denio 2.2.4. Seja {x }A (X, ) uma sequncia genrica de elementos

do espao topolgico (X, ). O elemento y X chamado ponto de acumulao
de {x } se, para todo conjunto aberto U 3 y e para todo ndice A, existe
1 A tal que: 1 e x1 U .
Denio 2.2.5. Seja X um espao topolgico. Dizemos que {x }A x0

se, para todo conjunto aberto U 3 x0 , existe 0 A, tal que, para todo : 0
, temos x U .
Denio 2.2.6. Sejam X , Y espaos topolgicos. A funo f : X Y

contnua em x0 X se, para todo aberto V Y , com f (x0 ) V , existe um
aberto U X , tal que x0 U e f (U ) V .
Denio 2.2.7. Uma aplicao f : X Y que transforma cada subconjunto
aberto U de X , num subconjunto aberto f (U ) de Y chama-se uma aplicao
aberta.
Teorema 2.2.1. Seja f : X Y onde X e Y so espaos topolgicos. Ento

f contnua em todo ponto x X se, e somente se, para todo aberto V Y , a
imagem inversa f 1 (V ) um conjunto aberto em X .
Demonstrao:
A armao () segue imediatamente da denio anterior.
Para provarmos (), seja V um conjunto aberto de Y e W = f 1 (V ). Seja
x0 W . Ento, f (x0 ) V . Desde que f contnua em x0 , existe um conjunto
aberto U 3 x0 , tal que f (U ) V . Logo, U W .
22
Teorema 2.2.2. A funo f : X Y onde X e Y so espaos topolgicos,

contnua em x0 se, e somente se, para qualquer seqencia {x } que converge
para x0 , a seqencia {f (x )} converge para f (x0 ).
Demonstrao:
Primeiramente vamos provar a armao
().
dado que x x0 . Queremos provar que f (x ) f (x0 ). Seja V um aberto
em Y , que contm f (x0 ). Ento, existe um conjunto aberto U em X que contm
x0 tal que f (U ) V . Mas, sabemos que x x0 . Portanto, existe 0 A,
tal que para todo que segue 0 , isto , 0 , temos que x U . Portanto,
f (x ) V e, consequentemente, f (x ) f (x0 ).
Para estabelecermos
(),
suponha primeiramente que f no contnua em x0 . Isto signica que existe
um conjunto aberto V 3 f (x0 ), tal que para todo U 3 x0 , temos f (U ) \ V 6= .
Consideremos a famlia U de todos os conjuntos abertos U com esta propriedade.
Em U introduzemos a relao de ordem por incluso de decrescimento, isto ,
U1 U2 se U1 U2 . Assim, U torna-se um sistema direcionado direita.
Escolhemos, para todo U U , um ponto xU de U de modo que xU x0 .
Isto pode ser feito pois U contem todos os conjuntos abertos que contm x0 .
Portanto, se W aberto, W 3 x0 , existe U W e x0 U W . Ento, de fato
xU x0 . Por outro lado, desde que para esta escolha dos pontos xU temos que
f (xU ) 6 V . Portanto, f (xU ) 6 f (x0 ) que uma contradio.
2.3 Espaos Topolgicos Separveis e Normais

Nesta seo provaremos os Teoremas de Urysohn e de Tietze.
Denio 2.3.1. Seja X um espao topolgico. X separvel (T2 , ou de

Hausdor) se, para quaisquer x1 , x2 X, x1 6= x2 , existem conjuntos abertos
U1 e U2 : U1 3 x1 , U2 3 x2 e U1 U2 = .
Denio 2.3.2. Seja X um espao topolgico. X chamado normal se, para

quaisquer conjuntos fechados F1 e F2 : F1 F2 = , existem abertos U1 e
U2 : U1 F1 , U2 F2 e U1 U2 = .
Lema 2.3.1. O espao topolgico X normal se, e somente se, para quaisquer
conjuntos C fechado e W aberto, tais que C W , existe U aberto, tal que
C U e U W.
23
Demonstrao:
Figura 2 Representao dos conjuntos U, W e C

Primeiramente provaremos a armao
().
Sejam C e W como na armao. Consideremos C e X \ W que so fechados.
Observemos que C (X \ W ) = .
Figura 3 Representao dos conjuntos C, U1 , U2 e W

Desde que X normal, pela Denio 2.3.2, existem conjuntos U1 e U2
abertos, tais que U1 C , U2 (X \ W ) e U1 U2 = . Seja U := U1 .
Ento C U e U (X \ U2 ). Portanto U 1 (X \ U2 ). Consequentemente,
U (X \ U2 ) W .
Mostremos agora a armao
().
Sejam C e F fechados disjuntos em X . Ento X \F aberto e C W = (X \F )
Logo, existe um aberto U tal que C U e U W . Mas, X \ U aberto, e como
U W , ento F X \ U . Como U U segue que X \ U U = . Portanto,
X normal.
Teorema 2.3.1 (Urysohn). Sejam X um espao topolgico normal e A, B X

fechados, tais que A B = . Ento, existe uma funo contnua f : X R
24
de modo que
xA
0,
f (x) =
1,
xB
[0, 1], x X.
Demonstrao:
Seja G1 := X \ B . Ele um conjunto aberto, como complemento de fechado.
Desde que A B = , ento A G1 . Pelo Lema 2.3.1, existe outro conjunto
aberto G0 , tal que A G0 e G0 G1 . Aplicando o mesmo lema, com C = G0
e W = G1 , concluimos que existe um conjunto aberto G1/2 , tal que G0 G1/2
e G1/2 G1 . Novamente pelo lema, com C = G0 , W = G1/2 , existe mais um
conjunto aberto G1/4 , tal que G0 G1/4 e G1/4 G1/2 . Usando mais uma vez
o lema, desta vez com C = G1/2 e W = G1 , existe um aberto G3/4 que satisfaz
G1/2 G3/4 e G3/4 G1 .
Figura 4 Representao dos conjuntos Gk/2m

Repitindo este raciocnio, podemos construir uma seqncia de conjuntos
abertos Gk/2m , onde m = 1, 2, . . ., e k = 1, 2, . . . , 2m que gozam das seguintes
propriedades: Se p, q e r so trs nmeros racionais, cada um da forma k/2m ,
e p < q < r, ento Gp Gq e Gq Gr . s vezes os nmeros da forma so
chamados binrios.
Seja
(
inf{r : x Gr , r = k/2m },
x X \ B,
f (x) =
1,
x B.
claro que f (x) = 0, x A e f (x) [0, 1], x X . Provemos ento a
continuidade. Seja x0 X e > 0. Consideremos (f (x0 ) , f (x0 ) + ), que
a correspondente -vizinhana de f (x0 ) em R. Temos que achar um aberto
25
U X , tal que U 3 x0 e f (U ) (f (x0 ) , f (x0 ) + ). Para este propsito,

consideremos dois casos, o primeiro quando x0 tal que f (x0 ) = 1 e o segundo
quando f (x0 ) 6= 1.
T
a) f (x0 ) = 1 Pela prpria denio da funo f (x), temos que x0
/ r=k/2m Gr .
Desde que a famlia dos nmeros da forma k/2m densa em [0, 1], existe um
tal nmero r0 , 1 r0 < . Consideremos U = X \ Gr0 . Se x U , ento f (x) >
r0 > 1 . Agora, desde que f (x) [0, 1], obviamente f (x) f (x0 ) 0 < .
Portanto
f (x0 ) < f (x) < f (x0 ) + .
b) f (x0 ) 6= 1. Vamos escolher r1 e r2 da forma k/2m , tais que f (x0 ) <
r1 < f (x0 ) < r2 < f (x0 ) + . Tal escolha possvel pela densidade dos nmeros
binrios. Consideramos U = Gr2 \ Gr1 . Logo, se x U , temos r1 f (x) r2 ,
o que implica em.
f (x0 ) < f (x) < f (x0 ) + .
Corolrio 2.3.1. Seja X um espao topolgico normal e A, B X fechados,

com A B = . Ento, para quaisquer nmeros reais m1 < m2 , existe uma
funo contnua g : X R de modo que
xA
m1 ,
g(x) =
m2 ,
xB
[m1 , m2 ], x X.
Lema 2.3.2. Seja X um espao topolgico normal, A um conjunto fechado, e

: A R uma funo contnua, tal que |(x)| C . Ento, existe uma funo
contnua f : X R, tal que
|(x) f (x)|
e
|f (x)|
Demonstrao:
Considere
2
C,
3
1
C,
3
xA
x X.
1
A1 := x A : (x) C
3
1
A2 := x A : (x) C .
3
26
Temos que A1 e A2 so fechados em X e A1 A2 = . Pelo Teorema de Urysohn

segue que existe uma funo contnua, f : X R tal que
13 C,
x A1
1
f (x) =
x A2
3 C,
1 C, 1 C , x X.
3
Figura 5 Representao da funo f

Claramente |f (x)| 13 C para todo x X . Agora, se x A1 ,
1
f (x) (x) = C (x) 0
3
e
1
2
(x) f (x) C + C = C.
3
3
Portanto,
f (x) (x) 0
e f (x) (x)
Consequentemente,
|(x) f (x)|
Se x A2 ,
2
C.
3
2
C.
3
2
1
0 (x) f (x) C C = C.
3
3
Logo,
|(x) f (x)|
2
C.
3
27
Se x
/ A1 e x
/ A2 simultaneamente,
1
C
3
|(x)| <
e |f (x)|
1
C.
3
Consequentemente,
|(x) f (x)| |(x)| + |f (x)|
2
C.
3
Teorema 2.3.2 (Tietze). Seja X um espao topolgico normal, A um conjunto

fechado em X e : A R uma funo contnua e limitada. Ento existe uma
extenso contnua f : X R, tal que f |A e, alm disso,
inf (x) f (x) sup (x),
xA
x X.
xA
Demonstrao:
Desde que (x) limitada em X , existe uma constante C , tal que |(x)|
C, x A. Alm disso, podemos supor, sem perda de generalidade, que
inf{(x) : x A} = C e sup{(x) : x A} = C . De fato, se provarmos a
armao do teorema para funo (x) com esta propriedade, para tratarmos
o caso geral, basta somente observar que o enunciado do teorema no depende
de transformaes da forma (x) + c, f (x) + c.
Primeiramente, provaremos por induo a existncia de uma sequncia de
funes contnuas {fn } que satisfazem
|fn (x)|
1
3
n1
2
C,
3
(2.3.1)
x X,
e, alm disso,
n
2
|(x) f1 (x) . . . fn (x)|
C,
3
x A.
Para n = 1, o resultado segue do Lema 2.3.2, ou seja, existe uma funo contnua
f1 , tal que
|(x) f1 (x)|
2
C,
3
xA
e |f1 (x)|
Para n = 2, considere = f1 . Temos que
|| = | f1 |
0
2
C=C .
3
1
C,
3
x X.
28
Logo pelo Lema 2.3.2, existe funo contnua f2 tal que

2

2 0
2
1 0
1 2
| f2 | C =
C e |f2 | C =
C.
3
3
3
3 3
Hiptese de induo: Suponha que o resultado seja vlido para um nmero
natural n, isto , que existem funes contnuas f1 , f2 , . . . , fn , todas satisfazendo
(2.3.1), e, alm disso,
n
00
2
||
C=C ,
3
onde = f1 . . . fn . Ento, pelo Lema 2.3.2, existe uma funo contnua
fn+1 , tal que
n
n+1
n
2 00
2 2
2
1 2
C=
C e |fn+1 |
C.
| fn+1 | C =
3
3 3
3
3 3
Portanto, o resultado vale para n+1, e assim pelo princpio da induo matemtica,
para qualquer nmero natural n.
Consideremos a funo
f (x) :=
fi (x).
i=1
A srie absolutamente convergente. De fato,
i1
X
1 X 2
1
1
|f |
|fi (x)| C
= C
= C.
3
3
3
1
2/3
i=1
i=1
Por outro lado, se uma srie de funes absolutamente convergente, ela tambm uniformemente convergente. Portanto, a sua soma uma funo contnua.
Consequentemente, f contnua. Desde que |f | C , ento
inf (x) f (x) sup (x),
xA
x X.
xA
Temos que f (x) = Sn (x) + Rn (x), onde
Sn (x) =
n
X
fi (x) e
Rn (x) =
i=1
fi (x).
i=n+1
Do fato de Sn (x) convergir uniformemente para f (x) segue que para todo > 0,
existe N, tal que, para todo n > temos que |Sn (x) f (x)| , x X .

Portanto, |Rn (x)| , x X . Seja > e, alm disso 32 C < . Logo,
para todo n > > temos que
|Rn (x)| < , x X
2.4 Compactos em espaos Topolgicos

e
29
n

2
2
|(x) Sn (x)|
C
C < , x A.
3
3
Portanto,
|(x)f (x)| = |(x)Sn (x)+Rn (x)| |(x)Sn (x)|+|Rn (x)| < 2, x A.

Consequentemente, (x) f (x) 0, x A, ou seja, f |A .

Denio 2.4.1. Seja X um [
espao topolgico e D X . A famlia {U }A
U D. Equivalentemente, para todo x D,
chamada cobertura de D se
existe pelo menos um ndice A, tal que U 3 x.
Denio 2.4.2. Seja X um espao topolgico. O conjunto K X chamado

compacto se, para toda cobertura {U }A de K , composta por conjuntos abertos
U , existe n N e ndices 1 , 2 , , n A, tais que
n
[
Ui K.
i=1
Isto signica que K compacto se qualquer cobertura de K , composta por

conjuntos abertos, possui uma subcobertura nita.
Frequentemente, as coberturas compostas por conjuntos abertos so sucintamente chamadas de coberturas abertas.
Lema 2.4.1. Seja X um espao topolgico e K X um conjunto compacto.

Se G um subconjunto fechado de K , ento G compacto.
Demonstrao:
S
Seja {U }A uma cobertura aberta de G, isto , A U G. Obviamente
V = X \ G aberto. Portanto, V {U }A uma cobertura aberta de K , que
compacto. Logo, existem 1 , . . . , n A tais que
V
Conseqentemente,
n
[
Ui K G.
i=1
Sn
i=1
Ui G, e portanto, G compacto.
Denio 2.4.3. Seja F uma famlia de subconjuntos de D. F tem a propriedade da interseco nita se, todo nmero nito de elementos de F possui
interseco no-vazia. Formalmente, isto signica que, se
F = {F D : A},
30
ento F possui a propriedade da interseco nita se, para todo n N e para

n
\
quaisquer 1 , . . . , n A, temos que
Fi 6= .
i=1
Denio 2.4.4. Seja (X, ) um espao topolgico e D X. A famlia de

conjuntos D = {U D : U } chamada topologia induzida por D
Figura 6 D = {U D : U }
Provar que (D, D ) um espao topolgico
Lema 2.4.2. Seja X um espao topolgico e K X . Ento, K compacto se,

e somente se, toda famlia de subconjuntos fechados de K que satisfaz a p.i.f.
(com respeito a topologia induzida em K ) tem interseco no-vazia.
Demonstrao:
Provaremos inicialmente a armao
().
Suponha que F = {F }B uma famlia de subconjuntos fechados de K
T
satisfazendo a p.i.f. e cuja interseco vazia, B F = . Denimos U =
K \ F . Temos que
[
[
\
U =
(K \ F ) = K \
F = K.
B
Portanto {U }B uma cobertura aberta de K , que compacto. Logo, existe

Sn
ndices 1 , 2 , . . . , n , de modo que i=1 Ui K . Isto equivalente ao fato de
Tn
que K \ i=1 Fi K . Consequentemente
n
\
i=1
Fi = ,
31
o que uma contradio com o fato de F satisfazer a p.i.f..

Para provarmos a armao
(),
S
seja {U }A uma cobertura aberta de K , isto , U K . Ento, para os
conjuntos F = K \ U , temos
F =
(K \ U ) = K \
U = .
Desde que a interseco dos conjuntos F vazia, {F }A no satisfaz a p.i.f.,

Tn
isto , existem 1 , . . . , n , tais que i=1 Fi = . Consequentemente,
n
[
Ui =
i=1
n
[
(K \ Fi ) = K \
i=1
n
\
Fi = K
i=1
Portanto K compacto.
Lema 2.4.3. Seja X um espao topolgico separvel. Se o conjunto K X

compacto, ento K fechado.
Demonstrao:
Provaremos que X \ K aberto. Seja x X \ K . Se y K um ponto
arbitrrio. Ento y 6= x. Desde que X separvel, existem conjuntos abertos
S
Vy e Uy , tais que Vy 3 x, Uy 3 y e Uy Vy = . Obviamente yK Uy K , isto
, {Uy }yK uma cobertura aberta de K . O fato de K ser compacto implica na
existncia de uma subcobertura nita {Uyi }ni=1 . Denotamos por U a unio dos
Tn
Sn
conjuntos desta subcobertura, U = i=1 Uyi . Seja V = i=1 Vyi . Obviamente
U e V so abertos. Alm disso,
K U,
e V 3x
U V = .
(2.4.2)
De fato, as armaes K U e V 3 x so conseqncias imediatas das denies

de U e de V . Para provarmos que U V = , vamos supor o contrrio, isto
, que existe z , tal que z U e z V simultaneamente. Portanto existe pelo
menos um ndice k, 1 k n, tal que z Uyk . Mas z Vyk pois z est dentro
de todos os Vyi . Portanto, teremos Uyk Vyk 6= , que uma contradio com
a escolha dos conjuntos Uy e Vy .
Observamos agora que (2.4.2) implica em x V X \ U X \ K . Isto
signica que x um ponto interior de X \ K , isto , que X \ K aberto.
Teorema 2.4.1. Todo espao topolgico separvel que compacto, normal.
32
Demonstrao: Seja K um espao topolgico separvel e compacto. Sejam

A e B fechados, tais que A, B K e A B = . Lema 2.4.1 implica que A e B
so compactos.
Primeiramente consideremos um ponto qualquer y B . Desde que K
separvel, para todo x A existem conjuntos abertos Uxy e Vxy , tais que Uxy 3
x, Vxy y e Uxy Vxy = . De fato, podemos armar at que Uxy A, Vxy B .
Figura 7 Representao da cobertura Uy

Desde que
Uxy A e A compacto, existe uma subcobertura nita, i.,
xA
n
[
Uxi y A
i=1
Obviamente os conjuntos Uy :=
n
\
Vxi y 3 y.
i=1
n
[
i=1
Uxi y e Vy :=
n
\
Vxi y so abertos. Alm
i=1
disso, podemos provar, como no lema anterior, que Uy Vy =

S
Variando agora o ponto y em B , concluimos que yB Vy B . Mas B
tambm compacto, o que implica na existncia de uma subcobertura nita
Sn
{Vyi }, isto , i=1 Vyi B .
Tn
Sn
Podemos introduzir os conjuntos V := i=1 Vyi e U := i=1 Uyi e armar
que eles so abertos. Obviamente U A e V B . Precisamos mostrar que
U V = . Para este propsito, suponha que existe z : z V e z U .
Ento, existe um ndice k, 1 k n, tal que z Vyk . Mas obviamente z Uyk
tambm, o que implica em Vyk Uyk 6= que contradiz escolha destes conjutos.
Teorema 2.4.2. Sejam X e Y espaos topolgicos e f : X Y uma funo

contnua. Se K X compacto, ento f (K) Y tambm compacto.
Demonstrao:

Seja
S
A
33
V uma cobertura de abertos de f (K), isto ,

[
V f (K).
Desde que f C(X), ento os conjuntos U := {x X : f (x) V } so

abertos em X . Alm disso, obviamente os conjuntos U , A, formam uma
S
cobertura de K , A U K . Desde que K compacto, ento, existe uma
Sn
subcobertura nita, isto , i=1 Ui K . Consequentemente,
n
[
V i =
i=1
n
[
(f (Ui )) f (K),
i=1
e portanto, f (K) compacto.
Lema 2.4.4. Seja X um espao topolgico, {x }A uma seqncia generalizada em X e y um ponto de acumulao de {x }. Ento, existe uma subseqncia
{x }, tal que {x } y .
Demonstrao:
Temos que construir uma subseqncia {x }, tal que, para todo conjunto
aberto V 3 y , existe um ndice 0 , de modo que, para todo , 0 , temos
x V . Seja
B = {(, V ) : A, V 3 y e x V }.
Introduzimos ordem em B da seguinte forma: dizemos que 1 2 se as exigncias 1 2 e U1 U2 so satisfeitas simultaneamente. Pelo fato de y ser
ponto de acumulao, a segunda exigncia desta denio vlida.
Provemos que {x } y . Sejam V aberto, V 3 y e 0 = (0 , V ). Isto
signica que x0 V . Portanto, para todo 0 , temos que 0 e
x V V0 = V .
Teorema 2.4.3. Seja X um espao topolgico e K X . Ento, K compacto

se, e somente se, toda sequncia {x }A de elementos de K possui um ponto
de acumulao em K .
Demonstrao:
()
Seja {x }A uma seqncia generalizada de X tal que x K . Suponha que
todos os pontos de acumulao de {x } pertencem a X\K .
Seja x K um ponto qualquer de K . Ento, ele no ponto de acumulao
de {x }. Portanto, existe um conjunto aberto Ux , Ux 3 x, tal que, existe um
34
ndice 0 , de modo que, para todo 0 , temos que x 6 Ux . Por outro lado,
[
Ux K.
xK
Desde que K compacto, existe uma subcobertura nita

n
[
Uxi K.
i=1
Seja o ndice i tal que, para todo i , temos xi 6 Uxi .

Desde que A um sistema direcionado a direita, existe 0 , tal que 1
0
, ..., n < 0 simultaneamente. Ento, x0 6 Uxi . Chegamos a uma contradio pois x0 K ni=1 Uxi .
()
Seja {V }B uma cobertura aberta de K ,
[
V K.
B
Suponha que K no compacto. Isto signica que para todo subconjunto nito
de ndices teremos
n
[
Vk 6 K.
k=1
Seja
A := { = {V1 , ..., Vnd } : d nito, Vk {V }B , k = 1, ..., nd }.

A ordem em A denida por 1 2 1 2 . Para todo ndice A,
nd
escolhemos um ponto x , tal que x K\(i=1
Vi ). A sequncia {x }A tem
que ter um ponto de acumulao y K .
Seja V0 3 y e 0 = {V0 }, 0 A. Se 0 , A, ento =
{V0 , V1 , ..., Vnd }. Pela denio da sequncia, x 6 V0 . Portanto, y no pode
ser ponto de acumulao em A para {x }, o que contradio.
2.5 Teorema de Tikhonov

Denio 2.5.1. Seja {X }A , onde X 6= para todo A, uma famlia
de espaos topolgicos.
Pelo Axioma da Escolha existe pelo menos uma funo
[
f : A
X tal que : f () = X para todo A.
A
O conjunto de todas as funes f com esta propriedade chamado produto

de Tikhonov de {X }A .
Y
O produto de Tikhonov denotado por
X .
A
35
Notemos que um elemento do espao-produto da forma x =

[(x : A),
X tal que:
onde x X . Portanto, um ponto x uma funo x : A
A
x() = x X para todo A.
Denio 2.5.2. Os abertos elementares em

Y
X so os conjuntos da forma
U , onde U X , todos os U so abertos e, alm disso, somente
para um nmero nito de ndices temos U 6= X . Em outras palavras, isto

signica que dentre todos os indices A, existe somente um nmero nito n
deles 1 , 2 , . . . , n com a propriedade que U1 ( X1 , . . . , Us ( Xn .
Denio 2.5.3. A funo

( Q
A
X
f ()
chamada projeo do espao de Tikhonov sobre X .

Podemos tambm denir os abertos elementares do espao-produto
da seguinte forma:
U=
n
Y
1
(Ui ), f (i ) = Ui
i
i=1
onde Ui um subconjunto aberto do espao Xi .

Portanto, um aberto qualquer do espao-produto ser qualquer unio e interseco de abertos elementares.
Observemos que, os abertos elementares constituem uma base de uma topologia no espao-produto. De fato, pois a interseco nita de abertos elementares
, por denio, um aberto elementar e qualquer aberto de a unio de abertos
elementares, por denio. Assim,
(
)
n
[
\
:= G : G =
U, onde U so os abertos elementares ou G =
Ui ,
i=1
Q
dene uma topologia no espao-produto, ou seja, ( A X , ) espao topolgico.
Y
X
Teorema 2.5.1. As projees : X X em um espao produto X =
so contnuas e abertas.
Dem: Seja U0 um aberto de X0 . Pelo teorema 2.2.1, para provar que

0 : X X0 contnua, necessario e suciente mostrar que para todo U0
36
aberto em X0 temos 1
(U0 ) aberto em X . Por denio temos
0
Y
1 (U0 ) = U0
X ( fatia de largura U0 )
6=0
que um aberto do espao-produto, o que demonstra a continuidade.

Continuando, seja U um aberto elementar de X , i.,
Y
U = U1 . . . Um
X
6=k
Ento k (U ) = Uk um aberto de X
X a unio
k . Como todo aberto V de[
[
de abertos elementares, ou seja, V =
U , segue que, k (V ) =
k (U )
aberto de Xk . Portanto, as projees so abertas.
Teorema
Y 2.5.2. Uma seqncia x1 , x2 , ... de pontos de um espao-produto
X converge para um ponto x X se, e somente se, para cada pro-
X=
jeo : X X , a seqencia (x1 ), (x2 ), ... converge para (x) no

espao-coordenado X .
Dem: () Suponha xn x. Ento, como toda projeo contnua, segue
do teorema 2.2.2 que (xn ) (x).
() Suponha (xn ) (x) para toda projeo : X X
Pela denio de convergncia, xn x se para todo U aberto contendo x,
existe no N tal que n > n0 xn U .
Seja U 3 x um aberto qualquer, i.,
U = 1
(U1 ) . . . 1
(Um )
1
m
onde Uk um aberto do espao-coordenado Xk . Como x U , segue que,
1 (x) 1 (U ) = U1 , . . . , m (x) m (U ) = Um . Mas por hiptese,
k (xn ) k (x), k = 1, . . . , m
e portanto,
nk N; n > nk k (xn ) Uk xn 1
(Uk )
k
Tomemos n0 = mx{nk }para k = 1, 2, . . . , m. Ento,
n > n0 xn 1
(U1 ) . . . 1
(Um ) = U
1
m
Portanto, xn x.
37
A seguir, demonstraremos um dos mais importantes teoremas da topologia,

conhecido como Teorema de Tikhonov, que mostra a compacidade do espaoproduto. Para provar este teorema faz-se uso do seguinte resultado, que conseqncia do lema de Zorn.
Lema 2.5.1. Seja = uma coleo de subconjuntos de um conjunto X , com a

propriedade da interseco nita. Existe uma coleo M de subconjuntos de X ,
mxima com a propriedade de interseco nita e contendo =.
Dem: Seja P o conjunto de todas as colees de subconjuntos de X que
contm = e gozam da propriedade da interseco nita. Consideremos (P, )
parcialmente ordenado. Notemos que, dado um conjunto linearmente ordenado
de colees de subconjuntos de X, cada uma delas em P , a unio dessas colees
ainda pertence a P , e portanto, todo subconjunto linearmente ordenado de P
possui cota superior e, pelo Lema de Zorn, existe em P um elemento maximal
M, o que demonstra o lema.
O elemento maximal M do lema possui as seguintes propriedades:
(i) Todo superconjunto de um membro de M tambm pertence a M;

(ii) A interseco de um nmero nito de membros de M tambm pertence a
M;
(iii) Se U M 6= para todo M M, ento U M.

Demonstraremos apenas o item (iii), os outros dois tens cam como exerccio.
Demontrao: Suponha que U
/ M, ento existe um elemento que pertence
S
a U e no pertence a M. Tomemos o conjunto M = U M. Este conjunto est
em (P, ). De fato, M contm = e goza da p.i.f., pois usando a hiptese de que
T Tn
U M 6= para todo M M e a propriedade (ii), temos: U ( k=1 Mjk ) 6= ,
onde Mjk M. Portanto, M diferente e maior que M, no sentido da ordem,
o que absurdo, pois M o elemento maximal.
Teorema 2.5.3. Se {X }A uma famlia de espaos compactos, ento o

produto
X=
compacto.
Dem: Seja = = {Fi : i I} uma famlia de subconjuntos fechados do
produto X com a propriedade da interseco nita. Ento, pelo lema 2.4.2,
38
para provar que X compacto, necessrio e suciente mostrar que
Fi 6= ,
iI
ou seja,
x X tal que x Fi para todo Fi =

Pelo lema anterior, podemos escolher uma coleo M = {Mj : j J} de
subconjuntos de X , contendo = e mxima com relao a propriedade da interseco nita. Notemos que os conjuntos pertencentes a M no so necessariamente fechados. Por este motivo, denamos M = {M j : j J}. Observemos
que Fi = Fi = Fi e Fi M Fi M. Ento basta provarmos que M
tem uma interseco no-vazia, isto ,
x X tal que x M j para todo M j M

e portanto, x ponto de acumulao de todo Mj M. Pela denio de ponto
de acumulao, o teorema estar provado, se mostrarmos que para qualquer
T
aberto U 3 x do espao-produto, temos: U Mj 6= para todo Mj M.
Seja : X X a projeo no espao topolgico X . Para cada ndice ,
a coleo
(M) = { (Mj ) : j J}
das projees de todos os conjuntos Mj M tem a p.i.f.. De fato, pois
(M1 ) . . . (Mn ) (M1 . . . Mn ) 6=

Logo, a coleo dos fechos
{ (Mj ) : j J}
uma coleo de subconjuntos fechados de X , que tambm satisfaz a p.i.f..
Agora, usando a hiptese de que cada X compacto e o fato de que
T
{ (Mj ) : j J} X satisfaz a p.i.f., pelo lema 2.4.2, segue que (Mj ) 6=
, para todo Mj M, isto ,
x X tal que x (Mj ) para todo Mj M

Portanto, x ponto de acumulao de (Mj ), para todo Mj M, ou seja,
T
para qualquer conjunto aberto U 3 x do espao X , temos U (Mj ) 6=
para todo Mj M.
Seja x = (x : A) o ponto de X que possui como coordenadas os
x assim obtidos. Vamos mostrar que este x ponto de acumulao de todo
Mj M.
2.6 Exerccios
39
Sem perda de generalidade, tomemos U um aberto elementar de X =

contendo x. Pela denio de aberto elementar, temos:
U = 1
(U1 ) . . . 1
(Um )
1
m
onde cada Uk um aberto de Xk . Assim, como x U k (x) = xk Uk .
Portanto, do fato acima demonstrado, concluimos que, para cada ndice k , e para
todo Mj M
Uk k (Mj ) 6=
e da resulta que
1
(Uk ) Mj 6= para todo Mj M
k
Por causa da maximilidade de M, segue da propriedade (iii) de elemento maximal, que:
1
(Uk ) M para k = 1, 2, . . . , m
k
Como M satisfaz a propriedade da interseco nita,
U Mj = 1
(U1 ) . . . 1
(Um ) Mj 6= para todo Mj M
1
m
e portanto x ponto de acumulao de Mj , e assim o teorema est provado.
2.6 Exerccios
1. Demonstre as trs propriedades dos conjuntos fechados num espao topolgico
(X , ), isto , demonstre que:
(i) e X so fechados;
T
(ii) Se V so fechados, para todo A, ento A V fechado;
S
(iii) Se U e V so fechados, ento U V fechado. (Dica: Use as leis de
De Morgan para mostrar (ii) e (iii)
2. Prove o lema 2.1.3 : O conjunto V fechado se, e somente se, V = V .
3. Demonstre que se { : A} uma coleo de topologias num conjunto
T
X , ento, a interseo A tambm uma topologia em X .
4. A uniao de topologias de X tambm uma topologia em X . (Em caso
armativo demonstre, ou de um contra-exemplo).
40

5. Prove que uma funo f : X Y contnua se, e somente se, a imagem
inversa de todo subconjunto V fechado de Y fechado em X .
6. Sejam as funes f : X Y e g : Y Z contnuas. Prove que a funo
composta gof : X Y tambm contnua.
7. Mostre que se X separvel, ento toda sequncia convergente em X tem
limite nico.
8. Seja a topologia conita num conjunto X . Mostre que (X, ) um
espao compacto.
9. Seja U um membro da base denidora para um espao produto X =

Q
i Xi . Mostre que a projeo de U sobre qualquer espao aberta.
Y
10. Seja {X : A} uma coleo de espaos de Hausdor e X =
X
o espao-produto. Mostre que X tambm de Hausdor.
inA
2.7 Resoluo dos Exerccios

1. Demonstrao: (i) X e so complementares dos conjuntos abertos e
X respectivamente, logo so fechados. (ii) Seja U = X \ V . Assim,
\cada
S
U aberto em X , logo U = U tambm aberto. Seja V =
V ,
A
como V = X \ U , ento pela Lei de De Morgan,
V =
\
A
V =
\
A
(X \ U ) = X \
U = X \ U
segue que V complementar de aberto, logo V =
V fechado. (iii)
T
Sejam W1 = X \ U e W2 = X \ V abertos. Logo, W = W1 W2 aberto
S
S
T
e U V = (X \ W1 ) (X \ W2 ) = X \ (W1 W2 ) = X \ W , assim segue
S
que U V fechado.
A
2. Dem: (=) O fecho de qualquer conjunto 4 um subconjunto fechado por

ser a interseco de fechados. Logo, se V = V , ento V fechado.
(=) Se V fechado, ento V pertence a famlia dos fechados de X que

contm V , ento a interseco dessa famlia V , logo, V = V .
3. Dem: Vamos mostrar que as trs exigncias da Def. 2.1.1 so satisfeitas:
2.7 Resoluo dos Exerccios
41
(i) Temos que \

X e pertencem a para todo \A, logo, pertencem
. (ii) Alm disso, se U, V
, ento U e V
a interseco
A
pertencem a cada , A. Como cada { , A} \

topologia ento
T
T
U V , para todo A e , portanto, U V
, portanto
A
satisfaz a exigncia (3) da def. 2.1.1. (iii) anlogo para a exigncia (2).
4. Dem: Falso. D um contra-exemplo.
5. Dem: (=) Seja V um subconjunto fechado em Y . Ento Y \ V aberto
em Y . Desde que f contnua, temos que f 1 (Y \ V ) aberto em X .
Como f 1 (Y \ V ) = X \ f 1 (V ) ento f 1 (V ) fechado.
(=) Tomemos V fechado em Y . Suponhamos que f 1 (V ) fechado em

X . Seja U um conjunto aberto em Y . Ento, Y \ U fechado em Y e,
f 1 (Y \ U ) = X \ f 1 (U ) fechado em X , logo f 1 (U ) aberto em X e,
portanto, f contnua.
6. Prova: Seja U um aberto de z . Ento, g 1 (U ) aberto em Y , pois g
contnua. Mas f tambm contnua, logo, f 1 (g 1 (U )) aberto em
X . Como (g f )1 (U ) = f 1 (g 1 (U )), ento dado U aberto em z temos
(g f )1 (U ) aberto em X . Portanto g f : X Z contnua.
7. Dem: Seja {x }A uma seqncia. Suponhamos que {x } converge para
a e b, com a 6= b. Como X separvel, existe abertos U1 e U2 tais que
T
U1 3 a, U2 3 b e U1 U2 = . Por hiptese, {x } a, logo, existe
0 A, tal que, para todo : 0 , temos x U1 , i., U1 contm
quase todos (todos menos um nmero nito) os termos da seqncia, conseqentemente, {x } no pode convergir para b, o que contradiz. Logo,
a = b.
8. Dem: Seja U = {U : A} uma cobertura aberta de X . Escolhamos
U0 U . Com a topologia conita, Uoc um conjunto nito, digamos
U0c = {a1 , ..., am }. Como U cobertura de X , para cada ak U0c , existe
S S
S
Uk U tal que ak Uk . Logo, U0c U1 ... Um e X = U0 U0c =
S
S S
U0 U1 ... Um . Assim, X compacto.
9. Dem: Como U pertence base denidora para X ,
U = {X : 6= 1 , ..., m } U1 ... Um
42

onde Uk um aberto de Xk . Ento, para qualquer projeo : X
X ,
(U ) =
Em qualquer caso, (U ) um aberto.
10. Dem: Sejam x = (x : A) e y = (y : A) pontos distintos em

X . Ento, x e y devem diferir em, ao menos, um espao coordenado,
digamos Xj0 , i., aj0 6= bj0 . Mas por hiptese, Xj0 de Hausdor, logo,
existem abertos disjuntos U e V de Xj0 tais que aj0 U e bj0 V .
Por denio de espao-produto, a projeo j0 : X Xj0 contnua.
Conseqentemente, j1
(U ) e j1
(V ) so abertos disjuntos de X contendo
0
0
x e y respectivamente. Logo, X tambm de Hausdor.
Captulo 3
Espaos Mtricos
3.1 Propriedades Bsicas
Denio 3.1.1. Seja X um conjunto. A funo : X X R chamada
distncia em X se:
1)(x, y) 0, x, y X e (x, y) = 0 x = y ;
2)(x, y) = (y, x), x, y X ;
3)(x, y) (x, z) + (z, y), x, y, z X .
Se (x, y) uma distncia em X , a dupla (X, ) chamada espao mtrico.
Exemplos:
1) X qualquer conjunto e
(
(x, y) =
0,
1,
se x = y
se x 6= y.
2) (R, ), (x, y) = |x y|;

Pn
3) (Rn , 2 ), 2 (x, y) = ( k=1 (xk yk )2 )1/2 ;
Tarefa: Provar as desigualdades de Cauchy-Schwartz e a do tringulo.
Pn
4) (Rn , 1 ), 1 (x, y) = k=1 |xk yk |;
5) (Rn , ), (x, y) = max |xk yk |;
1kn
6) (C[a, b], (f, g)) (f, g) = sup |f (x) g(x)|;

x[a,b]
Vamos apresentar apenas a provar o item 6. Seja ento:
44
Captulo3. Espaos Mtricos

1) (f, g) 0 (trivial). Agora, (f, g) = 0 = sup |f (x) g(x)| = 0 =
x[a,b]
|f (x) g(x)| = 0 = f (x) g(x) = 0 = f (x) = g(x), para quaisquer f, g

C[a, b].
2) (f, g) = sup |f (x) g(x)| = sup |(1)(g(x) f (x))| = sup |g(x) f (x)| =
x[a,b]
x[a,b]
x[a,b]
(f, g), para toda f, g C[a, b].

3) (f, g) = sup |f (x) g(x)| = sup |f (x) h(x) + h(x) g(x)|
x[a,b]
x[a,b]
sup {|f (x) h(x)| + |h(x) g(x)|} f,g,hC[a,b] sup |f (x) h(x)| + sup |h(x) g(x)| =
x[a,b]
x[a,b]
x[a,b]
(f, h) + (g, h), para quaisquer f, g, h C[a, b]

Logo, (f, g) uma distancia.
7) L2 [a, b] = (L2 [a, b], ), onde L2 [a, b] denota o espao das funesf : [a, b] R
Rb
Rb
que satisfazem a |f (t)|2 dt < , e (f, g) = ( a |f (t) g(t)|2 dt)1/2
Provar que (f, g) distncia.
Denio 3.1.2. Seja x0 X e r R+ . O conjunto

B(x0 , r) = {x : (x0 , x) < r}
chamado de bola aberta de centro x0 e raio r.

Da mesma forma,
B[x0 , x] = {x : (x0 , x) r}
S(x0 , r) = {x : (x0 , x) = r}
so chamados de bola fechada e de esfera de centro x0 e raio r, respectivamente.
Denio 3.1.3. O conjunto U (X, ) chamado aberto se, para todo ponto
x0 U , existe r > 0, tal que B(x0 , r) U .
Denindo os conjuntos abertos desta forma, de fato denimos topologia
em (X, ).
Lema 3.1.1. O espao mtrico (X, ), com a topologia introduzida atravs

da denio acima, torna se um espao topolgico.
Demonstrao:
1) Primeiramente, temos que vericar que qualquer unio de abertos aberto.
Sejam, para todo A, U conjuntos abertos em (X, ). Portanto, para
todo A, e para todo x U existe r > 0 tal que B(x, r) U . Se
3.1 Propriedades Bsicas
45
x A U , ento x U0 , para pelo menos 0 A. Ento, existe r0 > 0 com

B(x, r0 ) U0 e consequentemente B(x, r0 ) A U .
2) Agora provemos que a interseco de dois abertos tambm aberto. Sejam U1
e U2 conjuntos abertos e x U1 U2 . Desde que U1 e U2 so abertos, existem
bolas abertas B(x, r1 ) U1 e B(x, r2 ) U2 . Considerando r = min(r1 , r2 ),
obviamente B(x, r) U1 U2 .
Desta forma provamos que todo espao mtrico espao topolgico. Existem, entretanto, espaos topolgicos que no so mtricos. Neste caso dizemos
que a topologia no metrisvel.
Fornea exemplos de espaos topolgicos que no so metrisveis.
Lema 3.1.2. Toda bola aberta B(x0 , r) um conjunto aberto.

Demonstrao:
Sejam y B(x0 , r) um ponto arbitrrio e d := (r (x0 , y))/2. Considere
B(y, d), a bola aberta de centro y e raio d. Para todo z B(y, d), temos
(x0 , z) (x0 , y) + (y, z) (x0 , y) + d = r 2d + d = r d < r.

Portanto, B(y, d) B(x0 , r).
Denio 3.1.4. Seja {xn } uma sequncia de pontos de (X, ) e x X . Dizemos que xn x se (xn , x) 0 quando n .
Lema 3.1.3. Seja X um espao mtrico e F X . Ento, F fechado se, e

somente se, para toda sequncia convergente {xn } de pontos de F que converge
para x, segue que x F .
Lema 3.1.4. Toda bola fechada B[x0 , r] em (X, ) um conjunto fechado.

Demonstrao:
Basta provar que o complementar aberto.
Denio 3.1.5. Seja A X . A distncia (x, A) dada por

(x, A) = inf{(x, y) : y A}.
Exemplo 3.1.1. Se A = {a1 , . . . , an } um conjunto nito, ento (x, A) o

menor dos n nmeros (x, a1 ), . . . , (x, an ).
Lema 3.1.5. Temos que (x, A) = 0 se, e somente se, x A.

Demonstrao:
() Desde que (x, A) = 0, ento existe uma sequncia {yn } de pontos de A,
46
tal que (yn , x) 1/n para todo n N. Isto signica que (yn , x) 0 quando
n . Portanto, x ponto de aderncia o que implica em x A.
() Seja x A. Ento, para todo n N, existe uma sequncia de pontos
yn A, tal que yn B(x, 1/n). Isto signica que (x, yn ) < 1/n. Ento,
(x, A) = 0.
Teorema 3.1.1. Seja A um conjunto dado. Ento a funo (x, A) uma

funo contnua da varivel x.
Demonstrao:
Seja {xn } uma sequncia de pontos de X que converge para x0 X . Isto
signica que (xn , x) 0. Temos que provar que (xn , A) (x0 , A). Para
este propsito, observe que, para todo y A, a desigualdade do tringulo
implica em
(xn , y)
(xn , x0 ) + (x0 , y)
(x0 , y)
(x0 , xn ) + (xn , y).
Tomando os inmuns, com respeito a y A, dos dois lados das desigualdades

acima, obtemos
inf (xn , y)
(xn , x0 ) + inf (x0 , y)
inf (x0 , y)
(x0 , xn ) + inf (xn , y).
yA
yA
yA
yA
Ento,
(xn , A)
(xn , x0 ) + (x0 , A)
(x0 , A)
(x0 , xn ) + (xn , A).
Estas desigualdades so equivalentes
|(xn , A) (x0 , A)| (xn , x0 ).

Desde que (xn , x0 ) 0, ento (xn , A) (x0 , A).
Teorema 3.1.2. (Uryshon) Seja (X, ) um espao mtrico e A e B conjuntos

fechados de X , com A B = . Ento, existe uma funo f C(X), tal que
f |A 0, f |B 1 e 0 f (x) 1 para todo x X .
Demonstrao:
Basta considerar f (x) =
(x,A)
(x,A)+(x,B) .
Corolrio 3.1.1. Todo espao mtrico normal.
3.2 Espaos Mtricos Completos
47
Demonstrao:
Sejam A e B conjuntos fechados de X , onde A B = . Temos que encontrar
conjuntos abertos U, V X , tais que U A, V B e U V = . fcil vericar
que estas exigncias so satisfeitas pelos conjuntos U = {x X : f (x) < 1/2}
e V = {x X : f (x) > 1/2}.

Denio 3.2.1. Seja (X, ) um espao mtrico. A sequncia {xn }
n=1 fundamental se, para todo > 0, existe N N, tal que, para todos m, n > N ,
temos (xn , xm ) < .
Uma denio equivalente a seguinte:
A sequncia {xn }
n=1 fundamental se, para todo > 0, existe N N, tal que,
para quaisquer n > N e p N, temos (xn , xn+p ) < .
Denio 3.2.2. O espao mtrico (X, ) chamado completo se toda sequncia fundamental {xn } de pontos de X converge para um elemento x X .
Em outras palavras, (X, ) completo se, para toda sequncia {xn } que
fundamental, existe x X , tal que, para todo > 0, existe n0 N, tal que, para
todo n > n0 , temos (xn , x) < .
Exemplos:
1)
2)
3)
4)
(R, ) onde (x, y) = |x y| completo;

((0, 1], ), com (x, y) = |x y| no completo;
(Rn , 1 ), (Rn , 2 ) e (Rn , ) so completos;
(C[a, b], (f, g)), com (f, g) = sup |f (x) g(x)| completo;
x[a,b]
Rb
5) (C[a, b], (f, g)), onde (f, g) = ( a |f (t) g(t)|2 dt)1/2 no completo;
De fato, sejam [a, b] = [0, 1] e
se 0 t 1/(2n),
2nt
fn (t) =
2 2nt se 1/(2n) t 1/n,
0
se 1/n t 1.
Usando a desigualdade do tringulo e o fato que
Z 1
fn2 (t) dt = 1/(3n),
0
obtemos
(fm , fn ) (fm , 0) + (fn , 0) = 1/ 3m + 1/ 3n.
48
Seja > 0 arbitrrio. Dena N = [4/(32 )] + 1. Ento, se m, n > N , temos
(fm , fn )
1
1
2
< .
+ <
3m
3n
3N
Portanto, a sequncia de funes fn fundamental. Se o limite f existe, ento

f (t) 0.
Denio 3.2.3. Seja U (X, ) um conjunto limitado. Ento

d(U ) = sup (x, y)
x,yU
dimetro de U .
Provemos agora o Teorema de Cantor.
Teorema 3.2.1. (Cantor) Sejam (X, ) um espao mtrico completo e a sequncia de conjuntos fechados Fn X , tais que
F1 F2 F3 Fn ,
Ento, existe um nico ponto x
T
n=1
d(Fn ) 0.
Fn .
Demonstrao:
Figura 1
Primeiramente estabeleceremos a existncia. Seja, para cada n N, o ponto

xn Fn . Portanto, para todo p N, temos xn+p Fn+p Fn . Consequentemente,
(xn , xn+p ) d(Fn ) 0.
49
Formalmente, para todo > 0, existe N N, tal que, para todo n > N e para
todo p N, temos (xn , xn+p ) < . Desde que X e completo, existe x X , tal
T
que (xn , x) 0 quando n . Provemos agora, que x n=1 Fn , isto ,
que x Fn para todo n N. Seja o nmero natural n0 arbitrrio. Sabemos
que xn Fn0 para todo n n0 , o conjunto Fn0 fechado e xn x. Portanto,
temos que ter x Fn0 .
Para provarmos a unicidade, suponha que existem x 6= y com a propriedade
da concluso do teorema, isto , que x, y Fn para todo n N. A desigualdade
do tringulo implica que
(x, y) (xn , x) + (xn , y) 2d(Fn ) 0.

Consequentemente (x, y) = 0 e, pela primeira propriedade da distncia, segue
que x = y .
A hiptese que d(Fn ) 0 no Teorema de Cantor essencial, com mostra o

seguinte exemplo: Sejam X = R,
(x, y) =
|x y|
1 + |x y|
e Fn = [n, ). Temos que F1 F2 F3 e d(Fn ) = 1 para todo n N.

Provar que a funo (x, y) denida acima, realmente uma distncia.
O nosso proximo objetivo e provar o celebre Teorema de Baire sobre as
categorias.
Teorema 3.2.2. (Teorema de Baire) Sejam (X, ) um espao mtrico completo

S
e os conjuntos fechados Fn X , tais que X =
n=1 Fn . Ento, existem n0 N,
um ponto y Fn0 e > 0, tais que B(y, ) Fn0 .
Demonstrao:
Suponha o contrario, isto , que a sequncia {Fn } satisfaz as exigncias do
teorema mas nenhum Fn possui ponto interior.
Seja x1 X \ F1 que aberto. Portanto, ponto interior e existe uma bola,
tal que B(x1 , 1 ) X \F1 . Alm disso, podemos escolher 1 1 sucientemente
T
pequeno, que B[x1 , 1 ] F1 = .
Desde que F2 no possui pontos interiores, ento B(x1 , 1 ) \ F2 6= . Portanto, existe um ponto x2 B(x1 , 1 ) mas x2 6 F2 . Desde que B(x1 , 1 ) \ F2
T
aberto, existe 2 < 1 , 2 1/2, tal que B[x2 , 2 ] B[x1 , 1 ] e B[x2 , 2 ] F2 =
.
Usando este raciocnio, construmos a sequncia {xn } de pontos, junto com
50
a sequncia {n } de nmeros positivos com as seguintes propriedades:
B[xn , n ]
Fn = , n 1/n, xn 6
n
[
Fk .
k=1
Logo, construmos a sequncia de fechados B[xn , n ], tais que
B[xn , n ] B[xn1 , n1 ],
n 0.
Aplicando o teorema de Cantor aos B[xn , n ], concluimos que existe um nico

T
S
ponto x n=1 B[xn , n ]. Portanto, temos que x X e x 6 n=1 Fn , o que
S
um absurdo, pois por hiptese, X = n=1 Fn .
S
De fato x 6 n=1 Fn , pois se x Fn0 para algum n0 , desde que x
B[xn0 , n0 ], teramos
\
x B[xn0 , n0 ] Fn0 ,
T
o que um absurdo, pois, pela construo, B[xn0 , n0 ] Fn0 = .
Utilizaremos o Teorema de Baire para provarmos a existncia de funes

contnuas que no so diferenciveis em nenhum ponto. Recomendamos ao
leitor construir um exemplo de tal funo. Dois tais exemplos so devidos a
Weierstrass e Van der Warden.
Teorema 3.2.3. Existe uma funo f C[0, 1] que no diferencivel em

nenhum ponto x de [0, 1].
Demonstrao:
Consideramos o espao X = C[0, 1] equipado com a distncia uniforme. Provaremos na seo 3.4 que este espao completo. Sejam os conjuntos Fn X ,
denidos por
f (x + h) f (x)
Fn = f C[0, 1] : x [0, 1] :
n h 6= 0 : x + h [0, 1] .
h
1) Primeiramente, vamos provar que Fn fechado. Seja I = [0, 1] e
n
o
f (x + h) f (x)
c
>n:x+hI
Bn = Fn = f X : x I, h 6= 0 :
h
Dessa forma, se f Bn , ento para todo x I, h 6= 0, tal que
(x, h) = |f (x + h) f (x)| n|h| > 0.

Vamos provar que Bn aberto.
51
Armamos que existe > 0 tal que, para todo x I , h 6= 0, com (x, h) >
. Com efeito, caso contrrio existiria, para cada k N, algum xk I tal
que (xk , h) 1/k , seja qual for h. Como I compacto, toda sequncia em
I possui subsequncia convergente. Seja {xkn } uma subsequncia de {xk }, tal
que xnk x0 I . Para no carregar demais em notaes, tome, sem perca
de generalidade, {xkn } = {xk }. Como contnua, conclumos que, para todo
h, temos que (x0 , h) = lim (xk , h) lim 1/k = 0, o que, pela denio de
k
(x, h), uma contradio. Obtido ento o nmero > 0, armamos que
g X , kg f k < /2 g Bn . Com efeito, para todo x I , existe h 6= 0 tal
que
n.|h| + < |f (x + h) f (x)| |f (x + h) g(x + h)| + |g(x + h) g(x)| +
+|g(x) f (x)| < + |g(x + h) g(x)| +

2
2
ou seja, |g(x + h) g(x)| > n.|h|. Isto mostra que g Bn , e portanto Bn
aberto em X . Logo, Fn fechado.
Provado que Fn fechado, basta mostrar que o interior de Fn vazio. A
ento, aplicamos o Teorema de Baier.
Provar que o interior de Fn vazio, equivalente a mostrar que o complementar de Fn denso em X . De fato:
Se Fnc denso em X , ento Fnc = X . Assim, temos = X c = (Fnc )c =
int(Fnc )c = intFn .
2) Vamos mostrar ento que Fnc denso em X . Utilizaremos o fato de que
toda funo contnua, f : [0, 1] R, denida num intervalo limitado e fechado,
uniformemente contnua. Dados arbitrariamente > 0, e f X , mostraremos
que existe g Fnc tal que kg f k < . Pela continuidade uniforme de f , existe
um nmero > 0, tal que, para quaisquer x, y [0, 1], se |x y| < ento
|f (y)f (x)| < . Portanto, se subdividirmos o intervalo [0, 1] num nmero nito
de subintervalos I1 , I2 , . . . , Ir de comprimentos menores do que , o grco de
f , em cada um desses intervalos, cabe num retngulo de altura menor que .
Construmos agora uma funo contnua g : [0, 1] R. Fazendo com que g
coincida com f nas extremidades de cada intervalo Ij e, no interior de cada Ij ,
o grco de g tem a forma de uma serra cujos dentes tm arestas com inclinao
> n e esto contidos num retngulo de base Ij e altura < que contenha o
grco de f |Ij , temos que g cumpre as condies kg f k < e g Fnc , como
mostra a gura abaixo.
Assim, Fnc denso em X .
52
g
f
E
Ij
Figura 2
Portanto, a partir de 1) e 2), e aplicando o Teorema de Baire, temos que
Fn * X.
n=1
Em outras palavras, a unio dos conjuntos Fn no cobre X . Logo, existe f X

que no pertence a nenhum Fn . Consequentemente, existe uma funo contnua
f , tal que, para todo x [0, 1],
f (x + h) f (x)
> n.
h
Portanto, essa funo f no diferencivel em nenhum ponto do intervalo
[0, 1].
Denio 3.2.4. Seja (X, ) um espao mtrico e A : X X um operador

em X . Ele chamado operador de contrao, ou simplesmente contrao, se
existe q , 0 < q < 1, tal que, para quaisquer x, y X , temos
(Ax, Ay) q (x, y).
Teorema 3.2.4. (Teorema do Ponto Fixo de Banach) Seja (X, ) um espao

mtrico completo e A um operador de contrao em X . Ento, existe um nico
ponto X , tal que A = .
Demonstrao:
Seja x X um ponto qualquer. Consideremos a sequncia {xn }, construida
atravs da consecutiva aplicao do operador A: x1 = Ax, . . . xn+1 = Axn , . . ..
53
Ento,
(x1 , x2 )
(x2 , x3 )
(x3 , x4 )
(xn , xn+1 )
(xn+1 , xn+2 )
=
=
=
(Ax, Ax1 ) q (x, x1 )

(Ax1 , Ax2 ) q (x1 , x2 ) q 2 (x, x1 )
(Ax2 , Ax3 ) q (x2 , x3 ) q 3 (x, x1 )
q n (x, x1 )
(Axn , Axn+1 ) q (xn , xn+1 ) q n+1 (x, x1 ).
Da, pela desigualdade do tringulo, obtemos
(xn , xn+p )
(xn , xn+1 ) + (xn+1 , xn+2 ) + + (xn+p1 , xn+p )
q n + q n+1 + + q n+p1 (x, x1 )
= q n 1 + q + q 2 + + q p1 (x, x1 )
p
= q n 1q
1q (x, x1 ).
Desde que, para qualquer p xo, a ltima quantidade converge para zeros,
quando n vai para o innito, ento (xn , xn+p ) 0 quando n . Isto
signica que {xn } fundamental. Desde que X completo, existe X , tal
que xn . Primeiramente mostremos que ponto xo para A. Desde
que xn , para todo > 0, existe N, tal que, para todo n > , temos
(xn , ) < /2. Seja n um tal nmero natural. Ento,
(A, )
<
(A, xn+1 ) + (xn+1 , )

(A, Axn ) + (xn+1 , )
q(, xn ) + (xn+1 , )
.
Consequentemente, (A, ) = 0 e A = .
Para provarmos a unicidade do ponto xo, suponha que existam nmeros
e , tais que A = e A = . Assim,
(, ) = (A, A) q(, ),
o que equivalente desigualdade (1 q)(, ) 0. Desde que 1 q > 0 e
(, ) 0, isto possvel somente quando (, ) = 0, isto , quando = .
Vejamos agora uma aplicao do Teorema do Ponto Fixo de Banach, que
consiste em mostrar a existncia de soluo de um problema de valor inicial, o
qual ser apresentado no teorema a seguir.
Teorema 3.2.5. Seja f : R uma funo contnua denida num aberto

do plano (x, y). Suponhamos que a derivada parcial com relao segunda
54
varivel, fy : R, seja contnua tambm. Ento, para cada (x0 , y0 ) ,

existem um intervalo aberto I contendo x0 e uma nica funo diferencivel
: I R com (x, (x)) , para todo x I , que soluo do problema de
valor inicial
y 0 = f (x, y)
(3.2.1)
y(x0 ) = y0 .
(3.2.2)
Demonstrao
O primeiro passo na demonstrao deste teorema a transformao do problema de valor inicial no problema de resoluo de uma equao integral, o que
se faz no lema a seguir.
Lema 3.2.1. Seja f : R uma funo contnua num aberto do plano

(x, y). Ento, a funo diferencivel : I R uma soluo do problema
de valor inicial (3.2.1)-(3.2.2) se, e somente se for uma soluo da equao
integral
Z
y(x) = y0 +
f (s, y(s))ds, x I.
x0
(3.2.3)
Demonstrao
() Se soluo do problema de valor inicial, (3.2.1)-(3.2.2), pelo Teorema
Fundamental do Clculo, soluo da equao integral (3.2.3).
() Reciprocamente, se : I R uma funo contnua que soluo
da equao integral (3.2.3), ento, pelo Teorema Fundamental do Clculo,
diferencivel e tambm soluo do problema de valor inicial (3.2.1)-(3.2.2).
Vamos nos concentrar agora na resoluo da equao integral (3.2.3). Dado
(x0 , y0 ) , tomemos a e b positivos tais que o retngulo
B = B(a, b, x0 , y0 ) = {(x, y) : |x x0 | a e |y y0 | b}
(3.2.4)
esteja contido em . Como f contnua e B compacto (i.e., fechado e limitado), temos que f limitada em B . Seja
M = max{|f (x, y)| : (x, y) B}.

Sejam
55
n b o
0<a
min a,
M
e
Ja o intervalo fechado [x0 a

, x0 + a
].
Seja C o conjunto de todas as funes contnuas g : Ja R tais que
g(x0 ) = y0 e |g(x) y0 | b. Gracamente, queremos em C as funes contnuas
cujos grcos passem pelo ponto (x0 , y0 ) e que estejam contidos no retngulo
B.
y
W
y0 + b
y0
y0 - b
x0-a x0 x0+a
Figura 3
Vamos denir em C a seguinte distncia:
(g1 , g2 ) = max{|g1 (x) g2 (x)| : x Ja }.
(3.2.5)
Como provado na seo 3.1, temos que (3.2.5) , de fato, uma distncia.
Pela Proposio ??, (C, ) um espao mtrico completo.
Seja : C C[x0 a
, x0 + a
], onde para cada funo y C , temos que
Rx
(y(x)) = g(x), com g(x) = y0 + x0 f (s, y(s))ds. Provemos que, para todo
y C , temos que (y) C .
Observe que g(x) uma funo contnua para x Ja , que g(x0 ) = y0 e que
|g(x) y0 |
x0
|f (s, y(s))| ds M |x x0 | M a
b
56
e consequentemente g C . Logo : C C .
A equao (3.2.3) pode ser escrita na forma funcional
y = (y).
Portanto, as solues de (3.2.3) so os pontos xos de . A idia agora
usar o Teorema do Ponto Fixo de Banach. A m de aplicar este teorema ao
problema que estamos estudando, resta apenas vericar se uma contrao.
Para tal, escrevemos
Z x
|(g1 )(x) (g2 )(x)| =

[f (s, g1 (s)) f (s, g2 (s))]ds.
x0
(3.2.6)
Para estimar o integrante no segundo membro de (3.2.6), usamos o resultado do lema abaixo, o qual no apresentaremos a demonstrao. Veja
pag 55, Figueiredo, D. Guedes de e outro, "Equaes Diferenciais Aplicadas",
A.I.N.M.P.A, 2001.
Lema 3.2.2. Seja f : R uma funo contnua denida em um aberto

do plano (x, y) e tal que a derivada parcial fy : R seja tambm contnua.
Dado um subconjunto limitado 0 0 , existe uma constante K > 0 tal
que
|f (x, y1 ) f (x, y2 )| K|y1 y2 |
(3.2.7)
para todos (x, y1 ), (x, y2 ) 0 .
Usando este lema, obtemos
|(g1 )(x) (g2 )(x)| K
|g1 (s)) g2 (s)|ds K

a(g1 , g2 )
x0
e da
((g1 ), (g2 )) K
a(g1 , g2 ).
Conclumos que uma contrao se K
a < 1. Logo, basta tomar a
< 1/K .
E o Teorema 3.2.5 ca demonstrado com I = (x0 a
, x0 + a
).
3.3 Compactos em Espaos Mtricos

3.3.1 Teorema de Hausdor
Denio 3.3.1. Seja (X, ) um espao mtrico e A, B X . Dizemos que A
-rede para B se, para todo b B , existe a A, tal que (a, b) .
57
Uma armao equivalente desta denio que A -rede para B se

[
B[a, ] B.
aA
Terceira maneira de denir esta noo a seguinte: A -rede para B se
sup inf (a, b) .
bB aA
Exemplo:
Seja B = R2 . Ento,
A=
n
o
2 Z2 = ( 2x1 , 2x2 ) : x1 , x2 Z
-rede para B .
A -rede chamada nita se ela consiste de um nmero nito de pontos.
Provemos o Teorema de Hausdor.
Teorema 3.3.1. (Hausdor) Sejam (X, ) um espao mtrico. O conjunto

M X possui -rede nita para todo > 0 se, e somente se, de toda sequncia
{xn } de pontos de M pode ser escolhida uma subsequncia fundamental.
Demonstrao:
() Suponha que existe > 0, tal que M no tem -rede nita.
Seja x1 M . Desde que este ponto no -rede para M , existe x2 M , tal
que (x1 , x2 ) > . Desde que os dois pontos x1 e x2 no formam -rede para
M , existe x3 M , tal que (x1 , x3 ) > e (x2 , x3 ) > . Continuando este
racocnio, construimos a sequncia {xn } de pontos de M , tais que (xj , xk ) >
sempre quando j 6= k . Isto signica que para todo N N existem m, n > N ,
tais que (xm , xn ) > . Portanto a sequncia {xn } no possui subsequncias
fundamentais. Absurdo!
() Se = 1/n, ento M tem -rede nita. Ento, existem um nmero nito de

Sm(n) (n)
(n)
(n)
(n)
bolas B1 , B2 , . . . , Bm(n) , todas com raio 1/n, de modo que j=1 Bj M .
Seja {xn } uma sequncia qualquer de pontos de M .
Vamos construir, por induo, a sequncia de conjuntos Un , tais que, para
todo n N:
a) Un Un+1 ;
b) O conjunto Un contem um nmero innito de pontos da sequncia {xn };
c) d(Un ) < 2/n.
58

(1)
(1)
(1)
Se n = 1, existem bolas B1 , B2 , . . . , Bm(1) , todas com raio 1, de modo que

Sm(1)
j=1 Bj M . Seja Bk uma destas bolas. Tomemos U1 = M Bk . Obviamente
d(U1 ) < 2. Desde que U1 M , ento U1 possui -rede nita para todo .
Suponha que temos escolhido os conjuntos U1 U2 . . . Un e que Un
satisfaz as exigncias b) e c). Vamos construir Un+1 . Seja = 1/(n + 1). Desde
que Un M , ele possui 1/(n+1)-rede nita. Em outras palavras, existem bolas
(n)
(n)
(n)
B1 , B2 , . . . , Bm(n) , todas com raio 1/(n + 1), tais que
(n)
B1
(n)
B2
(n)
. . . Bm(n) Un .
Desde que Un contem um nmero nito de elementos de {xn }, existe um j, 1

(n)
j m(n), tal que Bj Un contem um nmero innito de elementos de {xn }.
(n)
Seja, ento Un+1 := Bj Un . Obviamente Un+1 Un e Un+1 satisfaz b) e c).

Vamos escolher a subsequncia de {xn } de modo que xk1 U1 , xk2
U2 , . . . , xkn Un . Temos que mostrar que para todo > 0, existe um nmero
natural N , tal que, para quaisquer m, n > N , temos (xkm , xkn ) < . Se
N = [2/] + 1, ento N > 2/, o que equivalente a 2/N < . Assim,
xkm , xkn UN e portanto (xkm , xkn ) d(UN ) < 2/N < .
3.3.2 Caracterizaes dos Compactos em Espaos Mtricos

Teorema 3.3.2. Seja (X, ) um espao mtrico e K X um conjunto fechado.
Ento, K compacto se, e somente se, todo sistema centralizado de subconjuntos
fechados de K tem interseco no-vazia.
Teorema 3.3.3. Seja (X, ) um espao mtrico. Se K X compacto, ento

K fechado.
Teorema 3.3.4. Seja (X, ) um espao mtrico. O conjunto K X compacto

se, e somente se, toda sequncia {xk }
k=1 de pontos de K possui subsequncia
convergente {xkj } cujo limite est em K .
Demonstrao:
() Suponha o contrrio, que exista um asequncia {xn } de que no possa

ser escolhida subsequncia convergente em K . Sejam Fn = {xn , xn+1 , . . .}. A
famlia dos conjuntos {Fn }
n=1 um sistema centralizado. De fato, considere
Tk
Fn1 , . . . , Fnk , com n1 < < nk . Ento, j=1 Fnk = Fnk . Desde que K
T
T
compacto, ento n=1 Fn 6= . Portanto, existe x K , tal que x n=1 Fn .
Logo, possvel escolher uma sequncia estacionria. De fato:
59
T
Temos que x n=1 Fn , n N. Isso implica que x F1 , implica na
existncia de um ndice k1 N, tal que x = xk1 . A partir disso, temos que x
Fj , 1 j k1 . Analogamente, temos que x F2 , o que implica na existncia
um nmero natural k2 > k1 , tal que x = xk2 . Assim, x Fj , k1 j k2 .
Seguindo este raciocnio, temos que existe um ndice n arbitrariamente grande,
tal que, xn = x. Logo, temos uma sequncia estacionria.
S
() Seja {G }A uma cobertura aberta de K , isto , A G K .
Suponha que K no compacto, isto , que no exista subcobertura nita.
Sn
Portanto, qualquer que sejam os ndices 1 , . . . , n , temos i=1 Gi 6 K . O
teorema de Hausdor implica que K possui -rede nita para todo > 0.
(1)
(1)
Ento, se = 1, existem discos fechados B1 , . . . , Bm(1) , todos com raio
(1)
(1)
um, tais que B1 . . . Bm(1) K . Consequentemente, K limitado. Logo,

K tem dimetro nito, d(K). Vamos construir indutivamente a sequncia dos
conjuntos K = K0 K1 . . . e tais que
d(Kn )
d(K)
2n
e, para todo n N, o conjunto Kn no pode ser coberto por nmero nito de

G .
De fato, acabamos de provar que K0 := K obedece estas exigncias. Suponha
que temos construido K0 , . . . , Kn1 . Pelo Teorema de Hausdor, Kn1 tem
(n1)
(n1)
2n d(K)- rede. Portanto, existem B1
, . . . , Bm(n1) , tais que para todos
(n1)
eles d(Bs
) 2n d(K), e
m(n1)
Bj Kn1 .
j=1
Existe pelo menos um ndice j0 , tal que o conjunto Bj0 Kn1 no coberto por
um nmero nitos de G . Escolhemos Kn := Bj0 Kn1 . Note que, d(Kn )
d(Bj0 ) d(K)/2n , logo este conjunto satisfaz as exigncias determinadas acima.
Desde que Kn so fechados para todo n N, K0 K1 . . . Kn . . .,
e d(Kn ) 0 quando n , pelo Teorema de Cantor, existe um nico ponto
Tn
x k=0 Kn . Portanto, obviamente x K . Por outro lado, {G } cobertura
de K . Logo, existe ndece 0 A, tal que x G0 . Desde que G0 aberto,
existe > 0, de modo que x B(x, ) G0 . O fato dos dimetros de {Kn }
convergirem para zero implica que para algum nmero natural n que sucientemente grande, teremos Kn B(x, ) G0 . Esta j uma contradio pois,
pela construo, nenhum dos Kn possui subcobertura nita da cobertura {G }.
60
Corolrio 3.3.1. O conjunto K Rn compacto se, e somente se, K fechado

e limitado.
3.4 Convergncia Uniforme

Nesta seo consideremos a questo de convergncia uniforme de funes reais
e provaremos o Teorema de Arzela-Ascoli.
Denio 3.4.1. A funo f : [a, b] R contnua em t0 [a, b] se, para

todo > 0, existe > 0, tal que, para todo t que satisfaz |t t0 | < , temos
|f (t) f (t0 )| < .
Denio 3.4.2. A funo f : [a, b] R contnua em [a, b] se ela continua

em todo t0 [a, b].
Denio 3.4.3. A funo f : [a, b] R uniformemente contnua em [a, b]

se, para todo > 0, existe > 0, tal que, para quaisquer t1 , t2 [a, b] que
satisfazem |t1 t2 | < , temos
|f (t1 ) f (t2 )| < .
Exemplo 3.4.1. A funo ln x uniformemente contnua no intervalo [1, ).

Demonstrao
Devemos mostrar que para todo > 0, existe > 0, tal que, para quaisquer
x1 e x2 [1, ) que satisfazem |x1 x2 | < , temos
| ln(x1 ) ln(x2 )| < .
De fato. Observer que

| ln x1 ln x2 | < = | ln
x1
x1
| < =
< e
x2
x2
Por outro lado,

|x1 x2 | < = |
x1
x1
x1
1| < =
1 < =
< + 1.
x2
x2
x2
Portanto, basta tomar = e 1. De fato,

> 0, = e 1 : |x1 x2 | < = |
x1
1| < = e 1
x2
61
x1 1 < e 1 = ln x1 < = ln x ln x < .

1
2
x2
= x2
x1 1 > 1 e = x1 > 2 e > e = ln x1 > = ln x1 ln x2 > .
x2
x2
x2
= | ln x1 ln x2 | <
como queramos provar.

Lembramos o seguinte resultado de anlise real:
Teorema 3.4.1. Se f continua em K R e K compacto, ento f

uniformemente contnua em K .
Seguem alguns exemplos de funes que so continuas mas no uniformemente:
Exemplo 1): f : R R, f (t) = t2 . Seja > 0 xo. Suponha que exista () >
0, de modo que, a desigualdade |t21 t22 | < vale sempre quando |t1 t2 | < .
Desde que
|t21 t22 | = |t1 t2 ||t1 + t2 | < ,
se, em particular, se |t1 t2 | = ()/2, a ltima desigualdade implica em
2
> |t1 + t2 |.
()
Mas esta desigualdade no satisfeita para todos t1 , t2 R, pois o seu lado
direito pode ser feito innitamente grande.
Exemplo 2): f : (0, 1] R, f (t) = sin 1/t. Seja = 1. Se f fosse uniformemente continua deveria existir > 0, de modo que, para quaisquer t1 , t2 (0, 1],
com |t1 t2 | < , teramos
| sin
1
1
sin | < 1.
t1
t1
Mas, desde que sin 1/t oscila muito rapidamente ao redor da origem, sempre
podemos escolher t1 e t2 muito prximos ao ponto zero que a ltima desigualdade
falhe. Mais precisamente, se t1 = 1/((m1/2)), t2 = 1/((m+1/2)), podemos
escolher m to grande que |t1 t2 | < . Apesar disso, obviamente | sin(1/t1 )
sin(1/t2 )| = 2.
Denio 3.4.4. Dizemos que a sequncia {fn } de funes fn : [a, b] R

converge uniformemente para a funo f : [a, b] R se, para todo > 0, existe
n0 N, tal que, para todo n > n0 , temos
|fn (t) f (t)| < para todo t [a, b].
Neste caso escreveremos fn f em [a, b].
62
Denio 3.4.5. Dizemos que a sequncia {fn } de funes, denidas em [a, b],
uniformemente convergente em [a, b], se existe f : [a, b] R, tal que fn f
em [a, b].
Lembremos mais um teorema importante da anlise real:
Teorema 3.4.2. Se a sequncia {fn } de funes, denidas em [a, b], uniformemente convergente em [a, b] e fn C[a, b] para todo n N, ento a sua
funo-limite f tambm contnua em [a, b].
As seguintes funes fornecem um exemplo de sequncia que convergente em
[0, 1], mas no uniformemente:
se 0 t 1/(2n),
2nt
fn (t) =
2 2nt se 1/(2n) t 1/n,
0
se 1/n t 1.
Lembremos que:
Teorema 3.4.3. O espao C[a, b] com a distncia uniforme, completo.

Demonstrao
Seja (fm ) um sequncia fundamental em C[a, b]. Ento, dado > 0, existe
N N tal que, para todo m, n > N , temos
(fm , fn ) = sup{|fm (t) fn (t)|} <

tJ
(3.4.8)
onde J = [a, b]. Assim, para cada t = t0 J xo,
|fm (t0 ) fn (t0 )| <

com m, n > N .
Isto mostra que (f1 (t0 ), f2 (t0 ), . . .) uma sequncia fundamental de nmeros
reais. Desde que R completo, esta sequncia converge, ou seja, fm (t0 ) f (t0 ),
com m . Desta forma, podemos associar a cada t J , um nico nmero
real f (t). Isto dene uma funo f : J R, tal que fm f .
De (3.4.8), fazendo n , temos
sup{|fm (t) f (t)|} <
(m > N ).
tJ
Assim, para todo t J ,
|fm (t) f (t)| <
(m > N ).
63
Isto mostra que (fm (t)) converge uniformemente para f (t) em J . Desde que
fm C[a, b], para todo m N, e a convergencia uniforme, pelo Teorema 3.4.2,
a funo limite f contnua em J . Assim, f C[a, b].
Logo, C[a, b] completo.
Denio 3.4.6. O subespao F C[a, b] chamado uniformemente limitado

se existe M > 0, tal que |f (t)| < M para todo t [a, b] e para toda funo
f F.
Denio 3.4.7. O subespao F C[a, b] equicontnuo se, para todo > 0,

existe > 0, tal que, para quaisquer t1 , t2 [a, b] que satisfazem |t1 t2 | < ,
temos
|f (t1 ) f (t2 )| < , para toda f F.
Exemplo: Sejam fn (x) = xn , consideradas em [0, 1] e F = {fn }
n=1 . Se = 1/2
e |t1 t2 | = , em particular, se t1 = 1 e t2 = 1, ento
|fn (t1 ) fn (t2 )|
= |tn1 tn2 |
= tn1
+ tn2
t2 + + tn1
1
1
2
= 1 + (1 ) + + (1 )n1
= 1 (1 )n
> 1/2
para todo n que sucientemente grande, independentemente da escolha de .

Portanto, F no equicontnuo.
Teorema 3.4.4. Seja F C[a, b]. Ento, de toda sequncia {fn }

n=1 de funes
de F pode ser escolhida uma subsequncia uniformemente convergente se, e
somente se, F uniformemente limitada e equicontnua.
Demonstrao:
() De {fn }
n=1 F podemos escolher uma subsequncia fundamental com
respeito distncia uniforme
(f, g) = sup |f (t) g(t)|.
t[a,b]
Ento, o Teorema de Hausdor implica que, para todo > 0, a famlia F possui
-rede nita x1 , . . . , xn de funes, com respeito . Pela prpria denio de
-rede, segue que, para toda f F , existe xj de modo que (f, xj ) < /3, isto
,
|f (t) xj (t)| < /3 para todo t [a, b].
(3.4.9)
64
Por outro lado, para todo i, 1 i n, a funo xi uniformemente contnua.

Logo, existe i > 0, que para quaisquer t1 , t2 [a, b] com |t1 t2 | < i , temos
|xi (t1 ) xi (t2 )| < /3.

Seja = min{i : 1 i n}. Assim, se t1 , t2 [a, b] e |t1 t2 | < , temos
|xi (t1 ) xi (t2 )| < /3, para i = 1, 2 . . . , n.
(3.4.10)
Desde que x1 (t), . . . , xn (t) so um nmero nito de funes contnuas em

[a, b], o Teorema de Weierstrass garante a exsitncia de uma constante M > 0,
tal que
|xi (t)| < M, para todo t [a, b] e para i = 1, 2 . . . , n.
Ento, para toda f F , por (3.4.9) temos
|f (t)| |f (t) xj (t)| + |xj (t)| /3 + M.

Consequentemente, F uniformemente limitada.
Por outro lado, (3.4.9) e (3.4.10) implicam que, se t1 , t2 [a, b] e |t1 t2 | < ,
ento
|f (t1 ) f (t2 )|
|f (t1 ) xj (t1 )| + |xj (t1 ) xj (t2 )| + |xj (t2 ) f (t2 )|
<
/3 + /3 + /3
Ento, F equicontnua.
() Primeiramente, observe que existe uma sequncia {tk }N
k=0 de pontos de
[a, b], que um conjunto denso em [a, b]. Isto signica que, para todo > 0,
existe N N, que para todo t [a, b] existe n, 1 n N , de modo que
|t tn | < . De fato, vamos considerar os pontos denidos da seguinte forma.
Sejam t0 = a e t1 = b os pontos extremos de [a, b]. O ponto t2 = (a+b)/2 ponto
mdio de [a, b]. Os pontos t3 e t4 so os pontos mdios de [t0 , t2 ] e de [t1 , t2 ],
respectivamente. Continuando assim, depois de l passos obtemos 2l pontos que
dividem [a, b] em intervalos iguais, cada um com comprimento (ba)/2l . Ento,
se l o menor nmero natural com > (b a)/2l , escolhemos N = 2l .
Consideremos a sequncia {fn (tk )}
n=1 . Desde que F uniformemente limitado, {fn (tk )}
limitada.
Portanto,
existe uma subsequncia convergente
n=1
{fnj (tk )}.
Para k = 1 consideremos A1 = {f11 , f21 , f31 , . . .} que convergente em t1 .
Para k = 2 escolhemos A1 A2 = {f12 , f22 , f32 , . . .} que convergente em
t1 e em t2 .
3.5 Exerccios
65
Para k = 3 escolhemos A1 A2 A3 = {f13 , f23 , f33 , . . .} que convergente

em t1 , t2 e t3 simultaneamente.
Deste forma, para cada k N escolhemos Ak1 Ak = {f1k , f2k , . . . , fkk , . . .}
que convergente em t1 , t2 , . . . , tk simultaneamente.
Vamos escolher gi = fii . Esta uma subsequncia convergente para todo
tk , k = 1, 2, . . .. De fato, seja k N. Ento, os termos da sequncia {gi (tk )}
i=1 ,
com excesso de g1 (tk ), . . . , gk1 (tk ) so de Ak . Assim, {gi (t)} C[a, b] que
um espao completo. Mostremos que {gi (t)}
i=1 fundamental com respeito a
distncia uniforme em [a, b], o que implicar que esta sequncia convergente em
C[a, b]. Para este propsito, seja > 0 arbitrrio. Desde que F equicontnua,
existe > 0, tal que para quaisquer t0 , t00 [a, b] com |t0 t00 | < , temos
|gi (t0 ) gi (t00 )| < /3, para todo i N.
(3.4.11)
Por construo temos que, para o mesmo existe N2 N, que para todo
t [a, b] existe n N2 , de modo que |t tn | < . Ento, de (3.4.11) segue que
|gi (tn ) gi (t)| < /3, para todo i N.
(3.4.12)
Desde que {gi (tn )}

i=1 convergente, existe N3 N, que para todo i > N3 e
para todo p N temos
|gi (tn ) gi+p (t)| < /3.
(3.4.13)
Resumindo, para um > 0 arbitrrio, escolhemos consecutivamente > 0,
n N e nalmente N3 N, de modo que, para todo i > N3 e para todo p N,
por (3.4.12) e (3.4.13), temos
|gi (t) gi+p (t)|
|gi (t) gi (tn )| + |gi (tn ) gi+p (tn )| + |gi+p (tn ) gi+p (t)|
< .
Logo {gi (t)}
i=1 fundamental em C[a, b], e portanto, pelo fato de C[a, b] ser
completo, a sequncia {gi (t)}
i=1 uniformemente convergente em [a, b].
3.5 Exerccios
1. Seja a, b nmeros reais com a < b e I[a, b] o conjunto das funes Riemann
integrveis de [a, b] em R, e : I[a, b] I[a, b] [0, ) dada por
Z
(x, y) =
|x(t) y(t)|dt.
a
66
Mostre que no uma distncia em I[a, b] mas uma distncia em C[a, b]

I[a, b] e que C[a, b] no completo com esta distncia.
2. Mostre que (X, ) completo se, e somente se, toda sequncia {Bk }
de bolas fechadas, com Bn+1 Bn e limn rn = 0, (rn = raio de Bn ), a
T
interseco n=1 Bn consiste exatamente de um ponto.
3. Seja X um espao mtrico, e seja f : X R uma funo contnua. Ento,
dado qualquer nmero real r, os conjuntos
{x X : f (x) > r},
{x X : f (x) < r}
so conjuntos abertos de X , e os conjuntos
{x X : f (x) r},
{x X : f (x) r},
{x X : f (x) = r}
so conjuntos fechados de X .
3. Seja (X, ) um espao mtrico completo e A : X X um operador.
Assuma que, para algum n0 N, T n0 uma contrao e mostre que T tem um
nico ponto xo.
4. Demonstrar que f (x) = x2 uniformemente contnua em [0, 1], mas no
em (0, ).
5. Mostre que toda aplicao lipschitziana f : M N uniformemente
contnua.
6. Seja J R um intervalo limitado. Mostre que toda funo montona
sobrejetiva f : X J , denida num subconjunto qualquer X R, uniformemente contnua. Caso tirarmos a hiptese de J ser limitado, o que podemos
concluir?
7. Mostre que uma aplicao f : M N1 . . . Nn , tomando valores num
produto cartesiano de n espaos mtricos, uniformemente contnua se, e somente se, cada uma de suas coordenadas fi = pi f : M Ni for uniformemente
contnua.
8. Sejam K U Rn , onde K compacto e U aberto. Prove que existe
3.5 Exerccios
67
> 0 tal que x K, y U e |x y| < [x, y] U .

9. Sejam K V M onde K compacto e V aberto em M . Prove que
S
existe r > 0 tal que xK B(x, r) V .
10. Sejam K, L espaos mtrico compactos e f : K L R contnua. Para
cada y L, ponha (y) = supxK f (s, y). Prove que : L R, assim denida,
contnua.
68
Captulo 4
Espaos Normados
4.1 Normas e espaos normados
Denio 4.1.1. Seja X um espao linear sob o corpo F . A funo k k :
X R chamada norma em X se:
1)kxk 0 x X e kxk = 0 x = 0;
2)kxk = ||kxk F e x X ;
3)kx + yk kxk + kyk x, y X .
Se k k uma norma em X , a dupla (X, k k) chamada espao normado.
Lema 4.1.1. Todo espao normado (X, k k) um espao mtrico (X, ) se a

distncia denida por (x, y) = kx yk.
Demonstrao.
Para quaisquer x, y e z em X temos:
1. A armao (x, y) 0 obtida pela denio de norma. Agora, (x, y) =
0 ||x y|| = 0 x y = 0 x = y .
2. (x, y) = ||x y|| = ||(1)(y x)|| = | 1|||y x|| = ||y x|| = (y, x).
3. (x, y) = ||x y|| = ||x z + z y|| ||x z|| + ||z y|| = (x, z) + (z, y).
Portanto (x, y) = ||x y|| uma mtrica e assim (X, ) um espao
mtrico.
70
Captulo4. Espaos Normados
Exemplos:
1/p
1) (Rn , k kp ), onde kxkp = (|x1 |p + + |xn |p )

kxk = max |xk |;
quando 1 p < e
1pn
2) (C[a, b], k kL ), onde kf kL = max |f (x)|;

x[a,b]
3) Lp [a, b] = (Lp [a, b], k kL ), 1 p < , onde Lp [a, b] denota o espao das
Rb
Rb
funesf : [a, b] R que satisfazem a |f (t)|p dt < , e kf k = ( a |f (t)|p dt)1/p .
Provar que (f, g) distncia.
4) Lembremos que (X, ), onde
(
0, se x = y
(x, y) =
1, se x 6= y.
um espao mtrico. Entretanto, se o espao possui pelo menos um elemento
distinto do neutro, no existe norma, tal que (x, y) = kx yk para quaisquer
x, y X . De fato, se tal norma existisse e se x 6= 0, teriamos kxk = 1 e
k2xk = 1, o que contradiz a propriedade 2) da norma.
Para provarmos a desigualdade do tringulo para a norma kkp , precisaremos
de alguns resultados tcnicos.
Lema 4.1.2. Sejam p, q > 1, com
1
p
|ab|
1
q
= 1. Ento, a desigualdade
|a|p
|b|q
+
p
q
verdadeira para quaisquer a, b R.

Demonstrao:
Basta considerar as reas cercadas, no segundo quadrante, pelo grco da funo
y = xp1 , e pelas retas x = |a| e y = |b|.
Observe que a rea do quadrado de lados |a| e |b| menor que a rea das
regies R1 e R2 limitadas pelo grco da funo e as retas |a| e |b| respectivamente.
Calculamos ento as reas das regies R1 e R2 que sero denominadas por
AR1 e AR2 respectivamnete.
|a|
AR1 =
xp1 dx =
|a|p
p
|b|
y p1 dy =
AR2 =
0
p1
p
|b| p1
71
Figura 1 Grco y = xp1
p
p
p
1 1
+ =1 +1=p =p1q =
.
p q
q
q
p1
|b|q
Com isso, AR2 =
.
q
Observe que a igualdade atingida se, e somente se, |b| = |a|p1 .
Observe que
Lema 4.1.3. (Desigualdade de Hlder). Sejam p, q > 1, com

a desigualdade
n
X
|xi yi |
i=1
n
X
|xi |
!1/p n
X
1
1
p+q
= 1. Ento,
!1/q
q
|yi |
i=1
i=1
verdadeira para quaisquer x1 , . . . , xn , y1 , . . . , yn R.

Demonstrao:
Seja i, 1 i n. Aplicando o lema anterior para
|xi |
a=
n
X
!1/p e b =
|xi |p
i=1
|yi |
n
X
!1/q ,
|yi |q
i=1
obtemos
n
X
|xi |
|xi yi |
!1/p n
X
i=1
!1/q
|yi |
|xi |p
|yi |q
!
!.
+
n
n
X
X
p
q
p
|xi |
q
|yi |
i=1
i=1
i=1
Somando estas desigualdades, para i = 1, . . . , n, obtemos a desigualdade

n
X
n
X
i=1
|xi yi |
i=1
!1/p
|xi |p
n
X
i=1
1 1
!1/q p + q = 1,
|yi |q
72
que equivalente desigualdade de Hlder.
Lema 4.1.4. (Desigualdade do tringulo para kkp ou Inequao de Minkowski).

Se p 1 e x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) Rn , ento
kx + ykp kxkp + kykp .
Demonstrao.
Para p = temos
||x + y|| = sup |xi + yi |.

i
Mas, sabemos que para todo i = 1, 2, . . . temos |xi + yi | |xi | + |yi | e assim,
sup |xi + yi | sup(|xi | + |yi |) sup |xi | + sup |yi |.
i
Logo ||xi + yi || ||xi || + ||yi || .

Para p=1 a inequao se reduz a desigualdade triangular :
|xi + yi | |xi | + |yi | para i = 1, 2, . . .

Somando as i inequaes membro a membro obtemos:
|xi + yi |
i=1
|xi | +
i=1
|yi |
i=1
Considerando agora 1 < p < , para simplicar a demonstrao escreveremos zi = xi + yi . Assim,
|zi |p = |xi + yi ||zi |p1 (|xi | + |yi |)|zi |p1 . para i = 1, 2, . . .

Somando as i inequaes obtemos
|zi |p
i=1
|xi ||zi |p1 +
i=1
|yi ||zi |p1
i=1
Observe que, pela inequao de Hder
|xi ||zi |
p1
i=1
|xi |
! p1
X
i=1
! q1
p1 q
(|zi |
i=1
p+q
1 1
+ =1
= 1 pq = p + q (p 1)q = p.
p q
pq
Ou seja, podemos escrever
Agora,
X
i=1
|xi ||zi |p1
X
i=1
|xi |p
! p1
X
i=1
! q1
|zi |p
73
De modo anlogo obtemos,
|yi ||zi |p1
i=1
|yi |p
i=1
! p1
X
! q1
|zi |p
i=1
Somando as duas ultimas inequaes obtemos,
X
i=1
! p1
! p1
! q1
X
X
X
p
p
p
|zi |
+
.
|xi |
|yi |
|zi |
i=1
i=1
i=1
Observe agora que, se ||x + y||p = 0 a desigualdade triangular satisfeita

pela denio de norma. Assim, supondo que ||x + y||p 6= 0 podemos dividir a
! q1
X
inequao anterior por
|zi |p , obtendo assim a inequao desejada.
i=1
Denio 4.1.2. Sejam (X, k k) um espao normado e xn X , n = 1, 2, . . ..

Dizemos que a sequncia {xn } converge para x X , se kxn xk 0 quando
n .
Lema 4.1.5. Toda norma uma funo contnua.

Demonstrao:
Pela desigualdade do triangulo, obtemos kxk = kx y + yk kx yk + kyk, o
que implica em
kxk kyk kx yk.
(4.1.1)
De modo anlogo, obtemos, kyk = ky x + xk kx yk + kxk que implica em
(kxk kyk) kx yk.
(4.1.2)
Ento, de (4.1.1) e (4.1.2), obtemos
| kxk kyk | kx yk.

Portanto, a norma contnua em x0 pois, se > 0, existe > 0, mais precisamente = , de modo que, se kxx0 k < , ento | kxkkx0 k | < . Resumindo,
provamos que toda norma uma funo de Lipschitz com constante um.
Denio 4.1.3. Seja (X, k k) um espao normado. O conjunto E X

limitado, se existe M > 0, tal que kxk < M para todo x E .
Lema 4.1.6. Se a sequncia {xn } convergente, ento ela limitada.
74
Demonstrao:
Seja x o limite de {xn }. Ento, se > 0, existe N N, tal que, para todo
n > N , temos kxn xk < . Portanto, se kxk = M0 , concluimos que
kxn k = kxn x + xk kxn xk + kxk + M0
para todo n > N.
Ento, se kxk k = Mk , k = 1, . . . , N , denimos M = max{ + M0 , M1 , . . . , MN }.

Logo, kxn k M para todo termo da sequncia.
Denio 4.1.4. A bola aberta com centro x0 e raio r denida por

B(x0 , r) = {x : kx x0 k < r}.
Lema 4.1.7. (i) Se xn x e yn y , ento (xn + yn ) (x + y).

(ii) Se n e xn x, ento (n xn ) (x).
Demonstrao.
(i) xn x Dado > 0, n1 N tal que se n n1 temos kxn xk < .

2
yn y Dado > 0, n2 N tal que se n n2 temos kyn yk < .

2
Assim, dado > 0 tomando n0 = max{n1 , n2 } temos k(xn + yn ) (x + y)k =
= k(xn x) + (yn y)k k(xn + yn )k k(x + y)k < + = .

2 2
Logo (xn + yn ) (x + y).
(ii) Se tivermos ou x igual a zero, obtemos facilmente a armao n xn
x.
Supondo ento que e x so no nulos, temos.
xn x Dado > 0, n1 N tal que se n n1 temos kxn xk <

.
2kn k
n Dado > 0, n2 N tal que se n n2 temos kn k <

.
2kxk
Assim, dado > 0 tomando n0 = max{n1 , n2 } temos kn xn xk =
= kn xn + n x n x xk = kn (xn x) + x(n )k kn kkxn xk+
displaystylekxkkn k < 2 + 2 = .
Logo n xn x.
O valor kk existe pelo fato de {n } ser convergente. Pois como a sequncia

convergente ento a mesma limitada.
Denio 4.1.5. Todo espao normado que completo, chamado espao de

Banach. Precisamente, (X, k k) espao de Banach se toda sequncia fundamental {xn } X converge para algum x X .
Exemplos:
1) (Rn , k kp ) espao de Banach, para todo p onde1 p .
75
2) (C[a, b], k kL ) espao de Banach.

3) (, k kL [a,b] ) no espao de Banach. Aqui =
n=0 n , com
(
n =
n
X
)
k
ak x
: ak R .
k=0
Isto signica que o espao de todos os polinmios algbricos com coecientes

reais. Pelo Teorema de Stone-Weierstrass, toda funo contnua em [a, b], pode
ser aproximada arbitrariamente bem, na forma uniforme por elementos de .
Portanto, se, por exemplo f (x) = |x (a + b)/2|, existe sequncia de polinmios
algbricos {pn }, tal que pn f em [a, b], mas f 6 (ver prxima seo).
4) (C[1, 1], k kL1 ) no espao de Banach. De fato, se considerarmos a
sequncia de funes contnuas
1, se x [1, 1/n],
fn =
nx, se x [1/n, 1/n],
1,
se x [1/n, 1].
Se m > n, ento kfn fm kL1 2/n. Logo, {fn } uma sequncia que
fundamental em (C[1, 1], k kL1 ). Entretanto, o limite desta sequncia uma
funo que discontnua em [1, 1].
Figura 2 Representao das funes fn
Denio 4.1.6. Consideremos agora, no espao (R2 , k kp ), o conjunto

Bp (0, 1) = {x : x R2 , kxkp < 1}.
Ele chamado bola unitria, associada com a norma kkp . Obviamente, Bp (0, 1)
um conjunto convexo em R2 e simtrico com respeito a origem.
76
Denio 4.1.7. Seja E um conjunto e uma constante. Denimos por E ,

o conjunto de todos os pontos x onde x E , ou seja,
E = {x : x E}.
Problema 4.1.1. Seja B R2 um conjunto aberto que convexo e simtrico

com respeito a origem. Para todo x R2 , denimos
kxkB = inf { : B 3 x}.
Podemos armar que k kB uma norma em R2 ?
Denio 4.1.8. Sejam X um espao e k k e | | duas normas em X . Elas

so chamadas equivalentes se existem constantes a, b > 0, de modo que, para
todo x X , temos
a|x| kxk b|x|.
(4.1.3)
Se k k e | | so duas normas equivalentes em X , as constantes
A = inf
xX
kk
||
B = sup
xX
kk
||
so chamadas coecientes de equivalncia de k k e | |.
Problema 4.1.2. Provar que, se k k e | | so duas normas equivalentes em

X , os coecientes de equivalncia de k k e | | so bem denidos. Mostrar, alm
disso, que A = sup{a : a satisfaz (4.1.3)} e B = inf{b : b satisfaz (4.1.3)}.
Agora introduziremos os espaos lp :
se 1 p < , ento
lp := {x = (x1 , x2 , . . .) :
|xi |p < },
i=1
isto , os elementos de lp so sequncias, em geral innitas, para as quais a serie
X
|xi |p convergente, ou de modo anlogo, so as sequncias tais que as sries
i=1
xpi so absolutamente convergente. A norma em lp denida por
i=1
kxkp =
!1/p
p
|xi |
i=1
Analogamente, para p = , temos
l := {x = (x1 , x2 , . . .) : sup |xi | < },

1i
com a norma kxk = sup |xi |.

1i
77
Problema 4.1.3. lp so espaos de Banach? Justique a resposta.

Mostremos agora que lp completo e da conclumos que de Banach.
Para p = , seja {xm } uma sequncia fundamental qualquer em l , onde
(m) (m)
xm = {a1 , a2 , . . .}.
Considerando a mtrica em l dada por
d(x, y) = sup |aj bj |,

j
onde x = {aj } e y = {bj }.

Como {xm } fundamental, para qualquer > 0, existe um natural N tal que
para todo m, n>N,
(m)
d(xm , xn ) = sup |aj

j
(n)
aj | < .
Com isso, podemos armar que para qualquer j xo e m, n > N

(m)
|aj
(n)
aj | < .
(1)
(2)
Assim, para todo j xo a sequncia {aj , aj , . . .} fundamental. Observe

que esta uma sequncia de nmero reais, assim. Sabemos que toda sequn(1) (2)
cia fundamental de nmeros reais convergente, ou seja, {aj , aj , . . .} aj
quando m .
Usando este fato para todos os j, obtemos uma sequncia x = {a1 , a2 , . . .}.
Mostremos que, x l e xm x.
Como anteriormente, para todo j xo, fazendo n e m > N temos,
(m)
|aj
(m)
Como xm = {aj
(n)
(m)
aj | < |aj
aj | .
(m)
} l , existe um nmero real km tal que |aj
| km
(m)
{aj }
para todo j (pois

convergente e portanto limitada).
Assim, obtemos a seguinte desigualdade para m > N,
(m)
|aj | |aj aj
(m)
+ aj
(m)
| |aj aj
(m)
| + |aj
| + km .
Observe que o lado direito desta inequao no depende de j, ou seja, x =

{aj } uma sequncia, de nmeros reais, limitada. Com isso, temos que x
convergente, ento x l . E como j demonstrado anteriormente,
(m)
d(xm , x) = sup |aj

j
aj | ,
o que nos garante que xm x. Logo l completo.
78

Sejam 1 p < e {xn } uma sequncia fundamental em lp , onde xm =
Para todo > 0 existe um m, n > N tal que
(m)
(m)
(x1 , x2 , . . .).
d(mm , xn ) =
! p1
(m)
|xi
(n)
xi |p
<
i=1
(m)
Desse modo temos que |xi
(n)
xi | < para m, n > N
(1)
(2)
Para um i xo, temos que (xi , xi , . . .) uma sequncia fundamental.

(m)
Cada elemento xi desta nova sequncia, converge para um valor xi0 quando
m vai para o innito. Usando este fato, obtemos um ponto x = (x1 , x2 , x3 , . . .)
e mostraremos que x lp e xm x
k
X
(m)
(n)
Sabemos que para m, n > N temos
|xi xi |p < p para k = 1, 2, . . .
i=1
Fazendo n obtemos para m > N ,
k
X
(m)
|xi
xi |p p para k =
i=1
1, 2, . . .
Fazendo agora k temos para m > N ,
(m)
|xi
xi |p p .
i=1
(m)
Com isso mostramos que xm x = (xi

que x = xm + (x xm ).
xi ) lp . Como xm lp temos
Como {xm } uma sequncia fundamental arbitrria em lp , temos que lp

completo para 1 p < .
4.2 Operadores Lineares Limitados

Sejam X e Y dois espaos lineares. Nesta seo estudaremos algumas propriedades de operaderes T : X Y . Isto signica que para todo x X , o
operador T coloca em correspondncia com um valor y Y , isto , y = T x.
Denio 4.2.1. Sejam X e Y espaos lineares sob o corpo F . O operador

T : X Y linear se:
1) T (x1 + x2 ) = T x1 + T x2 x1 , x2 X ;
2) T (x) = T x
F e x X .
Exemplos:
79
1) Se X = Rn , Y = Rn e {e1 , . . . , en } uma base em Rn , denimos T x =

1 x1 + 2 x2 + n xn . Se T xk = a1k e1 + a2k e2 + ank en , ento
Tx
= 1 (a11 e1 + a21 e2 + an1 en )

+ 2 (a12 e1 + a22 e2 + an2 en )
+ n (a1n e1 + a2n e2 + ann en )

= (1 a11 + 2 a12 + + n a1n ) e1
+(1 a21 + 2 a22 + + n a2n ) e2
+(1 an1 + 2 an2 + + n ann ) en .
Portanto, se
A=
a11
a21
an1
a12
a22
an2
. . . a1n
. . . a2n
...
. . . ann
e x = (1 , 2 , . . . , n )T a representao de x na base {e1 , . . . , en }, ento a representao de T x na mesma base simplesmente Ax.

2) O operador T : C[a, b] C[a, b], denido da seguinte forma. Seja K(x, y)
C([a, b] [a, b]). Ento, se x(t) qualquer funo continua em [a, b], o valor
T x do operador T para a funo x a seguinte funo contnua:
Z b
T x(t) =
K(u, t)x(u)du.
a
Denio 4.2.2. Quando o espao Y um corpo, o operador T : X Y

chamado funcional.
Por exemplo, se Y = R ou Y = C, o operador funcional.
Denio 4.2.3. Sejam X e Y espaos normados. O operador T : X Y

chamado contnuo em x0 X se, para toda sequncia {xn } que converge para
x0 , temos que T xn T x0 .
Denio 4.2.4. Sejam (X, k kX ) e Y, k kY ) espaos normados. O operador

T : X Y chamado limitado se existe uma constante M > 0, tal que
kT xkY M kxkX
para todo x X.
80
Teorema 4.2.1. Sejam X e Y espaos lineares normados e T : X Y um

operador linear. Ento as seguintes armaes so equivalentes:
1) T contnuo em X .
2) T contnuo em 0 X .
3) T limitado.
Demonstrao:
Que 1) implica 2) obvio. Portanto, primeiramente provaremos que
2) 3).
Vamos supor que T no limitado. Logo, para todo n N, existe xn , tal que
kT xn k > nkxn k. Consideremos a sequncia dos pontos
x
n =
1 xn
.
n kxn k
1
. Os valores de T em x
n so
n
1 xn
1
Tx
n = T
=
T xn .
n kxn k
nkxn k
Obviamente x
n 0 pois k
xn 0k =
Logo, pela hiptese que zemos,
kT x
n k =
kT xn k
nkxn k
>
= 1.
nkxn k
nkxn k
Portanto, a sequncia T xn no converge para zero, o que contradiz a hiptese

de T ser contnua em zero.
Finalmente provaremos que
3) 1).
Sabemos que existe constante positiva M , tal que
kT xk M kxk para todo x X.

Seja x X arbitrrio e {xn } uma sequncia de pontos de X que converge para
x. Em outras palavras, temos que kxn xk 0 quando n tende ao innito.
Logo,
kT xn T xk = kT (xn x)k M kxn xk 0.

Ento, T xn T x quando n . Portanto, T contnuo em x. E como x
um ponto qualquer, conclumos que T contnuo.
Teorema 4.2.2. Se T : X Y um operador linear e a dimenso de X

nita, ento T limitado.
81
Demonstrao:
Sejam dimX = n e {e1 , . . . , en } uma base de X . Seja {xk }, xk X , uma
sequncia que converge para o elemento neutro (0) de X , isto xk 0. Para
n
X
(k)
todo k N, o ponto xk pode ser unicamente representado como xk =
i e i .
(k)
i=1
Logo, para todo ndice i xo, 1 i n, temos que i 0 quando k .

Usando este fato e a desigualdade do tringulo, obtemos
kT xk k
n
X
(k)
|i |kT ei k 0.
i=1
Consequentemente, T contnuo no elemento nulo de X , e pelo teorema anterior,

T limitado.
Denio 4.2.5. Sejam X e Y espaos normados. Por B(X, Y ) denotaremos

o conjunto de todos os operadores lineares e limitados T : X Y . As operaes
lineares em B(X, Y ) so denidas atravs de:
1) (T + S)x = T x + Sx;
2) (T )x = T x,
com as quais B(X, Y ) torna-se um espao linear.
O elemento neutro (nulo) do espao B(X, Y ) o operador O cujo valor o
elemento nulo de Y , para qualquer x X , isto Ox = 0 Y para todo x X .
Um exemplo conhecido quando X = Y = Rn . Neste caso B(X, Y ) = Mn ,
ou seja, o conjunto das matrizes reais n n.
Em seguida introduziremos norma em B(X, Y ). Para este propsito, observemos primeiramente que, se T B(X, Y ), as quantidades C 0 e C0 abaixo so
bem denidas:
C0
=
=
inf {C R : kT xk Ckxk x X}
kT xk
inf C R :
C x X ,
kxk
Mostremos que o conjunto A, dado da seguinte forma {C R : kT xk Ckxk

fechado. Pois assim, conclumos que C 0 A, ou equivalente, que kT xk
C 0 kxk.
Primeiramente, observemos que A um subconjunto de R. Assim, consideraremos a mtrica usual. Agora mostremos que Ac um conjunto aberto. Temos
que
Ac = {C R : kT xk > Ckxk para algum x X} .
x X},
82
Se Ac for um conjunto vazio no h o que demonstrar. Assim, supomos

Ac no vazio e seja C um elemento qualquer de Ac , ou seja, existe x0 R tal
que kT x0 k > Ckx0 k. Como T um operador obtemos x0 no nulo. Assim,
kT x0 k
C > 0.
kx0 k
kT x0 k
C . Mostremos que
Considerando a bola aberta B(C,r), onde r =
kx0 k
c
B(C, r) A .
Seja C 1 B(C, r) |C 1 C| < r r < C 1 C < r. Considerando
apenas a segunda desigualdade obtemos
C1 C < r C1 C <
kT x0 k
kT x0 k
kT x0 k
C C1 <
> C 1.
kx0 k
kx0 k
kx0 k
Logo, C 1 Ac e assim B(C, r) Ac , ou seja A um conjunto fechado.
C0
=
=
kT xk
xX kxk
sup kT xk.
sup
kxk=1
Obviamente as duas quantidades que denem C 0 so iguais. Para mostrarmos que o mesmo vale para as que denem C0 , observa que, se x X arbitrrio, ento x
= x/kxk satisfaz k
xk = 1 e tambm
kT (kxk
x)k
kT xk
=
= kT x
k.
kxk
kxkk
xk
Lema 4.2.1. Para todo o operador T B(X, Y ), temos C 0 = C0 .

De fato, pela denio de C0 temos que C0 satisfaz kT xk C0 kxk e como
C 0 o limite inferior, temos que C 0 C0 . (1)
Como mostramos anteriormente, kT xk C 0 kxk, para todo x R, em parkT xk
ticular vale para qualquer x no nulo. Mas C0 o sup de
para todo x
kxk
no nulo, temos pela denio de sup que C0 C 0 . (2)
Portanto, de (1) e (2) temos C0 = C 0 .
Denio 4.2.6. Se T B(X, Y ), a sua norma denida como sendo a

constante C 0 = C0 , isto
kT k = C 0 = C0 .
(4.2.4)
Isto signica que a norma do operador T pode ser denida por qualquer uma
das quatro quantidade acima e que todas estas dinies so equivalentes.
83
Lema 4.2.2. A expresso (4.2.4) de fato dene uma norma em B(X, Y ).

Demonstrao:
Vericaremos as trs propriedades de norma:
1) Obviamente kT k 0. Tambm, pela denio da norma de T , obviamente
kT k = 0 se, e somente se kT xk/kxk = 0 para todo x X o que equivalente
ao fato de que kT xk = 0 para todo x X .
2) Esta propriedade segue imediatamente:
kT k = sup k(T )xk = || sup kT xk = ||kT k.

kxk=1
kxk=1
3) Na demosnstrao desta propriedade usaremos o fato de que, se as funes

reais f e g so denidas e limitadas no conjunto A, ento
(4.2.5)
sup (f (x) + g(x)) sup f (x) + sup g(x),

xA
xA
xA
cuja demonstrao imediata:
sup (f (x) + g(x))

xA
sup
(f (x) + g(y)) = sup f (x) + sup g(y).
xA,yA
xA
yA
Assim, a seguinte cadeia de igualdadedes e desigualdades implica na desigualdade do tringulo para a norma kT k:
kS + T k
sup k(S + T )xk = sup kSx + T xk

kxk=1
kxk=1
sup (kSxk + kT xk)

kxk=1
sup kSxk + sup kT xk

kxk=1
kxk=1
kSk + kT k.
Teorema 4.2.3. Se X um espao normado e Y um espao de Banach,

ento B(X, Y ) tambm um espao de Banach.
Demonstrao:
Primeiramente mostremos que, se {Tn } uma sequncia de operadores, Tn :
X Y , tais que, para todo x X , kTn x T xk 0, quando n , ento
T operador linear. Desde que Tn so lineares e convergem, para T , para todo
ponto x X .
Temos
84
kT (x + y) (T x + T y)k
= kT (x + y) Tn (x + y) + (Tn x + Tn y) (T x + T y)k
kTn (x + y) T (x + y)k + ||kTn x T xk + ||kTn x T xk 0,
pois cada uma das normas na ltima expesso converge para zero, quando n
tende para o innito. Consequentemente,
T (x + y) = (T x + T y).
Logo, T de fato linear.
Seja {Tn } uma sequncia fundamental de operadores lineares limitados, isto
, Tn B(X, Y ) e, alm disso, para todo > 0, existe N N, tal que, para
todos m, n > N , temos kTm Tn k < . Lembrando a denio de norma de
operador e o fato de que Tn so lineares, esta ltima armao implica que
kTm x Tn xk = k(Tm Tn )xk kTm Tn kkxk kxk para todo x X.

(4.2.6)
Portanto, para todo x X , a sequncia {Tn x} fundamental em Y . Desde que
Y completo, existe y Y , tal que Tn x y := T x. Desta forma denimos um
operador T : X Y . Logo,
kTn x T xkY 0
para todo x X,
e, pelo que provamos anteriormente, o operador T linear.

O fato de que toda norma funo de Lipschitz com constante um, implica
em ???
|kTn k kT k| kTn T k < .

Logo, kTn k kT k e portanto a sequncia {kTn k} limitada, isto , existe
M > 0, de modo que kTn k M para todo n N.
Este ltimo fato, junto com (4.2.6) implica que, para todo x X , temos
kT x Tn x + Tn xk kT x Tn xk + kTn xk ( + M )kxk.
Portanto, T limitado.
Alm disso,
sup k(Tn T )xkY = kTn T kB(X,Y ) .
kxk=1
Por isto Tn T com respeito a norma em B(X, Y ).
85
Teorema 4.2.4. (Teorema de Banach-Steinhous) Sejam X um espao de Banach e Y um espao normado. Sejam T : X Y operadores lineares e limitados para todo A. Se, para todo x X existe c(x) > 0, de modo que
sup kT xk c(x), ento, existe constante M > 0, tal que
sup kT k M.
Sucintamente, o Toerema de Banach-Steinhous arma que, quando X e de

Banach e T so operadores de B(X, Y ) tais que a sequncia {T x} e limitada
em todo ponto x de X , ento T so limitados por norma.
Demonstrao:
Sejam
F n := {x X : kT xk n}.
Os conjuntos F n so fechados. De fato, sejam xk F n , com kxk xk 0.
Portanto, kT xk k n. Desde que T so contnuos, temos que kT xk T xk
0 quando k e por isto kT xk k kT xk. Logo, kT xk n. Ento,
x F n .
T
Para todo n N denimos Fn = A F n . Os conjuntos Fn so fechados
pois dado pela interseo de uma famlia de conjuntos fechados. Alem disso,
S
nN Fn = X . De fato, se x X , existe c(x) > 0 com a propriedade na
armao do teorema. Denimos n = [c(x)] + 1. Portanto, supA kT xk
c(x) n o que signica que x Fn .
Resumindo, o espao completo X e coberto por uma quantidade enumervel
de conjuntos fechado. Pelo Teorema de Baire, existe pelo menos um Fn0 que
possui ponto interior, isto , existe > 0, tal que, para todo x com kxx0 k < ,
temos x Fn0 .
Seja y X com kyk = 1 e z = x0 + (/2)y . Logo, kz x0 k = /2 < e por
isto z Fn0 . Portanto, kT zk n0 para todo A. Consequentemente,
kT yk
2
kT (z x0 )k
2
{kT zk + kT x0 )k}
4n0
.
Portanto,
kT k = sup kT yk
kyk=1
4n0
=: M.
Desde que esta desigualdade vale para qualquer ndece A, temos que
supA kT k M .
86
Antes de mostramos uma aplicao do Toerema de Banach-Steinhous, vamos

fazer uma pequena reviso de polinmios interpoladores.
Queremos encontrar um polinmio onde, dada uma funo f e um conjunto
de ponto xi , i = 0, 1, . . . , n este polinmio satisfaz a propriedade p(xi ) = f (xi )
para i = 0, 1, . . . , n. Neste trabalho citaremos apenas a interpolao de Lagrange
e mostraremos o mtodo para encontrar, dado uma tabela de n+1 ponto, um
polinmio de grau menor ou igual a n que melhor se aproxima da funo f dada.
Mas antes temos o seguinte teorema que prova a unicidade de tal polinmio.
Teorema 4.2.5. Sejam (xi , yi ), yi = f (xi ); i = 1, . . . , n, n + 1 pontos distintos,

isto , xi 6= xj para i 6= j . Existe um nico polinmio P (x) de grau no maior
que n, tal que P (xi ) = yi , para todo i.
Demonstrao:
O polinmio P (x) pode ser escrito da seguinte forma:
Pn (x) = a0 + a1 x + a2 x2 + . . . + an xn .
P (x) , no mximo de grau n, se an 6= 0 e, para determinar os coecientes
a0 , a1 , . . ., an . Como Pn (x) contm os pontos (xi , yi ), i = 0, 1, . . . , n, pode-se
escrever que Pn (xi ) = yi , para todo i.
Obtemos assim um sistema (n+1) por (n+1) cuja matriz de coecientes
1 x0 x20 . . . xn0
1 x
x21 . . . xn1
1
1 x2 x22 . . . xn2
dada a seguir: A =
..
.. . .
..
..
.
.
.
.
.
2
1 xn xn . . . xnn
Mas, o determinante da matriz A conhecido como determinante das potncias ou de Vandermonde e, da lgebra Linear, sabe-se que seu valor dado por:
det(A) =
(xi xj ).
i>j
Como xi 6= xj para i 6= j , vem que det(A) 6= 0.

Logo, P (x) nico.
Ser visto, agora, a deduo da frmula de interpolao de Lagrange.
Sejam os (n+1) polinmios pi (x) de grau n:
p0 = (x x1 )(x x2 )...(x xn )
p1 = (x x0 )(x x2 )...(x xn )
87
..
..
..
.
.
.
pn = (x x0 )(x x2 )...(x x(n1) )
ou, de uma forma mais simples,
n
Y
(x xj ), (i = 0, 1, . . . , n), onde xj conhecido.
pi (x) =
j=0,j6=i
Tais polinmios possuem as seguintes propriedades:

1. p(i) (xi ) 6= 0, para todo i.
2. p(i) (xj ) = 0, para todo i 6= j .
e so conhecidos como polinmios de Lagrange.
Como o polinmio P (x) que se deseja encontrar de grau menor ou igual
a n e contm os pontos (xi , yi ), i = 0, 1, . . . , n, pode-se escrev-lo como uma
combinao linear dos polinmios pi (x), i = 0, 1, . . . , n.
Ento, Pn (x) = b0 p0 (x) + b1 p1 (x) + . . . + bn pn (x).
E, assim, para se determinar Pn (x), basta calcular os valores de bi , i =
0, 1, . . . , n, j que o polinmio pi (x), para todo i, podem ser determinados.
n
X
Seja Pn (xk ) =
bi pi (xk ) = b0 po (xk ) + b1 p1 (xk ) + . . . + bn pn (xk ).
i=0
Mas, como pi (xk ) = 0 para todo i 6= j e pi (xi ) 6= 0 para todo i, vem:

Pn (xk ) = bk pk (xk ) e como Pn (xk ) = yk obtemos,
Pn (xk )
bk =
.
pk (xk )
yi
Variando k = 0, 1, . . . , n obtemos bi =
, para todo i.
pi (xi )
Substituindo o valor de bi temos:
Pn (x) =
n
X
i=0
yi
pi (x)
.
pi (xi )
Substituindo os polinmios pi na equao acima obtemos:
Pn (x) =
n
X
i=0
yi
n
Y
j=0,j6=i
(x xj )
.
xi xj
Obtendo assim a formula de interpolao de Lagrange.

Mostraremos agora a existncia de um polinmio tal que, dada uma funo
f, este polinmio converge para f.
Denio 4.2.7. Sejam a, b R. Denimos por

a b = max{a, b};
88
a b = max{a, b}.
Lema 4.2.3. Sejam a, b R, ento

1
1. a b = (a + b + |a b|);
2
1
2. a b = (a + b |a b|).
2
Demonstrao
1
(a + b + a b) = a = max{a, b}
2
1
Se a < b temos a b = (a + b a + b) = b = max{a, b}
2
1. Se a b temos a b =
2. A demonstrao anloga ao item anterior.
Denio 4.2.8. Seja X um espao mtrico. Um subconjunto A C(X) uma

subalgebra se
1. A um subespao vetorial.
2. Se f, g A ento f.g A
Denio 4.2.9. Sejam X um espao mtrico e A C(X). Dizemos que A

separa pontos se para todo x 6= y , x, y X, existe f A tal que f (x) 6= f (y).
Antes do proximo lema, vamos considerar a seguinte sequncia de polinmios.
Q0 (x) := 1 e Qn+1 :=
1
(1 x2 + Qn 2 (x)).
2
Mostremos que
0 Qn+1 (x) Qn (x) 1,
n = 0, 1, . . . , x [1, 1].
Tomamos inicialmente x = 1 ou x = 1 (tomaremos x=1) temos:
1
1
(1 1 + Q2n (1)) = Q2n (1) 0.
2
2
Para obtermos que Qn (1) 1, usaremos a principio de induo nita (ou
induo matemtica).
Assim, para n=1 temos
Qn+1 (1) =
Q1 (1) =
1
1
(1 1 + 12 ) = ,
2
2
89
ou seja a propriedade se satisfaz para n=1.

Supondo pra n=k que Qk (1) 1 obtemos
Q2k (1) 1
Q2k (1)
1
,
2
2
e assim temos,
1
Q2
(1 1 + Q2k ) = k 1.
2
2
Agora, vamos mostrar que a propriedade vlida para x pertencente ao
intervalo de -1 a 1.
Assim para x (1, 1) temos,
Qk+1 =
Qn+1 (x) =
1
(1 x2 + Q2n (x)).
2
Como |x| < 1 temos x2 < 1 e desse modo 1 x > 0 e alm disso, Q2n 0
temos Qn+1 0.
Novamente usando a principio de induo nita, mostremos que Qn (x) 1
para todo x pertencente ao intervalo (1, 1), Seja x um ponto qualquer desse
intervalo.
1
Para n=1 temos Q1 (x) = (1 x2 + 1). Assim como anteriormente
2
1 x2 1 1 x2 2
1
(1 x2 + 1 1)
2
e portanto, Q1 1.
1
(1 x2 + Q2n (x)).
2
Novamente temos que 1 x2 1 e por hiptese de induo obtemos Q2n (x) 1.
Com isso,
Supondo para n=k que Qk (x) 1 obtemos Qn+1 (x) =
1 x2 1 1 x2 + Q2n (x) 1 + Q2n (x) 1 + 1
1
(1 x2 + Q2n (x)) 1.
2
Mostraremos agora que a sequncia no crescente, ou seja, Qn+1 (x)

Qn (x).
Com efeito, usando o principio de induo nita temos que para n=1 e x
pertencente ao intervalo [1, 1] a seguinte condio
Q1 (x) =
1 x2
1
x2
x2
+ =1
= Q0
Q0 .
2
2
2
2
2
Agora, supondo que para n=k temos Qk (x) Qk1 (x) obtemos,
Qk+1 (x)
(1 x2 + Q2k (x))
(1 x2 + Q2k (x))
(1 x2 )
=
=
+ Qk (x)
Qn (x)
2Qk (x)
Qk (x)
Qk (x)
90
=

(1 x2 + Q2k1 (x))
Qk1 (x)
Qk (x)
Qk1 (x)
Qk1 (x)
+Qk (x) =
Qk1 (x)
+Qk (x)
Qk (x)
Qk (x)
Qk (x)
Qk (x)
= 1 Qk1 (x)
Qk1 (x)
+ Qk (x) 1 Qk1 (x) + Qk (x) 1.
Qk (x)
Logo, a sequncia no crescente.

Aps mostrarmos que a sequncia montona e limitada em um conjunto
compacto, vimos que essa sequncia converge uniformemente. Assim, existe
uma funo f tal que Qn (x) P .
1
Temos que Qn+1 (x) = (1 x2 + Q2n (x)). fazendo n tender ao innito obte2
mos
P =
1
(1 x2 + P 2 ) 2P = 1 x2 + P 2 P 2 2P + (1 x2 ) = 0.
2
Calculando as razes dessa equao em funo de x obtemos P = 1 + |x| e

P = 1 |x|. Como a sequncia converge para uma funo tambm limitada
no intervalo [0, 1] (0 Qn (x) 1), podemos excluir a primeira raiz. Assim
P = 1 |x|.
Agora se tomarmos a sequncia Hn (x) = 1 Qn (x) temos que Hn (x) |x|.
Assim, temos uma sequncia que converge uniformemente para a funo
valor absoluto. Assim, podemos mostrar o proximo lema.
Lema 4.2.4. Sejam X um espao mtrico compacto e A C(X) uma subalgebra. Se f, g A, ento f g (f g) o conjunto de todos os limites uniformes
de A.
Demonstrao
Faremos para ao caso f g , pois o outro de modo anlogo.
Por hiptese f, g A e A uma subalgebra que contm f 1. Pela denio
de subalgebra temos que A um espao vetorial e assim, como g A ento -g
A.
Com isso, temos que f+g A e f-g A.
Falta mostrar ento que se f A ento |f | A.
Sejam a = inf {f (x), x X}, b = sup{f (x), x X} e pn : [a, b]
R uma sequncia de polinmios tal que limn pn (x) = |f (x)| (mostraremos
um exemplo dessa sequncia). Ento, limn pn (f (x)) converge para |f (x)|
uniformemente em X. O fato de A contm as funes constantes, garante que
pn (f (x) A. Logo |f (x)| A.

E assim, usando o item 1 do lema 4.2.3 temos que f g A.
91
Lema 4.2.5. Sejam X um compacto e A C(X) uma algebra que separa pontos
e A contm a funo f 1. Seja , R e x0 6= y0 , x0 , y0 X , ento existe
pelo menos uma funo f A tal que f (x0 ) = e f (y0 ) = .
Demonstrao
Por hiptese A separa pontos. Assim, como x0 6= y0 existe uma funo g A
tal que g(x0 ) 6= g(y0 ).
Considere f da seguinte forma:
g(x0 ) g(y0 )
g+
1
f :=
g(x0 ) g(y0 )
g(x0 ) g(y0 )
Como A uma subalgebra f A.
Agora mostraremos o Teorema chave, que mostrar que toda funo contnua
em um compacto pode ser por um polinmio.
Teorema 4.2.6. (Teorema de Stone-Weierstrass) Seja X um espao compacto

de Hausdor, ento uma subalgebra A C(X), que contm, f 1 e separa
pontos denso em C(X).
Demonstrao
Mostremos que para toda f C(X) e todo > 0, existe g A tal que
|f (x) g(x)| < qualquer que seja x X .
Dados quaisquer x, y X , existe gxy A tal que gxy (x) = f (x) e gxy (y) =
f (y). Isto ocorre do Lema 4.2.5 se x 6= y e se x = y basta tomar gxy constante.
Por continuidade, para cada x X , cada ponto x X possui uma vizinhana
Vxy tal que z Vxy gxy (z) > f (z) .
Como X compacto, existem y1 , y2 , . . . , yn X tais que X = Vxy1 . . .
Vxyn .
Seja gx = gxy1 gxy2 . . . gxy2 . Ento gx A (pelo lema 2) e gx (x) = f (x)
e f (z) < gx (z) para todo z X .
Por continuidade, cada ponto x X possui uma vizinhana Ux tal que
z Ux gx (z) < f (z) + . Sendo X compacto, existem x1 , x2 , . . . , xm X
tais que X = Ux1 . . . Uxm . Seja g = gx1 gx2 . . . gxm Ento g A e, para
cada z X tem-se f (z) < g(z) < f (z) + , ou seja, |f (z) g(z)| < .
Disso, conclumos que A denso em C(X ). Assim, para essa f C(X ) e
> 0, existe g A tal que ||f g|| < .

2
Como g A temos que, existe uma sequncia hn de funes em A e n0 N
tal que ||hn0 g|| < .

2
Assim, para esse > 0 e n0 N temos
||hn0 f || = ||hn0 g + g f || ||hn0 g|| + ||g f || .
92
Logo, A tambm denso em C(X ), comoqueriamosdemosntrar.
Observe que o conjunto dos polinmios uma subalgebra que satisfaz as

condies do teorema anterior. Assim, para toda funo contnua em um compacto, existe uma sequncia de polinmios {pn } tal que pn f .
Mas, quando interpolamos uma funo f por um polinmio de grau menor
ou igual a n por ponto x0 , x1 , . . . , xn obtemos um erro que pode ser calculado
pela seguinte formula:
f (x) pn (x) =
n
f (n+1) () Y
(x xi ),
(n + 1)! i=0
para algum em X . O limite acima do erro, sugere que escolhamos os pontos de

n
Y
interpolao xi de tal modo que
(x xi ) seja o menor possvel. Isto ocorre
i=0
quando escolhemos os pontos de Chebyshev.

No demonstraremo todas as armaes sobre polinmios interpoladores,
pois teriamos que aprofundar mais na teoria de calculo numrico e neste caso
estamos querendo encontrar uma aplicao para o teorema de Banach-Steinhaus.
Denio 4.2.10. A constante de Lebesgue denida pela norma de X, onde

X a projeo do espao de todos os polinmios interpoladores de grau menor
ou igual a n da seguinte forma:
||f X(f )|| (l + 1)||f p ||,
onde p o polinmio interpolador de Lagrange.

Queremos encontrar ponto xi tal que a constante de Lebesgue seja a
menor possvel. Isto ocorre quando escolhemos os pontos de Chebyshev e assim
obtemos a seguinte condio para .
2
log(n + 1) + C
para alguma constante C.

Podemos ento mostrar o seguinte teorema.
Teorema 4.2.7. Para toda funo f (x) contnua em um intervalo [a,b], existe uma tabela de ns tal que a sequncia dos polinmios interpoladores pn (x)
converge converge para f(x) uniformemente em [a.b].
O teorema acima garante que para qualquer funo existe uma tabela de ns
tal que o polinmio interpolador converge uniformemente para f.
93
Mas ser que possvel obtermos uma tabela de pontos tal que para qualquer
funo f o polinmio interpolador que passa pelos n pontos da tabela, converge
uniformemente para f?
O teorema a seguir arma que isso no possvel e em sua demonstrao
(que tambm ser omitida) construdo um conjunto de projees de polinmios
que convergem para f, mas no uniformemente, pois pelo teorema de BanachSteinhous isso s seria possvel se este conjunto fosse limitado uniformemente,
o que no ocorre.
Teorema 4.2.8. Dada uma tabela de ponto pertencentes a um intervalo [a,b],

existe uma funo f em [a,b] tal que a sequncia de polinmios interpoladores
que passam por estes pontos, divergem em [a,b].
Demonstrao.
Pn
Considere Tn : C[a, b] Pn [a, b] tal que Tn (f ) = Pn (f, X)(x) = i=1 li (x)f (xi ),
onde X o conjunto de n+1 pontos, tal que f (x) = pn (x) e li (x) o polinmio
racional obtido atravs da interpolao de Lagrange.
Considerando a seguinte norma:
||f || = max |f (x)|,

axb
temos tambm que C[a, b] um espao de Banach (Estamos apenas considerando

o espao C[a, b]).
Obtemos,
n
n
X
X
Pn (f, X)(x) =
li f (xi ) |Pn (f, X)(x)| = |
li f (xi )|
n
X
i=0
|li ||f (xi )| ||f ||
i=0
n
X
i=0
|li |.
i=0
Assim,
|Pn (f, X)(x)| ||f ||n (x)
n
X
n (x) = max
|li | a constante de Lesbegue de ordem n.
axb
i=0
Podemos assim escrever a seguinte inequao:

|Pn (f, X)(x)|
||Pn (f, X)||
n (x)
n (x).
||f ||
||f ||
Como ambos os lados da inequao acima no dependem de x, temos
Pn (f, X)||
n (x).
||Tn || sup ||
||f ||
f 6=0
Considere
f C[a.b] tal que ||f || 1 para todo x [a, b], onde
|li (y)| , se ;l (y) 6= 0
i
li (y)
f (xi ) =
1,
se li (y) = 0
94

onde y tal que n (X) = max
x
Temos ento,
n
X
|Pn (f, X)(x)| = |
n
X
|li (xi )| =
i=0
n
X
|li (y)|.
i=0
n
li (x)
i=0
Assim,
n
X
X
|li (y)|
|
|li (x)| n (X).
li (y)
i=0
n
X
|li (y)|
|=
|li (y)| = n (X).
li (y)
i=0
i=0
||Pn (f, X)||
Com isso, ||Pn (f, X)|| = n (X) e como ||f || = 1 temos
= (X),
||f ||
ou seja, ||Tn || = n (X).
Pela teoria de polinmios interpoladores temos que
|Pn (f, X)(y)| = |
li (y)
n (X) >
2
log(n) 1.
2
Como ||Tn (f )|| quando n , temos pelo teorema de BanachPn (f, X)

Steinhous que ||Tn (f )|| = ||
|| no converge para alguma f.
||f ||
4.2.1 Exerccios
1. Mostre que para 1 p < , lp um espao mtrico.
X
1
Considere d(x, y) = (
|xj yj |P ) p .
Demonstrao.
Para quaisquer x, y lp temos:
X
X
1
1
d(x, y) = (
|xj yj |P ) p = (
|xj zj + zj yj |P ) p
X
X
1
1
(
|xj zj |P ) p + (
|zj yj |P ) p = d(x, z) + d(z, y).
Como d(x, y) 0 pois soma de valores no negativos temos que lp um
espao mtrico.
2. Mostre que pela inequao de Cauchy-Schwarz obtemos a seguinte inequao:
(|x1 | + |x2 | + . . . + |xn |)2 n(|x1 |2 + |x2 |2 + . . . |xn |2 ).

3. Encontre uma sequncia x que est em lp para p > 1 e x
/ lp .
Demonstrao.
Basta considerar a sequncia (xn ) =
1
.
n
95
4. O dimetro de um conjunto A ((A)), onde A um conjunto no vazio

em um espao mtrico (X,d) denido por
(A) = sup d(x, y).

x,yA
Dizemos que A limitado se (A) < . Mostre que A B , ento

z(A) (B).
5. O espao l no separvel.
6. O espao lp com 1 p < separvel.
Demonstrao.
Seja M o conjunto de todas as sequncias y de forma que
y = (y1 , y2 , . . . , yn , 0, 0, . . .)
onde n qualquer valor positivo inteiro e os valores yi Q| para todo
i. Mostremos que M denso em lp . Seja x = (xj ) lp uma sequncia
qualquer.
Ento para todo > 0 existe um n (que depende de ) tal que
|xj |p
j=n+1
P
2
porque a srie convergente. Sabemos que os racionais so densos em

R. Assim, para cada xj existe um racional yj prximo o suciente que
satisfaa
n
X
p
|xj yj |p < .
2
j=1
Isto nos garante que
[d(x, y)]p =
n
X
j=1
|xj yj |p +
|xj |p < p .
j=n+1
Assim, obtemos d(x, y) < e disso temos que M denso em lp . Logo M

separvel.
7. Sejam X e Y espaos lineares normados e A : X Y uma transformao

linear limitada. Mostre que A pode ser extendida por B : X Y , onde
B uma transformao linear limitada tal que ||A|| = ||B|| e X e Y so
obtidos a partir de X e Y respectivamente.
96

8. Sejam X um espao vetorial normado e A : X Y uma transformao
linear. Supondo que exista um vetor x no nulo e um escalar tal que
Ax = ento ||A||
9. Seja X um espao linear normado. Mostre que se {xn } converge uniformemente para x, ento existe uma sequncia de combinao linear
(n)
(n) (n)
n
i xi } que converge para x onde xi so termos da sequncia
{sumki=1
original.
10. Se X e Y so espaos lineares normados e se A : X Y um isomorsmo

em Y e ainda temos que A e A1 so contnuas, ento mostre que ||A1 ||
||A||1

Main AF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Main AF

Enviado por

Direitos autorais:

Formatos disponíveis

Anlise Funcional Aplicada

lgebra dos Conjuntos

lgebra dos Conjuntos .

Normas e espaos normados . . . . . . . . . . . . . . . . . . . . .

lgebra dos Conjuntos

lgebra dos Conjuntos

Denio 1.1.1. Dizemos que A B ou B A se x A x B .

Denio 1.1.3. Dizemos que A

Denio 1.1.4. A unio dos conjuntos A e B denida por

Denio 1.1.5. Denimos A B = {x : x A x B}.

Problema 1.1.1. Provar que se An = {x R : |x| < } ento

Captulo1. lgebra dos Conjuntos

Teorema 1.1.1. Sejam A, B e C alguns conjuntos. Ento:

Demonstrao: Provaremos somente as armaes 6) e 60 ).

Teorema 1.1.2. Sejam A, B e C conjuntos quaisquer. Ento:

1.1 lgebra dos Conjuntos

Denio 1.1.6. Seja X um conjunto xo. O complemento de A (com respeito

Teorema 1.1.3. As seguintes leis de De Morgan so vlidas:

Denio 1.1.7. A diferena simtrica dos conjuntos A e B dada por:

Teorema 1.1.4. Para quaisquer conjuntos A e B temos:

Problema 1.1.2. Sejam X e Y dois conjuntos. Provar que X = se, e

Captulo1. lgebra dos Conjuntos

Problema 1.1.4. Sejam A, B e C conjuntos quaisquer. Provar que:

Quando a incluso estrita?

Problema 1.1.5. Princpio de incluso e excluso. Por #A denotemos o

1.2 Relaes de Equivalncia

Denio 1.2.2. Qualquer subconjunto R X Y chamado relao. Os

1.2 Relaes de Equivalncia

Denio 1.2.3. A relao R X X chamado relao de equivalncia se

Quando R uma relao de equivalncia, em vez de (x, y) R, usaremos a

Denio 1.2.4. Se R X X relao de equivalncia e x X ento sua

Teorema 1.2.1. A relao R X X uma relao de equivalncia se,

Ax = X, para todo x no relacionado.

Primeiramente mostremos que, se (x, y) R, ento Ax = Ay . Para este

(x, y) R se x, y A para algum I.

Captulo1. lgebra dos Conjuntos

Denio 1.2.5. Sejam X e Y dois conjuntos. A relao G XY chamada

Denio 1.2.6. Sejam X e Y dois conjuntos e f : X Y uma funo.

Denio 1.2.7. Os conjuntos X e Y so equipotentes se existe uma bijeo

Problema 1.2.1. Provar que Z e 2Z so equipotentes.

Problema 1.2.2. Provar que R equipotente ao intervalo (0,1).

1.3 Relao de ordem

As relaes de ordem so chamadas tambm de ordens parciais. Se R uma

1.3 Relao de ordem

Conjuntos linearmente ordenados so tambm chamados de "cadeias".

Denio 1.3.3. Seja (X, ) parcialmente ordenado. O elemento x0 X

Denio 1.3.4. Se x0 X tal que y x0 , para todo y X , ento x0

Captulo1. lgebra dos Conjuntos

Denio 1.3.5. Seja (X, ) ordenado e B X . Dizemos que X limite

Denio 1.3.6. Seja (X, ) ordenado e B X . Dizemos que X limite

Axioma de Escolha. Sejam X um conjunto qualquer, A um conjunto de

Figura 2 Axioma da Escolha

1.3 Relao de ordem

Denio 1.3.7. Um conjunto ordenado bem ordenado se todo subconjunto

Teorema 1.3.1. Toda boa ordem uma ordem linear.

Exemplo 1.3.1. (R, ) linearmente ordenado, mas no bem ordenado, pois

Teorema 1.3.2. (P.I.T.) Seja () uma propriedade denida no sistema

Captulo1. lgebra dos Conjuntos

(ii) A diferena essencial entre o P.I.F. e o P.I.T. que no primeiro mostra-se

Teorema 1.3.3. As armaes do Lema de Zorn e do Axioma de Escolha so

Introduzimos ordem em do mesmo modo como no Exemplo 5:

1.3 Relao de ordem

Seja H , uma cadeia. Em H denimos a funo:

Denio 1.1.1. Dizemos que A B ou B A se x A x B .

Denio 1.1.3. Dizemos que A

Denio 1.1.4. A unio dos conjuntos A e B denida por

Denio 1.1.5. Denimos A B = {x : x A x B}.

Demonstrao: Provaremos somente as armaes 6) e 60 ).

Denio 1.1.6. Seja X um conjunto xo. O complemento de A (com respeito

Denio 1.1.7. A diferena simtrica dos conjuntos A e B dada por:

Denio 1.2.2. Qualquer subconjunto R X Y chamado relao. Os

Denio 1.2.3. A relao R X X chamado relao de equivalncia se

Denio 1.2.4. Se R X X relao de equivalncia e x X ento sua

Denio 1.2.5. Sejam X e Y dois conjuntos. A relao G XY chamada

Denio 1.2.6. Sejam X e Y dois conjuntos e f : X Y uma funo.

Denio 1.2.7. Os conjuntos X e Y so equipotentes se existe uma bijeo

Denio 1.3.3. Seja (X, ) parcialmente ordenado. O elemento x0 X

Denio 1.3.4. Se x0 X tal que y x0 , para todo y X , ento x0

Denio 1.3.5. Seja (X, ) ordenado e B X . Dizemos que X limite

Denio 1.3.6. Seja (X, ) ordenado e B X . Dizemos que X limite

Denio 1.3.7. Um conjunto ordenado bem ordenado se todo subconjunto

Teorema 1.3.2. (P.I.T.) Seja () uma propriedade denida no sistema

Teorema 1.3.3. As armaes do Lema de Zorn e do Axioma de Escolha so

Seja H , uma cadeia. Em H denimos a funo:

17. Mostre que o Axioma da Escolha implica na seguinte armao: O produto

Denio 2.1.2. Seja B X , onde (X, ) um espao topolgico.

Denio 2.1.3. Seja A (X, ). O fecho A de A denido por

Denio 2.1.5. Seja x0 X que um espao topolgico e Bx0 uma famlia

Denio 2.1.6. A famlia B de todas as bases Bx de todos os pontos x X

Denio 2.1.7. Se X um espao topolgico e 1 2 , dizemos que 1

Denio 2.2.2. Seja A um sistema direcionado direita e X um conjunto.

Denio 2.2.3. Seja {x }A uma seqncia genrica em X . Se B um

Denio 2.2.4. Seja {x }A (X, ) uma sequncia genrica de elementos

Denio 2.2.5. Seja X um espao topolgico. Dizemos que {x }A x0

Denio 2.2.6. Sejam X , Y espaos topolgicos. A funo f : X Y

Denio 2.3.1. Seja X um espao topolgico. X separvel (T2 , ou de

Denio 2.3.2. Seja X um espao topolgico. X chamado normal se, para

Denio 2.4.2. Seja X um espao topolgico. O conjunto K X chamado