Pontificia Universidad Católica de Chile, Facultad de Matemáticas, Departamento de Matemáticas

MAT2515, MAT251I, Analisis Real

Interrogación 1, 12.09.2023
Tiempo: 2 horas
Permitido: Una hoja de apuntes, (una hoja sola), formato A4 o carta, escrito por ambos lados

Problema 1. (9 pt.) Supongamos que para cada n ∈ N tenemos un espacio métrico (Xn , dn ). Estudiaremos una
función de distancia en el espacio producto
∞
Y
Z = Xn = X1 × X2 × · · · × Xn × · · ·
n=1

a) (1 pt.) Pruebe que para cada n ∈ N la función d¯n (a, b) = min{1, dn (a, b)}, a, b ∈ Xn , define una métrica en
Xn .
b) (2 pt.) Demuestre que la toplogı́a inducida de d¯n es la misma que la topologı́a inducida de dn , es decir,
demuestre que Tdn = Td¯n .
c) (1.5 pt.) Para cada par de puntos x = (xn )n∈N ∈ Z , y = (yn )n∈N ∈ Z definimos

d¯n (xn , yn )
¯
d1 (x1 , y1 ) d¯2 (x2 , y2 ) d¯3 (x3 , y3 )

d∞ (x, y) = sup = sup , , ;···
n∈N 2n 2 22 23

Demuestre que d∞ es una métrica en Z.

1
d) (1.5 pt.) Pruebe que dado x = (xn )n∈N ∈ Z y r ≤ 2 existe s ∈ N tal que
∞
Y
Br (x) = B211 r (x1 ) × B222 r (x2 ) × ··· × B2ss r (xs ) × Xk
k=s+1

donde Bεj (xj ) es la bola abierta con centro xj y radio ε en (Xj , dj ).

e) (3 pt.) Sea A ⊂ Z. Demuestre que x = (xn )n∈N ∈ Å (el interior de A) si y solamente si existe s ∈ N y
existen O1 ⊂ X1 , O2 ⊂ X2 , . . . Os ⊂ Xs abiertos tal que
∞
Y
x ∈ O1 × O2 × · · · × Os × Xk ⊂ A .
k=s+1

Solución
a) Sean a, b, c ∈ Xn . Tenemos
d¯n (a, b) = min{1, dn (a, b)} ≥ 0. (0.25 pt)
d¯n (a, b) = 0 ⇔ dn (a, b) = 0 ⇔ a = b (0.25 pt)
Nota d¯n (a, c) ≤ 1, y d¯n (a, c) ≤ dn (a, c) ≤ dn (a, b) + dn (b, c). Por lo tanto:

d¯n (a, c) ≤ min{1 + 1, dn (a, b) + 1, 1 + dn (b, c), dn (a, b) + dn (b, c)} ≤ d¯n (a, b) + d¯n (b, c) (0.5 pt)

b) Sea Brd (x) la bola abierto referente la métrica d con radio r y centro x.
¯
Nota, para r ≤ 1 tenemos Brdn (x) = Brdn (x). (idea clave: 1pt)
d
Ademas nota que Bmin(r,1) (x) ⊂ Brd (x), asi, si existe una bola abierta con centro x que es subconjunto de O,
entonces existe una bola abierta con radio menor igual que 1. (reducir a bolas de radio ≤ 1, 0.5 pt; es suficiente
escribir que se puede restringir a r ≤ 1 sin perder generalidad.)
Por lo tanto:
O ∈ Tdn ⇔ ∀x ∈ O ∃r > 0 : Brdn (x) ⊂ O ⇔ ∀x ∈ O ∃r ∈ (0, 1] : Brdn (x) ⊂ O

1
 ¯ ¯
⇔ ∀x ∈ O ∃r ∈ (0, 1] : Brdn (x) ⊂ O ⇔ ∀x ∈ O ∃r > 0 : Brdn (x) ⊂ O ⇔ O ∈ Td¯n
(finalizar argumento: 0.5 pt)
Formulación alternativa por dos direcciones:
¯
Sea O ∈ Tdn , x ∈ O, entonces ∃r > 0 : Brdn (x) ⊂ O, toma ε = min{1/2, r} y tenemos Bεdn (x) = Bεdn (x) ⊂
Brdn (x) ⊂ O. Este ε > 0 existe para para todo tal x, ası́ O ∈ Td¯n . (1 pt.)
¯ ¯
Sea O ∈ Td¯n , x ∈ O, entonces ∃r > 0 : Brdn (x) ⊂ O, nota d¯n (a, b) ≤ dn (a, b), por lo tanto Brdn (x) ⊂ Brdn (x) ⊂ O.
Eso para cualquier x ∈ O, asi O ∈ Tdn . (1 pt.)
c) nota d∞ (x, y) ≥ 0 0.25 pt.
d∞ (x, y) = 0 ⇔ ∀n ∈ N : dn (xn , yn ) = 0 ⇔ ∀n ∈ N : xn = yn ⇔ x = y (0.25 pt.)
Con a) tenemos
d∞ (x, z) = sup 2−n d¯n (xn , zn ) ≤ sup 2−n d¯n (xn , yn ) + d¯n (yn , zn )


n∈N n∈N
−n
≤ sup 2 d¯n (xn , yn ) + sup d¯n (yn , zn ) = d∞ (x, y) + d∞ (y, z)
n∈N n∈N

donde usamos supn (an + bn ) ≤ supn an + supn bn . (para desigualdad triangular 1 pt.)
d) Sea 0 < r ≤ 21 , ∃s ∈ N : 2s r ≤ 1 < 2s+1 r. (obtener s, 0.5 pt.) Usando d¯n (a, b) ≤ 1, y d¯n (a, b) = dn (a, b) en
caso d¯n (a, b) < 1, tenemos

y ∈ Br (x) ⇔ d∞ (x, y) < r ⇔ sup 2−n d¯n (xn , yn ) < r ⇔ ∀n ∈ {1, 2, . . . , s} : d¯n (xn , yn ) < 2n r
n∈N

∞
Y
n
⇔ ∀n ∈ {1, 2, . . . , s} : dn (xn , yn ) < 2 r ⇔ y ∈ B211 r (x1 ) × B222 r (x2 ) × ··· × B2ss r (xs ) × Xk
k=s+1

eso demuestre la aserción querida. (concluir: 1 pt.)

e) “⇒”
Sea x ∈ A, entonces existe r > 0 tal que Br (x) ⊂ A, sin perder generalidad r ≤ 1
2 (si no, toma r′ = min{1/2, r}).
(0.5 pt.) Por d) ∃s ∈ N tal que
∞
Y
x ∈ Br (x) = B211 r (x1 ) × B222 r (x2 ) × · · · × B2ss r (xs ) × Xk ⊂ A .
k=s+1

Asi tenemos la propiedad deseada con Ok = B2kk r para k = 1, 2, . . . , s. (concluir: 1 pt.)

“⇐”
∞
Y
Sea x ∈ O1 × · · · × Os × Xk ⊂ A donde Ok ⊂ Xk es abierto. Nota, xk ∈ Ok , donde x = (xk )k . Como Ok es
k=s+1
abierto, existe rk > 0 tal que xk ∈ Brkk (xk ) (0.5pt). Toma

rs
 
1 r1 r2
r = min , , 2,..., s > 0 (construir r, 0.5 pt.)
2 2 2 2

entonces r ≤ 12 , 2k r ≤ rk para todo k = 1, 2, . . . , s. Por lo tanto con d)

s
Y ∞
Y s
Y ∞
Y s
Y ∞
Y
x ∈ Br (x) = B2kk r (xk ) × Xk ⊂ Brkk (xk ) × Xk ⊂ Ok × Xk ⊂ A
k=1 k=s+1 k=1 k=s+1 k=1 k=s+1

y x ∈ Å. (concluir: 0.5 pt.)

2
Problema 2. (6 pt.) Sea C([0, 1]) el conjunto de funciones continuas

de [0, 1] a R. Para f, g ∈ C([0, 1]) definimos
d(f, g) := max{|f (x) − g(x)| : 0 ≤ x ≤ 1}. C([0, 1]), d es un espacio métrico (no se necesita probar eso).
Demuestre que el conjunto  
∞  
 X 1 
A := f ∈ C([0, 1]) : f ≤ 1
 j 
j=1

es cerrado y tiene interior vacı́o.

Solución
A es cerrado: Sean fn ∈ A, n ∈ N con fn → f ∈ C([0, 1]). Tenemos que probar que f ∈ A. (0.5 pt.)
Nota, para x ∈ [0, 1] tenemos |f (x) − fn (x)| ≤ d(f, fn ) → 0, por lo tanto f (x) = limn→∞ fn (x). (argumentar
convergencia puntual 0.5 pt.)
Para todo N ∈ N tenemos:
N   N   N  
X 1 X 1 X 1
f = lim fn = lim fn ≤ 1 (cortar suma a suma finita y tomar limite 1 pt.)
j n→∞ j n→∞ j
j=1 j=1 j=1

Con eso
∞   N  
X 1 X 1
f = lim f ≤ 1
j N →∞ j
j=1 j=1

es decir, f ∈ A, y A es cerrado. (concluir: 1 pt.).

   P∞   1 
CUIDADO: en general ∞ 1
P
j=1 f j ̸
= limn→∞ j=1 fn j , no se puede intercambiar limites

A tiene interior vacı́o: Nota para f ∈ A se tiene f (0) = limj→∞ f (1/j) = 0 (para que la suma converge). (idea
clave: 1 pt.) Ahora sea f ∈ A, ε > 0 y sea g(x) = f (x) + ε/2. Entonces d(f, g) = ε/2 < ε y por lo tanto g ∈ Bε (f ).
Por otro lado, g(0) = f (0) + ε/2 = ε/2 ̸= 0, por lo tanto, g ̸∈ A. (construir g ∈ Bε (f ) \ A, 1 pt.)
Por lo tanto, ∀ε > 0, Bε (f ) ̸⊂ A, y por eso f ̸∈ Å, para todo f ∈ A. Entonces, Å = ∅. (concluir: 1 pt.)

Problema 3. (6 pt.) Sea f : R → R una función estrictamente creciente, es decir a > b ⇒ f (a) > f (b). En
R se considera la función de distancia canónica ρ(x, y) = |x − y| y la función de distancia d(x, y) = |f (x) − f (y)|.
(No se necesita probar que esos son funciones de distancia).
Demuestre que (R, d) es completo si y solamente si f es continua y sobreyectiva.
Indicaciones: Para probar continuidad de f es suficiente considerar sucesiones monótonas (limx→a+ , limx→a− ); se
puede usar que (R, ρ) es completo y que sucesiones monótonas y acotadas convergen en (R, ρ).

Solución
Empezamos con “⇐”. (este dirección da 2 pt.)
Sea f sobreyectiva, (de hecho, continua
no se necesita para este dirección); sea (xn )n Cauchy en (R, d). Por
definición de d, eso significa que f (xn ) n es Cauchy en (R, ρ), que es completo, por lo tanto f (xn ) → y ∈ R.
(1 pt.)
Como f es sobreyectiva, existe x ∈ R tal que f (x) = y. Pero eso significa d(xn , x) = |f (xn ) − f (x)| → 0 y por lo
tanto (xn )n → x en (R, d). Ası́, (R, d) es completo. (1 pt.)
Alternativa: Como f es estrictamente creciente,
f es inyectiva. Si f es tb. sobreyectiva, tenemos que f es
biyectiva. (1 pt.). Como d(x, y) = ρ f (x), f (y) tenemos que f es una isometria de (R, d) a (R, ρ). Como (R, ρ)
es completo, (R, d) tambien lo es. (1 pt.)
“⇒” (este dirección da 4 pt.; 2pt. para continuidad y 2 pt. para sobreyectividad)
Primero veamos que f es continua en x para cualquier x ∈ R

3
Sea xn ↗ x, y sea yn ↘ x, en (R, ρ), es decir xn es creciente y converge x, yn es decreciente y converge a x, en
(R, ρ). Necesitamos ver f (xn ) → f (x) y f (yn ) → f (x) en (R, ρ), que significa d(xn , x) → 0 y d(yn , y) → 0, que es
equivalente a xn → x y yn → x en (R, d). (0.5pt.)
Como f es creciente, (f (xn ))n es creciente y acotado y (f (yn ))n es decreciente y acotado, por lo tanto los dos
convergen y son sucesiones de Cauchy en (R, ρ) (0.5 pt). Por lo tanto, (xn )n , (yn )n son Cauchy en (R, d) que
asumimos que es completo, por eso convergen, xn → z1 , y → z2 en (R, d). (0.5 pt.).
Eso significa f (xn ) → f (z1 ), f (yn ) → f (z2 ) en (R, ρ) Por monotonia de sucesiones y como f (xn ) < f (yn ), tenemos

f (xn ) ≤ f (z1 ) ≤ f (z2 ) ≤ f (yn ) que implica x n ≤ z1 ≤ z2 ≤ yn

para todo n ∈ N. Con n → ∞ en (R, ρ) eso da x = z1 = z2 (0.5 pt.)

Veamos que f es sobreyectivo:
Como f es continua y creciente es suficiente ver que lim f (n) = ∞, y, lim f (−n) = −∞. Sobreyectividad sigue
n→∞ n→∞
por el teorema

de valor intermedio. (0.5 pt.)
Nota, f (n) n es creciente, asumimos que no va a infinito. Por lo tanto es una sucesión acotado y converge
referente ρ. Pero eso significa que es una sucesión Cauchy y por lo tanto, la sucesión (n)n∈N es Cauchy en (R, d)
y tiene limite z. (0.5 pt.).
Eso significa, con monotonı́a, que f (n) ↗ f (z) en (R, ρ) y por lo tanto f (z) ≥ f (n), y, z ≥ n, para todo n ∈ N.
No existe un z ∈ R con este propiedad, tenemos una contradicción!. Entonces, f (n) → ∞. (0.5 pt.).
La prueba de f (−n) → −∞ es completamente analogo. (0.5 pt.)