Professional Documents
Culture Documents
Facultad de Ciencias
Matematicas
I semestre 2010
1.
Justificaci
on
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
Y
X=
[0, 1],
i=1
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
1.1.
Hausdorff y compacidad
minimal Hausdorff: H
maximal compacta: J
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
(1)
(2)
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)
(4)
Q
iI
Xi , siempre y cuando F
10
(5)
(6)
(7)
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