Clase 6, Topologa producto

Profesor Jose Aguayo

Topologa
Licenciatura y Magister en Matematica, Primer Semestre 2013
Profesor Jose Aguayo Clase 6, Topologa producto
Ya hemos denido la topologa producto en X Y de dos espacios
topologicos X e Y respectivamente. Esta denicion puede ser
extendida sin problemas a un producto cartesiano de nito espacios
topologicos. Suponga que X
1
, X
2
, . . . , X
m
espacios topologicos,
la coleccion
{U
1
U
2
. . . U
m
: U
i
abierto en X
i
, i = 1, 2, . . . , m}
resulta ser una base para una topologa en X
1
X
2
. . . X
m
(=
m
i =1
X
i
) que la llamaremos topologa producto.
Profesor Jose Aguayo Clase 6, Topologa producto
Observacion
Consideremos la topologa producto en
m
i =1
X
i
1. Si X es un espacio topologico y f : X
m
i =1
X
i
, una funcion,
entonces
f es continua f
i
=
i
f es continua, para cada i = 1, 2, . . . , m
2. Denotemos por x = x
1
x
2
x
m
a un elemento de

m
i =1
X
i
. Si (x
n
)
nN
es una sucesion en
m
i =1
X
i
y x
m
i =1
X
i
,
entonces
x
m
= x
m
1
x
m
2
x
m
n

m
x = x
1
x
2
x
n

x
m
i

m
x
i
para cada i = 1, 2, . . . , m
Profesor Jose Aguayo Clase 6, Topologa producto
Observacion
3. Si A
i
X
i
, entonces

n
i =1
A
i
=
n
i =1
A
i
Consideremos ahora una familia de espacios topol ogicos, digamos
{X
i
}
i I
. Recordemos que

i I
X
i
= {f : I
i I
X
i
: f (i ) = x
i
X
i
}
Si I = {1, 2, . . . , n} , entonces

n
i =1
X
i
= {f : {1, 2, . . . , n}
n
i =1
X
i
: f (i ) = x
i
X
i
}
As, para un f
n
i =1
X
i
, f puede ser identicada con su recorrido
{f (i ) = x
i
: i {1, 2, . . . , n}}, el cual, a su vez, con la n-upla
x
1
x
2
x
n
. De esta manera, podemos identicar a
n
i =1
X
i
con X
1
X
2
. . . X
n
.
Profesor Jose Aguayo Clase 6, Topologa producto
Por otro lado, si I es innito, entonces una f
i I
X
i
puede ser
identicada por el smbolo (x
i
)
i I
, esto es,
f

f (i )
i I

= (x
i
)
i I
A (x
i
)
i I
la denominaremos una I tupla y a cada x
i
la i esima
coordenada de (x
i
)
i I
.
Supongamos que, para cada i I , X
i
es un espacio topologico.
Siguiendo el criterio anterior para construccion de una topologa en

i I
X
i
, tendremos la coleccion
B = {
i I
U
i
: U
i
abierto en X
i
}
Profesor Jose Aguayo Clase 6, Topologa producto
Observemos que B es una base para una topologa en
i I
X
i
. En
efecto, es claro que

i I
U
i
=
i I
U
i
=
i I
X
i
Por otro lado, como

i I
U
i

i I
V
i
=
i I
[U
i
V
i
] ,
tenemos
i I
U
i

i I
V
i
B.
Por tanto,
i I
X
i
esta provisto de una topologa T la cual tiene
como base a B.
Profesor Jose Aguayo Clase 6, Topologa producto
Ejemplo
Supongamos que X
n
= R, para cada n N y denotemos por R

nN
X
n
. Consideremos la funcion
f : R R

; f (t) = (t, t, . . .) .
Obviamente, para cada n N, f
n
=
n
f : R R es la funcion
identidad, la cual es continua. Pero, si consideramos el basico
B = (1, 1)

1
2
,
1
2

1
3
,
1
3

,
f
1
(B) no es una vecindad de 0 en R.
Profesor Jose Aguayo Clase 6, Topologa producto
Ejemplo
En efecto, si lo fuera, debera existir > 0 tal que
(, ) f
1
(B)

f (, ) B (1, 1)

1
2
,
1
2

1
3
,
1
3

Aplicando
n
en ambos lados, deberiamos tener

n
f (, ) = (, )

1
n
,
1
n

; n N
Por Arquimedes, existe N N tal que
1
N
< y, por tanto
(, )

1
N
,
1
N

.
Profesor Jose Aguayo Clase 6, Topologa producto
Ejemplo
Luego, a diferencia de la topologa denida en un producto
cartesiano nito, la continuidad componente a componente falla.
De manera analoga, se demuestra que la sucesion (x
n
)
nN
, con
x
n
=

1
n
,
1
n
,

, no converge a 0 = (0, 0, ).
Tomemos nuevamente a
i I
X
i
, y consideremos la coleccion

B = {
i I
U
i
: U
i
abierto en X
i
; U
i
= X
i
salvo para un n umero nito }
Un elemento de

B luce como
U
i
1
U
i
2
. . . U
i
n

i ={i
1
,i
2
,...,i
n
}
X
i
.

B resulta ser una base para una topologa en

i I
X
i
.
Profesor Jose Aguayo Clase 6, Topologa producto
Proposicion
Sea Z un espacio topologico y se f : Z
i I
X
i
una funcion.
Entonces, f es continua si, y solo si, f
i
=

f es continua, para
cada i I .
Proof.
() En este sentido es inmediata, pues la composicion de
funciones continuas es continua.
() Sea B = V
i
1
V
i
2
. . . V
i
n

i ={i
1
,i
2
,...,i
n
}
X
i
S y sea
f
1
(B) . Como cada f
i
j
es continua,
U
i
j
= f
1
i
j

V
i
j

es abierto en cada i
j
{i
1
, i
2
, . . . , i
n
} .
Por propiedades topologicas en Z,
U =
n
j =1
U
i
j
es un abierto. Es facil ver que U = f
1
(B) y, por tanto, f es
continua.
Profesor Jose Aguayo Clase 6, Topologa producto
Corolario
Sea (x
n
) una sucesion en
i I
X
i
y sea x
i I
X
i
. Entonces,

i I
X
i
con esta nueva topologa
x
n
x x
n
i
x
i
Observacion
Por lo tanto, tenemos diferencia entre ambas topologa. La
primera se llama topologa CAJA o BOX Topology y la
segunda Topologa Producto. Por la proposicion y su corolario,
la topologa que se prodra considerar natural en
i I
X
i
es la
topologa producto. As, si nos referimos al espacio topologico

i I
X
i
, sin mencionar la topologa, se supondra que
i I
X
i
esta
provisto de la topologa producto.
Profesor Jose Aguayo Clase 6, Topologa producto
Ejemplo
En R

esta nueva topologa. Un subbasico para la topologa

producto tiene la forma
B = (a
1
, b
1
) (a
2
, b
2
) (a
n
, b
n
) R R
La funcion
f : R R

; f (t) = (t, t, . . .) .
resulta ser continua si, y solo si, para cada n N,
f
n
=
n
f : R R es continua.
Tambien, resulta ser convergente a 0 la sucesion (x
n
)
nN
, con
x
n
=

1
n
,
1
n
,

. En otras palabras, esta nueva topologa se

comporta como la topologa producto en los espacio
n
i =1
X
i
.
Profesor Jose Aguayo Clase 6, Topologa producto
Proposicion
La box topology es mas na que la topologa producto en
i I
X
i
.
Proof.
Esto resulta del hecho que

B B.
Profesor Jose Aguayo Clase 6, Topologa producto
Proposicion
Suponga que la topologa de cada X
i
esta generada por una base
B
i
. Entonces,
1
La coleccion de todos los conjuntos de la forma

i I
B
i
,
con B
i
B
i
, forma una base para la box topology
2
La coleccion de todos los conjuntos de la forma

i I
B
i
,
con B
i
B
i
y B
i
= X
i
, salvo un n umero nito de indices,
digamos {i
1
, i
2
, . . . , i
n
} , forma una base para la topologa
producto.
Profesor Jose Aguayo Clase 6, Topologa producto
Observacion
Notar que en un producto nito de espacios topol ogicos ambas
topologa coinciden.
Proposicion
Para cada i I ,sea A
i
un subespacio de X
i
. Entonces,
1
si
i I
X
i
esta provisto de la box topology, entonces
i I
A
i
es
un subespacio de
i I
X
i
.
2
si
i I
X
i
esta provisto de la topologa producto, entonces

i I
A
i
es un subespacio de
i I
X
i
.
Profesor Jose Aguayo Clase 6, Topologa producto
Proposicion
Si cada X
i
es Hausdor, entonces
i I
X
i
es Hausfor en ambas
topologas.
Proof.
Basta mostrar que
i I
X
i
provisto de la topologa producto es
Hausdor.
Proposicion
Si A
i
X
i
, i I , entonces

i I
A
i
=
i I
A
i
en ambas topologas.
Profesor Jose Aguayo Clase 6, Topologa producto