13.

Converg
encia de redes
13.1. Defini
c
ao. Um conjunto , junto com uma relacao , e chamado de
conjunto dirigido se verifica as seguintes propriedades:
(a) para todo .
(b) Se e , entao .
(c) Dados , , existe tal que e .
13.2. Exemplos.
(a) N, com a relac
ao de ordem usual, e um conjunto dirigido.
(b) Seja X um espaco topologico, e seja x X. Se definimos U V quando
U V , entao o sistema de vizinhancas Ux e um conjunto dirigido. De maneira
an
aloga, qualquer base de vizinhancas Bx e um conjunto dirigido.
13.3. Defini
c
ao. Seja X um espaco topologico.
(a) Chamaremos de rede em X qualquer funcao da forma x : X, sendo
um conjunto dirigido. Escreveremos x em lugar de x(), e falaremos da rede
(x ) .
(b) Diremos que a rede (x ) converge a um ponto x X se dada U Ux ,
existe 0 I tal que x U para todo 0 . Neste caso escreveremos x x.
claro que a definic
E
ao em (b) nao muda se trocamos o sistema de vizinhancas
Ux por qualquer base de vizinhancas Bx .
13.4. Exemplos. Seja X um espaco topologico.
(a) Cada seq
uencia em X e uma rede, e a convergencia de redes generaliza
a convergencia de seq
uencias.
(b) Seja x X. Se escolhemos xU U para cada U Ux , entao (xU )U Ux
e uma rede em X que converge a x.
(c) Seja x X, e seja Bx uma base de vizinhancas de x. Se escolhemos
xU U para cada U Bx , entao (xU )U Bx e uma rede em X que converge a x.
Notemos que, nos Exemplos 13.4(b) e 13.4(c) estamos usando a Proposicao
9.3, ou seja o axioma da escolha.
O resultado seguinte generaliza a Proposicao 12.2.
13.5. Proposi
c
ao. Seja X um espaco topol
ogico, e sejam A X e x X.
o se existe uma rede (x ) A que converge a x.
Tem-se que x A se e s
Demonstra
c
ao. Pela Proposicao 5.8, x A se e so se U A 6= para cada
U Ux .
() Se x A, podemos escolher xU U A para cada U Ux . Entao a
rede (xU )U Ux est
a contida em A e converge a x.

34

() Seja (x ) uma rede em A que converge a x. Dado U Ux , existe

0 tal que x U para todo 0 . Em particular x0 U A. Segue
que x A.
O resultado seguinte generaliza a Proposicao 12.4.
13.6. Proposi
c
ao. Seja f : X Y , sendo X e Y espacos topol
ogicos.
Ent
ao f e contnua num ponto x X se e s
o se, para cada rede (x ) que
converge a x em X, a rede (f (x )) converge a f (x) em Y .
Demonstra
c
ao. Pela Proposicao 8.2, f e contnua em x se e so se, dado
V Uf (x) , existe U Ux tal que f (U ) V .
() Suponhamos que f seja contnua em x. Seja (x ) uma rede em X
que converge a x. Ent
ao, dada V Uf (x) , existe U Ux tal que f (U ) V .
Seja 0 tal que x U para todo 0 . Entao f (x ) f (U ) V para
todo 0 . Logo f (x ) f (x).
() Suponhamos que f nao seja contnua em x. Entao existe V Uf (x) tal
que f (U ) 6 V para todo U Ux . Se escolhemos xU U tal que f (xU )
/ V
para cada U Ux , ent
ao xU x, mas f (xU ) 6 f (x).
13.7. Proposi
c
ao. Seja {Xi Q
: i I} uma famlia n
ao vazia de espacos
topol
ogicos n
ao vazios, e seja X = iI Xi . Ent
ao uma rede (x ) converge
a x em X se e s
o se a rede (i (x )) converge a i (x) em Xi para cada i I.
Demonstra
c
ao. () Se x x em X, entao i (x ) i (x) em Xi , para
cada i I, pois cada i e contnua.
() Suponhamos que i (x ) i (x) para cada i I. Seja U uma vizinhanca aberta b
asica de x em X, ou seja
\
xU =
j1 (Uj ), com J finito, Uj aberto em Xj .
jJ

Para cada j J j (x) Uj . Logo existe j tal que

j (x ) Uj para todo j .
Como e um conjunto dirigido existe 0 tal que 0 j para cada j J.
Segue que
\
x
j1 (Uj ) para todo 0 .
jJ

Logo x x.
13.8. Defini
c
ao. Seja X um espaco topologico, e seja (x ) uma rede
em X. Diremos que x X e um ponto de acumulac
ao de (x ) se dados
U Ux e 0 , existe , 0 , tal que x U .
Se (x ) converge a x, e claro que x e ponto de acumulacao de (x ) .

35

13.9. Defini
c
ao. Seja X um espaco topologico, e seja x : X uma
rede em X. Chamaremos de subrede de x : X qualquer rede da forma
x : M X, sendo M um conjunto dirigido, e sendo : M uma funcao
com as seguintes propriedades:
(a) 1 2 implica (1 ) (2 ) ( e crescente);
(b) dado , existe M tal que () ( e cofinal ).
A subrede x : M X sera denotada por (x() )M .
13.10. Proposi
c
ao. Seja X um espaco topol
ogico, e seja (x ) uma
rede em X. Ent
ao x X e um ponto de acumulac
ao de (x ) se e s
o se
existe uma subrede de (x ) que converge a x.
Demonstra
c
ao. () Seja (x() )M uma subrede de (x ) que converge a x. Sejam U Ux e 0 dados. Por um lado existe 1 M tal que
(1 ) 0 . Por outro lado existe 2 M tal que x() U para todo 2 .
Seja M tal que 1 e 2 . Segue que () (1 ) 0 e x() U .
Logo x e ponto de acumulacao de (x ) .
() Seja x um ponto de acumulacao de (x ) . Seja
M = {(, U ) Ux : x U }.
Definamos (1 , U1 ) (2 , U2 ) se 1 2 e U1 U2 . Claramente M e um
conjunto dirigido. Definamos : M por (, U ) = . Claramente
(x() )M e uma subrede de (x ) . Provaremos que x() x. Seja
U0 Ux . Como x e ponto de acumulacao de (x ) , existe 0 tal que
x0 U . Ent
ao (0 , U0 ) M e e claro que x U0 para todo (, U ) M tal
que (, U ) (0 , U0 ). Ou seja x() x.
13.11. Defini
c
ao. Diremos que uma rede (x ) em X e uma rede
universal ou ultrarede se dado A X existe 0 tal que
{x : 0 } A

{x : 0 } X \ A.

ou

claro que toda rede constante e uma rede universal, chamada de rede
E
universal trivial.
13.12. Proposi
c
ao. Seja X um espaco topol
ogico, e seja (x ) uma rede
universal em X. Se x e um ponto de acumulac
ao de (x ) , ent
ao (x )
converge a x.
Demonstra
c
ao. Seja U Ux . Como (x ) e rede universal, existe
0 tal que
{x : 0 } U

ou

{x : 0 } X \ U.

Como x e ponto de acumulacao de (x ) , existe 0 tal que x U . Segue

que
{x : 0 } U.
36

Logo x x.
Exerccios
13.A. Se uma rede (x ) converge a x, prove que qualquer subrede de
(x ) tambem converge a x.
13.B. Se x e ponto de acumulacao de uma subrede de (x ) , prove que x
e ponto de acumulac
ao de (x ) .
13.C.
Q Seja x um ponto de acumulacao de uma rede (x ) no produto
X = iI Xi . Prove que i (x) e ponto de acumulacao da rede (i (x )) em
Xi para cada i I.
13.D. Seja (x ) uma rede em X, e seja x X. Se cada subrede de
(x ) admite uma subrede que converge a x, prove que (x ) converge a
x.
13.E. Prove que cada subrede de uma rede universal e uma rede universal.
13.F. Seja f : X Y . Se (x ) e uma rede universal em X, prove que
(f (x )) e uma rede universal em Y .

37