PROBLEMAS RESUELTOS

1. Sea f una funcin estrictamente creciente de R en R .

(a) Prubese que D( x, y ) = f ( x) f ( y) es una distancia.
(b) Prubese que, si f no es continua, la distancia D no es equivalente a la distancia
eucldea d ( x, y ) = x y .
(c) Prubese que, si f es continua, la distancia D es equivalente a la distancia
eucldea.
SOLUCIN:
(a) Es claro que D es una aplicacin de R R en R + . Adems, D cumple las
propiedades de una distancia.
(1) D( x, y ) = 0 f ( x) f ( y ) = 0 f ( x) f ( y ) = 0 de donde f ( x ) = f ( y ) .
Como f es estrictamente creciente, f es inyectiva, y por lo tanto x = y .
(2) D( x, y) = f ( x) f ( y ) = f ( y ) f ( x) = D( y, x) .
(3) D( x, y ) + D( y, z ) = f ( x, y ) + f ( y, z ) f ( x) f ( y ) + f ( y ) f ( z ) = f ( x) f ( z ) = D( x, z ).
(b) Supongamos que

no es continua en x0 R . Entonces existe > 0 tal que,

cualquiera que sea r > 0 , existe el menos un y R que cumple x0 y < r , y

f ( x0 ) f ( y ) > . Por lo tanto, si se considera la bola determinada pos la distancia

D,
BD ( x0 , ) = { y R : D ( x0 , y ) = f ( x0 ) f ( y ) < }
no existe r > 0 tal que la bola eucldea B ( x0 , r ) = { y R : x0 y < r} est contenida
en BD ( x0 , ) . De aqu que las familias de abiertos que definen no sean iguales y,
como consecuencia, D y d no son equivalentes.
(c) Considrese la bola
BD ( x, ) = { y R : f ( x0 ) f ( y ) < } .
Se va a probar que existe una bola B ( x, ) tal que
B( x, ) BD ( x, ) .
Efectivamente, por ser f continua en x , dado > 0 existe > 0 tal que, para todo
y que cumpla x y < , se tiene f ( x) f ( y ) < , es decir, D ( x, y ) < , luego

para todo y B ( x, ) es y BD ( x, ) .
Recprocamente, dada una bola B ( x, ) , existe una bola BD ( x, ) tal que
BD ( x, ) B( x, ) .

En efecto, por ser f estrictamente creciente y continua, existe y es continua la

funcin inversa f 1 de f ( R ) en R ; por lo tanto, dado , existe > 0 tal que, si
f ( x ) cumple f ( x) f ( y ) < , entonces es

f 1 ( f ( x)) f 1 ( f ( y )) = x y < ,

es decir, d ( x, y ) < siempre que D ( x, y ) < , luego BD ( x, ) B( x, ) .

2. Sean ( E , d ) y ( F , d ') dos espacios mtricos y f : E F una funcin uniformemente
continua en E. Prubese que, si ( xn ) es una sucesin de Cauchy en E , entonces
( f ( xn )) es una sucesin de Cauchy en F .
SOLUCIN:
Consideremos una sucesin de Cauchy ( xn ) en ( E , d ) y veamos por la
definicin que ( f ( xn )) es una sucesin de Cauchy en ( F , d ') . Fijemos un nmero
arbitrario positivo > 0 .
Por ser uniformemente continua en E , dado > 0 anterior mente fijado, existe
> 0 , tal que si d ( x, y ) < se tiene d '( f ( x ), f ( y )) < .
Por ser uniformemente continua en E , dado > 0 , encontrado antes, existe
n0 N tal que, para todo n, m < n0 , se tiene d ( xn , xm ) < .
Por lo tanto, fijado > 0 , existe n0 N tal que, si n, m < n0 d ( xn , xm ) < , y se
cumple d '( f ( xn ), f ( xm )) < .
3. Sea f : R ( , ) la rama principal de la funcin arctg x. Prubese que la distancia
definida por f en R ,
D ( x, y ) =| arc tgx arc tg y |
es equivalente a la distancia eucldea, pero no es uniformemente equivalente a ella.
SOLUCIN:
f ( x ) = arc tg x es una funcin estrictamente creciente en R ; entonces, por la
parte de a) del problema 1, podemos asegurar que D ( x, y ) es una distancia en R .
Adems f es continua en todo R , luego por la parte c) D es equivalente a la
distancia eucldea .
Sin embargo , la identidad
i : ( R, D ) ( R,| |)
no es uniformemente continua, ya que no trasforma sucesiones de Cauchy del
espacio ( R, D ) en sucesiones de Cauchy del espacio ( R;| |) . En efecto, la sucesin
(n) de nmeros naturales es de Cauchy en ( R, D ) ya que

lim arc tg n =

,
2
pero obviamente no lo es en ( R;| |) . Por lo tanto D y | | no son uniformemente
equivalentes.
Nota. Obsrvese que la identidad
i : ( R, D ) ( R, D )
s es uniformemente continua en R , debido a la continuidad uniforme de
f ( x ) = arc tg x .
Para verlo basta tener en cuenta la desigualdad
| arc tg x arc tg y || x y |
obtenida aplicando el teorema del valor medio en el intervalo [y,x].
n

4. Sea ( E , d ) un espacio mtrico

(a) Prubese que
D ( x, y ) =

d ( x, y )
1 + d ( x, y )

es una distancia en E.
(b) Prubese que d y D son equivalentes .
(c) (c )Estdiese si d y D son uniformemente equivalentes .
SOLUCIN
(a) Las dos primeras condiciones son evidentes . Probemos la desigualdad triangular
Como la funcin
x
f : [0, ) R,
f ( x) =
1+ x
es creciente , se tiene para todo x, y E
d ( x , y ) d ( x, z ) + d ( z , y )
d ( x, y )
d ( x, z ) + d ( z , y )
d ( x, z )
d ( z, y)

+
1 + d ( x, y ) 1 + d ( x , z ) + d ( z , y ) 1 + d ( x , z ) 1 + d ( z , y )
es decir D ( x, y ) D ( x, z ) + D ( y , z ) .
(b) Es obvio que D ( x; y ) d ( x, y ) para todo x, y E . Por lo tanto para todo r>0,
Bd ( x, r ) BD ( x, r ).
Por otra parte, dado r>0, existe
r
s=
1+ r
tal que BD ( x, s ) Bd ( x, r ). En efecto, sea y BD ( x, s )
D ( x, y )
d ( x, y ) =
,
1 D ( x, y )
basta elegir > 0 cumpliendo

< , es decir, <

,
1
1+
para que D ( x; y ) < implique d ( x; y ) < . As pues, i es uniformemente continua
y, por tanto, d y D son uniformemente equivalentes.

5. Obtngase el interior, el exterior, la frontera y el conjunto de puntos de acumulacin de

los siguientes conjuntos
(a) {( x, y ) R 2 : y = x} ( R )
(b) {( x, y, z ) R 3 : x 2 + y 2 1}

(c) {( x, y , z ) R 3 : z 2 = x 2 + y 2 } .
SOLUCIN:
(a) El conjunto

M = {( x, y ) R 2 :y = x} = 1 {0} , donde

: R2 R

es la

aplicacin continua ( x, y ) = y x . Como {0} R es cerrado, resulta que

M = 1 {0}
es cerrado (1.20) y, por tanto, R 2 M es abierto. Entonces Ext ( M ) = R 2 M , ya
que el exterior de M es el mayor abierto contenido en R 2 M .

H
r
P

Es evidente geomtricamente que M = ; la prueba de esto es como sigue. Sea

y = pues
x toda
P = ( x0 , x0 ) un punto cualquiera de M. P no puede ser un punto interior a M,
bola B ( P, r ) de centro P contiene puntos de R 2 -M, por ejemplo el punto

r
Q = ( x0, x0 + )
2
La frontera de M se obtiene teniendo en cuenta la relacin
Fr ( M ) = R 2 ( M Ext ( M )),

luego Fr ( M ) = M .
Todo punto de P en M es de acumulacin de M ya que cada bola centrada en P, B ( P, r ) ,
contiene puntos de M distintos de P; por ejemplo, el punto

[x

)].

r
r
+ , x0 +
2
2
Acabamos de probar que M M ; pero por otra parte , al ser M cerrado se tiene que
H=

M = M M ' , de modo que en nuestro caso M = M ' .

(b) si ahora M = {( x, y.z ) R 3 : x 2 + y 2 1} consideremos la funcin continua
= ( x, y, z ) = x 2 + y 2 , y el cerrado ( ,1] R .
Como M = 1 ((,1]) , resulta que M es cerrado.
Razonando como en (a)se tiene que Ext(M)= R 3 M .
Obsrvese que M es un cilindro (incluida la superficie cilndrica) del eje 0Z es de esperar
que su interior sea M 1 = {( x, y, z ) : x 2 + y 2 < 1} y que su frontera sea la superficie cilndrica
S = {( x, y, z ) = x 2 + y 2 = 1} es decir S = M M 1 . Para probar esto procedemos de la
siguiente manera : M 1 es abierto ya que ( ,1] R es abierto y M 1 = 1{( ,1]};
adems M 1 es mayor contenido en M , ya cualquier punto P M M 1 no puede ser
interior a M, puesto que toda bola B ( P, r ) centrada en P = ( x0 , y0, z0 ) contiene puntos de
R 3 M , por ejemplo, el punto
Q=

(x

r
+ , y0 , z 0
2

)x

O el punto

(x

r
, y0 , z0
x0 < 0
2
(Para probar esto hay que tener en cuenta que x02 + y02 = 1, pues P M M 1 ) .
Razonando como en (a) se deduce que
Fr ( M ) = R 3 ( M Ext ( M )) = S
Q=

Sea P = ( x0 , y0 , z0 ) Fr ( M ) ; como x02 + y02 = 1 se deduce que cada bola B ( P, r )

centrada en P contiene puntos M distintos de P, por ejemplo,
H=

(x

y0 , z0 +

r
2

Esto prueba que Fr ( M ) M ' . Por otra parte, es cierto en general que M M ' de modo
que se tiene la inclusin M M ' . Pero al ser M cerrado es M = M M ' y por tanto
M = M '.

H
P

(c) En este caso M = {( x, y, z ) R 3 : z 2 = x 2 + y 2 } es una superficie cnica de vrtice en el

origen. Razonando de modo anlogo a como se hizo en (a) y en (b) se obtiene:
Fr ( M ) = M = M = M ', Ext ( M ) = R 3 M , M =

6.-Demustrese utilizando la definicin que no son compactos los siguientes conjuntos:

(a) el conjunto R de los nmeros reales
(b) un intervalo abierto (a, b) R .
(c) la bola abierta en R n. de centro 0 y radio r .
SOLUCIN:
Se tendr que encontrar un recubrimiento abierto del conjunto del cual no se pueda extraer
un subrecubrimiento finito.
(a) Considrese la familia de intervalos abiertos {( z 1, z + 1)}, z Z (Z es el conjunto
de los nmeros enteros ) que es un recubrimiento de R, si se suprimiese un intervalo, por
ejemplo ( z0 1, z0 + 1) quedara sin recubrir z0 luego no admite ningn recubrimiento.
(b) Considere la familia de intervalos abiertos

{(a +

)}

ba
ba
,b
n2
n
n
es un recubrimiento abierto de (a, b) ya que si x0 (a, b) basta tomar

ba ba
ba
ba
,
para que x0 a +
,b
x0 a b x0
n
n
Por otra parte si existe un recubrimiento finito
n > max

{(

a+

ba
ba
,b
nj
nj

)}

j = 1......... p

el intervalo

ba
ba
,b
n0
n0
en donde n0 = max{n j : j = 1......... p} , contiene a todos los dems y es obvio que los
a+

puntos comprendidos entre a+[(b-a)/ n0 ] y los puntos entre b y b- [(b a ) / n0 ] no son

recubiertos.
(c) Considrese la familia de bolas abiertas

{(

B 0, r

)}

entonces

d (0, x) < r

r
n >1
n
esta familia es un recubrimiento abierto de B(0,r), ya que si
x B (0, r ),
por lo tanto, para

n>

r
r
es x B 0, r
r d (0, x)
n

Ahora bien, exactamente igual al caso (b), si existiese un subrecubrimiento finito, habra
una bola

r
n0
que contendra a las dems y los puntos de B (0, r ) no pertenecen a
B 0, r

B 0, r

r
n0

quedara sin recubrir.

7.-(a) Sea ( E , d ) un espacio mtrico. Prubese que una sucesin convergente y su limite l
es un conjunto compacto en E.
(b) Sean ( E , d ) y ( F , d ') dos espacios mtricos, f : E F una biyeccin continua, tal
que para toda parte compacta K de F , f 1 ( K ) es compacto en E. Aplquese a) para
probar que f es un homeomorfismo.
SOLUCIN:

(a) Sea = {U i }iI un recubrimiento abierto cualquiera de

M = {xn : n N } {l}
Sea l U i0 . Como U i0 es abierto, es un entorno de l . Por ser
lim xn = l
n

dado U i0 existe n0 N tal que para toda n > n0 es xn U i0 . Como fuera de U i0 quedan a lo
mas los n0 primeros trminos de la sucesin, sea
x j U ik j , k = 1, 2,......n0
con lo que {U i j } j =0,1,2,......n0 es un subrecubrimiento finito de .
(b) probamos que f 1 es continua en F, supongamos que no lo es; existe entonces b F y
una sucesin ( yn ) F , convergente a b, tal que ( f 1 ( yn ) ) no converge a f 1 (b)=a.
Ahora bien, como M = {( yn ) {b} es compacto y por hiptesis f 1 (M) es compacto en E.
Existe una subsucesin ( f 1 ( yk ) de ( f 1 ( yn ) convergente y cuyo limite no es a. Por ser f
continua y biyectiva tendramos
lim f ( f 1 ( yk ) ) = lim yk b
en contradiccin con lim yk = b .

8.-Sea {xn } una sucesin de ( E , d ) . Si : N N es una aplicacin estrictamente creciente

(es decir, n > m ( n ) > ( m ) ), la sucesin ( x ( n ) ) se llama una subsucesin de ( xn ) .
(a) Prubese que si lim xn = a , toda subsucesin {xn } tiene limite a.
n

(b)Prubese con un ejemplo que una sucesin {xn } que no tenga limites puede tener
subsucesiones convergentes.
(c) Pngase un ejemplo de una sucesin que no posea ninguna subsucesin convergente.
SOLUCIN:
(a) Sea lim xn = a y ( x ( n ) ) una subsucesin de ( xn ) . Dado un > 0 existe un n0 N tal
n

que n n0 entonces d ( xn , a) < . Como : N N es estrictamente creciente existe

un m0 N tal que si (m0 ) > n0 . Entonces si m m0 , se tiene que (m) > (m0 ) > n0
luego d ( x ( m ) , a ) < y por tanto lim xn = a .
n

(b) Sea la sucesin ( xn ) de puntos de R definida as x2 n = 1, x2 n +1 = 1 si 1 (n) = 2n la

sucesin ( x 1 ( n ) ) es la sucesin constantemente igual a 1 y por lo tanto converge a 1. si

2 (n) = 2n + 1 la subsucesin ( x

2 (n)

) es la subsucesin constante igual a -1 y por tanto

converge a -1. la sucesin ( xn ) no puede ser convergente, pues si lo fuera, en virtud del

inciso (a) toda subsucesin de ella sera convergente y tendra el mismo lmites y
acabamos de ver dos subsucesiones con lmites distintos.
(c) Si ( xn ) es la sucesin de puntos de R definida por xn = n , entonces para toda
aplicacin estrictamente creciente : N N se tendra que x ( n ) = ( n) luego si
n m, | x ( n ) x ( m ) | = (n) (m) 1 , y por tanto la sucesin ( x ( n ) ) no verifica el

criterio de Cauchy, luego no es convergente.

9.- Sean ( xn ) y ( yn ) sucesiones en un espacio mtrico ( E , d ) :
(a) Prubese que, si ( xn ) y ( yn ) son de Cauchy, existe lim d ( xn , yn ) .
n

(b) prubese que, si ( xn ) es de cauchy y lim d ( xn , yn ) = 0, entonces ( yn ) es de Cauchy.

n

(c) Prubese que, si ( xn ) es de Cauchy, y lim d ( xn , yn ) = 0 entonces ( yn ) converge a p

n

si y slo si ( xn ) a p .
(d) Prubese que las subsucesiones ( x2 n ), ( x2 n +1 ) ( x2 n ) , ( x2 n +1 ) y ( x3n ) de ( xn ) son
convergentes, entonces ( xn ) es convergente.
(e) prubese que, si ( xn ) es de cauchy y posee una subsucesin ( x ( n ) ) a x , entonces
( xn ) a x .
SOLICIN:
(a) Por la desigualdad triangular
d ( xn , yn ) d ( xn , xm ) + d ( xm , ym ) + d ( ym , yn )
d ( xm , ym ) d ( xm , xn ) + d ( xn , yn ) + d ( yn , ym )
con lo que
d ( xn , yn ) d ( xm , ym ) d ( xn , xm ) + d ( yn , ym )
De donde se deduce inmediatamente que (d ( xn , yn )) es una sucesin de Cauchy en R .
Como R es completo la sucesin tiene limite.
(b) Como d ( yn , ym ) d ( yn , xn ) + d ( xn , xm ) + d ( xm , yn ) la conclusin es clara.
(c) Anlogamente
d ( yn , p) d ( yn , xn ) + d ( xn , p )
d ( xn , p) d ( xn , yn ) + d ( yn , p )
Como d ( xn , yn ) converge a 0, d ( yn , p ) converge a 0 si y solo si d ( xn , p) converge a 0.
(d) Veamos en primer lugar que ( x2 n ), ( x2 n +1 ) tienen el mismo limite. En efecto
supongamos que
lim x3n = b
n

La subsucesin ( x6 n ) que es a su vez una subsucesin de ( x3n )( x2 n ) tiene limite b y ste a

de ser limite de ( x2 n ) . Anlogamente la subsucesin ( x6 n +3 ) comn a ( x3n ), ( x2 n +1 ) tiene
limite b y este a de ser el limite de ( x 2 n + 1 ) .
Comprobemos que ( xn ) tiene limite b. Sea > 0 , por ser
lim x2 n = b
n

existe n1 N tal que si n n1 , d ( x2 n , b) < . Anlogamente por ser

lim x2 n +1 = b
n

n2 N tal que si n n2 , d ( x2 n +1 , b) < . Por lo tanto si n max{n1 , n2 } , d ( xn , b ) < .

(e) sea > 0 ( xn ) de Cauchy, existe un n0 tal que si n, m n0 sec umple d ( xn , xm ) < / 2
Por otro lado ( x ( n ) ) x , existe un k con (k ) n0 tal que d ( x ( k ) , x ) < / 2 . Por tanto si
n n0 :
d ( xn , x ) d ( xn , x ( k ) ) + d ( x ( k ) , x ) <

10.-(a) Si A es un subconjunto de un espacio mtrico separable, formado por puntos

aislados, prubese que A es finito o numerable.
(b) Sea ( E , d ) un espacio mtrico separable y f una aplicacin de E en otro espacio
mtrico ( F , D ) . Prubese que el conjunto

B = x E : existe lim f ( y ) y es distinto de f ( x)

yx

es finito y numerable.
SOLUCIN:
(a) por hiptesis, para cada a A existe una bola abierta B (a; ra ) tal que
B(a, ra ) A = {a}
Sea T un subconjunto numerable denso en E. Como B ( a , ra ) T , existe un
ta B(a, ra ) T . La aplicacin

: A
T
a ta
es entonces inyectiva pues si
/ 2 > d ( x ( n ) , x ( m ) ) d ( x ( n ) ( m ) , x)

a b / 2 > d ( y ( n ) , y ( m ) ) d ( y ( n ) ( m ) , y )

B (a, ra ) B(b, rb ) = , luego

d ( x ( n ) , x ( m ) ) d ( x ( n )1 , x ( m )1 ) d ( x ( n ) ( m ) , x).

ta tb . As pues A es biyectivo con el subconjunto ( A) deT y por tanto su cardinal es

finito o numerable.

(b) Designemos por l (a ) el lim f ( y ) cuando existe. Entonces

yx

B = {x E : existe l ( x) y es l ( x) f ( x)} = Bm
m =1

siendo
B = { x E : existe l ( x ) D (l ( x), f ( x )) 1/ m} .
A la vista de (a), bastar demostrar que Bm est formado por puntos aislados para cada
m N. En efecto, sea a Bm . Por definicin, existir una bola abierta B(a, ra ) tal que
1
.
x B ( a, ra ) D( f ( x), l ( a ))
4m
Entonces, si x B(a, ra ) con x a y tomamos una sucesin { yn } convergente a x , resulta
que, a partir de un ndice n0, se tendr y0 B(a, ra ) , por ser B (a, ra ) entorno de x . Por
tanto
1
(*)
,
n n0 .
D ( f ( x), f ( yn )) D ( f ( x), l (a )) + D (l (a ), f ( yn ))
2m
En consecuencia, o bien no existe lim f ( y ) , o bien si existe es igual a lim f ( yn ) , en cuyo
yx

caso, de (*) y la continuidad de D resulta

D ( f ( x), l ( x))

luego x Bm . Es decir, B(a, ra ) Bm = {a} .

1
,
2m

11. Sean ( E1 , d1 ) , ( E2 , d 2 ) espacios mtricos, y f una biyeccin de E1 sobre E2

uniformemente continua en E1 . Prubese que, si E2 es completo y f 1 continua,
entonces E1 es completo.
SOLUCIN:
Sea ( xn ) una sucesin de Cauchy en E1 . Como f es uniformemente continua, ( f ( xn )) es
una sucesin de Cauchy en E2 . Por ser E2 completo, ( f ( xn )) converge a un elemento

b = f (a ) E2 . Adems por ser M = {( f ( xn ))} {b} compacto y f 1 continua y biyectiva

se tiene que f 1 ( M ) = {( xn )} {a} es compacto.

Probemos que ( xn ) posee una subsucesin convergente a a , con lo cual, por ser ( xn ) de
Cauchy, forzosamente lim xn = a (vase problema 9e.)
n

En efecto, como f ( M ) es compacto, la sucesin ( xn ) posee una subsucesin ( x ( n ) )

convergente. Pero forzosamente lim x ( n ) = a , ya que en caso contrario lim f ( x ( n ) ) b y
n

f no sera continua, en contra de la hiptesis.

12. Sea ( E , d ) un espacio mtrico compacto y g : E E una aplicacin tal que

d [ g ( x), g ( y )] d ( x, y ) para todo x, y E .

Fijados dos puntos x, y E , se definen las sucesiones ( xn ) , ( yn ) mediante las

relaciones de recurrencia x0 = x, xn +1 = g ( xn )
y0 = y ,
yn +1 = g ( yn ) .
(a) prubese que existe una sucesin de enteros ( ( n)) tal que las subsucesiones
( x ( n ) ) , ( y ( n ) ) son de Cauchy.
(b) prubese que d [ g ( x), g ( y )] d ( x, y ) y que g es una isometra de ( E , d ) en
(E, d ) .

SOLUCIN:
(a) Dada la sucesin ( xn ) , como E es compacto, existe una subsucesin ( x 1 ( n ) )
convergente. La subsucesin ( y 1 ( n ) ) de ( yn ) es a su vez una sucesin contenida en un
espacio compacto, por lo que posee una subsucesin ( y 2 ( 1 ( n )) ) convergente. Por otra parte,
la subsucesin ( x 2 ( 1 ( n )) ) de ( x 1 ( n ) ) es tambin una subsucesin de ( xn ) , obviamente
convergente. Por lo tanto, ( (n)) = 2 ( 1 (n)) es una sucesin de enteros tal que las
subsucesiones ( x ( n ) ) , ( y ( n ) ) son convergentes y, como consecuencia, de Cauchy.
(b) Como las sucesiones ( x ( n ) ) e ( y ( n ) ) son de Cauchy, dado > 0 podemos encontrar un
n0 N tal que, si (n) > (m) > n0 , se tiene
/ 2 > d ( x ( n ) , x ( m ) ) d ( x ( n ) ( m ) , x)

/ 2 > d ( y ( n ) , y ( m ) ) d ( y ( n ) ( m ) , y )
en donde las desigualdades ltimas se obtienen de la condicin impuesta a la distancia:
d ( x ( n ) , x ( m ) ) d ( x ( n )1 , x ( m )1 ) d ( x ( n ) ( m ) , x).

Por lo tanto, para cada > 0 existe h = ( n) ( m) 1 tal que d ( x , xh ) < / 2 y

d ( y , yh ) < / 2 . Teniendo en cuenta que

d ( x, y ) d [ g ( x), g ( y)] d ( x , xh )
y aplicando la desigualdad triangular
d ( xh , yh ) d ( xh , x) + d ( x, y ) + d ( y, yh )
con lo que
d ( x, y ) d [ g ( x), g ( y )] d ( x , y ) +
de donde
d ( x, y ) = d [ g ( x), g ( y )]
adems g es biyectiva. En efecto g es inyectiva
g ( x) = g ( y ) 0 = d [ g ( x), g ( y )] = d ( x, y ) x = y
g sobreyectiva: sea b E y consideremos la sucesin
x1 = g (b),......., xn +1 = g ( xn ).........

Razonando como antes, resulta que existe una subsucesin ( xh ) de ( xn ) tal que
d (b, xh ) converge a 0, con lo que b g ( E ) = g ( E ) , por ser g ( E ) compacto y
( xh ) g ( E ) .

13.- Prubese que un espacio mtrico E es conexo si y slo si toda funcin numrica
continua en E, que solo toma los valores 0 y 1, es constante.
SOLUCIN:
Sea f una funcin real continua definida en E, que solo toma los valores 0 y 1, y que no es
constante. Los subconjuntos f 1 (0) y f 1 (1) de E son entonces no vacos, cerrados por ser f
continua y obviamente constituyen una particin de E, por lo tanto E no es conexo.
Recprocamente, si E no es conexo existen dos abiertos A , B de E no vacos, tales que
A B = E y A B = . Definimos f : E R de la manera siguiente:
f ( x ) = 1 si x A ;
f ( x ) = 0 si x B .
Es evidente que f es continua, ya que para cualquier subconjunto M de R , f 1 ( M ) slo
puede ser uno de los siguientes cuatro subconjuntos abiertos de E : , A, B, E. Por lo tanto,
f es continua y no constante al ser A y B .

14. Estdiese si los siguientes subconjuntos son conexos:

(a) Una parte de R distinta de un intervalo.
(b) Q Q , en donde Q es el conjunto de los nmeros racionales.
(c) El conjunto de puntos de R 2 que tienen al menos una coordenada irracional.
SOLUCIN:
(a) Si una parte A de R no es un intervalo, existen dos puntos distintos x, y de A tales que

el segmento [ x, y ] no est contenido en A . Sea z [ x, y ] , z A . Los conjuntos

A ( , z ) , A ( z , ) son abiertos en A , distintos del vaco y constituyen una particin

de A ; por lo tanto A no es conexo.

(b) La proyeccin 1 : R R R , 1 ( x, y ) = x es una aplicacin continua en R R . Si

Q Q fuese conexo, 1 (Q Q) = Q tendra que serlo, lo cual es falso en virtud de la parte
a).
(c) Probemos que dado un punto (a, b) R 2 Q2 , cualquier otro punto ( x, y ) R 2 Q2 se
puede unir con E (a, b) por medio de una poligonal contenida en el conjunto. Entonces

R 2 Q 2 es reunin de una familia de conjuntos conexos cuya interseccin es el punto

(a, b) ; por lo tanto, R 2 Q 2 es conexo. (vase 1.15c)
Supongamos que a es irracional.
(i) si y es irracional, la poligonal formada por los segmentos [ (a, b), (a, y )] , [ (a, y ), ( x, y )]
est contenida en R 2 Q 2 .
(ii) Si y es racional, x tiene que ser irracional; entonces se elige un punto (a, y0 ) con y0
irracional, de modo que la poligonal formada por los segmentos
[(a, b), (a, y0 )] , [(a, y0 ), ( x, y0 )] , [( x, y0 ), ( x, y)] est contenida en R 2 Q2 . Si a fuese
racional, b tendra que ser irracional, y se procede de manera anloga.
Nota: Obsrvese que todo segmento [ x, y ] en R n es conexo, como imagen del intervalo

[0,1] por la funcin continua (t ) = tx + (1 t ) y . La unin de dos segmentos con un

extremo comn es conexo por 1.15c. Repitiendo el razonamiento, resulta que cualquier
lnea poligonal en R n es un conjunto conexo.

15. Sea ( E , d ) un espacio mtrico y A , B dos subconjuntos de E :

(a) Prubese que, si A y B son conexos tales que A B , entonces A B es
conexo.
(b) Si A , B son cerrados no vacos tales que A B y A B son conexos, prubese que
A y B son conexos.
(c) Comprubese mediante un ejemplo que, si A y B no son cerrados, c) es falso.
(d) Si A es conexo y A B A , prubese que B es conexo.
SOLUCIN:
(a) Vamos a probar que toda funcin continua f : A B [ 0,1] es constante. (vase
problema 13)
Si A B , entonces A B es conexo. Supongamos que A B = . Sea
f : A B [ 0,1] continua. Como A es conexo, la restriccin de f a A ha de ser
constante, por ejemplo f ( A) = {0} . Anlogamente, la restriccin de f a B ha de ser
constante y necesariamente f ( B) = {0} . En efecto, si f ( B) = {1} , por ser A B y
A B = , existe f (a ) = 1 a A \ A, a B , y por lo tanto una sucesin ( xn ) A ,
convergente a a , con lo que lim f ( xn ) = 0 y f no sera continua, ya que f (a ) = 1 .
n

(b) Notemos en primer lugar que A B , pues de lo contrario A y B seran una

particin de A B formada por cerrados no vacos y A B no sera conexo.

Supongamos, por ejemplo, que A no es conexo. Entonces existen dos cerrados dos cerrados
no vacos en A, M y N , tales que M N y M N = A . Como A es cerrado , M y N
son cerrados en E. Consideremos los cerrados M B y N B ; se tiene
(M B) ( N B) = A B
(M B) ( N B) =
Por lo tanto, si M B y N B entonces A B no seria conexo, en contra de la
hiptesis. Si uno de ellos fuera el , por ejemplo M B ( los dos no pueden serlo, ya
que su unin es A B ) considerando los cerrados no vacos M y N B y se tiene
M ( N B) = (M N ) (M B) =
M ( N B) = A B
con lo que A B no sera conexo.
(d) Sea f : A {0,1} una funcin continua. Como A es conexo, la restriccin de f a A es
__

constante. Si por ejemplo f ( a ) = {0} , por la continuidad de f , f ( A) f ( A) = {0} . Vase

__

demostracin parte (a). Y por tanto f es constante en A .

16.- (a)Prubese que una funcin f entre dos espacios mtricos ( E , d ) y ( E, d ) es

uniformemente continua en E si solo si para cada par de sucesiones ( xn ), ( yn ) E tales
que lim d ( xn , yn ) = 0 se tiene lim d ( f ( xn ), f ( yn )) = 0 .
n

(b) aplquese (a) para probar que toda funcin f continua en un compacto K de E es
uniformemente continua en K (Teorema de la continuidad uniforme).
(c ) Aplquese (a) para demostrar que f : R R , definida por f ( x) = sen x 2 , no es
uniformemente continua en , a pesar de ser acotada.
SOLUCIN:
(a) Supongamos que f es uniformemente continua en E , y veamos que se cumple la
condicin. Sean ( xn )( yn ) dos sucesiones en E tales que . Dado un > 0 , por ser f
uniformemente continua en E , existe un > 0 tal que si d ( x, y) < se cumple que
d ( f ( x ), f ( y )) < . Como lim d ( xn , yn ) = 0 > 0 existe un n0 N tales que para toda
n

n > n0 d ( f ( xn ), f ( yn )) < .
Veamos el reciproco por reduccin al absurdo. Supongamos que f no es uniformemente;
existe un > 0 tal que para todo 1/ n n N existe xn , yn E de modo que
d ( xn , yn ) < 1/ n y d ( f ( xn ), f ( yn )) > lo que evidentemente contradice la condicin.
(b) supongamos que f no es uniformemente continua en K ; entonces existe un > 0 y un
par de sucesiones ( xn ), ( yn ) de , tales que d ( xn , yn ) < 1/ n y d ( f ( xn ), f ( yn )) > >0 para
toda n N . Como K es compacto, se puede extraer una subsucesin x ( n ) convergente a
un elemento a K , con lo que la subsucesin y ( n ) converge tambin a a . (Vase

problema 9.c) . Por ser f continua lim f ( x ( n ) ) = f (a ), lim f ( y ( n ) ) = f (a ) . Con lo que

n

lim f ( x ( n ) , y ( n ) ) = 0 , en contradiccin con la hiptesis hecha.

n

(c ) Las sucesiones

xn = 2 n +

yn = 2 n

Son tales que

2 n +

lim d ( xn , yn ) = lim
n

/2

lim

2 n +

2 n = 0

+ 2 n

Sin embargo,

lim d ( xn , yn ) = lim sen 2 n +

n

Luego f no es uniformemente continua en R .

Nota. Observe que f es acotada en R .

sen 2 n =1

17.- Sea E0 un subespacio denso de un espacio mtrico ( E , d ) y ( F , d ) un espacio mtrico

completo. Prubese que toda funcin uniforme continua f : E0 F admite una nica
___

extensin f : E F uniformemente continua. Mustrese mediante ejemplos que si f no es

uniformemente continua o F no es completo, puede no existir extensin continua de f a E.
SOLUCIN:
__

__

__

__

Dado x E = E0 existe una sucesin {xn } E0 tal que lim{xn } = x . En particular {xn } es
n

de Cauchy y como f es uniformemente continua { f ( xn )} es de Cauchy en F. Por la

__

completitud de F existe lim{ f ( xn )} . Veamos que ese limite depende solo de x y no de la

n

__

sucesin elegida. En efecto si { yn } E0 convergente a x entonces d ( xn , yn ) 0 y por

tanto d( f ( xn ), f ( yn )) 0 (vase problema 16a). Razonando como al principio, resulta
__
_

que tambin existe lim f ( yn ) luego ha de ser lim f ( xn ) = lim f ( yn ) = f ( x) as queda

n

___

__

definida una funcin f : E F ; si existe x E0 tomando la sucesin constante

__
__

__

___

xn = x n N , se tiene por construccin f ( x) = lim f ( xn ) = f ( x ) luego f es una

n

extensin de f.

___

Para demostrar la continuidad de f , en virtud del problema 16a , bastar demostrar que si
_

{xn },{ yn } E son tales que d ( xn , yn ) 0 cuando n , entonces d ( f ( x n ), f ( y n )

___

tambin tiende a cero cuando n . Pero por construccin de f para cada n N

podemos elegir xn , yn E0 tales que
_
_
_ _
_ _
1
1
1
1
d ( xn , xn ) <
d ( yn , yn ) <
d ( f ( x n ), f ( xn ) ) <
d ( f ( y n ), f ( yn ) ) <
n
n
n
n
entonces
_
_
_
_
_
_
2
d ( xn , yn ) < d ( xn , x n ) + d ( x n , yn ) + d ( yn , yn ) + d ( x n , yn )
n
y por tanto tiende a 0 cuando n . La continuidad uniforme de f en A permite concluir
que lim d ' ( f ( xn ), f ( yn )) = 0.
n

Pero entonces
d ' ( f ( x n ), f ( y n )) d ' ( f ( x n ), f ( xn )) + d ' ( f ( xn ), f ( yn )) + d ' ( f ( yn ), f ( y n )

2
+ d ' ( f ( xn ), f ( yn )) 0
n
n

c.q.d.
Si se toma E0 = ( 0,1] , E = F = [ 0,1] y f : E0 F la funcin f ( x ) = sen(1/ x ) , est claro
que f no admite extensin continua a [ 0,1] , pues no existe

1
lim sen .
n 0
x
x>0

Sin embargo, F es completo, por ser cerrado en el espacio completo R .

Por otro lado, si y A E0 = F = (0,1) , E = [ 0,1] , la funcin f : E0 F definida por
f ( x) = x es evidentemente uniformemente continua, pero no admite extensin continua a
una funcin de E en F , ya que lim f ( x) = 0 F .
n0

18. Sean A y B dos subconjuntos cualesquiera de un espacio mtrico ( E ,.d ) . Se define

d ( A, B) = inf {d ( x, y ) : x A, y B} :
(a) Prubese que si A es compacto, para todo x E existe y A tal que
d ( x, A) = d ( x, y ) .
(b) Prubese que si A y B son compactos existen a A y b B tales que
d ( A, B ) = d (a, b) .
(c ) Encuntrese dos subconjuntos cerrados de R 2 tales que no existan a A , b B que
cumplan con que d (a, b) = d ( A, B ) .
SOLUCIN:
(a) Para cada elemento fijo x E la aplicacin x d ( x, A) de E en R es continua (vase
problema propuesto en ejercicio 8). Como A es compacto, alcanzan al menos en punto su
mnimo.

(b) La aplicacin d : E E R es uniformemente continua en E E . Como A B es

compacto, alcanza al menos en un punto (a,b) A B su mnimo.
(c ) A = {( x, y ) R 2 : xy = 1} y B = {( x, y ) R 2 : x = 0 o y = 0} son conjuntos cerrados en
R 2 ya que A = f 1 (0) , en donde f ( x, y ) = xy 1 , B = g11 (0) g 21 (0) en donde
g1 ( x, y ) = x, g 2 ( x, y ) = y siendo f , g1 , g 2 funciones continuas en R 2 y {0} cerrado en R .
Por otro lado, es claro que A B = y
d ( A, B ) = inf{d [( x, y ),( x, y)] : ( x, y ) A , ( x, y) B} =
1
{[(
d
n, ), (n, 0)]: n N}=0
n

inf

A y B son respectivamente, una hiprbola equiltera y sus asntotas. En general, cualquier

hiprbola y sus asntotas cumplen la condicin pedida en ( c).
(continua en Parte 2)

19.- (a) Sea E un espacio mtrico compacto. Prubese que todo subespacio mtrico F
isometra a E es idntico a E.
(b) Prubese con un ejemplo (a) es en general falso si E no es compacto.
SOLUCIN:
(a) Por reduccin al absurdo. Supongamos que existe a E \ F . Sea f : E F una
isometra; como F = f ( E ) es compacto, existe y F tal que d ( a, y ) = d ( a, F ) = r > 0 .
Consideremos la sucesin ( xn ) E definida por
x1 = a; x2 = f ( a ),.....xn = f n 1 ( a ),.....

Para cada p 1 y n > 1,

d ( xn , xn + p ) = d ( f n 1 (a), f n + p 1 (a)) = d ( f n 2 (a), f n + p 2 (a)) = .... = d (a, f p (a))

Ahora bien, d (a, f p (a)) d (a, y ) = r , ya que f p (a) F de donde para todo n N
d ( xn , xn + p ) r
Como consecuencia ( xn ) no puede contener ninguna subsucesin de Cauchy, y por lo tanto
ninguna subsucesin convergente, lo que contradice la compacidad de E.
(b) Sea E = [0, 2] con la distancia discreta: d ( x, y ) = 0 si x = y, d ( x, y ) = 1 si x y , E no
es compacto ya que del recubrimiento finito. (Ntese que B ( x,1/ 3) = {x} ) sea F = [0,1]; la
aplicacin
1
f :E F
f ( x) = x
2
es una isometra ya que
1 1
d ( x, y ) = d ( x, y ).
2 2
Sin embargo, F E .

20.- Sea (E,d) un espacio mtrico, A un subconjunto cerrado de E y B su complementario:

(a) Si f : A R es continua y tal que f ( x) = k para toda x Fr ( A) , prubese que la
aplicacin g : E R, definida por g ( x ) = f ( x ) si x A , g ( x ) = k si x B es
continua.
(b) Si E y Fr ( A) son conexos prubese que A es conexo.
SOLUCIN:
(a) Los nicos puntos en los que hay que demostrar la continuidad de g son los de Fr(A).
Sea a Fr ( A) y > 0 . Por ser f continua en A, dado > 0 existe > 0 tal que si

x A y d ( a, x ) < se tiene f ( x) f (a) = g ( x) g (a) < . Por otra parte, para todo
x B , g ( x ) = k = g ( a ) . Entonces, para todo x E tal que d ( a, x ) < ,
g ( x) g ( a ) < .

(b) Sea f : A {0,1} una funcin continua. Probemos que f es constante, con lo que a es
conexo. (Vase problema 13.) Como Fr(A) es conexo, la restriccin de f a Fr(A) es
constante; supongamos f ( Fr ( A)) = {1} . Sea, como en la parte (a), B el complementario
de A y la aplicacin g : E {0,1} de finida por: g(x) = f(x) si x A , g(x) = 1 si x B .
Por el resultado de (a) g es continua, y como E es conexo, g debe de ser constante y
evidentemente, g(x) = 1 para todo x E . Ahora bien, f es la restriccin en A de g, por
lo tanto f es constante.
21.-Sean ( E1 , d1 ) , ( E2 , d 2 ) dos espacios mtricos, A en subconjunto de E1, f : A E2 uan
aplicacin continua y G = {( x, f ( x) : x A} el grafo de f.