Escolar Documentos
Profissional Documentos
Cultura Documentos
TOPOLOGIA
Jos Carlos Santos
Departamento de Matemtica
Faculdade de Cincias da Universidade do Porto
Agosto de 2017
Observaes
R+ {x R | x > 0}
R+ {x R | x > 0}
K R ou C
P(E) {partes de E}
(r R) : 6 r 6 +.
iii
ndice
Observaes iii
ndice v
1 Espaos mtricos 1
1.1 Definies e propriedades elementares . . . . . . . . . . 1
1.1.1 Mtricas e pseudo-mtricas . . . . . . . . . . . . 1
1.1.2 Definio de espao mtrico . . . . . . . . . . . . 4
1.2 Funes contnuas . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Caso geral . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Tipos particulares de funes contnuas . . . . . 8
1.3 Abertos e fechados num espao mtrico . . . . . . . . . . 10
1.4 Sucesses . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4.1 Sucesses convergentes . . . . . . . . . . . . . . . 24
1.4.2 Sucesses de Cauchy . . . . . . . . . . . . . . . . 30
1.5 Espaos mtricos completos . . . . . . . . . . . . . . . . 33
1.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2 Espaos topolgicos 67
2.1 Definies e motivao . . . . . . . . . . . . . . . . . . . 67
2.2 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . 71
2.2.1 Topologias . . . . . . . . . . . . . . . . . . . . . . 71
2.2.2 Vizinhanas . . . . . . . . . . . . . . . . . . . . . 74
2.2.3 Funes contnuas . . . . . . . . . . . . . . . . . . 79
2.2.4 Aderncia e interior . . . . . . . . . . . . . . . . . 85
v
vi ndice
2.2.5 Sucesses . . . . . . . . . . . . . . . . . . . . . . . 88
2.2.6 Espaos topologicamente completos . . . . . . . . 92
2.3 Produtos de espaos topolgicos . . . . . . . . . . . . . . 95
2.4 Espaos conexos . . . . . . . . . . . . . . . . . . . . . . . 99
2.5 Espaos compactos . . . . . . . . . . . . . . . . . . . . . 105
2.5.1 Caso geral . . . . . . . . . . . . . . . . . . . . . . 105
2.5.2 Produtos de espaos compactos . . . . . . . . . . 113
2.5.3 Espaos mtricos compactos . . . . . . . . . . . . 117
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
A.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
A.2 Interseco de circunferncias . . . . . . . . . . . . . . . . . 165
A.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
A.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
A.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
A.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
vii
Captulo 1
Espaos mtricos
1
2 Espaos mtricos
qz
@
@d(y, z)
@
@
d(x, z)
@q
"y
"
"
"
"
"" d(x, y)
q
x
"
d : E E R+
1 se x 6= y
(x, y)
0 caso contrrio.
d : Fl (X) Fl (X) R+
supf(x) g(x),
(f, g)
xX
1. (v V) : kvk = 0 v = 0;
x y d(x, y) = 0;
d : (E/) (E/)
R+
[x], [y] d(x, y),
1.2 Funes contnuas 5
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.
(1.2)
(x E1 ) : d1 (x, a) < = d3 (g f)(x), (g f)(a) < .
(1.3)
(x E2 ) : d2 x, f(a) < = d3 g(x), g(f(a)) <
(1.4)
(x E1 ) : d1 (x, a) < = d2 f(x), f(a) < .
f : E1 E2 e g : E2 E3
R2 R2
(x, y) (y, x)
fn : R R
1 se x = n
x
0 caso contrrio.
Z { fn | n Z }
n fn
Homeomorfismos
Definio 1.2.3 Diz-se que uma funo f : (E1 , d1 ) (E2 , d2 ) entre
espaos mtricos um homeomorfismo se for uma bijeo contnua e se
a inversa tambm for contnua.
R R
x x3 ,
1.2 Funes contnuas 9
Continuidade uniforme
Sejam (E1 , d1 ) e (E2 , d2 ) espaos mtricos e f uma funo de E1 em E2 .
Quem examinar a definio de funo contnua v que afirmar que f
contnua o mesmo que afirmar que, dados a E1 e R+ , existe
algum dependente de a e de tal que
(1.5)
(x E1 ) : d1 (x, a) < = d2 f(x), f(a) < .
Em alguns casos, possvel, para cada R+ , escolher um que
depende unicamente de para qual se tem (1.5) qualquer que seja
a E1 .
Definio 1.2.4 Sejam (E1 , d1 ) e (E2 , d2 ) espaos mtricos e f uma
funo de E1 em E2 . Diz-se que f uniformemente contnua se
( R+ )( R+ )(x, y E1 ) : d1 (x, y) < = d2 f(x), f(y) < .
2
=1+
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 y
( R+ )( R+ ) : B(x, ) f1 B f(x), .
(x X)( R+ ) : B(x, ) X.
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
que aberto.
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
Exemplo 1.3.7 Se a, b R com a < b, seja C([a, b]) o espao das fun-
es contnuas de [a, b] em C. Considere-se neste conjunto a mtrica
do supremo,3 seja 0 a funo nula e seja
1
V = f C([a, b]) (x [0, 1]) : f(x) 6 .
2
f : [0, 1] R
1 x/ se x <
x
0 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, ).
3
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.
1.3 Abertos e fechados num espao mtrico 15
Observe-se que:
1. afirmar que x no ponto aderente de A o mesmo que afirmar
que x ponto interior de A{ ou, posto de outro modo
A = A{ ;
{
(1.6)
2. A A 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}.
[a, b] R
f(x) se x > a
x
f(a) + /2 se x = a
4
Como ser visto j a seguir (corolrio 1.3.1), um conjunto igual prpria
aderncia se e s se for fechado.
16 Espaos mtricos
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
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 complementa-
res.
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.
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;
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;
B(x, x ) f1 B f(x), x .
Ento [ [
f1 (A) = {x} B(x, x ) f1 (A),
xf1 (A) xf1 (A)
pelo que [
f1 (A) = B(x, x ).
xf1 (A)
para algum R+ . Para tal, basta ver que, umavez que B f(x),
f
2
P2
P6
P10
5 5
pelo que
x a
(x [a, b]) : f(x) P
< .
ba
Vai-se ento trabalhar no intervalo [0, 1]. Comece-se por observar
que, visto que [0, 1] um intervalo fechado e limitado de R e f contnua,
sabe-se que
existe algum M R+ tal que
Pn : [0, 1] K
Xn
n k
x f xk (1 x)nk .
k=0
k n
rn,k : [0, 1] R
n k
x x (1 x)nk .
k
5
Ambos os teoremas mencionados nesta observao so teoremas de Anlise Real
que sero generalizados posteriormente (corolrio 2.5.2 e teorema 2.5.6 respectiva-
mente). Observe-se que o primeiro destes teoremas j tinha sido mencionado no
exemplo 1.3.7.
6
Os polinmios em questo designam-se por polinmios de Bernstein.
1.3 Abertos e fechados num espao mtrico 21
f
P2
P6
1/2 P18
pelo que
X X
f(x) f k rn,k (x) <
rn,k (x)
kA
n kA
2
x,n x,n
X
n
6 rn,k (x)
2 k=0
=
2
Por outro lado, se k {0, 1, . . . , n},
(x k/n)2
k
k Bx,n x >
> 1,
n 2
pelo que
X X
f(x) f k rn,k (x) 6 2M
rn,k (x)
kBx,n
n kBx,n
2M X
2
k
6 2 x rn,k (x)
kB n
x,n
2M X
n 2
k
6 2 x rn,k (x)
k=0 n
M
6 (por (1.11))
2n2
1.4 Sucesses
A noo de sucesso que vai ser empregue a seguinte:
l = lim xn .
nN
Repare-se que afirmar que, num espao mtrico (E, d), uma suces-
so (xn )nN converge para l equivalente a afirmar que a sucesso
(d(xn , l))nN converge para 0 em R relativamente mtrica usual.
Exemplo 1.4.2 Num espao mtrico discreto E, uma sucesso (xn )nN
converge para l E se e s se xn = l para n suficientemente grande.
fn : [0, 1] R
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) relativa-
mente mtrica do integral, pois, para cada n N,
Z1 Z1
1
d1 (fn , 0) = |fn | = fn =
0 0 2n
1/2n 1/n 1
ou seja, limnN fn (x) = f(x). Mas limnN fn (x) = 0, seja qual for x
[0, 1], pois
se x = 0, (n N) : fn (x) = 0;
Uma sucesso pode ser convergente num espao mtrico e ser di-
vergente num sub-espao mtrico. Por exemplo, a sucesso (1/n)nN
convergente em R (relativamente mtrica usual) mas divergente no
sub-espao R+ .
Proposio 1.4.1
Num espao mtrico, uma sucesso convergente no pode ter mais do
que um limite.
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 ) d(l1 , l2 )
d(l1 , l2 ) 6 d(l1 , xn ) + d(xn , l2 ) < + = d(l1 , l2 )
2 2
o que absurdo.
N N
k nk
Proposio 1.4.3
Num espao mtrico, se uma sucesso convergir, ento qualquer sua
sub-sucesso converge para o mesmo limite.
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.
Corolrio 1.4.1
Seja X um sub-conjunto de um espao mtrico. So condies equiva-
lentes:
1. o conjunto X fechado;
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), .
Fx : Fl (X) K
f f(x)
30 Espaos mtricos
contnua. Mas ento, sempre que alguma sucesso (fn )nN de ele-
mentos 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
pelo que, dado R+ , se p1 N for tal que 2p1 < ento tem-se
fn : [0, 1] R
n n x se x < 1/n2
3
x
0 caso contrrio
1/n2 1
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.
Proposio 1.4.6
Qualquer sucesso convergente de Cauchy.
32 Espaos mtricos
Lema 1.4.1
Seja E um espao mtrico e seja (xn )nN uma sucesso de Cauchy de
elementos de E. Se (xn )nN tiver alguma sub-sucesso convergente,
ento (xn )nN convergente.
Proposio 1.4.7
Se E1 e E2 so espaos mtricos, f : E1 E2 uma funo uniforme-
mente contnua
e (xn )nN uma sucesso de Cauchy de elementos de E1 ,
ento f(xn ) nN tambm uma sucesso de Cauchy.
1.5 Espaos mtricos completos 33
Cn R2n
(z1 , z2 , . . . , zn ) (Re z1 , Im z1 , Re z2 , Im z2 , . . . , Re zn , Im zn )
Proposio 1.5.1
Sejam E1 e E2 espaos mtricos e f : E1 E2 uma bijeco tal que f e
f1 sejam uniformemente contnuas. Ento E1 completo se e s se E2
completo.
Proposio 1.5.3
Se E for um espao mtrico completo e (Fn )nN for uma sucesso decres-
cente de fechados no vazios de E tal que
lim diam(Fn ) = 0,
nN
T
ento o conjunto nN Fn tem um e um s elemento.
xm , xn Fmin{m,n} Fp
o que absurdo.
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
pelo que, se n Z+ e p N,
kmin{m,n}
d(xm , xn ) < d(x1 , x0 )
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
1. n 0, 2n ;
\ \
B 0 (xn , n ) (B(xn , n ) An )
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
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.
Analogamente, existe y 0 X tal que d1 (y, y 0 ) < 0/4 e d2 F(y), f(y 0 ) <
/3. Ento
d1 (x 0 , y 0 ) 6 d1 (x 0 , x) + d1 (x, y) + d1 (y, y 0 )
0 0 0
< + +
4 2 4
= 0.
s = (x1 , x2 , x3 , x4 , x5 , x6 , . . .)
42 Espaos mtricos
s1 = (x1 , x1 , x1 , x1 , x1 , x1 , . . .)
s2 = (x1 , x2 , x2 , x2 , x2 , x2 , . . .)
s3 = (x1 , x2 , x3 , x3 , x3 , x3 , . . .)
s4 = (x1 , x2 , x3 , x4 , x4 , x4 , . . .)
...
Teorema 1.5.3
Se E for um espao mtrico, existe um espao mtrico completo E ^ e uma
^ que preserva a mtrica e tal que j(E) denso em E.
funo j : E E ^
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
pelo que
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
6 lim d(xn , yn ) + d(yn , zn )
nN
= lim d(xn , yn ) + lim d(yn , zn )
nN nN
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 .
= lim d2 xn , (y)
nN
= 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 y) contnua. De
d(x, facto, at
uniformemente contnua, uma vez que (x1 , x2 E) : d(x1 , y) d(x2 , y) 6 d(x1 , x2 ).
46 Espaos mtricos
[0, 1] R
1/x se x > 1/n2
x
n caso contrrio.
claro que (fn )nZ+ uma sucesso de elementos de R10 ([0, 1]) e que
Z1 n
2
(n Z+ ) : fn = 1 3 1 .
0 3
pelo que
Z b0 Z1
|f| 6 lim |f fn | = 0. (1.22)
a0 nZ+ 0
50 Espaos mtricos
Mas se inf f([a, b]) = x > 0 ento inf |f|([a 0 , b 0 ]) > x, pelo que
Z b0
|f| > x.(b a) > 0,
a0
R([a, b]) R
Zb
f f
a
1.6 Exerccios
1) Verifique que a mtrica discreta efectivamente uma mtrica.
2) Mostre que a funo:
d : 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
2. Caso se substitua o espao C([0, 1]) pelo espao das funes inte-
grveis segundo Riemann de [0, 1] em R, a funo d1 continua a
ser uma distncia?
Considere a funo:
dp : Q Q Q
(r, s) |r s|p
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:
X
n
d(x1 , xn+1 ) 6 d(xk , xk+1 ).
k=1
d1 : E E R
(x, y) min d(x, y), 1
e
d2 : E E R
d(x, y)
(x, y)
1 + d(x, y)
Mostre que d1 e d2 so distncias.
9) Seja E um conjunto e seja d : E E R uma funo tal que:
1. (x, y E) : d(x, y) = 0 x = y;
2. (x, y E) : d(x, y) = d(y, x);
3. (x, y, z E) : d(x, z) 6 d(x, y) + d(y, z).
Mostre que d uma distncia.
10) Sejam (E1 , d1 ) e (E2 , d2 ) dois espaos mtricos. Mostre que qualquer
funo constante de E1 em E2 contnua.
11) Sejam (E1 , d1 ) e (E2 , d2 ) dois espaos mtricos, sendo d1 a mtrica
discreta. Mostre que qualquer funo f : E1 E2 contnua.
12) Sejam d1 a mtrica usual em R e d2 a mtrica discreta em R. Mostre
que a funo
(R, d1 ) (R, d2 )
x x
descontnua em todos os pontos do domnio.
13) Usando as notaes do exerccio 8, mostre que as funes
(E, di ) (E, d)
x x
e
(E, d) (E, di )
x x
so uniformemente contnuas (i {1, 2}).
14) Dados um espao mtrico (E, d) e um elemento y E, mostre que a
funo:
E R
x d(x, y)
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] R
x2 sen (1/x2 ) se x > 0
x
0 se x = 0.
1. A funo:
C([0, 1]) R
f f(0)
contnua?
se x R \ Q, ento f(x) = 0.
(Q, dp ) (Q, d)
r r
[0, +[ [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 homeo-
morfos.
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 R2
|x|+|y| (x, y) se (x, y) 6= (0, 0)
2
x +y 2
(x, y)
(0, 0) se (x, y) = (0, 0).
1. Mostre que:
1. usual;
2. discreta;
1. [1, 1] Q;
2. { pn | n N };
3. { pn | n N } {0};
i h
4. 2, 2 Q.
56 Espaos mtricos
3. Mostre que uma bola aberta um fechado e que uma bola fechada
um aberto.
2. A funo
E R
x d(x, A)
uniformemente contnua.
a) {(1, 1)};
b) { (x, y) R2 | xy = 1 };
c) Q2 ;
d) { (x, y) R2 | xy < 0 }.
1. A limitado;
1. C1 ([1, 1]);
3. Q[x].
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 corol-
rio 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
1. f um homeomorfismo;
1.6 Exerccios 61
61) Sejam (I, dI ) e (E, dE ) dois espaos mtricos, sendo (E, dE ) completo.
Considere em I E a mtrica
d : (I E) (I E) R
(i, x), (j, y) max dI (i, j), dE (x, y) .
Mostre que:
2. A funo
I E
i i
contnua.
63) Este exerccio tem como objectivo provar que se p for uma funo
polinomial de C em C, ento o conjunto
A = { p(z) | z C p 0 (z) 6= 0 }
um aberto de C.
X
n
(w C) : p(w) = w + bk wk .
k=2
i. w0 = 0;
X
n
ii. (m Z+ ) : wm+1 = c bk wm k .
k=2
a) (k Z+ ) : |wk | 6 ;
b) (k N) : |wk+1 wk | 6 |wk wk1 |;
c) a sucesso (wn )nZ+ converge.
a) a funo f contnua em a;
b) oscf (a) = 0.
1. Mostre que (n N) : Vn = .
66) Seja (In )nN uma sucesso de intervalos de [0, 1] com mais do que
um ponto.
1. Mostre que existe alguma funo f C([0, 1]) cuja restrio a qual-
quer intervalo In (n N) no montona. Sugesto: empregue o
exerccio 42.
[0, 1], [0, 1/2], [1/2, 1], [0, 1/3], [1/3, 2/3], [2/3, 1], [0, 1/4], . . .
67) Considere uma sucesso (fn )nN de elementos de C([0, 1]) tal que
(n N) : (fn+1 ) 0 = fn .
fa : Q R
x ax ,
1
1. Tendo em conta que lim a n = 1, mostre que para qualquer b R,
nN
uma funo uniformemente contnua.
fa
],b]Q
69) Seja (G, +) um grupo abeliano. Designa-se por grupo das sries
formais com coeficientes em G e representa-se por G[[X]] o grupo cujos
elementos so expresses da forma
X
an Xn
n=1
X X X
! !
n n
an X + bn X = (an + bn )Xn .
n=1 n=1 n=1
X X
!
d an Xn , an Xn = 0
n=1 n=1
P P
e se n=1 an X e
n
n=1 bn X forem dois elementos distintos de G[[X]],
n
ento
X
X
!
d an Xn , an Xn = 2 min{nN:an 6=bn } .
n=1 n=1
70) Neste exerccio vai ser vista outra maneira de descrever o conjunto
de Cantor.
1. Seja x [0, 1]. Mostre que existe alguma sucesso (an )nN de
elementos de {0, 1, 2} tal que
X
n
ak 1
(n N) : 0 6 x 6
k=1
3k 3k
X
ak
x= (1.25)
k=1
3k
Espaos topolgicos
1. , E T;
3. se
T (Aj )jJ for uma famlia de elementos de T e se J for finito, ento
jJ Aj T.
67
68 Espaos topolgicos
^ R
d: R ^ R+
(2.1)
f(x) f(y).
(x, y)
70 Espaos topolgicos
R R ou R R
arctan(x) x
x x
1 + x2 + 1
2.2 Generalidades
2.2.1 Topologias
Repare-se que em qualquer conjunto E possvel definir as seguintes
topologias:
topologia discreta: trata-se da topologia T = P(E); por outras pala-
vras, a topologia para a qual qualquer parte de E um aberto.
Naturalmente, o espao topolgico (E, T) metrizvel; basta con-
siderar em E a mtrica discreta. Um espao topolgico diz-se
discreto se a sua topologia for a topologia discreta.
1
Mais precisamente: se a, c Z e b, d N, ento Pa,b Pc,d da forma Pe,f para
algum e Z e algum f N caso b d seja mltiplo do mximo divisor comum de a e
de c e vazio caso contrrio.
72 Espaos topolgicos
T0 = { A Y | A T } .
F um fechado de Y A um aberto de Y
A = A 0 Y para algum aberto A 0 de X
F = (X \ A 0 ) Y para algum aberto A 0 de X
F = F 0 Y para algum fechado F 0 de X.
2.2.2 Vizinhanas
A definio de vizinhana que foi feita na pgina 13 no necessita
de qualquer alterao no contexto dos espaos topolgicos.
Definio 2.2.4 Um espao topolgico diz-se separado se, para cada
dois pontos distintos x1 e x2 , existirem vizinhanas V1 e V2 de x1 e x2
respectivamente que no se intersectam.
1. x V;
2. (W P(E)) : V W = W Vx ;
3. (W Vx ) : V W Vx ;
4. (W Vx )(y W) : V Vy .
Ento possvel definir uma e uma s topologia T em E tal que, para cada
x E, o conjunto das vizinhanas de x em (E, T) seja Vx , nomeadamente
T = { A E | (x A) : A Vx } . (2.2)
trivial que T.
(x A1 A2 ) : A1 A2 Vx ,
ou seja, A1 A2 T.
78 Espaos topolgicos
Vx = { V R | (a ]x, +[) :] , a[ V } .
1. Tem-se x ] , a[ A.
V W Vx .
Proposio 2.2.4
Sejam E1 e E2 espaos topolgicos. Se x for um ponto isolado de E1 ,
ento qualquer funo f : E1 E2 contnua em x.
( R+ )( R+ ) :]a , a + [ f1 , f(a) + ,
ou seja, se e s se
Teorema 2.2.2
Sejam E1 e E2 espaos topolgicos. Dada uma funo f : E1 E2 , so
ento condies equivalentes:
2. a funo f contnua;
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.
Mas
(g f)1 (V) = f1 g1 (V) .
(0,1)
f(x)
(x,0)
df : R R
R+
f(x) f(y)
.
(x, y)
que um aberto de Z.
Exemplo 2.2.18 Considere-se a funo
: R R
tan(x) se x
/
2
+ Z
x
caso contrrio.
Vejamos que contnua se se considerar em R a topologia do exem-
plo 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,
tan
2 tan(x) tan2 (x)1
,
2 (x)+1 tan2 (x)+1 se x
/ 2 + Z
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) ,
1. a funo g contnua;
2. a funo g f contnua.
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
R3 \ {0} R
xy + yz + zx
(x, y, z)
x2 + y2 + z2
2.2 Generalidades 85
1. se A E, A A A;
2. E = E e = ;
= A e A = A;
3. se A E, ento A
4. se A, B E, ento A B e A B;
z }|
{
5. se A, B E, ento A B = A B e A B = A B.
z }|
{
como A B est contido em A e em B, A B est contido em A e
em B, pelo que est contido na interseco.
1. a funo f contnua em a;
a f1 V { = f(a) f f1 V { V { .
Mas
/ f1 V { a
a / f1 (V){
{
a f1 (V){
z }|
{
a f (V) (por (1.6)),
1
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. se X E1 , ento f X f(X).
2.2 Generalidades 87
f: R2 P2 (R)
(x, y) (x, y, 1),
2.2.5 Sucesses
A noo de sucesso convergente pode ser reformulada em termos
de vizinhanas. De facto, v-se facilmente que se E um espao mtrico,
2.2 Generalidades 89
f f(x, y)
(x, y) (x, y, 1)
(0, 0, 0)
(p N)(n N) : n > p = xn V;
l = lim xn .
nN
Como se pode ver pelo exemplo 2.2.24, no verdade que num espa-
o topolgico E qualquer sucesso convergente tem um e um s limite,
embora este resultado permanea vlido se se supuser que E separado.
De facto, se l E for limite de uma sucesso (xn )nN e se l 0 E \ {l},
ento existem vizinhanas V e V 0 de l e de l 0 respectivamente que no
se intersectam. Por definio de sucesso convergente, tem-se xn V
para n suficientemente grande, pelo que s se pode ter xn V 0 num
nmero finito de casos. Logo, l 0 no limite de (xn )nN . Mas continua
a ser verdade que se uma sucesso de elementos de um espao topol-
gico converge e se l limite da sucesso, ento l tambm limite de
qualquer sub-sucesso da sucesso dada.
Quanto s proposies 1.4.4 e 1.4.5 e ao corolrio 1.4.1, nenhum
destes resultados vlido em geral em espaos topolgicos, embora se-
jam vlidos em espaos topolgicos 1-numerveis. Na demonstrao da
prxima proposio ser visto como se usa esta hiptese. necessrio
comear por introduzir um novo conceito.
Definio 2.2.16 Sejam E um espao topolgico e (xn )nN uma suces-
so de elementos de E. Para cada n N, seja Fn = { xm | m > n }. Se
x E, diz-se que x um ponto aderente de (xn )nN se
\
x Fn .
nN
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
\
(k N) : xnk 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
\
k > p = xnk Vj Vp V.
j=1
Embora possa parecer que tudo o que foi feito foi voltar a enunciar
o teorema de Baire, este resultado de facto muito mais geral. Para
compreender porqu, considere-se ] 1, 1[ munido da topologia usual.
Naturalmente, esta topologia provm da mtrica usual e ]1, 1[ munido
desta mtrica no um espao mtrico completo. No entanto, ] 1, 1[
munido da topologia usual topologicamente completo, como foi visto
na pgina ao lado. Logo, satisfaz as condies do teorema de Baire.
mesmo possvel mostrar que R \ Q munido da topologia usual
topologicamente completo! Basta considerar uma enumerao (qn )nN
dos racionais e definir em R \ Q a distncia
X
1 1
d(x, y) = |x y| + inf 1, max max .
n
2
n=1
j6n |x qj | j6n |y qj |
df : R R R+
(x, y) d f(x), f(y) .
1. Considere-se
f : R R
x x,
com a mtrica em R
^ definida na pgina 82. claro que a aderncia
de f(R)(= R) em R R. Ento o completamento de (R, df ) obtido
acrescentando o ponto a R.
2. Considere-se agora
^
f : R R
x x,
3. Finalmente, se se definir
f : R R2
e , sen(ex )
x
x
((x1 , x2 ) E1 E2 ) : i (x1 , x2 ) = xi .
B = { A 1 A 2 | A 1 T1 e A 2 T2 } .
r0 r0 r0 r0
(y1 , y2 ) y1 , y1 + y2 , y2 +
2 2 2 2
0
B((y1 , y2 ), r ).
Considere-se agora uma famlia (Ei )iI deQ espaos topolgicos. Co-
mo que se pode definir uma topologia em iI Ei que satisfaa as
condies anlogas s duas condies enunciadas na pgina 95? Poder-
-se-ia pensar que seria a topologia que tem por base os produtos de
abertos dos Ei . De facto assim caso I seja finito, mas no caso geral
preciso levar em conta Q que se j I e se A um aberto de Ej ento,
para que a projeco
Q j : Qi Ej seja contnua, preciso que a
iI E
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
Q fi-
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, de-
fine-se a topologia produto no conjunto iI Ei como
Q sendo a topologia
formada pelas reunies de conjuntos da forma iI Ai onde
1. cada Ai um aberto de Ei ;
98 Espaos topolgicos
Proposio 2.3.1
Sejam (Ei )iI uma famlia deQespaos topolgicos, Z um espao topol-
gico e f uma funo de Z em iI Ei . Ento f contnua relativamente
topologia produto se e s se, para cada i I, i f for contnua.
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 ,
ou seja Y
(n N) : n > p = xn Ai A V.
iI
2.4 Espaos conexos 99
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 .
R R2
x (cos(x), sen(x))
(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
T topolgico e (C )S
uma famlia de sub-espaos
conexos de E. Se C 6= , ento C um sub-espao conexo
de E.
102 Espaos topolgicos
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: Q Se iI Ei for conexo e se j I, ento, uma vez que a
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 de-
finida: 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
Proposio 2.4.4
Qualquer espao topolgico conexo por arcos conexo.
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
2.5 Espaos compactos 107
1. s S;
2. b = s.
pelo que
n
! n
[ [
[a, s] = [a, y] [y, s] Ajk Aj0 = Ajk . (2.4)
k=1 k=0
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 .
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.
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.
Proposio 2.5.4
Se K for um espao topolgico, so condies equivalentes:
1. K compacto;
Corolrio 2.5.3
Se K for um espao topolgico compacto e (Fn )nN for uma sucesso
T
decrescente de fechados no vazios de E, ento a interseco nN Fn
no vazia.
Corolrio 2.5.4
Se K for um espao topolgico compacto, qualquer sucesso de elementos
de K tem pontos aderentes.
fn : R R
se x
0 / [n, n + 1]
x 2x 2n se x ]n, n + 1/2]
2n + 2 2x se x [n + 1/2, n + 1[
112 Espaos topolgicos
n n+1
C = { n N | (m N) : m > n = xm 6 xn } ,
h duas possibilidades.
C finito: Ento, se n1 N for maior do que qualquer elemento de C
existe, uma vez que n1 / C, existe algum n2 N tal que n2 > n1
e que xn2 > xn1 . Aplicando o mesmo argumento a n2 resulta que
existe algum n3 N tal que n3 > n2 e que xn3 > xn2 e assim
sucessivamente. Logo, a sucesso (xnk )kN crescente.
7
Repare-se que isto fornece outro exemplo de um sub-espao no compacto F de
um espao mtrico sendo F fechado e limitado.
2.5 Espaos compactos 113
(N C) : M N = M = N.
Demonstrao:
Q No decorrer desta demonstrao, vai-se representar
E
iI i por E.
Se E for compacto ento, visto que nenhum Ei vazio, cada pro-
jeco 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 }
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 ele-
mentos 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 abertoQ 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
Q
para cada i I \ J, Ai = Ei . Se, para cada j J, A(j) = iI Ai , com
Ei se i 6= j
(i I) : Ai =
Aj caso contrrio,
A(j) F (F F) : A(j) F 6=
(F F) : 1
j (Aj ) F 6=
(F F) : Aj j (F) 6=
(F Fj ) : Aj F 6=
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.
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
resulta de (2.6) que A n
S
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.
Teorema 2.5.5
Se K for um espao mtrico, ento as condies seguintes so equivalen-
tes:
1. K compacto;
2. K completo e totalmente limitado;
3. qualquer sucesso de elementos de K possui uma sub-sucesso
convergente.
2.5 Espaos compactos 119
Definio 2.5.5 Seja E um espao mtrico e seja (Aj )jJ uma cobertura
aberta de E. Ento diz-se que um nmero R+ um nmero de
Lebesgue da cobertura dada se qualquer bola aberta de raio estiver
contida em algum elemento da cobertura.
Teorema 2.5.6
Se (K, dk ) e (E, dE ) so espaos mtricos, sendo K compacto, ento qual-
quer funo contnua de K em E uniformemente contnua.
1. X relativamente compacto;
3. X totalmente limitado.
2.6 Exerccios 123
n
[ n
[ n
[
X B(xk , 0) = B(xk , 0) B(xk , ).
k=1 k=1 k=1
2.6 Exerccios
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.
2. A topologia T no metrizvel.
3. A topologia T no pseudo-metrizvel.
1. , E F;
3. se
S (Aj )jJ for uma famlia de elementos de F e se J for finito, ento
jJ Aj F.
topologia em Cn .
7) Considere em R as topologias:
2.6 Exerccios 125
T: topologia usual;
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
Vn = { V Z | (m N)(k Z) : n + km V } .
Mostre que:
1. existe uma e uma s topologia T em Z tal que, para cada n Z, o
conjunto das vizinhanas de n em (Z, T) seja Vn ;
2. a topologia T da alnea anterior a do exemplo 2.1.4.
x R y y R x = x = y.
i. f f = f g g = g;
A = A A = A,
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;
29) Seja X um conjunto e seja : P(X) P(X) uma funo tal que:
() = ;
(A X) : A (A);
(A X) : (A) = (A);
Seja F = { B X | B = (B) }.
(A X) : A = (A).
^
R R
arctan x se x R
x /2 se x = +
/2 se x =
3. R.
^
f : R L 2
u 2u
u2 +1
1, u 1
u2 +1
.
A = { (x, y) R2 | y > 0 };
C = { (x, y) R2 | x2 + y2 < 1 }.
A = { (x, y, z) R3 | x2 + y2 = 1 };
C = { (x, y, z) R3 | x2 + y2 + z2 = 1 e |z| 6= 1 }.
2. g(z) = z
1|z|
;
3. g(z) = z
1z2
;
4. g(z) = arctanh(z).
Qual destas corresponde, nas notaes atrs usadas, projeco Mer-
cator?)
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.
um homeomorfismo de P2 (R) em S
f2 . Deduza que P2 (R) metri-
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 conver-
gente.
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:
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.
Mostre que uma sucesso (fn )nN de elementos de F(X) converge uni-
formemente para uma funo f F(X) se e s se convergir para f
relativamente topologia da convergncia uniforme (definida no exem-
plo 2.1.2).
48) Mostre que se se considerar em R a mtrica
d : R R R
x y
(x, y)
1 + |x| 1 + |y|
2.6 Exerccios 135
(b) A funo
N E
n xn
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 .
f: R2 R
xy
x2 +y2
se (x, y) 6= (0, 0)
(x, y)
0 se x = y = 0.
1. A funo f no contnua.
Q
56) Seja X umQconjunto e considere o produto cartesiano xX C. Cada
elemento de xX C uma famlia (f(x))xX , onde cadaQf(x) um n-
mero complexo. Por outras palavras, cada elemento de xX C uma
funo de QX em C e, reciprocamente, cada funo de X em C um ele-
mento
Q de xX C. Mostre que uma sucesso (fn )nN de elementos de
xX C converge para uma funo f : X C relativamente topologia
produto se e s se
(a) X numervel;
Y
Y
An = An .
n=1 n=1
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
nN n
X dn (xn , yn )
d (xn )nN , (yn )nN =
n=1
2n
Y
Y
! !
En , dsup En , d
n=1 n=1
x x
X
!
n
d (xn )nN , (yn )nN 6 dsup (xn )nN , (yn )nN
n=1
2n
X
dn (xn , yn ) N dn (xn , yn )
n
< N = sup < .
n=1
2 2 nN n
P
Nota: Como se pode observar facilmente, n
n=1 2n = 2.
60) Para cada n N, seja En o espao topolgico R com a mtrica
Q usual
e
Qseja A n = [1, 1]. Calcule a aderncia e o interior de n=1 n em
A
n=1 En .
1. Y conexo.
onde Em+1
0
ortogonal a E1 , . . . , En . Ento : [0, 1] GL(n, R)
definida por
Ej se j 6= m + 1
j (t) =
0 0
caso contrrio
(1 + t kEm+1 k1 1) Em+1
P: R2 R
(x, y) ax + bxy + cy2 + dx + ey + f.
2
fP ( R \ {0}) : (x, y, z) Z
fP .
(x, y, z) Z
a) Z
fP = f (ZP ) {(1, 0, 0), (0, 1, 0)};
b) Z
fP compacto e conexo. Sugesto: para mostrar que Z fP
conexo, mostre que a reunio de f (ZP ) com as imagens das
funes
R Z
fP e R ZfP
x 7 (x2 , 1, x) x 7 (1, x2 , x)
|a| n
(z C) : |z| > M = |p(z)| > |z| .
2
1
dE f(xn ), f(yn ) > .
(n N) : dK (xn , yn ) <
n
Espaos de funes
145
146 Espaos de funes
Alm disso,
a b
1. (f, g F) : f + g F;
2. (f, g F) : f.g F;
3. (f F)( K) : f F.
: E E E e h : E E R2
x (x, x) (x, y) f(x), g(y) .
f + g, f.g, f F. (3.1)
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
Logo,
(x K) : |f(x)| P(f(x)) < .
R R
X
N
x a0 + an cos(nx) + bn sen(nx),
n=1
f : R/2Z R
(x) f(x)
: C(R/2Z) P
f f
que se x, y R e x y
/ 2Z, ento existe alguma funo f T tal
que f(x) 6= f(y). Mas basta ento tomar f = sen ou f = cos, i. e. se
xy / 2Z ento sen(x) 6= sen(y) ou cos(x) 6= cos(y). De facto, se se
tem sen(x) = sen(y) e cos(x) = cos(y), ento tem-se
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.
(g F) : d (f, g) < = g A.
Sn
Como K compacto, existem x1 , . . . , xn K tais que K = i=1 Vxi . Seja
A0 = g F (i {1, . . . , n}) : |g(xi ) f(xi )| < .
3
< + +
3 3 3
= .
F equicontnuo;
tambm limitado.
Continuando a supor que F relativamente compacto, quer-se pro-
var que F equicontnuo. Seja R+ e seja x K. Como Sn F compacto,
existe um conjunto {f1 , . . . , fn } F tal que F j=1 B (fj , /3). Se
j {1, 2, . . . , n}, ento existe algum j R+ tal que
(y K) : d(x, y) < j = fj (x) fj (y) <
3
156 Espaos de funes
Y
D 0, r(k) g(x) f(x), g(y) f(y) < .
A= g
kK
Q
Ento A um aberto de kK D 0, r(k) , relativamente topologia da
Vai ser visto como possvel demonstrar este teorema2 , sob a hip-
tese 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 suces-
so fn (k1 ) nN uma sucesso limitada de nmeros reais, tem alguma
sub-sucesso convergente fn (k1 ) kN1 . Pelo mesmo motivo, a sucesso
mostrar que a sucesso (gn )nN converge em C(K); para tal, basta mos-
trar que de Cauchy, pois C(K) um espao mtrico completo, uma
vez que um fechado de Fl (K) (como foi visto no exemplo 1.3.11 na
pgina 15) e este espao completo (como foi visto no exemplo 1.5.4 na
pgina 34).
2
Mais precisamente, vai ser visto como demonstrar que decorre das duas condies
do enunciado que a famlia F relativamente compacta.
158 Espaos de funes
existe ento algum pj N tal que m, n > pj = gm (kj ) gn (kj ) < /3.
Como isto tem lugar para cada k K, est ento provado que
3.3 Exerccios
1) Seja F o conjunto das funo contnuas de [0, 1] em R tais que
(x R) : f1 ({x}) finito.
Resolues de exerccios
seleccionados
Captulo 1
vp ( + ) = vp () + n
= min vp (), vp () + n
> min vp (), vp () .
Exerccio n9
Exerccio n18
( > 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
Exerccio n21
(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
z e que existe
g(z) = z 6= algum w C tal que g(w) = w 6= w. Ento
|z w| = g(z) g(w) = |z w|. Mas tem-se
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,
0 1
Figura A.2: Circunferncias de centros 0 e 1 e raios 1 e 2 res-
pectivamente
Exerccio n28
Exerccio n35
1. Por hiptese, b B(a, r), ou seja, d(a, b) < r. Basta ento provar
que B(a, r) B(b, r); por simetria, a incluso oposta ficar tambm de-
monstrada. Seja ento c B(a, r); pretende-se mostrar que c B(b, r),
ou seja, mostrar que d(c, b) < r. Mas d(c, b) 6 max d(c, a), d(a, b) <
r pois d(c, a) < r e d(a, b) < r.
2. Seja c B(a, r); pretende-se demonstrar que c B(b, s). Seja
x B(a, r) B(b, s). Tem-se:
d(c, b) 6 max d(c, x), d(x, b) 6 max d(c, a), d(a, x), d(x, b) .
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
B 0 (a, r); vai-se mostrar
que B(x, r) B (a, r). De facto, se y B(x, r),
0
g : [0, 1] R
0
f( )x/ 0
se x < 0
x
f(x) caso contrrio;
f( 0 )
0 1
Figura A.3
Z1
d1 (f, g) = |f g|
0
Z 0
= |f g| (pois f(x) = g(x) se x > 0 )
0
6 2M 0 .
g : [0, 1] R
f(x)(1 /2) se 6 1
x
0 caso contrrio.
pertence a A e d (f, g) < . Deduz-se ento das observaes feitas
no incio da resoluo que { f C([0, 1]) | (t [0, 1]) : f(t) 6 1 } A 0 .
pretende-se mostrar que f 6 A 0 . Existe algum t [0, 1] tal que f(t) >
1 ou que f(t) < 1. Vamos supor que estamos no primeiro caso; o
R1
outro caso anlogo. Seja r = 0 max f(t), 1 1 dt e seja g B(f, r);
pretende-se mostrar que g 6 A. De facto, se se tivesse g A, ento, em
particular, ter-se-ia g(t) 6 1 para qualquer t [0, 1]. Logo, para cada
t [0, 1] ter-se-ia:
se f(t) > 1, f(t) g(t) = f(t) g(t) > f(t) 1 = max f(t), 1 1;
se f(t) 6 1, max f(t), 1 1 = 0 6 f(t) g(t).
Em ambos os casos tem-se ento max f(t), 1 1 6 f(t) g(t), pelo
que:
Z1
d1 (f, g) = |f g|
0
Z1
> max f(t), 1 1 dt
0
= r,
170 Resolues de exerccios seleccionados
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
ou da forma
{ f C([0, 1]) | f(y) f(x) 6 0 } (A.7)
com x, y I e x < y. Cada conjunto do tipo (A.6) (respectivamente (A.7))
fechado por ser a imagem recproca de [0, +[ (resp. ] , 0]) pela
funo contnua Fx,y : C([0, 1]) R definida por Fx,y (f) = f(y) f(x).
O interior de M(I) vazio, pois se f C([0, 1]) for crescente em I e
se R+ , ento, dado a I, seja R+ tal que
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
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
-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 R
1/x caso x 6= 0
x
0 caso x = 0,
172 Resolues de exerccios seleccionados
Figura A.5
Exerccio n55
Exerccio n58
1/2
1/2 1
Figura A.6
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) > .
+
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)
dE (i , j ) 6
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
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.
Seja (Ai )iI uma famlia de elementos de T e seja A = iI Ai ;
S
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.
Existe algum i I tal
S que Ai 6= ; seja I = { i I | Ai 6= }.
0
Exerccio n6
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
Exerccio n8
B {, R} { ] , a[ | a R }
Exerccio n15
Exerccio n17
Va = { V R | (b ] , a[) :]b, a] V } .
Te = { A R | (a A) : A Va }
= { A R | (a A)(b ] , a[) :]b, a] A } .
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
nhana 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
que Td e seja a R.S Visto que0 {a} =]a 0 1, a] [a, a + 1[, {a} T . Se
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.
( ) : f (x) < a
Exerccio n25
(x) R g(x)
= g (x) R g g(x) (por iii.)
f(x) R (x)
= f(f(x)) R f(x) (por iii.)
Exerccio n29
Exerccio n35
quadrante (se x > 0) ou no segundo (se x < 0). Por outro lado, tem-se
: R S1 \ {(0, 1)}
2x x2 1
x ,
x2 1 x2 + 1
185
S1 \ {(0, 1)} R
x
(x, y)
1y
x2 1
2x 2x
(u, v) = f(x) = ,
x2 + 1 x2 + 1 x2 + 1
para algum x R \ {0}, ento (u, v/u) = (x), pelo que
u u2
x= =
1 v/u uv
Isto mostra que a funo inversa de f|R\{0} a funo:
h : R R
x1 se x 6= 0
x
0 se x = 0.
g : R R
x min 1, |x| .
Exerccio n39
Exerccio n48
Considere-se a funo
f : R R
x
x
1 + |x|
Exerccio n54
Vai-se mostrar
que o
complementar
do grfico de f, ou seja, o con-
junto A = (x, y) E y 6= f(x) um aberto de E2 . Seja (x, y) A;
2
Exerccio n65
1. Sejam
x, sen(1/x) x ]0, +[ ;
Y+ =
x, sen(1/x) x ] , 0[ ;
Y =
Y0 = { (0, y) | 1 6 y 6 1 } .
Vai-se mostrar que Y0 Y+ . De facto, seja (0, y) Y0 . Sabe-se que a
equao sen(x) = y possui alguma soluo x0 e que todos os nmeros
reais da forma x0 + 2n (n Z) so solues da equao. Seja k Z
tal que n > k x0 + 2n > 0; ento a sucesso
1 1
, sen(x0 + 2n) = ,y
x0 + 2n n>k x0 + 2n n>k
uma sucesso de elementos de Y+ que converge para (0, y), pelo que
(0, y) Y+ . Deduz-se ento que Y+ Y0 Y+ Y+ , pelo que Y0 Y+
conexo, pela proposio 2.4.2. Analogamente, pode-se mostrar que
Y0 Y conexo, pelo que Y a reunio de dois conexos (nomeadamente,
Y0 Y+ e Y0 Y ) cuja interseco no vazia, pelo que Y conexo.
2. Nesta resoluo, a nica topologia que se vai considerar em
subconjuntos de R ou de R2 a topologia usual.
Vai-se mostrar que Y+ , Y0 e Y so componentes conexas por arcos
de Y. Que cada um conexo por arcos bvio, pois Y0 homeomorfo ao
intervalo [1, 1], a funo
]0, +[ Y+
x, sen(1/x)
x
189
g : [0, 1] Y
t f(t0 + t(1 t0 ))
portanto, [ [
E = Ai A{i = Ai Aj = Aj .
jF jF{i}
Exerccio n77
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