Escolar Documentos
Profissional Documentos
Cultura Documentos
TOPOLOGIA
Jos Carlos Santos
Departamento de Matemtica
Faculdade de Cincias da Universidade do Porto
Maro de 2011
Observaes
Estes apontamentos so dirigidos aos alunos de Elementos de Topologia e so parcialmente baseados nos apontamentos redigidos pelo
doutor Manuel Ricardo Falco Moreira quando regeu a cadeira nos
anos lectivos 199596 e 199697.
So empregues as seguintes notaes:
R+
R+
K
P(E)
{x R | x > 0}
{x R | x > 0}
R ou C
{partes de E}
Vai-se considerar em R {, +} a relao de ordem 6 que prolonga a relao de ordem 6 de R e para a qual se tem:
(r R) : 6 r 6 +.
Sempre que se falar de supremo ou nfimo de uma parte de R{, +}
ser relativamente a esta relao de ordem. Observe-se que, com esta
conveno, qualquer parte de R tem supremo e nfimo.
Um conjunto C dir-se- numervel quando C for finito ou quando
existir alguma bijeo de N em C. Isto equivale a afirmar que existe
alguma funo sobrejectiva de N em C.
A existncia ao lado de um pargrafo do smbolo ampliado, tal
como aquele que se encontra ao lado deste pargrafo, deve ser interpretado como querendo significar curva perigosa; conveniente ler-se
atentamente a passagem em questo.
iii
ndice
Observaes
iii
ndice
Lista de Figuras
vii
1 Espaos mtricos
1.1 Definies e propriedades elementares . . . . .
1.1.1 Mtricas e pseudo-mtricas . . . . . . .
1.1.2 Definio de espao mtrico . . . . . . .
1.2 Funes contnuas . . . . . . . . . . . . . . . . .
1.2.1 Caso geral . . . . . . . . . . . . . . . . .
1.2.2 Tipos particulares de funes contnuas
1.3 Abertos e fechados num espao mtrico . . . . .
1.4 Sucesses . . . . . . . . . . . . . . . . . . . . . .
1.4.1 Sucesses convergentes . . . . . . . . . .
1.4.2 Sucesses de Cauchy . . . . . . . . . . .
1.5 Espaos mtricos completos . . . . . . . . . . .
1.6 Exerccios . . . . . . . . . . . . . . . . . . . . . .
2 Espaos topolgicos
2.1 Definies e motivao . .
2.2 Generalidades . . . . . . .
2.2.1 Topologias . . . . .
2.2.2 Vizinhanas . . . .
2.2.3 Funes contnuas .
2.2.4 Aderncia e interior
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
4
5
5
8
10
24
24
30
33
50
.
.
.
.
.
.
67
67
71
71
74
79
85
vi
ndice
2.3
2.4
2.5
2.6
2.2.5 Sucesses . . . . . . . . . . . . . . .
2.2.6 Espaos topologicamente completos
Produtos de espaos topolgicos . . . . . .
Espaos conexos . . . . . . . . . . . . . . .
Espaos compactos . . . . . . . . . . . . .
2.5.1 Caso geral . . . . . . . . . . . . . .
2.5.2 Produtos de espaos compactos . .
2.5.3 Espaos mtricos compactos . . . .
Exerccios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
88
92
95
99
105
105
113
117
123
3 Espaos de funes
145
3.1 Conjuntos densos de funes contnuas . . . . . . . . . . 145
3.2 Espaos compactos de funes . . . . . . . . . . . . . . . 152
3.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
ndice remissivo
161
Lista de Figuras
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
Desigualdade triangular . . . . . . . . . . . . . .
Distncia entre dois conjuntos . . . . . . . . . . .
Exemplo de continuidade no uniforme . . . . .
Os discos abertos enquanto conjuntos abertos . .
Funo f prxima da funo nula tal que f(0) = 1
Polinmios obtidos por interpolao . . . . . . .
Polinmios de Bernstein . . . . . . . . . . . . . .
Grfico da funo fn . . . . . . . . . . . . . . . . .
Grfico da funo fn . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
6
10
12
14
19
21
26
31
2.1
2.2
2.3
2.4
2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 82
. 88
. 89
. 95
. 112
vii
Captulo 1
Espaos mtricos
1.1
1.1.1
Definies e propriedades
elementares
Mtricas e pseudo-mtricas
Espaos mtricos
d(x, z)
qz
@
@
@d(y, z)
@
@q
"y
"
"
"
"
"" d(x, y)
"
q
R+
se x 6= y
caso contrrio.
a
b
pvp (rs)
se r 6= s
caso contrrio.
Zb
R+
|f(x) g(x)| dx,
(f, g)
a
Espaos mtricos
A mtrica do supremo tambm proveniente de uma norma. Analogamente, a mtrica do integral seria proveniente de uma norma caso se
tivesse considerado apenas o conjunto das funes contnuas de [a, b]
em C. Sempre que se estiver a trabalhar com um espao vectorial normado (V, k k) ser a mtrica definida por (1.1) que ser a considerada,
a menos que seja dito expressamente o contrrio.
Em geral, num conjunto E podem-se definir muitas mtricas distintas. Em Kn podem-se considerar, por exemplo, as mtricas definidas
por
d1 ((x1 , . . . , xn ) , (y1 , . . . , yn )) =
ou por
n
X
|xj yj |
j=1
1.1.2
e
ento d uma mtrica. Considera-se ento o espao mtrico (E/, d)
claro que se
mesmo frequente usar-se o mesmo smbolo para d e d.
2
1.2
1.2.1
Funes contnuas
Caso geral
Espaos mtricos
b
a
Proposio 1.2.1
Se (E1 , d1 ), (E2 , d2 ) e (E3 , d3 ) so espaos mtricos, a um ponto de E1 ,
f : E1 E2 uma funo contnua em a e g : E2 E3 uma funo
contnua em f(a), ento g f contnua em a.
Demonstrao: Seja R+ ; quer-se encontrar R+ tal que
(x E1 ) : d1 (x, a) < = d3 ((g f)(x), (g f)(a)) < .
(1.2)
(1.3)
(1.4)
1.2.2
Espaos mtricos
Isometrias
Definio 1.2.2 Diz-se que uma funo f : (E1 , d1 ) (E2 , d2 ) entre
espaos mtricos uma isometria se for uma bijeco e se
(x, y E1 ) : d2 (f(x), f(y)) = d1 (x, y).
Naturalmente, a inversa de uma isometria tambm uma isometria.
Exemplo 1.2.6 Relativamente mtrica usual, a funo
R2
R2
(x, y)
(y, x)
uma isometria. Geometricamente, trata-se de uma rotao do plano.
Exemplo 1.2.7 Para cada n Z, seja
fn : R
x
R
se x = n
caso contrrio.
(1.5)
|x2 y2 | = 2
+
2
=1+
2
4
> 1.
Veja-se tambm a figura 1.3 na pgina seguinte.
10
Espaos mtricos
f(y+)
f(y)
f(y)
f(x+)
f(x)
f(x)
x
1.3
11
12
Espaos mtricos
13
Aj
[
Aj {
jJ
que aberto.
Se
T (Aj )jJ for uma famlia de abertos de E e se J for finito ento, se
x jJ Aj , seja, para cada j J, j R+ tal que B(zj , j ) Aj . Ento
B (x, min { j | j J })
Aj .
jJ
jJ
que aberto.
Uma observao importante referente a esta demonstrao a seguinte: visto que, por definio, um sub-conjunto A de E fechado
se e s se A{ aberto, frequentementemente possvel, tal como nas
demonstraes das duas ltimas alneas desta proposio, demonstrar
uma propriedade relativa a conjuntos fechados recorrendo ao facto de
j se ter demonstrado algo anlogo referente a abertos. Por esse motivo,
no sero explicitadas mais demonstraes deste tipo.
Exemplo 1.3.6 Foi visto (exemplo 1.3.4) que se E for um espao mtrico
e se x E, ento {x} um fechado de E. Ento se F for uma parte finita
de E, como se tem
[
F=
{x},
xF
14
Espaos mtricos
1 x/
R
se x <
caso contrrio,
cujo grfico pode ser visto na figura 1.5, pertence a B(0, ) mas no a V,
pois f(0) = 1. Logo, V no contm nenhuma bola B(0, ).
visto nos cursos de Anlise Real (e ser demonstrado mais frente) que
qualquer funo contnua de [a, b] em R limitada e resulta deste facto que se f for
uma funo de [a, b] em C isto ainda verdade, pois f = Re(f) + Im(f)i.
15
(1.6)
A A.
2. A
Exemplo 1.3.10 Em qualquer espao mtrico (E, d), se x E e r R+
tem-se B(x, r) B 0 (x, r). De facto, se y E \ B 0 (x, r), i. e. se d(x, y) > r,
ento B(y, d(x, y) r) B(x, r) = , pelo que y
/ B(x, r). No entanto,
no verdade em geral que se tenha B(x, r) = B 0 (x, r). Por exemplo,
em {0, 1} tem-se, relativamente mtrica usual, B(0, 1) = {0} = {0} e
B 0 (0, 1) = {0, 1}.
Exemplo 1.3.11 Sejam a, b R com a < b. Considere-se o espao
mtrico Fl ([a, b]) (veja-se o exemplo 1.1.5) e o conjunto C([a, b]) (veja-se
a definio 1.3.7). Vai-se mostrar que este conjunto tem interior vazio
e que igual sua prpria aderncia.4
1. O interior de C([a, b]) vazio pois se f C([a, b]) e se R+ ,
ento a funo
[a, b]
x
4
R
f(x)
se x > a
f(a) + /2
se x = a
16
Espaos mtricos
pertence a B(f, ) mas no contnua, pelo que B(f, ) 6 C([a, b]).
2. J se sabe que C([a, b]) C([a, b]), pelo que, para se provar que
C([a, b]) = C([a, b]), basta que se prove que C([a, b]) C([a, b]).
Seja f Fl ([a, b]) \ C([a, b]); vai-se provar que f no adere a
C([a, b]), ou seja que existe algum r R+ tal que B(f, r) no
contm nenhuma funo contnua. Como f descontnua, ela
descontnua em algum c [a, b] e, portanto, existe algum R+
tal que
( R+ )(x [a, b]) : |x c| < |f(x) f(c)| > .
Ento B(f, /3) no contm nenhuma funo contnua, pois se g
estiver naquela bola e se R+ , sabe-se que existe algum x
[a, b] tal que |x c| < e que |f(x) f(c)| > , pelo que
|g(x) g(c)| = |f(x) f(c) (f(x) g(x)) + (f(c) g(c))|
> |f(x) f(c)| |(f(x) g(x)) (f(c) g(c))|
> |f(x) f(c)| |f(x) g(x)| |f(c) g(c)|
>
3 3
=
3
Antes de se passar ao prximo enunciado convm fazer a seguinte observao: se E um conjunto e se X P(E), no existe necessariamente
o menor elemento de X (relativamente incluso). Por exemplo, se
E = R e se X = {sub-conjuntos infinitos de R}, ento nenhum elemento
de X est contido em todos os outros. No entanto, caso X tenha um
elemento contido em todos os outros este s poder ser a interseco
de todos os elementos de X. Analogamente, o maior elemento de X,
caso exista, s poder ser a reunio de todos os elementos de X.
Proposio 1.3.1
Sejam E um espao mtrico e X E. Ento
1. X aberto e mesmo o maior aberto de E contido em X;
2. X fechado e mesmo o menor fechado de E que contm X.
Demonstrao: Se A for um aberto contido em X, ento, pela definio
de vizinhana, A vizinhana de todos s seus pontos, pelo que X
17
Consequentemente
vizinhana de todos os pontos de A, ou seja, A X.
[
X
A
(1.7)
AX
A aberto
e este ltimo conjunto aberto, pelo teorema 1.3.1. claro que se trata
do maior aberto de E contido em X. Por outro lado, se x X ento existe
algum aberto A tal que tal que x A e A X. Logo, a incluso (1.7) ,
de facto, uma igualdade.
A segunda alnea deduz-se da primeira passando aos complementares.
Corolrio 1.3.1
Sejam E um espao mtrico e X E. Ento
1. X um aberto se e s se X = X;
2. X um fechado se e s se X = X.
Demonstrao: Se X for um aberto, ento necessariamente o maior
Por outro lado, se X no for um
aberto contido em X, pelo que X = X.
aberto ento, em particular, no poder ser o maior aberto contido em
X, pelo que X 6= X.
A demonstrao da segunda alnea anloga.
Proposio 1.3.2
Sejam E1 e E2 espaos mtricos, f uma funo de E1 em E2 e a um ponto
de E1 . So ento condies equivalentes:
1. a funo f contnua em a;
2. para cada vizinhana V de f(a), f1 (V) uma vizinhana de a.
Demonstrao: Como foi observado na pgina 11, f contnua em a
se e s se a imagem recproca por f de qualquer bola centrada em f(a)
contiver uma bola centrada em a. Se esta condio se verificar e se V for
uma vizinhana de f(a), ento, por definio de vizinhana, V contm
alguma bola centrada em f(a), pelo que f1 (V) contm, por hiptese,
alguma bola centrada em a; em particular, f1 (V) uma vizinhana
de a. Reciprocamente, se for verdade que, para cada vizinhana V
de f(a), f1 (V) uma vizinhana de a ento, em particular, para
cada R+ , f1 (B(f(a), )) uma vizinhana de a, pelo que contm
alguma bola B(a, ).
18
Espaos mtricos
Proposio 1.3.3
Sejam E1 e E2 espaos mtricos e f uma funo de E1 em E2 . So ento
condies equivalentes:
1. a funo f contnua;
2. se A um aberto de E2 , f1 (A) um aberto de E1 ;
3. se F um fechado de E2 , f1 (F) um fechado de E1 .
Demonstrao: Suponha-se que f contnua e que A um aberto de E2 ;
quer-se mostrar que f1 (A) um aberto de E1 . Para cada x f1 (A)
seja x R+ tal que B(f(x), x ) A e seja x tal que
B(x, x ) f1 (B(f(x), x )).
Ento
f1 (A) =
{x}
B(x, x ) f1 (A),
pelo que
f1 (A) =
B(x, x ).
xf1 (A)
(1.8)
para algum R+ . Para tal, basta ver que, uma vez que B(f(x), )
um aberto de E2 ento, por hiptese, f1 (B(f(x), )) um aberto; como
este aberto contm x, existe ento algum para o qual se tem (1.8).
Vai-se agora mostrar que a segunda e a terceira condies do enunciado so equivalentes. Se a segunda condio se verificar, ento, se F for
{
um fechado de E2 , f1 (F) = f1 F{ , que aberto, pelo que f1 (F)
fechado. Mostra-se de maneira anloga que a terceira condio implica
a segunda.
Naturalmente, esta demonstrao poderia ter sido feita segundo o
esquema 1. 2. 3. 1. ou segundo o esquema 1. 3. 2. 1.;
ser explicado posteriormente qual o motivo pelo qual no se procedeu
deste modo.
19
P10
20
Espaos mtricos
x a
(x [a, b]) : f(x) P
< .
ba
(1.9)
K
n
X
n
k
f
xk (1 x)nk .
k
n
k=0
21
1/2
f
P2
P6
P18
n
X
rn,k (x) = 1
(1.10)
k=0
e que
2
n
X
k
1
(x [0, 1])(n N) :
x
rn,k (x) 6
n
4n
k=0
(1.11)
(1.12)
n2
n
X
n k nk
=
k(k 1)
x y
,
k
k=0
22
Espaos mtricos
krn,k (x) = nx
k=0
n
X
k=0
n
X
n
n
xX
1 X 2
krn,k (x) + 2
k rn,k (x)
n k=0
n k=0
!
n
n
X
X
k(k 1)rn,k (x) +
krn,k (x)
rn,k (x) 2
k=0
= x2 2x2 +
1
n2
k=0
k=0
(n 1)x
x
+
n
n
x(1 x)
=
n
1
6
4n
= x2 +
(1.13)
Tem-se
n
X
k
(x [0, 1]) : |f(x) Pn (x)| =
f(x) f
rn,k (x)
n
k=0
n
X
f(x) f k rn,k (x).
6
n
k=0
Se, para cada x [0, 1] e para cada n N, se definir
k
Ax,n = k {0, . . . , n} x <
n
(1.14)
x,n
n
X
2 k=0
=
2
rn,k (x)
(x k/n)2
k
x >
> 1,
n
2
pelo que
X
X
f(x) f k rn,k (x) 6 2M
rn,k (x)
n
kBx,n
kBx,n
2
2M X
k
rn,k (x)
6 2
x
kB
n
x,n
2
n
2M X
k
x
rn,k (x)
6 2
k=0
n
6
M
(por (1.11))
2n2
23
24
Espaos mtricos
x
x
ou
[1, 1] R
x
|x|.
Definio 1.3.6 Seja (E, d) um espao mtrico. Se A um sub-conjunto de E, define-se o dimetro de A como sendo sup { d(x, y) | x, y A }
caso A 6= e 0 caso contrrio. Se o dimetro de A (que ser representado
por diam(A)) for finito, diz-se que A limitado. Se X for um conjunto
diz-se que uma funo de X em E limitada se a sua imagem for um
conjunto limitado.
Exemplo 1.3.14 Num espao mtrico discreto qualquer parte limitada, pois o dimetro de qualquer conjunto com mais do que um ponto
igual a 1.
Exemplo 1.3.15 Qualquer bola limitada, pois o seu dimetro nunca
excede o dobro do raio (mas pode ser menor).
1.4
Sucesses
1.4.1
Sucesses convergentes
Definio 1.4.2 Sejam (E, d) um espao mtrico e (xn )nN uma sucesso de elementos de E. Diz-se que a sucesso convergente se, para
algum l E, se tiver
( R+ )(p N)(n N) : n > p = d(xn , l) < ;
1.4 Sucesses
25
se x < 1/2n
2nx
x
2 2nx se x [1/2n, 1/n]
0
se x > 1/n
(veja-se a figura 1.8). A sucesso (fn )nN , encarada como uma sucesso
de elementos de C([0, 1]), convergente (para a funo nula) relativamente mtrica do integral, pois, para cada n N,
Z1
Z1
|fn | =
d1 (fn , 0) =
0
fn =
0
2n
26
Espaos mtricos
1/2n 1/n
1.4 Sucesses
27
tal que, se n N e n > p1 (resp. n > p2 ), ento d(xn , l1 ) < d(l1 , l2 )/2
(resp. d(xn , l2 ) < d(l1 , l2 )/2). Logo, para n = max{p1 , p2 } ter-se-ia
d(l1 , l2 ) 6 d(l1 , xn ) + d(xn , l2 ) <
d(l1 , l2 ) d(l1 , l2 )
+
= d(l1 , l2 )
2
2
o que absurdo.
Em geral, os conceitos que foram vistos at aqui continuam a fazer
sentido se se estiver a trabalhar com pseudo-mtricas e os enunciados
permanecem vlidos. A proposio 1.4.1 uma excepo, pois se a
distncia entre dois pontos distintos for 0, ento qualquer sucesso
convergente para um deles tambm converge para o outro.
Proposio 1.4.2
Qualquer sucesso convergente limitada.
Demonstrao: Seja (E, d) o espao mtrico em questo e seja (xn )nN
uma sucesso convergente de elementos de E, sendo l o seu limite.
Ento existe algum p N tal que n > p = d(xn , l) < 1. Seja M =
max { d(xn , l) | n 6 p }. Tem-se
{ xn | n N } B 0 (l, max{1, M})
e este ltimo conjunto limitado.
Definio 1.4.3 Uma sub-sucesso de uma sucesso (xn )nN uma
sucesso da forma (xnk )kN , sendo
N N
k
nk
uma funo estritamente crescente.
Proposio 1.4.3
Num espao mtrico, se uma sucesso convergir, ento qualquer sua
sub-sucesso converge para o mesmo limite.
Demonstrao: Sejam (E, d) o espao mtrico em questo e (xn )nN
uma sucesso convergente de elementos de E, sendo l o seu limite. Seja
R+ . Visto que (xn )nN converge para l, existe algum p N tal
que n > p = d(xn , l) < . Como a sucesso (nk )kN estritamente
crescente e, obviamente, no limitada, existe algum p 0 N tal que
k > p 0 = nk > p = d(l, xnk ) < .
28
Espaos mtricos
Esta proposio frequentemente empregue para mostrar que certas sucesses so divergentes mostrando que tm sub-sucesses convergentes com limites distintos.
Exemplo 1.4.5 Se se considerar em Fl (R) a sucesso sen(n) nZ+ ,
ento esta sucesso diverge relativamente mtrica do supremo (ou
qualquer outra mtrica quese esteja a considerar) pois as sub-sucesses
sen(4n) nZ+ e sen(4n+1) nZ+ so constantes e convergem respectivamente para a funo seno e para a funo cosseno.
Proposio 1.4.4
Sejam E um espao mtrico e X uma parte de E. Ento X igual ao
conjunto dos pontos de E que so limite de alguma sucesso de elementos
de X.
Demonstrao: Se x X, ento qualquer bola centrada em x intersecta X. Em particular, pode-se definir uma sucesso (xn )nN escolhendo7 , para cada n N, xn X B(x, 1/n). ento claro que
limnN xn = x.
Reciprocamente, se l E e l for limite de alguma sucesso de elementos de X ento, pela definio de sucesso convergente, qualquer bola
centrada em x contm termos da sucesso e, em particular, intersecta
X, pelo que l X.
Repare-se que o enunciado anterior natural, pois, dado l E, tanto
a condio l X quanto a condio l limite de uma sucesso de
elementos de X exprimem a mesma ideia: que possvel encontrar
pontos de X to perto quanto se queira de l.
Corolrio 1.4.1
Seja X um sub-conjunto de um espao mtrico. So condies equivalentes:
1. o conjunto X fechado;
2. o limite de qualquer sucesso convergente de elementos de X pertence a X.
Demonstrao: Suponha-se que X fechado. Se (xn )nN for uma sucesso convergente de elementos de X e se l for o seu limite, ento, pela
7
Quem alguma vez tenha tido contacto com o axioma da escolha poder querer saber se estar de algum modo relacionado com estas escolhas. A resposta
afirmativa.
1.4 Sucesses
29
30
Espaos mtricos
contnua. Mas ento, sempre que alguma sucesso (fn )nN de elementos de Fl (X) converge para uma funo f Fl (X) tem-se, para
cada x X,
f(x) = Fx lim fn = lim Fx (fn ) = lim fn (x).
nN
nN
nN
Isto j tinha sido observado, sem recorrer proposio 1.4.5, no exemplo 1.4.4.
1.4.2
Sucesses de Cauchy
R
n n x se x < 1/n2
3
caso contrrio
2m 2n
0
0
0
No entanto, a mesma sucesso no de Cauchy relativamente mtrica
do supremo, pois se m e n so nmeros naturais distintos, ento
d (fm , fn ) = sup |fm (x) fn (x)| = |m n| > 1.
x[0,1]
1.4 Sucesses
31
n
1/n2
R1
Figura 1.9: Grfico de fn (n N). O valor de 0 fn a rea do
tringulo a sombreado da figura, ou seja, igual a 1/2n.
H uma observao importante que necessrio fazer relativamente
a esta noo. Considere-se, por exemplo, a noo de conjunto fechado.
Trata-se de uma noo relativa no seguinte sentido: se E for um espao mtrico, se F for um sub-espao mtrico de E e se X for um sub-conjunto fechado de F, possvel que X no seja um sub-conjunto
fechado de E; basta considerar, por exemplo, E = R2 (com a mtrica
usual), F = { (x, 0) E | x R+ } e X = { (x, 0) | E|x ]0, 1] }. O mesmo se
aplica s outras noes que foram definidas relativas a sub-conjuntos de
espaos mtricos (excepto no que se refere noo de conjunto limitado),
bem como relativamente noo de sucesso convergente (veja-se na
pgina 26 a observao que precede o enunciado da proposio 1.4.1). A
noo de sucesso de Cauchy , pelo contrrio, uma noo absoluta: se
X um sub-espao mtrico de um espao mtrico E, ento uma sucesso
de elementos de X uma sucesso de Cauchy no espao mtrico X se
e s se for uma sucesso de Cauchy no espao mtrico E. Isto assim
pois para que uma sucesso (xn )nN seja de Cauchy s necessrio
levar em conta as distncias entre os pares de termos da sucesso e
isto no muda se se passar para um espao mtrico maior (tal como se
passa, alis, no caso dos conjuntos limitados).
Proposio 1.4.6
Qualquer sucesso convergente de Cauchy.
32
Espaos mtricos
Demonstrao: Se (xn )nN for uma sucesso de elementos de um espao mtrico (E, d) que converge para l E e se R+ , seja p N tal
que
33
1.5
34
Espaos mtricos
Resulta daqui que, para cada n N, Cn completo, pois a funo
Cn
R2n
(z1 , z2 , . . . , zn )
(Re z1 , Im z1 , Re z2 , Im z2 , . . . , Re zn , Im zn )
nN
35
36
Espaos mtricos
nN
ento o conjunto
nN
Fn tem um e um s elemento.
37
o que absurdo.
Definio 1.5.2 Se (E1 , d1 ) e (E2 , d2 ) so espaos mtricos, diz-se que
uma funo f : E1 E2 uma contraco se, para algum k ]0, 1[, se
tiver
(x, y E1 ) : d2 (f(x), f(y)) 6 kd1 (x, y).
(1.17)
Claramente, qualquer contraco uma funo contnua e mesmo
uniformemente contnua.
Relembre-se que se X um conjunto e x X, ento diz-se que x um
ponto fixo de uma funo f : X X se f(x) = x. Naturalmente, uma
contraco no pode ter mais do que um ponto fixo.
Teorema 1.5.1 (Teorema do ponto fixo de Banach)
Se E um espao mtrico completo no vazio e se f : E E uma
contraco, ento f tem um e um s ponto fixo.
Demonstrao: Conforme foi observado atrs, f no pode ter mais do
que um ponto fixo. O problema reside ento em mostrar que tem algum.
Sejam ento d a mtrica definida em E e k ]0, 1[ para o qual seja vlida
a condio (1.17). Tome-se x E e, para cada n Z+ , seja
nvezes
z
}|
{
xn =(f f . . . f) (x).
Por outras palavras, x0 = x e
(n Z+ ) : xn+1 = f(xn ).
(1.18)
=l
38
Espaos mtricos
pela proposio 1.4.3. Uma vez que E completo, para mostrar que a
sucesso (xn )nZ+ converge basta mostrar que se trata de uma sucesso
de Cauchy.
Facilmente se v que
(n Z+ ) : d(xn+1 , xn ) 6 kd(xn , xn1 ) 6 . . . 6 kn d(x1 , x0 )
pelo que, se n Z+ e p N,
d(xn+p , xn ) 6 d(xn+p , xn+p1 ) + d(xn+p1 , xn+p2 ) + + d(xn+1 , xn )
!
n+p1
X
6
kj d(x1 , x0 )
j=n
kn
<
d(x1 , x0 ).
1k
Ento, se m, n Z+ tem-se
kmin{m,n}
d(x1 , x0 )
d(xm , xn ) <
1k
pelo que se R+ e se se tomar p Z+ tal que
kn
(n Z+ ) : n > p =
d(x1 , x0 ) <
1k
(o que possvel pois limnZ+ kn = 0) tem-se
(m, n Z+ ) : m, n > p = d(xm , xn ) < .
Este teorema muito empregue em Anlise para demonstrar a existncia de funes com determinadas propriedades. Por exemplo, pode
ser empregue para demonstrar a existncia (e unicidade) de solues de
equaes diferenciais. Tambm empregue para demonstrar o teorema
da funo inversa.
Considere-se agora num espao mtrico E duas partes densas A e B.
Facilmente se v que A B pode no ser denso. Pode at ser vazio como,
por exemplo, no caso em que E = R (com a mtrica usual), A = Q e
B = Q{ . No entanto, se A ou B for aberto ento a interseco densa.
De facto (supondo A aberto) se x E e R+ ento, por definio,
B(x, ) A 6= . Como B(x, ) A um aberto no vazio e B denso,
B(x, ) (A B) = (B(x, ) A) B 6= ,
39
Q \ {q} =
40
Espaos mtricos
B 0 (xn , n )
nN
nN
B 0 (xn , n ) 6= . Mas
(B(xn , n ) An )
nN
!
B(x, )
An
nN
Comece-se por ver que esta definio faz sentido, i. e. que se (yn )nN
tambm for uma sucesso de elementos de X que converge para x, ento
lim f(xn ) = lim f(yn ).
nN
nN
Para tal, basta observar que se se definir a sucesso (zn )nN por
xn/2
se n for par
zn =
y(n+1)/2 se n for mpar,
ento, como (zn )nN converge para x, sabe-se que (f(zn ))nN converge.
Logo, pela proposio 1.4.3, as sub-sucesses (f(xn ))nN e (f(yn ))nN
convergem para o mesmo limite. Deduz-se da proposio 1.4.5 que,
41
42
Espaos mtricos
= (x1 , x1 , x1 , x1 , x1 , x1 , . . .)
= (x1 , x2 , x2 , x2 , x2 , x2 , . . .)
= (x1 , x2 , x3 , x3 , x3 , x3 , . . .)
= (x1 , x2 , x3 , x4 , x4 , x4 , . . .)
...
Teorema 1.5.3
^ e uma
Se E for um espao mtrico, existe um espao mtrico completo E
^ que preserva a mtrica e tal que j(E) denso em E.
^
funo j : E E
Demonstrao: Seja C o conjunto das sucesses de Cauchy em E. Em
C considera-se a pseudo-mtrica D definida por
D ((xn )nN , (yn )nN ) = lim d(xn , yn ).
nN
preciso comear por verificar que esta definio faz sentido, i. e. que
se (xn )nN e (yn )nN so sucesses de Cauchy, ento o limite
lim d(xn , yn )
nN
43
Logo
(m, n N) : |d(xn , yn ) d(xm , ym )| 6 d(xm , xn ) + d(yn , ym ).
Seja R+ . Sabe-se, visto que (xn )nN e (yn )nN so sucesses de
Cauchy, que, para algum p N, se tem
(m, n N) : m, n > p = d(xm , xn ) <
d(ym , yn ) <
2
2
Ento
(m, n N) : m, n > p = |d(xn , yn ) d(xm , ym )| < .
Agora preciso mostrar que D realmente uma pseudo-mtrica.
claro que, se (xn )nN C, ento D((xn )nN , (xn )nN ) = 0 e que se
(yn )nN for tambm um elemento de C, ento D((xn )nN , (yn )nN ) =
D((yn )nN , (xn )nN ). Finalmente, se (xn )nN , (yn )nN e (zn )nN so
trs sucesses de Cauchy de E, ento
D ((xn )nN , (zn )nN ) = lim d(xn , zn )
nN
nN
44
Espaos mtricos
1
;
n
(1.19)
uma tal sucesso existe uma vez que j(E) denso. A sucesso (zn )nN
de Cauchy pois se m, n N tem-se
D(zm , zn ) 6 D(zm , ym ) + D(ym , yn ) + D(yn , zn )
1
1
<
+ D(ym , yn ) + ,
m
n
pelo que, dado R+ , se p N for tal que
(m, n N) : m, n > p = D(ym , yn ) <
45
Proposio 1.5.5
Sejam (E1 , j1 ) e (E2 , j2 ) completamentos de um espao mtrico E. Existe
ento uma e uma s isometria : E1 E2 tal que j1 = j2 .
Demonstrao: Considere-se a funo
: j1 (E)
E2
x
j2 (j1 1 (x)).
Uma vez que j1 e j2 preservam a mtrica, tambm preserva a mtrica; em particular, uniformemente contnua. Sabe-se ento, pela
proposio 1.5.4, que existe um e um s prolongamento contnuo de a
uma funo : E1 E2 . Repare-se que a nica funo contnua de
E1 em E2 para a qual se poder ter j1 = j2 . De facto, se f : E1 E2
for uma funo contnua tal que f j1 = j2 , ou seja, se
(x E) : f(j1 (x)) = j2 (x),
ento
(x j1 (E)) : f(x) = j2 j1 1 (x) .
(1.20)
= lim d1 (xn , y)
nN
= d1 (x, y).
8
No que se segue, vai ser empregue o seguinte facto: se (E, d) um espao mtrico
e se y E, ento a funo de E em R definida por x
d(x, y) contnua. De facto, at
uniformemente contnua, uma vez que (x1 , x2 E) : |d(x1 , y) d(x2 , y)| 6 d(x1 , x2 ).
46
Espaos mtricos
Finalmente, se x, y E1 ento tome-se uma sucesso (xn )nN de elementos de j1 (E) convergente para x. Os clculos efectuados atrs permitem novamente concluir que d2 ((x), (y)) = d1 (x, y).
Para terminar a demonstrao, falta provar que bijectiva. Para
tal, seja ? : E2 E1 a nica funo que preserva a distncia e tal
que ? j2 = j1 . Ento ? uma funo de E1 em E1 que preserva a
distncia e, obviamente, ? j1 = j1 . Ora, por um lado j se sabe
que id : E1 E1 tambm tem essas propriedades e, por outro lado, j
foi visto que existe uma a uma s funo nessas condies, pelo que
? = id. Pelo mesmo argumento, ? = id, pelo que tem inversa,
ou seja, uma bijeco.
Exemplo 1.5.7 Se se considerar em Q a mtrica usual, ento o seu
completamento R. Alis, este facto pode servir de ponto de partida
para a construo dos nmeros reais a partir dos nmeros racionais.
Exemplo 1.5.8 Mais geralmente, o completamento de um sub-espao
mtrico X de um espao mtrico completo X.9
O exemplo anterior, juntamente com os nicos exemplos que foram
vistos de espaos mtricos no completos (Q e ] /2, /2[, ambos com
a mtrica usual) podem transmitir a falsa impresso de que de facto
qualquer espao mtrico est naturalmente mergulhado num espao
mtrico completo de modo que, para se obter o seu completado, basta
considerar a aderncia. Para ver que no assim, considere-se o espao mtrico obtido a partir do espao R([0, 1]) (veja-se a definio no
exemplo 1.1.6) e da pseudo-mtrica do integral. Vai-se mostrar que este
espao, que tambm ser representado por R([0, 1]), no completo.
Considere-se a sucesso (fn )nN de elementos de R([0, 1]) assim
definida: se n N, ento fn a funo
[0, 1]
x
1/ x
R
se x > 1/n2
caso contrrio.
Para se ser correcto, devia-se dizer que o par X, i , onde i : X , X a incluso,
um completamento de X. Uma observao anloga aplica-se ao exemplo anterior.
47
No entanto, esta sucesso no converge em R([0, 1]). De facto, se convergisse para uma funo f daquele espao, ento f seria limitada
(pela definio de funo integrvel segundo Riemann). Seja M um
majorante de |f|. Ento, para cada n N para o qual n > M, ter-se-ia
Z1
d(f, fn ) =
|f fn |
0
Z 1/M2
|f fn |
>
0
Z 1/n2
>
Z 1/M2
n M dx +
1/n2
1
M dx
x
1
1
M n
+ ,1 .
2 2 2 2
2 2
2 2
3. O conjunto I1 formado pela reunio disjunta de dois intervalos fechados de [0, 1]. A cada um destes intervalos subtrai-se o
intervalo aberto central de comprimento /3. Seja I2 o conjunto
restante.
48
Espaos mtricos
4. Vai-se construindo assim sucessivamente uma famlia decrescente (In )nZ+ de sub-conjuntos de [0, 1]. Cada In uma reunio
disjunta de 2n intervalos fechados de [0, 1] e In+1 obtm-se retirando a cada um destes intervalos o intervalo aberto central de
comprimento /3n .
T
5. Define-se C como sendo nZ+ In .
H uma passagem nesta definio com a qual preciso ter algum
cuidado. Para que o ponto 4. faa sentido necessrio demonstrar que
o comprimento de cada um dos 2n intervalos fechados cuja reunio
disjunta forma In maior de que /3n ; caso contrrio, no se pode falar
no intervalo aberto central de comprimento /3n . Para justificar a
passagem, repare-se que o conjunto I1 obtido retirando-se de [0, 1]
um segmento de comprimento ; logo, I1 formado por dois segmentos
de comprimento (1 )/2. Em seguida, obtm-se I2 retirando de I1
dois segmentos de comprimento /3, pelo que I2 formado por quatro
segmentos de comprimento ((1 )/2 /3)/2 = (1 2/3)/4.
Prosseguindo este tipo de clculos, v-se que cada In reunio de 2n
intervalos disjuntos de comprimento
n1
X 2 k
1
n
3
2
1
k=0
= n 1 3 1
n
2
2
3
e ento o que se quer mostrar que:
n
1
2
(n Z+ ) : n 1 3 1
> n
2
3
3
Verifica-se facilmente que esta desigualdade equivale a:
(n Z+ ) :
1 3
2
>
2n
3n
Tambm se deduz desta desigualdade que no pode ser maior do que 1/3.
49
claro que (fn )nZ+ uma sucesso de elementos de R10 ([0, 1]) e que
Z1
(n Z+ ) :
0
n
2
fn = 1 3 1
.
3
;
3
3
0
0
se a sucesso (fn )nZ+ convergir para f R10 ([0, 1]), ento
Z1
Z1
f = lim
nZ+ 0
fn = 1 3 > 0.
(1.21)
Para se mostrar que uma tal funo f no pode existir conveniente provar que o conjunto de Cantor tem interior vazio ou, o que
equivalente, que C no contm intervalos da forma ]a, b[. De facto,
se contivesse um tal intervalo ento (n Z+ ) :]a, b[ In . Mas isto
impossvel uma vez que In um sub-conjunto de [0, 1] que reunio
de 2n intervalos disjuntos com o mesmo comprimento e, se n Z+ for
suficientemente grande, b a > 1/2n .
Para terminar a demonstrao de que R10 ([0, 1]) no completo, vai-se mostrar que, se P for uma partio de [0, 1], ento (f, P) (a soma
inferior de f relativamente a P) no excede 0, o que contradiz (1.21).
Para tal, basta mostrar que se a, b [0, 1] e a < b, ento inf f([a, b]) 6 0.
Se assim no fosse, i. e. se existisse um intervalo no degenerado
[a, b] [0, 1] com inf f([a, b]) > 0, ento, uma vez que ]a, b[6 C (pois o
interior de C vazio) ]a, b[ teria de conter algum c
/ C . Pela definio
de C , haveria algum intervalo ]a 0 , b 0 [ contendo c e contido em [a, b]
tal que ]a 0 , b 0 [In = para cada n suficientemente grande, pelo que
fn (]a 0 , b 0 [) = {0} para n suficientemente grande. Para um tal n tem-se
Z b0
Z1
|f fn | >
0
pelo que
a0
Z b0
a0
Z b0
|f fn | =
a0
|f|,
Z1
|f| 6 lim
nZ+ 0
|f fn | = 0.
(1.22)
50
Espaos mtricos
Mas se inf f([a, b]) = x > 0 ento inf |f|([a 0 , b 0 ]) > x, pelo que
Z b0
a0
R
Zb
f
a
1.6
Exerccios
R2 R2
R
((x1 , x2 ), (y1 , y2 ))
max{|x1 y1 |, |x2 y2 |}
uma distncia.
3) Mostre que a funo:
d1 :
R2 R2
R
((x1 , x2 ), (y1 , y2 ))
|x1 y1 | + |x2 y2 |
uma distncia.
4) Seja C([0, 1]) o espao das funes contnuas de [0, 1] em R. Considere
a funo:
d1 : C([0, 1]) C([0, 1])
R
Z1
(f, g)
|f g|.
0
1.6 Exerccios
51
2. Caso se substitua o espao C([0, 1]) pelo espao das funes integrveis segundo Riemann de [0, 1] em R, a funo d1 continua a
ser uma distncia?
5) Seja p N um nmero primo. Neste exerccio vai-se estudar a
mtrica p-dica (ver o exemplo 1.1.4 na pgina 2). Para cada r Q \ {0},
seja vp (r) o nico inteiro tal que r se pode escrever sob a forma:
r = pvp (r)
a
b
(1.23)
Nota: Uma mtrica que satisfaz a propriedade (1.23) diz-se uma ultra-mtrica .
6) Sejam (E, d) um espao mtrico e n N. Dados x1 , x2 , . . . , xn+1 E,
mostre que se tem:
d(x1 , xn+1 ) 6
n
X
d(xk , xk+1 ).
k=1
52
Espaos mtricos
d2 : E E
(x, y)
R
d(x, y)
1 + d(x, y)
(E, d) (E, di )
x
x
1.6 Exerccios
53
uniformemente contnua.
15) Seja I um intervalo de R e seja f : I R uma funo derivvel com
derivada limitada. Mostre que f uniformemente contnua.
16) Considere a funo
f : [0, 1]
x
x2 sen
R
1
x2
se x > 0
se x = 0.
C([0, 1]) R
f
f(0)
contnua?
2. Se a mtrica d1 for substituda pela mtrica do supremo d , a
resposta pergunta da alnea anterior a mesma?
19) Considere as distncias usuais em Q e em {0, 1}. Existe alguma
funo contnua e sobrejectiva f : Q {0, 1}?
20) Seja f a funo de R em R assim definida:
se x Q, ento f(x) = 1/n, onde n o menor nmero natural tal
que nx Z;
54
Espaos mtricos
se x R \ Q, ento f(x) = 0.
x
x
uniformemente contnua.
23) Sejam E um conjunto finito e d1 e d2 duas mtricas definidas em E,
sendo d1 a mtrica discreta. Mostre que (E, d1 ) e (E, d2 ) so homeomorfos.
24) Considere em R a mtrica usual. Mostre que as funes f : R R
da forma f(x) = x + a ou f(x) = x + a, em que a R, so isometrias.
H outras isometrias?
25) Considere em C a mtrica usual. Mostre que as funes f : C C
da forma f(z) = z + ou f(z) = z + , em que , C e || = 1,
so isometrias. H outras isometrias?
26) Considere a funo:
f:
R2
(x, y)
R2
|x|+|y| (x, y) se (x, y) 6= (0, 0)
2
2
x +y
(0, 0)
1.6 Exerccios
55
1. Mostre que:
(X R2 ) : d(f(X), f(0)) = d1 (X, 0).
2. Mostre que f contnua em 0 para a mtrica usual.
3. Mostre que f : (R2 , d1 ) (R2 , d) no uma isometria.
4. H alguma isometria de (R2 , d1 ) em (R2 , d)?
27) Seja (E, d) um espao mtrico. Mostre que:
1. Se a E e r ]0, +[, se S(a, r) = { x E | d(x, a) = r } ento:
S(a, r) = B 0 (a, r) (B(a, r)){ .
2. Se a E e r ]0, +[, S(a, r) fechado.
28) Prove que em R, munido da mtrica usual, qualquer intervalo
aberto um aberto.
29) Seja a R. Mostre que, relativamente mtrica usual em R, os
intervalos ] , a] e [a, +[ so fechados.
30) Investigue se Q2 aberto ou fechado em R2 relativamente mtrica:
1. usual;
2. discreta;
3. d (definida no exerccio 2);
4. d1 (definida no exerccio 3).
31) Seja p N um primo. Para cada um dos conjuntos que se seguem,
verifique se aberto ou fechado em Q, relativamente mtrica usual e
mtrica p-dica:
1. [1, 1] Q;
2. { pn | n N };
3. { pn | n N } {0};
i h
4. 2, 2 Q.
56
Espaos mtricos
1.6 Exerccios
57
(f crescente)
(f decrescente).
ou que
Mostre que, relativamente mtrica do supremo, M(I) um fechado
de C([0, 1]) com interior vazio.
43) Para cada conjunto que se segue, calcule a aderncia no espao
mtrico (C([1, 1]), d ), sendo d a mtrica do supremo:
1. C1 ([1, 1]);
2. { f R[x] | (x [1, 1]) : f(x) = f(x) };
58
Espaos mtricos
3. Q[x].
44) Sejam p N um primo e Qp o sub-anel de Q formado pelos nmeros
racionais r que podem ser escritos como quociente de dois inteiros a e
b sendo b primo com p.
1. Mostre que Qp denso em Q relativamente mtrica usual.
2. Mostre que, relativamente mtrica p-dica, Qp = B 0 (0, 1). Deduza deste facto que Qp no denso em Q relativamente mtrica
p-dica.
3. Sendo d e dp respectivamente a mtrica usual e a mtrica p-dica
em Q, calcule as distncias d(1/p, Qp ) e dp (1/p, Qp ).
45) D um exemplo de um espao mtrico (E, d) e de uma bola aberta
B(a, r) E tais que B(a, r) 6= B 0 (a, r).
46) Seja p N um primo natural.
1. Mostre que a sucesso (pn )nN converge para 0 em Q relativamente mtrica p-dica mas diverge relativamente mtrica
usual.
2. Estude a convergncia em Q da sucesso (1/n)nN relativamente
a cada uma das mtricas mencionadas no exerccio anterior.
47) Considere em C([0, 1]) as mtricas do supremo e do integral. Estude
a convergncia da sucesso (fn )nN definida por
fn : [0, 1] R
x
xn
relativamente a cada uma delas.
48) Sejam (E1 , d1 ) e (E2 , d2 ) dois espaos mtricos e f uma funo de E1
em E2 tal que, para qualquer sucesso (xn )nN de elementos de E1 que
seja convergente, (f(xn ))nN tambm seja convergente. Mostre que f
contnua.
49) Seja f uma funo de R em R.
1. Mostre que se f for contnua, ento o seu grfico (i. e. o conjunto
{ (x, f(x)) | x R }) um fechado de R2 . Sugesto: use o corolrio 1.4.1, i. e. mostre que qualquer sucesso convergente de pontos
do grfico tem por limite um ponto do grfico.
1.6 Exerccios
59
(n N) : 2p
1 mltiplo de pn ;
60
Espaos mtricos
se x 6 1/2 1/2n
0
fn (x) = n(x 1/2) + 1/2 se |x 1/2| < 1/2n
1
se x > 1/2 + 1/2n.
1. Mostre que, relativamente mtrica d1 , a sucesso (fn )nN uma
sucesso de Cauchy.
2. Use a alnea anterior para provar que (C([0, 1]), d1 ) no um
espao mtrico completo.
3. Mostre que (C([0, 1]), d ) um espao mtrico completo.
59) Se E1 e E2 forem espaos mtricos, sendo E1 completo, e f for uma
funo uniformemente contnua de E1 em E2 , pode deduzir que f(E1 )
completo?
60) Sejam (E, d) um espao mtrico completo e f : E E uma funo
contnua e sobrejectiva. Suponha que existe um nmero K ]1, +[ tal
que, para cada x, y E, d(f(x), f(y)) > Kd(x, y). Mostre que:
1. f um homeomorfismo;
1.6 Exerccios
61
(1.24)
62
Espaos mtricos
n
X
bk wk .
k=2
1.6 Exerccios
63
i. w0 = 0;
ii. (m Z+ ) : wm+1 = c
n
X
bk wm k .
k=2
k=2 k|bk |
< Pm
Pn
k
Mostre
que
< e que se c C for tal que |c| <
k=2 |bk |
Pn
k
k=2 |bk | , ento
a) (k Z+ ) : |wk | 6 ;
b) (k N) : |wk+1 wk | 6 |wk wk1 |;
c) a sucesso (wn )nZ+ converge.
Deduza que A vizinhana de 0.
3. Deduza das alneas anteriores que se z C for tal que p 0 (z) 6= 0,
ento A vizinhana de p(z) e empregue este facto para mostrar
que A um aberto de C.
64) Sejam f uma funo de R em R tal que, para cada a R, exista
algum R+ tal que f(]a , a + [) seja limitado. Para cada a R,
define-se a oscilao de f no ponto a por:
oscf (a) = inf diam(f(]a , a + [)).
>0
64
Espaos mtricos
1.6 Exerccios
65
1
an Xn
n=1
X
X
X
n
n
an X
+
bn X
=
(an + bn )Xn .
n=1
n=1
n=1
G[[X]],
ento
assim definida: se
n=1 n
!
X
X
d
an Xn ,
an Xn = 0
n=1
n=1
P
P
n
n
e se
n=1 an X e
n=1 bn X forem dois elementos distintos de G[[X]],
ento
!
X
X
d
an Xn ,
an Xn = 2 min{nN:an 6=bn } .
n=1
n=1
66
Espaos mtricos
n
X
ak
k=1
3k
3k
X
ak
k=1
3k
(1.25)
Captulo 2
Espaos topolgicos
2.1
Definies e motivao
jJ
Aj T;
3. se
T (Aj )jJ for uma famlia de elementos de T e se J for finito, ento
jJ Aj T.
Um espao topolgico um par ordenado (E, T), sendo E um conjunto
e T uma topologia em E.
Sabe-se, pelo teorema 1.3.1, que o conjunto dos abertos de um espao
mtrico E uma topologia em E. No entanto, h topologias que no so
provenientes de uma mtrica. Considere-se, por exemplo, o conjunto
E = {0, 1}. Se d : E E R+ for uma mtrica, ento a topologia T dos
abertos de (E, d) T = {, {0}, {1}, E}. De facto, e E so abertos pois em
qualquer espao mtrico e o espao todo so abertos e, alm disso,
o conjunto {0} igual bola B(0, d(0, 1));
o conjunto {1} igual bola B(1, d(1, 0)).
67
68
Espaos topolgicos
xA
69
[1, 1]
x/(1 + |x|) se x R
1
se x =
^ por
e definir uma mtrica d em R
^ R
^
d: R
R+
(x, y)
|f(x) f(y)|.
(2.1)
70
Espaos topolgicos
R
x
1 + x2 + 1
Mas precisamente o facto de haver muitas escolhas possveis, nenhuma das quais melhor do que as outras, que torna mais natural
trabalhar com a topologia T do que com a mtrica d.
Exemplo 2.1.2 Seja X um conjunto e seja F(X) o conjunto das funes
de X em C. J se viu uma maneira natural de se definir uma mtrica
no sub-espao Fl (X) formado pelas funes limitadas: a mtrica do supremo, definida por d (f, g) = sup |f g|. Naturalmente, esta definio
no vlida em F(X), pois poder-se-ia ter d (f, g) = + em certos
casos. Este problema poderia ser contornado generalizando o conceito
de distncia de modo a incluir distncias infinitas. Alternativamente,
poder-se-ia definir d(f, g) = min{sup |f g|, 1}. Ento d e d so mtricas equivalentes em Fl (X) e a d uma mtrica em F(X). Mas mais
natural observar que a topologia T induzida em Fl pela mtrica d
tal que A T se e s se
(f A)(r R+ )(g Fl (X)) : sup |g f| < r = g A
e definir ento uma topologia T em F(X) do seguinte modo: A T se e
s se
(f A)(r R+ )(g F(X)) : sup |g f| < r = g A.
Esta topologia designa-se por topologia da convergncia uniforme.
Por outro lado, h muitos exemplos de topologias interessantes no
metrizveis.
Exemplo 2.1.3 Se X R, diz-se que uma funo f : X R semi-contnua superiormente num ponto a X se
( R+ )( R+ )(x X) : |x a| < = f(x) < f(a) + .
2.2 Generalidades
71
A funo
R R
x
[x]
embora descontnua semi-contnua superiormente. Se se definir
em R a topologia T = {, R} { ] , a[ | a R }, ento, como ser visto
(exemplo 2.2.15), as funes semi-contnuas superiormente so aquelas
que so contnuas se se considerar em X( R) a topologia usual e em
R a topologia T.
Exemplo 2.1.4 Se a Z e b N, seja Pa,b = { a + bn | n Z }. Seja
T = {} {reunies de conjuntos da forma Pa,b (a Z, b N)} .
Ento T uma topologia. Isto resulta do facto de a interseco de dois
conjuntos da forma Pa,b ser ou vazia ou outro conjunto do mesmo tipo.1
Acontece que cada conjunto Pa,b (a Z e b N) tambm um
fechado de (Z, T), pois se b = 1, ento Pa,b = Z e, caso contrrio,
Pa,b =
b1
[
Pa+k,b .
k=1
2.2
2.2.1
Generalidades
Topologias
72
Espaos topolgicos
topologia grosseira: trata-se da topologia T = {, E}; por outras palavras, trata-se da topologia para a qual os nicos abertos de E so
E e o conjunto vazio. Se E tiver mais do que um ponto, o espao
topolgico (E, T) no metrizvel, mas a topologia grosseira a
que se obtm se se considerar em E a pseudo-mtrica grosseira.
Sempre que se falar em topologia grosseira estar implcito que E
tem pelo menos dois pontos.
Definio 2.2.1 Se (E, T1 ) e (E, T2 ) forem espaos topolgicos, diz-se
que a topologia T1 mais fina (respectivamente menos fina) do que a
topologia T2 se T1 T2 (resp. T1 T2 ).
claro que a topologia grosseira (respectivamente discreta) a
menos (resp. mais) fina que pode ser definida num conjunto.
Definio 2.2.2 Se T for uma topologia e B T, diz-se ento que B
uma base da topologia T se qualquer elemento de T pode ser escrito
como reunio de elementos de B.
Exemplo 2.2.1 Em R, uma base da topologia usual o conjunto dos
intervalos abertos do tipo ]a, b[ (com a, b R e a < b), uma vez que
qualquer aberto pode ser escrito como reunio de intervalos abertos
deste tipo. Mais geralmente, num espao mtrico qualquer o conjunto
das bolas abertas uma base da topologia.
Exemplo 2.2.2 A topologia usual em R tambm admite como base o
conjunto dos intervalos abertos da forma ]r1 , r2 [ com r1 , r2 Q.
Exemplo 2.2.3 Num conjunto E, { {x} | x E } uma base da topologia
discreta.
Quer-se agora definir a noo de sub-espao topolgico de um espao
topolgico. Para tal, veja-se que se (X, d) for um espao mtrico e Y for
um sub-espao mtrico de X ento
1. se A for um aberto de X, A Y um aberto de Y, como se pode
deduzir das definies ou observando que A Y = j1 (Y), sendo
j : Y X a incluso de Y em X;
2. se A um for aberto de Y, ento existe, para cada a A, algum
a R+ tal que a bola (em Y) de centro a e raio a est contida
em Y, pelo que em X se tem
!
[
A=Y
B(a, a ) ;
aA
2.2 Generalidades
73
A(= A R) T.
74
2.2.2
Espaos topolgicos
Vizinhanas
pelo que A =
xA
xA
Ax ; em particular, A aberto.
2.2 Generalidades
75
nN
Este conjunto foi definido na pgina 47. Conforme foi a referido, a expresso
conjunto de Cantor designa o conjunto C1/3 , embora a demonstrao de que
perfeito se aplique a qualquer C .
76
Espaos topolgicos
2.2 Generalidades
77
(2.2)
78
Espaos topolgicos
2.2 Generalidades
2.2.3
79
Funes contnuas
80
Espaos topolgicos
2.2 Generalidades
81
82
Espaos topolgicos
Exemplo 2.2.17 Considere-se, por exemplo, a funo f de R na circunferncia unitria S1 assim definida (veja-se a figura 2.1): se x R,
(0,1)
f(x)
(x,0)
2.2 Generalidades
83
Proposio 2.2.6
Sejam X um conjunto, Y e Z espaos topolgicos, f uma funo de X em
Y e g uma funo de Z em X. Se se considerar em X a topologia inicial
relativamente funo f, so condies equivalentes:
1. a funo g contnua;
2. a funo f g contnua.
Demonstrao: Visto que f contnua, claro que se g for contnua
ento f g tambm contnua. Reciprocamente, suponha-se que f g
contnua. Se A for um aberto de X, quer-se ento provar que g1 (A)
um aberto de Z. Afirmar que A um aberto de X o mesmo que
afirmar que A = f1 (A 0 ) para algum aberto A 0 de Y. Logo
g1 (A) = g1 f1 (A 0 ) = (f g)1 (A 0 ),
que um aberto de Z.
Exemplo 2.2.18 Considere-se a funo
: R
x
tan(x)
R
se x
/
caso contrrio.
+ Z
Vejamos que contnua se se considerar em R a topologia do exemplo 2.2.17 (e em R a topologia usual). Pela proposio anterior,
contnua se e s se f for uma funo contnua de R em S1 . Mas,
para cada x R,
2 tan(x) , tan2 (x)1
se x
/ 2 + Z
tan2 (x)+1 tan2 (x)+1
f((x)) =
(0, 1)
se x 2 + Z
(sen(2x), cos(2x)) se x
/ 2 + Z
=
(0, 1)
se x 2 + Z
= (sen(2x), cos(2x)),
pelo que f obviamente contnua.
Naturalmente, se se considerar agora um espao topolgico X, um
conjunto Y e uma funo f : X Y, levanta-se a questo anloga de
saber qual a topologia mais fina que torna contnua a funo f. Claramente, trata-se daquela que surge na prxima definio.
84
Espaos topolgicos
x + y2 + z 2
Esta funo est bem definida, i. e. f(r) depende unicamente da recta
r e no do ponto (x, y, z) escolhido, pois se (a, b, c) for outro ponto de
r \ {(0, 0, 0)}, ento (a, b, c) = (x, y, z) para algum R \ {0} pelo que
ab + bc + ca
2 (xy + yz + zx)
xy + yz + zx
=
= 2
2
2
2
2
2
2
2
a +b +c
(x + y + z )
x + y2 + z 2
A funo f ento uma funo contnua, pois f a funo
R3 \ {0}
(x, y, z)
R
xy + yz + zx
x2 + y2 + z2
2.2 Generalidades
2.2.4
85
Aderncia e interior
86
Espaos topolgicos
a f1 (V){
z }|
{
a f1 (V) (por (1.6)),
ou seja, f1 (V) uma vizinhana de a.
Corolrio 2.2.1
Sejam E1 e E2 espaos topolgicos e f uma funo de E1 em E2 . So
ento condies equivalentes:
1. a funo f contnua;
2.2 Generalidades
87
2. se X E1 , ento f X f(X).
Demonstrao: Pela proposio anterior, f contnua se e s se
(a E1 )(X E1 ) : a X = f(a) f(X).
Trocando estes dois quantificadores obtm-se a segunda condio do
enunciado.
Definio 2.2.13 Se E um espao topolgico e X E, designa-se por
fronteira de X e representa-se por Fr(X) o conjunto X X{ .
H trs consequncias imediatas desta definio:
1. o conjunto Fr(X) fechado, pois , por definio, a interseco de
dois fechados;
2. Fr(X) = Fr(X{ );
3. resulta da relao (1.6) que Fr(X) tambm se poderia definir por
X \ X.
Exemplo 2.2.20 Em R2 a fronteira de um disco aberto B(a, r) a circunferncia
def.
S(a, r) = x R2 kx ak = r .
De facto, se x S(a, r) e se t R+ (veja-se a figura 2.2), ento
kx (a + t(x a)) k = |1 t|.kx ak = |1 t|.r,
pelo que, fixado R+ , tem-se que a + t(x a) B(x, ) se e s
se t ]1 /r, 1 + /r[. Mas ento B(x, ) intersecta B(a, r) (pois x +
t(a x) B(a, r) B(x, ) se t ]1 r/, 1[) e intersecta B(a, r){ (pois
o prprio x pertence a ambos os conjuntos). Est ento provado que
S(a, r) Fr(B(a, r)). Reciprocamente, se x
/ S(a, r) ento x B(a, r)
0
{
ou x B (a, r) . Mas se x B(a, r) ento, como B(a, r) aberto e no
intersecta B(a, r){ , x
/ B(a, r){ . Analogamente, se x B 0 (a, r){ ento
x
/ B(a, r). Consequentemente, x
/ Fr(B(a, r)).
No se deve pensar que, em qualquer espao mtrico, a fronteira de
uma bola aberta B(a, r) seja { x E | d(x, a) = r }. Basta ver que, num
espao mtrico discreto E, a fronteira de qualquer conjunto vazia, mas
se a E, ento { x E | d(x, a) = 1 } = E \ {a}.
Tal como no caso das definies de aderncia e de interior, a definio
de conjunto denso, que foi feita na pgina 19, no necessita de qualquer
alterao no contexto dos espaos topolgicos.
88
Espaos topolgicos
R2
P2 (R)
(x, y)
(x, y, 1),
2.2.5
Sucesses
2.2 Generalidades
89
f(x, y)
f
(x, y)
(x, y, 1)
(0, 0, 0)
90
Espaos topolgicos
Como se pode ver pelo exemplo 2.2.24, no verdade que num espao topolgico E qualquer sucesso convergente tem um e um s limite,
embora este resultado permanea vlido se se supuser que E separado.
De facto, se l E for limite de uma sucesso (xn )nN e se l 0 E \ {l},
ento existem vizinhanas V e V 0 de l e de l 0 respectivamente que no
se intersectam. Por definio de sucesso convergente, tem-se xn V
para n suficientemente grande, pelo que s se pode ter xn V 0 num
nmero finito de casos. Logo, l 0 no limite de (xn )nN . Mas continua
a ser verdade que se uma sucesso de elementos de um espao topolgico converge e se l limite da sucesso, ento l tambm limite de
qualquer sub-sucesso da sucesso dada.
Quanto s proposies 1.4.4 e 1.4.5 e ao corolrio 1.4.1, nenhum
destes resultados vlido em geral em espaos topolgicos, embora sejam vlidos em espaos topolgicos 1-numerveis. Na demonstrao da
prxima proposio ser visto como se usa esta hiptese. necessrio
comear por introduzir um novo conceito.
Definio 2.2.16 Sejam E um espao topolgico e (xn )nN uma sucesso de elementos de E. Para cada n N, seja Fn = { xm | m > n }. Se
x E, diz-se que x um ponto aderente de (xn )nN se
x
Fn .
nN
2.2 Generalidades
91
k
\
Vj .
j=1
Vai-se mostrar que (xnk )kN converge para x. Para tal, fixe-se uma
vizinhana V de x; quer-se mostrar que existe algum p N tal que
xnk V quando k > p. Visto que (Vn )nN um sistema fundamental
de vizinhanas de x, existe algum p N tal que Vp V. Logo
k > p = xnk
k
\
Vj Vp V.
j=1
Como foi observado antes do enunciado da proposio, esta demonstrao permite ver como se emprega a hiptese da 1-numerabilidade se
se pretender demonstrar as proposies 1.4.4 e 1.4.5 e o corolrio 1.4.1
no mbito dos espaos topolgicos 1-numerveis. Repare-se que aqueles
resultados permanecem em parte vlidos mesmo sem se supor essa
hiptese.
Exemplo 2.2.26 Se E1 e E2 so espaos topolgicos, a E1 , (an )nN
uma sucesso de elementos de E1 da qual a limite e f : E1 E2
92
Espaos topolgicos
2.2.6
R+
x
y
.
1 |x| 1 |y|
R
x
1 |x|
2.2 Generalidades
93
X
1
1
n
.
max
d(x, y) = |x y| +
2 inf 1, max
j6n |x qj |
j6n |y qj |
n=1
conveniente neste contexto redefinir o conceito de completamento.
Definio 2.2.18 Se (E, T) for um espao topolgico metrizvel, um
completamento de E um completamento de (E, d), onde d uma mtrica da qual a topologia T seja proveniente.
94
Espaos topolgicos
f : R R
x
x,
^
f : R R
x
x,
95
2.3
96
Espaos topolgicos
A1,j A2,j ,
jJ
jJ
jJ
jJ
jJ
97
:
j
iI E
Q
Qi Ej seja contnua, preciso que a
topologia de iI Ei contenha iI Ai onde
A se i = j
Ai =
Ei caso contrrio.
Q
Como a topologia de iI Ei vai ter que ser estvel para interseces
fiQ
nitas, ento basta definir B como sendo o conjunto dos produtos iI Ai
onde cada Ai um aberto de Ei e, alm disso, tem-se Ai = Ei excepto
num nmero finito de casos.
Definio 2.3.1 Se (Ei )iI for uma famlia
Q de espaos topolgicos, define-se a topologia produto no conjunto iI Ei como
sendo a topologia
Q
formada pelas reunies de conjuntos da forma iI Ai onde
1. cada Ai um aberto de Ei ;
98
Espaos topolgicos
se i I, Ai um aberto de Ei ;
se i I \ F, ento Ai = Ei .
Para cada i F existe algum pi N tal que
(n N) : n > pi = i (ln ) Ai ,
pois Ai uma vizinhana de i (ln ). Logo, se definir p N por p =
max { pi | i F }, ento
(i I)(n N) : n > p = i (xn ) Ai ,
ou seja
(n N) : n > p = xn
Y
iI
Ai A V.
99
2.4
Espaos conexos
metrizvel.
xX x
100
Espaos topolgicos
Exemplo 2.4.2 Os sub-espaos topolgicos conexos de R (relativamente topologia usual) so os intervalos.6 De facto, seja I um intervalo
no vazio de R e seja A I uma parte no vazia de I que seja simultaneamente aberta e fechada em I; vai-se mostrar que A = I. Fixe-se
a A e seja b I; quer-se provar que b A. Vai-se supor que a < b;
o caso em que a > b anlogo. Seja s = sup A [a, b]; visto que A
um fechado de I e [a, b] I, A [a, b] um fechado de [a, b], pelo que
s A [a, b] e, em particular, s A. Se se tivesse s < b, ento ter-se-ia
s = inf (I \ A) [s, b]; como I \ A um fechado de I, (I \ A) [s, b] um
fechado de [s, b], pelo que s (I \ A) [s, b] e, em particular, s I \ A, o
que absurdo. Logo, s = b e, visto que s A, b A.
Reciprocamente, se A R no for um intervalo, ento existem a1 e
a2 em A e existe algum x R\A tais que a1 < x < a2 . Logo, A], x[
um aberto de A que no vazio (pois contm a1 ) nem igual a A (pois
no contm a2 ). Consequentemente, A desconexo.
importante observar que a noo de sub-espao conexo absoluta
e no relativa.
A fim de demonstrar resultados relativos a espaos topolgicos conexos, conveniente dispor-se do seguinte resultado:
Lema 2.4.1
Considere-se em {0, 1} a topologia usual. Um espao topolgico E conexo
se e s se nenhuma funo contnua de E em {0, 1} for sobrejectiva.
Demonstrao: Se existir uma funo f : E {0, 1} contnua e sobrejectiva, ento o conjunto f1 ({0}) aberto (pois {0} um aberto de {0, 1}),
fechado (pois {0} um fechado de {0, 1}), distinto de E (pois afirmar que
f1 ({0}) = E afirmar que f toma sempre o valor 0) e distinto de (pois
afirmar que f1 ({0}) = E afirmar que f toma sempre o valor 1).
Reciprocamente, se E for desconexo ento seja A uma parte de E
simultaneamente aberta, fechada, distinta de E e distinta de . Ento
a funo
E
{0, 1}
0 se x A
x
1 caso contrrio
contnua e sobrejectiva.
6
101
Proposio 2.4.1
Sejam E1 e E2 espaos topolgicos e f : E1 E2 uma funo contnua.
Se E1 for conexo, ento f(E1 ) um sub-espao conexo de E2 .
Demonstrao: Se g : f(E1 ) {0, 1} for uma funo contnua, quer-se
mostrar que no sobrejectiva. Para tal, basta ver que se g fosse
sobrejectiva ento g f tambm o seria, pelo que E1 seria desconexo.
Veja-se que esta proposio uma generalizao do teorema dos
valores intermdios. De facto, este teorema pode ser enunciado do
seguinte modo: se I um intervalo de R e f : I R uma funo
contnua, ento f(I) um intervalo de R. Mas, pelo exemplo 2.4.2, os
intervalos de R so os sub-espaos conexos de R.
Exemplo 2.4.3 A circunferncia unitria S1 conexa pois funo
R
R2
x
(cos(x), sen(x))
contnua e, como R conexo, a imagem de f (que S1 ) conexa.
Proposio 2.4.2
Sejam E um espao topolgico e B, C E. Se C for um sub-espao
topolgico conexo de E e se C B C, ento B conexo.
Demonstrao: Para se demonstrar esta proposio, vai-se aplicar o
corolrio 2.2.1 ao sub-espao topolgico B de E e ao conjunto C B.
Veja-se que, em B, C = B. De facto, se F for um fechado de B que
contm C, ento F = F B para algum fechado F de E. Mas, uma
vez que F um fechado de E e que C F F , C F ; em particular,
B F , pelo que, em B, o nico fechado que contm C B, i. e. em B
tem-se C = B.
Se f : B {0, 1} for contnua, ento, pelo corolrio 2.2.1,
(2.3)
f(B) = f C f(C).
Mas, uma vez que C conexo, f(C) = {0} ou f(C) = {1}. Em qualquer
dos casos f(C) um conjunto formado por um nico ponto. Deduz-se
ento de (2.3) que f no sobrejectiva.
Proposio 2.4.3
Sejam E um espao
uma famlia de sub-espaos
T topolgico e (C )S
conexos de E. Se C 6= , ento C um sub-espao conexo
de E.
102
Espaos topolgicos
S
Demonstrao:
Seja f : C {0, 1} uma funo contnua e seja
T
a C . Ento, para cada , f(C ) = {f(a)}, pois C conexo.
Como isto acontece para cada ,
!
[
f
C = {f(a)}.
Isto mostra que, por exemplo, o conjunto dos pontos do plano que
se situam em alguma recta que passa pela origem e por algum outro
ponto com ambas as coordenadas inteiras forma um sub-espao conexo
de R2 , pois cada uma daquelas rectas conexa (por ser homeomorfa
a R) e a origem pertence interseco.
Teorema 2.4.1
Seja
Q (Ei )iI uma famlia de espaos topolgicos no vazios. Ento
iI Ei conexo se e s se cada Ei for conexo.
Q
Demonstrao:
Se
iI Ei for conexo e se j I, ento, uma vez que a
Q
projeco j :
iI Ei Ej contnua e sobrejectiva, Ej conexo, pela
proposio 2.4.1.
Q
Reciprocamente, se cada Ei for conexo, seja f :
iI Ei {0, 1} uma
funo contnua. Quer-se mostrar que f constante. Fixe-se (ai )iI
Q
iI Ei .
Q
Para cada j I, considere-se a funo j : Ej iI Ei assim definida: se a Ej , ento j (a) = (xi )iI , onde xj = a e, se i I \ {j},
xi = ai . Ento f j : Ej {0, 1} uma funo contnua. Como Ej
conexo, trata-se de uma funo constante e toma ento sempre o valor
f(j (aj )) = f ((ai )iI ). Logo, se (xi )iI diferir de (ai )iI num nico ndice
tem-se f ((xi )iI ) = f ((ai )iI ).
Q
Seja D o conjunto dos elementos (xi )iI iI Ei tais que xi = ai
excepto eventualmente num nmero finito de pontos. A partir do que
foi visto atrs
que f|D constante. Mas D
Q
Q pode-se mostrar por induo
denso em iI Ei , pois se (yi )iI iI EQ
i e V vizinhana de (yi )iI ,
ento V contm algum aberto da forma iI Ai onde cada Ai um
aberto de Ei que contm yi e existe algum conjunto finito F I tal que
Ai = Ei se i I \ F. Mas ento se definir (xi )iI por
yi se i F
xi =
ai caso contrrio,
ento (xi )iI D
Q
iI
Ai D V.
103
Finalmente, como f contnua e f|D constante, decorre do corolrio 2.2.1 que f|D constante, ou seja, que f constante.
Exemplo 2.4.4 Por exemplo, considere-se o plano projectivo P2 (R) e a
funo
f : R2
P2 (R)
(x, y)
(x, y, 1).
Como R2 conexo (pois, conforme foi visto no exemplo 2.3.1, a topologia
usual em R2 coincide com a topologia produto) e a funo f contnua,
f(R2 ) um sub-espao conexo de P2 (R), pela proposio 2.4.1. Uma vez
que foi visto no exemplo 2.2.21 que f(R2 ) uma parte densa de P2 (R),
deduz-se da proposio 2.4.2 que o plano projectivo conexo.
No incio desta seco, na pgina 99, foi dito que a ideia subjacente
ao conceito de espao topolgico conexo que o espao est todo num
s bocado. Vai-se agora formalizar o que se entende aqui por bocado.
Definio 2.4.2 Se E um espao topolgico e x E, a componente
conexa de x a reunio de todas as partes conexas de E que contm x.
Exemplo 2.4.5 Num espao topolgico conexo, a componente conexa
de qualquer ponto o espao todo.
Exemplo 2.4.6 Se se considerar em R \ Z a topologia usual, ento a
componente conexa de 1/2 o intervalo ]0, 1[. De facto, um sub-espao
conexo de R \ Z que contenha 1/2 s pode ser um intervalo contido em
]0, 1[ que contenha 1/2. A reunio de todos estes intervalos ]0, 1[.
Deduz-se da proposio 2.4.3 que a componente conexa de um ponto
um conexo e deduz-se da proposio 2.4.2 que um fechado.
Definio 2.4.3 Diz-se que um espao topolgico E totalmente desconexo se tiver mais do que um ponto e se a componente conexa de cada
x E for o conjunto {x}.
Exemplo 2.4.7 Qualquer espao topolgico discreto com mais do que
um ponto totalmente desconexo.
Exemplo 2.4.8 Um sub-espao de R com mais do que um ponto
totalmente desconexo se e s no contiver intervalos com mais do que
um ponto. Em particular, Q e R \ Q so totalmente desconexos. Alm
disso, foi visto na pgina 49 que o conjunto de Cantor no contm
intervalos com mais do que um ponto, pelo que tambm totalmente
desconexo.
104
Espaos topolgicos
def.
f1 (2t)
E
se t 6 1/2
f2 (2t 1)
caso contrrio
105
Proposio 2.4.4
Qualquer espao topolgico conexo por arcos conexo.
Demonstrao: Seja E o espao topolgico em questo, que se pode
supor no vazio. Fixe-se p E e seja, para cada q E, q um caminho
que una o ponto p ao ponto q. Ento E a reunio dos traos de todos
os q , os quais so conexos, pela proposio 2.4.1. Alm disso, o ponto p
pertence ao trao de todos os caminhos q , pelo que E conexo, pela
proposio 2.4.3.
Foi visto no exemplo 2.4.4 que o plano projectivo conexo. Pode-se
chegar mesma concluso mostrando que R3 \ {0} conexo por arcos e, consequentemente, conexo. Em seguida basta observar que a
funo : R3 \ {0} P2 (R) contnua e sobrejectiva e aplicar a proposio 2.4.1.
2.5
2.5.1
Espaos compactos
Caso geral
106
Espaos topolgicos
Afirmar que [a, b] compacto afirmar que b S. Para se ver que isso
verdade comece-se por ver que, visto que a Aj , para algum j I,
e que Aj um aberto de [a, b], Aj contm algum intervalo [a, x], com
a < x 6 b e, pela definio de S, [a, x[ S. Em particular, S no vazio
e, como S majorado por b, faz sentido considerar o nmero s = sup S.
A fim de demonstrar que b S, vai-se provar que
107
1. s S;
2. b = s.
Para demonstrar que s S, veja-se que s Aj0 , para algum j0 I.
Seja x Aj0 tal que x < s. Como s = sup S, existe algum y S tal que
x 6 y 6 s. Pela definio de S, existem j1 , j2 , . . . , jn I tais que
[a, y]
n
[
Ajk ,
k=1
pelo que
[a, s] = [a, y] [y, s]
n
[
k=1
!
Ajk
Aj0 =
n
[
Ajk .
(2.4)
k=0
108
Espaos topolgicos
uma cobertura
aberta de E. Logo, existem r1 , . . . , rn R+ tais
Sn
que E k=1 B(x, rk ) E pelo que, se r = max { rk | k {1, 2, . . . , n} },
E B(x, r).
Observe-se que a noo de sub-espao compacto absoluta e no
relativa. Por outro lado, se E um espao topolgico, K um sub-espao
de E e (Aj )jI uma cobertura aberta de E, ento cada
S Aj da forma
Uj K onde Uj um aberto de E. Tem-se ento K jI Uj e, se
S F I,
ento (Aj )jF uma sub-cobertura de (Aj )jI se e s se K jI Uj .
V-se ento que o sub-espao K compacto se e s se, dada uma famlia
(Uj )jI de abertos de E cuja reunio contenha K, existe uma sub-famlia
finita com a mesma propriedade.
Se E um espao topolgico e K E, frequente empregar a expresso K um compacto de E para dizer que o sub-espao K compacto.
Proposio 2.5.1
Se F for um fechado de um espao topolgico compacto K, ento F
compacto.
Demonstrao: Seja (Aj )jI uma
S famlia de abertos de K cuja reunio
contenha F. Ento K = F{ jI Aj . Como F{ um aberto de K bem
como cada Aj (j I), o conjunto F{ { Aj | j I } uma cobertura
aberta de K. Uma vezSque K compacto, existe
S alguma parte finita
{
de I tal que K = F j Aj e, portanto, F j Aj .
Conforme j foi observado na pgina precedente, um sub-espao K
de um espao topolgico E pode ser compacto mesmo sem que K seja
um fechado de E. No entanto, a prxima proposio mostra que isto s
pode ter lugar se E no for separado.
Proposio 2.5.2
Sejam E um espao topolgico separado e K um compacto de E. Ento K
um fechado de E.
Demonstrao: Vai-se mostrar que K{ um aberto de E. Seja ento
x K{ . Como E separado, para cada k K existem vizinhanas Vk
e Uk de k e de x respectivamente tais que Vk Uk = . Para cada
k K, Vk contm um aberto Ak que contm k. Mas ento (Ak )kK
uma famlia de abertos de E que
S contm K, pelo que existeSalgum
conjunto finito T
F K tal que K kF Ak . Mas por um lado kF Ak
no intersecta kF Vk e, por outro lado, este ltimo conjunto uma
vizinhana de x. Em particular, existe uma vizinhana de x que no
intersecta K, pelo que K{ vizinhana de x. Como isto tem lugar para
cada x K{ , este conjunto aberto.
109
Proposio 2.5.3
Sejam E1 e E2 espaos topolgicos, f : E1 E2 uma funo contnua e
K um sub-espao compacto de E1 . Ento f(K) um sub-espao compacto
de E2 .
Demonstrao: Seja (Aj )jI uma cobertura aberta de f(K). A famlia
(f1 (Aj ))jI ento uma cobertura
S aberta de K, pelo que, para
S algum
sub-conjunto finito F de I, K jF f1 (Aj ), ou seja, f(K) jF Aj .
Corolrio 2.5.1
Sejam E1 e E2 espaos topolgicos e f : E1 E2 uma bijeco contnua.
Se E1 for compacto e E2 for separado, ento f um homeomorfismo.
Demonstrao: Para mostrar que f um homeomorfismo basta mostrar
que f1 contnua e isto equivale, pelo teorema 2.2.2, a mostrar que
se F um fechado de E1 ento f(F) um fechado de E2 . Mas se F um
fechado de E1 ento F compacto, pela proposio 2.5.1. Logo, f(F) um
compacto, pela proposio anterior. Deduz-se ento da proposio 2.5.2
que f(F) um fechado.
Corolrio 2.5.2
Se K for um espao topolgico compacto e f : K C for contnua, ento
f limitada. Alm disso, se f for uma funo real, ento tem mximo e
mnimo.
Demonstrao: Pela proposio 2.5.3 a imagem de f compacta; logo
fechada e limitada. Caso a imagem de f esteja contida em R ento,
sendo limitada, tem supremo e nfimo (em R). Como o supremo e o
nfimo de f so limites de sucesses de elementos da imagem de f e
esta fechada, o supremo e o nfimo pertencem imagem, i. e. f tem
mximo e mnimo.
Seja I um intervalo fechado e limitado de R. Obviamente, o corolrio
anterior uma generalizao do teorema que afirma que se f : I R
uma funo contnua, ento f tem mximo e mnimo, que j foi empregue duas vezes (no exemplo 1.3.7 e na demonstrao do teorema da
aproximao de Weierstrass).
Proposio 2.5.4
Se K for um espao topolgico, so condies equivalentes:
1. K compacto;
110
Espaos topolgicos
2. se F for uma famlia de partes no vazias de K tal que a interseco de qualquer nmero finito de elementos de F contm algum
elemento de F, ento existe algum ponto de K que adere a todos os
elementos de F.
Demonstrao: Verifica-se facilmente que cada uma das condies
abaixo enunciadas equivale seguinte:
1. o espao topolgico K compacto;
2. se A for uma famlia de abertos de K cuja reunio igual a K,
ento existe uma parte finita de A com a mesma propriedade;
3. se A for uma famlia de abertos de K estvel para reunies finitas
e cuja reunio igual a K, ento existe uma parte finita de A com
a mesma propriedade;
4. se F for uma famlia de fechados de K estvel para interseces
finitas e cuja interseco vazia, ento existe uma parte finita de
A com a mesma propriedade;
5. se F for uma famlia de fechados no vazios de K que estvel para
interseces finitas, ento a interseco de todos os elementos de
F no vazia;
6. se F for uma famlia de partes no vazias de K que estvel para
a interseces finitas, ento existe algum ponto de K que adere a
todos os elementos de F;
7. se F for uma famlia de partes no vazias de K tal que a interseco de qualquer nmero finito de elementos de F contm algum
elemento de F, ento existe algum ponto de K que adere a todos
os elementos de F.
Como estas condies so equivalentes, ento, em particular, a
ltima condio equivale primeira.
Vejamos um exemplo de uma famlia F que satisfaz a condio da
proposio anterior. Seja E um espao topolgico, seja K E, seja x K
e seja F = { V K | V vizinhana de x }. Ento
/ F (pois, uma vez
que x K, todas as vizinhanas de x intersectam K) e a interseco de
qualquer nmero finito de elementos de F novamente um elemento
de F (pois a interseco de um nmero finito de vizinhanas de x
novamente uma vizinhana de x) e, em particular, contm um elemento
111
0
x
2x 2n
2n + 2 2x
R
se x
/ [n, n + 1]
se x ]n, n + 1/2]
se x [n + 1/2, n + 1[
112
Espaos topolgicos
1
n+1
2.5.2
113
114
Espaos topolgicos
115
j (Fi ) j
i=1
n
\
!
Fi
j (F).
i=1
Logo, pela proposio 2.5.4, existe algum aj Ej que adere a todos os elementos de Fj . Vai-se provar que (ai )iI adere a todos os elementos de F.
Isto o mesmo que dizer que qualquer aberto de E que contenha (ai )iI
intersecta todos os elementos de F e esta afirmao equivale, como
j foi visto, a afirmar que qualquer aberto de E que contenha (ai )iI
pertence a F. Seja ento A um aberto
Q de E que contenha (ai )iI . Pela
definio da topologia de E, A = iI Ai , onde, para cada i I, Ai
um aberto de EI e, alm disso, existe uma parte finitaQJ de I tal que,
para cada i I \ J, Ai = Ei . Se, para cada j J, A(j) = iI Ai , com
(i I) : Ai =
Ei
se i 6= j
Aj
caso contrrio,
116
Espaos topolgicos
(2.5)
jJ
117
2.5.3
Vai ser demonstrado para espaos mtricos um teorema que generaliza o facto de as partes compactas de Rn so aquelas que so fechadas
e limitadas.
Definio 2.5.4 Diz-se que um sub-conjunto A de um espao mtrico
totalmente limitado se, para cada R+ , A estiver contido na reunio
de um nmero finito de bolas abertas B(a, ) (a A). Diz-se que um
espao mtrico totalmente limitado se for um sub-conjunto totalmente
limitado de si prprio.
imediato que o conceito de conjunto totalmente limitado absoluto e no relativo, pois na definio s intervm os pontos de A.
Por outro lado se, na definio de conjunto totalmente limitado, se
tivessem considerado bolas centradas em pontos do espao todo (que
ser designado por E), obtinha-se uma definio equivalente. claro
que se um conjunto A estiver, para cada R+ , contido na reunio
de um nmero finito de bolas abertas de raio centradas em pontos
de A ento, por maioria de razo, o mesmo acontece com bolas abertas
centradas em pontos de E. Reciprocamente, seja A E tal que, para
cada R+ , A esteja contido na reunio de um nmero finito de
bolas abertas de raio ; quer-se mostrar que possvel tomar tais bolas
centradas em pontos de A. Sabe-se que existem x1 , . . . , xn E tais que
n
[
A
B xk ,
2
k=1
(2.6)
e pode-se supor, sem perda de generalidade, que cada uma das bolas
abertas do membro da direita de (2.6) intersecta A. Se, para cada
k {1, 2, . . . , n}, ak A B(xk , /2), ento, uma vez que
(k {1, 2, . . . , n}) : B xk ,
B(ak , ),
2
118
Espaos topolgicos
S
resulta de (2.6) que A n
k=1 B (ak , ).
Naturalmente, qualquer parte totalmente limitada de um espao
mtrico limitada, mas o recproco falso.
Exemplo 2.5.8 Se se considerar em R a mtrica discreta, ento R
um sub-conjunto limitado de si prprio, mas no totalmente limitado,
pois no est contido na reunio de um nmero finito de bolas de raio 1.
Exemplo 2.5.9 Em Rn qualquer sub-conjunto limitado A totalmente
limitado (relativamente mtrica usual). Se x R, seja [x] o maior
inteiro menor ou igual a x. Ento, se x R e se a R+ , [ax]/a a1 Z e
x
[ax]
ax [ax]
=
[0, 1/a[.
a
a
nmero finito de bolas abertas de raio n/a; como a pode ser to grande
quanto se queira, resulta daqui que A totalmente limitado.
Se (x1 , . . . , xn ) A, ento
(x1 , . . . , xn ) B (([ax1 ]/a, . . . , [axn ]/a),
n/a) .
(2.7)
119
S
de se ter, para cada R+ , K xE B(x, ) e de K ser compacto.
Para se mostrar que K completo, considere-se uma sucesso de Cauchy (xn )nN de elementos de K. Sabe-se, pelo corolrio 2.5.4, que alguma sub-sucesso (xnk )kN da sucesso (xn )nN converge. Ento, pelo
lema 1.4.1, (xn )nN converge.
Suponha-se agora que K um completo e totalmente limitado e seja
(xn )nN uma sucesso de elementos de K; quer-se mostrar que alguma
sua sub-sucesso converge. Uma vez que K completo, basta mostrar
que alguma sub-sucesso de (xn )nN de Cauchy. Como K totalmente
limitado, a reunio de um nmero finito de bolas de raio 1/2, pelo
que existe um sub-conjunto infinito N1 de N tal que { xn | n N1 } est
contido numa tal bola; em particular,
m, n N1 = d(xm , xn ) < 1.
Seja n1 o primeiro elemento de N1 . Repetindo o que foi feito atrs mas
desta vez com bolas de raio 1/4, obtm-se um sub-conjunto infinito N2
de N1 \ {n1 } tal que
1
m, n N2 = d(xm , xn ) < ;
2
define-se ento n2 como sendo o primeiro elemento de N2 . Prosseguindo
deste modo, obtm-se uma sub-sucesso (xnk )kN da sucesso (xn )nN
tal que
1
120
Espaos topolgicos
Convm ter algum cuidado ao aplicar-se o teorema 2.5.5 para demonstrar que um sub-espao K de um espao mtrico E compacto
usando a terceira condio do teorema. Esta condio, aplicada a um
sub-espao K, significa que qualquer sucesso de elementos de K tem
uma sub-sucesso convergente em K, i. e. convergente para um elemento de K. Assim, por exemplo, qualquer sucesso de elementos
121
122
Espaos topolgicos
Teorema 2.5.6
Se (K, dk ) e (E, dE ) so espaos mtricos, sendo K compacto, ento qualquer funo contnua de K em E uniformemente contnua.
Demonstrao: Seja f uma funo contnua de K em E e seja R+ ;
quer-se mostrar que existe algum R+ tal que
(x, y K) : dK (x, y) < = dE (f(x), f(y)) < .
Se x K, existe algum x R+ tal que
+ = .
2 2
2.6 Exerccios
123
0
efeito,
Snse R+0 e se ]0, [ ento existem x1 , . . . , xn X tais que
X k=1 B(xk , ), pelo que
X
n
[
B(xk
k=1
, 0)
n
[
k=1
B(xk
, 0)
n
[
B(xk , ).
k=1
2.6
Exerccios
124
Espaos topolgicos
3. Sejam E = {a, b} e T = {, {a}, {a, b}}. Mostre que E no pseudo-metrizvel, ou seja, mostre que no existe em E nenhuma pseudo-mtrica que d origem topologia T.
4. Seja E = {a, b, c}. D exemplo de uma topologia em E, distinta de
{, {a, b, c}}, que seja pseudo-metrizvel mas no metrizvel.
3) Dado um espao topolgico X, mostre que existe uma bijeco entre
o conjunto dos abertos de X e o conjunto dos fechados de X.
4) Considere a famlia T P(R) constituda por , R e pelos sub-conjuntos de R da forma ] , a[, com a R. Mostre que:
1. O conjunto T uma topologia.
2. A topologia T no metrizvel.
3. A topologia T no pseudo-metrizvel.
5) Seja E um conjunto e seja F P(E) tal que
1. , E F;
2. se (Aj )jJ for uma famlia de elementos de F, ento
jJ
Aj F;
3. se
S (Aj )jJ for uma famlia de elementos de F e se J for finito, ento
jJ Aj F.
Mostre que possvel definir uma e uma s topologia T em E tal que os
fechados de (E, T) sejam os elementos de F.
6) Seja n N. Para cada I C[x1 , . . . , xn ], seja V(I) o conjunto dos
zeros comuns a todos os elementos de I; por outras palavras,
V(I) = { (x1 , . . . , xn ) Cn | (P I) : P(x1 , . . . , xn ) = 0 } .
1. Mostre que o conjunto T = V(I){ I C[x1 , . . . , xn ] forma uma
topologia em Cn .
2. Supondo que n = 1, mostre que a topologia assim obtida a
mesma que a do exerccio 1.
3. Mostre que a topologia usual mais fina do que a topologia T.
7) Considere em R as topologias:
2.6 Exerccios
125
T: topologia usual;
Tfin : topologia do exerccio 1.
Tnum : topologia relativamente qual os fechados de R so R e as
partes finitas ou numerveis de R;
Tdis : topologia discreta;
T : topologia do exemplo 2.1.3.
Compare estas topologias duas a duas, ou seja, para cada duas veja se
alguma delas mais fina do que a outra.
8) Considere a famlia B P(R) constituda pelos conjuntos da forma
] , a], com a R. Qual a topologia menos fina que contm B?
9) O espao topolgico (Z, T), onde T a topologia do exemplo 2.1.4,
separado?
10) Considere em R2 a mtrica usual. Quais dos seguintes conjuntos
so sistemas fundamentais de vizinhanas de (0, 0)?
1. { (x, y) R2 | x2 + 2y2 < 1/n } n N
2. { (x, y) R2 | < x < } ]0, +[
3. { (x, y) R2 | |x| + |y| < } ]0, +[
4. { S((0, 0), 1/n) | n N }
11) Seja E um espao topolgico cuja topologia a topologia discreta.
Mostre que cada ponto de E possui um sistema fundamental de vizinhanas formado por um nico elemento.
12) Considere em R a topologia do exerccio 8. Mostre que cada ponto
de R possui um sistema fundamental de vizinhanas formado por um
nico elemento. Mostre tambm que se a topologia considerada for
aquela para a qual os abertos so , R e os conjuntos da forma ] , a[
com a R, ento nenhum ponto possui um sistema fundamental de
vizinhanas finito.
13) Considere em C([0, 1]) as mtricas do integral e do supremo. Para
cada n N, seja
1
Vn = f C([0, 1]) (t [0, 1]) : |f(t)| <
.
n
126
Espaos topolgicos
2.6 Exerccios
127
128
Espaos topolgicos
2.6 Exerccios
129
A
A
=A
= A,
um aberto regular de X e A
um fechado regular de X.
ou seja, A
26) Sejam X um espao topolgico e A, B X. Mostre que:
1. A fechado se e s se Fr A A;
2. A aberto se e s se Fr A A{ ;
3. Fr A = se e s se A fechado e aberto;
4. Fr(Fr A) Fr A;
5. Fr(A B) Fr(A) Fr(B);
6. no se tem necessariamente Fr(A B) Fr(A) Fr(B) nem
Fr(A) Fr(B) Fr(A B).
27) Sejam X um espao topolgico, A X e a A. Mostre que a um
ponto isolado de A se e s se {a} um aberto do sub-espao A.
28) Quais dos seguintes espaos topolgicos so perfeitos?
1. Q com a mtrica usual;
130
Espaos topolgicos
arctan x se x R
x
/2
se x = +
/2
se x =
contnua. Sugesto: use o facto de que limx arctan x = /2.
2.6 Exerccios
131
2u
u2 +1
L 2
1
1, u
.
u2 +1
132
Espaos topolgicos
(x, y, z)
,
, g(z)
1 z2
1 z2
em que g : ] 1, 1[ R um homeomorfismo tal que g(0) = 0.
2.6 Exerccios
133
z
;
1z2
2. g(z) =
z
;
1|z|
3. g(z) =
z
;
1z2
4. g(z) = arctanh(z).
Qual destas corresponde, nas notaes atrs usadas, projeco Mercator?)
39) Mostre que Q, munido da topologia usual, no topologicamente
completo.
40) Mostre que qualquer espao topolgico discreto topologicamente
completo.
41) possvel definir alguma topologia em Q, alm da topologia discreta,
relativamente qual Q seja topologicamente completo?
42) Neste exerccio quer-se mostrar que P2 (R) metrizvel.
1. Seja
d : S2 S2
R+
(p, q)
min{kp qk, kp + qk}.
Mostre que d uma pseudo-mtrica e que se p, q S2 so tais
que d(p, q) = 0, ento p = q.
f2 , d o espao mtrico obtido a partir de S2 e da pseudo2. Seja S
-mtrica d pelo mtodo indicado na pgina 4. Mostre, para cada
recta r P2 (R), r S2 uma classe de equivalncia em S2 e que a
funo
f2
P2 (R)
S
r
r S2
f2 . Deduza que P2 (R) metri um homeomorfismo de P2 (R) em S
zvel.
134
Espaos topolgicos
43) Seja X um espao topolgico separado e seja (xn )nN uma sucesso
de elementos de X. Suponha que as sucesses (x2n )nN , (x2n+1 )nN e
(x5n )nN so convergentes. Mostre que a sucesso (xn )nN convergente.
44) Considere em R a topologia T do exerccio 1. Mostre que a sucesso
1, 2, 3, . . . converge para qualquer ponto de R. Deduza que o espao
topolgico (R, T) no separado.
45) Mostre que em qualquer espao topolgico as sucesses quase-constantes so convergentes.
46) Considere em R as topologias Tdis e Tnum do exerccio 7. Mostre que:
1. Relativamente a qualquer uma destas topologias, as nicas sucesses convergentes so as quase-constantes.
2. A funo
f : (R, Tnum ) (R, Tdis )
x
x
no contnua mas satisfaz a propriedade seguinte: se (xn )nN
for uma sucesso convergente do domnio de f, ento a sucesso
(f(xn ))nN tambm convergente.
3. Deduza da alnea anterior que o espao topolgico (R, Tnum ) no
1-numervel.
47) Seja X um conjunto e seja F(X) o conjunto das funes de X em R.
Diz-se que uma sucesso (fn )nN de elementos de F(X) converge uniformemente para uma funo f F(X) se
( R+ )(p N)(n N)(x X) : n > p = |f(x) fn (x)| < .
Mostre que uma sucesso (fn )nN de elementos de F(X) converge uniformemente para uma funo f F(X) se e s se convergir para f
relativamente topologia da convergncia uniforme (definida no exemplo 2.1.2).
48) Mostre que se se considerar em R a mtrica
d : R R
(x, y)
x
y
1 + |x| 1 + |y|
2.6 Exerccios
135
ento o espao mtrico assim obtido no completo, embora a topologia induzida por d seja a topologia usual em R. Sugesto: entre em
conta com o facto de esta mtrica ser a mesma que foi considerada no
exemplo 2.1.1.
49) Defina em ]0, +[ uma mtrica d que induza a topologia usual e
tal que (]0, +[, d) seja um espao mtrico completo.
^ Sejam (E, d) um espao mtrico
50) Considere N como sub-espao de R.
e (xn )nN uma sucesso de elementos de E. Mostre que as seguintes
condies so equivalentes:
(a) A sucesso (xn )nN uma sucesso de Cauchy.
(b) A funo
N E
n
xn
^ definida
uniformemente contnua relativamente mtrica em R
no exerccio 48.
51) Sejam X e Y espaos topolgicos. Mostre que a funo
f : X Y Y X
(x, y)
(y, x)
contnua.
52) Sejam X1 e X2 espaos topolgicos, U1 X1 e U2 X2 . Mostre que
no espao topolgico produto X1 X2 se tem:
z }|
{
1. U1 U2 = U1 U2 .
z
}|
{
2. U1 X2 X1 U2 = U1 X2 X1 U2 .
3. Fr(U1 U2 ) = Fr(U1 ) U2 U1 Fr U2 .
53) Seja X um espao topolgico. Mostre que as seguintes condies
so equivalentes:
(a) O espao topolgico X separado.
(b) O conjunto { (x, x) X X | x X } um fechado de X X.
136
Espaos topolgicos
R2
xy
x2 +y2
(x, y)
R
se (x, y) 6= (0, 0)
se x = y = 0.
Y
n=1
An =
Y
n=1
An .
2.6 Exerccios
137
59) Seja (En , dn )nN uma famlia numervel de espaos mtricos tal
que,
Q para cada n N, dn seja majorada por 1. Considere no conjunto
n=1 En as distncias dsup e d definidas por:
dn (xn , yn )
n
nN
X dn (xn , yn )
d ((xn )nN , (yn )nN ) =
2n
n=1
!
En , dsup
n=1
!
En , d
n=1
X
n
2n
n=1
!
dsup ((xn )nN , (yn )nN )
X
dn (xn , yn )
N
dn (xn , yn )
< N = sup
< .
n
2
2
n
nN
n=1
n
n=1 2n
= 2.
138
Espaos topolgicos
En
X
an
3n
n=1
nN
a
n
nN
2.6 Exerccios
139
1. Y conexo.
2. Y tem trs componentes conexas por arcos.
66) Considere em C a mtrica usual. Mostre que C \ {0} conexo por
arcos.
67) Seja M(n, C) o espao das matrizes quadradas de ordem n com entradas complexas. Seja GL(n, C) M(n, C) o sub-espao das matrizes
de determinante no nulo e T (n, C) GL(n, C) o sub-espao das matrizes triangulares superiores (de determinante no nulo). Considere
2
M(n, C) como espao mtrico identificando-o a Cn ; mais precisamente,
considere em M(n, C) a distncia
d ((aij )16i,j6n , (bij )16i,j6n ) = max |aij bij |.
16i,j6n
140
Espaos topolgicos
(sendo E1 , . . . , En vectores coluna), ento a funo de [0, 1] em
GL(n, R) ( (Rn )n ) definida por
se j 6= m + 1
Ej
m
X
j (t) =
(2.9)
0
onde Em+1
ortogonal a E1 , . . . , En . Ento : [0, 1] GL(n, R)
definida por
Ej
se j 6= m + 1
j (t) =
0
1
0
(1 + t(kEm+1 k 1))Em+1 caso contrrio
R2
R
2
(x, y)
ax + bxy + cy2 + dx + ey + f.
2.6 Exerccios
141
{
T = { A E | A aberto } A E A e A compacto .
1. Seja A T. Mostre que A \ {} um aberto de E.
2. Mostre que T uma topologia.
3. Mostre que a topologia de E como sub-espao de E a topologia
original de E.
4. Mostre que (E, T) um espao topolgico compacto.
5. Supondo que E = R com a topologia usual, mostre que o espao R
assim definido o mesmo espao topolgico que foi considerado
no exemplo 2.2.17.
142
Espaos topolgicos
|a| n
|z| .
2
2.6 Exerccios
143
1
dE (f(xn ), f(yn )) > .
n
Captulo 3
Espaos de funes
3.1
Vo ser vistos nesta seco dois teoremas que do condies suficientes para que um conjunto F CR (K) seja denso em CR (K), o segundo
dos quais vai ser uma generalizao da verso real do teorema da
aproximao de Weierstrass.
Teorema 3.1.1 (Teorema de Kakutani-Krein)
Se K for um espao topolgico compacto e se F for um conjunto de funes
contnuas de K em R tal que:
1. se k, k 0 K e a, b R, ento existe alguma funo f F tal que
f(k) = a e que f(k 0 ) = b (excepto, naturalmente, caso k = k 0 e
a 6= b);
145
146
Espaos de funes
147
R
(t)(k)
(b
(k 0 )(k)
a) + a.
f + g + |f g|
F
2
min{f, g} =
f + g |f g|
F.
2
148
Espaos de funes
149
(3.1)
(3.2)
Seja M R+ tal que sup |f|, sup |g| < M e seja p N tal que se n N e
n > p, ento tem-se:
r
sup |f fn |, sup |g gn | < inf
,
.
3 3M
Resulta ento da relao (3.2) e da escolha de p que, caso n > p,
r 2
= .
3
150
Espaos de funes
(x K) : |f(x)| P(f(x)) < .
151
suponha-se que se est a trabalhar com o conjunto P das funes contnuas de R em R que so peridicas de perodo 2; quer-se mostrar que
o conjunto T das funes da forma
R
x
a0 +
N
X
R
an cos(nx) + bn sen(nx),
n=1
sen(mx) sen(nx) =
e
cos(mx) sen(nx) =
1
(sen((m + n)x) + sen((m n)x)) .
2
152
Espaos de funes
3.2
153
|nx ny| = nx n x +
2
2
Logo, n > 2/ = |fn (x) fn (y)| > 1.
Exemplo 3.2.4 O conjunto das funes ft : R R (t [0, 1]) definidas
por ft (x) = sen(tx) uniformemente equicontnuo. Basta ver que se
x, y R e se t [0, 1] ento
x+y
x y
| sen(tx) sen(ty)| = 2 cos t
sen t
2
2
x y
6 2 sen t
(3.3)
.
2
Seja R+ . Como a funo seno contnua no ponto 0 e sen(0) = 0,
existe algum R+ tal que
154
Espaos de funes
Segundo o teorema 2.5.6, qualquer funo contnua de um espao mtrico compacto num espao mtrico uniformemente contnua. Existe
um resultado anlogo para a equicontinuidade e a equicontinuidade
uniforme.
Proposio 3.2.1
Se K e E forem espaos mtricos, sendo K compacto, ento qualquer famlia equicontnua de funes de K em C uniformemente equicontnua.
A demonstrao desta proposio vai ser omitida, pois consiste
em aplicar o mesmo mtodo que foi empregue para demonstrar o teorema 2.5.6.
Se K for um espao topolgico compacto e se F C(K), ento F
herda uma topologia da topologia de C(K), a qual , como foi dito no
incio deste captulo, a topologia induzida pela mtrica do supremo ou,
o que equivalente, a topologia da convergncia uniforma (veja-se o
exemplo 2.1.2). Outra topologia que se poderia considerar em F a
topologia da convergncia pontual (veja-se o exemplo 2.3.2). Visto que
esta ltima a topologia menos fina para qual todas as funes
K C
f
f(x)
(x K) so contnuas e visto que todas aquelas funes so contnuas
para a topologia da convergncia uniforme, a topologia induzida em F
pela topologia da convergncia uniforme mais fina do que induzida
em F pela topologia da convergncia pontual.
Proposio 3.2.2
Seja K um espao topolgico compacto e seja F uma famlia equicontnua
de funes de K em C. Ento a topologia da convergncia pontual e a
topologia da convergncia uniforme induzem em F a mesma topologia.
Demonstrao: Pelo que foi visto antes do enunciado, s falta provar
que qualquer parte A de F que seja aberta relativamente topologia
da convergncia uniforme tambm aberta relativamente topologia
da convergncia pontual. Se A = , isto bvio. Caso contrrio, seja
f A. Existe algum R+ tal que
(g F) : d (f, g) < = g A.
Para cada x K, seja Vx uma vizinhana de x tal que
155
Sn
i=1
Vxi . Seja
g F (i {1, . . . , n}) : |g(xi ) f(xi )| <
.
3
156
Espaos de funes
(3.4)
157
Y
kK
D(0, r(k)) |g(x) f(x)| , |g(y) f(y)| < .
Q
Ento A um aberto de kK D(0, r(k)), relativamente topologia da
convergncia pontual, f A e A H{ . Como isto acontece para cada
f H{ , este conjunto vizinhana de todos os seus pontos e, portanto,
aberto.
Est ento visto que H compacto relativamente topologia da convergncia pontual. Mas, pela proposio 3.2.2, isto equivale a afirmar
que compacto relativamente topologia da convergncia uniforme, o
que termina a demonstrao.
Vai ser visto como possvel demonstrar este teorema2 , sob a hiptese adicional de que K metrizvel, sem recorrer proposio 3.2.2
nem ao teorema de Tychonoff. Sabe-se, pelo corolrio 2.5.6, que K
separvel, ou seja, que existe algum sub-conjunto denso de K da forma
{ kn | n N }. Para mostrar que F relativamente compacto basta, pela
proposio 2.5.6, mostrar que qualquer sucesso de elementos de F tem
alguma sub-sucesso convergente.
Seja ento (fn )nN uma sucesso de elementos de F. Como a sucesso (fn (k1 ))nN uma sucesso limitada de nmeros reais, tem alguma
sub-sucesso convergente (fn (k1 ))kN1 . Pelo mesmo motivo, a sucesso
(fn (k2 ))kN1 tem alguma sub-sucesso convergente (fn (k2 ))nN2 . Obviamente, a sucesso (fn (k1 ))nN2 tambm convergente. Continuando
deste modo, obtm-se sub-sucesses (fn )nNk , com N N1 N2 . . .,
tais que, para cada p N, (fn (kp ))nNk converge quando p 6 k. Sejam g1 o primeiro termo da sucesso (fn )nN1 , g2 o segundo termo da
sucesso (fn )nN2 e assim sucessivamente. Ento (gn )nN uma sub-sucesso de (fn )nN e (gn (km ))nN converge, para cada m N. Vai-se
mostrar que a sucesso (gn )nN converge em C(K); para tal, basta mostrar que de Cauchy, pois C(K) um espao mtrico completo, uma
vez que um fechado de Fl (K) (como foi visto no exemplo 1.3.11 na
pgina 15) e este espao completo (como foi visto no exemplo 1.5.4 na
pgina 34).
2
Mais precisamente, vai ser visto como demonstrar que decorre das duas condies
do enunciado que a famlia F relativamente compacta.
158
Espaos de funes
(3.5)
3.3
Exerccios
(3.6)
3.3 Exerccios
159
160
Espaos de funes
Mostre que as sucesses (an (f))nZ+ e (bn (f))nN caracterizam completamente a funo f. Posto de outro modo, mostre que se g : R R
tambm for uma funo contnua de perodo 2 e se f 6= g, ento existe
algum n Z+ tal que an (f) 6= an (g) ou existe algum n N tal que
bn (f) 6= bn (g).
8) Sejam K um espao topolgico compacto e F uma lgebra de funes
contnuas de K em C que contm as funes constantes e que separa os
pontos. Suponha que
(f F) : if F;
(f F) : f F.
Mostre que F denso no espao das funes contnuas de K em C
relativamente mtrica do supremo.
9) Deduza do exerccio anterior que as funes de S1 (= { z C | |z| = 1 })
em C da forma
S1
C
n
X
z
ak z k
k=m
(com m, n Z, m 6 n e ak C quando m 6 k 6 n) formam um sub-conjunto denso no espao das funes contnuas de S1 em C relativamente
mtrica do supremo.
10) Use o teorema de Arzel-Ascoli para demonstrar que, em C([0, 1]),
S(0, 1) no um compacto.
11) Seja F o conjunto das funes f : [0, 1] [0, 1] tais que
(x, y [0, 1]) : |f(x) f(y)| 6 |x y|.
1. Mostre que cada f F contnua.
2. Considere em F a mtrica do supremo. Mostre que F compacto.
12) Seja (nk )kN uma sucesso estritamente crescente de nmeros
naturais. Mostre que a aderncia do conjunto de funes { fk | k N }
de C([0, 2]) definido por fk (x) = cos(nk x) no compacta relativamente
mtrica do supremo. Deduza que a sucesso de funes
[0, 2]
R
x
7 cos(nx) nN
no tem nenhuma sub-sucesso uniformemente convergente para uma
funo de [0, 2] em R.
ndice remissivo
aberto, 11, 69
regular, 128
aderncia, 15, 85
lgebra de funes, 148
sub-lgebra de uma, 148
arco, 104
contraco, 36
desigualdade triangular, 1, 3
dimetro, 24
distncia, 1
de um ponto a um conjunto,
5
entre dois conjuntos, 5
bola
aberta, 10
fechada, 10
espao
mtrico, 4
completo, 33
discreto, 6
totalmente limitado, 117
topolgico, 67
1-numervel, 75
compacto, 106
conexo, 99
conexo por arcos, 104
desconexo, 99
metrizvel, 68
perfeito, 75
separvel, 88
separado, 74
topologicamente completo,
93
totalmente desconexo, 103
vectorial normado, 3
caminho, 104
trao de um, 104
cobertura, 106
completamento, 44, 93
componente conexa, 103
componente conexa por arcos,
104
conjunto
de Cantor, 47, 75, 103, 120
denso, 19, 87
equicontnuo, 152
limitado, 24
totalmente
limitado, 117
ordenado, 113
uniformemente
equicontnuo, 153
161
162
ndice remissivo
fechado, 11, 69
regular, 128
fronteira, 87
funo
contnua, 5, 79
num ponto, 5, 79
descontnua, 5, 79
num ponto, 5, 79
limitada, 24
uniformemente contnua, 9,
122
de uma sucesso, 90
fixo, 36
interior, 15
isolado, 75
princpio da maximalidade de
Hausdorff, 114
pseudo-mtrica, 1
grosseira, 1
homeomorfismo, 8, 81
sistema fundamental de
vizinhanas, 74
sub-cobertura, 106
sub-espao
mtrico, 72
mtrico, 5
topolgico, 73, 81
sub-sucesso, 27
sucesso, 24
convergente, 24, 89
de Cauchy, 30
divergente, 24, 89
pontualmente convergente,
99
quase-constante, 41, 89
uniformemente convergente,
134
supremo, iii
nfimo, iii
interior, 15, 85
intervalo, 100
isometria, 8
limite de uma sucesso, 24, 89
maximal, 113
mtrica, 1
discreta, 2
do integral, 3
do supremo, 3
p-dica, 2, 30
mtricas equivalentes, 68
noo
absoluta, 31
mtrica, 92
relativa, 30
topolgica, 92
norma, 3
numervel, iii
nmero de Lebesgue, 121
oscilao, 63
plano projectivo, 84, 103, 120
ponto
aderente, 15
recta acabada, 69
relativamente compacto, 122
teorema
da aproximao de
Weierstrass, 20, 150
de Arzel-Ascoli, 155
de Baire, 39, 93
de Bolzano-Weierstrass, 33,
112
de Heine-Borel, 106, 117
de Kakutani-Krein, 145
de Picard-Lindelf, 61
de Stone-Weierstrass, 150
ndice remissivo
de Tychonoff, 114, 156
de Weierstrass, 145
do ponto fixo de Banach, 37
fundamental da lgebra,
142
topologia, 67
base de uma, 72
da convergncia pontual, 99
da convergncia uniforme,
70
discreta, 71
dos complementares finitos,
75
final, 84
grosseira, 72
inicial, 81
mais fina, 72
menos fina, 72
produto, 97
ultra-mtrica, 51
vizinhana, 13, 74
163