Académique Documents
Professionnel Documents
Culture Documents
alisis Matem
atico
1. Sea T un subconjunto no numerable y S = {s1 , s2 , ...} un subconjunto numerable de
T . Si S0 = {s1 , s3 , ...} entonces T T r S0 .
Soluci
on.
Definimos f : T T r S0 como
(
x, si x T r S0
f (x) =
s2n , si x = sn S
Hay que probar que f es biyeccion. Construimos una inversa para f como sigue:
Sea g : T r S0 T donde,
(
x, si x T r S
g(x) =
sn , si x = s2n S r S0
Sea x T , entonces,
1) Si x S, se tiene que (g f )(x) = g(f (x)) = g(x) = x
2) Si x
/ S, tenemos que x = sn para alguna n N, entonces (g f )(x) = g(f (x)) =
g(s2n ) = sn = x
Por lo tanto tenemos que g f = IdT .
Analogamente,
1) Si x A r S0 , se tiene que (f g)(x) = f (g(x)) = f (x) = x = IdT rS0
2) Si x {s2n : n N}, con x = s2n para alguna n N, entonces (f g)(x) =
f (g(x)) = f (sn ) = s2n = x
Por lo tanto f es biyeccion.
2. Sea d : M M R una metrica. Pruebe la desigualdad tetrahedrica: Para toda
x, y, z, w M se tiene que
|d(x, y) d(z, w)| d(x, z) + d(y, w)
Soluci
on.
Como d es metrica, se tiene
d(x, y) d(x, z) + d(z, w) + d(w, y)
Por otro lado tenemos,
d(z, w) d(z, x) + d(x, y) + d(y, w)
De las dos desigualdades anteriores,
d(x, y) d(z, w) d(x, z) + d(w, y)
1
a inf(S), si a > 0
inf(aS) = 0, si a = 0
a sup(S), si a < 0
Enuncie el resultado analogo para supremo y pruebelo.
Aqu aS = {as : s S}
8. Sea S un conjunto no vaco y f, g : S R dos funciones acotadas. Pruebe la siguiente
serie de desigualdades:
inf {f (x) : x S} + inf {g(x) : x S}
9. Muestre con ejemplos que cada una de las desigualdades en el ejercicio anterior podra
ser estricta.
10. Sea f : X Y R acotada, entonces:
(a) supx supy {f (x, y)} = supy supx {f (x, y)} = sup(x,y) {f (x, y)}
(b) supx inf y {f (x, y)} inf y supx {f (x, y)}
11. Pruebe: Para cada a >
0 y n N existe uno y solo un n
umeros real b > 0 talque
n
n
b = a (se denotara b = a).