Espaos mtricos completos

A razo porque Q no localmente compacto a existncia de sucesses de raionais

com limite irracional. Vamos generalizar esta ideia para espaos mtricos arbitrrios.

Denio 1. Uma sucesso (xn ) num espao mtrico X diz-se uma sucesso de
Cauhy se para qualquer 0 existir um p P N tal que d(xn , xm ) para quais-
quer n, m p.

Teorema 1. Qualquer sucesso convergente de Cauchy, e qualquer sucesso de Cauchy limitada.

Mas nem todas as sucesses de Cauchy so convergentes:

Exemplo 1. Uma sucesso de racionais com limite irracional de Cauchy, pois con-
vergente em R, mas no convergente em Q.

Denio 2. Dizemos que um espao mtrico X completo se todas as sucesses de

Cauchy convergirem.

Para provar que um espao mtrico completo frequentemente til usar o seguinte
resultado:

Teorema 2. Um espao mtrico X completo sse qualquer sucesso de Cauchy tiver uma subsucesso
convergente.

Demonstrao. Seja (xn ) uma sucesso de Cauchy e seja (xnk ) uma subsucesso com
limite limk xnk = x. Queremos mostrar que xn x. Seja 0. Como (xn )
Cauchy, existe um p P N tal que m, n p d(xn , xm ) /2. Tomando n = nk p
e tomando o limite quando k 8 temos limk d(xnk , xm ) = d(x, xm ) /2 para
qualquer m p, o que mostra que xn x.
Como corolrio imediato temos:

Teorema 3. Rk um espao mtrico completo.

Demonstrao. Uma sucesso de Cauchy limitada, logo est contida num compacto,
logo tem uma subsucesso convergente.
Outro exemplo importante o seguinte:

Teorema 4. Seja X um espao compacto, (Y, d) um espao mtrico completo. Ento o espao
( )
C(X, Y ) das funes contnuas f : X Y com a mtrica (f, g) = max d f (x), g(x)
xPX
completo.
( )
Demonstrao. Dada uma sucesso de Cauchy (fn ), para cada x P X a sucesso f (xn )
de Cauchy, logo converge. Seja f (x) = lim f (xn ). Vamos provar que fn f
uniformemente. Dado um 0, existe um p 0 tal que m, n p (fn , fm ) /2,
1
2
( )
logo, para qualquer x P X temos d fn (x), fm (x) /2. Tomando o limite quando
( )
m 8, d fn (x), f (x) /2, pelo que, tomando o supremo em x P X , temos
( )
supx d fn (x), f (x) /2 . Concluimos que fn f uniformemente. Ento f
contnua, o que completa a demonstrao.

Teorema 5. Um espao mtrico compacto sse for completo e totalmente limitado.

Demonstrao. Ver Munkres.

Em Rn os subespaos compactos so os subespaos limitados e fechados. J vimos
que em Rn limitado equivalente a totalmente limitado.

Teorema 6. Um subespao dum espao completo completo sse for fechado.

Q no completo porque lhe faltam pontos: os limites das sucesses de Cauchy no

convergentes, que so os nmeros irracionais. O prximo resultado anlogo noo
de compacticao:

Teorema 7. Para qualquer espao mtrico X existe um espao mtrico completo Y tal que X Y
e X = Y . Chamamos a Y o completado de X . Y nico a menos de isometria.

Exerccios.
(1) Indique justicando quais das seguintes sucesses so sucesses de Cauchy e quais
so convergentes nos espaos indicados:
(a) xn = n em ]0, +8[.
(b) xn = 1/n em ]0, +8[.
(c) xn = 1/n em Q.
(2) Mostre que qualquer espao mtrico com a distncia d(x, y) = 1 para x y
completo.
(3) Seja X = ]0, 1] R.
(a) Mostre que a sucesso xn = 1/n em X de Cauchy mas no converge, e
portanto X no completo.
(b) Mostre que a funo f (x) = 1/x restrita a X um homeomorsmo entre X e
um subespao completo de R.
(c) Mostre que a sucesso f (1/n) no de Cauchy.
(4) Seja X um espao mtrico completo, A X . Mostre que o completado de A A.
(5) Um espao metrizvel X diz-se topologicamente completo se existir uma mtrica
para o qual X completo, ou seja, se X for homeomorfo a um espao mtrico
completo.
(a) Mostre que ]0, 1[ topologicamente completo.
(b) Mostre que t1, 12 , 13 , . . .u R topologicamente completo.
(6) Seja (xn ) uma sucesso tal que, para qualquer m n, d(xn , xm ) yn , em que yn
uma sucesso em R com limite zero. Mostre que (xn ) Cauchy.
 3

(7) Prove o Teorema 1:

(a) Mostre que uma sucesso convergente de Cauchy.
(b) Mostre que uma sucesso de Cauchy limitada.
(8) Prove o Teorema 6.
(9) Seja X um espao mtrico.
(a) Mostre que se X for compacto ento X completo.
(b) Mostre que se existir um 0 tal que todas as bolas de raio tm fecho com-
pacto, ento X completo.
(c) D um exemplo dum espao mtrico localmente compacto que no seja com-
pleto.
(10) Seja X um espao topolgico compacto e seja Y um espao mtrico completo. Mos-
tre que o espao F das funes contnuas f : X Y , com a mtrica uniforme,
completo.
(11) Seja X um espao mtrico, AsubsetX um subespao.
(a) Mostre que A totalmente limitado sse para qualquer 0 existirem pontos
x1 , . . . , xk P X tais que A B(x1 , ) Y Y B(xk , ) (em que as bolas so
bolas em X ). Sugesto: use bolas de raio /2.
(b) Mostre que se X for totalmente limitado, A tambm totalmente limitado.
(c) Mostre que A totalmente limitado sse A for totalmente limitado.
(12) Seja (xn ) uma sucesso num espao mtrico completo tal que o conjunto dos ter-
mos da sucesso txn : n P Nu totalmente limitado. Mostre que (xn ) tem uma
subsucesso convergente.
(13) Dizemos que uma funo d : X X [0, +8[ uma pseudo-mtrica se para
quaisquer x, y, z P X se tiver d(x, x) = 0, d(x, y) = d(y, x) e d(x, y) + d(y, z)
d(x, z).
(a) Mostre que a relao x y sse d(x, y) = 0 uma relao de equivalncia em
X.
(b) Mostre que d induz uma funo d : X/ X/ [0, +8[.
(c) Mostre que d uma mtrica em X/ .
(14) Seja F o espao das funes f : [1, 1] R integrveis Riemann com a pseudo-
1
mtrica d(f, g) = 0 f (x)g(x) dx, e seja C(X, Y ) F o subconjunto das funes

contnuas.
(a) Verique que d uma pseudo-mtrica.
(b) Mostre que a restrio de d ao conjunto C([1, 1], R) das funes contnuas
uma mtrica.
 4

(c) Para cada n P N seja fn : [1, 1] R a funo denida por

$


1 se 1 x 1/n
&
fn (x) = nx se 1/n x 1/n


%1 se 1/n x 1

Mostre que cada fn contnua e a sucesso (fn ) converge pontualmente para

uma funo f que no contnua.
(d) Mostre que lim d(fn , f ) = 0.
(e) Seja p : F F / o quociente pela relao f g d(f, g) = 0, e considere
a mtrica induzida em F / . Mostre que a restrio de p a C([1, 1], R) uma
isometria.
(f) Mostre que C([1, 1], R) no completo com a distncia d.
(15) Pag. 270, exerccios 6, 9, 10.

Aplicaes
Vamos agora ver algumas propriedades dos espaos completos.

Denio 3. Sejam X , Y espaos mtricos. Dizemos que uma funo f : X Y

contractante se existir uma constante c P ]0, 1[ tal que, para qualquer x, y P X ,
( )
d f (x), f (y) cd(x, y).

Teorema 8 (Ponto xo). Seja X um espao mtrico completo, f : X X uma funo contrac-
tante. Ento existe um nico x P X tal que f (x) = x.
( )
Demonstrao. A unicidade do ponto xo sai de imediato de d f (x), f (y) cd(x, y).
Para provar existncia denimos uma sucesso por recorrncia tomando um qualquer
x0 P X e denindo xn+1 = f (xn ). Ento
( )
d(xn+1 , xn ) = d f (xn ), f (xn1 ) cd(xn , xn1 )
c2 d(xn1 , xn2 ) cn d(x1 , x0 ).

logo, para qualquer m n temos

d(xn , xm ) d(xn , xn+1 ) + + d(xm1 , xm )

8
cn
cn + + cm1 ck =
k=n
1c
n
Como c /(1 c) 0, segue facilmente que (xn ) Cauchy (ver exerccios). Seja
x = lim xn . Ento x = lim xn+1 = lim f (xn ) = f (x).

Teorema 9. Um espao mtrico X completo sse para qualquer sucesso de conjuntos fechados

encaixados F1 F2 F3 tais que diam Fk 0, se tiver k Fk H.
 5

Denio 4. Dizemos que um espao topolgico X um espao de Baire se a unio

contvel de fechados de interior vazio tiver interior vazio.

Passando ao complementar vemos que um espao X de Baire sse a interseco

contvel de abertos densos for densa.

Teorema 10 (Baire). Qualquer espao mtrico completo X um espao de Baire.

Demonstrao. Seja (An ) uma sucesso de abertos densos. Dado um aberto U , vamos

mostrar que U X An H. Como A0 denso, A0 X U H. Ento regularidade
implica que podemos tomar um aberto U1 tal que U 1 A1 X U e diam U1 1.
Prosseguimos recursivamente tomando Un+1 com dimetro inferior a 1/(n+1) e tal que
U n+1 Un XAn . Ento U X An U n H o que completa a demonstrao.

Exerccios.
(1) Mostre que o dimetro duma bola de raio r menor ou igual a 2r.
(2) Mostre que, se f : X Y contractante, ento para qualquer conjunto A X
temos diam f (A) c diam A.
(3) Mostre o Teorema 9:
(a) Mostre que uma sucesso (xn ) de Cauchy sse limk diamtxk , xk+1 , xk+2 , . . .u =
0.
(b) Mostre que diam A = diam A.
(c) Mostre que, se qualquer sucesso de fechados encaixados com dimetro a ten-
der para zero tiver interseco no vazia, ento o espao completo.
(d) Mostre o recproco da alnea anterior. Sugesto: tome um ponto em cada fe-
chado e mostre que a sucesso assim obtida de Cauchy.
(4) Mostre que Q no topologicamente completo, ou seja, que no existe nenhuma
mtrica em Q para a qual Q seja completo.
(5) Seja f : R R uma funo diferencivel tal que |f 1 (x)| k para todo o x e para
uma constante k 1. Mostre que f tem um ponto xo.
(6) Mostre que um espao topolgico X de Baire sse a interseco contvel de abertos
densos for densa.
(7) Mostre que se um espao mtrico completo X for contvel, tem que conter pontos
isolados.
(8) Mostre que um espao compacto de Hausdorff um espao de Baire.
(9) Pag. 298, exerccios 1 a 4, 7 a 10.

Funes uniformemente contnuas

A noo de espao mtrico completo no uma noo topolgica: R completo
mas ]0, 1[ no , embora seja homeomorfo a R.
6

Denio 5. Dizemos que uma funo f : X Y uniformemente contnua se,

para qualquer 0, existir um 0 tal que, para quaisquer x, y P X , se d(x, y)
ento d(f (x), f (y)) .

Teorema 11. Uma funo uniformemente contnua preserva sucesses de Cauchy.

Demonstrao. Seja (xn ) uma sucesso de Cauchy em X , f : X Y uma funo uni-

formemente contnua. Queremos mostrar que f (xn ) Cauchy. Dado um 0, existe
( )
um 0 tal que d(x, y) d f (x), f (y) . Como (xn ) Cauchy, existe um
( )
p P N tal que n, m p d(xn , xm ) donde se conclui que d f (xn ), f (xm ) .
( )
Assim, f (xn ) Cauchy.

Denio 6. Um homeomorsmo uniforme um homeomorsmo f : X Y tal que

f e f 1 so ambas uniformemente contnuas. Chamamos propriedades uniformes s
propriedades preservadas por homeomorsmos uniformes.

Exemplo 2. A propriedade de ser um espao completo no uma propriedade topol-

gica, mas uma propriedade uniforme.

Teorema 12. Seja X um espao compacto. Ento qualquer funo f : X Y contnua

uniformemente contnua.

Demonstrao. Ver Munkres

Teorema 13. Dados espaos mtricos X , Y com Y completo, e uma funo uniformemente contnua
f : A X Y , existe uma nica funo uniformemente contnua f : A Y tal que f|A = f .

Demonstrao. Para cada x P A xamos uma sucesso (xn ) em A com lim xn = x.

Como f uniformemente contnua, f (xn ) Cauchy. Denimos f(x) = lim f (xn ).
A continuidade de f mostra que f(x) = f (x) para x P A. Vamos mostrar que f
uniformemente contnua. Seja 0. Como f uniformemente contnua, existe um
( )
1 0 tal que, para quaisquer x, y P A, d(x, y) 1 d f (x), f (y) /3. Seja
= 1 /3. Dados x, y P A com d(x, y) , seja n P N tal que
( ) ( )
d(xn , x) , d(yn , y) , d f (xn ), f(x) /3, d f (yn ), f(y) /3 ,

em que (xn ) e (yn ) so as sucesses usadas na denio de f. Ento, pela desigualdade

( )
triangular, d(xn , yn ) 3 = 1 , logo d f (xn , f (yn ) /3. Usando de novo a desi-
( )
gualdade triangular, obtemos d f(x), f(y) . Provmos assim que f uniforme-
mente contnua. Para mostrar unicidade do prolongamento, note que dado qualquer
prolongamento contnuo g : A Y , g(x) = lim g(xn ) = lim f (xn ) = f(x).

Exerccios.
(1) Mostre que uma isometria uniformemente contnua.
 7

(2) Mostre que a funo f (x) = x2 no uniformemente contnua. Sugesto: para

x y 0, temos |x2 y 2 | 2y|x y|.
(3) Mostre que a funo f (x) = 1/x no uniformemente contnua.
(4) Mostre que a funo f (x) = sin(1/x) no uniformemente contnua. Sugesto:
seja xn = ( 12 + 2n)1 e seja yn = 12 + 2n ; calcule xn yn e f (xn ) f (yn ).
(5) Mostre que a composio de funes uniformemente contnuas uniformemente
contnua.
(6) Dizemos que uma funo f Lipschitz se existir uma constante K P R tal que
d(f (x), f (y)) Kd(x, y).
(a) Mostre que uma funo de Lipschitz uniformemente contnua.
(b) Seja C([0, 1], R) o espao das funes contnuas f : [0, 1] R com a mtrica
uniforme. Mostre que a funo Int : C([0, 1], R) R denida por Int(f ) =
1
0
f uma funo uniformemente contnua.
(c) Seja f : D R R uma funo diferencivel com derivada limitada. Ento
f uniformemente contnua. Sugesto: Teorema de Lagrange.
(d) Seja f : R R uma funo diferencivel tal que lim f 1 (x) = +8. Mostre
x+8
que f no uniformemente contnua.
(e) D um exemplo duma funo f : [0, 1] R uniformemente contnua com de-
rivada ilimitada.
(7) Sejam X , Y espaos mtricos, f : X Y .
(a) Mostre que se f uniformemente contnua, ento para qualquer A X a
restrio f |A uniformemente contnua.
(b) Mostre que se X = A Y B e se f |A e f |B forem uniformemente contnuas ento
f uniformemente contnua.
(c) Mostre que a funo f (x) = x2 uniformemente contnua em qualquer con-
junto limitado A R.
(8) Mostre que a funo sin(1/x) uniformemente contnua em qualquer intervalo
[a, +8[ com a 0. Sugesto: calcule f 1 (x).
(9) Dados espaos mtricos X , Y , considere o produto X Y com a mtrica uniforme.
(a) Mostre que as projeces so uniformemente contnuas.
(b) Mostre que a soma, como funo Rn Rn Rn , uniformemente contnua.
(c) Decida se o produto por um escalar, visto como uma funo R Rn Rn ,
ou no uniformemente contnuo.
(10) Dizemos que duas mtricas d1 , d2 num conjunto X so uniformemente equivalentes
se a identidade (X, d1 ) (X, d2 ) for um homeomorsmo uniforme.
(
(a) Mostre que as mtricas d(x, y) = mintd(x, y), 1u e d1 (x, y) = d(x, y)/ d(x, y)+
)
1 so uniformemente equivalentes a d.
(b) Decida se a propriedade de ser limitado ou no uma propriedade uniforme.
 8

(c) Mostre que, se existirem m, M 0 tais que md( x, y) d2 (x, y) M d1 (x, y)

ento d1 e d2 so uniformemente equivalentes.
(d) Mostre que as seguintes mtricas em Rn so uniformemente equivalentes:
g
n

f n
f
d1 (x , y ) = |xi yi | d2 (x, y) = e |xi yi |2 d8 (x, y) = max |xi yi |
i
i=1 i=1

(11) Mostre que as seguintes propriedades so propriedades uniformes:

(a) Um espao ser completo.
(b) Um espao ser totalmente limitado.
(12) Seja X um espao topolgico e Y , Z espaos mtricos. Mostre que, se uma sucesso
de funes fn : X Y convergir uniformemente para uma funo f e g : Y Z
for uniformemente contnua ento (g fn ) converge uniformemente para g f .

Teorema de Ascoli-Arzel
Seja X um conjunto, Y um espao mtrico. Nesta seco queremos ver em que
condies podemos garantir que uma sucesso de funes contnuas fn : X Y tem
uma subsucesso convergente. Tal acontecer sempre que a sucesso esteja contida
num subespao sequencialmente compacto, o que num espao mtrico equivalente a
ser completo e totalmente limitado. Em particular, temos que:

Teorema 14. Seja (xn ) uma sucesso num espao mtrico completo. Se o conjunto txn : n P Nu
for totalmente limitado, a sucesso (xn ) tem uma subsucesso convergente.

Demonstrao. O conjunto txn : n P Nu completo e totalmente limitado, logo sequen-

cialmente compacto.

J estudmos duas topologias no conjunto Y X das funes f : X Y :

A topologia produto, ou da convergncia pontual, com subbase os conjuntos
S(x, U ) = tf : f (x) P U u, com x P X e U Y um aberto.
A topologia uniforme, com base as ``bolas'':
! ( ) )
B(f, ) = g : sup d f (x), g(x) .
xPX

Representamos por YpXe YuX ,

respectivamente, o conjunto Y X com as topologias pro-
duto e uniforme. Assumimos primeiro que X compacto e Y completo. Ento o
espao C(X, Y ) das funes contnuas de X em Y completo com a mtrica uniforme.

Denio 7. Dizemos que uma famlia de funes F C(X, Y ) equicontnua num

ponto a P X sse:
( )
@ D @ x P U d f (x), f (a)
0 U PVa f PF

Repare que a vizinhana U no depende da funo f .

 9

Teorema 15. Seja F YuX um subespao totalmente limitado. Ento F equicontnuo.

Demonstrao. Como F totalmente limitado temos F = B(f1 , /3)Y YB(fk , /3).

Para cada i, a funo fi contnua em a, logo existe uma vizinhana Ui de a tal que
( )
x P Ui d f (x), f (a) /3. Seja U = U1 X X Uk . Ento, dado um x P U e
uma funo f P F , f P B(fi , /3) para algum i logo

d(f (x), f (a)) d(f (x), fi (x)) + f (fi (x), fi (a)) + d(fi (a), f (a))
/3 + /3 + /3 = .

Mas, como veremos brevemente, o recproco s verdadeiro se X e Y forem ambos

compactos:

Exemplo 3. Seja F = tfn u P C([0, 1], R) a famlia de funes fn (x) = n. Esta famlia
equicontnua mas no totalmente limitada.

Exemplo 4. Seja F = tfn u P C(R, [1, 1]) a famlia de funes denida por:
$


1 se x n 1
&
fn (x) = x n se n 1 x n + 1


%1 se x n + 1

Esta famlia equicontnua mas no totalmente limitada.

No caso em que X no compacto, precisamos de introduzir uma nova topologia

em Y X . Dado um compacto K X um 0 e uma funo f : X Y denimos as
``bolas'':
! )
BK (f, ) = g P Y X : sup d(f (x), g(x))
xPK

Denio 8. A topologia da convergncia uniforme em compactos a topologia ge-

rada pela coleco tBK (f, )u.

Teorema 16. Dado um f P Y X , a coleco tBK (f, )u uma base de vizinhanas de f .

( )
Demonstrao. Se f P BK (g, ), seja = sup d f (x), g(x) . Ento BK (f, )
xPK
BK (g, ).

Representamos por YcX o conjunto Y X com esta topologia. V-se facilmente que a
topologia YcX mais na que a topologia YpX .

Teorema 17. Seja X um espao topolgico, Y um espao mtrico, e seja F uma famlia equicon-
tnua de funes f : X Y . Ento as topologias produto e da convergncia uniforme em compactos
em F coincidem.
10

Demonstrao. Representamos por Fp e Fc o conjunto F com as topologias produto e

uniforme em compactos. Seja V Fc um aberto. Vamos mostrar que para qualquer
f P V , existe um aberto W Fp tal que f P W V , e portanto V aberto em Fp .
Comeamos por tomar um compacto K X e um 0 tal que BK (f, ) V .
Como F equicontnua, para cada a P K existe uma vizinhana Ua P Va tal que, para
qualquer f P F , x P Ua d(f (x), f (a)) /3. Como K compacto, a cobertura
tUa u tem uma subcobertura nita: K Ua1 Y Y Uak . Seja W o conjunto das
funes g P F tais que d(g(ai ), f (ai )) /3 para i = 1, . . . , k :
( ) ( )
W = S a1 , B(f (a1 ), /3) X X S ak , B(f (ak ), /3) .

Claramente f P W . Vamos ver que W BK (f, ). Seja g P W . Dado um x P K ,

temos x P Uai para algum i e ento:

d(g(x), f (x)) d(g(x), g(ai )) + d(g(ai ), f (ai )) + d(f (ai ), f (x))

/3 + /3 + /3 = .

Assim maxxPK d(g(x), f (x)) , logo g P BK (f, ). Assim, W BK (f, ) V , o

que termina a demonstrao.

Teorema 18. Seja F Y X uma famlia equicontnua. Ento o fecho F p na topologia produto
tambm equicontnuo.

Demonstrao. Seja a P X . Dado 0, como F equicontnua, existe uma vizinhana

U P Va tal que x P U d(f (x), f (a)) /3 para qualquer f P F . Vamos mostrar
que x P U d(g(x), g(a)) para qualquer g P F p . Seja x P U e g P F p . Seja

W = S(a, B(g(a), /3)) X S(x, B(g(x), /3)).

Ento W uma vizinhana de g logo podemos tomar um f P F X W . Ento

d(g(x), g(a)) d(g(x), f (x)) + d(f (x), f (a)) + d(f (a), g(a))
/3 + /3 + /3 =

o que termina a demonstrao.

Como corolrio imediato temos:

Teorema 19. Seja F Y X uma famlia equicontnua. Ento os fechos F p e F c coincidem.

Demonstrao. Como YcX mais na que YpX , F c F p . Como F p equicontnua,

F p = F c.

Teorema 20 (Ascoli-Arzel). Seja F Y X uma famlia equicontnua de funes tal que,

para qualquer a P X , o conjunto F (a) = tf (a) : f P F u Y tem fecho compacto. Ento
F c Cc (X, Y ) compacto.
 11

Demonstrao. Basta observar que, na topologia produto,

F F (a) = F (a)
aPX aPX

que compacto pelo Teorema de Tychonoff. Assim, F c = F p compacto.

Exerccios.

(1) Mostre que um conjunto X R tem fecho compacto sse for limitado.
(2) Considere a sucesso de funes fn : R R denida por fn (x) = (n + 1)x/n.
(a) Mostre que fn converge para x uniformemente em compactos.
(b) Mostre que fn no converge uniformemente para x.
(c) Mostre que tfn u equicontnua.
( )
(d) Mostre que, para cada x P R, a sucesso fn (x) limitada.
(3) Repita o exerccio anterior para a sucesso de funes fn : R R denidas por
fn (x) = x/n.
(4) Para cada n P N seja fn : [0, 1] R a funo fn (x) = n (Exemplo 3).
(a) Mostre que tfn u equicontnua.
(b) Mostre que tfn u no tem nenhuma subsucesso convergente.
(c) Use a alnea anterior para mostrar que tfn u no totalmente limitada na m-
trica uniforme.
(d) Prove directamente que tfn u no totalmente limitada.
(5) Considere a sucesso de funes fn : R [1, 1] do exemplo 4.
(a) Mostre que fn converge pontualmente para uma funo f contnua.
(b) Mostre que nenhuma subsucesso de (fn ) converge para f uniformemente.
(c) Usando a alnea anterior conclua que tfn u no totalmente limitada.
(d) Mostre que fn converge para f uniformemente em compactos.
(e) Mostre que, para cada x P R, tfn (x)u limitada.
(f) Mostre que tfn u equicontnua.
(6) Mostre que a topologia da convergncia uniforme em compactos em Y X mais na
que a topologia produto.
(7) Mostre que a topologia uniforme em Y X mais na que a topologia da convergncia
uniforme em compactos, e que elas coincidem quando X compacto.
(8) Seja F uma coleco de funes f : R R com a seguinte propriedade: existe uma
constante M 0 tal que |f (x) f (y)| M |x y| para qualquer funo f P F e
quaisquer pontos x, y P R.
(a) Mostre que, se existir uma constante M 0 tal que |f (x) f (y)| M |x y|
para qualquer funo f P F e quaisquer pontos x, y P R, ento F equicon-
tnua.
 12

(b) Mostre que se as funes f P F forem diferenciveis e se existir uma constante

M 0 tal que |f 1 (x)| M para qualquer funo f P F e qualquer ponto
c P R, ento F equicontnua. Sugesto: Teorema de Lagrange.
(c) Mostre que, se a condio |f 1 (x)| M se vericar apenas para x num aberto
U R, podemos ainda concluir que F equicontnua em qualquer ponto
a P U.
(9) Seja X um espao topolgico compacto e Y um espao mtrico compacto. Mostre
que, na mtrica uniforme, uma famlia F C(X, Y ) totalmente limitada sse for
equicontnua.
(10) Considere a sucesso de funes fn : [0, 1] R denidas por fn (x) = xn .
(a) Mostre que (fn ) pontualmente limitada.
(b) Calcule o limite f de (fn ) na topologia da convergncia pontual.
(c) Mostre que nenhuma subsucesso de fn converge para f uniformemente.
(d) Use o Teorema de Ascoli-Arzel para concluir que tfn u no equicontnua.
(e) Verique directamente que (fn ) no equicontnua em a = 1, resolvendo ex-
plicitamente a equao |fn (x) fn (1)| .
(f) Seja b 1. Mostre que existe uma constante M (que depende de b) tal que
fn1 (x) M para qualquer n P N e qualquer x P [0, b[. Conclua que tfn u
equicontnua em qualquer ponto a P [0, 1[.
(11) Considere a sucesso de funes fn : R R denida por fn (x) = x + sin(nx).
(a) Decida se tfn u pontualmente limitada.
(b) Mostre que tfn u no equicontnua em a = 0. Sugesto: se fosse, existiria um
0 tal que |fn (x)| 1 para qualquer n P N e qualquer x P ], [; tome um
n P N tal que x = /(2n) .
(12) Quais das seguintes ducesses de funes em C(R, R) so pontualmente limitadas?
Quais so equicontnuas?
(a) gn (x) = n + sin x. Sugesto: calcule |fn (x) fn (a)|.
(b) hn (x) = |x|1/n . Sugesto: calcule o limite pontual h de hn e mostre que ne-
nhuma subsucesso de hn converge para h.
(c) kn (x) = n sin(x/n). Sugesto: derive kn .
(13) (Ver Munkres) Um espao topolgico X diz-se compactamente gerado se a seguinte
condio se vericar: um conjunto U X aberto sse para qualquer compacto
K X , K X A for compacto.
(a) Mostre que um espao localmente compacto compactamente gerado.
(b) Mostre que um espao que satisfaa o primeiro axioma de numerabilidade
compactamente gerado.
(c) Mostre que, se X compactamente gerado, uma funo f : X Y contnua
sse para qualquer compacto K X , f |K for contnua.
 13

(d) Mostre que se X compactamente gerado e Y um espao mtrico, ento

C(X, Y ) fechado em Y X na topologia da convergncia uniforme em com-
pactos.
(14) Seja X um espao topolgico separvel, Y um espao mtrico, e considere C(X, Y )
com a topologia da convergncia uniforme em compactos. Seja (fn ) uma sucesso
equicontnua em C(X, Y ) tal que as sucesses (fn (x)) tm fecho compacto.
(a) Mostre que, se A X um conjunto contvel, (fn ) tem uma subsucesso fnk
que converge pontualmente nos pontos x P A.
(b) Mostre que, se A for denso, a subsucesso fnk converge uniformemente em
qualquer compacto K X .
(15) Pag. 280, exerccios 1 a 3, 5.
(16) Pag. 288, exerccios 1, 3.
(17) Pag. 292, exerccios 1 a 5.

A topologia compacta aberta

Denio 9. Sejam X , Y espaos topolgicos. Dado um compacto K X e um
aberto U Y seja S(K, U ) = tf P Y X : f (K) U u. Chamamos topologia compacta
aberta em Y X topologia gerada pela coleco tS(K, U )u.

Teorema 21. Seja X um espao localmente compacto e seja Y um espao mtrico. Ento as
topologias compacta aberta e uniforme em compactos coincidem em C(X, Y ).

Demonstrao. Dado um compacto K X , um aberto U Y , e uma funo f P

S(K, U ), seja = d(f (K), X U ). Ento BK (f, ) S(K, U ) logo S(K, U ) aberto
na topologia uniforme em compactos. Seja agora V C(X, Y ) um aberto na topo-
logia uniforme em compactos, e seja f P U . Ento existe um compacto K X e um
0 tal que BK (f, ) U . Como f contnua e X localmente compacto, para cada
a P K existe um aberto Va P Va tal que V a compacto e x P V a d(f (x), f (a))
/3. A cobertura tVa u de K tem uma subcobertura nita Va1 , . . . , Van . Seja

W = S(V 1 , B(f (a1 ), /3)) X X S(V n , B(f (an ), /3)).

Ento f P W BK (f, ), o que termina a demonstrao.

Teorema 22. Sejam X , Y , Z espaos topolgicos e seja f : X Y uma funo contnua. Ento,
na topologia compacta aberta, composio com f induz funes contnuas f : C(Z, X) C(Z, Y )
e f : C(Y, Z) C(X, Z).

Em particular, restrio uma funo contnua.

Teorema 23. A funo ev : X C(X, Y ) Y denida por ev(x, f ) = f (x) contnua.

14

Dada uma funo f : X Y Z , para cada y P X temos uma funo fy : X Z

denida por fy (x) = f (x, y). Obtemos assim uma funo F : Y Z X com F (y) =
fy . Obtemos assim uma correspondncia bijectiva entre Z XY e (Z X )Y . No caso em
que X , Y , Z so espaos topolgicos, se f : X Y Z for contnua, cada fy tambm
contnua pelo que F tem imagem em C(X, Z).

Teorema 24. Consideremos a topologia compacta aberta em C(X, Y ). Se f : X Y Z for

contnua ento F : Y C(X, Z) contnua. O recproco verdadeiro se X for localmente compacto
de Hausdorff.

Demonstrao. Ver Munkres.

Denio 10. Seja X um espao topolgico, a, b P X . Um caminho em X de a para

b uma fun contnua : [0, 1] X tal que (0) = a e (1) = b.

Como [0, 1] localmente compacto de Hausdorff, um caminho em C(X, Y ) o

mesmo que uma funo H : X [0, 1] Y .

Denio 11. Dizemos que duas funes f, g : X Y so homotpicas se existir um

caminho em C(X, Y ) de f para g , ou seja, se existir uma funo H : X [0, 1] Y
tal que H(x, 0) = f (x) e H(x, 1) = g(x).

Estudaremos melhor caminhos e homotopias nas prximas seces.

Exerccios.
(1) Sejam X , Y espaos topolgicos. Mostre que a topologia compacta aberta em Y X
mais na que a topologia produto.
(2) Seja Y um espao de Hausdorff. Mostre que Y X um espao de Hausdorff na
topologia compacta aberta e na topologia produto.
(3) Demonstre o Teorema 22:
(a) Mostre que, dado um compacto K Z e um aberto U Y , (f )1 S( K, U ) =
S(K, f 1 (U ).
(b) Mostre que, dado um compacto K X e um aberto U Z , (f )1 S(K, U ) =
S(f (K), U ).
(c) Conclua que f e f so contnuas.
(4) Mostre que se X1 homeomorfo a X2 ento C(X1 , Y ) homeomorfo a C(X2 , Y ).
Analogamente, se Y1 homeomorfo a Y2 , ento C(X, Y1 ) homeomorfo a C(X, Y2 ).
(5) Seja X um espao localmente compacto de Hausdorff, Y um espao mtrico, e
considere C(X, Y ) com a topologia da convergncia uniforme em compactos. Seja
F C(X, Y ) com fecho F compacto.
(a) Mostre que, para cada x P X , F (x) Y tem fecho compacto.
(b) Mostre que para qualquer compacto K X , tf |K : f P F u C(K, Y )
totalmente limitado na mtrica uniforme.
 15

(c) Mostre que F equicontnua em qualquer ponto x P X .

(6) Considere a funo cte : Y C(X, Y ) que leva cada ponto y P Y para a funo
constante igual a y .
(a) Mostre que cte um mergulho, tanto na topologia produto como na topologia
compacta aberta.
(b) Mostre que, se Y Hausdorff, a imagem de cte fechada, tanto na topologia
produto como na topologia compacta aberta.
(c) Mostre que se Cca (X, Y ) Hausdorff, regular ou normal, ento Y Hausdorff,
regular ou normal.
(7) Seja H(X) C(X, X) o subespao dos homeomorsmos. Mostre que a funo
H(X) H(X) que leva f para f 1 contnua.
(8) Sejam X , Y espaos topolgicos, Z Y . Mostre que, na topologia compacta
aberta, C(X, Z) homeomorfo ao subespao de C(X, Y ) das funes com contra-
domnio contido em Z .
(9) Sejam X e Y espaos topolgicos, B uma base de Y . Mostre que a coleco
tS(K, U )u, em que K X compacto e U P B , uma subbase da topologia
compacta aberta em C(X, Y ).
(10) Pag. 288, exerccios 6, 7.

Espaos conexos
Denio 12. Uma separao dum espao topolgico X um par de abertos disjuntos
no vazios A, B cuja unio X . O espao X diz-se conexo se no tiver nenhuma
separao.

Teorema 25. X conexo sse os nicos subconjuntos de X simultaneamente abertos e fechados forem
X , H.

Demonstrao. Se A, B for uma separao de X , A tambm fechado pois A = X B .

Reciprocamente, se A X for aberto e fechado, A, X A uma separao de X .

Teorema 26. X conexo sse todas as funes contnuas f : X t0, 1u forem constantes.

Demonstrao. Dada uma separao de X podemos construir a funo sobrejectiva

$
&0 x P A
f (x) =
%1 x P B

e dada uma funo f : X t0, 1u sobrejectiva podemos denir a separao A =

f 1 (0) e B = f 1 (1).

Podemos agora caracterizar os subespaos conexos de R:

Teorema 27. Um espao Y R conexo sse for um intervalo.

16

Demonstrao. Se Y no for um intervalo, existem pontos a c b tais que a, b P

Y mas c R Y . Ento A = ]8, c[ e B = ]c, +8[ formam uma separao de Y .
Reciprocamente, se Y for um intervalo, o Teorema de Bolzano diz que qualquer funo
f : Y t0, 1u R tem por contradomnio um intervalo, logo constante, portanto Y
conexo.

Os prximos quatro teoremas dizem-nos como construir novos espaos conexos:

Teorema 28. Dada uma coleco tX u de subespaos conexos de X , se X H ento

X conexo.

Demonstrao. Assumimos por absurdo que existe uma funo f : X t0, 1u que

no constante. Ento existem pontos a, b P X tais que f (a) = 0 e f (b) = 1.
Temos a P X e b P X para alguns , , e como X e X so conexos, f |X 0 e
f |X 1. Mas isto impossvel pois X X X H.

Teorema 29. Seja A X conexo. Ento qualquer espao B tal que A B A tambm
conexo.

Demonstrao. Dada uma funo contnua f : B t0, 1u, a restrio f |A constante

pelo que podemos assumir que f |A 0. Assumimos por absurdo que existia um x P
B A com f (x) = 1. Ento U = f 1 (t1u) uma vizinhana de x pelo que A X U
H, o que uma contradio pois f |U 1.

Teorema 30. Se X conexo e f : X Y contnua, ento f (X) conexo.

Demonstrao. Dada uma funo g : f (X) t0, 1u, a composio g f : X t0, 1u

constante, logo g constante.

Teorema 31. Se X , Y so espaos conexos ento X Y tambm conexo.

( ) ( )
Demonstrao. Para quaisquer x P X e y P Y , a ``cruz'' Tx,y = txu Y Y X tyu
conexa. Ento, xando um ponto x P X , X Y = yPY Tx,y logo X Y conexo.

O Teorema de Bolzano pode ser generalizado a funes com domnio conexo:

Teorema 32. Seja X um espao conexo, f : X R uma funo contnua. Ento, dados quais-
quer a, b P X , f toma todos os valores entre f (a) e f (b).

Denio 13. Dado um espao topolgico X , dizemos que um ponto a P X um

ponto de corte se X tau no for conexo.

Um homeomorsmo preserva pontos de corte:

Teorema 33. Seja f : X Y um homeomorsmo. Ento um ponto a P X um ponto de corte

de X sse f (a) for um ponto de corte de Y .
 17

Exerccios.
(1) Encontre uma separao de cada um dos seguintes espaos:
(a) X = ]1, 0[ Y ]0, 1[ R.
(b) Y = [0, 1] Y [2, 3] R.
(c) A unio das bolas de raio um em R2 centradas nos pontos (1, 0), (0, 1) e
(1, 1).
(2) Mostre que os seguintes espaos so conexos:
(a) A circunferncia S 1 . Sugesto: construa uma funo com contradomnio S 1 .
(b) O toro S 1 S 1 .
(c) A circunferncia S 1 menos um ponto.
(d) Rn .
(e) Uma bola B(x, ) Rn .
(f) O conjunto t(x, y) P R2 : x2 + y 2 1u.
(3) Mostre que nenhum dos seguintes espaos homeomorfo a nenhum outro: S 1 ,
[0, 1], [0, 1[, ]0, 1[, [0, 1] Y [2, 3], R2 , S 1 _ S 1 (a unio de duas crcunferncias com
um ponto em comum). Sugesto: pontos de corte.
(4) Decida, justicando, se os seguintes subconjuntos de R2 so ou no conexos:
(a) A unio das circunferncias de raio um centradas nos pontos (2n, 0) P R2 , com
n P Z.
(b) O complementar do conjunto da alnea (a).
(c) A unio das circunferncias de raio um centradas nos pontos (3n, 0) P R2 , com
n P Z.
(d) A unio em n P N das circunferncias de raio 1/n centradas em (1/n, 0) P R2 .
(e) A unio em n P N das circunferncias de raio 1/n centradas na origem.
(f) O conjunto dos pontos (x, y) P R2 com x, y P Q.
(g) O conjunto dos pontos (x, y) P R2 com x P Q ou y P Q.
(h) O conjunto dos pontos (x, y) P R2 com x P Q.
(i) A unio em m P Q das rectas y = mx + b (com b P R xo).
(j) A unio em b P Q das rectas y = mx + b (com m P R xo).
(k) A unio em m, b P Q das rectas y = mx + b.
(l) O conjunto t(x, y) P R2 : xy 0u.
(m) O fecho do conjunto da alnea anterior.
(5) Mostre que no existe qualquer relao entre a conexidade dum conjunto A R2 ,
a conexidade do seu interior e a conexidade da sua fronteira, dando exemplos de
conjuntos A cobrindo as 23 = 8 possibilidades.
(6) Seja f : Df R uma funo contnua. Mostre que o grco de f conexo sse Df
for um intervalo.
(7) Seja A, B uma separao de X . Mostre que qualquer subespao conexo Y X
tem que estar contido ou em A ou em B .
18

(8) Sejam X , Y espaos conexos e xemos pontos x P X e y P Y . Denimos X _ Y

como o quociente (X + Y )/ da unio disjunta pela relao de equivalncia gerada
por x y . Mostre que X _ Y conexo.
(9) Pag. 152, exerccios 1 a 3, 5, 7, 9 a 11.

Caminhos. Espaos conexos por arcos

Denio 14. Dado um espao topolgico X e pontos a, b P X , um caminho de a
para b uma funo contnua : [0, 1] X tal que f (0) = a e f (1) = b.

Denio 15. Seja X um espao topolgico.

(1) Dado um ponto a P X , representamos por ea o caminho constante: ea (t) = a
para qualquer t P [0, 1].
(2) Dado um caminho em X de a para b, representamos por o caminho de b
para a denido por (t) = (1 t).
(3) Dados pontos a, b, c P X , um caminho de a para c e um caminho de c para
b, chamamos concatenao dos caminhos e ao caminho denido pela
equao $
&(2t) se t P [0, 21 ]
(t) =
%(2t 1) se t P [ 1 , 1]
2

Para provar que contnua basta observar que [0, 12 ] e [ 12 , 1] so subconjuntos

fechados de [0, 1] e que na interseco os dois ramos coincidem pois (1) = (0) = c.

Denio 16. Dizemos que um espao X conexo por arcos se para quaisquer a, b P
X existir um caminho em X de a para b.

Teorema 34. Se X conexo por arcos ento X conexo.

Demonstrao. Assumimos por absurdo que existe uma funo sobrejectiva f : X

t0, 1u. Ento existem pontos a, b P X com f (a) = 0 e f (b) = 1. Seja : [0, 1] X
um caminho de a para b. Ento f sobrejectiva, o que impossvel pois [0, 1]
conexo.

Exemplo 5. Seja f : ]0, +8[ a funo denida para x 0 por f (x) = cos(2/x)/x e
seja X = t(x, y) P R2 : x 0, y = f (x)u o grco de f . X conexo pois a imagem
de ]0, +8[ pela funo contnua g(x) = (x, f (x)). Como (0, 0) P X , X Y t(0, 0)u
tambm conexo. Mas X Y t(0, 0)u no conexo por arcos: vamos supor por absurdo
que existe um caminho = (1 , 2 ) em X Y t(0, 0)u unindo os pontos (0, 0) e (1, 1).
Pelo Teorema de Weierstrass 2 limitada logo existe um n P N tal que n 2 (t)
para qualquer t P [0, 1]. Pelo teorema de Bolzano existe um t P [0, 1] tal que 1 (t) =
1/n. Como (t) P X , 2 (t) = f (1 (t)) = f (1/n) = n o que uma contradio.
Conclumos que X Y t(0, 0)u no conexo por arcos.
 19

Teorema 35. Seja C uma coleco de espaos conexos por arcos tal que

CPC C H. Ento

a unio X = CPC C conexa por arcos.

Demonstrao. Sejam a, b P X . Ento existem A, B P C tais que a P A e b P B . Seja

c P A X B . Como A conexo por arcos, exite um caminho em A de a para c. Como
B conexo por arcos, exite um caminho em B de c para b. Ento a concatenao
um caminho de a para b.

Teorema 36. Seja X um espao conexo por arcos, f : X Y uma funo contnua. Ento
f (X) tambm conexo por arcos.

Demonstrao. Sejam a, b P f (X). Ento a = f (x) e b = f (y) para alguns x, y P X .

Como X conexo por arcos, existe um caminho : [0, 1] X de x para y . Ento o
caminho f : [0, 1] Y um caminho de a para b.

Dada uma funo contnua f : X Y e um caminho em X , costume represen-

tar o caminho f em Y por f = f .

Exerccios.
(1) Mostre que um subespao de R conexo sse for conexo por arcos.
(2) Considere os caminhos , , : [0, 1] R em R denidos por (t) = t(1 t),
(t) = t e (t) = 1. Calcule e esboce os grcos das funes , , ( )
e ( ).
( )
(3) Considere o caminho : [0, 1] S 1 denido por (t) = cos(2t), sin(2t) . Cal-
cule e verique que ( ) ( ).
(4) Dizemos que um conjunto X Rn um conjunto em estrela se existir um ponto
a P X tal que, para qualquer x P X , o segmento de recta entre a e x:
L = ttx + (1 t)a : 0 t 1u
estiver contido em X . Mostre que qualquer conjunto em estrela conexo por arcos.
(5) Sejam X , Y espaos topolgicos, f : X Y uma funo contnua, a, b, c P X ,
um caminho entre a e b e um caminho entre b e c. Mostre que:
(a) ea = ea e = .
(b) = .
(c) f (ea ) = ef (a) e f = f .
(d) f ( ) = (f ) (f ).
( )
(6) Para cada n P N seja Fn = t1/nu [n, n] R2 e seja X = R2 Fn .
(a) Seja Y = t(x, y) P X : x 0u. Mostre que Y conexo por arcos.
(b) Mostre que X conexo. Sugesto: escreva X como uma unio A Y Y para um
espao A apropriado.
(c) Mostre que X no conexo por arcos.
(7) Mostre que o produto de espaos conexos por arcos conexo por arcos.
20

(8) Pag. 157, exerccios 1, 9, 10

Componentes
Comeamos por introduzir uma relao de equivalncia em X :

Denio 17. Dados a, b P X , dizemos que a b se existir um caminho em X de a

para b.

Teorema 37. A relao uma relao de equivalncia.

Demonstrao.
(1) Para mostrar que a a basta considerar o caminho constante ea (t) = a.
(2) Vamos ver que (a b) (b a). Basta observar que se um caminho em
X de a para b ento o caminho
(t) = (1 t) um caminho em X de b para
a.
(3) Vamos supor que a b e que b c. Ento existe um caminho de a para b e
um caminho de b para c. A concatenao um caminho de a para c.

Denio 18. Chamamos componentes conexas por arcos de X s classes de equiva-

lncia Px = [x] da relao de equivalncia .

Como sempre acontece com relaes de equivalncia, dados x, y P X , ou Px = Py

ou Px X Py = H. Assim, as componentes conexas por arcos formam uma partio de
X.

Teorema 38. Px o maior conjunto conexo por arcos que contm x. Ou seja, Px conexo por
arcos, e dado qualquer conjunto A conexo por arcos tal que x P A, temos A Px .

Demonstrao. Comeamos por ver que Px conexo por arcos: se a, b P Px ento a x

e b x logo a b logo existe um caminho de a para b. Supomos agora que A conexo
por arcos e que x P A. Ento, para qualquer y P A existe um caminho em A de x para
y , logo x y , logo y P Px . Assim, A Px .
De modo semelhante, podemos introduzir a noo de componente conexa.

Denio 19. Dizemos que a b se existir um conjunto A conexo tal que x, y P A.

Chamamos componentes conexas de X s classes de equivalncia, que representamos
por Cx = [x].

Para ver que se trata duma relao de equivalncia a nica diculdade provar a
transitividade: Se a b e b c, existem conexos A e C com a, b P A e b, c P C . Mas
ento b P A X C logo A Y C conexo e a, c P A Y C logo a c.
Tal como antes, as componentes conexas formam uma partio de X e temos:
 21

Teorema 39. Cx o maior conjunto conexo que contm x.

Demonstrao. Se A for conexo e x P A, para qualquer y P A temos x y logo y P Cx .

Assim A Cx . Falta ver que Cx conexo. Para tal basta ver que

Cx = tA X : A conexo e x P Au
pois trata-se da unio de conjuntos conexos com interseco no vazia. J provmos
pois qualquer A conexo com x P A est contido em Cx . Para provar tomamos
um y P Cx . Ento y x logo existe um conexo A tal que x, y P A, o que termina a
demonstrao.

Teorema 40. Para qualquer x P X , Cx fechado em X .

Demonstrao. Como Cx conexo, C x tambm conexo, logo C x Cx pelo que Cx

fechado.

Em geral, as componentes conexas no so abertas. Para tal precisamos duma con-

dio extra:

Denio 20. Dizemos que um espao X localmente conexo se para qualquer x P X

e qualquer U P Vx , existir uma vizinhana V P Vx conexa. Analogamente, dizemos
que X localmente conexo por arcos se para qualquer x P X e qualquer U P Vx ,
existir uma vizinhana V P Vx conexa por arcos.

Teorema 41. Se X localmente conexo (ou localmente conexo por arcos) e A X aberto ento
A tambm localmente conexo (ou localmente conexo por arcos).

Teorema 42. Se X localmente conexo ento as componentes conexas de X so abertas. Se X

localmente conexo por arcos ento as componentes conexas por arcos de X so abertas.

Teorema 43. Num espao localmente conexo por arcos as componentes conexas e as componentes
conexas por arcos coincidem.

Exerccios.
(1) Seja A R um aberto.
(a) Mostre que as componentes conexas de A so intervalos abertos.
(b) Conclua que qualquer aberto em R uma unio de intervalos abertos disjuntos.
(2) Mostre que X Q no localmente conexo em nenhum ponto.
(3) Seja X R2 a unio das rectas y = mx com m P Q.
(a) Mostre que X localmente conexo em 0 P X .
(b) Mostre que X t0u homeomorfo a S 1 Q.
(c) Conclua que X s localmente conexo em 0.
(4) Dado um espao topolgico X , representamos por 0 (X) o conjunto das compo-
nentes conexas por arcos de X .
22

(a) Dada uma funo contnua f : X Y , e uma componente conexa C X ,

mostre que existe uma nica componente conexa C 1 Y tal que f (C) C 1 .
Denimos a funo f : 0 (X) 0 (Y ) por f C = C 1 .
(b) Dadas funes contnuas f : X Y e g : Y Z , mostre que (g f ) = g f .
(c) Mostre que se f : X Y um homeomorsmo, ento f uma bijeco.
(d) Mostre que 0 (X Y ) isomorfo a 0 (X) 0 (Y ) (isto , tem a mesma car-
dinalidade).
(5) Mostre que a relao de homotopia f g entre duas funes f, g : X Y uma
relao de equivalncia. Sugesto: recorde que uma homotopia pode ser vista como
um caminho num espao de funes.
(6) Seja X um espao topolgico, a, b P X . Seja Ca,b C([0, 1], X) o espao dos
caminhos entre a e b, com a topologia compacta aberta. Mostre que dois caminhos
, P Ca,b esto na mesma componente conexa por arcos sse existir uma funo
contnua H : [0, 1] [0, 1] X tal que H(s, 0) = (s), H(s, 1) = (s), H(0, t) = a
e H(1, t) = b (dizemos ento que os dois caminhos so homotpicos).
(7) Pag. 162, exerccios 1, 2, 5, 10.