G

.
R
U
B
I
A
N
O
Universidad Nacional de Colombia
Departamento de Matem

aticas
Topologa Primero 2013
Profesor: Gustavo N. Rubiano O. email: gnrubianoo@unal.edu.co
Colecci on de ejercicios resueltos con el prop osito unico de motivar al estudiante.
1. En el conjunto de los numeros reales R, considere los siguientes subconjuntos. Muestre que
en cada caso se trata de una base y diga como son los abiertos de la respectiva topologa
generada:
B
i
:= (, a] : a R. genera a
i
Alexandro
B
d
:= [a, ) : a R. genera a
d
Lmite inferior
B
0
:= (a, b), (, a), (b, ) : a, b R. genera a
0
Orden o intervalos
B
+
:= [a, b) : a, b R. genera a
+
Sorgenfrey
B

:= (a, b] : a, b R. genera a

B
ai
:= (, a) : a R. genera a
ai
Inicial
B
ad
:= (a, ) : a R. genera a
ad
Final
B := [a, b] : a, b R. genera a la Discreta
A manera de ejemplo, miremos explictamente la primera base a n de obtener un
modelo para las demas:
1. Debemos vericar que los elementos de la base son lo suentemente amplios para
agotar a X, esto es,

B
i
= X. Dado x R existe a R tal que x < a con lo cual
x (, a].
2. Ahora miraremos que la interseccion de dos elementos de la presunta base tambien
se puede expresar como union de elementos de la base, con lo cual la interseccion tiene
derecho a ser elemento de la topologa generada.
Para esto, es suciente atrapar cada punto de la interseccion por un elemento de la base
que este contenido en la interseccion, de lo cual resulta que, la interseccion es reuni on
de elementos de la base. Sea x (, a] (, b], es claro que (, a] (, b] = (, c]
donde c es el menor entre a, y b. As que (, c] es el elemento de la base requerido.
Construyamos un diagrama que diga como es la relaci on de nura entre estas topologas.
Por ejemplo se tiene las siguientes cadenas:

ai

i

2
X
,
ai

0

+
2
X
.
1
G
.
R
U
B
I
A
N
O
Donde 2
X
es la topologa discreta.
B
i
tambien genera a los intervalos de la forma
(, a) =
_
b<a
(, b],
con lo cual es inmediato ver que
ai

i
.
B
d
genera adem as los de la forma (a, ) =

b>a
[b, ).
B
+
genera: (a, b) =
_
t>a
[t, b),
[a, ) =
_
a<b
[a, b),
(a, ) =
_
a<b
(a, b),
(, b) =
_
a<b
(a, b).
B

genera: (a, b) =
_
x<b
(a, x],
(, a] =
_
b<a
(b, a],
(a, ) =
_
b<a
(a, b),
(, b) =
_
a<b
(a, b).
De manera similar podemos examinar las contenencias necesarias para llegar al dia-
grama, que a m as de mostrarnos la relaci on de mas no que, tambien nos dice quienes
no son comparables.
2
X

i

o

d

ai

ad

d
d ds

d
d ds

d
d ds
f
d
d
ds

d
d
ds

Si denotamos por TOP(X) al conjunto parcialmente ordenado de todas las topologas

sobre un conjunto jo X con el orden de la contenencia, se verica que TOP(X) es un
retculo completo, esto es, cada subconjunto tiene tanto sup como inf. Este hecho es
consecuencia del siguiente caso m as general.
2
G
.
R
U
B
I
A
N
O
0.1 Proposici on. Dados un conjunto Y y una familia / de subconjuntos de Y orde-
nada por la inclusion y tal que:
/ es cerrada para la interseccion.
Y /.
Entonces / es un retculo completo en el cual,
A
i
: i I =
iI
A
i
A
i
: i I = B / :
iI
A
i
B.
Y este resultado es a su vez consecuencia de:
0.2 Proposici on. Sea P un conjunto ordenado no vaco. Entonces los siguientes he-
chos son equivalentes:
a) P es un retculo completo.
b) S existe para cada subconjunto S de P.
c) P tiene maximo y S existe para cada subconjunto no-vaco S de P.
Notese que en Fil(X) el conjunto de todos los ltros sobre X no se dan las condi-
ciones anteriores y por lo tanto no tenemos un retculo completo.
2. Muestre que las bases en el ejercicio anterior y por tanto las respectivas topologas se
pueden denir para cualquier par (X, ) donde X es un conjunto y es una relaci on de
orden total (deniendo los conceptos de intervalo en X) excepto para el caso de B
+
, B

donde es necesario que en el orden total, no existan primero y ultimo elemento, caso en el
cual es necesario anadir los intervalos innitos porque?. se necesita que el orden sea
total?
En el caso de las topologas B
i
, B
d
la primera se trata de la Topologa de Alexan-
dro y es generada por los conjuntos inferiores solo requerimos de un orden parcial.
Las demostraciones corren como en R excepto en el caso de B
+
, B

donde no se puede
dar que sean bases cuando X posee ultimo o primer elemento, ya que ning un intervalo
de la forma [a, b) puede tener como elemento al ultimo elemento, pues no existe ning un
b adelante de el y visceversa.
Si el orden no es total, pueden existir elementos que no se comparan entre si y por
tanto no quedan dentro de alg un intervalo (a, b); pero si lo estan en los de la forma
[a, b) o [a, ).
3. Para 1, 2, 3 calcular
+
,
i
,
d
. Puede Ud. notar la inuencia del orden?
Para
+
tenemos que B
+
= [1, 3), [1, 2), [2, 3), = 1, 2, 1, 2,
lo cual no es una base por no poder generar a todo el espacio, ya que es imposible
capturar al ultimo elemento 3.
3
G
.
R
U
B
I
A
N
O
B
d
= [1, ), [2, ), [3, ), con lo cual
d
= , 1, 2, 3, 2, 3, 3

i
= , 1, 2, 3, 1, 2, 1
Notese adem as que las contenencias del diagrama ya no son m as ciertas.
4. Considere a los numeros racionales Q y dena.
U sii U es union de intervalos abiertos y acotados en Q.
Esto es, (a, b)
Q
:= (a, b) Q, donde (a, b) es un intervalo en R. Muestre que es una
topologa. El conjunto [

2, 0) es abierto?
Este ejemplo es un caso particular de la topologa
0
asociada a un orden, en el que
X = Q y el orden es el usual, es decir, a b sii b a 0.
De otra parte el conjunto [

2, 0) es un abierto ya que en Q coincide con (

2, 0), el
cual es abierto por ser de la base.
5. En X = Z, sea B = n, n [ n Z, cada elemento en B es una pareja espejo.
La topologa B generada por esta base no es T
1
pues los conjuntos unitarios no son
cerrados.
6. Como es
0
para el caso de R
2
con el orden lexicograco?
Los intervalos abiertos y acotados ((a, b), (c, d)) en este espacio, resultan ser rectangulos
innitos, hacia arriba y hacia abajo del eje horizontal, con parte de los lados verticales
incluidos, seg un sea el caso. Luego un abierto para la topologa generada, sera todo lo
que logremos expresar como union de estos elementos basicos.
Trate de observar como es la topologa inducida sobre el cuadrado unidad I I.
Notese que la topologa de subespacio de R
2
diere de la topologa del orden asociada
a [0, 1]!. Dibuje...
7. Muestre que en R
n
las metricas correspondientes a las normas | |
p
y | |
q
son equivalentes
topol ogicamente para 1 p, q.
Al decir que dos normas d, m son topol ogicamente equivalentes, estamos diciendo
que las dos topologas generadas coinciden. Esto es, que cada abierto basico, o sea,
cada bola de una metrica se puede expresar como reuni on de bolas de la otra metrica,
con lo cual pertenece a la topologa generada por esta ultima.
Afortunadamente lo anterior lo podemos expresar en terminos de contenencia de la
siguiente manera:
Dada (B

(x), d) bola abierta seg un d y dado t B

(x), existe una bola en la otra

metrica (B

(t), m) con la propiedad que B

(t) B

(x), y visceversa.
4
G
.
R
U
B
I
A
N
O
B

(x)
B

(t)
De otra parte tenemos que, dos normas d, m son metricamente equivalentes, si y
solo si, existen dos n umeros reales positivos s, t tales que, para todo par de puntos x, y
en X se tiene:
d(x, y) s m(x, y)
m(x, y) t d(x, y).
Se puede demostrar que las desigualdades anteriores implican la contenencia de las
bolas:
(B
/s
(x), m) (B

(x), d)
(B
/t
(x), d) (B

(x), m),
las cuales implican que las metricas son equivalentes. En resumen, ser metricamente
equivalentes implica ser topol ogicamente equivalentes; lo contrario no.
Por lo anterior, para vericar que las normas | |
p
, | |
q
son equivalentes topol ogica-
mente, basta vericar que las desigualdades anteriores se tienen. Para ello es suciente
mostrar que
|x|

|x|
p
n
1/p
|x|

lo cual se tiene al vericar,

(|x|

)
p
|x
1
|
p
+|x
2
|
p
+|x
3
|
p
+ +|x
n
|
p
+ n(|x|

)
p
y tomar en cada miembro de la desigualdad la raz pesima.
b) Verique que lm
p
| |
p
= | |

.
Para obtener esta igualdad, tomemos el lmite cuando p tiende a innito en la siguiente
desigualdad
|x|

|x|
p
n
1/p
|x|

.
Finalmente, porque es necesario tomar a p, q 1?
8. Ejemplos de metricas equivalentes.
Dada la metrica d y la metrica asociada e = mn1, d tenemos:
para la bola B
d
r
(x) al tomar s = mn1, r se satisface B
e
s
(x) B
d
r
(x). La otra
inclusion es obvia.
5
G
.
R
U
B
I
A
N
O
En el caso de las metricas d y f =
d
1+d
es facil vericar que:
B
f
r
1+r
(x) B
d
r
(x) y B
d
r
1r
(x) B
f
r
(x), r < 1.
9. Dadas una metrica d y una funci on f : R
+
R
+
estrictamente creciente con f(0) = 0 y
f(u + v) f(u) + f(v), muestre que la compuesta f d es una metrica. Si ademas f es
continua en 0 entonces las dos metricas son topol ogicamente equivalentes ().
Veriquemos antes de todo, que m = f d denida como m(x, y) = f(d(x, y)) es una
metrica.
m(x, y) es positiva por la denici on de f. Por ser f creciente tenemos que f(d(x, y)) =
0 implica d(x, y) = 0 con lo cual x = y. Para la recproca de esta armaci on re-
cordemos que f(0) = 0.
La simetra en m es consecuencia de la simetra en d.
La desigualdad triangular:
m(x, z) = f(d(x, z)) f(d(x, y) + d(y, z)) f(d(x, y) + f(d(y, z)) = m(x, z) +
m(z, y)).
Para vericar que las dos metricas nos llevan a la misma topologa, de acuerdo a
los comentarios en los ejercicios previos, debemos tener las dos contenencias entre las
respectivas bolas.
B
d

(x) B
m

. Como f es continua en 0, dado > 0, existe > 0 tal que x < implica
f(x) < . Por tanto d(x, y) < implica m(x, y) = f(d(x, y)) < , lo cual no es m as
que, contenencia entre bolas.
B
m

B
d

(x). Por ser f creciente se verica que si m(x, y) = f(d(x, y)) < f() entonces
d(x, y) < , con lo cual tenemos la contenencia dual entre las bolas.
A manera de comentario, notemos que las funciones f(u) = u/(1+u), f(u) = log(1+u),
f(u) = mn1, u satisfacen las condiciones para f. Que metricas son inducidas por
estas funciones?
10. Muestre que si dos metricas son metricamente equivalentes entonces lo son topol ogicamente
pero no lo contrario. Puede Ud. decir donde esta la genesis de la diferencia?
) En la respuesta del ejercicio 7, ya hemos vericado la implicacion.
) Para demostrar que la recproca es falsa, consideremos a los n umeros reales con la
metrica usual dada por el valor absoluto y la metrica m dada por el mnimo, esto es,
d(x, y) = [x y[, m(x, y) = mn1, [x y[.
Estas metricas son equivalente topol ogicamente, pero no es posible encontrar el par de
escalares s, t que nos satisfagan las desigualdades para que sean metricamente equiva-
lentes, pues una de las metricas no puede superar al n umero 1, mientras la otra no es
acotada.
6
G
.
R
U
B
I
A
N
O
11. Considere el espacio topol ogico (R, Cofinitos). Es 1-contable, 2-contable?
Si logramos vericar que no es 1-contable, entonces tambien podemos concluir que no
es 2-contable, pues ser 2-contable implica ser 1-contable vericacion?.
Supongamos que este espacio es 1-contable y desemboquemos en una contradiccion, es
decir, una proposicion donde tanto ella como su negacion son verdaderas. As, podemos
concluir que el espacio no puede ser 1-contable.
Si (R, Cofinitos) es 1-contable, en cada punto podemos encontrar una base local con-
table, en particular para el punto x = 0. Sea B
0
= B
1
, B
2
, B
3
, B
4
, . . . una base local
enumerable para el punto x = 0. El unico punto en com un para todos los elementos de
esta base es el punto 0, pues para todo y ,= x, la vecindad Ry del punto 0, no con-
tiene al punto y y por tanto existe un elemento B
i
de la base, con x B
i
, B
i
Ry,
con lo cual podemos concluir que y / B
i
, de donde y /

B
0
.
De otra parte,
R 0 = (

n
B
n
)
c
=
_
n
(B
n
)
c
es un conjunto contable, lo cual no puede ser.
12. Muestre que si un espacio (X, ) es T
1
entonces es mas na que la topologa de
Complementarios Finitos para este X.
Cada conjunto unitario x es cerrado en (X, ) su complemento es abierto por
tratarse de un espacio T
1
. Como la union nita de conjuntos cerrados es cerrado,
tenemos que todo conjunto nito en (X, ) es cerrado y por tanto todo abierto de
Complementarios Finitos es tambien un abierto de (X, ).
13. No toda metrica proviene de una norma.
Si una metrica d proviene de una norma entonces la funcion d es invariante por homo-
tecias. Por ejemplo la metrica discreta no es invariante para homotecias:
1 = d(tx, ty) ,= [t[ d(x, y) = [t[.
14. No toda norma proviene de un producto interior.
Si una norma proviene de un producto interior entonces satisface la ley del paralalo-
gramo. Por ejemplo en (R
2
, | |

) no se tiene la ley de paralelogramo, esto es, para el

par de puntos (0, 1), (1, 0) sucede que:
|x + y|
2

+|x y|
2

,= 2
_
|x|
2

+|y|
2

_
en efecto,
|(1, 0) + (0, 1)|
2

+|(1, 0) (0, 1)|

2

= |(1, 1)|
2

+ |(1, 1)|
2

= 1 + 1 = 2 ,=
2(|(1, 0)|
2

+|(0, 1)|
2

) = 2(1 + 1) = 4.
7
G
.
R
U
B
I
A
N
O
15. En el conjunto de las funciones continuas C([a, b], R) de el intervalo cerrado [a, b] en R,
la metrica
d
1
(f, g) =
_
1
0
[f(x) g(x)[dx
genera una topologa menos na que la generada por
d

(f, g) = sup
x
[f(x) g(x)[.
Como motivacion veriquemos la desigualdad triangular en la denici on de metrica
para d

. Para todo x [a, b],

[f(x) h(x)[ [f(x) g(x)[ +[g(x) h(x)[ d

(f, g) + d

(g, h)
luego d

(f, h) d

(f, g) + d

(g, h).
Dada B
d

(f) para =

ba
se tiene B
d
1

(f) B
d

(f), pues dada h B

d
1

(f), como
d
1
(h, f) < entonces para todo x [a, b] tenemos [f(x) h(x)[ <

ba
, con lo cual
_
b
a
[f(x) h(x)[dx <
_
b
a
(

ba
)dx = y as h B
d

(f).
16. El espacio de Hilbert 1 = l
2
(N) es 2-contable.
El espacio de Hilbert 1 = l
2
(N) esta formado por el conjunto de todas las sucesiones
x = (x
n
) de n umeros reales para las cuales

n=1
x
2
n
< , provisto de la adici on y
del producto escalar usuales para sucesiones. 1 es por tanto un espacio vectorial real.
Claramente la funcion
(x, y) x, y =

k=1
x
k
y
k
es simetrica, bilineal y denida positivamente, luego es un producto interior sobre 1.
Para vericar la buena denicion, esto es, que efectivamente la serie correspondiente a
x, y es un n umero, basta tomar lmites en la desigualdad de Cauchy-Schwartz para
los espacios R
n
y obtenemos la siguiente desigualdad, la cual nos asegura que la serie
converge absolutamente,
x, y

k=1
[x
k
[[y
k
[
_

k=1
x
2
k
_
1/2
_

k=1
y
2
k
_
1/2
.
Por tanto el par (1, , ) es un espacio de pre-Hilbert de dimension innita ser a de
Hilbert cuando sea completo.
De otra parte tenemos can onicamente asociada a este espacio una metrica d, dada por
la norma asociada a este producto interior,
d(x, y) = |y x| =
_

k=1
(x
k
y
k
)
2
_
1/2
.
Para vericar que 1 es un espacio 2-contable o que satisface el segundo axioma de
enumerabilidad, debemos encontrar una base B enumerable.
8
G
.
R
U
B
I
A
N
O
Esta base esta formada por las bolas abiertas seg un la metrica d, donde como centros
de las bolas tomaremos puntos de 1 que pertenecen al siguiente conjunto, D := todas
las sucesiones de n umeros racionales, cuyos terminos son cero a partir de alg un dice
n. En otras palabras, D es el conjunto de las sucesiones que se anulan en casi toda
parte, excepto en un n umero nito de terminos donde tienen entradas racionales. Un
elemento tpico de D es de la forma,
q
1
, q
2
, q
3
, q
4
, q
5
, . . . , q
n
, 0, . . . , 0, . . ., con q
n
en Q.
D es enumerable, ya D =

nN
D
n
donde,
D
n
= (x
n
) 1 : si k > n entonces x
k
= 0, x
n
Q
y el cardinal de D
n
coincide con el cardinal de Q
n
que es enumerable.
Como radios para las bolas tomaremos todos los n umeros de la forma 1/n, (n N)
con lo cual podemos armar que la base B es enumerable, puesto que
B =
_
B
1/n
(d)[d D, n N
_
es enumerable, ya que los dos ndices que varan son enumerables.
Para vericar que B es base, mostremos que cualquier abierto U en 1, es reuni on
de bolas en B. En efecto, dado t U, existe B

(t) U y veamos que podemos

encontrar una B
1/n
(r) B

(t) con B
1/n
(r) en B. Como t 1, sabemos que

k=1
t
2
k
es convergente y por tanto existe un termino N a partir del cual la suma de la serie es
menor que
2
/4, es decir,

k=1
t
2
k
<
2
/4.
De otra parte, para cada k = 1, 2, . . . , N, podemos encontrar un n umero racional
r
k
, tal que [r
k
t
k
[ <
2
/4N, de tal manera que podemos ahora denir la sucesion
r = r
1
, r
2
, . . . , r
N
, 0, 0, 0, . . ., y se verica que d(t, r) < /2.
Ahora con la ayuda de la propiedad Arquimediana, podemos encontrar 1/n, (n
N) tal que 1/n < /2, con lo que t B
1/n
(r). Finalmente nos falta vericar que
B
1/n
(r) B

(t), pero esto es inmediato ya que si la sucesion z, satisface d(z, r) < 1/n,
la desigualdad triangular nos dice que d(z, t) < .
En particular el conjunto D es enumerable y es denso en 1, lo cual implica que el
espacio de Hilbert es separable.

Esta es precisamente la razon por la cual hablamos de
el espacio de Hilbert, ya que si por espacio H de Hilbert entendemos:
H es un espacio euclideano, es decir un espacio lineal real equipado con un pro-
ducto por escalar.
H es completo con respecto a la metrica inducida por la norma.
H es separable, es decir, H contiene un subconjunto denso enumerable, o lo que
es equivalente, H posee una base ortonormal.
9
G
.
R
U
B
I
A
N
O
H es innito-dimensional, es decir, dado cualquier entero positivo n, H contiene
n vectores linealmente independientes.
Entonces cualquier par de espacios de Hilbert son isomorfos en el sentido que un
isomorsmo entre los espacios es una funcion entre los conjuntos que distingue entre
puntos distintos y conserva las sumas, multiplicaci on por escalar y productos escalares.
Son los mismos espacios pintados de un color diferente. Esto es lo que R
n
hace para
los espacios euclideanos nito dimensionales.
17. El espacio (R
2
, lexicograco) es 2-contable?
No es 2-contable. Para demostrar que no puede existir una base B contable, veamos
que cada base debe tener al menos tantos elementos como m umeros reales.
En efecto, dado t R, el intervalo ((t, 1), (t, 1)) contiene al punto (t, 0) y por lo tanto
en la base B debe haber alg un intervalo de la forma ((t, ), (t, )) para alg un 0 < < 1,
con lo cual, (B) (R) cardinales, pues si s ,= t, entonces ((t, ), (t, )) y
((s, ), (s, )) son diferentes.
18. El espacio (R
2
, usual) es 2-contable?
Los intervalos de la forma (a, b) con a, b Q, a < b, forman una base enumerable
densidad usual de Q en R.
19. El espacio (N, Conitos) es 2-contable, 1-contable?
Es suciente mostrar que es 2-contable, para ello mostremos que el cardinal del n umero
de elementos de la topologa es enumerable, con lo cual la misma topologa se puede
tomar como base. Como
Conitos =
_
nN
D
n
, donde D
n
= N x
1
, x
2
, . . . , x
n
: x
1
, x
2
, . . . , x
n
N;
esto es, D
n
esta formado por todos los abiertos cuyo complemento consta de n-elementos.
Cada D
n
es enumerable pues (D
n
) (N N N).
Nota: En el caso de (R, Cofinitos) el argumento anterior donde deja de ser v alido?
20. El espacio (R, Discreta) es 2-contable, 1-contable?
Cada punto t R, tiene como base local a B
t
= t. De otra parte, cada base
global debe de contener por lo menos a los conjuntos unitarios, puesto que ellos son
abiertos minimales, y ya que ellos forman una cantidad no enumerable, tampoco se
puede enumerar a la base.
21. El espacio (X, ) es T
1
, sii, x es cerrado para cada x X.
Si X es T
1
entonces para y ,= x, existe una vecindad V
y
la cual podemos considerar
abierta con x / V
y
, as que X x =

y=x
V
y
es un abierto.
10
G
.
R
U
B
I
A
N
O
22. El espacio (R, Coenumerables) es T
1
, T
2
, 2-contable, 1-contable?
Para vericar que es T
1
, basta notar que para cualquier par de puntos a, b R, tenemos
que V
b
= R a satisface los requerimientos de separaci on.
No es T
2
ya que dos vecindades cualesquiera siempre se cortan, pues de lo contrario
implicaran que el cardinal de R es enumerable.
No es 1-contable, por el mismo argumento de cardinalidad que se utiliza en
(R, Cofinitos).
23. El espacio metrico (R
N
, t) metrica de Baire.
La distancia entre dos sucesiones x = (x
n
), y = (y
n
) esta dada por t(x, y) = 1/i donde
i es la primera coordenada donde las dos sucesiones dieren.
Para vericar la desigualdad triangular t(x, y) t(x, z)+t(z, y) supongamos sin perdida
de generalidad que t(x, z) = 1/n, t(z, y) = 1/m, y que 1/n 1/m, esto es m n.
Entonces tenemos z
i
= y
i
, x
i
= z
i
, para todo i < m, con lo cual garantizamos x
i
= y
i
,
para todo i < m, y as t(x, y) 1/m.
En este espacio lo que importa es el comportamiento inicial de las sucesiones, a dife-
rencia de lo usual donde importa es como son al nal.
Para vericar que este espacio no es 2-contable, notemos que dos sucesiones estan mas
cercanas en la medida en que m as se parezcan en las primeras coordenadas.
Si existe una base B = B
1
, B
2
, B
3
, . . . entonces por cada n N, tomemos un t
n
B
n
y sea t
1
n
correspondiente a la primera componente de la sucesion t
n
la colecci on de los
t
1
n
es enumerable.
Construyamos ahora una sucesion q = (q
n
) dada por q
1
,= t
1
n
, para cada n, esto es, la
primera componente de q es diferente de la primera componente de cada una de los t
n
.
Dada la bola B
1/2
(q) para cada n N, se tiene que t
n
/ B
1/2
(q) puesto que al diferir
q de t
n
en su primera componente, estan lo m as lejanas posibles, esto, es t(q, t
n
) = 1.
Luego no existe B
n
contenida en B
1/2
(q).
Notese el argumento que se inspira en la manera como Cantor mostro la no enume-
rabilidad de [0, 1]!
24. El espacio N
+
Arens-Fort.
Para N
+
= N la topologa esta dada por 2
N
junto con todos los conjuntos de la
forma V donde V R con V
c
nito. En otras palabras las vecindades de los
puntos en N son las correspondientes a la topologa discreta, pero las vecindades para
son las uniones de con el ltro de los conitos en N.
Este espacio es T
2
, ya que a, (N a) son vecindades que nos satisfacen la
separaci on.
Como es posible encontrar una base local contable en el punto el conjunto de
todas las vecindades de este punto es en s mismo contable entonces el espacio es
1contable, puesto que en los demas puntos, la base esta dada por el unitario. El mismo
argumento nos muestra que es 2contable.
11
G
.
R
U
B
I
A
N
O
Note que es posible cambiar a cofinitos por cualquier otro filtro T,
N por cualquier otro conjunto X y por / X. A tal espacio lo notaremos
(X
+
,
F
).
Para (X
+
,
F
) se tiene X = X
+
.
Para X
+
= X y para T un ltro sobre X tenemos que,
T
+
= / : / T
es un ltro sobre X
+
. De tal suerte que tenemos otra descripci on:

F
= 2
X
T
+
.
Luego por cada x ,= , x es abierto y los abiertos que contienen a son de la forma
F para F T.
Otra presentaci on usual para esta topologa es la siguiente: Dado un conjunto X, un
ltro T sobre X y p / E denimos la topologa
((p, T) = 2
X{p}
T
n otese que el papel de ahora lo hace p.
Si | es un ultraltro y | , = |(x) el ultraltro principal generado por x, es decir,
el unico ultraltro conocido que contiene al elemento x entonces ((p, |) es un
ultraespacio en el siguiente sentido: Una topologa sobre E es un ultraespacio, si y
solo si, la unica topologa sobre E estrictamente m as na que es la discreta.
Mas aun, los posibles ultraespacios son todos de esta forma!, algo m as, cualquier to-
pologa sobre E es el nmo de los ultraespacios sobre E que son m as nos que !
infdensidad.
Finalmente, como los ultraltros son principales o no, la clase de los ultraespacios se
pueden dividir en dos: ultraespacios no principales y ultraespacios principales!.
25. Si T es un ultraltro noprincipal sobre X entonces el espacio (X
+
,
F
) es de Hausdor
y con convergencia trivial.
Si a X, las x
n
a son unicamente las nalmente constantes pues a es abierto.
Si x
n
y no es nalmente constante, obtenemos una subsucesion (y
n
) al eliminar a
en los casos en que este, con y
n
. Si A = Rango y
n
[ n N es nito, entonces
A
c
T con lo cual A
c
es una vecindad que no corta a (y
n
) . Si A no es nito,
descomponemos X = V W en dos partes disyuntas cada una conteniendo innitos
elementos de A. Luego V T o W T. Si sucede lo primero, V es una vecindad
que excluye innitos puntos de (y
n
), luego y
n
, w, .
26. Tres metricas equivalentes para el producto nito de espacios metricos. Sean (X
i
, d
i
)
n
i=1
espacios metricos. Sobre el producto X
1
X
2
. . . X
n
denimos las siguientes tres
12
G
.
R
U
B
I
A
N
O
metricas:
d

(x, y) := m ax
i
d
i
(x
i
, y
i
),
d
1
(x, y) :=
n

i=1
d
i
(x
i
, y
i
),
d
2
(x, y) :=
_
n

i=1
d
i
(x
i
, y
i
)
2
_
1/2
.
Estas metricas satisfacen las contenencias,
B
d
r

2
(x, y) B
d
1
r
(x, y) B
d
2
r
(x, y) B
d
r
(x, y).
Tambie podemos vericar que
d

D
2
D
1

2 D

.
27. La composicion de funciones es cerrada para la continuidad.
Consideremos la composicion de funciones,
(X, O)
f
(Y, |)
g
(Z, J).
Mostremos que si f es continua en x
0
y g es continua en f(x
0
) entonces g f es continua
en x
0
.
Recordemos que,
f es continua en x, sii, para toda V 1(f(x)), f
1
(V ) 1(x).
Por hipotesis tenemos que:
Si V 1(f(x
0
)) entonces f
1
(V ) 1(x
0
).
Si W 1(g f(x
0
)), entonces g
1
(W) 1(f(x
0
)) y as f
1
(g
1
(W)) = (g
f)
1
(W) 1(x
0
).
28. Sean (X, d), (X, m) dos espacios metricos. Muestre que d, m son metricas topol ogicamente
equivalentes, sii, las funciones identidad 1
X
: (X, d) (X, m), 1
X
: (X, m) (X, d)
son funciones continuas.
Si las metricas son equivalentes, entonces los espacios poseen los mismos abiertos y por
lo tanto las identidades son continuas. Recprocamente si las identidades son continuas
m d y d m respectivamente.
13
G
.
R
U
B
I
A
N
O
29. Sea X un conjunto innito. Si a X le damos la topologa de los conitos, muestre que
una funci on f : X X no constante, es continua, sii, la imagen de un conjunto innito
es de nuevo un conjunto innito.
Esto es equivalente a decir que f
1
(x) es nito para todo x X. Para un abierto
U := X x
1
, . . . , x
n
, se tiene
f
1
(U) = f
1
(x
1
, . . . , x
n

c
) = f
1
(x
1
, x
2
, . . . , x
n
)
c
=
_
n
_
i=1
f
1
(x
i
)
_
c
y esto es nito, luego f
1
(U) es un abierto.
30. Sea A X Y , A cerrado, Y compacto. Entonces P
X
(A) es cerrado en X. La funci on
proyecci on p
X
: X Y X es cerrada.
Si a / P
X
(A), entonces, a Y A
c
. Por cada (a, y) existe un abierto basico
V
y
a
V
a
y
A
c
. V
a
y
, (y Y ) cubre a Y , y la reducimos a una nita V
a
y
i

n
i=1
de tal
manera que V
a
=

n
i=1
V
y
i
a
satisface V
a
P
X
(A) = , y asi V
a
P
X
(A)
c
.
31. Sean f : X Y y Y un espacio compacto. Si grafo(f) es cerrado en X Y entonces
f es continua.
Dados x
0
X y V
f(x
0
)
veamos que existe W
x
0
tal que f(W
x
0
) V
f(x
0
)
.
Para esto es suciente que:
_
W
x
0
V
c
f(x)
_

grafo(f) = .
Pues dado t W
x
0
, f(t) V
f(x
0
)
, o de lo contrario
(t, f(t))
_
W
x
0
V
c
f(x
0
)
_
grafo(f).
Por cada punto (x
0
, y),
_
y V
c
f(x
0
)
_
note (x
0
, y) / grafo(f) existe una vecindad
V
y
x
0
V
x
0
y
que no corta a grafo(f). Como
_
V
x
0
y
_
, (y V
c
f(x
0
)
) cubre a V
c
f(x
0
)
el cual
es un compacto (cerrado en un compacto), podemos reducir a un cubrimiento nito
_
V
x
0
y
i
_
n
i=1
, de suerte que W
x
0
=

n
i=1
V
y
i
x
0
satisface que
W
x
0

_
V
c
f(x
0
)
_
no corta al grafo(f).
Para ver que f : X Y con Y compacto es continua cuando grafo(f) es cerrado
en X Y , notemos que la imagen inversa de un cerrado es un cerrado. En efecto para
F Y , F cerrado,
f
1
(F) = P
X
(grafo(f) (X F))
y esto por lo anterior es un cerrado en la topologa de subespacio.
32. Si en el ejercicio anterior agregamos que los espacios son de Hausdor, entonces tenemos
la equivalencia, esto es, la continuidad es equivalente a que el grafo sea cerrado.
14
G
.
R
U
B
I
A
N
O
Consideramos la funcion continua
g = (f, id) : X Y
(f,id)
Y Y.
Notemos que grafo(f) = g
1
(), donde = (Y ) denota la diagonal de Y Y , y por
ser Y de Hausdor, (Y ) es un cerrado. (Un espacio es de Hausdor, sii, su diagonal
es un cerrado).
Para contraejemplos considere R = (R, usual )
f : R R, f(x) = 1/x.
33. Teorema de Wallace. Sean AB un subespacio compacto en X Y y W abierto con
AB W. Entonces existe un basico entre ellos, esto es, AB UV W XY.
Por cada (x, y) A B, existe U
y
x
V
x
y
W. La colecci on U
y
x
, (x A) es un
cubrimiento de Ay y la reducion a una nita U
y
x
i

n
i=1
y consideramos la vecindad
V
y
=

n
i=1
V
x
i
y
. Los abiertos U
y
=
n
i=1
U
y
x
i
, V
y
satisfacen que A y U
y
V
y
.
Esta coleccion V
y
, (y B) forman un cubrimiento abierto de B, el cual podemos
reducir a un nito V
y
1
, . . . , V
ym
, de suerte que V =

V
y
i
, U =

n
i=1
V
y
i
satisfacen
AB U V W.
34. Sea (X, ) un espacio de Hausdor con una base contable. Con una hipotesis tan fuerte,
podemos facilmente obtener informacion cuantitativa acerca de X.
Recordemos los siguientes hechos:
Sean d, e n umeros cardinales con d e y e innito. Entonces d + e = e.
d d = d para cualquier cardinal innito.
a
b
m
0
c
n n
m
c 2
c

0

0
c 2
c
c c c 2
c
1) 2

es una cota tanto para el n umero de abiertos en X como la cardinalidad

de X. En efecto, cada conjunto abierto es union de elementos de la base y por tanto
hay a lo m as tantas uniones como subconjuntos de B esto es 2

.
De otra parte, el conjunto X p es abierto y la funcion p X p es uno a uno
de X en .
Si (X, ) es un espacio T
0
con una base contable, el resultado anterior tambien se tiene.
Sea B una base con card(B) . Para cada x X denimos
B
x
= B : B B y x B.
Entonces B
x
2
B
y por el axioma T
0
tenemos B
x
,= B
x
. Por tanto card(X) card(B
x
)
2
B
.
15
G
.
R
U
B
I
A
N
O
2)Ahora debilitemos la hipotesis y asumamos que X es un espacio 1-contable, separable
y Hausdor. En este caso, 2

es todava una cota para la cardinalidad de X ya que

si S es un subconjunto denso y contable de X, y para todo p X, tomamos S
p
una
sucesion innita en S que converge a p, entonces para p ,= q, el ser de Hausdor
implica S
p
,= S
q
. El n umero de tales sucesiones es a lo mas S
N
=

= 2

, con lo cual
[ X[ 2

. Este argumento muestra, en efecto, que un espacio de Hausdor, 1-contable

con un subconjunto denso de cardinalidad 2

tiene cardinalidad 2

, puesto que
#(c
N
) = c.
Dado que [ X[ 2

y X es 1contable, X tiene una base de cardinalidad menor o

igual a N 2

= #(N c) = c = 2

.
Luego el n umero de conjuntos abiertos en X es a lo mas 2
2

. Adem as, 2
2

es la mejor
cota sobre el n umero de conjuntos abiertos para estos espacios. (Por ejemplo S S,
donde S es la lnea de Sorgenfrey).
3)Ahora debilitemos la hipotesis a un m as y asumamos que X es un espacio de Hausdor
separable. En este caso, la mejor cota para la cardinalidad de X es 2
2

y la mejor cota
para el n umero de abiertos en X es 2
2
2

!. De otra parte, 2

es una cota para el n umero

de funciones continuas de X en R. En efecto, sea S un subconjunto denso y contable
de X. El n umero de funciones de S en R es a lo mas (2

= 2

.
Si f, g son funciones continuas de X en R, que estan de acuerdo sobre S, entonces
f = g. El hecho de que X sea de Hausdor no es usado en este argumento.
35. El espacio (X,
A
) de los superconjuntos de A para A X es localmente compacto
en el sentido que cada punto posee una vecindad compacta.
En efecto, dados x X y una vecindad V
x
entonces se satisface que: existe U X con
x U V
x
. En particular el conjunto U = A x 1(x). Adem as, el es compacto,
y para toda V
x
se tiene U = A x V
x
.
El espacio (X,
A
) no es de Hausdor, pues dados x, y A, ellos no pueden ser
separados.
Ahora veamos que dada V
x
no existe M
A
con x M M V
x
con M abierto y
M compacto.
Si M es un abierto, M = X (pues el menor cerrado que contiene a M es X, ya que
A M).
Esto es, (X,
A
) no es localmente compacto en el sentido de la denici on 6.58 (i).
36. Un espacio de convergencia trivial debe ser T
1
.
De no serlo debera tener puntos distintos p y q tales que toda vecindad abierta de
p contendra a q, y entonces la sucesion: (p, q, p, q, p, q, p, . . .), que no es nalmente
constante, convergera a p.
El ejemplo m as sencillo de un espacio de convergencia trivial resulta de dotar a un
conjunto E con la topologa discreta (todos los subconjuntos de E son abiertos). De
hecho, este es el unico ejemplo si exigimos que sea 1-contable como lo muestra el
16
G
.
R
U
B
I
A
N
O
ejercicio siguiente. Recuerdese que un espacio es 1-contable si cada punto tiene una base
enumerable de vecindades, lo cual sucede, por ejemplo, en los espacios metrizables.
37. Un espacio 1-contable de convergencia trivial es discreto.
Sea X un espacio 1-contable de convergencia trivial y supongamos que no es discreto;
entonces existe un punto no aislado p X (es decir, p no es abierto en X).
Tomemos una base de vecindades encajadas de p, digamos V
n
: n N, tal que
V
n
V
n+1
. Como cada V
n
,= p y el espacio es T
1
podemos escoger puntos x
n
V
n
,
distintos de p, tales que x
n
p.
Como la sucesion x
n
es convergente, entonces es nalmente constante, digamos al
punto a. Esto signica que toda vecindad V
p
contiene a casi toda la sucesion, luego
toda venindad V
p
contiene tanto al punto a como al punto p.
De esta manera hemos llegado a contradecir que el espacio es T
1
y conclumos que el
espacio debe ser discreto.
38. 2-contable Lindelo todo cubrimiento abierto se puede reducir a uno contable. Lin-
delo algunas veces es llamado como una compacidad.
Sea B = B
1
, B
2
, . . . base. Dado un cubrimiento abierto |, como reducir | a un
cubrimiento enumerable?
Tomemos todos los ndices que logran renar a |, esto es,
S = n [ B
n
U, alg un U |.
C = B
n
[ n S es un cubrimiento abierto, pues dado x X existe U | con x U
y como U es abierto existe un B
n
con x B
n
U, luego n S y por tanto B
n
S.
Adem as es enumerable, y ahora elegimos U
n
| tal que B
n
U
n
, para B
n
C.
39. 2contable toda base se puede reducir a una contable.
Sean B = B
1
, B
2
, .... una base y ( una base arbitraria. Dado B
n
B sabemos que
B
n
=

iI
G
i
, (G
i
().
Por el ejercicio anterior, el conjunto de ndices i se puede reducir a uno enumerable.
Dado x B
n
, existe G
x
( para el cual se tiene otro B
n
x
con x B
n
x
(
n
x
B
n
(base). Al variar x B
n
, los B
n
x
son a lo m as numerables! y as tambien lo son los G
n
x
.
Si (
n
= G
n
x
: x B
n
entonces la coleccion (
n

n
es enumerable (reunion enumerable
de enumerables!) y base!.
17
G
.
R
U
B
I
A
N
O
40. Muestre que la topologa
+
de los intervalos medioabiertos [a, b) en R es de Lindel of,
pero no es 2contable.
Veamos que cualquier cubrimiento abierto se puede reducir a uno enu-
merable. Para ello, en general, es suciente mostrar que cualquier cubri-
miento abierto formado poor elementos de la base se puede reducir a uno
enumerable, ya que cada abierto del cubrimiento es reuni on de elementos
de la base y esta nueva coleccion es tambien un cubrimiento, luego al re-
ducirla a una enumerable, basta tomar superconjuntos de los elementos
de la base en el cubrimiento original.
Sea
/ = [a

, b

un cubrimiento de R. Si consideramos la union C de la colecci on asociada de los

intervalos abiertos C =

(a

, b

) al considerar a C como subespacio de (R, usual)

la topologa resulta ser de Lindelo puesto que estamos en un espacio metrico y esta
propiedad resulta ser equivalente en este caso a 2contable, la cual es obviamente
heredable a los subespacios. Por tanto la coleccion (a

, b

resulta reducible a
una enumerable
/

= [a
n
, b
n
)
nN
con respecto al subespacio C.
Ahora veamos que R C es enumerable; en efecto, dado x R C necesariamente
x = a

para alg un [a

, b

). Para este intervalo tomemos un n umero racional q

x

(a

, b

) = (x, b

). Por tanto, (a

, q
x
) = (x, q
x
) (x, b

) C y hemos denido as una

funcion RC Q con x q
x
, la cual es inyectiva, puesto que x < y implica q
x
< q
y
,
pues de no ser as, q
y
q
x
implica que y (x, q
x
) pero ya tenemos que y R C lo
que contradice que (x, q
x
) C.
Ahora, por cada elemento x R C tomemos un elemento del cubrimiento / que
lo contenga a lo m as podemos tomar un n umero contable de tales elementos y al
a nadirlos a la coleccion /

obtenemos el cubrimiento enumerable deseado.

18