Professional Documents
Culture Documents
Conte
udo
1 Preliminares sobre conjuntos
2 Introdu
c
ao aos espa
cos m
etricos
2.1 Definic
ao . . . . . . . . . . . . . . . . . . .
2.2 Exemplos . . . . . . . . . . . . . . . . . . .
2.2.1 A reta real . . . . . . . . . . . . . .
2.2.2 O espaco Euclideano de d dimensoes
2.2.3 A metrica discreta . . . . . . . . . .
2.2.4 Restric
oes . . . . . . . . . . . . . . .
2.3 Sequencias, limites e completude . . . . . .
2.4 Continuidade . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
3
3
3
3
4
5
5
6
7
.
.
.
.
.
.
8
9
10
11
13
14
15
3 Introdu
c
ao `
a topologia: abertos, fechados
3.1 Uni
oes e intersec
oes . . . . . . . . . . . .
3.2 Caracterizando os fechados via limites . .
3.3 Continuidade, abertos e fechados . . . . .
3.4 Fechos, interiores e pontos de acumulacao
3.5 Como s
ao os abertos de R? . . . . . . . .
3.6 Mais exerccios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
e companhia
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 Conjuntos conexos
15
4.1 Conexidade e func
oes contnuas . . . . . . . . . . . . . . . . . 16
4.2 Os conjuntos conexos de R sao os intervalos . . . . . . . . . . 18
4.3 Aplicac
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5 Conjuntos compactos
5.1 Compactos s
ao completos . . . . . . . . . . . . . . . .
5.2 Compactos s
ao totalmente limitados . . . . . . . . . .
5.3 O criterio das subsequencias convergentes . . . . . . .
5.4 Compactos de Rd : o teorema de Heine-Borel . . . . . .
5.5 Criterios topol
ogicos para a compacidade . . . . . . .
5.6 Continuidade uniforme . . . . . . . . . . . . . . . . . .
5.7 Conjuntos perfeitos . . . . . . . . . . . . . . . . . . .
Estas notas ser
ao atualizadas ao longo das pr
oximas
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
aulas.
21
21
23
26
29
29
32
33
Aqui observamos alguns fatos sobre conjuntos que nao havamos observado
antes.
Em primeiro lugar, e possvel falar de unioes e intersecoes de um n
umero
arbitr
ario de conjuntos. Mais exatamente: suponha que I 6= e um conjunto
e a cada i I est
a associado um conjunto Ai 1 . (Neste caso dizemos que
{Ai }iI e uma famlia de conjuntos indexada por I). Definimos as unioes
iI Ai e intersec
oes iI Ai pelas regras:
[
x : x
Ai i I : x Ai .
iI
x : x
Ai i I : x Ai .
iI
iI
A maneira correta de pensar nisso seria imaginar que temos uma funca
o f : I
A, onde A e um conjunto cujos elementos s
ao conjuntos. Sendo assim, Ai seria um
sin
onimo de f (i).
Introdu
c
ao aos espacos m
etricos
2.1
Definic
ao
Defini
c
ao 1 Um espaco metrico e um conjunto X 6= munido de uma
func
ao d : X X [0, +), chamada de metrica sobre X, com as seguintes
propriedades.
1. d
e n
ao-negativa e separa pontos distintos: para quaisquer a, b
X, d(a, b) = 0 se e somente se a = b;
2. d
e sim
etrica: para qualquer par (a, b) X X, d(a, b) = d(b, a);
3. d satisfaz a desigualdade triangular: para quaisquer a, b, c X,
d(a, b) d(a, c) + d(c, b).
Todas as propriedades de metrica acima tem uma interpretac
ao intuitiva
se pensamos em d como uma nocao de distancia. A propriedade 1 diz que
a dist
ancia de um lugar a ele mesmo e nula, mas que qualquer outro lugar
est
a a dist
ancia positiva. A segunda propriedade afirma que ir de a a b nao
e mais f
acil ou difcil que ir de b a a. A terceira propriedade afirma que ir
de a para c e depois para b nao pode resultar em um caminho mais curto
que a rota direta de a para b.
2.2
Exemplos
Veremos abaixo os principais exemplos de espacos metricos que serao recorrentes no curso. Ocasionalmente usaremos a convencao de denotar por dX
a metrica de X; isto ser
au
til quando tratarmos muitos espacos metricos de
uma u
nica vez.
2.2.1
A reta real
2.2.2
O espa
co Euclideano de d dimens
oes
e ent
ao definir d(a, b) := ka bk para (a, b) Rn Rn (aqui definimos a
soma e subtrac
ao de vetores coordenada a coordenada). Provaremos abaixo
que d tem as tres propriedades pedidas de uma metrica.
1. Veja que kxk 0 sempre, com igualdade se e somente se todas as
coordenadas de x s
ao nulas. A propriedade segue quando se aplica
isto a x = a b.
2. Vem do fato que kxk = kxk, onde x e o vetor de coordenadas x[i]
(com i [n]), uma vez que se aplica isto a x = a b.
3. Como no caso de X = R, vamos tomar x = a c e y = c b e
argumentar que kx + yk kxk + kyk. De fato, como a funcao que leva
t 0 em t2 e crescente, basta provar que
2
kx + yk =
n
X
(x[i] + y[i])2
i=1
i=1
i=1
n
X
i=1
A m
etrica discreta
Restri
c
oes
Nossa u
ltima classe de exemplos e obtida por restricoes: se Y X nao e
vazio, a restric
ao de uma metrica dX sobre X define uma metrica dY sobre Y
[exerccio]. Por exemplo, Y = Q, ou Y = [0, 1] tambem podem ser tomado
como espacos metricos com a metrica dY (a, b) = |a b| ((a, b) Y 2 ).
5
2.3
Sequ
encias, limites e completude
2.4
Continuidade
Introdu
c
ao `
a topologia: abertos, fechados e companhia
Nesta sec
ao (X, dX ) e um espaco metrico dado. Dados x X e r 0,
denotamos por BX (x, r) ou apenas B(x, r) a chamada bola aberta de raio r
ao redor de x:
B(x, r) := {y X : d(x, y) < r}.
Tambem definimos a bola fechada BX [x, r] ou B[x, r] como
B[x, r] := {y X : d(x, y) r}.
Exerccio 9 Mostre que, dados 0 r0 < r,
B(x, 0) = B[x, 0] = {x} B[x, r0 ] B(x, r) B[x, r].
Mostre que B[x, 0] = B[x, 1/2] = B(x, 1) se a metrica e discreta.
Defini
c
ao 5 A X e dito aberto (segundo a metrica dX ) se para todo
x X existe um > 0 tal que BX (x, ) A. F X e dito fechado se X\F
e aberto.
8
3.1
Uni
oes e intersec
oes
Um dos fatos b
asicos sobre abertos e que qualquer uniao de abertos e aberta.
Isto inclui uni
oes de um n
umero infinito de conjuntos.
Proposi
c
ao 2 Seja A uma famlia de subconjuntos abertos de X. Ent
ao a
uni
ao AA A e aberta.
Prova: Suponha que a AA A. Devemos provar que existe > 0 tal que
B(a, ) AA A. Para isto basta tomar um A tal que a A (tem de
existir, pois a pertence `
a uniao) e observar que, como este A e aberto, tem
de existir > 0 com B(a, ) A. Como A AA A, isto tambem implica
B(a, ) AA A, 2
9
N
ao pode valer um resultado analogo para intersecoes de um n
umero
infinito de abertos. Por exemplo, em R, a famlia
A := {(t, t) : t > 0}
tem intersec
ao {0}, que n
ao e aberto. No entanto, vale que a intersecao de
um n
umero finito de abertos e aberta.
Proposi
c
ao 3 Sejam A1 , . . . , Am X abertos. Ent
ao m
e aberto.
i=1 Ai
Prova: Se a m
i=1 Ai , temos que a Ai para cada i. Como estes conjuntos
s
ao abertos, existem 1 , . . . , m > 0 tais que B(a, i ) Ai , 1 i m. Mas
ent
ao
:= min{1 , . . . , i } > 0
e tal que
1 i m : B(a, ) Ai ,
o que implica B(a, )] m
i=1 Ai . 2
Nos exerccios a seguir, e bom lembrar que um conjunto e fechado se e
somente se tem complementar aberto.
Exerccio 13 Mostre que qualquer intersec
ao de conjuntos fechados e fechada. Prove ainda que a uni
ao de um n
umero finito de conjuntos fechados
resulta em outro conjunto fechado.
3.2
Nas definic
oes acima definimos fechado em funcao de aberto. Grosso modo,
chamaremos de topol
ogicos todos os resultados e definicoes que forem feitos
a partir dos conjuntos abertos. Deste modo, a propria definicao de fechado
e topol
ogica.
A nossa definic
ao de aberto e metrica (isto e, depende de d); damos
abaixo uma formulac
ao metrica para os conjuntos fechados.
Proposi
c
ao 4 F X e fechado se e somente se limn xn F para toda
sequencia convergente {xn }nN F .
Prova: Como a definic
ao de fechado e em funcao da de aberto, temos de
recorrer a A := X\F . O que a proposicao diz e:
A e aberto toda seq. convergente {xn }n X\A tem limite em X\A.
10
3.3
12
dY (f (xn ), f (x)) < se n n0 . Para isto, fixamos > 0 e achamos o n0 correspondente. Pelo item 4 podemos encontrar > 0 tal que dX (x0 , x) < implica dY (f (x0 ), f (x)) < . Como xn x, existe n0 N tal que dX (xn , x) <
sempre que n n0 . Mas entao temos dY (f (xn ), f (x)) < sempre que
n n0 . Ou seja, este n0 assegura a propriedade desejada. 2
3.4
Vamos definir aqui algumas outras nocoes topologicas e fazer alguns coment
arios sobre elas. Novamente (X, d) e um espaco metrico.
Defini
c
ao 6 O interior de S X, denotado por S o , e definido por:
[
S o :=
A.
AS : A aberto
O fecho de S e:
S :=
F.
F S : F fechado
Defini
c
ao 7 O conjunto de pontos de acumulac
ao de S X, denotado por
S 0 e o conjunto que contem como elementos os x X tais que, para todo
r > 0, B(x, r) S contem um elemento diferente de x.
Exerccio 17 Mostre que N0 = e Q0 = R (como subconjuntos de R).
3.5
Como s
ao os abertos de R?
que quaisquer intervalos distintos nesta famlia sao disjuntos. De fato, considere Iq , Ir V com Iq Ir 6= . O argumento ja usado no passo anterior nos
diz que Iq Ir e intervalo aberto. Ao mesmo tempo, Iq Ir A (pois cada
intervalo est
a contido em A) e q Iq Ir . Portanto Iq Ir e um intervalo
da colec
ao Iq definida acima. Segue que:
[
Iq Ir
I = Iq .
IIq
3.6
Mais exerccios
Conjuntos conexos
Nesta sec
ao (X, dX ) e um espaco metrico fixo.
Intuitivamente, um conjunto em um espaco metrico e conexo se nao ha
nenhuma maneira de dividir seus elementos em dois conjuntos dicotomicos
e bem separados. A definicao abaixo e uma maneira formal de desenvolver
esta ideia.
Defini
c
ao 8 Dado Y X, uma cis
ao de Y e um par de conjuntos L, R X
com Y = L R, L R = e R L = . Esta cis
ao e dita trivial se L = (
e portanto R = Y ) ou R = (e ent
ao L = Y ). Dizemos que Y e conexo se
as u
nicas cis
oes possveis de Y s
ao triviais. Y e desconexo se n
ao e conexo.
No final desta sec
ao, veremos que esta definicao tem a ver com o comportamento de func
oes contnuas sobre Y . Mais precisamente, mostraremos
15
4.1
Conexidade e func
oes contnuas
Imagine que Y e conexo e pintamos seus elementos com duas cores. Intuitivamente, como Y e conexo, os conjuntos com as duas cores nao podem ser
bem divididos: tem de existir uma regiao de fronteira onde ha uma passagem abrupta de uma cor a outra. Dito de outro modo, a funcao que atribui
cada ponto a sua cor tem de ser discontnua. A u
nica forma de evitar este
problema seria n
ao utilizar uma das cores. O teorema a seguir transforma
isto num criterio para conexidade que aplicaremos algumas vezes a seguir.
16
17
O teorema tambem d
a condicoes suficientes para que uma uniao de conjuntos seja conexa. Intuitivamente e claro que, quando unimos conjuntos
conexos S, R, s
o e possvel produzir um conjunto desconexo se nao ha um
ponto comum de S e R. O Lema a seguir mostra uma versao mais geral
disto.
Lema 1 Considere um espaco metrico (X, dX ) e uma famlia F 6= de subconjuntos de X que n
ao s
ao vazios. Suponha que V W 6= para quaisquer
V, W F. Ent
ao S := V F V e conexo.
Prova: Seja f : S {0, 1} uma funcao contnua. Nosso objetivo e provar
que f e constante.
Para este fim, notamos primeiramente que a restricao de f a cada conjunto V F func
ao contnua. Em particular, como cada V e conexo (por
hip
otese), f |V e constante. Isto e, para todo V F existe um bV {0, 1}
tal que f (x) = bV para todo x V .
Vamos provar que todos os bV s sao iguais. De fato, se tomamos V 6= W
elementos de F, sabemos (por hipotese) que existe um elemento x V W ;
portanto bV = bW = f (x).
O que conclumos e que f e constante em cada conjunto V F e que os
valores tomados por f nestes conjuntos sao todos iguais. Isto implica que f
e constante sobre todo S = V F V . 2
Exerccio 20 Prove que, no teorema anterior, podemos pedir apenas que
F seja irredutvel, o que quer dizer que, se A F e uma subfamlia com
A=
6 , F, ent
ao existem A A, B F\A com A B 6= .
4.2
Os conjuntos conexos de R s
ao os intervalos
A seguir ser
a extremamente importante termos uma caracterizacao dos conjuntos conexos de R. Por sorte, esta nao e uma tarefa difcil.
Teorema 4 Os subconjuntos conexos de R que n
ao s
ao vazios s
ao precisamente os intervalos.
Este teorema ter
a algumas consequencias importantes, que veremos mais
adiante.
Prova: Lembre que E R, E 6= e intervalo se e somente se (inf E, sup E)
E.
18
N
ao
e intervalo n
ao
e conexo. Vamos supor primeiramente que E
n
ao e intervalo e provar que ele tem uma cisao que nao e trivial. Como E
n
ao e intervalo, existe x0 (inf E, sup E) que nao pertence a E. Podemos
tomar L = E (, x) e R = E (x, +) e observar que:
L R = porque L (, x] e R (, x] = .
Um argumento semelhante mostra que R L = . Alem disto, E tem de
conter elementos em [inf E, x) e (x, sup E], portanto L, R 6= . Deduzimos
que L, R e uma cis
ao de E que nao e trivial.
intervalo
E
e conexo. Observe que todo intervalo e uniao de intervalos
fechados limitados que contem um ponto em comum [exerccio]. Portanto,
basta provar este resultado no caso em que E = [a, b] com < a b <
+ (v. Lema 1).
Para isto vamos tomar uma f : [a, b] {0, 1} contnua e supor (para
chegar a uma contradic
ao) que que f nao e constante. Tome entao a x1 <
y1 b com f (x1 ) 6= f (y1 ). Vamos definir x2 , y2 , x3 , y3 , . . . com a x1
x2 x3 . . . , b y1 y2 y3 . . . e f (xn ) 6= f (yn ) para todo n, mas
yn xn 0. Faremos isto usando o velho truque de dividir o intervalo
[xn , yn ] em 2 e notar que o ponto medio do intervalo tem valor de f diferente
de um dos dois extremos. Disto poderemos deduzir que:
xn x (pois e n
ao descrescente e limitada);
yn x (pois |yn xn | = yn xn 0;
mas |f (yn ) f (xn )| = 1 para todo n, pois f (xn ), f (yn ) {0, 1} e
f (xn ) 6= f (yn ).
O resultado ser
a que 0 = |f (x) f (x)| =6= limn |f (xn ) f (yn )|, o que
contradiz a premissa de que f nao e constante.
O argumento e bem simples. Ja definimos x1 e y1 acima. Suponha
que x1 , y1 , . . . , xn , yn j
a foram definidos de forma que xi yi , yi xi =
1i
2 (y1 x1 ) e f (yi ) 6= f (xi ) para cada 1 i n. Note que o ponto medio
zn = (xn + yn )/2 pertence a [a, b] e uma das possibilidades abaixo vale:
1. f (zn ) 6= f (xn ). Neste caso tomamos xn+1 = xn , yn+1 = zn .
2. f (zn ) = f (xn ). Como f (xn 6= f (yn ), temos f (zn ) 6= f (yn ) e podemos
tomar xn+1 = zn , yn+1 = yn .
Claramente, f (xn+1 ) 6= f (yn+1 ), xn xn+1 yn+1 yn e yn+1 xn+1 =
f
(yn xn )/2. E
acil deduzir disto que valem as propriedades desejadas. 2
19
4.3
Aplicac
oes
Conjuntos compactos
5.1
Compactos s
ao completos
21
Isto segue do fato que {dK (xn , x)}nN R e Cauchy, que provamos a seguir.
Veja primeiramente que, pela desigualdade triangular,
m, n N, x K : |dK (xn , x) dK (xm , x)| dK (xn , xm )
O fato que {xn }n e Cauchy implica que para todo > 0 existe n0 tal que o
lado direito acima e < para n, m n0 . Deste modo, dado > 0 existe um
n0 tal que
m, n n0 x K : |dK (xn , x) dK (xm , x)| < .
Isto e precisamente a afirmacao de que {dK (xn , x)}n e Cauchy para todo x.
Passo 2 - o nfimo de f
e 0, mas f (x) > 0 para todo x. Veja primeiramente que f (x) > 0 para todo x K. De fato, f e sempre nao negativa
(pois e limite de termos n
ao negativos) e f (x) = 0 implicaria d(xn , x) 0,
ou seja, xn x (contradicao com o fato de que xn nao converge).
Falta mostrar que inf xK f (X) = 0. Para isso primeiro fixamos > 0.
Vamos observar que, tomando n0 como acima:
m, n n0 : d(xm , xn ) < .
22
5.2
Compactos s
ao totalmente limitados
23
24
A raz
ao para isto e que, se houvesse outro ndice k N com d(x, sk ) < 2r,
a desigualdade triangular implicaria
d(sj , sk ) d(x, sj ) + d(x, sk ) < 4r = ,
o que contraria o fato de que a distancia mnima entre elementos de S e .
Continuando, definimos, para cada j N, uma funcao contnua fj : X
R da seguinte forma:
fj (x) := j max{r d(sj , x), 0} (x X).
fj (x)
0
se j N e o u
nico ndice tal que d(x, sj ) < 2r;
se n
ao ha sj com d(x, sj ) < 2r
5.3
O crit
erio das subsequ
encias convergentes
Nesta sec
ao vamos mostrar que a compacidade de um espaco metrico pode
ser avaliada a partir de subsequencias.
Defini
c
ao 12 Dados um conjunto infinito N N e uma sequencia {xn }nN ,
a subsequencia {xn }nN e definida da forma {
xj }jN com x
j := {xnj }, onde
n1 < n2 < n3 < . . . e a u
nica enumerac
ao crescente dos elementos de N .
Tambem escrevemos {xnj }jN diretamente. Falamos que limnN xn = x se
xnj x quando j +.
Exerccio 25 Mostre que xn x implica xnj x.
A propriedade 3 do teorema e muitas vezes tomada como ponto de
partida da definic
ao de compacidade em espacos metricos. Como veremos
abaixo, ela implica facilmente a nossa definicao de compacidade (=funcoes
contnuas atingem o nfimo). Antes disto, veremos um exemplo de aplicacao.
Teorema 8 Considere um espaco metrico (K, dK ). As seguintes propriedades s
ao equivalentes.
1. (K, dK ) e compacto.
2. (K, dK ) e completo e totalmente limitado.
3. Toda sequencia em K possui uma subsequencia convergente.
Prova: [do Teorema 8] A implicacao 1 2 foi vista no Lema 2 acima.
Vamos ver agora que 3 1 e 2 3.
Prova de 3 1. Seja f : X R contnua. Vamos primeiramente supor
que ` := inf{f (x) : x K} > . Neste caso sabemos que para cara
n N h
a um xn K com ` f (xn ) ` + 1/n; deste modo, f (xn ) `
quando n +.
Agora observe que, pela propriedade 3, a sequencia {xn }nN tem uma
subsequencia convergente {xn }nN com limite x K. Por continuidade,
f (x ) = limnN f (xn ). Mas veja que {f (xn )}nN e subsequencia de {f (xn )}nN ,
logo
lim f (xn ) = lim f (xn ) = ` = inf{f (x) : x K}.
nN
nN
Portanto f (x ) = inf.
Falta mostrar que n
ao e possvel ter ` = . Para provar isto, vamos
sup
or que ` = . Neste caso, podemos construir xn com f (xn ) < n para
26
Exerccio 26 Para terminar a prova, deduza disto que {xnk }kN e Cauchy.
2
Exerccio 27 Use o criterio das subsequencias para mostrar que todo subconjunto fechado de um compacto e ele pr
oprio compacto.
28
5.4
5.5
Crit
erios topol
ogicos para a compacidade
29
3. Toda colec
ao de fechados F de K com F F F = possui uma subcolec
ao finita P F com F P F = .
Prova: Veja que 2 3 segue se escrevemos A := {X\F : F F} e
notamos que F F F = se e somente se AA A = K. Provaremos que
3 1 e 1 2 a seguir.
Prova de que 3 1. Seja f : K R contnua e chame de ` = inf{f (x) :
x K} (em princpio permitimos ` = ). Vamos mostrar que existe um
x K com f (x ) = `. Para isto notamos que, se t R e t > `, tem de
existir um x K com f (x) t. Portanto, os conjuntos
Ft := {x K : f (x) t} = f 1 ((, t])
s
ao fechados e n
ao s
ao vazios.
Afirmamos que t>` Ft 6= . Para isto, o item 3 nos diz que basta checar
que qualquer colec
ao finita dos conjuntos Ft tem intersecao nao-vazia. Tome,
ent
ao conjuntos Ft1 , . . . , Ftk com t1 , . . . , tk > ` e verifique que:
k
\
i=1
Fti =
k
\
i=1
j
a que min ti > ` quando t1 , ,tk > `. Pelo item 3, isto implica que
\
Ft 6= .
t>`
Afirma
c
ao 2 r e contnua.
Prova: [da Afirmac
ao]Vamos mostrar que r e 1-Lipschitz, o que
implica que r e contnua. Para isto basta mostrar que:
Objetivo: x, x0 X : r(x) r(x0 ) dX (x, x0 ).
30
(1)
De fato, se temos isto, podemos trocar os papeis de x, x0 e mostrar que tambem vale r(x0 ) r(x) dX (x, x0 ), de modo que
|r(x0 )r(x)| dX (x, x0 ) para todos x, x0 X. Para provar nosso
objetivo, tome qualquer 0 < r < r(x) e um conjunto A A com
B(x, r) A. Note que B(x0 , r dX (x, x0 )) B(x, r); afinal,
y B(x0 , r dX (x, x0 )) : dX (y, x) dX (y, x0 ) + dX (x, x0 ) < r.
Portanto tambem temos B(x0 , r dX (x, x0 )) A A e isto
implica r(x0 ) r dX (x, x0 ). Tomando o supremo em r, vemos
que r(x0 ) r(x) dX (x, x0 ), como queramos demonstrar. [Fim
da prova da afirmac
ao.] 2
Com esta afirmac
ao podemos provar que
> 0 : x K, A A com B(x, ) A.
De fato, basta tomar := inf{r(x) : x K}/2 e notar que:
> 0 porque r() contnua e K e compacto implicam que inf{r(x) :
x K} = r(x ) para algum x K, de modo que r(x ) > 0 porque r
e positiva em todo ponto.
Dado x X, r(x) > . Pela definicao de r(x) como supremo, existem
r (, r(x)] e A A com B(x, ) B(x, r) A.
Vamos agora terminar a prova. Ja vimos no Teorema 8 que K compacto
implica que K e totalmente limitado. Pela Proposicao 8, isto quer dizer
que K ki=1 B(xi , ) para alguma escolha de x1 , . . . , xn K. Mas entao
escolhemos, para cada 1 i k, um aberto Ai A com B(xi , ) Ai , e
observamos que K ki=1 Ai . Deste modo, C := {Ai : 1 i k} e uma
subcolec
ao finita que cobre K. 2
Observa
c
ao 1 Um dado importante que surgiu na prova acima e que, se
K e compacto, ent
ao toda cobertura A de K por abertos possui um n
umero
de Lebesgue, isto e, um > 0 tal que, se x, x0 K e dK (x, x0 ) < , ent
ao
0
0
0
x, x A para algum A A. Isto e, se dK (x, x ) < , x, x pertencem ao
mesmo aberto da cobertura. Usaremos isto mais adiante.
31
5.6
Continuidade uniforme
(2)
Observe que
A := {BX (x, (x)) : x X}
e uma colec
ao de abertos que cobre X. A Observacao 1 implica que existe
um n
umero de Lebesgue > 0 tal que, se a, b X e dX (a, b) < , entao a, b
ambos pertencem a um mesmo aberto desta colecao. Isto e:
dX (a, b) < x X a, b BX (x, (x)) dZ (f (a), f (b)) < (por (2)).
Conclumos que o n
umero de Lebesgue tem exatamente a propriedade que
procur
avamos. 2
Exerccio 30 Construa uma prova alternativa da continuidade uniforme
baseada no seguinte argumento.
1. Primeiro mostre que f e uniformemente contnua se e somente se vale
a seguinte propriedade:
{xn }nN , {yn }nN X : dX (xn , yn ) 0 dZ (f (xn ), f (yn )) 0.
2. Agora suponha (para chegar a uma contradic
ao) que existem {xn }n ,
{yn }n com dX (f (xn ), f (yn )) 0, mas dZ (f (xn ), f (yn )) 6 0. Observe
que, se xn converge a algum x, yn tambem converge a x e portanto
dX (f (xn ), f (yn )) 0, contradic
ao. Depois note que, mesmo que xn
n
ao convirja, e sempre possvel achar uma subsequencia convergente,
e isto j
a basta para fazer valer a prova.
5.7
Conjuntos perfeitos
Nesta sec
ao conclumos as notas sobre topologia falando de certos conjuntos
em que todo ponto pode ser bem aproximado por outros pontos.
Defini
c
ao 14 Seja (X, dX ) um espaco metrico. P X e perfeito se todo
x P e ponto de acumulac
ao de P , isto e:
p P, > 0 : (BX (p, )\{p}) P 6= .
Exerccio 31 Mostre que P e perfeito se e somente se para cada p P
existe uma sequencia {pn }n P \{p} que converge a p.
33
i=1
35