SEGUNDO PARCIAL. TOPOLOGA.

(SOLUCIONES)
1. (i) Sea (X; T ) (Y; d) un homeomorsmo y denamos en X la mtrica e(x; y) = d(f(x); f(y)): Sea
T
e
la topologa generada por e y veamos que T = T
e
: Primero notemos que, dada una d-bola
B
d
r
(f(a)) _ Y; se obtiene
B
e
r
(a) = x X : e(x; a) = d(f(x); f(a)) < r = f
1
[B
d
r
(f(a))] T : (*)
Lo cual implica T
e
_ T : Por otro lado, si G T entonces f(G) es d-abierto en Y; as que
f(G) = 'B
i
, donde las B
i
son d-bolas. Luego, por (+);
G = f
1
(f(G)) = f
1
('B
i
) = 'f
1
(B
i
)
es unin de e-bolas y, por lo tanto, T _ T
e
:
(ii) Notemos que d(x; b) < r == e(x; b) _ d(x; b) < r; as que B
d
r
(b) _ B
e
r
(b) y, por lo tanto, T
e
_ T
d
:
Por otro lado, un clculo directo muestra que B
e
r
1r
(b) _ B
d
r
(b); as que T
d
_ T
e
:
2. Hecho en clase.
3. (i) Sea p = p
1
; p
2
; ; p
n
; H

. Entonces dado > 0; q = 0; a

2
; ; a
n
; H

tal que p
2
1
_ p
2
1
+
P
n2
(a
n
p
n
)
2
<
2
: Pero es arbitrario, as que p
1
= 0: (Esto mues-
tra, en particular, que H

es cerrado.) Ahora sea tal que 0 < < =2 y denamos r =

0; p
2
+ =2
2
; ; p
n
+ =2
n
;

H: Entonces d(r; p)
2
=
2
+
P
n2

2
=2
2n
=
2
+
2
=3 <
2
:
As que d(r; p) < con r HH

: Conclusin: int(H

) = int(H

) = O:
(ii) Sabemos que E = (a; b] : a < b es una base para R
L
. Ahora, si R
L
es segundo contable entonces,
por el Teorema 9:4; la base E se puede reducir a otra base contable E

= (a
i
; b
i
] : i _ 1: Pero
entonces, si tomamos un p ,= a
i
; b
i
; para i _ 1; se sigue que no existe un (a
i
; b
i
] E

tal que
p (a
i
; b
i
] _ (p 1; p]; lo cual es absurdo. Conclusin: R
L
no es segundo contable.
4. (Este es un resultado clsico.) Ver, por ejemplo, el teorema 16:8 en el texto de S. Willard.
5. Sea E = v
1
; v
2
; ; v
n
una base para V y f : R
n
V el isomorsmo cannico f(x
1
; ; x
n
) =
P
x
i
v
i
: Ahora, cualquier norma |::| en V genera en R
n
una norma correspondiente
|(x
1
; ; x
n
)|
R
n
= |f(x
1
; ; x
n
)|:
Con lo anterior f es una isometra (y por lo tanto un homeomorsmo!) entre

R
n
; |::|
R
n

y (V ; |::|) :
Ahora, dadas dos normas |::|
1
y |::|
2
en V; sean T
1
y T
2
las topologas correspondientes y supongamos
que G T
1
: Entonces f
1
(G) es abierto en

R
n
; |::|
R
n
1

: Pero |::|
R
n
1
y |::|
R
n
2
son equivalentes, as que
f
1
(G) tambin es abierto en

R
n
; |::|
R
n
2

y, por lo tanto, f(f

1
(G)) = G es abierto en T
2
: Esto es,
T
1
_ T
2
: De manera similar obtenemos la otra inclusin. Conclusin: Las normas |::|
1
y |::|
2
en V
son equivalentes.
1