Universidad Nacional de Colombia

Facultad de Ciencias
Matematicas
I semestre 2010

Acerca de la topologa producto

Gustavo N. Rubiano O.
Universidad Nacional de Colombia, Bogota
El primer encuentro de un estudiante de matematicas con el concepto
de topologa producto es mi experiencia como profesor en la mayora
de los casos es de incertidumbre y acertijo. Incertidumbre porque no sabe el
porque ni el para que de introducir este concepto, mientras que el acertijo
es: porque esta topologa y no otra? Claro que estas preguntas presuponen
que el estudiante ya ha identificado en toda su dimension el concepto de producto conjuntista sobre cualquier conjunto de ndices. Con esta nota quiero
justificar:
(1) El porque de esta topologa y no otra.
(2) Mostrar algunos ejemplos.
(3) Como se puede generalizar este concepto.

1.

Justificaci
on

Sobre el conjunto X formado por el producto de arbitrarios espacios topologicos,

Y
X=
Xi = {f : I iI Xi | f (i) I}, (Xi Ji)iI
iI

es posible determinar muchas, en realidad infinitas topologas en general

un elemento x en X es denotado por x = (xi ) donde xi = pi (x).
Pero entre este mundo de topologas, la topologa usual o de Tychonoff
la introdujo en 1930 o simplemente producto para X es aquella que tiene
como base los conjuntos de la forma
Y
(Ui ) =
Ui , (Ui ) es llamada una caja
iI

donde cada Ui es un abierto de Xi y Ui = Xi para todos excepto un n

umero
finito de ndices i I.
La primera pregunta es: porque esta restriccio
n sobre el cardinal? pues
se podra haber
Q pensado en que la base estuviera formada por conjuntos
de la forma iI Ui donde cada Ui es un abierto de Xi sin restriccion al
cardinal donde Ui = Xi en efecto este es el caso para la topologa producto
cuando el espacio producto tiene un n
umero finito de factores. Esta u
ltima
topologa es conocida como la topologa caja iI Xi introducida por Tietze
en 1923 y obviamente para el caso finito ella coincide con la producto, pero
ya veremos que en general estan muy lejos de coincidir.
La primera inspiracion para crear la topologa producto, es desear que las
funciones proyeccion
Y
pi :
Xi Xi
iI

sean funciones continuas, pues solo de esta forma pueden ser miembros de
Top, la categora de los espacios topologicos y las funciones continuas. Por
tanto requerimos que p1
i (Ui ) sea abierto en X cada vez que Ui lo sea, es
decir, queremos encontrar una topologa para la cual {p1
an i I,
i (Ui )}, (var
Ui en Xi ) sea una subbase, la cual a su vez genere una base al tomar todas
2

las posibles intersecciones finitas y es aqu donde por primera vez aparece el
cardinal finito; claro que este argumento no es suficiente, pues la topologa
caja tambien hace de las proyecciones funciones continuas, pero no de la mejor
manera, en el sentido que, la topologa caja es mas fina que la producto,
esto es, se excede en abiertos para el proposito de la continuidad en las
proyecciones.
De hecho la topologa producto es la topologa con la menor cantidad
posible de abiertos que hace de las proyecciones pi , (i I) funciones continuas. Esto se dice topologicamente como: la topologa producto es la topologa
inicial dada por las proyecciones.
Por supuesto que ademas de este requerimiento sobre la continuidad de
las proyecciones, tambien deben existir requerimientos sobre el buen comportamiento respecto a los invariantes clasicos de la topologa, como: conexidad,
compacidad, metrizabilidad, separabilidad, separacion, etc.
En la topologa producto, el producto de espacios conexos es conexo, pero
esto no es cierto para la topologa caja. Por ejemplo, consideremos el espacio
X dado como el producto contable de copias de R con s mismo,
X=

i=1

o lo que es equivalente al conjunto RN de todas las sucesiones de n

umeros
reales, lo que tambien escribimos como Mor(N, R) el conjunto de todas las
funciones de los naturales a los reales.
Si definimos A X como el conjunto de todas las sucesiones acotadas,
A := {(x1 , x2 , . . .) | {xn }nN es acotada}
podemos ver que A es un aberrado abierto y cerrado no vaco en la
topologa caja.
En efecto, A es abierto, pues dado x A existe m R tal que |xn | < m
para todo n, con lo cual el abierto
Ux = (m, m) (m, m)
3

contiene a x y esta contenido en A con lo cual A es vecindad de cada uno de

sus puntos.
Para ver que A es cerrado, esto es, A coincide con su adherencia A,
tomemos x adherente a A, con lo cual toda vecindad Vx contiene a una
sucesion (an ) acotada. En particular lo hace la vecindad
(x1 1, x1 + 1) (x2 1, x2 + 1)
luego sea an (xn 1, xn + 1) con |an | < M para todo n y alg
un M R.
Por tanto |an + 1| < M + 1 para todo n, con lo cual la sucesion (xn ) satisface
|xn | < M + 1 para todo n, lo que implica x A y as A A.
Para la topologa producto, el producto de espacios compactos es compacto teorema de Tychonoff. Esta propiedad tambien se pierde en la
topologa caja. Para verlo, tomemos

Y
X=
[0, 1],
i=1

el producto contable de copias del intervalo unidad I = [0, 1]. Si A0 = [0, 1)

y A1 = (0, 1], la coleccion de todos los conjuntos de la forma
Ai1 Ai2 Ai3 , donde ij = 0 o 1
es un cubrimiento por abiertos el cual no es enumerable pues su cardinal es
2N los ndices de cada conjunto de la coleccion corresponden a una sucesion
f : N {0, 1} y este cubrimiento no lo podemos reducir a uno finito;
mas a
un, no podemos eliminar a ning
un miembro del cubrimiento, pues si
extraemos a Ai1 Ai2 Ai3 entonces el elemento (i1 , i2 , i3 , . . .) no es
cubierto por el cubrimiento; a manera de ejemplo, al extraer
A1 A0 A1
el elemento (1, 0, 1, . . .) sera abandonado al recubrir por los restantes.
Otro ejemplo en la direccion de las bondades de la topologa producto es
el siguiente. Las funciones
Y
f : Y X =
Xi
iI

que llegan a un producto, pueden ser realizadas como funciones coordenadas

f = (fi ), con fi = pi f , y la continuidad de f en la topologa producto
esta determinada exclusivamente por la continuidad de las funciones fi :
Y Xi : f es continua si y solo si cada funcion coordenada lo es.
Desafortunadamente esta caracterizacion deja de ser valida en la topologa
caja. Consideremos la funcion
Y
R
f : R
iN

dada por f (x) = (x, x, x, . . .). Aunque cada fi resulta ser la funcion identica,
f no es continua, pues dada la vecindad
Vf (0) = V0 = (1, 1) (1/2, 1/2) (1/3, 1/3)
no existe V0 para la cual f (V0 ) Vf (0) .
Claro que se puede pensar en remediar este defecto, es decir, poder encontrar otra caracterizacion de la continuidad de f en terminos de la continuidad
en las fi . En general, este es un problema abierto, pero al menos sobre los
espacios metricos tenemos el siguiente teorema.
Teorema 1. Sean X un espacio metricoQy {Xi }, (i I) una coleccion de
espacios metricos. Una funcion f : X iI Xi es continua en la topologa
caja si y solo si cada funcion coordenada fi = pi f : X Xi es continua
y cada x X posee una vecindad Vx sobre la cual casi todas las fi son
constantes excepto para un n
umero finito.
Demostracion. Asumamos que f es continua y no satisface la condicion.
Luego existe x X para el cual podemos construir una sucesion infinita
i1 , i2 , . . . de ndices correspondientes a las fi no constantes y una sucesion
de n
umeros reales positivos 1 , 2 , . . . tal que, para cada n N podemos
encontrar un xn B1/n (x) con d(fin (xn ), fin (x)) > n no son constantes
en ninguna bola y por tanto la distancia de puntos diferentes es estrictamente
positiva. Claramente
Y
Wf (x) := B1 (fi1 (x)) B2 (fi2 (x))
Xi
i6=ij

es una vecindad de f (x), para la cual no existe Ux tal que f (Ux ) este contenida
en ella (se niega la continuidad) pues de lo contrario, como existe B (x) U(x)
sea N tal que N1 < y as
B 1 (x) B (x) Ux
N

y esto contradice
fiN (B 1 (x)) * BiN (fiN (x))
N

pues ya tenamos d(fin (xn ), fin (x)) > n .

Conversamente, supongamos que existe Ux vecindad abierta
Q de x para la
cual f es constante para todo i
/ {i1 , i2 , . . . , in }. Si Vf (x) = iI Vi es una
vecindad basica de f (x), entonces
(Vin ) Ux
(Vi2 ) fi1
Wx = fi1
(Vi1 ) fi1
n
1
2
es una vecindad de x para la cual f (Wx ) Vf (x) .
1.1 Corolario. Sean X un espacio metrico compacto Q
y {Xi }, (i I) una
coleccion de espacios metricos. Una funcion f : X iI Xi es continua
en la topologa caja si y solo si cada funcion coordenada fi = pi f : X Xi
es continua y casi todas las fi son constantes excepto para un n
umero
finito.

Ahora anotemos una propiedad mini-max de la topologa producto.

Definici
on 2. Sea R una propiedad toplogica. Una topologa T sobre X con
la propiedad R se dice que es maximal (minimal) R, si para cualquier otra
topologa H mas fina (mas gruesa) se tiene que H no posee la propiedad R.

1.1.

Hausdorff y compacidad

Una topologa (X, J ) que es Hausdorff y compacta esta caracterizada por

una propiedad mini-max [He]; exactamente:
1.2 Proposici
on. Si (X, J ) es Hausdorff y compacto entonces J es:
6

minimal Hausdorff: H

J implica que J no es Hausdorff.

maximal compacta: J

H implica que H no es compacta.

Demostracion. Recordemos que: si (X, G), (Y, H) son espacios topologicos

con X compacto y Y un espacio Hausdorff, entonces toda biyeccion continua
f : X Y es un homeomorfismo.
Por tanto, al considerar la funcion identidad
idX : (X, J ) (X, H)
tenemos necesariamente J = H.
1.3 Corolario. Si (X, J ) es Hausdorff y compacto entonces para todo espacio (X, H) que se compara con (X, J ) tenemos H = J .
Por lo anterior, si una topologa para el producto de espacios Hausdorff y compactos esta estrictamente contenida en la de Tychonoff, para
dicha topologa el producto de espacios Hausdorff no sera Hausdorff. Si la
topologa usada contuviera a la de Tychonoff, entonces el producto de espacios compactos no necesariamente sera compacto (no existe teorema de
Tychonoff para dicha topologa). Por esto, la topologa de Tychonoff puede
ser considerada como minimax en la categora de los espacios bicompactos
Hausdorff y compactos y en particular minimal Hausdorff o Hausdorff
minimal. En 1940, Katetov [Ka] caracterizo los espacios Hausdorff que son
Hausdorff minimal y produjo un ejemplo de un espacio Hausdorff minimal
que no es compacto. En el caso de un espacio Hausdorff y compacto, se tiene
que la topologa es maximal para la compacidad y minimal para Hausdorff.
E. Hewitt 1943. Luego la topologa de Tychonoff para el espacio producto de espacios compactos y de Hausdorff es maximal compacta y minimal
Hausdorff.
En otras palabras, si una topologa para el producto esta contenida en la
de Tychonoff, el espacio no necesariamente es de Hausdorff. Tambien, si la
topologa es mas fina que la de Tychonoff, entonces el espacio producto de
compactos no necesariamente es compacto.

1.2.

convergencia

Q
La convergencia de una sucesion de puntos (xn ) en X = iI Xi cada
xn X esta caracterizada por la convergencia de las coordenadas: xn x,
si y solo si pi ((xn )) pi (x).
Desde el punto de vista funcional hagamos el siguiente comentario. Dados
dos conjuntos X, Y el conjunto Mor(X, Y ) = Y X de todas las funciones
f : X Y puede ser visualizado como un producto si indizamos con X,
esto es
Y
Mor(X, Y ) =
Yt , Yt = Y para cada t X.
tX

La subbase S dada por la toploga de Tychonoff es

S = {p1
t (U)} = {f X | pt (f ) = f (t) U}}
:= {(t, U) : donde varan t, U}

(1)
(2)

razon por la cual algunos autores la llaman punto abierto.

En otros terminos podemos decir que esta topologa para Mor(X, Y ) es
la que posee el menor n
umero de abiertos con respecto a la cual cada una de
las funciones evaluacion
et : Mor(X, Y ) Y con et (f ) = f (t)
es continua.
Por todo lo anterior podemos concluir que una sucesion de funciones
(fn )nN en este espacio producto satisface fn f si y solo si lo hace puntualmente, esto es
fn f si y solo si fn (t) f (t)
para cada t X. Por eso la topologa de Tychonoff es referida en este contexto
como la topologa de la convergencia puntual. Pero de otra parte esto podra
ser un defecto pues funciones continuas pueden converger a una no continua.

2.

La generalizaci
on

Q
Sea X = iI Xi y por cada i I, consideramos un subconjunto Ui Xi ,
entonces el subconjunto {(xi ) | xi Ui para cada i I} de X, lo hemos
denotado como (Ui ). Es claro que, esta coleccion de subconjuntos de X es
cerrada para las intersecciones finitas pues (Ui )(Vi ) = (Ui Vi ). Si denotamos
por [(Ui )] = {i | Ui = Xi } entonces se verifica que
[(Ui )] [(Vi )] = [(Ui Vi )],

(3)

En el caso en que (Xi , Ti )iI sea una coleccion de espacios topologicos y

por cada i I, Q
Ui es un abierto en Xi , al conjunto (Ui ) lo llamamos una caja
de abiertos en iI Xi . Si F es una familia de subconjuntos de I, entonces
el conjunto de todas las cajas (Ui ) que satisfacen
[(Ui )] F
forman una base para una topologa en X =
sea cerrada para las intersecciones finitas (1).

(4)
Q

iI

Xi , siempre y cuando F

En particular si F es un filtro en el conjunto de ndices I, tenemos que

(2) nos define una topologa para X, la cual denotamos como F -topologa, y
en esta topologa las proyecciones pi son abiertas pues la proyeccion de una
caja siempre es un abierto. En este contexto, es claro que cuando F es el
filtro de los complementarios finitos, esto es, F I esta en F si y solo si F c
es finito, la topologa usual para el producto, no es mas que la F -topologa
y si F es P(I) partes de I entonces la F -topologa es la topologa caja.
Mas a
un, este hecho lo podemos tambien generalizar a otros cardinales,
de suerte que las proyecciones puedan continuar siendo continuas.
Si denotamos por card(I) al cardinal de I, y por la letra a otro cardinal infinito, entonces podemos definir un filtro F el cual consiste de los
complementos de subconjuntos de I con cardinal menor que . En este caso
denotamos a la topologa por F .
9

Por ejemplo, para el caso en que = card(R) tenemos el filtro de los

coenumerables, formado por los conjuntos de ndices cuyo complemento es
enumerable bien sea finito o infinito. Para el caso en que = card(N)
tenemos la topologa usual para el producto. Si resulta que card(I)
entonces todas las F -topologas son la misma y coinciden con la topologa
caja. Para el caso en que tenemos F F .
En particular usual F para cada , con lo cual las proyecciones son
tambien continuas en este caso, es decir, del espacio a los factores tendremos
las propiedades que sean invariantes por funciones continuas, abiertas y sobreyectivas. Mas a
un, cualquier filtro F para el cual la F -topologa pretenda
ser continua, debe de ser mas fino que el filtro de los cofinitos y esta es parte
de la razon por la cual hemos considerado los cardinales infinitos.
Con esta perspectiva surge toda una cascada de preguntas, algunas resueltas y otras las interesantes por resolver:
(1) Si F , G inducen la misma topologa entonces son filtros iguales?
(2) Que propiedad en los factores pasa a la F -topologa en el producto?
T2 , regular, completamente regular, etc.
(3) Es esto un mecanismo functorial?
(4) Se puede pensar en cocientes?

La F -topologa tiene la propiedad Ti , (i = 1, 2, 3) si y solo si, cada factor la

tiene.
La propiedad anterior
esta lejos de tenerse en general, por ejemplo en el
Q
caso en que X = iN R y F es un ultrafiltro principal, esto es, F F si y
solo si 1 F el producto no es de Hausdorff aunque cada factor lo sea, pues
las sucesiones (1, 0, 0, . . .), (2, 0, 0, . . .) no se pueden separar, pues el conjunto
de ndices donde un caja debe de coincidir con todo el espacio, siempre tiene
que incluir al ndice 1.

10

Dados dos puntos x, y en el conjunto producto X podemos preguntarnos

que tan diferentes son ellos entre si? Para ello definamos el siguiente operador J.
J(x, y) := {i I | xi 6= yi }.
Claramente se verifica que para todo x, y I,
J(x, y) = J(y, x)
J(x, y) J(a, x) J(a, y), a I
J(x, y) = si y solo si x = y.

(5)
(6)
(7)

Cuando en la familia {Xi }, (i I) el conjunto de ndices es no vaco y

totalmente ordenado por un orden , y ademas cada factor Xi posee un orden
i , podemos generalizar el orden lexicografico usual dado por los diccionarios.
Q
Definimos un orden en Xi , (i I) como: xy donde x = (xi ), y =
(yi) si se verifican las siguientes dos condiciones:
(1) J(x, y) = o J(x, y) posee un mnimo,
(2) Si p = mn J(x, y) entonces xp p yp .
Para verificar que es un orden sobre X, es claro que tenemos la reflexividad.
En caso que xy, y, yx, si x 6= y entonces p = mn J(x, y), q =
mn J(y, x) implica que xp p yp , y, yp p xp con lo cual xp = yp pero esto contradice que xp 6= yp .
Finalmente sean x, y, z X tales que xy, y, yz y veamos que xz. Sean
p = mn J(x, y), q = mn J(y, z). Si p  q entonces xp p yp estrictamente y
yp = xp o yp p xp estrictamente de acuerdo a que p q o p = q. Luego
por la transitividad en p , xp p yp estrictamente y como xi = yi = zi para
todo i I con i p entonces p = mn J(x, z) y as xz estrictamente
luego tambien es transitiva.
Ahora, para definir una topologa inducida por este orden, es bueno desear que el orden sea completo. En particular, si I es bien ordenado todo
subconjunto tiene un primer elemento por la relacion , entonces es un
11

orden total sobre X, si y solo si, para cada i I, i es un orden total sobre
Xi .
Como hay que terminar esta nota en alguna parte, escojamos para ello
una u
ltima vision, inspirada en la definicion y las propiedades de J(x, y) en
(4). Tratando de pensar en los cocientes, hagamos la siguiente construccion
sobre las F -topologas.
Definimos una relacion sobre los elementos del conjunto X diciendo que
x y si solo si J(x, y) R, donde R es una coleccion fija de subconjuntos
de I. Si esta relacion pretende ser de equivalencia, por (4) tenemos que si
R, S estan en R entonces tambien deben de estar todos los subconjuntos de
R S dual con respecto al complemento a la exigencia de la contenencia
en los filtros o lo que es igual, para que esta relacion definida por R sea de
equivalencia, es suficiente por ejemplo que R sea un cof iltro, esto es, Rc sea
un filtro, donde Rc = {Rc | R R}.
Esto generaliza la conocida construccion de R los reales no estandar a
partir de todas las sucesiones en R, las cuales se identifican como (xn ) (yn ),
si y solo si, el conjunto de ndices donde coinciden es un elemento de un
ultrafiltro mas fino que el filtro de Frechet el filtro de los cofinitos en N.

Referencias
[1] D.E. Cameron, The mini-max property of the Tychonoff product topology, Amer. math. Monthly 81, 1973, 925927.
[2] V. Drobot, J. Sawka, Why the product topology?, Amer. math. Monthly
92 (2), 1984, 137138.
[3] E. Farah, Produtos lexicograficos e antilexicograficos, Bol. Soc. Paran.
Mat. 12/13, 1992, 6776.
[4] G. G. Gould, Locally unbounded topological fields and box topologies, J.
London Math. Soc. 36, 1961, 273281.
[5] J. L. Kelley, General topology, 1955.

12

[6] C. Knigth, Box topologies, Quat. J. Math. Oxford 15, 1964, 4154.
[7] J. R. Munkres, Topology: A first course, 1975.
[8] G. Rubiano O., Topologa General, Ed. Facultad de Ciencias, Univ. Nacional de Colombia, Bogota, 2001

13