GUÍA ESPACIOS MÉTRICOS (IMA 1401)

FELIPE RIQUELME

1. Métricas
(1) Sea d : X ˆ X Ñ R una función tal que
dpx, yq “ 0 ô x “ y
y
dpx, zq ď dpx, yq ` dpy, zq
para todo x, y, z P X. Pruebe que d es una métrica.
(2) Para cada una de las condiciones que definen a una métrica, obtenga una
función d : R ˆ R Ñ R que no la cumple pero que satisface las otras.
(3) Sea pX, dq un espacio métrico. Verifique que
a
d1 px, yq “ dpx, yq,
dpx, yq
d2 px, yq “ ,
1 ` dpx, yq
d3 px, yq “ mint1, dpx, yqu
son métricas en X.
(4) Sea V un espacio vectorial sobre R. Demuestre que una métrica d en V
proviene de una norma si y solamente si para todo x, y, z P V y λ P R, se
tiene
dpx ` z, y ` zq “ dpx, yq y dpλx, λyq “ |λ|dpx, yq.
(5) Muestre que para todo conjunto X, la función d : X ˆ X Ñ R definida por
"
0 , si x “ y
dpx, yq “
1 , si x ‰ y
es una métrica.
(6) Considere la familia de funciones dp : Rn ˆ Rn Ñ R (p ě 1) definida por
˜ ¸1{p
n
ÿ
p
dp px, yq “ |xi ´ yi | .
i“1

Muestre que dp define una métrica en Rn .

(7) Considere la función d8 : Rn ˆ Rn Ñ R definida por
d8 px, yq “ maxt|xi ´ yi |, i “ 1, . . . , nu.
Muestre que d8 define una métrica en Rn .

Date: May 5, 2019.

1
2 F. RIQUELME

(8) Sea l8 el conjunto de todas las sucesiones acotadas de números reales,

es decir el conjunto de sucesiones x “ pxn q8 n“1 tales que existe c ą 0
verificando
|xn | ď c, para todo n ě 1.
Defina
d8 px, yq “ supt|xn ´ yn |, n ě 1u
donde x “ pxn q8 8
n“1 y y “ pyn qn“1 pertenecen a l8 . Muestre que d8 define
una métrica en l8 .
(9) Sea l1 el conjunto de todas las sucesiones x “ pxn q8n“1 de números reales
tales que
ÿ8
|xn | ă 8.
n“1
Para cada x, y P l1 , defina
8
ÿ
d1 px, yq “ |xn ´ yn |.
n“1

Muestre que d1 está bien definida y que esta es una métrica en l1 .

(10) Sea X “ Cpr0, 1s, Rq el espacio de funciones continuas en el intervalo r0, 1s.
Para cada p ě 1 defina dp : X ˆ X Ñ R por
ˆż 1 ˙1{p
p
dp pf, gq “ |f pxq ´ gpxq| dx .
0

(11) Sea X “ Cpr0, 1s, Rq el espacio de funciones continuas en el intervalo r0, 1s.
Defina d8 : X ˆ X Ñ R por
d8 pf, gq “ supt|f pxq ´ gpxq|, x P r0, 1su.
Muestre que d8 define una métrica en X.
(12) Sea pV, } ¨ }q un espacio vectorial normado. Muestre que la función d :
V ˆ V Ñ R definida por
dpu, vq “ }u ´ v},
define una métrica en V .
(13) Sea X Ă Rn un conjunto arco-conexo, es decir tal que para todo x, y P X
existe una curva continua αx,y : ra, bs Ñ X que une x con y. Considere
Rn dotado con la norma Euclideana. Si α : ra, bs Ñ Rn es una curva
diferenciable, escribiremos Lpαq la longitud de arco de α usual. Para cada
x, y P X definimos d : X ˆ X Ñ R la función definida por
dpx, yq “ inftLpαx,y q : α P Cx,y pXqu,
donde Cx,y pXq denota el conjunto de todas las curvas diferenciables en X
que unen x con y. Asuma que para todo x, y P X se tiene Cx,y pXq ‰ H.
Muestre que d define una métrica en X. ¿Qué representa d en el caso que
X “ S2 y n “ 3?
(14) Esboce las bolas Brp0, 0q, 1s para las métricas d1 , d2 y d8 en R2 .
(15) Esboce el comportamiento de una función arbitraria g P Brf, 1s, donde
f P Cpr0, 1s, Rq está definida por f pxq “ x y la métrica en Cpr0, 1s, Rq es
d8 .
 GUÍA ESPACIOS MÉTRICOS (IMA 1401) 3

Sea tpXn , dn qu8

(16) ś n“1 una colección numerable de espacios métricos. Sea X “
8
n“1 X n el producto cartesiano infinito. Considere la función d : X ˆX Ñ
R definida por
8
ÿ 1 dpxn , yn q
dpx, yq “ n 1 ` dpx , y q
.
n“1
2 n n

Muestre que d es una métrica en X.

(17) Sea pX, dq un espacio métrico. Muestre que siempre se tiene
č
Brx, rs “ Bpx, sq
sąr
y
č
txu “ Bpx, sq.
są0
¿Es posible establecer una identidad similar para bolas abiertas en término
de bolas cerradas?
(18) Sea pX, dq un espacio métrico producto cartesiano, i.e. X “ X1 ˆ . . . ˆ Xn
está dotado de la métrica
˜ ¸1{2
n
ÿ
2
dpx, yq “ di pxi , yi q .
i“1

Muestre que un punto x P X es aislado respecto a d si y solamente si cada

factor xi P Xi es aislado respecto a la métrica di .
(19) Muestre que todo espacio métrico finito es discreto.
(20) Sea X un conjunto infinito numerable. Muestre que es posible definir una
métrica en X tal que no hay puntos aislados.
(21) Encuentre dos subconjuntos discretos A y B de R tales que A Y B no es
discreto.
(22) Sea pX, dq un espacio métrico. Si y R Brx, rs, muestre que existe s ą 0 tal
que Brx, rs X Bry, ss “ H.
(23) Sea pX, dq un espacio métrico, A Ă X y r ą 0. La r-vecindad abierta de A
es el conjunto
ď
Vr pAq “ Bpa, rq.
aPA
Muestre que
Vr pA X Bq Ă Vr pAq X Vr pBq
y
Vr pA Y Bq “ Vr pAq Y Vr pBq.
(24) Sea pX, dq un espacio métrico. Demuestre que el diámetro de una bola
Bpx, rq no puede exceder 2r.
(25) Muestre que todo conjunto X admite una métrica tal que X es acotado.
(26) Sea pX, dq un espacio métrico. Pruebe que si A, B Ă X son acotados,
entonces A Y B es un conjunto acotado.
(27) Sea pX ˆ X, dq un espacio métrico producto y ∆ Ă X ˆ X la diagonal.
Muestre que si ω “ px, yq R ∆, entonces dpω, ∆q ą 0.
(28) Sea A “ X ˆ Bpx, rq el complemento de una bola abierta en un espacio
métrico pX, dq. Muestre que si dpy, Aq “ 0, entonces y P A.
4 F. RIQUELME

(29) Sea pX, dq un espacio métrico y A Ă X un subconjunto no vacı́o. Defina

A˚ “ tx P X : dpx, Aq “ 0u.
Pruebe que pA˚ q˚ “ A˚ .
(30) Sea pX, dq un espacio métrico y A Ă X. Pruebe que dpx, Aq “ inftr ą 0 :
x P Vr pAqu.
(31) Sea pX, dq un espacio métrico. Denote por Fb pXq a la colección de todos
los subconjuntos acotados y no vacı́os de X que cumplen con la condición
siguiente
dpx, Aq “ 0 ô x P A.
Dados A, B P F, sea ρ : F ˆ F Ñ R definida por
" *
ρpA, Bq “ max sup dpx, Bq, sup dpy, Aq .
xPA yPB

Pruebe que ρ define una métrica en F. Tal métrica es conocida como la

distancia de Hausdorff entre los conjuntos A y B.
(32) Muestre que en un espacio vectorial normado, las bolas abiertas de mismo
radio son isométricas.
(33) Pruebe que si ϕ : X Ñ Y es una isometrı́a entre dos espacios métricos,
entonces su inversa ϕ´1 es isometrı́a.
(34) Sea V un espacio vectorial con producto interno. Muestre que toda in-
mersión isométrica f : R Ñ V es de la forma f ptq “ u ` t ¨ v, donde u, v P V
y }v} “ 1.
(35) Sea Sn la esfera unitaria n-dimensional, es decir
Sn :“ tx P Rn`1 : }x}2 “ 1u.
Denote por Pn al conjunto cuyos elementos son aquellos de Sn identificados
por la relación de equivalencia x „ y ô x “ y _ x “ ´y para x, y P Sn .
A un elemento en Pn lo denotaremos por rxs. Defina en Pn la función
d : Pn ˆ Pn Ñ R dada por
dprxs, rysq “ mint|x ´ y|, |x ` y|u.
Muestre que d es una métrica en Pn . Sea π : Sn Ñ Pn la proyección natural
?
πpxq “ rxs. Muestre que si un conjunto A Ă Sn verifica diampAq ď 2,
entonces π|A es una inmersión isométrica de A en Pn .

2. Funciones continuas
(36) Sean pX, dX q y pY, dY q dos espacios métricos. Muestre que si x P X es
punto aislado, entonces toda función f : X Ñ Y es continua en x.
(37) Sea pX, dq un espacio métrico y Y “ Y1 ˆ Y2 un espacio métrico producto
cartesiano. Muestre que f : X Ñ Y es continua si y solamente si ambas
funciones coordenadas f1 : X Ñ Y1 y f2 : X Ñ Y2 son continuas.
(38) Sean f, g : X Ñ Y dos funciones continuas entre espacios métricos. Suponga
que x0 P X es tal que f px0 q ‰ gpx0 q. Muestre que existe una bola B de
centro x0 en X tal que f pBq X gpBq “ H.
(39) Sean I, J Ă R intervalos arbitrarios de la recta y f : I Ñ J una biyección
tal que x ă y ñ f pxq ă f pyq. Muestre que f es continua.
 GUÍA ESPACIOS MÉTRICOS (IMA 1401) 5

(40) Sean pX, dX q y pY, dY q dos espacios métricos. Suponga que f : X Ñ Y

es un homeomorfismo. Muestre que Y es discreto si y solamente si X es
discreto.
(41) Muestre que el gráfico de una aplicación continua entre dos espacios métricos
es homeomorfo a su dominio.
(42) Sea pX, dq un espacio métrico y x0 P X un punto dado. Defina f : X Ñ R
por f pxq “ dpx, x0 q. Muestre que f es Lipschitz continua.
(43) Sea pX, dq un espacio métrico y A Ă X. Defina la función f : X Ñ R por
f pxq “ dpx, Aq. Muestre que f es Lipschitz continua.
(44) Sean pX, dX q y pY, dY q dos espacios métricos y ϕ : X Ñ Y función ar-
bitraria. Considere BpX, Rq el espacio de todas las funciones f : X Ñ R
acotadas dotado de la métrica d8 . Muestre que la aplicación Φ : BpY, Rq Ñ
BpX, Rq definida por Φpf q “ f ˝ ϕ es una contracción débil lineal.
(45) Muestre que una aplicación Hölder-continua entre dos espacios métricos es
continua.
(46) Sea f : X Ñ Y una aplicación continua entre dos espacios métricos pX, dX q
y pY, dY q. Suponga que A Ă Y es no vacı́o. Si x0 P X es tal que
dY pf px0 q, Aq ą 0, muestre que existe una bola B en X de centro x0 tal
que dY pf pxq, Aq ą 0 para todo x P B.
(47) Sea X “ Cpr0, 1s, Rq el espacio de funciones continuas f : r0, 1s Ñ R. Sea
Id : pX, d8 q Ñ pX, d1 q la aplicación identidad. Muestre que Id es continua
pero que su inversa no lo es.
(48) Sea l1 el conjunto de todas las sucesiones x “ pxn q8 n“1 de números reales
tales que
ÿ8
|xn | ă 8,
n“1

dotado de la métrida d1 . Considere la aplicación πn : l1 Ñ R definida por

πn pxq “ xn .
Muestre que πn es Lipschitz continua.
(49) Muestre que las métricas dp (p ě 1) en Rn son fuertemente equivalentes.
(50) Sea pX, dq un espacio métrico. Considere las métricas
dpx, yq
d1 px, yq “ y d2 px, yq “ mint1, dpx, yqu.
1 ` dpx, yq
Muestre que d, d1 y d2 son débilmente equivalentes.
(51) Sea X “ Cpr0, 1s, Rq el espacio de funciones continuas en el intervalo r0, 1s.
Muestre que si 1 ď q ă p ď 8, entonces la métrica dp es más fina que la
métrica dq .
(52) Sea f : X Ñ Y una aplicación inyectiva entre dos espacios métricos pX, dX q
y pY, dY q. Muestre que f es continua si y solamente si la métrica dX es más
fina que la métrica f ˚ dY .
(53) Dados x, y P R, defina ρ : R ˆ R Ñ R por
"
|x ´ y| ` 1 , si x ¨ y ă 0
ρpx, yq “
|x ´ y| , en otro caso.
Compare la métrica ρ con la métrica usual d en R.
6 F. RIQUELME

3. Topologı́a
(54) Considere un conjunto X dotado de la métrica discreta. Determine a todos
los conjuntos abiertos de X.
(55) Considere el conjunto BpX, Y q de todas las funciones acotadas f : X Ñ Y
dotado de la métrica uniforme. Muestre que el conjunto D Ă BpX, Y q de
funciones discontinuas, es un conjunto abierto. ¿El subconjunto de fun-
ciones continuas es un conjunto abierto?
(56) Sea X “ Cpr0, 1s, Rq el conjunto de funciones continuas a valores reales.
Considere en X las métricas d8 y d1 . Sea f0 : r0, 1s Ñ R la función
idénticamente cero, es decir f0 pxq “ 0 para todo x P r0, 1s. Muestre que
para todo ε ą 0, si f P X verifica f P B d8 pf0 , εq, entonces f P B d1 pf0 , εq.
¿Es cierto que para cada ε ą 0, si f P B d1 pf0 , εq entonces f P B d8 pf0 , εq?
(57) Sean pX, dX q y pY, dY q dos espacios métricos y considere X ˆ Y con la
métrica producto. Muestre que todo abierto U Ă X ˆ Y se puede escribir
como la unión de conjuntos de la forma UX ˆ UY , donde UX y UY son
abiertos en X y Y respectivamente.
(58) Muestre que la frontera de un conjunto abierto U en un espacio métrico
pX, dq tiene interior vacı́o. ¿Qué sucede si U no es abierto?
(59) Sea pV, } ¨ }q un espacio vectorial normado con la métrica inducida por la
norma. Muestre que todo subespacio vectorial propio de V tiene interior
vacı́o.
(60) Sea pX, dq un espacio métrico. La diagonal ∆ Ă X ˆ X es el conjunto de
pares px, xq P X ˆ X. Pruebe que X ˆ Xz∆ es un conjunto abierto.
(61) Sea Cpra, bs, ra, bsq el conjunto de todas las funciones continuas de la forma
f : ra, bs Ñ ra, bs dotado de la métrica del supremo. Considere el subcon-
junto U de todas las funciones que no son sobreyectivas. Muestre que U es
un conjunto abierto.
(62) Sea f : X Ñ Y una función continua entre dos espacios métricos. Considere
A Ă X un conjunto arbitrario y V un abierto en Y tal que f pAq Ă V .
Pruebe que existe un abierto U de X tal que A Ă U y f pU q Ă V .
(63) Sea f : X Ñ R función definida en un espacio métrico pX, dq. Para a P R
defina Xąa “ tx P X : f pxq ą au y Xăa “ tx P X : f pxq ă au. Pruebe que
f es continua si y solamente si Xąa y Xăa son abiertos en X para todo
a P R.
(64) Sea pX, dq un espacio métrico y A Ă X. Considere la función caracterı́stica
χA : X Ñ t0, 1u definida por χpxq “ 1 si x P A y χpxq “ 0 si x R A.
Muestre que el conjunto de discontinuidades de χ es frpAq.
(65) Sea X un conjunto arbitrario (finito, numerable o no numerable). Sea τ la
colección de todos los conjuntos U Ă X tales que XzU es finito o U “ H.
Muestre que τ forma una topologı́a en X, es decir
(a) H, X P τ
(b) la unión arbitraria de elementos en τ es un elemento en τ , y
(c) la intersección finita de elementos en τ es un elemento en τ .
(66) Sea X “ N dotado de la topologı́a del problema anterior. Si P de nota al
subconjunto de números primos de N, ¿es P un conjunto abierto?
(67) Sea pX, dq un espacio métrico y A Ă X un conjunto arbitrario. Considere
A˚ como en el ejercicio (29). Muestre que A˚ es cerrado.
 GUÍA ESPACIOS MÉTRICOS (IMA 1401) 7

(68) Sea A un conjunto arbitrario de ı́ndices y para cada α P A considere fα :

X Ñ R una función continua de un espacio métrico pX, dq. Muestre que el
conjunto de puntos
C “ tx P X : fα pxq ě 0, para todo α P Au
es cerrado en X.
(69) Muestre que el gráfico de una función continua f : X Ñ Y es siempre
cerrado.
(70) Sea pX, dq un espacio métrico. Defina la esfera Spx0 , rq de centro x0 P X y
radio r ą 0 como el conjunto de puntos x P X tal que dpx0 , xq “ r. Muestre
que Spx0 , rq es siempre cerrado.
(71) Sea X “ X1 Y X2 un espacio métrico donde X1 y X2 son subconjuntos
cerrados de X. Muestre que, si f : X Ñ Y es tal que las restricciones f |X1
y f |X2 son continuas, entonces f es continua.
(72) Sea pX, dq un espacio métrico. Muestre que todo conjunto cerrado C Ă X
con interior vacı́o es la frontera de algún conjunto abierto U Ă X, es decir
que frpU q “ C.
(73) Sea pRn , dq el espacio Euclideano dotado con la métrica usual. Muestre que
todo abierto U Ă Rn contiene al menos un punto cuyas coordenadas son
racionales. Concluya que si C es una colección de abiertos no vacı́os en Rn ,
dos a dos disjuntos, entonces C es numerable.
(74) Considere X “ Cpr0, 1s, r0, 1sq dotado de la métrica d8 . Sea A Ă X el
conjunto de funciones que no son sobreyectivas. Muestre que A es abierto
en X.
(75) Considere X “ Cpr0, 1s, r0, 1sq dotado de la métrica d8 . Sea A Ă X el con-
junto de homeomorfismos del intervalo r0, 1s. Muestre que A tiene interior
vacı́o en X.
(76) Sea f : X Ñ R una función real continua definida en un espacio métrico.
Considere el abierto U “ tx P X : f pxq ą 0u. Muestre que para todo
x P frpU q se tiene f pxq “ 0. Dé un ejemplo en el que se tenga f pxq “ 0
pero x R frpAq.
(77) Sean pX, dq un espacio métrico y A, B Ă X dos conjuntos arbitrarios.
Muestre que siempre se tiene
A Y B “ A Y B y A X B Ă A X B.
Dé un ejemplo en el cual la última inclusión sea estricta.
(78) Muestre que f : X Ñ Y es continua si y solamente si para todo A Ă X se
tiene f pAq Ă f pAq.
(79) Una aplicación f : X Ñ Y se dice homeomorfismo local si para cada x P X
existe un abierto U que contiene a x tal que f |U es un homeomorfismo sobre
su imagen. Pruebe que
(a) Si f : X Ñ Y es un homeomorfismo local, entonces para cada y P Y
el conjunto f ´1 pyq es cerrado y discreto en X.
(b) Recuerde que una aplicación f : X Ñ Y se dice abierta si esta envı́a
conjuntos abiertos de X en conjuntos abiertos en Y . Muestre que todo
homeomorfismo local f : X Ñ Y es una aplicación continua y abierta
(80) Recuerde que un conjunto D Ă X de un espacio métrico se dice denso si
D “ X. Muestre que si U Ă X es un abierto y D Ă X es denso, entonces
D X U es denso en pU, dU q.
8 F. RIQUELME

(81) Muestre que si D Ă X es denso en X y f : X Ñ Y es una aplicación

continua y sobreyectiva, entonces f pDq es denso en Y .
(82) Muestre que todo subconjunto discreto de Rn dotado con la métrica usual
es numerable. Muestre luego que si C Ă Rn es no numerable, entonces
existe un punto x0 P C tal que para todo r ą 0 se tiene C X Bpx0 , rq es no
numerable.
(83) Muestre que f : X Ñ Y es un homeomorfismo si y solamente si f pAq “
f pAq para todo A Ă X.
(84) Sea pAα qαPA una familia de subconjuntos de un espacio métrico X con la
siguiente propiedad: existe ε ą 0 tal que si β ‰ γ, entonces dpAβ , Aγ q ě ε.
Muestre que
ď ď
Aα “ Aα .
αPA αPA
(85) Sean S Ă X dos conjuntos arbitrarios. Pruebe que ZS “ tf : X Ñ
R acotada, f pSq “ 0u es un subconjunto cerrado de BpX, Rq dotado con la
métrica del supremo.
(86) Sea X un espacio métrico y D Ă X denso y numerable. Pruebe que para
todo S Ă X existe un conjunto DS Ă S numerable y denso.
(87) Sea G Ă R un subgrupo aditivo de los números reales. Pruebe que o bien
G es discreto en R o bien G es denso en R.

4. Sucesiones
(88) Dada una isometrı́a f : X Ñ X defina para x0 P X la sucesión recursiva
xn`1 “ f pxn q para cada n ě 0. Si f px0 q ‰ x0 , muestre que pxn qn no
converge.
(89) Sea f : X Ñ X una función L-Lipschitz con L ă 1. Asuma la existencia
de un punto x0 P X tal que f px0 q “ x0 . Muestre que para todo x P X la
sucesión definida por xn “ f n pxq converge a x0 .
(90) Sea N “ N1 Y N2 donde N1 y N2 son subconjuntos infinitos de N. Sea pxn qn
una sucesión en un espacio métrico pX, dq tal que
lim xn “ x0 y lim xn “ x0 .
nPN1 nPN2

Muestre que pxn qn converge a x0 .

(91) Dado un conjunto numerable N Ă X de un espacio métrico, construya una
sucesión pxn qn en X tal que todo punto en N es un punto lı́mite de la
sucesión (lı́mite de alguna subsucesión).
(92) Sea A Ă R conjunto acotado. Muestre que existen sucesiones pxn qn y pyn qn
en A tal que
lim xn “ infpAq y lim yn “ suppAq.
nÑ8 nÑ8

(93) Sea C Ă Rn cerrado y acotado. Muestre que toda función continua f :

C Ñ R es acotada.
(94) Sea D Ă X denso en un espacio métrico. Dada una sucesión pxn qn Ă X
suponga que existe x P X tal que
lim dpxn , zq “ dpx, zq
nÑ8

para todo z P D. Pruebe que pxn qn converge a x.

 GUÍA ESPACIOS MÉTRICOS (IMA 1401) 9

(95) Pruebe que la sucesión de funciones fn pxq “ 1{p1 ` nxq converge puntual-
mente pero no uniformemente en r0, 1s.
(96) Pruebe que la sucesión de funciones fn pxq “ nxp1 ´ xqn converge puntual-
mente pero no uniformemente en r0, 1s.
(97) Sea X “ C 1 pr0, 1s, Rq el espacio de funciones diferenciables con derivada
continua en el intervalo r0, 1s. Considere la norma
}f } “ sup p|f pxq| ` |f 1 pxq|q,
xPr0,1s

y su respectiva distancia inducida d en X. Muestre que limnÑ8 fn “ f es

equivalente a que pfn qn y pfn1 qn converjan uniformemente en r0, 1s a f y f 1
respectivamente. ř
(98) Sea pan qn una sucesión de números reales positivos tal que ně1 an ă 8.
Sea pxn qn Ă X una sucesión de puntos en un espacio métrico pX, dq tal
que para todo n ě 1 se tiene dpxn`1 , xn q ď an . Muestre ř que pxn qn es una
sucesión de Cauchy. Muestre también que la hipótesis ně1 an ă 8 es
necesaria.
(99) Una sucesión pxn qn puede interpretarse como una función f : N Ñ X donde
f pnq “ xn . Muestre que si pX, dq es un espacio métrico, entonces el conjunto
de sucesiones de Cauchy en BpN, Xq dotado con la métrica del supremo es
cerrado. Muestre que si X “ V es un espacio vectorial normado, y d es
la distancia inducida por la norma, entonces el conjunto de sucesiones de
Cauchy es un subespacio vectorial cerrado de BpN, V q.

5. Completitud
(100) Sea pX, dq un espacio métrico y X1 , . . . , Xn ĂŤnX una colección finita de
subespacios métricos completos. Muestre que n“1 es completo.
(101) Sea pX, dq un espacio métrico y pXα qαPA Ş una colección arbitraria de sube-
spacios métricos completos. Muestre que αPA Xα es completo.
(102) Sea pY, dq un espacio métrico. Muestre que si existe un conjunto X tal que
BpX, Y q es completo, entonces Y es completo.
(103) Sea pY, dq un espacio métrico completo. Muestre que el conjunto de suce-
siones acotadas que no son convergentes en Y forma un conjunto abierto y
denso en el espacio BpN, Y q.
(104) Sea pV, } ¨ }q un espacio de Banach.
ř Sea W el espacio vectorial de todas las
sucesiones pxn qn en V řtales que xn es normalmente convergente. Pruebe
que la norma }x}S “ }xn } convierte a S en un espacio de Banach.
(105) Sea X “ C 1 pr0, 1s, Rq el espacio vectorial de todas las funciones f : r0, 1s Ñ
R que son continuamente diferenciables. Pruebe que
}f } :“ sup p|f ptq| ` |f 1 ptq|q
tPr0,1s

convierte a X en un espacio de Banach.

(106) Sea pX, dq un espacio métrico completo, k ą 1 y f : X Ñ X una aplicación
sobreyectiva. Suponga que para todo x, y P X se tiene dpf pxq, f pyqq ě
kdpx, yq. Muestre que existe un único punto x0 P X tal que f px0 q “ x0 .
(107) Sean X y Y dos espacios métricos, donde Y es completo. Suponga que
fn : X Ñ Y converge uniformemente en un subconjunto A Ă X. Pruebe
que pfn qn converge uniformemente en A.
10 F. RIQUELME

(108) Sea f : A Ñ Y función definida en un subconjunto denso A de un espacio

métrico X, y que toma valores en un espacio métrico completo Y . Sea D
el conjunto de puntos x P X tales que existe el lı́mite limaÑx f paq. Pruebe
que D es intersección numerable de conjuntos abiertos en X.
(Hint: Considere el conjunto Xn Ă X definido por Xn “ tx P X : Dδ ą
0 tal que diampf pBpx, δq X Aqq ă 1{nu).
(109) Sea A Ă X un subconjunto propio de un espacio métrico X que no es
intersección numerable de abiertos en X. Considere la aplicación identidad
f : A Ñ A. Concluya que el ejercicio anterior resulta falso sin la hipótesis
de completitud en A.
(110) Sea CnŞĂ R definido por rn, `8q para cada n ě 1. Pruebe que Cn`1 Ă Cn
y que ně1 Cn “ H.
(111) Sea pX, dq un espacio métrico completo numerable. Pruebe que el conjunto
de puntos aislados en X es un conjunto abierto y denso en X.
(112) Sea pX, dq un espacio métrico completo, pV, } ¨ }q un espacio vectorial nor-
mado y V un conjunto de aplicaciones continuas f : X Ñ V . Asuma que
V es puntualmente acotado, es decir que para cada x P X existe cx ą 0 tal
que para todo f P V, se tiene
}f pxq} ď cx .
Muestre que existe un abierto U Ă X tal que V es uniformemente acotado
en U , es decir que existe una constante c ą 0 tal que }f pxq} ď c para todo
x P U . Para ello considere lo siguiente:

(a) Para cada n ě 1, defina

Fn “ tx P X : }f pxq} ď n, para todo f P Vu.
Muestre que Fn esŤcerrado en X.
(b) Muestre que X “ ně1 Fn .
(c) Muestre que existe N ě 1 tal que intpFN q ‰ H.
IMA, Pontificia Universidad Católica de Valparaı́so, Blanco Viel 596, Cerro Barón,
Valparaı́so, Chile.
E-mail address: felipe.riquelme@pucv.cl
URL: http://ima.ucv.cl/academicos/felipe-riquelme/