Universidad de la República

Introducción a la Topología–Curso 2023

Facultad de Ciencias
Centro de Matemática

Práctico 8

1. Averiguar cuáles de las siguientes funciones son uniformemente continuas:

a) f (x) = x2 definida en (i) R; (ii) [0, 1].

b) f (x) = 1/x definida en (i) (0, +∞); (ii) [1, +∞).
c) f (x) = sen(x) definida en R.

2. La composición y el límite uniforme de funciones uniformemente continuas también son

uniformemente continuas.

3. Dos distancias d y d′ en un conjunto E son uniformemente equivalentes si la identidad

Id : (E, d) → (E, d′ ) y su inversa son ambas uniformemente continuas. Probar que:

a) Si αd ≤ d′ ≤ βd para ciertas α, β > 0, entonces d y d′ son uniformemente equivalentes.

b) d y d′ son uniformemente equivalentes, entonces (E, d) es completo si y sólo si (E, d′ )
es completo.

4. Sean E y F espacios métricos, con F completo, D un subconjunto denso de E, y f : D → F

una función que es uniformemente continua en cada subconjunto acotado de D. Probar
que entonces f tiene una única extensión continua a una función f˜ : E → F , y que dicha
extensión también es uniformemente continua en cada subconjunto acotado de E.

5. Dar un ejemplo de dos espacios métricos homeomorfos cuyas completaciones no lo sean.

6. a) Sean λ ∈ (0, 1) y fλ : [0, ∞) → R tal que fλ (t) = λt + 1 − λ − tλ . Probar que el mínimo

de fλ es 0, y se alcanza en t = 1. Deducir que si a, b ≥ 0 entonces aλ b1−λ ≤ λa+(1−λ)b,
con igualdad exactamente cuando a = b.
b) Sean p, q ∈ (1, ∞) tales que p1 + 1q = 1. Dado z := (z1 , . . . , zn ) ∈ Cn , se define
P 1/p
n p
∥z∥p := j=1 |zj | . Probar que si z, w ∈ Cn , entonces
1. Desigualdad de Hölder:
|⟨z, w⟩| ≤ ∥z∥p ∥w∥q , donde ⟨z, w⟩ := nj=1 zj w̄j (sugerencia: si z ̸= 0 ̸= w, aplicar
P
z w
la desigualdad previa con a = ∥z∥j p y b = ∥w∥j q , y luego sumar en j).
2. Desigualdad de Minkowski:
∥z + w∥p ≤ ∥z∥p + ∥w∥p . Concluir que z 7→ ∥z∥p es una norma en Cp .
c) Mostrar que las desigualdades anteriores valen también para p = 1, q = ∞.
d ) Probar que ∥ ∥p es una norma en Cn , ∀p ∈ [1, ∞].
e) Sean (E1 , d1 ), . . . , (En , dn ) espacios métricos, y sea E = nj=1 Ej . Si p ∈ [1, ∞], se
Q
define dp : E × E → R como


dp (z1 , . . . , zn ), (w1 , . . . , wn ) := ∥ d1 (z1 , w1 ), . . . , dn (zn , wn ))∥p .

Probar que dp es una métrica en E, y que ∀p, p′ ∈ [1, ∞] existen α, β > 0 tales que
αdp ≤ dp′ ≤ βdp (luego dp y dp′ son uniformemente equivalentes según el Ejercicio 3).

1
 7. Se define ℓ∞ := {x : N → C : ∥x∥∞ := supn∈N |xn | < ∞}. Explicar por qué ℓ∞ es un
espacio de Banach (recordar que Fb (S, E) es completo si E lo es). Deducir que si a ∈ C,
entonces
Ea := {x ∈ ℓ∞ : lı́m xn = a}
n→∞
es un espacio métrico completo con ∥ ∥∞ .

8. Si p ∈ [1, ∞), se define ℓp := {x : N → C : p p

P
n∈N |xn | < ∞}, y si x ∈ ℓ , se define
p 1/p
. Probar que ∥ ∥p es una norma en ℓp , con la cual ℓp es un espacio
P

∥x∥p := n∈N |xn |
de Banach.

9. Sea cF := {x : N → C : ∃nx ∈ N tal que xn = 0 ∀n ≥ nx }, el espacio de las sucesiones

finitas complejas. Es claro que cF está incluido en ℓp , ∀p ∈ [1, ∞]. Calcular la completación
de (cF , ∥ ∥p ), ∀p ∈ [1, ∞].

10. Sean f, g : R → R dadas por f (x) = cos(cos(x)) y g(x) = cos(x). Probar que f es una
contracción, pero que g no lo es. Demostrar que, de todos modos, g tiene un único punto
fijo a, y que lı́mn g n (x) = a, ∀x ∈ R.

11. Sea T : C[0, 1] → C[0, 1] la aplicación dada por


2 1
 3 + 3 f (3x)
 para 0 ≤ x ≤ 13
T f (x) := (2 + f (1))( 23 − x) para 13 ≤ x ≤ 23

(x − 32 ) para 23 ≤ x ≤ 1


a) Comprobar que T f ∈ C[0, 1] ∀f ∈ C[0, 1], y probar que T es una contracción.

1
b) Bosquejar el punto fijo de T con una precisión (uniforme ) de 40 (sugerencia: calcular
T 4 f para f = 1).

12. Sean E un espacio métrico acotado y completo y Γ(E) := {T : E → E : T es una contracción}.

Consideramos en Γ(E) la distancia dsup . Se define ϕ : (Γ(E), dsup ) → (E, d) tal que
ϕ(T ) = xT , donde xT es el punto fijo de T . Probar que ϕ es una función continua.

13. Si (Fn ) es una sucesión de conjuntos cerrados en el espacio de Baire X, tal que X = ∪n Fn ,
entonces A := ∪n Fn◦ es un subconjunto abierto denso en X (usar que cada subconjunto
abierto no vacío de un espacio de Baire también es de Baire).

14. Sean X un espacio de Baire, M un espacio métrico, y {fn : X → M } una sucesión de

funciones continuas tales que para todo x ∈ X existe f (x) := lı́mn fn (x).

a) Para k, m, n ∈ Z+ , sean Fm,n

k := {x ∈ X : d(fm (x), fn (x)) ≤ k1 } y Fm
k := ∩ k
n≥m Fm,n .
k
Probar que Fm,n y Fm k son cerrados, y que ∪ k
m≥1 Fm = X.

b) Sean Ak := ∪m≥1 (Fmk )◦ y D := ∩

k≥1 Ak . Probar que D es un subconjunto denso de X
y, más aún, de complemento magro (usar el Ejercicio 13), y que f es continua en D.

15. Si f : R → R es una función derivable en cada punto, mostrar que su derivada f ′ es continua
en un subconjunto denso de R (sugerencia: usar el Ejercicio 14).

Entregar los Ejercicios 1.a) y 12. Fecha límite: miércoles 21 de junio.