Redes

Daniel Daro Fula Argello

PO DD
LO FA
9
G
2
A

20

16

2016 03 30

1.

Introduccin

Este documento es una recopilacin de informacin sobre las redes para el curso de Topologa General del
primer semestre de 2016 en la UNAL. La primera parte es una traduccin de [5] pues el enfoque dado en ese
artculo sugiere una forma natural para comenzar a estudiar el tema1 . Despus de esto se realizan algunos
tomados de [6]. Por ltimo, mostraremos que, aunque los conceptos de filtro y red no parezcan muy similares,
resultan ser equivalentes en nuestro estudio de la topologa.

2.

La compacidad

Una razn importante para el estudio de las redes, es que nos permite generalizar el concepto de compacidad
por sucesiones en espacios mtricos a espacios topolgicos generales de manera natural. El problema al hacerlo
es que, en espacios mtricos la compacidad por sucesiones resulta equivalente a la compacidad por cubrimientos
abiertos, pero en espacios topolgicos generales no.

2.1.

La compacidad por sucesiones no implica la compacidad (por cubrimientos abiertos)

TO

Consideremos S = { : es un nmero ordinal y < } con la topologa del orden, donde es el

primer nmero ordinal no contable. Sabemos que todos los subconjuntos de conjuntos compactos son cerrados
(y todos los conjuntos compactos son cerrados). As S no es compacto pues no es cerrado en el conjunto
compacto S {}. Sin embargo, resulta que S es compacto por puntos lmite2 . Para ver por qu esto es
verdad, usaremos el hecho que cualquier subconunto contable de S tiene una cota superior en S . Si tomamos
cualquier subconjunto infinito de S , este tiene un subconjunto infinito contable, al cual llamaremos X. Como
X es contable, este tiene una cota superior en S , llammosla b. Pero el intervalo [1, b] es compacto pues S
tiene la propiedad de la mnima cota superior 3 . As, S es compacto por puntos lmite.
Escribier mejor esta parte
Esencialmente el mismo argumento muestra que cualquier sucesin en S debe tener una subsucesin convergente en S , as que S es compacto por sucesiones 4
1

Aunque no se demostrar la caracterizacin de la compacidad, pues en el curso no se ha visto todava el concepto de compacidad
en espacios topolgicos generales, decid poner esta motivacin porque es fcil de entender solo conociendo la compacidad en espacios
mtricos
2
limit-point compact, frchet compact
3
nombrar propiedad
4
Secuencialmente compacto

2.2.

Definiciones

PO DD
LO FA
9
G

16

El problema en el ejemplo de S es que mientras es un punto lmite de S , pues cualquier vecindad de

contiene puntos de S , ninguna sucesin en S converge a . Si nos limitamos a hablar de un nmero contable
de elementos en la sucesin, nunca alcanzaremos . Para ver cmo las redes son una generalizacin de las
sucesiones, es til pensar en las sucesiones como funciones en los nmeros naturales. Nos gustara reemplazar N
con un conjunto que sea no contable, pero tiene un orden similar al que tiene N. En otras palabras, queremos
establecer condiciones para una relacin de orden en un conjunto genrico que generalice la forma en que >
ordena a los nmeros naturales. Llamaremos a esta relacin  para insinuar la conexin con > y diremos que
esta relacin dirige a un conjunto dado.
Definicin 2.1. Un conjunto no vaco D, con la relacin  se llama dirigido si y slo si:
i. si d1 ,d2 ,d3 D tales que d1  d2 y d2  d3 implican d1  d3 .

ii. si d1 , d2 D, entonces hay un d3 D tal que d3  d1 y d3  d2 .

As la definicin de una red es simplemente la definicin de una sucesin con N reemplazado por la nocin
de conjunto dirigido. Desde ahora, D representar un conjunto dirigido con la relacin  como se defini
anteriormente
Definicin 2.2. Una red (denotada {xd }dD o simplemente {xd }) es una funcin que asigna a cada elemento
d de un conjunto dirigido D un valor funcional xd en un conjunto X.
Una vez definido lo que es una red, podemos enunciar lo que significa para ella ser convergente. De nuevo
derivaremos la definicin de convergencia y de punto lmite en una red al tomar las definiciones dadas para las
sucesiones y simplemente reemplazaremos N y > por D y .
Definicin 2.3. Una red {xd } converge a a X (lo que denotamos {xd } a) si y slo si para cada vecindad
U de a, hay un ndice d0 D tal que si d  d0 entonces xd U . (Es decir, la red est eventualmente en cada
vecindad de a).
Definicin 2.4. Un punto a es un punto lmite de {xd } si para cada vecindad U de a y cada d0 D hay un
d  d0 tal que xd D.

TO

Para definir la compacidad en trminos de redes, tambin necesitamos el concepto de subred, anlogo
al concepto de subsucesin. Parte de la definicin de subsucesin se generaliza fcilmente, pero otra parte
requiere que pensemos en las subsucesiones de una manera ligeramente diferente de la forma en la que estamos
acostumbrados. La primer propiedad que define una subsucesin es que cada elemento dela subsucesin pueda
ser identificado con un elemento de la sucesin. Esta propiedad se generaliza en (i) de la prxima definicin.
La segunda propiedad que defina una subsucesin requiere que la subsucesin est ordenada de manera similar
que la sucesin. Usualmente requerimos que los ndices de la subsucesin, como los ndices de la sucesin, sean
estrictamente crecientes. En otras palabras, para una subsucesin {xnk } de una sucesin {xn }, los nk son enteros
positivos tales que n1 n2 n3 .... Pero la caracterstica de esta condicin, que resulta ser importante, es el
simple hecho que cuando k , nk . Esta propiedad se generaliza en (ii).

Definicin 2.5. Una subred de una red {xd }dD es una red {yb }bB donde B es un conjunto dirigido y hay
una funcin : B D tal que :
i. yb = x(b) y
ii. para todo d D, existe b0 B tal que si b  b0 , entonces (b)  d.

Ahora estamos listos para caracterizar la compacidad en trminos de redes.

Teorema 2.1. Un espacio topolgico X es compacto si y slo si o ...
Cada red de puntos de X tiene un punto lmite en X, o
Cada red de puntos de X tiene una subred en X.

3.

PO DD
LO FA
9
G
2
A

20

16

Note que estas definiciones son precisamente las mismas que las de compacidad por puntos lmite y por
sucesiones para espacios mtricos con el trmino red sustituido por el trmino sucesin.
Aplicando estas definiciones al ejemplo de S , podemos mostrar por qu S no es compacto. Si tomamos
una red {xd } de elementos de S , no habr necesariamente un lmite en S . En particular, sea D = S y xd = d.
Entonces {xd } converge a , el cual no est en S . As, ninguna subred de {xd } converger a un punto en S .

Resultados sobre las redes

Nuestro concepto de red no cambiar si enriqueceremos nuestra definicin de conjuntos dirigidos al exigir
que la relacin  sea reflexiva, es decir que d  d para todo d D y a partir de ahora la notaremos . Los
siguientes son algunos ejemplos de conjuntos dirigidos:
Los conjuntos ordenados totalmente.

Cualquier coleccin de conjuntos que es cerrada bajo intersecciones finitas cuando es ordenado por la
inclusin inversa, es decir X  Y si y solo si X Y .
Si D y E son conjuntos dirigidos, tambin lo es su producto D E ordenado por (d2 , e2 )  (d1 , e1 ) si y
solo si d2  d1 en D y e2  e1 en E.
Otra de las motivaciones principales al definir las redes es que la convergencia de redes (en contraste con la
convergencia de sucesiones) nos puede determinar la topologa de un espacio.
Teorema 3.1. En cualquier espacio topolgico X, un conjunto A X es abierto si y solo si ninguna red en
X \ A tiene un lmite en A.
Demostracin. Sean A un conjunto abierto y {xd }dD una red en X \ A. Tomemos cualquier y A. Como
A es abierto, hay una vecindad de y que est contenido en A. As esta vecindad no contiene ninguno de
los trminos de la red, as que y no es un lmite de {xd }.

TO

Razonemos por contrarrecproca, es decir supongamos que A no es abierto. Luego hay un y A tal que
cada vecindad de y intersecta a X \ A. Por lo que hay una red {xU }U V (y) tal que xU (X \ A) U para
todos las vecindades U de y. Para cada vecindad U de y, U es un elemento de V (y) tal que xV U para
todo V  U (pues por definicin esto es V U ). Por lo tanto {xU } es una red en X \ A que converge a
y A.


Como para las sucesiones, la convergencia de las redes se preserva por las funciones continuas, pero para las
redes la afirmacin recproca tambin es cierta.

Teorema 3.2. Sea f : X Y una funcin entre dos espacios topolgicos. Entonces f es continua si y slo si
para cada red {xd }dD que converge a y en X, tenemos f (xd )dD converge a f (y) en Y .
Demostracin. Suponga que f es continua y xd y en X. Tomemos una vecindad U de f (y) en Y .
Entonces f 1 (U ) es una vecindad de y en X. Por definicin de convergencia de redes, hay un d D tal
que xe f 1 (U ) para todo e  d. As que f (xe ) U para todo e  d. Esto significa que f (xd ) f (y).

 Razonemos por contrarrecproca, es decir supongamos que f no es continua. Luego U Y es abierto pero
f 1 (U ) no lo es. Por la proposicin anterior hay una red xd }dD en X \ f 1 (U ) que converge a algn
y f 1 (U ). Pero entonces {f (xd )}dD es una red en el conjunto cerrado Y U lo cual (de nuevo por la
proposicin anterior ) no puede converger a f (y) U . As f no preserva la convergencia de redes.


PO DD
LO FA
9
G
2
A

20

16

Como en las sucesiones, las redes tambin pueden tener ms de un punto lmite, aunque en los espacios de
Hausdorff cada sucesin convergente tiene un nico lmite. Las sucesiones pueden tener tambin lmites nicos
en espacios que no son de Hausdorff. Considere por ejemplo un conjunto no contable X con la topologa de los
coenumerables. En este ejemplo los lmites de las sucesiones son nicos, pero el espacio no es de Hausdorff. Por
el contrario, en las redes tenemos xito al caracterizar exactamente los espacios de Hausdorff.
Teorema 3.3. Un espacio X es de Hausdorff si y solamente si ninguna red tiene dos lmites diferentes.
Demostracin. Supongamos que X es de Hausdorff y consideremos una red {xd }dD . Supongamos por
contradiccin que x y y son dos lmites distintos de {xd }. Tomemos dos vecindades disyuntas de x y de y,
llammoslas respectivamente U y V . Por definicin de convergencia, hay un dx tal que xe U para todo
e  dx y un dy tal que xe V para todo e  dy . En particular, tenemos que xe U V para una cota
superior e de dx y dy en el conjunto dirigido D, pero se supona que U y V eran disyuntos Contradiccin!.
Luego {xd } no puede tener dos lmites distintos.
Razonemos por contrarrecproca, supongamos que X no es de Hausdorff. Luego hay dos puntos distintos x y y tales que cualquier vecindad de x intersecta cualquier vecindad de y. As que hay una red
{x(U,V ) }(U,V )V (x)V (y) tal que x(U,V ) U V para cualquier vecindad U de x y cualquier vecindad V
de y. Tomemos cualquier vecindad U0 de x y cualquier (U, V ) V (x) V (y) con (U, V )  (U0 , X). Por
definicin tenemos que U U0 y entonces x(U,V ) U V U0 . Esto prueba que x(U,V ) x y podemos mostrar de manera similar que x(U,V ) y. As que la red {x(U,V ) }(U,V )V (x)V (y) tiene dos lmites
distintos.


4.

Equivalencia entre redes y filtros

Teorema 4.1. Si {xd }dD es una red en X, entonces la familia F de todos los conjuntos A tales que {xd }dD
est eventualmente en A es un filtro en X.
Demostracin. Veamos que F := {A X : (d D)(e  d)(xe A)} es un filtro.

i. El conjunto
/ F, pues si F, existira d D tal que para todo e  d,xe , lo cual es contradictorio.

TO

ii. Sean A, B F, veamos que A B F. Como A y B estn en F, tenemos que existen dA y dB en D

tales que para todo eA  dA y todo eB  dB se tiene que xeA A y xeB B. Como D es un conjunto
dirigido por , existe d D tal que d  dA y d  dB . Sea e  d, luego, como d  dA y D es un conjunto
dirigido, e  dA y como A F, xe A. De la misma forma, como d  dB y D es un conjunto dirigido,
e  dB y como B F, xe B. As que xe A B. Como e  d era un elemento arbitrario de D, hemos
demostrado que existe d D tal que para todo e  d se tiene que xe A B, es decir A B F.

iii. Si F F y F G, veamos que G F. Como F F , existe d D tal que para todo e  d, xe F y

como F G, xe G. Por lo tanto G F.
Por i., ii. y iii. concluimos que F es un filtro.
Teorema 4.2. Sea F un filtro en X. Luego F es un conjunto dirigido por la inclusin invertida.

Demostracin. Definimos  de la siguiente forma:

ABAB
Veamos que F es un conjunto dirigido por .
i. La relacin  es reflexiva. Sea A F, como A A concluimos que A  A.

PO DD
LO FA
9
G
2
A

20

16

ii. La relacin  es transitiva. Sean A, B, C F tales que C  B y B  A. Por definicin de , C B y

B A. Como es transitiva, C A, es decir, C  A.
iii. Supongamos que A, B F. Como F es filtro A B F. Es claro que A B A y A B B, entonces
por definicin de , A B  A y A B  B. As hemos mostrado que existe A B F tal que A B  A
y A B  B.
Por i., ii. y iii. concluimos que F es un conjunto dirigido por  .

Basados en los anteriores teoremas podemos mostrar lo siguiente

Teorema 4.3. Un filtro F converge a un punto x si y solo si cualquier red {xA }AF con xA A para todo
A F tambin converge a x.
Demostracin. Sean F un filtro en X que converge a x X y una red {xA }AF con xA A para todo
A F. Sea U una vecindad de x. Como F x entonces U F. Tomemos B = U , y sea C F tal que
C  B, as que C B. Como xC C, entonces xC U , pues B = U . Por definicin de convergencia de
redes tenemos que {xA }AF x.
Sean F un filtro en X y {xA }AF con xA A para todo A F una red que converge a x X. Sea U una
vecindad de x. Luego, como {xA }AF x, hay un F0 F tal que para todo F F para el cual F  F0
se tiene que xF U . Es decir, existe F0 F tal que si F F0 entonces xF U para todo F F. Esto
significa que F U y como F F y F es filtro, concluimos que U F. Por lo tanto F x, pues U era
una vecindad arbitraria de x.


5.

Observacin [6]

TO

Aunque en este documento solo se han considerado las redes, pues estas dan una generalizacin de las
sucesiones, es bastante ilustrativo estudiar los filtros, pues estos nos dan un punto de vista diferente. Solo al
combinar ambos puntos de vista, se puede obtener un mejor entendimiento en las matemticas.
Los filtros tienen otra ventaja. Una aplicacin simple del lema de Zorn nos da que cada filtro en X puede ser
refinado a un ultrafiltro y lo equivalente en redes sera que cada red tiene una subred universal. Una red X es
universal (tambin llamada ultrarred) si para cada A X, la red est eventualmente en A o eventualmente en
X \ A. Aunque, sin embargo, no hay una prueba directa agradable para el hecho que cada red tiene una subred
universal, los filtros son una herramienta ms natural en este punto.
Del hecho que cada filtro tiene un ultrafiltro que lo refina se puede obtener una prueba fcil del teorema de
Tychonoff. De hecho, los espacios compactos pueden ser caracterizados como aquellos espacios donde cada
ultrafiltro tiene un lmite. Pero entonces en un producto de espacios compactos, podemos encontrar un lmite
para cualquier ultrafiltro al considerar las proyecciones en cada componente y tomar un lmite en cada uno de
estos espacios compactos. Aunque una prueba del teorema de Tychonoff usando redes tambin es posible, no es
tan elegante.

Referencias
[1] R. G. Bartle. Nets and filters in topology. American Journal of Mathematics, 1955.
[2] J. Kelley. General Topology. D. Van Nostrand, 1955.
[3] H. L. Moore, E. H.; Smith. A general theory of limits. American Journal of Mathematics, 1922.
[4] J. R. Munkres. Topology: A First Course, Second Edition. Prentice-Hall, 2000.

PO DD
LO FA
9
G
2
A

20

16

[5] Manya Raman-Sundstrm. A pedagogical history of compactness. Publicado en arXiv.org, 2014.

[6] Stijn Vermeeren. Sequences and nets in topology. Publicado en arXiv.org, 2010.

TO

[7] Aarnes J.F. y Andenaes P.R. On nets and filters. Mathematica Scandinavica, 1972.