PAUTA DE LA PRUEBA 1, ESPACIOS METRICOS.

IMA1401-01, 14 DE OCTUBRE DE 2016.

PROF: RICARDO MENARES. AYUDANTE: VICTOR TRUJILLO

1. (4 puntos)
a) (1 pto.) Demuestre que los intervalos (0, 1) R y (1, ) R son homeomorfos.
Soluci on: la funcion f : (0, 1) (1, ) dada por f (x) = x1 es biyectiva, pues es
sencillo verificar que la funcion g : (1, ) (0, 1) dada por g(y) = y1 es su inversa.
Ademas f es el inverso multiplicativo de una funcion continua que no se anula, luego
f es continua. Similarmente, g es continua. Esto muestra que f es un homeomorfismo,
luego los intervalos son homeomorfos.
b) (1 pto.) Sea f : (1, ) (0, 1) un homeomorfismo. Sea (E, kk) un espacio vectorial
normado. Sea x E con kxk > 1. Definimos
f (kxk)
(x) = x.
kxk
Demuestre que k(x)k < 1.
Soluci
on: se tiene

f (kxk)
k(x)k =
kxk x

 
 f (kxk) 
=   kxk
kxk 
= |f (kxk)|
Como el recorrido de f es el intervalo (0, 1), se tiene que |f (kxk)| = f (kxk) < 1.
c) (2 ptos.) Sean
B(0, 1) = {x E : kxk < 1}, B[0, 1] = {x E : kxk 1}.
Demuestre que : E\B[0, 1] B(0, 1) es un homeomorfismo.
Solucion: El enunciado es falso. En efecto, (x) 6= 0 para cualquier x E\B[0, 1].
Como 0 B(0, 1), vemos que no es sobreyectiva, por lo que no puede ser un ho-
meomorfismo.
Enunciado corregido.1 En lo que sigue, explicaremos como resolver un problema
distinto: sea B = B(0, 1)\{0}. Demostraremos que
: E\B[0, 1] B
es un homeomorfismo.
Notemos que la pregunta anterior asegura que el recorrido de esta contenido en
B(0, 1). Ademas, k(x)k = |f (kxk)| =
6 0, por lo que el recorrido de esta contenido

1Se asignar
a puntaje como sigue: la pregunta 1, c) se elimina de la prueba. Quien haya demostrado que
el enunciado es falso, tendr
a 2 puntos extra. Quien haya resuelto el problema correspondiente al enunciado
corregido, tendra hasta 2 puntos extra en la medida que su solucion sea correcta.
2 PROF: RICARDO MENARES. AYUDANTE: VICTOR TRUJILLO

en B . Denotamos por g : (0, 1) (1, ) la inversa de f . Por hipotesis, se trata de

una funcion continua. Sea G : B E\B[0, 1] la funcion dada por
g(kyk)
G(y) = y.
kyk
Notar que G esta bien definida pues por un calculo similar a la parte anterior se
tiene kG(y)k = g(kyk) > 1. Ademas,
f (kG(y)k) f g(kyk) g(kyk) kyk g(kyk)
G(y) = G(y) = y = y = y.
kG(y)k g(kyk) kyk g(kyk) kyk
Similarmente se verifica que G (x) = x para cualquier x E con kxk > 1. As,
G es la inversa de , de manera que es biyectiva.
La funcion es continua por ser una composicion de funciones continuas. Por la
misma razon, la funcion G tambien es continua, de donde concluimos que es un
homeomorfismo.
2. (4 puntos) Sea (E, k k) un espacio vectorial normado. Denotamos por 0E E al
elemento neutro. Sea L : E R una funcion que satisface las propiedades siguientes
i) Para todo a, b E, se cumple L(a + b) L(a) + L(b)
ii) Para todo R y a E, se cumple L(a) = ||L(a)
a) (1 pto.) Demuestre que L(0E ) = 0 y que L(a) = L(a) 0 para todo a E
Solucion: tomando a = 0 y = 2 en la propiedad ii), vemos que L(0E ) = 2L(0E ),
de donde L(0E ) = 0.
Sea a E. Tomando = 1 en ii), vemos que L(a) = L(a). Tomando b = a
en i) vemos que 0 = L(a a) L(a) + L(a) = 2L(a), de donde L(a) 0.
b) (1 pto.) Demuestre que para todo a, b E, se tiene |L(a) L(b)| L(a b)
Solucion: se tiene
L(a) L(b) = L(a b + b) L(b) L(a b) + L(b) L(b) = L(a b).
Intercambiando los roles de a y b, deducimos que L(b) L(a) L(b a). Como de
la parte anterior sabemos que L(b a) = L(a b), se concluye que |L(a) L(b)|
L(a b).
c) (2 ptos.) Demuestre que L es continua en 0E si y solo si existe c > 0 tal que para
cualquier a E se cumple L(a) ckak.
Solucion: : supongamos que L es continua en 0E . Usando que L(0E ) = 0 y
tomando = 1 en la definicion de continuidad, tenemos que existe > 0 tal que si
kyk < , entonces |L(y)| < 1.
x
Sea x E con x 6= 0E . Sea y = kxk 2 . Entonces kyk = 2 < . Por lo tanto, |L(y)| <

1. Usando ii), tenemos que |L(y)| = 2kxk |L(x)|, luego la desigualdad |L(y)| < 1 es
2
equivalente a |L(x)| < kxk.
Usando que L(0E ) = 0, vemos que la desigualdad |L(x)| 2 kxk es valida para
cualquier x E. Por lo tanto, la desigualdad pedida es cierta con c = 2 .
: sea > 0. Definimos := 2c . Sea a E con kak < . Entonces

|L(a) L(0E )| = |L(a)| ckak < c = < .
2
Por lo tanto, L es continua en 0E .
3. (3 puntos) Sea (M, d) un espacio metrico. Recuerde que un conjunto X M se dice
acotado si existen a M y r > 0 tales que X B(a, r).

PAUTA DE LA PRUEBA 1, ESPACIOS METRICOS. IMA1401-01, 14 DE OCTUBRE DE 2016. 3

a) (1 pto.) Sean A, B M conjuntos acotados y no vacos. Sea

(A, B) = sup{d(x, y) : x A, y B}.
Demuestre que (A, B) < .
Solucion: Como A y B son acotados, existen a, b M y r, s > 0 tales que A
B(a, r), B B(b, s).
Sean x A, y B arbitrarios. Entonces
d(x, y) d(x, a) + d(a, y) d(x, a) + d(a, b) + d(b, y) r + d(a, b) + s.
Por lo tanto, (A, B) r + d(a, b) + s < .
b) (2 ptos.) Recuerde que dado z M y un conjunto Y M , se define
d(z, Y ) = nf{d(z, y) : y Y }.
Sean z M y A, B M conjuntos acotados no vacos. Demuestre que
|d(z, A) d(z, B)| (A, B).
on: sean x A, y B arbitrarios. Entonces
Soluci
d(z, x) d(z, y) d(z, y) + d(y, x) d(z, y) = d(x, y) (A, B).
Tomando el nfimo sobre x A, deducimos
d(z, A) d(z, y) (A, B).
Tomando el nfimo sobre y B, deducimos

d(z, A) d(z, B) (A, B).

Invirtiendo los roles de A y B tambien deducimos que
d(z, B) d(z, A) (B, A).
Sin embargo, usando que d(x, y) = d(y, x), vemos que d(A, B) = d(B, A). Por lo
tanto, lo anterior asegura que |d(z, A) d(z, B)| (A, B).
ticas, PUCV, Blanco Viel 596, Cerro Baro
Instituto de Matema n, Valparaso, Chile