Академический Документы
Профессиональный Документы
Культура Документы
TOPOLOGIA
Jos Carlos Santos
Departamento de Matemtica
Faculdade de Cincias da Universidade do Porto
Fevereiro de 2015
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
29
32
49
.
.
.
.
.
.
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
A Resolues de exerccios seleccionados
161
Captulo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
Captulo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Captulo 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
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
25
31
2.1
2.2
2.3
2.4
2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 82
.
87
. 89
. 95
. 112
vii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
163
165
168
171
172
173
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
(f, g)
R+
f(x) g(x) dx,
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
d (x1 , . . . , xn ), (y1 , . . . , yn ) = max |xj yj |
16j6n
1.1.2
R+
[x], [y]
d(x, y),
e
ento d uma mtrica. Considera-se ento o espao mtrico (E/, d)
claro que
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.
|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
1
cada R+ , f
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)
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
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.
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
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
proposio anterior, l X e, pela proposio 1.3.1, X = X, pelo que
l X.
Por outro lado, se X no for fechado ento, novamente pela proposio 1.3.1, X 6= X. Se l X \ X ento, pela proposio anterior, l limite
de alguma sucesso de elementos de X.
Proposio 1.4.5
Sejam E1 e E2 espaos mtricos, f uma funo de E1 em E2 e a E1 . So
ento condies equivalentes:
1. a funo f contnua em a;
2. se (an )nN for uma sucesso de elementos de E1 convergente para
a, ento a sucesso (f(an ))nN converge para f(a).
Demonstrao: Sejam d1 e d2 as mtricas definidas em E1 e em E2
respectivamente.
Se f for contnua em a e se R+ , sabe-se que existe algum R+
tal que
(x E1 ) : d1 (x, a) < = d2 f(x), f(a) <
e que existe algum p N tal que
(n N) : n > p = d1 (an , a) < .
Ento
(n N) : n > p = d2 f(an ), f(a) < .
Por outro lado, se f no for contnua em a ento existe algum R+
tal que
( R+ )(x E1 ) : d1 (x, a) < d2 f(x), f(a) > .
Pode-se ento definir uma sucesso (an )nN escolhendo, para cada n
N, an B(a, 1/n) tal que d2 (f(an ), f(a)) > . A sucesso assim obtida
converge para a mas a sucesso (f(an ))nN no converge para
f(a) uma
vez que nenhum dos seus termos pertence bola B f(a), .
Exemplo 1.4.6 Seja X um conjunto e seja Fl (X) o espao das funes
limitadas de X em K, munido da mtrica do supremo. Foi visto, no
exemplo 1.2.5, que, para cada x X, a funo
Fx : Fl (X) K
f
f(x)
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
T
Sabe-se, pela proposio 1.5.3, que nN B 0 (xn , n ) 6= . Mas
\
\
(B(xn , n ) An )
B 0 (xn , n )
nN
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
nN
converge vai-se
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
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) .
= 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
R
x2 sen (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
0 (x) = f x, (x)
(x0 ) = y0
(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) 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
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. Um espao topolgico diz-se grosseiro
se a sua topologia for a topologia grosseira.
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.2 Generalidades
73
74
Espaos topolgicos
^ A um aberto
se A T ento, pela definio da topologia de R,
0
^ pelo que A(= A R) T ;
de R,
^ o que
se A T 0 , ento A = A R para algum aberto A de R,
^ que
implica, pela maneira como foi definida a topologia de R,
A(= A R) T.
2.2.2
Vizinhanas
pelo que A =
xA
xA
Ax ; em particular, A aberto.
2.2 Generalidades
75
nN
76
Espaos topolgicos
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 .
3
Resulta da definio do conjunto de Cantor que este contm os extremos de cada
um dos 2n intervalos que constituem In , para cada n Z+ .
2.2 Generalidades
77
(2.2)
78
Espaos topolgicos
S
Seja (Ai )iI uma famlia de elementos de T. Para cada x iI Ai ,
x Ai para algum i I S
e, portanto, Ai Vx . Logo, pela terceira
condio doSenunciado, iI Ai Vx e, como isto tem lugar para
cada i I, iI Ai T.
2.2 Generalidades
79
2.2.3
Funes contnuas
80
Espaos topolgicos
2.2 Generalidades
81
Proposio 2.2.5
Sejam (E1 , T1 ), (E1 , T2 ) e (E3 , T3 ) espaos topolgicos, f uma funo de E1
em E2 e g uma funo de E2 em E3 .
1. Se a E1 for tal que f contnua em a e que g contnua em f(a),
ento g f contnua em a.
2. Se f e g forem contnuas, ento g f contnua.
Demonstrao: Dado um a E1 que satisfaa as condies da primeira
alnea do enunciado, se V for uma vizinhana de g(f(a))(= (g f)(a)),
ento g1 (V) uma
vizinhana de f(a) (porque g contnua em f(a)) e
1
1
ento f
g (V) uma vizinhana de a (porque f contnua em a).
Mas
(g f)1 (V) = f1 g1 (V) .
A segunda alnea pode ser demonstrada de maneira anloga. Alternativamente, pode-se recorrer primeira alnea e ao facto de f e g
serem contnuas se e s se cada uma delas for contnua em todos os
pontos dos respectivos domnios.
Definio 2.2.10 Diz-se que uma funo f : (E1 , T1 ) (E2 , T2 ) entre
espaos topolgicos um homeomorfismo se for uma bijeco contnua
e se a inversa tambm for contnua.
Exemplo 2.2.16 Por exemplo, considere-se em R a topologia T definida
no exemplo 2.1.3 e a topologia T definida de maneira anloga mas
considerando agora os intervalos da forma ]a, +[. Verifica-se ento
facilmente que
(R, T) (R, T )
x
x
um homeomorfismo de (R, T) em (R, T ).
Considere-se agora a seguinte situao: X um conjunto, Y um
espao topolgico e f uma funo de X em Y. Existe alguma topologia
em X relativamente qual f seja contnua? A resposta afirmativa;
basta considerar em X a topologia discreta. Naturalmente, h muitos
casos em que uma topologia menos fina do que a discreta suficiente
para que f seja contnua. De facto, qualquer topologia que contenha o
conjunto { f1 (A) | A aberto de Y } basta para tornar f contnua. Mostra-se facilmente que o conjunto anterior uma topologia em X, que
necessariamente a topologia menos fina que se pode definir em X que
torna contnua a funo f.
82
Espaos topolgicos
(0,1)
f(x)
(x,0)
2.2 Generalidades
83
Uma observao importante relativa a este mtodo de definir mtricas em conjuntos, i. e. partir de uma bijeco f de um conjunto X num es
pao mtrico Y e definir uma mtrica df em X por df (x, y) = d f(x), f(y) ,
a seguinte: a funo f uma isometria do espao mtrico (X, df ) no
espao mtrico (Y, d). Em particular, deduz-se da proposio 1.5.1 que
R, df um espao mtrico completo.
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
tan
,
se x
/ 2 + Z
2 (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.
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 18, 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
2.2 Generalidades
91
munido da topologia usual. Por outro lado, claro que se l for limite
de uma sucesso, ento l ponto aderente dessa sucesso.
Proposio 2.2.10
Seja E um espao topolgico 1-numervel e seja (xn )nN uma sucesso de
elementos de E. Ento os pontos aderentes de (xn )nN so os elementos
de E que so limite de alguma sub-sucesso da sucesso (xn )nN .
Demonstrao: Se x for limite de alguma sub-sucesso (xnk )kN da
sucesso (xn )nN , ento cada vizinhana V de x contm todos os xnk
com k > p, para algum p N. Se n N, existe algum k > p tal que
nk > n e, consequentemente, xnk V. Logo, x Fn .
Reciprocamente, se x for ponto aderente da sucesso (xn )nN , seja
(Vn )nN um sistema fundamental de vizinhanas de x. Como V1
vizinhana de x e x F1 , V1 contm algum termo xn1 da sucesso.
Como V1 V2 vizinhana de x e x Fn1 +1 , V1 V2 contm algum
termo xn2 da sucesso com n2 > n1 . Prosseguindo deste modo, obtm-se
uma sub-sucesso (xnk )kN de (xn )nN tal que
(k N) : xnk
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
uma funo contnua em a, ento f(a) limite da sucesso (f(an ))nN .
De facto, se V for vizinhana de f(a), ento f1 (V) vizinhana de a,
pelo que an f1 (V) para n suficientemente grande, ou seja, f(an ) V
para n suficientemente grande.
92
Espaos topolgicos
2.2.6
(x, y)
1 |x| 1 |y| .
A topologia de (] 1, 1[, d 0 ) a usual, pois a funo identidade de
(] 1, 1[, d) em (] 1, 1[, d 0 ) um homeomorfismo. Mas, conforme foi
observado na pgina 83,
f : (] 1, 1[, d 0 )
x
R
x
1 |x|
2.2 Generalidades
93
X
n=1
inf 1, max
j6n
1
1
max
.
j6n |y qj |
|x qj |
94
Espaos topolgicos
R2
e , sen(ex )
x
(x, y) R2 x > 0 e y = sen(1/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 48 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
No entanto, como j foi mencionado na pgina 105, se um sub-espao K de um espao mtrico (E, d) for compacto, ento K um sub-conjunto limitado de E. Basta ver que, se x E, ento { B(x, r) K | r R+ }
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 F K tal que K kF Ak . Mas por um lado kF Ak
109
T
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.
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
1
f (Aj ) jI ento uma cobertura aberta de K, pelo que, para algum
S
S
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).
110
Espaos topolgicos
Proposio 2.5.4
Se K for um espao topolgico, so condies equivalentes:
1. K compacto;
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
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
113
2.5.2
114
Espaos topolgicos
115
Demonstrao:
No decorrer desta demonstrao, vai-se representar
Q
E
por
E.
iI i
Se E for compacto ento, visto que nenhum Ei vazio, cada projeco pj : E Ej (j I) sobrejectiva. Logo, Ej compacto, pela
proposio 2.5.3.
Suponha-se agora que (Ei )iI uma famlia de espaos topolgicos
compactos. Quer-se provar que E compacto, o que ser feito recorrendo
proposio 2.5.4. Mais precisamente, vai-se supor que F uma famlia
de partes no vazias de E tal que a interseco de qualquer nmero
finito de elementos de F contm algum elemento de F e provar que
existe algum ponto (ai )iI E que adere a todos os elementos de F.
Para simplificar a exposio, vai-se designar por condio C a condio
de, dada uma famlia F de partes de um conjunto X, cada elemento de F
no ser vazio e a interseco de qualquer nmero finito de elementos
de F conter algum elemento de F.
Comece-se por supor que F maximal relativamente condio C.
Ento, se X E for tal que X intersecta todos os elementos de F, X F.
Com efeito, se assim no fosse, a famlia
F = { A E | (F F) : A F X }
satisfaria a condio C e, alm disso, F conteria estritamente F (pois
X F \ F), o que contradiz a maximalidade de F. Resulta deste
facto que a interseco de quaisquer nmero finito de elementos de F
pertence a F, pois
T se F1 , F2 , . . . , Fn F, para algum n N, ento,
pela condio C, n
i=1 Fi intersecta todos os elementos de F, pelo que
tambm pertence a F. Se, para cada j I, j for a projeco de E
sobre Ej , ento o conjunto Fj = { j (F) | F F }Tsatisfaz a condio C,
pois se F1 , . . . , Fn F e se F F for tal que F n
i=1 Fi , ento
!
n
n
\
\
j (Fi ) j
Fi j (F).
i=1
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 finita J de I tal que,
116
Espaos topolgicos
Ei
se i 6= j
Aj
caso contrrio,
Q
iI
Ai , com
(2.5)
jJ
117
Corolrio 2.5.5
Seja n N. Relativamente topologia usual de Rn , um sub-espao
de Rn compacto se e s se for fechado e limitado.
Demonstrao: Se um sub-espao K de Rn for compacto, ento fechado
(pela proposio 2.5.2) e limitado (como foi observado na pgina 108).
Reciprocamente, se K for fechado e limitado
Qn ento, como limitado,
est contido em algum produto da forma k=1 [ak , bk ]. Mas este ltimo espao compacto, pelos teoremas de Heine-Borel
Qne de Tychonoff.
n
Como K um fechado de R ento um fechado de k=1 [ak , bk ], pelo
que compacto, pela proposio 2.5.1.
Ser vista na pgina 120 uma demonstrao deste corolrio que no
recorre ao teorema de Tychonoff.
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
A
n
[
B xk ,
2
k=1
(2.6)
118
Espaos topolgicos
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
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). Ento, se x R e se a R+ ,
baxc/a 1 Z e
a
ax baxc
baxc
=
[0, 1/a[.
x
a
a
Seja a R+ . Vai-se mostrar que A est contido na unio de um
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
119
min{p, q}
Logo, (xnk )kN uma sucesso de Cauchy. Como, pela proposio 2.5.2,
K um fechado de E, limnN xn K, pelo corolrio 1.4.1.
Finalmente, vai-se supor que qualquer sucesso de elementos de K
possui uma sub-sucesso convergente para um elemento de K; quer-se
mostrar que K compacto. Seja ento (Aj )jJ uma cobertura aberta
de K; quer-se mostrar que possui uma sub-cobertura finita. Vai-se
comear por mostrar que existe algum R+ tal que, para cada x K,
B(x, ) K est contido em algum Aj . Suponha-se, por reduo ao
absurdo, que no existe um tal . Para cada n N ento possvel
encontrar algum xn K tal que
1
(j J) : B xn ,
K 6 Aj .
(2.8)
n
120
Espaos topolgicos
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
(y B(x, x )) : dE f(x), f(y) <
2
Ento (B(x, x ))xK uma cobertura aberta de K. Seja R+ um nmero de Lebesgue desta cobertura. Se x, y K forem tais que d(x, y) <
, ento y B(x, ) e esta ltima bola est contida numa bola B(z, z ),
para algum z K. Mas ento
dE f(x), f(y) 6 dE f(x), f(z) + dE f(z), f(y) < + = .
2 2
Definio 2.5.6 Seja E um espao topolgico e seja X E. Diz-se que X
relativamente compacto se X for compacto.
Resulta desta definio que cada parte relativamente compacta X
de um espao topolgico E est contida num compacto. Caso E seja um
espao topolgico separado, o recproco verdadeiro, pois se X K E
e se K for compacto, ento, pela proposio 2.5.2, K um fechado de E e,
portanto, X K = K. Como K compacto, resulta da proposio 2.5.1
que X um compacto.
Proposio 2.5.6
Sejam E um espao mtrico e X E. Ento so condies equivalentes:
1. X relativamente compacto;
2. qualquer sucesso de elementos de X tem alguma sub-sucesso
convergente.
Alm disso, se E for completo, as condies anteriores equivalem a:
3. X totalmente limitado.
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
1. Dado b X, mostre que f contnua em b (relativamente mtrica usual de R) se e s se f for semi-contnua superiormente e
inferiormente em b.
2. Sejam A X e A : X R a funo caracterstica de A. Mostre
que A semi-contnua superiormente (resp. inferiormente) se e
s se A um fechado (resp. aberto) de X.
3. Mostre que f semi-contnua superiormente se e s se f semi-contnua inferiormente.
4. Seja (f ) uma famlia de funes de X em R. Supondo que
cada, para cada , f semi-contnua superiormente (resp.
inferiormente) e que existe a funo inf f (resp. sup f ),
mostre que esta funo semi-contnua superiormente (resp. inferiormente).
21) Sejam X e Y espaos topolgicos e f : Y X uma funo contnua.
Mostre que as condies seguintes so equivalentes:
(a) a topologia de Y a topologia inicial relativamente funo f;
(b) quaisquer que sejam o espao topolgico Z e g : Z Y ento g
contnua se e s se f g contnua.
22) Enuncie e demonstre um resultado anlogo ao do exerccio anterior
referente topologia final.
23) Sejam X e Y espaos topolgicos e f uma funo de Y em X. Suponha-se que S P(X) base da topologia de X. Mostre que f contnua se e
s se para todo o B S, f1 (B) aberto.
24) Seja E um espao topolgico. Diz-se que um aberto de E regular
se for igual ao interior da sua aderncia e diz-se que um fechado de E
regular se for igual aderncia do seu interior.
1. Seja A E. Mostre que A um aberto regular de E se e s se A{
for um fechado regular de E.
2. D um exemplo de um aberto de R que no seja regular (relativamente topologia usual).
3. Mostre que a interseco de dois abertos regulares de E um
aberto regular de E.
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
/2
x
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 )
dsup (xn )nN , (yn )nN = sup
n
nN
X dn (xn , yn )
d (xn )nN , (yn )nN =
2n
n=1
Mostre que estas distncias so uniformemente equivalentes, ou seja,
mostre que a funo
!
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
0
1
(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
R2
f(x), g(y) .
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
sen(tx) sen(ty) = 2 cos t x + y sen t x y
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
(x R) : |x| < = sen(x) <
2
Logo, se x, y R forem tais que |x y| < ento t(x y)/2 < /2 <
para cada t [0, 1], pelo que se deduz de (3.3) que
(t [0, 1]) : ft (x) ft (y) < .
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
(y Vx )(f F) : f(y) f(x) <
3
155
Sn
i=1
Vxi . Seja
g F (i {1, . . . , n}) : |g(xi ) f(xi )| <
.
3
156
Espaos de funes
e,
portanto, existem x, y K, R+ e f F tais que y Vx, e que
f(y) f(x) > . Existe ento algum R tal que
+
(z, w C) : z f(x) < w f(y) < = |z w| > ;
157
basta tomar, por exemplo, = (f(y) f(x) )/2. Seja
A=
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 . Obvi
amente, 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 33).
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.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.
Apndice A
Resolues de exerccios
seleccionados
Captulo 1
Exerccio n5 (alneas 3. e 4.)
imediato, directamente a partir da definio, que, dados r, s Q,
dp (r, s) > 0 e que dp (r, s) = 0 se e s se r = s. Para demonstrar que
dp (r, s) = dp (s, r), observe-se que esta igualdade trivial se r = s; caso
contrrio, se se escrever:
a
r s = pvp (rs)
b
com (a, p) = (b, p) = 1, ento tem-se:
s r = pvp (rs)
a
b
162
vp (r t) > min vp (r s), vp (s t) .
a
c
e = pvp (st)
b
d
= pvp ()
b.d
+ = pvp ()
(A.2)
(A.3)
163
Exerccio n18
1. A funo no contnua; de facto, vai ser visto que descontnua em todos os pontos do domnio. Seja f C([0, 1]); pretende-se
demonstrar que:
( > 0)( > 0)(g C([0, 1])) : d1 (f, g) < e f(0) g(0) > .
Seja = 1 e seja > 0. Se se encontrar uma funo h C([0, 1]) tal que
Z1
|h| (= d1 (h, 0)) <
0
Figura A.1
2. Sim, a funo contnua e mesmo uniformemente contnua, ou
seja, dado R+ existe algum R+ tal que
(f, g C([0, 1])) : d (f, g) < = f(0) g(0) < .
164
Exerccio n21
1. Afirmar que a funo descontnua em todos os pontos do domnio
equivale a afirmar que:
(r Q)( > 0)( > 0)(r 0 Q) : dp (r, r 0 ) < e d(r, r 0 ) > .
Sejam ento r Q, = 1 e > 0; pretende-se encontrar um nmero
racional r 0 tal que dp (r, r 0 ) < e |r r 0 | > 1. Para tal basta encontrar
um nmero racional h tal que |h|p (= dp (h, 0)) < e |h| > 1; uma vez
encontrado um tal h, bastar considerar r 0 = r + h. Seja n N tal que
pn < . Ento |pn |p = pn < (por escolha de n) e |pn | = pn > 1.
2. Sim; basta considerar a funo que envia r( Q) em |r|p . Que
esta funo contnua uma consequncia imediata do exerccio 14,
pois, para cada r Q, |r|p = dp (r, 0).
Exerccio n25
Que as aplicaes f : C C da forma f(z) = z + ou f(z) =
z + , em que , C e || = 1, so isometrias bvio; o problema
consiste em saber se h ou no outras isometrias. De facto no h.
Para demonstrar esta afirmao, seja f : C C uma isometria;
sejam
= f(0) e = f(1) f(0). claro que || = 1, pois || = f(1) f(0) =
|1 0| = 1. Seja
g : C
C
z
(f(z) )/;
claro que g uma isometria, que g(0) = 0 e que g(1) = 1. Pretende-se
demonstrar que g a identidade ou a conjugao; no primeiro caso
ter-se- ento que, para qualquer z C, f(z) = z + e no segundo
caso ter-se-, para qualquer z C, f(z) = z + .
Primeira resoluo: Vai-se comear por mostrar que:
(z C) : g(z) = z ou g(z) = z.
Seja ento z C e seja w = g(z). Sabe-se que |w| = |z| e que |w 1| =
g(z) g(1) = |z 1|. Mas tambm se sabe que:
|z 1|2 = |w 1|2 |z|2 2 Re z + 1 = |w|2 2 Re w + 1
= Re z = Re w
165
pois |z| = |w|. Logo, tem-se:
(Im z)2 = |z|2 (Re z)2 = |w|2 (Re w)2 = (Im w)2
e, portanto, Im z = Im w; logo, z = w ou z = w.
Falta mostrar que se tem sempre g(z) = z ou se tem sempre g(z) = z.
Suponha-se, por reduo ao absurdo, que existe algum z C tal que
g(z) = z 6=
algum w C tal que g(w) = w 6= w. Ento
z e que existe
|z w| = g(z) g(w) = |z w|. Mas tem-se
|z w| = |z w| (Re z Re w)2 + (Im z + Im w)2 =
= (Re z Re w)2 + (Im z Im w)2
Im z + Im w = (Im z Im w)
Im z = 0 ou Im w = 0
z = z ou w = w
o que absurdo.
Segunda resoluo: Tem-se
g(i) = g(i) g(0) = |i 0| = 1
e
g(i) 1 = g(i) g(1) = |i 1| = 2,
2 res-
identidade. Seja z C. Sabe-se que g(z) = |z|, que g(z) 1 = |z 1|
166
167
Mas d(c, a) < r 6 s, d(a, x) < r 6 s e d(x, b) < s; deduz-se ento que
d(c, b) < s.
3. Sejam a E e r ]0, +[; pretende-se demonstrar que B(a, r)
um fechado de E, ou seja, que o conjunto { x E | d(x, a) > r } um
aberto. Seja ento x E tal que d(x, a) > r. A bola B(x, r) no intersecta
B(a, r) pois se a interseco no fosse vazia deduzir-se-ia da alnea
anterior que B(a, r) = B(x, r), o que absurdo porque x 6 B(a, r).
Pretende-se agora demonstrar que B 0 (a, r) um aberto. Seja x
0
B 0 (a, r); vai-se mostrar
que B(x, r)
B (a, r). De facto, se y B(x, r),
ento d(y, a) 6 max d(y, x), d(x, a) 6 r.
Exerccio n41 (relativamente ao exerccio 32)
Observe-se que a topologia induzida pela mtrica d mais fina do
que a topologia induzida pela mtrica d1 . De facto, a funo identidade
de (C([0, 1]), d ) em (C([0, 1]), d1 ) contnua, porque se f, g C([0, 1]),
ento:
Z1
d1 (f, g) = |f g|
0
Z1
6 sup |f g|
0
= sup |f g|
= d (f, g).
Logo, qualquer aberto (respectivamente fechado) de (C([0, 1]), d1 ) um
aberto (resp. fechado) de (C([0, 1]), d ). Deduz-se que se A C([0, 1]),
ento a aderncia de A relativamente a d est contida na aderncia
de A relativamente a d1 e o interior de A relativamente a d contm o
interior de A relativamente a d1 .
1. Seja A = { f C([0, 1]) | f(0) = 0 }. Foi visto, no exerccio 18, que a
funo
C([0, 1]) R
(A.4)
f
f(0)
contnua relativamente mtrica d ; logo, o conjunto A fechado
(relativamente mtrica d ), pois a imagem recproca de {0} pela
funo (A.4) e, portanto, igual sua aderncia.
A aderncia de A relativamente a d1 o espao C([0, 1]). De facto,
sejam f C([0, 1]) e > 0; quer-se mostrar que existe g B(f, ) tal que
168
f( )x/
f(x)
R
se x < 0
caso contrrio;
f( 0 )
Figura A.3
Z1
|f g|
d1 (f, g) =
0
Z 0
=
0
6 2M 0 .
sendo M o mximo de |f|. Basta ento escolher 0 < /2M.
O interior de A relativamente a d vazio. De facto, se f C([0, 1])
tal que f(0) = 0 e se > 0, ento a funo g C([0, 1]) definida por g(x) =
f(x) + /2 est na bola B(f, ), mas g(0) 6= 0. Deduz-se das observaes
feitas no incio da resoluo que o interior de A relativamente a d1
tambm vazio.
2. Seja A = { f C([0, 1]) | (t [0, 1]) : f(t) < 1 }. O conjunto A ,
relativamente mtrica d , a bola B(0, 1), sendo 0 a funo nula. Logo,
aberto e, portanto, igual ao seu interior. Relativamente mtrica d1 ,
o conjunto A tem o interior vazio. Para o demonstrar, tome-se f tal que
169
(t [0, 1]) : |f(t)| < 1 e tome-se > 0. Considere-se a funo:
h : [0, 1]
x
2 4x/
R
se x < /2
caso contrrio.
R
f(x)(1 /2) se 6 1
caso contrrio.
= r,
170
Z1
g=
Z1
(g f) +
f;
(A.5)
mas
Z 1
Z1
Z1
(g f) 6 |g f| < f.
0
0
0
R1
Visto que a relao (A.5) exprime 0 g como a soma de dois nmeros
com valores absolutos distintos, este nmero no pode ser igual a 0.
Deduz-se das observaes feitas no incio da resoluo que A fechado
relativamente mtrica d e que, portanto, tambm neste caso igual
sua aderncia.
O interior de A relativamente mtrica d vazio. Para ver isso,
basta observar que se f A e > 0 e se se definir g B(f, ) por
R1
g(x) = f(x) + /2, ento 0 g = /2, pelo que g 6 A. Pelas observaes
feitas no incio da resoluo, sabe-se que o interior de A relativamente
mtrica d1 tambm vazio.
Exerccio n42
Cada conjunto M(I) fechado por ser a interseco de todos os
conjuntos da forma
ou da forma
(A.6)
(A.7)
171
pontos do domnio. Seja h = f g (vejam-se, na figura figura A.4, os
grficos das restries a I de f e de h). Ento h|I no montona, pois
no crescente (h(a ) = f(a ) > f(a) = h(a)), nem decrescente
(h(a) < f(a) 6 f(a + ) = h(a + )), mas d (f, h) = , pelo que f no
pertence ao interior de M(I).
f|I
h|I
f(a + )
h(a + )
f(a)
f(a )
h(a )
h(a)
a a a+
a a a+
Figura A.4
Analogamente, se f C([0, 1]) for decrescente, ento f no pertence
ao interior de M(I).
Exerccio n48
Seja a E1 e seja (an )nN uma sucesso que converge para a; quer-se prover que a sucesso (f(an ))nN converge para f(a). Por hiptese,
esta sucesso converge para algum b E2 . Considere-se a sucesso
a1 , a, a2 , a, a3 , a, . . ., que converge para a. Logo, a sucesso das suas
imagens pela funo f converge. Como a sub-sucesso dos termos de
ordem par das imagens converge para f(a) e a dos termos de ordem
mpar converge para b, f(a) = b.
Exerccio n49
1. Seja xn , f(xn ) nN uma sucesso de pontos do grfico e suponha-se que converge para (x, y) R2 ; vai-se mostrar que (x, y) tambm
pertence ao grfico, i. e. que y = f(x). Tem-se x = limnN xn e resulta
ento da continuidade de f que f(x) = limnN f(xn ) = y.
2. Sim. Considere-se, por exemplo a funo
R
x
1/x
R
caso x 6= 0
caso x = 0,
172
Figura A.5
Exerccio n55
Seja (an )nN uma sucesso de Cauchy de um espao mtrico discreto (E, d). Ento existe algum p N tal que, para cada m, n N,
m, n > p = d(am , an ) < 1.
Mas afirmar que d(am , an ) < 1 o mesmo que afirmar que am = an .
Posto de outro modo, se n > p, an = ap . Logo, limnN an = ap .
Exerccio n58
1. Se m, n N, ento d1 (fm , fn ) a rea da regio a sombreado da
figura A.6. Aquela regio formada por dois tringulos congruentes,
pelo que a sua rea igual ao dobro da do tringulo de baixo. Este
ltimo tem por base o segmento que une (1/2 1/2n, 0) a (1/2 1/2m, 0),
cujo comprimento |1/2n 1/2m|, e a altura 1/2. Logo, a rea da regio
a sombreado |1/n 1/m|/4.
Ento, dado R+ , se p N for tal que 1/p < 4, tem-se, sempre
m, n N forem tais que m, n > p:
4p
173
1
1/2
1/2
Figura A.6
2. Vai-se provar, por reduo ao absurdo, que a sucesso da alnea anterior no converge. Suponha-se ento que a sucesso (fn )nN
converge para uma funo f C([0, 1]).
Primeiro mtodo: Vai-se provar que caso a sucesso da alnea anterior convergisse para uma funo f C([0, 1]), ento tinha-se necessariamente
0 se x < 1/2
f(x) =
1 se x > 1/2.
Como no h nenhuma funo contnua de [0, 1] em R nestas condies,
isto prova que (fn )nN no converge.
Seja a [0, 1/2[ e seja R+ . Se n N for suficientemente grande,
ento d1 (f, fn ) < e 1/2 1/2n > a. Logo, para um tal n tem-se:
Z a Z a
f 6
|f|
0
0
Za
=
|f fn | (pois fn anula-se em [0, a])
0
Z1
6 |f fn |
0
= d1 (f, fn )
< .
Ra
Como se tem 0 f < para cada a [0, 1/2[ e para cada R+ , a
funo
[0, 1/2[ RR
a
a
0 f
174
= d1 (g, h)
e, pelo mesmo argumento, d1 R+ (g), R+ (h) 6 d1 (g, h); logo, basta
tomar = na definio de continuidade. Ento, pela proposio 1.4.5,
R (f) = R lim fn = lim R (fn ).
nN
nN
1
Mas (n N) : d1 R (fn ), 0 = 8n
, pelo que R (f) 0. Pelo mesmo
argumento, R+ (f) 1. Isto absurdo, pois f(1/2) no pode ser simultaneamente 0 e 1.
3. Primeira resoluo: Seja (fn )nN uma sucesso de Cauchy em
(C([0, 1]), d ); quer-se provar que converge. Visto que, por hiptese, se
tem
175
Ento
(x [0, 1]) : f(x) fp (x) = lim fm (x) fp (x) 6
(A.8)
mN
2
Como fp contnua, existe R+ tal que
(x [0, 1]) : |x a| < = fp (x) fp (a) <
4
Logo, se x [0, 1] for tal que |x a| < , ento
f(x) f(a) 6 f(x) fp (x) + fp (x) fp (a) + fp (a) f(a)
< + +
4 2 4
= .
Finalmente, o argumento usando para demonstrar (A.8) pode ser
usado para mostrar que, mais geralmente,
(n N)(x [0, 1]) : n > p = f(x) fn (x) 6 < ,
2
ou seja, que
(n N) : n > p = d (f, fn ) < .
Isto afirmar que (fn )nN converge para f.
Segunda resoluo: O espao mtrico (C([0, 1]), d ) um sub-espao de
(Fl ([0, 1]), d ), que um espao mtrico completo (exemplo 1.5.4). Logo,
para mostrar que (C([0, 1]), d ) completo basta, pela proposio 1.5.2,
que se mostre que C([0, 1]) um fechado de (Fl ([0, 1]), d ). Mas isso
foi visto no exemplo 1.3.11. Para alm do mtodo empregue neste
exemplo, tambm possvel demonstrar directamente que C([0, 1])
um fechado de (Fl ([0, 1]), d ), i. e. que o seu complementar um aberto
de (Fl ([0, 1]), d ). Para tal, seja f Fl ([0, 1]) uma funo descontnua.
Ento f descontnua em algum a [0, 1], pelo que, para algum R+ ,
( R )(x [0, 1]) : |x a| < f(x) f(a) > .
+
Seja
g B(f,
/3). Se R+ , seja x [0, 1] tal que
|x a| < e que
f(x) f(a) > . Ento, se se tivesse g(x) g(a) < /3, tinha-se
f(x) f(a) 6 f(x) g(x) + g(x) g(a) + g(a) f(a)
< + +
3 3 3
= ,
176
Exerccio n61
1. Basta aplicar o teorema do ponto fixo de Banach funo
E
E
x
F(i, x)
para cada i I.
2. Seja i I; quer-se mostrar que a funo
I E
i
i
contnua. Se j I tem-se:
dE (i , j ) = dE F(i, i ), F(j, j )
6 dE F(i, i ), F(j, i ) + dE F(j, i ), F(j, j )
6 dE F(i, i ), F(j, i ) + KdE (i , j ),
pelo que
1
dE F(i, i ), F(j, i ) .
(A.9)
1K
Seja > 0. Como F contnua em (i, i ), existe > 0 tal que
dIE (i, i ), (j, k ) < = dE F(i, i ), F(j, k ) < (1 K).
Logo, se dI (i, j) < , tem-se dIE (i, i ), (j, i ) < e ento
dE (i , j ) 6
177
Captulo 2
Exerccio n4
1. Pela definio de T sabe-se que , R T; falta ento ver que T
estvel para a reunio e para a interseco finita.
S
Seja (Ai )iI uma famlia de elementos de T e seja A = iI Ai ;
pretende-se mostrar que A T. Se algum Ai for igual a R, ento
A = R T; pode-se pois supor que todos os Ai so diferentes de R.
Tambm se pode supor que todos os Ai so diferentes de , pois caso
contrrio tem-se duas possibilidades.
Qualquer Ai vazio; ento A = T.
0
Existe algum i I tal
S que Ai 6= ; seja I = { i I | Ai 6= }.
ento claro que A = iI 0 Ai .
178
Exerccio n6
1. Vai-se resolver o problema desta alnea recorrendo ao exerccio 5. Quer-se ento provar que F = { V(I) | I C[x1 , . . . , xn ] } contm
o conjunto vazio, contm Cn e estvel para reunies finitas e para
interseces arbitrrias.
Tem-se F porque = V({1}). Analogamente, Cn F porque
n
C = V({0}) (e tambm igual a V()).
Se (Ij )iI for uma famlia de partes de C[x1 , . . . , xn ] ento, para cada
w Cn , tem-se
w
V(Ij ) (j I) : w V(Ij )
jI
(j I)(P Ij ) : P(w) = 0
!
[
P
Ij : P(w) = 0,
jI
T
S
pelo que jI V(Ij ) = V
jI Ij .
Finalmente se I1 , I2 , . . . , In Cn [x1 , . . . , xn ], seja I = I1 .I2 . . . In ;
n
posto de outro modo,
QnI o conjunto dos polinmios P C [x1 , . . . , xn ]
que so da forma k=1 Pk , com, para cada k {1, 2, . . . , n}, Pk Ik .
Ento, se w Cn ,
n
[
w
V(Ik ) (k {1, 2, . . . , n}) : w V(Ik )
k=1
(k {1, 2, . . . , n})(P Ik ) : P(w) = 0
(A.10)
= (P I) : P(w) = 0.
Esta ltima implicao uma equivalncia, pois se no se tiver (A.10),
ento, para cada k {1, 2, . . . , n}, existe algum Pk Ik tal que Pk (w) 6= 0,
de onde resulta
Sn que P1 .P2 . . . Pn ( I) no se anula em w. Est ento
provado que k=1 V(Ik ) = V(I).
2. A afirmao que se pretende demonstrar equivale a esta: os
conjuntos da forma V(I) (I C[x]) so C e as partes finitas de C.
Se I C[x] ento I {0} ou I contm algum P(x) C[x] no
nulo.
No primeiro caso, V(I) = C e, no segundo, V(I) zeros de P(x) . Este
ltimo conjunto finito, pelo que V(I) tambm finito.
Reciprocamente, seja F C um conjunto que seja igual a C ou que
seja finito. Noprimeiro
caso,
F = V({0}) e, no segundo, se F = {z1 , . . . , zn },
Qn
ento F = V
(z
z
)
.
k
k=1
179
3. Se F um fechado de (Cn , T) ento, para algum I C[x1 , . . . , xn ],
\
\
F = V(I) =
{zeros de P} =
P1 ({0}).
PI
PI
nN
\
nN
Vn 6= {a}.
180
R
se x 6 0
caso contrrio.
Esta funo descontnua como funo de (R, T) em (R, T). Para ver
que contnua se entendida como funo de (R, Te ) em (R, T), basta
181
ver que contnua em cada x R. Se V for uma vizinhana de f(x),
ento f1 (V) s pode ser igual a ] , 0], a ]0, +[ ou a R. Todos estes
conjuntos so elementos de Te , pelo que f contnua.
6a. O exemplo anterior tambm serve neste caso.
6b. Basta tomar f(x) = x. O conjunto ]0, 1] pertence a Te , mas
1
f (]0, 1]) = [1, 0[ e este conjunto no pertence a Te , pois no vizinhana de 1.
7. A topologia mais fina contida simultaneamente em Te e em Td
a topologia usual T. Por um lado, j foi visto que tanto Te quanto Td
contm T. Por outro lado, se A Te Td , ento, para cada a A,
existe b < a tal que ]b, a] A (pois A Te ) e existe c > a tal que
[a, c[ A (pois A Td ); logo, ]b, c[ A, pelo que A vizinhana de a
relativamente topologia T. Como A vizinhana de todos os seus
pontos, A T.
A topologia menos fina que contm Te e Td a topologia discreta,
ou seja, P(R). De facto, seja T 0 uma topologia mais fina do que Te e do
0
que Td e seja a R.
S Visto que0 {a} =]a 0 1, a] [a, a + 1[, {a} T . Se
A R, ento A = aA {a} T . Logo, T = P(X).
Exerccio n20
1. Suponha-se que f contnua em b R; pretende-se demonstrar
que f semi-contnua superiormente e inferiormente em b. Afirmar
que f semi-contnua superiormente em b significa que se V for uma
vizinhana de f(b) (relativamente topologia do exerccio 4), ento
f1 (V) uma vizinhana de b. Visto que V( R) uma vizinhana
de f(b) sse V contm algum intervalo da forma ] , a[ com a > f(b),
ento para mostrar que f semi-contnua superiormente em b bastar
mostrar que f1 (] , a[) uma vizinhana de b quando a > f(b). Mas
isto bvio, pois f contnua e ] , a[ um aberto para a topologia
usual de R. Mostra-se de maneira anloga que f semi-contnua
inferiormente.
Suponha-se agora que f semi-contnua superiormente e inferiormente em b R. Quer-se mostrar que f contnua em b, ou seja,
quer-se mostrar que, para cada vizinhana V de f(b), f1 (V) uma
vizinhana de b. Se V for uma vizinhana de f(b), existe algum > 0
tal que V ]f(b) , f(b) + [. Ento tem-se:
f1 (V) f1 (]f(b) , f(b) + [)
= f1 (] , f(b) + []f(b) , +[)
= f1 (] , f(b) + [) f1 (]f(b) , +[).
182
se a > 1
R
1
A (] , a[) = A{ se 0 < a 6 1
se a 6 0
e os conjuntos R, A{ e so abertos de R.
3. Tem-se:
f semi-contnua superiormente
(a R) : f1 (] , a[) um aberto
(a R) : (f)1 (] a, +[) um aberto
(a R) : (f)1 (]a, +[) um aberto
f semi-contnua inferiormente.
4. Suponha-se que, para cada , f semi-contnua superiormente; pretende-se demonstrar que inf f semi-contnua superiormente, ou seja, que, para cada a R, (inf f )1 (] , a[) um
aberto de R. Observe-se que, para cada x R:
x
inf f
1
( ) : f (x) < a
e, portanto, que se tem:
inf f
1
(] , a[) =
f1 (] , a[).
183
Exerccio n25
Seja x M. Tem-se ento f(x) R x (por ii.), mas
f(x) R x = g f(x) R g(x) (por iii.)
(x) R g(x)
= g (x) R g g(x) (por iii.)
g (x) R g(x) (por i.)
= f g (x) R f g(x) (por iii.)
( )(x) R (x).
(A.11)
184
Aj
(Ai ) = Ai .
jJ
Aj
Aj
jJ
(A.13)
jJ
Sn
j=1
Aj F.
+1
2x
negativo e x2 +1 tem o mesmo sinal que x, pelo que f(x) est no quarto
quadrante (se x > 0) ou no segundo (se x < 0). Por outro lado, tem-se
lim f(x) = (0, 0),
x+
185
um homeomorfismo cuja inversa
S1 \ {(0, 1)}
(x, y)
R
x
1y
x2 + 1 x2 + 1 x2 + 1
para algum x R \ {0}, ento (u, v/u) = (x), pelo que
x=
u
u2
=
1 v/u
uv
uv
Visto que esta funo claramente contnua, f|R\{0} um homeomorfismo.
3. Considere-se a funo:
h : R
x
x1
R
se x 6= 0
se x = 0.
186
se u > 0 e v 6 0
(u, v)
((u, v) L) : gL (u, v) = (u, v) se u 6 0 e v > 0
(1, 0)
nos restantes casos.
Esta funo descontnua pois, por um lado, gL (0, 0) = (0, 0) e, por
outro, lado qualquer vizinhana de (0, 0) contm pontos da forma (u, v)
com u, v > 0, pontos estes que so enviados por gL em (1, 0).
Exerccio n39
Se Q fosse topologicamente completo, resultaria do teorema de Baire
que qualquer interseco de uma famlia numervel de abertos densos
de Q teria interseco densa. Mas a famlia (Q \ {q})qQ uma famlia
numervel de abertos densos de Q com interseco vazia.
Exerccio n48
Considere-se a funo
f : R
x
R
x
1 + |x|
Pela definio de d tem-se que (x, y R) : d(x, y) = f(x) f(y)
pelo que, se I = f(R), f uma bijeco de (R, d) em I (relativamente
187
Isto mostra que I =] 1, 1[ e que f uma bijeco de R em ] 1, 1[ cuja
inversa
f1 : ] 1, 1[
R
x
x
1 |x|
Est ento visto que f uma isometria de (R, d) em ] 1, 1[. Como este
ltimo espao no completo, (R, d) tambm no completo.
Para ver que a topologia induzida por d a usual basta provar
que a funo id : R (R, d) um homeomorfismo se se considerar no
domnio a topologia usual. Visto que f um homeomorfismo de (R, d)
em ] 1, 1[, isto o mesmo que provar que f id um homeomorfismo
de R em ] 1, 1[, ambos munidos da topologia usual. Mas isto bvio,
pois f contnua e f1 tambm.
Exerccio n50
A condio (a) do enunciado significa que, para cada R+ ,
(p N)(m, n N) : m, n > p = d(xm , xn ) < ,
(A.14)
m 6= n (m < p n < p) .
m + 1 n + 1
n
Como a sucesso n+1
crescente,
nN
p
p1
1
= 2
6= 0.
p+1
p
p +p
m
n
Se m, n N forem tais que m+1
n+1
< ento, pela definio de ,
m = n ou m, n > p. Em qualquer dos casos, d(xm , xn ) < .
Se se tiver (A.15),
se existir algum R+ tal que, para
mou seja,
n
cada m, n N, se m+1 n+1
< , ento d(xm , xn ) < , seja p N
p
tal que 1 < p+1 . Se m, n N forem tais que m, n > p, ento os
h
h
p
m
n
nmeros
e
esto em
, 1 ]1 , 1[. Logo, m n <
=
m+1
n+1
p+1
m+1
n+1
188
Exerccio n54
Vai-se mostrar
que o
do grfico de f, ou seja, o con complementar
2
junto A = (x, y) E y 6= f(x) um aberto de E2 . Seja (x, y) A;
vai-se mostrar que A vizinhana de (x, y). Resultar daqui que A
aberto, pois vizinhana de todos os seus pontos.
Como (x, y) A, y 6= f(x). Logo, como E separado, existem abertos
Af(x) e Ay de E tais que f(x) Af(x) , y Ay e Af(x) Ay = . Seja
Ax = f1 (Af(x) ). Ento x Ax e, como f contnua, Ax um aberto
de E, pelo que Ax Ay um aberto de E2 . Se (z, w) Ax Ay , ento
w 6= f(z), pois z Ax = f(z) Af(x) e ento, como w Ay e Af(x) e Ay
no se intersectam, w 6= f(z), ou seja, (z, w) A. Est ento provado
que A contm um aberto que contm (x, y), nomeadamente Ax Ay .
Exerccio n65
1. Sejam
Y+ =
x, sen(1/x) x ]0, +[ ;
Y =
x, sen(1/x) x ] , 0[ ;
Y0 = { (0, y) | 1 6 y 6 1 } .
Y+
x, sen(1/x)
189
um homeomorfismo de ]0, +[ em Y+ e de maneira anloga, ] , 0[
homeomorfo a Y .
Vai-se agora mostrar que no existe nenhuma funo contnua f de
[0, 1] em Y tal que f(0) Y0 e f(1) Y+ . Suponha-se, por reduo ao
absurdo, que uma tal funo f existe. Seja A = { t [0, 1] | f(t) Y0 }
e seja s = sup A; a definio de s faz sentido pois A no vazio, visto
que 0 A. claro que s [0, 1] e que s A; mas ento, visto que
f(A) Y0 , f(s) f(A) f(A) Y0 = Y0 , pois Y0 fechado. Deduz-se
da definio de s que f(]s, 1]) Y0 = ; de facto, f(]s, 1]) Y+ , pois que
f(1) Y+ e f(]s, 1]) uma parte conexa de Y+ Y . Seja agora V uma
vizinhana de f(s) que no contenha nenhum ponto de R2 da forma
(x, 1) (naturalmente, no ser possvel encontrar uma tal vizinhana se
f(s) = (0, 1), mas nesse caso bastar considerar uma vizinhana de f(s)
que no contenha nenhum ponto de R2 da forma (x, 1) e proceder de
maneira anloga). Visto que f contnua em s, existe algum intervalo
aberto U tal que s U [0, 1] e tal que f(U) V. Seja t ]s, 1] U;
ento f(t) = (x, sen(1/x)) para algum x ]0, +[. Seja y ]0, x[ tal que
sen(1/y) = 1. Sabe-se que (y, sen(1/y)) 6 V, pelo que f(U) contm pelo
menos um elemento de Y com primeira coordenada nula (por exemplo,
f(s)) e pelo menos um elemento de Y com primeira coordenada maior
do que y (por exemplo, f(t)), mas no contm nenhum elemento cuja
primeira coordenada seja igual a y. Logo f(U) no conexo, o que
absurdo, pois U conexo e f contnua.
Pode-se mostrar de maneira anloga que no existe nenhuma funo contnua f : [0, 1] Y tal que f(0) Y0 e f(1) Y+ . Finalmente,
se existisse alguma funo f : [0, 1] Y contnua tal que f(0) Y e
f(1) Y+ , ento, pelo teorema dos valores intermdios, existiria algum
t0 ]0, 1[ tal que a primeira coordenada de f(t0 ) seria nula, pelo que se
teria f(t0 ) Y0 . Mas ento a funo
g : [0, 1]
Y
t
f(t0 + t(1 t0 ))
seria contnua e ter-se-ia g(0) = f(t0 ) Y0 e g(1) = f(1) Y+ , o que
absurdo, conforme j foi visto.
Exerccio n74 (alneas 1., 2., 3. e 4.)
1. Se A for um aberto de E, ento A \ {} um aberto de E pois
igual a A. Caso contrrio, E\(A\{}) = A{ , que compacto e, portanto,
uma vez que E separado, um fechado de E, pela proposio 2.5.2.
Logo, A \ {}) um aberto de E.
190
Aj
jI
A{j A{i .
jI
Como
/ A{i , jI A{j = jI A{j \ {} . Mas cada conjunto do tipo
A{j \ {} (j I) um fechado de E, pois E \ (A{j \ {}) = Aj \ {} e,
T
pela primeira alnea, A{j \ {} um aberto de E. Logo, jI A{j \ {}
um fechado do compacto A{i e, portanto, Scompacto, pela proposio 2.5.1. Est ento provado que o conjunto jI Aj contm e que o
seu complementar compacto, pelo que pertence a T.
Finalmente, T
seja (Aj )jI uma famlia finita de elementos de T; quer-se mostrar que jI Aj T. Se pertencer a todos os Aj (j I), ento
tambm pertence interseco e
!{
\
[
Aj
=
A{j .
T
jI
jI
jI
191
S
i0 I tal que Ai e ento A{i compacto. Como A{i E = jI Aj ,
(A{i Aj )jI uma cobertura aberta de A{i . Mas ento, S
uma vez que A{i
{
compacto, existe uma parte finita F de I tal que Ai jF (Aj A{i ) e,
portanto,
[
[
E = Ai A{i = Ai
Aj =
Aj .
jF
jF{i}
Fj =
n
\
j=1
(F?j
K)
n
\
Fj
j=0
192
pelo que
d
x(m),
x(n)
= 1. Sendo assim, nenhuma
sub-sucesso de
x(n) nN pode ser de Cauchy, pelo que x(n) nN no tem sub-sucesses convergentes. Logo, (E, d ) no compacto, pelo teorema 2.5.5.
Exerccio n81
(a) (b) Seja uma funo que preserva as distncias de (E, d) num
espao mtrico completo (F, d 0 ). Como preserva as distncias e L
totalmente limitado, (L) tambm totalmente limitado. Seja K = (L).
Ento K totalmente limitado. Como tambm fechado e (F, d 0 )
completo, K completo. Visto que K tambm totalmente limitado,
compacto.
(b) (a) Se existir uma isometria f naquelas condies, ento f(L)
totalmente limitada, pois compacta. Logo, f(L) totalmente limitado,
por ser um subconjunto do anterior. Como f preserva as distncias,
L tambm totalmente limitado.
Captulo 3
Exerccio n6
Quem examinar a demonstrao do teorema de Stone-Weierstrass
apercebe-se de que a nica passagem onde poder ser necessrio usar
a condio do enunciado com real mas no necessariamente racional
a passagem na qual se usa implicitamente que se f pertence a uma
lgebra de funes F e P uma funo polinomial de R em R, ento
P f tambm pertence a F. No entanto, as funes polinomiais que
surgem no decorrer da demonstrao so as que resultam de se aplicar
o teorema de Weierstrass a uma restrio da funo mdulo. Mas sabe-se, pela terceira alnea do exerccio 43 do captulo 1, que o teorema de
Weierstrass continua vlido se se considerarem apenas os polinmios
com coeficientes racionais.
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, 32
discreto, 6
totalmente limitado, 117
topolgico, 67
1-numervel, 75
compacto, 106
conexo, 99
conexo por arcos, 104
desconexo, 99
discreto, 71
grosseiro, 72
metrizvel, 68
perfeito, 75
separvel, 88
separado, 74
topologicamente completo,
93
caminho, 104
trao de um, 104
cobertura, 106
completamento, 44, 93
componente conexa, 103
componente conexa por arcos,
104
conjunto
de Cantor, 47, 76, 103, 120
denso, 18, 88
equicontnuo, 152
limitado, 24
totalmente
limitado, 117
ordenado, 113
uniformemente
equicontnuo, 153
193
194
totalmente desconexo, 103
vectorial normado, 3
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
homeomorfismo, 8, 81
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, 30
mtrica, 92
relativa, 30
topolgica, 92
norma, 3
numervel, iii
nmero de Lebesgue, 121
oscilao, 63
plano projectivo, 84, 103, 120
ndice remissivo
ponto
aderente, 15
de uma sucesso, 90
fixo, 36
interior, 15
isolado, 75
princpio da maximalidade de
Hausdorff, 114
pseudo-mtrica, 1
grosseira, 1
recta acabada, 69
relativamente compacto, 122
sistema fundamental de
vizinhanas, 74
sub-cobertura, 106
sub-espao
mtrico, 72
mtrico, 5
topolgico, 73, 82
sub-sucesso, 27
sucesso, 24
convergente, 24, 89
de Cauchy, 29
divergente, 24, 89
pontualmente convergente,
99
quase-constante, 40, 89
uniformemente convergente,
134
supremo, iii
teorema
da aproximao de
Weierstrass, 19, 150
de Arzel-Ascoli, 155
de Baire, 38, 93
de Bolzano-Weierstrass, 33,
112
de Heine-Borel, 106, 117
de Kakutani-Krein, 145
ndice remissivo
de Picard-Lindelf, 61
de Stone-Weierstrass, 150
de Tychonoff, 114, 156
de Weierstrass, 145
do ponto fixo de Banach, 36
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, 82
mais fina, 72
menos fina, 72
produto, 97
ultra-mtrica, 51
vizinhana, 13, 74
195