ESPACIOS DE FUNCIONES CON LA

MÉTRICA UNIFORME
David Meza y Fernando Nuñez

9 de octubre de 2024

NOTAS

Ahora veremos nuevos ejemplos de espacios métricos, que se obtienen al

considerar funciones que comparten dominio y codominio, en las que éste último
es un espacio métrico.
Sean A, B conjuntos. Denotamos con B A a la familia de todas las funciones
que van de A en B. De manera natural, el producto cartesiano B n se identifica
con el conjunto de funciones B In , donde In es cualquier conjunto con n elementos.
Análogamente, B N es el conjunto de todas las sucesiones de elementos de B.
Recordemos que si (Y, d) es un espacio métrico y f : X → Y , decimos que f
es acotada si su imagen lo es, como subconjunto de Y , es decir, existen y ∈ Y
y M > 0 tales que para todo x ∈ X, d(f (x), y) ≤ M . Si f y g son funciones
acotadas de X en Y , entonces podemos definir una distancia entre ellas (ver
ejercicios 1 y 2) por

dsup (f, g) = sup{d(f (x), g(x)) : x ∈ X},

la cual es llamada la métrica uniforme o métrica del supremo. Claramente,

dsup no tiene por qué tomar valores finitos cuando alguna de las funciones es
no acotada. Por esta razón, la métrica del supremo sólo es métrica cuando la
consideramos en el conjunto B(X, Y ) = {f ∈ Y X : f es acotada}. En ocasiones
B(X, Y ) = Y X , un caso muy popular es cuando Y es compacto.
Visualmente, podemos imaginarnos a la vecindad de radio  alrededor de f
como un tubo de grosor  en cuyo centro va la gráfica de nuestra f . Formalmente,

B (f ) = {g ∈ B(X, Y ) : (∀x ∈ X)d(f (x), g(x)) < }.

1
 Esta visión tubular de las vecindades nos permite entender por qué la métrica
recibe el nombre de uniforme: la razón es que para que una función acotada g
esté -cerca de f , debe estarlo uniformemente, es decir, todos los valores de g(x)
deben ser próximos a los de f (x). Es claramente una noción cercana en espíritu
a la de continuidad uniforme.
Una familia de funciones F ⊆ B(X, Y ) también puede quedar acotada en
el sentido de esta métrica. Se dice que F es uniformemente acotada si existen
y ∈ Y y M > 0 tales que para toda f ∈ F y toda x ∈ X, d(f (x), y) ≤ M .
La topología inducida por la métrica uniforme determina una noción de
convergencia de sucesiones. En este caso, la noción de convergencia determinada
también lleva este apellido.
Definición. Sea {fn : n ∈ N} una sucesión de funciones en Y X , y f ∈ Y X .
Decimos que (fn )n converge uniformemente a f si para cada  > 0 existe N ∈ N
tal que para todo n ≥ N , y para todo x ∈ X, ocurre que d(fn (x), f (x)) < .
Observa que en particular, si fn converge a f entonces para cada x ocurre
que la sucesión {fn (x) : n ∈ N} (la cual es una sucesión en Y ), es convergente a
f (x). Esto nos da una pista sobre cómo encontrar el límite (uniforme) de una
sucesión de funciones, aunque esto no siempre funciona.
Definición. Sea {fn } una sucesión de funciones de un conjunto X en un
espacio métrico (Y, d). Suponiendo que para cada x en X, la sucesión {fn (x)}
converge en Y , y definiendo f (x) = lı́mn→∞ fn (x), se dice que fn converge
puntualmente a f .
Entonces, claramente el límite uniforme de una sucesión de funciones es
también su límite puntual, pero lo inverso suele no ser cierto. Estas nociones son
realmente diferentes, incluso a nivel topológico, lo cual es más general que a nivel
métrico. La topología determinada por la convergencia puntual es compatible
con la topología producto (más información sobre ella en un curso de topología).
El siguiente criterio nos permite decidir si una sucesión de funciones que
tiene un límite puntual conocido, tiene de hecho un límite uniforme, el cual
obviamente debe ser igual a este límite puntual. Además, este criterio expresa
que la convergencia uniforme es de hecho la noción correcta de convergencia de
sucesiones en el contexto de los espacios de funciones con la métrica del supremo.
Criterio de convergencia uniforme. Sean X un conjunto, (Y, d) un es-
pacio métrico, (fn )n∈N una sucesión de funciones de X en Y y f : X −→ Y
función. La sucesión (fn )n∈N converge uniformemente a f si y sólo si la sucesión

2
 Mn = sup{d(fn (x), f (x)) : x ∈ X, m ≥ N }

converge a cero.
Cuando el contradominio es un espacio métrico completo, la métrica uniforme
también es una métrica completa, pues vale el siguiente criterio de Cauchy:
Criterio de Cauchy. Sean X un conjunto, (Y, d) un espacio métrico com-
pleto y (fn )n∈N una sucesión de funciones de X en Y . La sucesión (fn )n∈N es
uniformemente convergente si y sólo si para cada  > 0 existe N tal que para
cualesquiera n, m ≥ N y cualquier x ∈ X, d(fn (x), fm (x)) < .
El ámbito de las series, las cuales sabemos que tienen sentido en R, C o
n
R , se puede ampliar a los espacios de funciones, de la manera usual: Sean
X un conjunto, (Y, d) un espacio métrico completo y (fn )n∈N una sucesión de
funciones de X en Y . La serie Σfn converge uniformemente a una función f si
la sucesión sn = Sigmani=1 fi converge uniformemente a f .
Criterio de convergencia uniforme de series. Sean X un conjunto,
Y = R, C o Rn , y (fn )n∈N una sucesión de funciones de X en Y La serie Σfn
converge uniformemente si y sólo si, existe una sucesión de reales positivos Mn
tal que para cada  > 0 y cada x ∈ X |fn (x)| ≤ Mn , y la serie ΣMn converge.

EJERCICIOS

Entrega los ejercicios según la inicial de tu primer apellido, de ambas listas

(prácticos y teóricos).

A - C ejercicios 10 y 11
D - F ejercicios 9 y 15
G - L ejercicios 8 y 14
M - S ejercicios 7 y 13
T - Z ejercicios 6 y 12.

1. Sean X un conjunto y Y un espacio métrico. Si X es finito, digamos

|X| = In , entonces B(X, Y ) es homeomorfo a Y n (= Y × · · · × Y n-veces).

2. Sea Y espacio métrico. Consideremos B(N, Y ) el espacio de sucesiones

acotadas en Y y z ∈ Y . Prueba que el conjunto de sucesiones convergentes
a z es cerrado.

3
3. Sea Y un espacio métrico. Para dos sucesiones (xn )n∈N , (yn )n∈N ∈ B(N, Y )
escribiremos (xn )n∈N ∼ (yn )n∈N si

lı́m dY (xn , yn ) = 0.
n→∞

Prueba que ∼ es una relación de equivalencia en B(X, Y ) cuyas clases son

conjuntos cerrados.

4. Sea Y espacio métrico. Sea C ⊆ B(N, Y ) el conjunto de sucesiones de

Cauchy en Y . Prueba que C es cerrado.

5. Sea Y un espacio métrico. Para a ∈ Y y m ∈ N definimos

−1
πm (a) = {(xn )n∈N ∈ B(N, Y ) : xm = a}.

Prueba que este es un subconjunto cerrado de B(N, Y ).

6. Sea m ∈ N, definimos fm : [0, 1] −→ R tal que para cada x ∈ [0, 1],

fm (x) = xm .

¿La sucesión (fm )m∈N converge puntualmente a alguna función? ¿Converge

uniformemente?

7. Sea m ∈ N, definimos fm : [0, 2π] −→ R tal que para cada x ∈ [0, 2π],
x
fm (x) = m sin( ).
m
¿La sucesión (fm )m∈N converge puntualmente a alguna función? ¿Converge
uniformemente?

8. Sea m ∈ N, definimos fm : N −→ R tal que para cada n ∈ N,

n
fm (n) = .
m
¿La sucesión (fm )m∈N converge puntualmente a alguna función? ¿Converge
uniformemente?

9. Sea m ∈ N, definimos fm : R+ ∪ {0} −→ R tal que para cada x ≥ 0


1


 m2 x si 0 ≤ x ≤ m

fm (x) = 2m − m2 x si m 1 2
≤x≤ m


si 2 ≤ x

0
m

¿La sucesión (fm )m∈N converge puntualmente a alguna función? ¿Converge

uniformemente?

4
10. Sea m ∈ N, definimos fm : R −→ R tal que para cada x ∈ R

0

 si x ≤ 0

fm (x) = mx si 0 ≤ x ≤ m 1


si 1 ≤ x

1
m

¿La sucesión (fm )m∈N converge puntualmente a alguna función? ¿Converge

uniformemente?

11. ¿Es posible encontrar una sucesión de funciones de R en R NO acotadas

que converjan puntualmente a una función acotada?

12. ¿Es posible encontrar una sucesión de funciones de R en R acotadas que

converjan puntualmente a una función NO acotada?

13. ¿Es posible encontrar una sucesión de funciones de R en R continuas que

converjan puntualmente a una función NO continua?

14. ¿Es posible encontrar una sucesión de funciones de R en R continuas que

converjan uniformemente a una función NO continua?

15. ¿Es posible encontrar una sucesión de funciones de R en R no continuas

que converjan puntualmente a una función continua?

16. Sea X conjunto, Y espacio métrico (fm )m∈N una sucesión de funciones de X
en Y y f : X −→ Y función. Prueba que (fm )m∈N converge uniformemente
a f si y sólo si para toda  existe N ∈ N tal que

sup{dY (f (xm ), f (x)) : x ∈ X, m ≥ N } < .

17. Sean X un conjunto, Y un espacio métrico, (fm )m∈N una sucesión de

funciones de X en Y y f : X −→ Y función. Prueba que (fm )m∈N
converge uniformemente a f si y sólo si

lı́m (sup{dY (fn (x), f (x)) : x ∈ X}) = 0.

n→∞

18. Sea X conjunto, Y espacio métrico, (fm )m∈N ⊆ B(X, Y ) una sucesión y
f ∈ B(X, Y ). Prueba que (fm )m∈N converge uniformemente a f si y sólo
si

5
 lı́m fn = f .
n→∞

Nota. Observa que el límite anterior se está considerando en el espacio

(B(X, Y ), dsup ). Así, la convergencia uniforme de sucesiones acotadas es
simplemente la convergencia en el espacio B(X, Y ) equipado con dsup .

19. Sean X un conjunto, Y un espacio métrico, (fm )m∈N ⊆ B(X, Y ) una

sucesión. Prueba que si (fm )sup es de Cauchy (la definición de siempre
en el espacio (B(X, Y ), dsup )) entonces para todo x ∈ X, la sucesión
(fm (x))m∈N ⊆ Y es de Cauchy.

20. Sea X conjunto, Y espacio métrico completo, (fm )m∈N ⊆ B(X, Y ) una
sucesión. Prueba que si (fm )m∈N es de Cauchy con respecto a dsup entonces
existe f : X −→ Y a la cual converge uniformemente.

21. Sean X un conjunto, Y un espacio métrico completo, y (fm )m∈N una suce-
sión de funciones de X en Y . Prueba que (fm )m∈N converge uniformemente
si y solo si para cada  > 0 existe N ∈ N tal que para toda m, n > N y
x ∈ X,
dY (fn (x), fm (x)) ≤ .

22. Sea X conjunto, Y espacio métrico y F ⊆ B(X, Y ). Prueba que F es unifor-

memente acotada si y sólo si F es un subespacio acotado de (B(X, Y ), dsup ).

23. Sea X un conjunto, Y espacio métrico y (fm )m∈N una sucesión de fun-
ciones de X en Y que converge uniformemente. Prueba que (fm )m∈N es
uniformemente acotada.

24. Sea X un conjunto, Y espacio métrico y (fm )m∈N una sucesión de funciones
de X en Y tal que para cada  > 0 existe N ∈ N tal que para toda m, n > N
y x ∈ X,
dY (fn (x), fm (x)) ≤ .

Prueba que (fm )m∈N es uniformemente acotada.