Captulo 4

El espacio de funciones
continuas
1. Funciones continuas
En este captulo estudiaremos las funciones continuas en un espacio
metrico, adem as de espacios metricos formados por funciones continuas.
Tambien estudiaremos la convergencia de sucesiones de funciones continuas
en un espacio metrico.
Primero denimos el concepto de continuidad.
Denicion 4.1. Sean (X, d) y (Y, d

) dos espacios metricos y f : X Y .

Decimos que la funcion f es continua en x
0
X si, para todo > 0, existe
> 0 tal que si d(x, x
0
) < entonces
d

(f(x), f(x
0
)) < .
Esta denicion es equivalente a decir que, para todo > 0, existe > 0
tal que
f(B

(x
0
)) B

(f(x
0
)),
donde f(B

(x
0
)) es la imagen de B

(x
0
) bajo f, es decir
f(B

(x
0
)) =
_
y Y : existe x B

(x
0
) tal que f(x) = y
_
y B

(f(x
0
)) es la bola en Y de radio alrededor de f(x
0
).
Tambien podemos caracterizar la continuidad de f en un punto a traves
de sucesiones.
61
62 4. El espacio de funciones continuas
Proposici on 4.2. Sean (X, d) y (Y, d

) dos espacios metricos, f : X Y

y x
0
X. f es continua en x
0
si, y solo si, para cada sucesi on (x
n
) en X
tal que x
n
x
0
, tenemos que f(x
n
) f(x
0
) en Y .
Demostracion. Sea f continua en x
0
, y sea x
n
x
0
. Para mostrar que
f(x
n
) f(x
0
), sea > 0 dado.
Como f es continua en x
0
, existe > 0 tal que d(x, x
0
) < implica
d

(f(x), f(x
0
)) < . Adem as, x
n
x
0
, por lo que existe N tal que, para
n N, d(x
n
, x
0
) < . Entonces, para n N, d

(f(x
n
), f(x
0
)) < y, por lo
tanto, f(x
n
) f(x
0
).
Inversamente, suponemos que f(x
n
) f(x
0
) para toda sucesion (x
n
)
en X tal que x
n
x
0
. Para encontrar una contradicci on, suponemos que f
no es continua en x
0
.
Entonces existe
0
> 0 tal que, para todo > 0, existe x X tal que
d(x, x
0
) < y d

(f(x), f(x
0
))
0
. En particular, para cada n 1 existe
x
n
X tal que d(x
n
, x) <
1
n
y d

(f(x
n
), f(x
0
))
0
.
Pero entonces x
n
x
0
y f(x
n
) f(x
0
), lo que contradice nuestra
hip otesis. Por lo tanto, f es continua en x
0
.
Observemos que la denicion de continuidad es local; es decir, est a deni-
da sobre cada punto de X. Sin embargo, globalmente decimos que la funcion
f : X Y es continua si es continua en x para todo x X. Tenemos la
siguiente caracterizaci on de continuidad.
Proposici on 4.3. f : X Y es continua si, y solo si, para todo conjunto
abierto V en Y , la preimagen de V en X,
f
1
(V ) = {x X : f(x) V },
es un conjunto abierto en X.
Observemos que f
1
(V ) es abierto en X si, y solo si, para cada x
f
1
(V ) existe un > 0 tal que B

(x) f
1
(V ), esto es, f(B

(x)) V .
Demostracion. Sea f : X Y continua y V un conjunto abierto en Y .
Para demostrar que f
1
(V ) es abierto, sea x f
1
(V ). Entonces f(x) V .
Como V es abierto, existe > 0 tal que
B
e
(f(x)) V.
Como f es continua, es continua en x, as que existe > 0 tal que
f(B

(x)) B
e
(f(x)) V,
lo cual muestra que f
1
(V ) es abierto, por la observacion anterior. (Vease
la gura 1.)
1. Funciones continuas 63
X Y
V
f(x)
f
f (V)
1
x
Figura 1. Si f es continua, V es abierto en Y y f(x) V , entonces
existe > 0 tal que B

(x) f
1
(V ).
De manera inversa, supongamos que f
1
(V ) es abierto en X para todo
conjunto V abierto en Y , y sea x X. Para demostrar que f es continua en
x, sea > 0. Como B
e
(f(x)) es abierto en Y , f
1
(B

(f(x))) es abierto en
X y x f
1
(B

(f(x))). Entonces, existe > 0 tal que

B

(x) f
1
(B

(f(x))),
lo cual signica que
f(B

(x)) B

(f(x)),
como queramos demostrar.
Ejemplo 4.4. Las funciones continuas m as simples son la funciones cons-
tantes. Si y
0
Y , denimos la funcion f : X Y como f(x) = y
0
para
todo x X. Entonces, si V es un conjunto abierto en Y ,
f
1
(V ) =
_
X si y
0
V ,
si y
0
V .
Como X y son abiertos en X, f es continua.
Ejemplo 4.5. La funci on identidad es otro ejemplo sencillo de una funcion
continua. Denimos f : X X como f(x) = x para cada x X. Entonces
f
1
(V ) = V para cada abierto V en X, por lo que conclumos que f es
continua.
Proposici on 4.6. Sean (X, d), (Y, d

) y (Z, d

) espacios metricos, y sean

f : X Y y g : X Z funciones continuas. Si le asignamos a Y Z la
metrica producto, entonces la funci on F : X Y Z dada por
F(x) = (f(x), g(x))
es continua.
Recordemos que la metrica producto d

en Y Z est a denida como

d

((y, z), (u, v)) = d

(y, u) +d

(z, v).
64 4. El espacio de funciones continuas
Demostracion. Sea x
0
X y > 0. Entonces existen
1
,
2
> 0 tales que
si d(x, x
0
) <
1
entonces d

(f(x), f(x
0
)) <

2
y
si d(x, x
0
) <
2
entonces d

(g(x), g(x
0
)) <

2
.
Entonces, si = mn{
1
,
2
} y d(x, x
0
) < ,
d

(F(x), F(x
0
)) = d

((f(x), g(x)), (f(x), g(x)))

= d

(f(x), f(x
0
)) +d

(g(x), g(x
0
))
<

2
+

2
= .

Es facil ver que la proposici on 4.6 se puede generalizar a un cualquier

n umero nito de funciones f
i
: X X
i
, si al producto X
1
X
l
se le
asigna la metrica
d
P
((x
1
, . . . , x
n
), (y
1
, . . . , y
l
)) =
n

i=1
d
i
(x
i
, y
i
),
donde cada d
i
es la metrica de X
i
.
La siguiente proposici on es conocida como la regla de la cadena para
funciones continuas.
Proposici on 4.7. Si (X, d), (Y, d

) y (Z, d

) son espacios metricos, y las

funciones f : X Y y g : Y Z son continuas, entonces la composici on
g f : X Z es continua.
Demostracion. Si V es abierto en Z, entonces
(g f)
1
(V ) = f
1
(g
1
(V ))
es abierto en X, porque, como g es continua, g
1
(V ) es abierto en Y y, como
f es continua, f
1
(g
1
(V )) es abierto en X.
1.1. Compacidad y continuidad uniforme. El siguiente teorema esta-
blece la compacidad de la imagen de un espacio compacto bajo una funcion
continua.
Teorema 4.8. Sean (X, d) y (Y, d

) dos espacios metricos, y f : X Y

continua. Si X es compacto, entonces f(X) es compacto.
En la demostracion de este teorema utilizaremos el siguiente lema, sobre
las propiedades b asicas de conjuntos imagen y preimagen de una funcion.
Lema 4.9. Sea f : X Y un funci on. Entonces
1. Funciones continuas 65
1. f(A B) f(A) f(B) para todos A, B X.
2. f(f
1
(A)) A para todo A Y .
La demostracion de esta lema se sigue directamente de las deniciones
de conjuntos imagen y preimagen bajo cualquier funcion, y se deja como
ejercicio (ejercicio 2).
Demostracion del Teorema 4.8: Tomamos una cubierta {V

} del con-
junto f(X) en Y . Como f es continua, los conjuntos f
1
(V

) son abiertos,
y adem as cubren a X: si x X, entonces f(x) X, por lo que, para alg un
, f(x) V

. Entonces x f
1
(V

).
Por lo tanto {f
1
(V

)} es una cubierta de X, y como X es compacto

tiene una subcubierta nita, digamos
X f
1
(V

1
) f
1
(V

2
) . . . f
1
(V

k
).
Entonces, por el lema 4.9
f(X) f(f
1
(V

1
)) f(f
1
(V

2
)) . . . f(f
1
(V

k
))
V

1
V

2
. . . V

k
.
Por lo tanto f(X) es compacto.
Es posible demostrar el teorema 4.8 utilizando el teorema de Bolzano-
Weierstrass, mostrando que f(X) es secuencialmente compacto si X lo es
(ejercicio 4).
Si X es compacto y f es una funcion continua en X, entonces no s olo
podemos conclur que f(X) es compacto, sino que f tambien es uniformente
continua. Esto lo veremos a continuaci on.
Denicion 4.10. Sean (X, d) y (Y, d

) dos espacios metricos, y f : X Y .

Decimos que f es uniformemente continua si, para cada > 0, existe > 0
tal que
f(B

(x)) B

(f(x))
para todo x X.
A diferencia de la denicion de continuidad en x X, el n umero de la
denicion de continuidad uniforme depende s olo de > 0 y f, no de x.
Ejemplo 4.11. Considere la funcion f : (0, 1) R dada por f(x) = 1/x.
Entonces f es continua, ya que si (a, b) R, (a > 0) entonces
f((1/b, 1/a)) = (a, b),
por lo que podemos conclur que f
1
(V ) es abierto si V es abierto en R.
Pero f no es uniformemente continua. Considere, por ejemplo, = 1. Para
66 4. El espacio de funciones continuas
cualquier > 0, tal que < 1/3, si x = 2, entonces
f(B

(x)) = f((, 3)) =

_
1
3
,
1

_
B
1
_
1
2
_
.
Vease la gura 2.
{
x
2
3
3
Figura 2. Graca de la funcion f(x) = 1/x. Si 0 < < 1/3, entonces
la diferencia entre f() y f(3) es
2
3
> 1.
Teorema 4.12. Sean (X, d) y (Y, d

) dos espacios metricos. Si f : X Y

es continua y X es compacto, entonces f es uniformemente continua.
Demostracion. Sea > 0. Como f es continua, para cada x X, existe

x
> 0 tal que f(B
x
(x)) B
/2
(f(x)). Claramente {B
x
(x)}
xX
es una
cubierta de X, y como X es compacto, el teorema de Bolzano-Weierstrass
implica que es secuencialmente compacto, y podemos utilizar el Lema de
Lebesgue, lema 3.21, para encontrar un > 0 tal que, para todo x X,
B

(x) B
x
0
(x
0
)
para alg un x
0
X. Tal n umero no depende de x, solo de la cubierta.
Ahora bien, si z B

(x), entonces z B
x
0
(x
0
) y, m as a un,
d

(f(z), f(x)) d

(f(z), f(x
0
)) +d

(f(x
0
), f(x))
<

2
+

2
= ,
ya que f(B
x
0
(x
0
)) B
/2
(f(x
0
)). Por lo tanto
f(B

(x)) B

(f(x)),
como queramos demostrar.
La compacidad de X es necesaria y, por ejemplo, no basta con asumir
que Y es compacto.
1. Funciones continuas 67
Ejemplo 4.13. Sea f : (0, 1) [1, 1] dada por f(x) = sen
1
x
. f no es
uniformemente continua: para cada n, si
x
n
=
2
(4n + 1)
y y
n
=
2
(4n + 3)
,
entonces
|x
n
y
n
| =
4
(4n + 1)(4n + 3)
<
1
n
2
,
pero |f(x
n
) f(y
n
)| = 2.
1.2. Funciones continuas en espacios normados. Si (X, || ||) es un
espacio normado y a X X se le asigna la metrica producto
d
XX
((x, y), (x

, y

)) = ||x x

|| +||y y

||,
entonces la funcion (+) : X X X, dada por la suma de dos vectores,
es decir, (+)(x, y) = x +y, es una funcion continua. Para vericar esto, sea
(x
0
, y
0
) X X y > 0. Si = y
||x x
0
|| +||y y
0
|| < ,
entonces
||(+)(x, y) (+)(x
0
, y
0
)|| = ||(x +y) (x
0
+y
0
)||
||x x
0
|| +||y y
0
|| < = ,
lo cual demuestra que (+) es continua en (x
0
, y
0
).
De la misma forma podemos demostrar que la multiplicaci on escalar
() : K X X dada por ()(, x) = x es una funcion continua, si se le
asigna a KX la metrica producto
d
KX
((, x), (, y)) = | | +||x y||.
Ejemplo 4.14. Las proposiciones 4.6 y 4.7 y el hecho de que la suma de
vectores es continua implican que, si f, g : X Y son dos funciones con-
tinuas del espacio metrico (X, d) al espacio normado (Y, || ||), entonces la
suma f + g : X Y , denida por (f + g)(x) = f(x) + g(x) es una fun-
cion continua, porque x f(x) + g(x) es la composici on de las funciones
x (f(x), g(x)) y (+).
Desde luego, podemos generalizar este resultado a cualquier n umero de
funciones f
i
: X Y , i = 1, . . . , l.
El ejemplo anterior, junto con el teorema 2.32, implica la continuidad de
funciones lineales sobre espacios de dimension nita.
Teorema 4.15. Si (X, || ||
X
) y (Y, || ||
Y
) son dos espacios normados, X
es de dimensi on nita y : X Y es una transformaci on lineal, entonces
es una funci on continua.
68 4. El espacio de funciones continuas
La demostracion de este teorema se sigue del siguiente lema.
Sea (X, || ||) un espacio normado de dimension nita y sea {u
1
, . . . , u
l
}
una base. Denimos las funciones
i
: X K de la forma
x =
1
(x)u
1
+. . . +
l
(x)u
l
.
Es decir, las
i
son las proyecciones de X sobre cada uno de los terminos de
la base.
Lema 4.16. Cada proyecci on
i
es una funci on continua.
Demostracion. Sea : X K
l
el isomorphismo
(x) = (
1
(x), . . . ,
l
(x)).
Por el teorema 2.32, existe C > 0 tal que, para todo x X,
||(x)||
M
C||x||.
Como |
i
(x)| ||(x)||
M
, tenemos que, dado > 0, si tomamos = /C
entonces ||x y|| < implica que
|
i
(x)
i
(y)| C||x y|| < C = .
Por lo tanto, cada
i
es continua.
Demostracion del Teorema 4.15: El teorema se sigue entonces por las
observaciones hechas en el ejemplo 4.14 y el hecho de que es la suma de
las funciones dadas por x
i
(x)(u
i
).
La demostracion del lema 4.16 utiliz o el hecho que la existencia de una
constante C > 0 tal que |
i
(x)| C||x|| implica la continuidad de
i
. Esta
observacion resulta ser equivalente a continuidad en el caso de funciones
lineales, como mostraremos a continuaci on.
Teorema 4.17. Sean (X, || ||
X
) y (Y, || ||
Y
) dos espacios normados y
: X Y una transformaci on lineal. Los siguientes enunciados son equi-
valentes:
1. es continua;
2. es continua en 0;
3. Existe M > 0 tal que, para todo x X,
||(x)||
Y
M||x||
X
.
Demostracion. 12: es continua en todo x X; en particular, es
continua en 0.
1. Funciones continuas 69
23: Como es continua en 0, existe > 0 tal que si ||x||
X
<
entonces ||(x)||
Y
< 1. Entonces, para x X, si x = 0,

2||x||
X
x

X
=

2
< ,
por lo que

_

2||x||
X
x
_

Y
< 1.
Entonces, como es lineal,
||(x)||
Y
<
2

||x||
X
.
Podemos tomar M =
2

.
31: Sea x X y > 0. Si tomamos =

M
, entonces ||y x||
X
<
implica
||(y) (x)||
Y
= ||(y x)||
Y
M||y x||
X
< M = e.

Es importante notar, por el hecho que la metrica inducida por una norma
es invariante bajo traslaciones, que la continuidad de una funcion lineal en
0 es equivalente a la continuidad en cualquier otro punto de X.
El teorema 4.17 resulta muy util para vericar si una funci on lineal es o
no continua. En los siguientes ejemplos mostramos como usar este teorema
en casos particulares.
Ejemplo 4.18. Consideremos C([0, 1]), y la funcion I : C([0, 1]) R dada
por
I(f) =
_
1
0
f(x)dx.
Entonces
|I(f)| =

_
1
0
f(x)dx

_
1
0
|f(x)|dx
_
1
0
||f||
u
dx = ||f||
u
.
Entonces I es continua.
En particular, el ejemplo 4.18 implica el siguiente resultado:
Si f
n
es una sucesi on de funciones continuas en [0, 1] que converge unifor-
memente a f, entonces la sucesi on de integrales
_
f
n
converge a
_
f.
Este resultado es cierto incluso en el caso de integrales impropias (ejer-
cicio 9).
70 4. El espacio de funciones continuas
Ejemplo 4.19. Sea K : [0, 1] [0, 1] R una funcion continua, y, para
f C([0, 1]), denimos la funcion Lf : [0, 1] R por
Lf(x) =
_
1
0
K(x, y)f(y)dy.
Mostraremos que Lf es continua: Para esto, sea > 0 y x
0
[0, 1]. Entonces,
existe > 0 tal que si |x x
0
| < entonces
|K(x, y) K(x
0
, y)| <

2||f||
u
+ 1
,
ya que K es uniformemente continua porque [0, 1] [0, 1] es compacto. En-
tonces, para |x x
0
| < ,
|Lf(x) Lf(x
0
)| =

_
1
0
K(x, y)f(y)dy
_
1
0
K(x
0
, y)f(y)dy

_
1
0
|K(x, y) K(x
0
, y)||f(y)|dy

_
1
0

2||f||
u
+ 1
||f||
u
dy =

2
< .
Esto signica que L dene una funcion lineal L : C([0, 1]) C([0, 1]).
Para ver que L es de hecho continua, observamos que, si
M = m ax{|K(x, y)| : x, y [0, 1]},
entonces
|Lf(x)|
_
1
0
|K(x, y)||f(y)|dy
_
1
0
M||f||
u
dy = M||f||
u
para x [0, 1]. Entonces L es continua por el teorema 4.17.
Ejemplo 4.20. Consideremos ahora el espacio C
1
([0, 1]) de funciones dife-
renciables f en [0, 1] tal que f

C([0, 1]), es decir, funciones diferenciables

con derivada continua. Es claro que C
1
([0, 1]) C([0, 1]), as que podemos
ver a C
1
([0, 1]) como subespacio de C([0, 1]).
Denimos la funcion D : C
1
([0, 1]) C([0, 1]) como
D(f) = f

.
D es llamada el operador diferencial. Es claro que D es lineal; sin embargo,
no es continua. Consideremos las funciones
f
n
(x) =
1
n
sen(n
2
x).
Como ||f
n
||
u
=
1
n
, f
n
0 en C([0, 1]) (y en C
1
([0, 1]), desde luego). Sin
embargo,
D(f
n
) = n cos(n
2
x),
2. El espacio C(X, Y ) 71
por lo que ||D(f
n
)||
u
= n. Entonces D no es continua en 0.
El ejemplo 4.20 implica que una funcion lineal en un espacio normado
no es necesariamente continua. En particular, tambien explica por que las
derivadas de una sucesion de funciones diferenciables que converge no nece-
sariamente converge, aun cuando su lmite es una funcion diferenciable.
Sin embargo, en referencia al ejemplo 4.18, si sabemos que la sucesion
de derivadas converge, entonces s podemos garantizar que la sucesion de
derivadas converge a la derivada del lmite. El ejercicio 10 enuncia de manera
precisa este resultado.
2. El espacio C(X, Y )
En esta secci on estudiaremos las funciones continuas como elementos de
un espacio metrico de funciones.
Denicion 4.21. Denimos C(X, Y ) como el conjunto de las funciones
continuas f : X Y .
Por ejemplo, C([0, 1]) denota a C(X, Y ) con X = [0, 1] y Y = R. Recor-
demos que C([0, 1]) es un espacio metrico, de hecho, un espacio de Banach,
con la norma uniforme.
Aunque, en general, podemos darle una topologa a C(X, Y ) compatible
con convergencia uniforme (denida extendiendo la denicion en C([0, 1])),
no siempre podemos asignarle una metrica. Sin embargo, s podemos hacerlo
si consideremos al subconjunto de C(X, Y ) de funciones acotadas.
Denicion 4.22. Sea f : X Y una funcion de (X, d) a (Y, d

). Decimos
que f es acotada si existen y
0
Y y M > 0 tales que
d

(f(x), y
0
) < M
para todo x X.
Esto es equivalente a decir que la imagen de f, f(X), es un conjunto
acotado en Y .
Ejemplo 4.23. Considere la funcion f : R R dada por
f(x) =
x
1 +x
2
.
f es acotada porque |f(x)| 1/2 para todo x R. (Figura 3.)
Ejemplo 4.24. Considere una funcion continua f : X Y , donde X es
compacto. Entonces f(X) es compacto, y por lo tanto es acotado en Y .
Tenemos que f es acotada.
72 4. El espacio de funciones continuas
-10 -5 5 10
-0.4
-0.2
0.2
0.4
Figura 3. Graca de la funcion f(x) =
x
1+x
2
. Como 1/2 f(x)
1/2, la funcion f es acotada.
Denicion 4.25. Sean (X, d) y (Y, d

) dos espacios metricos. Denimos el

conjunto C
A
(X, Y ) como el conjunto de funciones continuas y acotadas de
X a Y .
Si X es compacto, entonces C
A
(X, Y ) = C(X, Y ), es decir, C
A
(X, Y )
incluye a todas las funciones continuas de X a Y . En tal caso, escribiremos
simplemente C(X, Y ).
El conjunto C
A
(X, Y ) se puede metrizar a traves de la funcion
(4.1) d
u
(f, g) = sup
xX
d

(f(x), g(x)).
Esta funcion est a bien denida, ya que si f y g son dos funciones acotadas,
entonces existen y
0
y y

0
en Y , M, M

> 0, tales que

d

(f(x), y
0
) < M y d

(g(x), y

0
) < M

para todo x X. Entonces

d

(f(x), g(x)) d

(f(x), y
0
) +d

(y
0
, y

0
) +d

(g(x), y

0
)
< M +d

(y
0
, y

0
) +M

=

M < ,
por lo que sup
xX
d

(f(x), g(x))

M.
Ahora vericamos que d
u
es una metrica:
1. Como d

es una metrica, entonces d

(f(x), g(x)) 0 para todo x

X, por lo que entonces, sif, g C
A
(X, Y ), d
u
(f, g) 0.
Ademas, si f = g, existe un x
0
X tal que f(x
0
) = g(x
0
), y por
lo tanto
d
u
(f, g) d

(f(x
0
), g(x
0
)) > 0.
2. El espacio C(X, Y ) 73
2. d
u
(f, g) = d
u
(g, f) es facil de vericar ya que
d

(f(x), g(x)) = d

(g(x), f(x))
para todo x X.
3. Si f, g, h C
A
(X, Y ), entonces, para cada x
0
X,
d

(f(x
0
), g(x
0
)) d

(f(x
0
), h(x
0
)) +d

(h(x
0
), g(x
0
)),
y por lo tanto
d

(f(x
0
), g(x
0
)) sup
xX
d

(f(x), h(x)) + sup

xX
d

(h(x), g(x))
_
= d
u
(f, h) +d
u
(h, g).
Como x
0
X es arbitrario, d
u
(f, g) d
u
(f, h) +d
u
(h, g).
La metrica d
u
es llamada la metrica uniforme.
Teorema 4.26. El espacio metrico (C
A
(X, Y ), d
u
) es completo si el espacio
Y es completo.
La demostracion de este teorema es muy similar a la demostracion de la
completitud de C([0, 1]) (teorema 2.19).
Demostracion. Sea (f
n
) una sucesion de Cauchy en C
A
(X, Y ). Mostrare-
mos que esta sucesion converge.
Primero, para cada x X, (f
n
(x)) es una sucesion de Cauchy en Y y,
como Y es completo, converge. Denimos entonces la funcion F : X Y
por
F(x) = lm
n
f
n
(x).
Al igual que en la demostracion del teorema 2.19, es necesario demostrar
dos cosas:
1. (f
n
) converge a F uniformemente, es decir, para todo > 0 existe
N tal que si n N, d

(f
n
(x), F(x)) < para todo x X.
2. F C
A
(X, Y ), es decir, F es continua y acotada en X.
Dado > 0, escogemos N > 0 tal que, si n, m N, entonces
d
u
(f
n
, f
m
) <

2
,
es decir,
d

(f
n
(x), f
m
(x)) <

2
para todo x X. Mostraremos que
(4.2) d

(f
n
(x), F(x)) <
para todo x X, si n N.
74 4. El espacio de funciones continuas
Sea x
0
X. Como la sucesion (f
n
(x
0
)) converge a F(x
0
), existe un
N
0
> 0 tal que
d

(f
n
(x
0
), F(x
0
)) <

2
para todo n N
0
(N
0
depende de x
0
, pero esto no ser a ning un problema
ya que N es independiente de x
0
). Ahora bien, escogemos un entero n
0
tal
que n
0
> m ax{N, N
0
}. Tenemos que, si n N,
d

(f
n
(x
0
), F(x
0
)) d

(f
n
(x
0
), f
n
0
(x
0
)) +d

(f
n
0
(x
0
), F(x
0
))
<

2
+

2
= .
Como x
0
es arbitrario, hemos demostrado la desigualdad (4.2). Como N no
depende de x
0
, podemos conclur que (f
n
) converge uniformemente a F.
Para demostrar que F C
A
(X, Y ), tenemos que mostrar que F es con-
tinua y acotada. La demostracion que F es continua es muy similar a la
demostracion que L es continua en el teorema 2.19, por lo que dejamos esta
parte como ejercicio (ejercicio 11).
Para vericar que es acotada, notemos que la sucesion (f
n
) es de Cauchy
y, por lo tanto, acotada en C
A
(X, Y ). Es decir, existen f C(X, Y ) y M > 0
tales que d
u
(f
n
, f) < M para todo n. Como (f
n
) converge uniformemente a
F, podemos encontrar un entero N tal que
d

(f
N
(x), F(x)) < 1
para todo x X. Entonces, para x X,
d

(F(x), f(x)) d

(F(x), f
N
(x)) +d

(f
N
(x), f(x)) < 1 +M.
Ahora bien, f es acotada, por lo que existen M

> 0 y y
0
Y tales que
d

(f(x), y
0
) < M

para todo x X. Entonces

d

(F(x), y
0
) d

(F(x), f(x)) +d

(f(x), y
0
) < 1 +M +M

,
para todo x X, por lo que podemos conclur que F es acotada. Entonces
f
n
F en C
A
(X, Y ).
Si (Y, || ||
Y
) es un espacio normado, entonces podemos denir las ope-
raciones suma y multiplicaci on escalar en C(X, Y ) como
(f +g)(x) = f(x) +g(x), f, g C(X, Y ), x X
(f)(x) = f(x), f C(X, Y ), x X.
Con estas operaciones, C(X, Y ) es un espacio vectorial, y el subconjunto
C
A
(X, Y ) se puede normar con
(4.3) ||f||
u
= sup
xX
||f(x)||
Y
, f C
A
(X, Y ).
Ejercicios 75
Dejamos como ejercicio vericar que (4.3) dene una norma (ejercicio 14).
Ademas,
d
u
(f, g) = ||f g||
u
.
Por el teorema 4.26 conclumos que, si (Y, || ||
Y
) es un espacio de Banach,
entonces (C
A
(X, Y ), || ||
u
) es tambien un espacio de Banach.
Podemos entonces extender el criterio M de Weierstrass a funciones que
toman valores en espacios de Banach.
Corolario 4.27 (Criterio M de Weierstrass). Sea (f
n
) una sucesi on de
funciones continuas de X a Y , donde (Y, || ||
Y
) es un espacio de Banach. Si
existe una sucesi on (M
n
) de n umeros nonegativos tales que ||f
n
(x)||
Y
M
n
para todo x X, y la serie

M
n
converge, entonces la serie

n=1
f
n
(x)
converge absoluta y uniformemente en C
A
(X, Y ).
Demostracion. La demostracion es similar a la demostracion del corolario
2.25 y la dejamos como ejercicio (ejercicio 15).
Ejercicios
1. f : X Y es continua si, y solo si, para todo conjunto F cerrado en Y ,
f
1
(F) es cerrado en X.
2. Sean X y Y dos conjuntos no vacos y f : X Y . Si A X y B Y ,
los conjuntos imagen de A y preimagen de B se denen como
f(A) = {f(x) Y : x A}
f
1
(B) = {x X : f(x) B}.
f(A B) = f(A) f(B) para A, B X.
f(A B) f(A) f(B) para A, B X, y de un ejemplo donde
f(A B) f(A) f(B).
f(f
1
(A)) A para A Y , y de un ejemplo donde
f(f
1
(A)) A.
f
1
(f(A)) A para A X, y de un ejemplo donde
f
1
(f(A)) A.
76 4. El espacio de funciones continuas
3. Sean X y Y espacios metricos, A y B subconjuntos abiertos de X, y
f : A Y y g : B Y funciones continuas tales f(x) = g(x) para todo
x A B. Entonces la funcion h : A B Y dada por
h(x) =
_
f(x) si x A
g(x) si x B
es continua.
4. Si X es secuencialmente compacto y f es continua en X, entonces f(X)
es secuencialmente compacto.
Si para este ejercicio se utiliza la proposici on 4.2, por el teorema de
Bolzano-Weierstrass, este resultado ofrece una demostracion alternativa
para el teorema 4.8.
5. Sean (X, d) y (Y, d

) espacios metricos, E X y Y un espacio completo.

Si f : E Y es uniformemente continua en E y x
0
es un punto de
acumulaci on de E, entonces f tiene lmite en x; es decir, existe L Y
tal que, para todo > 0, existe > 0 tal que, si x E y d(x, x
0
) < ,
entonces d

(f(x), L) < .
(Sugerencia: Si (x
n
) es una sucesion en E tal que x
n
x
0
, entonces
(f(x
n
)) es de Cauchy en Y .)
6. Sea X un espacio totalmente acotado y f : X Y una funcion unifor-
mememente continua en X. Entonces f(X) es acotado.
Es f(X) totalmente acotado?
7. En referencia al problema anterior, de un ejemplo de un espacio acotado
X y una funcion uniformemente continua en X tal que su imagen no es
acotada.
8. Suponga que I es un intervalo cerrado en R, y f : I R es una funcion
continua. Entonces f tiene un m aximo y un mnimo, es decir, existen
x
M
, x
m
I tales que
f(x
M
) = m ax f(I), f(x
m
) = mnf(I).
9. Sea I : C([0, 1]) C([0, 1]) el operador dado por
If(x) =
_
x
0
f(t)dt.
a) I es continuo en la norma uniforme.
b) Sean f
n
C([0, 1]) tal que f
n
f. Si F
n
(x) =
_
x
0
f y F(x) =
_
x
0
f,
entonces F
n
F.
10. Utilice el ejercicio anterior para mostrar el siguiente teorema:
Sean f
n
C
1
([0, 1]) tales que
a) (f
n
(x
0
)) converge para alg un x
0
[0, 1];
b) f

n
g.
Ejercicios 77
Entonces f
n
converge uniformemente y, si f
n
f, f es continuamente
diferenciable y f

= g.
11. La funcion F construida en la demostracion del teorema 4.26 es continua.
12. Sea C
0
(X, R) el conjunto de las funciones continuas f : X R que
convergen a cero en innito, es decir, para todo > 0 existe un compacto
E X tales que |f(x)| < e para todo x / E. Entonces C
0
(X, R) es un
subespacio cerrado de C
A
(X, R).
13. Sea C
c
(X, R) el conjunto de las funciones continuas f : X R de
soporte compacto, es decir, la cerradura del conjunto
{x X : f(x) = 0}
es un subespacio compacto de X. Entonces C
c
(X, R) es un subespacio
de C
A
(X, R), pero no necesariamente cerrado.
14. Demuestre las observaciones hechas despues de la demostracion del Teo-
rema 4.26. Es decir, si (Y, || ||
Y
) es una espacio normado, entonces
C
A
(X, Y ) se puede dotar con una estructura de espacio normado a traves
de las operaciones
(f +g)(x) = f(x) +g(x), f, g C
A
(X, Y ), x X
(f)(x) = f(x), f C
A
(X, Y ), x X.
y la norma
||f||
u
= sup
xX
||f(x)||
Y
, f C
A
(X, Y ).
15. Demuestre el corolario 4.27.