Documentos de Académico
Documentos de Profesional
Documentos de Cultura
7 Redes PDF
7 Redes PDF
1. Sucesiones y redes.
Se ha visto que el concepto de sucesion no permite caracterizar algunas
nociones topologicas, salvo en espacios metricos. Esto empieza con algunas
definiciones casi todas conocidas.
Ejemplos de conjuntos dirigidos son los naturales, los reales (con sus
ordenes usuales), cualquier conjunto totalmente ordenado (con un orden
reflexivo). Otros conjuntos dirigidos que seran u
tiles de vez en cuando: X
es un conjunto y D el conjunto de las partes de X ordenado por inclusion.
Tambien el conjunto de entornos de un punto x de un espacio topologico
ordenado por inclusion resulta ser un conjunto dirigido. Dados dos conjuntos
dirigidos (D, <) y (E, ) se define el conjunto dirigido producto en D E
como el orden (d, e) << (d0 , e0 ) si d < d0 y e e0 . Es facil ver que es un
1
conjunto dirigido. Otra manera de dotar D E con un orden que lo dirige,
es va el orden de diccionario (d, e) << (d0 , e0 ) si d < d0 y d 6= d0 o d = d0 y
e e0 .
2
en D entonces tomando la funcion de inclusion N : E D se obtiene que
S N es la restricci
on de S a E y cumple que es una subred de S. Esta es, de
hecho, la unica forma que existe de obtener una subsucesion de una sucesion,
sin embargo se ver a que no toda subred de una red puede obtenerse como
restricci
on a un conjunto cofinal. La ventaja de considerar subredes como
se defini
o y no restricciones a conjuntos cofinales descansa en el siguiente
hecho (ejercicio 4):
3
Demostraci on: Sea S : D X una red en X sin subredes convergentes;
del ejercicio 4 se sigue que la red no tiene puntos de aglomeracion y por
lo tanto para todo x en X existen un entorno abierto Ux de x y un punto
dx D tales que Sd / Ux para cualquier d tal que dx < d. Sea dada una
cantidad finita de los Ux , digamos {Uxi : 1 i n}. Sea d0 un elemento
de D tal que dxi < d0 para todo 1 i n. Se deduce que para todo i, Sd0
no pertenece a Uxi . Esto demuestra que no hay subcubrimientos finitos de
U = {Ux : x X}.
Suponga ahora que toda red tiene subred convergente. Se probara la
compacidad usando la caracterizacion del ejercicio 7. Sea {C : I}
una familia de subconjuntos cerrados de X tal que cualquier interseccion
de finitos elementos es no vaca. Se considera el conjunto D formado por
todos los subconjuntos finitos de I, que ordenado con la inclusion resulta un
conjunto dirigido. Sea S : D X que asocia a cada subconjunto finito F
de I un elemento de la interseccion de los C correspondientes:
S(F ) F C .
4
Concluir de la parte (d) que no toda subred es la restriccion de la red a un
conjunto cofinal.