MEDIDA Y PROBABILIDAD

Curso 2024-2025
Miguel Ángel García Álvarez

Temas de Análisis Matemático

Se asume que el lector está familiarizado con la axiomática y las propiedades del conjunto
de los números reales.

También se asume que ha estudiado lo que es un espacio métrico y ha trabajado con la

topología que induce la métrica.

En particular, se da por sentado que conoce las propiedades topológicas de Rn con la métrica
usual.

Los racionales diádicos

Los racionales diádicos son los números racionales de la forma 2jn , donde n 2 f0; 1; : : :g y j
es un número entero. El conjunto de los racionales diádicos es muy utilizado en la teoría de
la probabilidad y en la teoría de la medida, ya que es muy cómodo trabajar con ellos y, al
igual que el conjunto de todos los números racionales, es denso en cualquier intervalo [a; b],
donde a < b. Lo denotaremos por D. Este conjunto es el que se utiliza para escribir cualquier
número real en base 2:
Denotaremos por B al conjunto

(sk )k2N : sk 2 f0; 1g y sk = 1 para una in…nidad de índices k

Además, para cada n 2 N, denotaremos por Bn al conjunto

f(s1 ; s2 ; : : : ; sn ) : sj 2 f0; 1g para cualquier j 2 f1; 2; : : : ; ngg

y, para cada elemento (s1 ; s2 ; : : : ; sn ) 2 Bn , denotaremos por I(s1 ;s2 ;:::;sn ) al intervalo
Pn sk Pn sk 1
k=1 2k ; k=1 2k + 2n

Obsérvese que I(s1 ;s2 ;:::;sn ) (0; 1] para cualquier (s1 ; s2 ; : : : ; sn ) 2 Bn . En efecto, se tiene:
2
Pn sk Pn 1 1
0 k=1 2k k=1 2k =1 2n

Consideremos la función f : B ! (0; 1] de…nida por

P1 sk
f (sk )k2N = k=1 2k

Vamos a mostrar que esta función f es biyectiva.

La idea consiste en que si desarrollamos en base 2 un número real x 2 (0; 1], su desarrollo
es único a menos que x sea un racional diádico. Por ejemplo, el número real 274 se puede
expresar de la siguiente manera
7 1 1 1
24
= 22
+ 23
+ 24

Así que uno de sus desarrollos en base 2 está dado por

0;0111

Pero, también se tiene:

7 1 1
P1 1
24
= 23
+ 24
+ k=5 2k

7
Así que, otro desarrollo en base 2 de 24
está dado por.

0;01101111

El segundo desarrollo tiene la característica de que contiene una in…nidad de 1’s.

Por otra parte, si un número real x 2 (0; 1] no es un racional diádico, su desarrollo en base 2
contiene una in…nidad de 1’s, ya que si no fuera así, su desarrollo sería …nito, lo cual implica
que se trataría de un racional diádico.

Así que, tomando siempre el desarrollo, en base 2, que contiene una in…nidad de 1’s, de un
número real x 2 (0; 1], su desarrollo es único y ese desarrollo está formado por una sucesión
(sk )k2N 2 B.

Pasemos a la demostración formal del resultado.

Proposición 1. La función f : B ! (0; 1] de…nida por

P1 sk
f (sk )k2N = k=1 2k

es biyectiva.
 3

Demostración

Sea x 2 (0; 1] y s1 ; s2; : : : los términos de su desarrollo que contiene una in…nidad de 1’s.
Entonces la sucesión (sk )k2N pertenece a B y se tiene:
P1 si
x= i=1 2i

Así que f es una función suprayectiva de B en el intervalo (0; 1].

Mostremos ahora que f es inyectiva.

P1 sk P1 rk
Sean (sk )k2N y (rk )k2N dos elementos distintos de B, x = k=1 2k yy= k=1 2k .

Obsérvemos que tanto x como y pertenecen al intervalo (0; 1].

De…namos

k0 = m n fk 2 N : rk 6= sk g

Como el desarrollo de x tiene una in…nidad de 1’s, se tiene:

Pk0 si
x> i=1 2i

Además:
Pk0 si
P1 1
Pk0 si 1
x i=1 2i + i=k0 +1 2i = i=1 2i + 2k0

Por lo tanto:
Pk0 Pk0 i
si si 1
x2 i=1 2i ; i=1 2i + 2k0

De manera similar, se tiene:

Pk0 Pk0 i
ri ri 1
y2 i=1 2i ; i=1 2i + 2k0

Además:
Pk0 ri
Pk0 si rk0 sk0 rk0 sk0
i=1 2i i=1 2i = 2k0 2k0
= 2k0

Así que:
Pk0 ri
Pk0 si rk0 sk0
i=1 2i = i=1 2i + 2k0

Por lo tanto:
4

Pk0 Pk0 i Pk0 i

ri ri 1 si rk0 sk0 Pk0 si rk0 sk0 1
i=1 2i ; i=1 2i + 2k0
= i=1 2i + 2k0
; i=1 2i + 2k0
+ 2k0
8
>
> Pk0 Pk0 i
>
< si 1 si 2
i=1 2i + 2k0
; i=1 2i + 2k0
si rk0 s k0 = 1
=
>
> Pk0 Pk0 i
>
: si 1 si
i=1 2i 2k0
; i=1 2i si rk0 s k0 = 1
Pk0 Pk0 i Pk0 Pk0 i
ri ri 1 si si 1
En cualquiera de los dos casos, los intervalos i=1 2i ; i=1 2i + 2k0
y i=1 2i ; i=1 2i + 2k0
son ajenos.
Así que x 6= y, lo cual demuestra que f es inyectiva.

Ahora recordemos cómo se encuentran geométricamente los dígitos del desarrollo en base 2
de un número real x 2 (0; 1], de tal manera que si x es un racional diádico, entonces tomamos
el desarrollo que contiene una in…nidad de 1’s.

Se parte del intervalo (0; 1] y su punto medio, para formar dos intervalos, 0; 12 y 21 ; 1 . Si
x 2 0; 12 , entonces el primer dígito de su desarrollo es 0, mientras que si x 2 21 ; 1 , el primer
dígito es 1. Supongamos que x 2 12 ; 1 ; entonces, el siguiente paso consiste en considerar
el punto medio de ese intervalo, para formar dos nuevos intervalos, 12 ; 232 y 232 ; 1 . Si x 2
1 3
; , entonces el segundo dígito de su desarrollo es 0, mientras que si x 2 232 ; 1 , el segundo
2 22
dígito es 1.

Continuamos de la misma manera, considerando, en cada paso, el punto medio del intervalo
en el cual se encuentra x.

Observemos que los primeros n dígitos del desarrollo de x determinan un intervalo de longitud
1
2n
en el cual se encuentra x.

Por ejemplo, supongamos que los primeros 5 dígitos del desarrollo de x son 10010. Esto nos
dice, considerando cada uno de los dígitos, lo siguiente:

1 1 2
x2 2
;1 = ;
2 2
ya que su primer dígito es 1.
1 3 2 3
x2 ;
2 22
= ;
22 22
ya que su segundo dígito es 0.
2 5 4 5
x2 ;
22 23
= ;
23 23
ya que su tercer dígito es 0.
9 5 9 10
x2 ;
24 23
= ;
24 24
ya que su cuarto dígito es 1.
 5

9 19 18 19
x2 ;
24 25
= ;
2 5 25
ya que su quinto dígito es 0.

Con esta idea en mente, vamos a demostrar el siguiente resultado.

Proposición 2. 1. Si (s1 ; s2; : : : sn ) y (r1 ; r2; : : : rn ) son dos elementos de Bn , distintos, en-
tonces los intervalos I(s1 ;s2 ;:::;sn ) y I(r1 ;r2 ;:::;rn ) son ajenos.
S
2. f(r1 ;r2; :::;rn )2Bn g I(r1 ;r2 ;:::;rn ) = (0; 1].

3. Para cualquier n 2 N, si (r1 ; r2; : : : ; rn ) 2 Bn , entonces

1
f I(r1 ;r2 ;:::;rn ) = (sk )k2N 2 B : sk = rk para cualquier k 2 f1; 2; : : : ; ng
Demostración

1. Sean (s1 ; s2; : : : sn ) y (r1 ; r2; : : : rn ) dos elementos distintos de Bn y de…namos

k0 = m n fk 2 f1; 2; : : : ; ng : rk 6= sk g

Entonces, siguiendo la idemostración de la proposición

i anterior, se tiene que los intervalos
Pk0 ri Pk0 ri 1
Pk0 si Pk0 si 1
i=1 2i ; i=1 2i + 2k0 y i=1 2i ; i=1 2i + 2k0 son ajenos.

Además:
Pn Pn Pk0 Pk0 i
si si 1 si si 1
i=1 2i ; i=1 2i + 2n i=1 2i ; i=1 2i + 2k0

Pn Pn Pk0 Pk0 i
ri ri 1 ri ri 1
i=1 2i ; i=1 2i + 2n i=1 2i ; i=1 2i + 2k0

En efecto:
Pk0 si Pn si
Pn si 1
Pk0 si
Pn si 1
i=1 2i i=1 2i < i=1 2i + 2n
= i=1 2i + i=k0 +1 2i + 2n

Pk0 si
Pn 1 1
Pk0 si
1
2k0 +1
1 1
2n 2 1
i=1 2i + i=k0 +1 2i + 2n
= i=1 2i + 1 + 2n
2

Pk0 si 1 1 1
Pk0 si 1
= i=1 2i + 2k0 2n
+ 2n
= i=1 2i + 2k0

Así que:
Pk0 si
Pn si
Pn si 1
Pk0 si 1
i=1 2i i=1 2i < i=1 2i + 2n i=1 2i + 2k0

Y, haciendo un desarrollo similar:

Pk0 ri
Pn ri
Pn ri 1
Pk0 ri 1
i=1 2i i=1 2i < i=1 2i + 2n i=1 2i + 2k0

Por lo tanto, los intervalos

6
Pn si
Pn si 1
I(s1 ;s2 ;:::;sn ) = i=1 2i ; i=1 2i + 2n

y
Pn ri
Pn ri 1
I(r1 ;r2 ;:::;rn ) = i=1 2i ; i=1 2i + 2n

son ajenos.
2. Para cada (r1 ; r2; : : : ; rn ) 2 Bn , de…namos

Br1 ;r2; :::;rn = (sk )k2N 2 B : sk = rk para cualquier k 2 f1; 2; : : : ; ng

S
Entonces, f(r1 ;r2; :::;rn )2Bn g Br1 ;r2; :::;rn = B y, por lo anterior:
Pn ri
Pn ri 1
f Br1 ;r2; :::;rn i=1 2i ; i=1 2i + 2n

Por lo tanto:
S Pn ri
Pn ri 1
f(r1 ;r2; :::;rn )2Bn g i=1 2i ; i=1 2i + 2n
= (0; 1]

3. Por el inciso 2, se tiene:

Pn ri
Pn ri 1
f Br1 ;r2; :::;rn = i=1 2i ; i=1 2i + 2n
= I(r1 ;r2 ;:::;rn )

Así que:
1
f I(r1 ;r2 ;:::;rn ) = Br1 ;r2; :::;rn

= (sk )k2N 2 B : sk = rk para cualquier k 2 f1; 2; : : : ; ng

Corolario 1. 1. Si (s1 ; s2; : : : ; sn ) 2 Bn y x 2 (0; 1], entonces, P: n: : ; ssin son1 los primeros
Pn s1s;i s2;
n términos del desarrollo de x en base 2 si y sólo si x 2 i=1 2i ; i=1 2i + 2n .

2. Para cada n 2 N y cada intervalo k2n1 ; 2kn , donde k 2 f1; 2; : : : ; 2n g, existe uno y sólo un
elemento (s1 ; s2 ; : : : ; sn ) 2 Bn tal que I(s1 ;s2 ;:::;sn ) = k2n1 ; 2kn .
0 n
3. La función fn : Bn ! ; 1 ; 2 ; : : : ; 2 2n 1
2n 2n 2n
de…nida por
P
fn ((s1 ; s2 ; : : : ; sn )) = nk=1 2skk

establece una relación uno a uno entre Bn y el conjunto

0 n
; 1 ; 2 ; : : : ; 2 2n 1
2 n 2n 2n
 7

Teorema de Heine-Borel

En el año 1895, Émile Borel encontró una propiedad de los intervalos cerrados y acotados
en R, la cual generó un concepto muy importante en el Análisis Matemático, el de conjunto
compacto.
Borel estaba atacando un problema de continuación analítica de una función de variable
compleja y, como parte de su razonamiento, demostró un resultado, el cual, simpli…cado
para el caso de un intervalo [a; b] de números reales, se puede enunciar como sigue:

Si I1 ; I2 ; : : : es una familia in…nita numerable de intervalos abiertos tales que la suma de

sus longitudes es menor que la longitud del intervalo [a; b], entonces la unión de todos los
intervalos In no cubre al intervalo [a; b].

Para probar lo anterior, Borel demostró que si la unión de los intervalos In cubriera al
intervalo [a; b], entonces existiría un subcolección …nita In1 ; In2 ; : : : ; Inm , de esos intervalos,
cuya unión cubriría a [a; b] y entonces se tendría:

P1 Pm
n=1 l(In ) k=1 l (Ink ) b a

La existencia de una colección …nita de intervalos que cubren a [a; b], partiendo de que la
unión de la colección in…nita lo cubre, lo demostró Borel de la siguiente manera:

Sea:

A = fx 2 [a; b] : [a; x] es cubierto por una colección …nita de intervalos In g

El conjunto A es distinto del vacío ya que a 2 A. Además, está acotado por b. Por lo tanto,
A tiene un supremo que llamaremos s.

Como a 2 A y b es cota superior de A se tiene a s b.

Como s 2 [a; b], hay un intervalo Ik = (ak ; bk ) al cual pertenece s. Siendo s el supremo de A,
existe x 2 A tal que x 2 (ak ; s]. Como x 2 A, hay una colección …nita de intervalos In cuya
unión cubre al intervalo [a; x]. Entonces agregándole a esa familia el intervalo Ik , obtenemos
una colección …nita de intervalos In cuya unión cubre al intervalo [a; s]; así que s 2 A.

Sea In1 ; In2 ; : : : ; Inm una colección …nita de intervalos In cuya unión cubre el intervalo [a; s]
y sea Inj = anj ; bnj uno de esos intervalos al cual pertenece s. Si se tuviera s < b, entonces
el intervalo [s; c) = s; bnj \ [s; b) sería distinto del vacío. Tomando cualquier y 2 (s; c) se
tendría s < y < bnj , así que la unión de los intervalos In1 ; In2 ; : : : ; Inm también cubriría al
intervalo [a; y]. Como (s; c) [a; b], se tendría y 2 [a; b] y, por lo tanto, y 2 A, lo cual no es
8

posible ya que s < y y s es el supremo de A. Por lo tanto, se tiene s = b. Así que la unión
de los intervalos In1 ; In2 ; : : : ; Inm cubre al intervalo [a; b].

Años más tarde, se encontraría un resultado más general, al cual ahora se le conoce como
teorema de Heine-Borel.

De manera general, si (X; d) es un espacio métrico, vamos a utilizar las siguientes de…niciones:

De…nición 1. Diremos que K X es compactoSsi para cualquier familia in…nita fG : 2 g

de subconjuntos abiertos de X tales que K 2 G , existe un conjunto …nito T tal
S
que K 2T G .

De…nición 2. Diremos que K X es numerablemente compacto si para cualquier S familia

in…nita numerable fGn : n 2 Ng de subconjuntos
S abiertos de X tales que K n2N Gn ,
existe un conjunto …nito T N tal que K n2T G n .

De…nición 3. Diremos que K X es secuencialmente compacto si para toda sucesión

(xn )n2N de elementos de K existe una subsucesión que converge a algún elemento de K.

De…nición 4. Diremos que una familia de subconjuntos de X, fF : 2 g, tiene T la propie-

dad de la intersección …nita si dado cualquier subconjunto …nito T , se tiene 2T F 6= ;.

De…nición 5. Diremos que A X es acotado si existe una bola abierta que lo contiene.

De…nición 6. Diremos que A X es totalmente acotado si para cualquier " > 0, existe un
conjunto …nito de bolas cerradas de radio " cuya unión cubre A.

El teorema de Heine-Borel asegura que en Rn , con la métrica usual, si K es un subconjunto

de Rn , cerrado y acotado, entonces K es compacto.

El inverso de este resultado también es válido; es decir, si K es un subconjunto compacto de

Rn entonces K es cerrado y acotado.

Combinando estos dos resultados, podemos decir que, en Rn , con la métrica usual, un con-
junto es compacto si y sólo si es cerrado y acotado.

Pasemos a demostrar estos resultados.

 9

De…nición 7. Llamaremos celda de Rn a un conjunto de la forma I1 I2 In , donde

I1 = [a1 ; b1 ] ; I2 = [a2 ; b2 ] ; ; In = [an ; bn ] son intervalos cerrados y acotados de números
reales tales que, para cualquier j 2 f1; 2; : : : ; ng, aj < bj .

De…nición 8. Si (Cm )m2N es una sucesión de celdas de Rn , diremos que éstas están anidadas
si Ck+1 Ck para cualquier k 2 N.

Proposición 3. Sea (Cm )m2N una sucesión de celdas anidadas de Rn , entonces \1

m=1 Cm 6= ;.

Demostración
(m) (m) (m) (1)
Sea I1 I2 In la celda Cm ; entonces, para cada j 2 f1; 2; : : : ; ng, los intervalos Ij ,
(2) (3)
Ij , Ij , . . . forman una sucesión anidada de intervalos cerrados y acotados; por lo tanto,
existe un número real xj en la intersección de todos ellos. Evidentemente, para cualquier
m 2 N, el vector (x1 ; x2 ; : : : ; xn ) pertenece a la celda Cm .

Proposición 4 (Teorema de Heine-Borel). Si K es un subconjunto de Rn , cerrado y acotado,

entonces K es compacto.

Demostración
S
Sea fG : 2 g una familia de subconjuntos abiertos de Rn tales que K 2 G y
denotemos por U a la familia de todos los subconjuntos …nitos .
S
Supongamos que no existe algún conjunto U 2 U tal que K u2U Gu .

(1) (1) (1)

Como K es acotado, existe una celda I1 I2 In que lo contiene, a la cual llamaremos
C1 . Podemos tomarla de tal forma que los intervalos I1 ; I2 ; : : : ; In tengan la misma longitud,
la cual denotaremos por L.

Vamos a construir, inductivamente, una sucesión (Cm )m2f2;3;:::g de celdas tales que, para
cualquier m 2 f2; 3; : : :g:
i) Cm Cm 1 .
S
ii) K \ Cm 6= ; y no existe algún conjunto U 2 U tal que K \ Cm u2U Gu .
(m) (m) (m) (m)
iii) Si Cm = I1 I2 In , entonces, para cualquier j 2 f1; 2; : : : ; ng, l Ij =
1
2(m 2) L.

De…niendo C2 = C1 , C2 cumple con las condiciones i ii y iii.

10
h i
(k) (k)
Tomemos ahora k 2 f2; 3; : : :g y supongamos que tenemos de…nida una celda Ck = a1 ; b1
h i h i
(k) (k) (k) (k)
a2 ; b2 an ; bn satisfaciendo las propiedades i ii y iii.
h i
(k) (k) (k)
Para cada j 2 f1; 2; : : : ; ng, denotemos por cj al punto medio del intervalo aj ; bj . De
h i h i
(k) (k) (k) (k)
esta forma, en cada coordenada j tenemos los intervalos aj ; cj y cj ; bj . Tomando en
cada coordenada uno de esos dos intervalos y considerando el producto cartesiano de ellos,
formamos una celda. El total de celdas que podemos formar de esa manera es igual a 2n y
si C = I1 I2 In es cualquiera de esas celdas, se tiene C Ck y, para cualquier
j 2 f1; 2; : : : ; ng, se tiene:

h i
(k) (k)
l (Ij ) = 12 l aj ; bj = 1
2 2(k
1
2) L= 2(k
1
1) L

S
Sabemos que no existe algún conjunto U 2 U tal que K \ Ck u2U Gu , así que, por lo
menos para una de las 2n celdas queSformamos, llamémosla C, se tiene que no existe algún
n
conjunto U 2 U tal que K \ C u2U Gu , porque si para cualquiera de las
S 2 celdas se
tuviera la propiedad contraria, existiría un conjunto U 2 U tal que K \ Ck u2U Gu . Para
esa celda C se tiene K \ C 6= ; ya que de otra forma se tendría K \ C G para cualquier
2 ,lo cual contradice la propiedad con la que elegimos a C.

De…namos entonces Ck+1 como una cualquiera de esas celdas C, entre las 2n celdas
S que
formamos, con la propiedad de que no existe algún conjunto U 2 U tal que K \C u2U G u.

La celda Ck+1 así de…nida satisface entonces las propiedades i, ii y iii.

Así que, por el principio de inducción matemática, para cada m 2 f2; 3; : : :g, queda de…nida
cada una de las celdas Cm satisfaciendo las propiedades i, ii y iii.
1 (m)
Denotemos por L(m) a la longitud común, igual a 2(m 2) L, de cada uno de los intervalos Ij
que componen la celda Cm .

Por la propiedad i, las celdas de la sucesión (Cm )m2N que hemos construido están anidadas,
así que \1
m=1 Cm 6= ;. Esta intersección es un conjunto formado por un único punto, ya que
si x = (x1 ; x2 ; : : : ; xn ) y y = (y1 ; y2 ; : : : ; yn ) pertenecen a esa intersección, entonces, para
(m)
cada j 2 f1; 2; : : : ; ng y cualquier m 2 f2; 3; : : :g, xj y yj pertenecen al intervalo Ij cuya
longitud es igual a L(m) ; así que jyj xj j L(m) = 2(m1 2) L para cualquier m 2 f2; 3; : : :g y,
entonces, xj = yj .

Sea z = (z1 ; z2 ; : : : ; zn ) el único punto en la intersección \1

m=1 Cm .
 11

(m) (m) (m)

Para cada m 2 f2; 3; : : :g, tomemos un elemento z (m) = z1 ; z2 ; : : : ; zn 2 K \ Cm ,
entonces tanto z como z (m) pertenecen a la celda Cm , así que, para cualquier j 2 f1; 2; : : : ; ng,
se tiene:
(m)
zj zj L(m)

Por lo tanto:
r
2 2 2
(m) (m) (m) (m)
d z ;z = z1 z1 + z2 z2 + + zn zn
p 1 p
L(m) n = 2(m 2) L n

Así que la sucesión z (m) m2f2;3;:::g

converge a z.

Además, z (m) 2 K para cualquier m 2 f2; 3; : : :g, así que, como K es cerrado, z = l mm!1
z (m) 2 K.
S
Por hipótesis, K 2 G , así que, teniendo z 2 K, existe algún conjunto G 0 tal que
z 2 G 0 . Siendo G 0 un conjunto abierto, existe una bola abierta, Br (z), con centro z y un
radio positivo r tal que Br (z) G 0 .

Por otra parte, como z es el centro de la bola Br (z), tomando h = 2pr n , la celda [z1 h; z1 + h]
[z2 h; z2 + h] [zn h; zn + h] está contenida en Br (z). En efecto, si x = (x1 ; x2 ; : : : ; xn ) 2
[z1 h; z1 + h] [z2 h; z2 + h] [zn h; zn + h], entonces, para cada j 2 f1; 2; : : : ; ng,
se tiene jxj zj j h, así que:
q
p
d (x; z) = (x1 z1 )2 + (x2 z2 )2 + + (xn zn )2 h n= r
2

Tomemos m0 2 f2; 3; : : :g tal que L(m0 ) = 2(m1 2) L < h, entonces, como z 2 Cm0 =
h i h i h i
(m) (m) (m) (m) (m) (m)
a1 ; b1 a2 ; b2 an ; bn , si y = (y1 ; y2 ; : : : ; yn ) es cualquier elemento
de Cm0 se tiene, para cualquier j 2 f1; 2; : : : ; ng:

jyj zj j L(m0 )

Así que:
q
p p
d (y; z) = (y1 z1 )2 + (y2 z2 )2 + + (yn zn )2 L(m0 ) n < h n = r
2

Por lo tanto, la celda Cm0 está contenida en la bola Br (z), la cual a su vez está contenida
en G 0 . En particular, se tiene K \ Cm0 G 0 .
12

Hemos llegado a una contradicción ya que construimos la sucesión (Cm )m2f2;3;:::g de tal forma
que,
S para cualquier m 2 f2; 3; : : :g, no existe algún conjunto U 2 U tal que K \ Cm
u2U Gu .

Por lo tanto,Sla hipótesis de la que partimos, a saber, que no existe algún conjunto U 2 U
tal que K u2U Gu , es falsa.
S
Así que existe algún conjunto U 2 U tal que K u2U Gu , lo cual prueba el resultado.

Si un conjunto K no es cerrado y acotado entonces no tiene la propiedad que se enuncia en

el teorema de Heine-Borel; en otras palabras existe una cubierta de K de la cual no se puede
extraer una subcubierta …nita. Por ejemplo:

1. Si, en R, tomamos K como el intervalo abierto y acotado (a; b), con a < b, la familia de
intervalos abiertos a; b b na : n 2 f2; 3; : : :g forman una cubierta de K, de la cual no
se puede extraer una subcubierta …nita.

2. Si, en R, tomamos K como el intervalo no acotado [a; 1), la familia de intervalos abiertos
f(a; a + n) : n 2 Ng forman una cubierta de K, de la cual no se puede extraer una subcubierta
…nita.

El inverso del teorema de Heine-Borel es válido en cualquier espacio métrico; y lo es no

únicamente para los conjuntos compactos, sino también para los que son numerablemente
compactos, lo cual demostramos a continuación.

Proposición 5. Sea K un subconjunto numerablemente compacto de un espacio métrico X,

entonces K es cerrado y acotado.

Demostración
Tomemos un elemento cualquiera z 2 X. La familia de bolas abiertas fBm (z) : m 2 Ng
forman una cubierta
S de K, así que existe un subconjunto
S …nito U de números naturales
tales que K m2U Bm (z). Si m0 = max U , entonces m2U Bm (z) = Bm0 (z), así que
K Bm0 (z) y, por lo tanto, está acotado.

Para demostar que K es cerrado, tomemos un elemento cualquiera y 2 K c y para cada

m 2 N, denotemos por Gm al complemento de la bola cerrada B 1 (y), de centro y y radio
m
1
m
. Se tiene entonces:
S S c T c
m2N Gm = m2N B 1 (y) = m2N B 1 (y) = (fyg)c = X fyg
m m

S
Así que, como y 2
= K, entonces K m2N Gm .
 13

Como los conjuntos

S Gm son abiertos, existe un subconjunto
S …nito U de números naturales
tales que K m2U Gm . Si m0 = max U , entonces m2U Gm = Gm0 , así que K Gm0 . Por
c c
lo tanto, B 1 (y) B 1 (y) = Gm0 K .
m0 m0

Así que, dado y 2 K c , existe una bola abierta de centro y, contenida en K c ; es decir, todos
los puntos de K c son interiores a K c , así que K c es abierto y, por lo tanto, K es cerrado.
14

Conjuntos compactos y secuencialmente compactos

Vamos a demostrar que, en cualquier espacio métrico X, un subconjunto K de X es compacto

si y sólo si es secuencialmente compacto; y también que un subconjunto K de X es compacto
si y sólo si es numerablemente compacto.

En lo que sigue, (X; d) es un espacio métrico cualquiera.

Proposición 6. Sea K un subconjunto de X secuencialmente compacto, entonces K es

cerrado y acotado.

Demostración

Si K no fuera acotado, dada cualquier bola abierta Br (x), de centro x 2 X y radio r 2 (0; 1),
existiría algún elemento de K que no pertenecería a esa bola.

Suponiendo entonces que K no es acotado, de…namos, inductivamente, una sucesión (xi )i2N
de elementos de K y una sucesión (ri )i2N de números reales positivos tales que :

i) xi 2 K Bri (x0 )

i) ri = d (xi 1 ; x0 ) + 1

donde tomamos x0 2 X, …jo.

De…namos r1 = 1 y x1 como cualquiera de los elementos de K que no pertenecen a la bola

Br1 (x0 ). Obviamente, x1 y r1 satisfacen las propiedades i y ii.

Tomemos ahora k 2 N y supongamos que tenemos de…nidos xk y rk satisfaciendo las

propiedades i y ii.

De…namos rk+1 = d (xk ; x0 ) + 1 y xk+1 como cualquiera de los elementos de K que no

pertenecen a la bola Brk+1 (x0 ). Obviamente, xk+1 y rk+1 satisfacen las propiedades i y ii.

Así que, por el principio de inducción matemática, quedan de…nidas las sucesiones (xi )i2N y
(ri )i2N satisfaciendo las propiedades i y ii.
Para cualquier j 2 N, se tiene:

d (xj+1 ; x0 ) rj+1 = d (xj ; x0 ) + 1

Así que, si xj es cualquier elemento de la sucesión (xi )i2N y k 2 N, se tiene:

d (xj+k ; x0 ) d (xj+k 1 ; x0 ) + 1 d (xj+k 2 ; x0 ) + 2 d (xj ; x0 ) + k

Además:
 15

d (xj+k ; x0 ) d (xj+k ; xj ) + d (xj ; x0 )

Así que:

d (xj+k ; xj ) d (xj+k ; x0 ) d (xj ; x0 ) d (xj ; x0 ) + k d (xj ; x0 ) = k

Por lo tanto, la distancia entre dos elementos cualesquiera de la sucesión (xi )i2N es mayor o
igual a 1, así que no existe alguna subsucesión convergente de esa sucesión, lo cual contradice
la hipótesis.
Por lo tanto, K es acotado.
Por otra parte, si K no tiene puntos de acumulación, entonces es cerrado.

Si el conjunto de puntos de acumulación de K es no vacío, sea x cualquiera de esos puntos,

entonces existe una sucesión (xi )i2N de elementos de K que converge a x; por lo tanto cual-
quier subsucesión de (xi )i2N converge también a x. Pero, por la hipótesis de la proposición,
existe una subsucesión de (xi )i2N que converge a algún elemento que pertenece a K; por lo
tanto x 2 K. Así que, K contiene a todos sus puntos de acumulación. Por lo tanto, también
en este caso, K es un conjunto cerrado.

Proposición 7. Sea fKn gn2N una familia de subconjuntos

T de X, numerablemente compactos
con la propiedad de la intersección …nita, entonces 1n=1 K n 6= ;.

Demostración
T S1 S1
Supongamos 1 n=1 Kn = ;, entonces
c
n=1 Kn = X. Así que Kn0
c
n=1 Kn para cualquier
n0 2 N. Sea n0 2 N arbitraria,Sentonces, como Kn0 es numerablemente compacto, existen
m c
n1 : : : ; nm 2 N tales que Kn0 k=1 Knk . Entonces:

Tm Sm c
k=0 Knk = Kn0 \ k=1 Knc k =;

lo cual es una contradicción.

Proposición 8. Sea fK g 2 una familia de subconjuntos compactos de X, con la propiedad

T
de la intersección …nita, entonces 2 K 6= ;.

Demostración
T S c
S c
Supongamos 2 K = ;, entonces 2 K = X. Así que K 0 2 K para cualquier
0 2 . SeaS 0 2 arbitraria, entonces, como K 0 es compacto, existen 1 : : : ; n 2 tales
n c
que K 0 k=1 K k . Entonces:
16

Tn Sn c
k=0 K k
=K 0
\ k=1 K ck =;

lo cual es una contradicción.

Proposición 9. Sea K X cerrado. Supongamos que cualquier familia numerable de sub-

conjuntos cerrados de K con la propiedad de la intersección …nita tiene una intersección no
vacía. Entonces K es numerablemente compacto.

Demostración
S1
Sea fGn gn2N una familia
Snde subconjuntos abiertos tales que K n=1 Gn y, para cada
n 2 N, de…namos En = k=1 Gk .

Si K \ Enc 6= ; para cualquier n 2 N, entonces la familia de conjuntos

S1 cerrados c
T1 fK \ En gc n2N
c
tiene la propiedad de la intersección …nita. Por lo tanto, K \ ( n=1 Gn ) = n=1 (K \ En ) 6=
;, lo cual es una contradicción.
Sn
Por lo tanto, K \ Enc = ; para alguna n 2 N, así que K k=1 Gk para alguna n 2 N.

Así que K es numerablemente compacto.

Proposición 10. Sea K X cerrado. Supongamos que cualquier familia de subconjuntos

cerrados de K con la propiedad de la intersección …nita tiene una intersección no vacía.
Entonces K es compacto.

Demostración
S
Sea fG g 2 una familia de subconjuntos abiertos tales que K 2 G y S la familia de
los subconjuntos …nitos de .
S
Para cada T 2 S, de…namos ET = 2T G .

Si K \ ETc 6= ; para cualquier T 2 S, entonces la familia de conjuntos cerrados fK \ ETc gT 2S;

S c T c
tiene la propiedad de la intersección …nita. Por lo tanto, K \ 2 G = 2 (K \ ET ) 6=
;, lo cual es una contradicción.
S
Por lo tanto, K \ ETc = ; para algún T 2 S, así que K 2T G para algún T 2 S.

Así que K es compacto.

 17

Corolario 2. Un conjunto cerrado K X es numerablemente compacto si y sólo si cualquier

familia numerable de subconjuntos cerrados de K con la propiedad de la intersección …nita
tiene una intersección no vacía.

Corolario 3. Un conjunto cerrado K X es compacto si y sólo si cualquier familia de

subconjuntos cerrados de K con la propiedad de la intersección …nita tiene una intersección
no vacía.

Teorema 1. Un conjunto K X es secuencialmente compacto si y sólo si es numerable-

mente compacto.

Demostración

Supongamos que K es secuencialmente compacto y sea fFn gn2N familia de subconjuntos

cerrados de K con la propiedad de la intersección …nita.
T
Para cada n 2 N, de…namos Hn = nk=1 Fk y tomemos xn 2 Hn .
Obsérvese que, para cualquier j 2 N, xn 2 Fj para cualquier n j.

Como K es secuencialmente compacto, existe una subsucesión convergente, (xnk )k2N , de

(xn )n2N .

Sea x = l mk!1 xnk .

T1
Si j 2 N y k j, entonces nk j, así que xnk 2 Fj . Por lo tanto, x 2 k=1 Fk .

Así que K es numerablemente compacto.

Inversamente, supongamos que K es numerablemente compacto y sea (xn )n2N una sucesión
de elementos de K.

Para cada n 2 N, de…namos Cn = fxn ; xn+1 ; : : :g. Entonces, la familia

T de conjuntos cerrados
Cn n2N tiene la propiedad de la intersección …nita. Por lo tanto, 1 n=1 Cn 6= ;.
T
Sea x 2 1 1
n=1 Cn , entonces, para cada n 2 N, existe xm 2 Cn tal que d (xm ; x) < n . Podemos
de…nir entonces inductivamente una subsucesión (xnk )k2N de (xn )n2N tal que d (xnk ; x) < n1k
para cualquier k 2 N. Así que (xnk )k2N converge a x.

Por lo tanto, K es secuencialmente compacto.

Proposición 11. Sea K X un conjunto secuencialmente S compacto. Entonces, para cual-

quier " > 0, existe un conjunto …nito T K tal que K x2T B" (x).
18

Demostración
S c
Supongamos que para alguna " > 0 se tiene que K \ x2T B" (x) 6= ; para cualquier
conjunto …nito T K. Sea x1 2 K arbitrario Tk y de…namos inductivamente una sucesión
c
(xn )n2N de elementos de K tal que xk+1 2 j=1 B" (xj ), es decir, d (xk+1 ; xj ) " para
cualquier j 2 f1; : : : ; kg. Se tiene entonces d (xn ; xm ) " para cualesquiera n; m 2 N
distintas. Así que no existe ninguna subsucesión convergente de (xn )n2N , lo cual es una
contradicción ya que K es secuencialmente compacto.

Corolario 4. Si K X es un conjunto secuencialmente compacto, entonces es totalmente

acotado.

Proposición 12. Sea K X un conjunto secuencialmente compacto. Entonces K contiene

un subconjunto denso numerable.
Demostración
S
Para cada n 2 N, sea Tn un subconjunto …nito de K tal que K x2Tn B 1 (x). De…namos
S n
T = 1 n=1 Tn .

Si x 2 K entonces, para cada n 2 N, existe xn 2 Tn T K tal que d (xn ; x) < n1 . Así que
x 2 T , es decir, K = T .

Proposición 13. Si A X es totalmente acotado y H = fG : 2 g es una familia de

subconjuntos abiertos de X cuya unión cubre A, entonces existe una colección numerable de
conjuntos G 2 H cuya unión sigue cubriendo A.
Demostración

Si A es vacío el resultado es trivial; así que asumiremos que A 6= ;.

Para cada n 2 N, sea Bn un subconjunto …nito de X tal que la unión de las bolas cerradas
de centro cada uno de los puntos de Bn y radio n1 cubre A y sea B = [1
n=1 Bn .

De…namos:
n o
M = (n; y) : n 2 N, y 2 Bn y existe 2 tal que B 1 (y) G
n

S
Como A 2T G , dado x 2 A, existe 2 tal que x 2 G . Siendo G abierto, existe una
bola Br (x) contenida en G . Tomemos n 2 N tal que n1 < 2r .
S
Como A 1 (y), existe y 2 Bn tal que x 2 B 1 (y). Entonces, si z 2 B 1 (y), se
y2Bn B n n n
tiene:
 19

1 1 2
d (z; x) d (z; y) + d (y; x) n
+ n
= n
<r

Así que z 2 Br (x); por lo tanto:

B 1 (y) Br (x) G
n

Hemos demostrado entonces que, dado x 2 A, existen n 2 N y y 2 Bn tales que (n; y) 2 M

y x 2 B 1 (y).
n

En particular, lo anterior demuestra que el conjunto M es no vacío y, obviamente, es un

conjunto numerable.
Denotemos por (r1 ; s1 ), (r2 ; s2 ), . . . los elementos de M .

Para cada (rk ; sk ) 2 M , tomemos un elemento 2 tal que B 1 (sk ) G y denotemos ese
rk
elemento por k .

Con esta notación, podemos enunciar el resultado anterior de la siguiente manera:

Para cada x 2 A, existe un elemento (rk ; sk ) tal que x 2 B 1 (sk ) G k.

rk

S
Por lo tanto, A k G k , lo cual demuestra el resultado

Teorema 2. Un conjunto K X es secuencialmente compacto si y sólo si es compacto.

Demostración

Si K es compacto, entonces es numerablemente compacto, así que, por el teorema 1, es

secuencialmente compacto.

Inversamente, si K es secuencialmente compacto, entonces, por el teorema 1, es numerable-

mente compacto. Además, por el corolario 4, también es totalmente acotado, así que, por la
proposición 13, si H = fG : 2 g es una familia de subconjuntos abiertos
S de X cuya unión
cubre A, entonces existe un conjunto numerable tal que K G . Por lo tanto,
2 S
siendo K numerablemente compacto, existe un conjunto …nito T tal que K 2T Gn .
Lo cual demuestra que K es compacto.

Corolario 5. Si K es un subconjunto de X, las siguientes condiciones son equivalentes:

i) K es compacto.
ii) K es numerablemente compacto.

iii) K es secuencialmente compacto.

20

En el caso de cualquier espacio métrico, no siempre los conjuntos cerrados y acotados son
compactos. Por ejemplo consideremos el conjunto:

F = ff : [c; d] 7! R : f es acotadag

donde c y d son dos números reales tales que c < d.

Si f 2 F, de…namos kf ks = sup fjf (x)j : x 2 [a; b]g y si f; g 2 F, de…namos ds (f; g) =
kg f ks . Sabemos que (F; ds ) es un espacio métrico (completo).
Sea (xn )n2N una sucesión de puntos distintos en [c; d] y, para cada n 2 N, de…namos fn :
[c; d] ! R de la siguiente manera:

1 si x = xn
fn (x) =
0 en otro caso

Se tiene kfn ks = 1 para cualquier n 2 N y ds (fn ; fm ) = 1 para cualquier pareja de números

naturales, m y n, tales que n 6= m.

Evidentemente, el conjunto K = ff1 ; f2 ; : : :g es acotado.

Además, K no tiene puntos de acumulación. En efecto, ninguna de las funciones fn puede

ser punto de acumulación de K, ya que, dada cualquiera de ellas, la bola con centro en esa
función y radio 21 no contiene alguna otra función en K. Ahora, si una función f en F, que
no pertenece a K, fuera punto de acumulación de K, entonces existirían dos funciones fn1 y
fn2 en K tales que:

1
0 < ds (fn1 ; f ) < 4

0 < ds (fn2 ; f ) < ds (fn1 ; f )

En efecto, consideremos una bola abierta de centro f y radio 14 . Esas bola contiene algún
elemento fn1 de K.

Por la última desigualdad, se tendría fn1 6= fn2 , así que ds (fn1 ; fn2 ) = 1:
Por otra parte, se tendría:

1
ds (fn1 ; fn2 ) ds (fn1 ; f ) + ds (f; fn2 ) < 2ds (fn1 ; f ) < 2

llegando así a una contradicción.

Siendo vacío el conjunto de puntos de acumulación de K, podemos concluir que K es cerrado.

Tenemos entonces que el conjunto K es cerrado y acotado.

 21

Ahora bien, consideremos, para cada n 2 N, la bola abierta de radio 41 y centro fn . La

unión de esas bolas contiene a K, pero la unión de cualquier colección …nita de esas bolas
únicamente contiene un número …nito de elementos de K, a saber, los centros de ellas. Por
lo tanto, K no es compacto.

El mismo ejemplo nos sirve para mostrar que un conjunto acotado no siempre es totalmente
acotado.

Consideremos el subconjunto de F formado por las funciones fn (n 2 N) tales que el conjunto

K = ff1 ; f2 ; : : :g es cerrado y acotado pero no compacto.

El conjunto K no es totalmente acotado; en efecto, como kfn ks = 1 para cualquier n 2 N y

ds (fn ; fm ) = 1 para cualquier pareja de números naturales, m y n, tales que n 6= m, entonces
para " = 41 , cualquier bola cerrada de radio " contiene a lo más un elemento de K, ya que si
f y g pertenecen a esa bola y h es su centro, entonces:
1
d (f; g) d (f; h) + d (h; g) 2

1
Por lo tanto, no existe un conjunto …nito de bolas cerradas de radio " = 4
cuya unión cubra
K.

Caracterización de los conjuntos compactos en espacios métricos

completos

De…nición 9. Diremos que A X es relativamente compacto si A es compacto.

Por la proposición 5, el teorema 2 y el corolario 4, se tiene el siguiente resultado:

Proposición 14. Si K X es un conjunto compacto, entonces es cerrado y totalmente

acotado.

Proposición 15. Un conjunto B X es totalmente acotado si y sólo si toda sucesión

(xn )n2N de elementos de B contiene una subsucesión de Cauchy.

Demostración

Supongamos que B es totalmente acotado y sea (yn )n2N una sucesión de elementos de B.
S
Tomemos un conjunto …nito T1 X tal que K x2T1 B1 (x). Siendo T1 …nito, por lo
menos una de las bolas B1 (x), con x 2 T1 , contiene una in…nidad de elementos de la sucesión
(yn )n2N . Sea B1 (x1 ) una de esas bolas.
22
S
Tomemos ahora un conjunto …nito T2 X tal que K x2T2 B 21 (x). Siendo T2 …nito, por lo
menos una de las bolas B 1 (x), con x 2 T2 , es tal que B1 (x1 ) \ B 1 (x) contiene una in…nidad
2 2
de elementos de la sucesión (yn )n2N . Sea B 1 (x2 ) una de esas bolas.
2
n o
Mediante ese proceso podemos de…nir inductivamente una sucesión de bolas B 1 (xn )
T n n2N
tales que, para cualquier n 2 N, el conjunto nk=1 B 1 (xk ) contiene una in…nidad de elementos
k
de la sucesión (yn )n2N .

Tomemos yn1 2 B1 (x1 ) y de…namos inductivamente una subsucesión (ynk )k2N tal que, para
T
cualquier k 2 N, ynk 2 kj=1 B 1 (xj ). Se tiene entonces d (ynk ; xj ) < 1j para cualquier j 2
j
1
f1; : : : ; kg; así que, …jando j 2 N, se tiene d (ynk ; xj ) < j
para cualquier k j.
2
Por lo tanto, …jando j 2 N, se tiene d (ynk ; ynk ) < j
para cualesquiera k; m j. Así que la
sucesión (ynk )k2N es de Cauchy.

Supongamos
S ahora que B no es totalmente acotado. Entonces, existe " > 0 tal que K \
c
x2T B" (x) 6= ; para cualquier conjunto …nito T X (en particular, para cualquier
conjunto …nito T K). Sea x1 2 K arbitrario y de…namos inductivamente una sucesión
T
(xn )n2N de elementos de K tal que xk+1 2 kj=1 B"c (xj ), es decir, d (xk+1 ; xj ) " para
cualquier j 2 f1; : : : ; kg. Se tiene entonces d (xn ; xm ) " para cualesquiera n; m 2 N
distintas. Así que no existe ninguna subsucesión de (xn )n2N que sea de Cauchy.

Proposición 16. Un conjunto B X es relativamente compacto si y sólo si para toda

sucesión (xn )n2N de elementos de B existe una subsucesión convergente.

Demostración

Si B es relativamente compacto, entonces B es secuencialmente compacto, así que toda

sucesión (yn )n2N de elementos de B contiene una subsucesión convergente (a algún punto de
B).

Inversamente, supongamos que para toda sucesión (xn )n2N de elementos de B existe una
subsucesión convergente y sea (yn )n2N una sucesión de elementos de B.

Para cada n 2 N, sea zn 2 B tal que d (yn ; zn ) < n1 . Tal zn existe pues si yn 2 B podemos
tomar zn = yn y si yn 2
= B entonces yn es punto de acumulación de B.
Sea ahora (znk )k2N una subsucesión convergente de (zn )n2N y z = l mk 1 znk . Entonces,
como:
1
d (ynk ; z) d (ynk ; znk ) + d (znk ; z) < d (znk ; z) + nk

se tiene z = l mk 1 ynk .
 23

Además, como B es cerrado, z 2 B.

Por lo tanto, para toda sucesión (yn )n2N de elementos de B existe una subsucesión con-
vergente a algún elemento de B. Es decir, B es secuencialmente compacto y, por lo tanto,
compacto.

Corolario 6. Si X es completo, entonces un conjunto K X es relativamente compacto si

y sólo si es totalmente acotado.

Demostración
Supongamos que K es relativamente compacto y tomemos una sucesión (xn )n2N cualquiera
de elementos de K; entonces, por la proposición 16, existe una subsucesión de (xn )n2N que
es convergente y, por lo tanto, de Cauchy; así que por la proposición 15, K es totalmente
acotado.

Inversamente, supongamos que K es totalmente acotado y tomemos una sucesión (xn )n2N
cualquiera de elementos de K ; entonces, por la proposición 15, existe una subsucesión de
(xn )n2N que es de Cauchy. Siendo X completo, esa subsucesión es convergente; así que, por
la proposición 16, K es relativamente compacto.

Corolario 7. Si X es completo, entonces cualquier conjunto K X cerrado y totalmente

acotado, es compacto.

Demostración

Si K X es un conjunto cerrado y totalmente acotado, entonces, por el corolario 6, es

relativamente compacto; así que K = K es compacto.

Por la proposición 14 y el corolario 7 se tiene entonces el siguiente resultado:

Teorema 3. Si X es completo, un conjunto K X es compacto si y sólo si es cerrado y

totalmente acotado.

Si X no es completo, es posible que haya subconjuntos cerrrados y totalmente acotados

que no sean compactos. Por ejemplo, tomemos X = Q con la distancia usual entre números
reales; entonces el conjunto A = fx 2 Q : 2 < x2 < 3g es cerrado y totalmente acotado, pero
no compacto.
24

Espacios vectoriales

Denotaremos por R al conjunto de números reales con las operaciones usuales de suma y
multiplicación. Partimos de que R es un campo ordenado arquimediano en el cual todo
subconjunto acotado superiormente tiene un supremo, propiedad que equivale a decir que
(In )n2N es cualquier sucesión de intervalos no vacíos cerrados y acotados tales que In+1 In
para cualquier n 2 N, entonces \1 n=1 In 6= ;.

Denotaremos por C al conjunto de números complejos con las operaciones usuales de suma
y multiplicación.
p p
Recordemos que para cualquier = c + di 2 C, se tiene j j = = c2 + d2 , así que:

j j2 = 41 ( + )2 1
4
( )2

j + j = 2 jcj 2j j

j j = 2 jdj 2j j

Asumimos que el lector está familiarizado con las propiedades básicas de los espacios vecto-
riales sobre un campo, tal como R y C.

Damos la siguientes de…niciones con el objeto de …jar la terminología.

Únicamente consideraremos espacios vectoriales sobre los números reales o sobre los números
complejos, de manera que en lo que sigue F podrá substituirse ya sea por R o por C.

De…nición 10. Un espacio vectorial sobre F es un conjunto X no vacío para el cual están
de…nidas dos operaciones, las cuales llamaremos suma y multiplicación por un escalar.

La operación suma asocia a cada pareja de elementos x; y 2 X un elemento z 2 X, el cual

será denotado por x + y, y satisface las siguientes propiedades:

x + y = y + x para cualesquiera x; y 2 X.
x + (y + z) = (x + y) + z para cualesquiera x; y; z 2 X.
Existe un elemento de X, denotado por 0, tal que x + 0 = x para cualquier x 2 X.

Para cualquier x 2 X, existe un elemento de X, denotado por x, tal que x + ( x) = 0.

La operación multiplicación por un escalar asocia a cada pareja ; x formada por un elemento
2 F y un elemento x 2 X, un elemento de x, denotado por x, y satisface las siguientes
propiedades:
( x) = ( ) x para cualesquiera ; 2 F y cualquier x 2 X.
 25

( + ) x = x + x para cualesquiera ; 2 F y cualquier x 2 X.

(x + y) = x + y para cualesquiera x; y 2 X y 2 F.
Si = 1, entonces x = x para cualquier x 2 X.

De…nición
Pn 11. Una combinación lineal de elementos de X es una expresión de la forma
k=1 n xn en donde 1 ; : : : ; n 2 F y x1 ; : : : ; xn 2 X.

De…nición 12. Diremos que un conjunto Y X es un subespacio vectorial de X si Y es un

espacio vectorial con las mismas operaciones de suma y multiplicación por escalares de…nidas
para X.

Se puede ver fácilmente que si X es un espacio vectorial y Y es un subconjunto de X, entonces

Y es un subespacio vectorial de X si y sólo si x + y 2 Y para cualesquiera ; 2 F y
x; y 2 Y .

Si X es un espacio vectorial y Y es cualquier subconjunto de X, el conjunto formado por

todas las combinaciones lineales de elementos de Y es un subespacio vectorial de X, al cual
nos referiremos como el subespacio vectorial generado por Y .

De…nición 13. Si X es un espacio vectorial sobre F y A es un subconjunto de X, diremos

que los elementos de A son linealmente independientes P si dado cualquier subconjunto
Pn …nito
n
fx1 ; : : : ; xn g A no existe ninguna combinación lineal k=1 n xn tal que k=1 n xn = 0 y
k 6= 0 para alguna k 2 f1; : : : ; ng.

De…nición 14. Si X es un espacio vectorial sobre F y A es un subconjunto de X, diremos

que A constituye una base de X si los elementos de A son linealmente independientes y para
cualquier x 2 X existe un conjunto …nito B = fx1 ; : : : ; xn g A tal que x se puede expresar
como combinación lineal de los elementos de B.

De…nición 15. Diremos que un espacio vectorial X tiene dimensión …nita si existe una base
…nita de X. En otro caso diremos que X tiene dimensión in…nita.

La mayor parte de los espacios vectoriales que consideraremos serán subespacios de algún
espacio vectorial del tipo siguiente:

Sea B F y X el conjunto formado por todas las funciones f : B 7! F. Considerando las

operaciones usuales de suma de funciones y de multiplicación de una función por un elemento
de F, X es un espacio vectorial sobre F.
26

Proposición 17. Sea X un espacio vectorial sobre F y B = fx1 ; : : : ; xn g X. Si y1 ; : : : ; ym

son vectores en el subespacio vectorial generado por B, linealmente independientes, entonces
m n.

Demostración
Pn
Para cada j 2 f1; : : : ; mg, yj es una combinación lineal de elementos en B, yj = i=1 aij xi .

Sean 1; : : : ; m 2 C. Entonces:
Pn Pm Pm Pn Pm
i=1 j=1 j aij xi = j=1 j i=1 aij xi = j=1 j yj

Así que:
P Pm
Si m j=1 j aij = 0 para cualquier i 2 f1; : : : ; ng, entonces j=1 j yj = 0, lo cual implica que
1 = 2 = = m = 0.
P
Por lo tanto, el sistema de ecuaciones m j=1 j aij = 0, con i 2 f1; : : : ; ng, tiene como única
solución la trivial, es decir, 1 = 2 = = m = 0.
Pm
j=1 j aij = 0, con i 2 f1; : : : ; ng, constituye un sistema homogeneo de n ecuaciones con m
incógnitas. Si se tuviera m > n, tendríamos un sistema homogeneo con más incógnitas que
ecuaciones, el cual admite una in…nidad de soluciones, lo cual es una contradicción.

Corolario 8. Sea X un espacio vectorial sobre F y supongamos que X tiene una base …nita
formada por n vectores. Entonces cualquier base de X está formada por n vectores.

Espacios vectoriales normados

De…nición 16. Sea X un espacio vectorial sobre F. Diremos que una función x ! kxk,
de…nida sobre X y con valores en R, es una norma si satisface las siguientes propiedades:

kxk 0 para cualquier x 2 X.

kxk = 0 si y sólo si x = 0.
k xk = j j kxk para cualesquiera = F y x 2 X.
kx + yk kxk + kyk para cualesquiera x; y 2 X.

De…nición 17. Si X es un espacio vectorial en donde está de…nida una norma, diremos
que X es un espacio vectorial normado.
 27

De…nición 18. Sea X Pun espacio vectorial de dimensión …nita sobre F y B = fx1 ; : : : ; xn g
una base de X. Si x = nk=1 k xk , de…nimos kxk0;B = max fj k j : k 2 f1; : : : ; ngg.

Se prueba inmediatamente que la función x 7! kxk0;B es una norma sobre X.

De…nición 19. La norma kxk0;B será llamada la norma del máximo en la base B.
P
Además si kk es cualquier otra norma de…nida sobre X y x = nk=1 k xk , entonces:
P Pn P
kxk = k nk=1 k xk k k=1 j k j kxk k kxk0;B nk=1 kxk k

Proposición 18. Sea X un espacio vectorial de dimensión …nita sobre F y B = fx1 ; : : : ; xn g

una base de X. Entonces X es completo con respecto a la norma kxk0;B .

Demostración
Pn (m)
Sea (ym )m2N una sucesión de Cauchy con respecto a kk0;B . Si ym = k=1 k xk , entonces,
(i) (j) (m)
como k k kyi yj k0;B para cualesquiera i; j 2 N, la sucesión k es de
m2N
(m)
Cauchy para cualquier
Pn k 2 f1; : : : ; ng. Sea k = l mm 1 k , para k 2 f1; : : : ; ng, y
de…namos y = k=1 k xk .
Dada " > 0, sea N tal que kyi yj k0;B < " para cualesquiera i; j 2 N mayores o iguales a
(i) (j)
N . Entonces, también se tiene k k < " para cualesquiera i; j 2 N mayores o iguales
a N y cualquier k 2 f1; : : : ; ng. Fijando i N , se tiene, para cualquier k 2 f1; : : : ; ng:

(i) (i) (j)

k k = l mj 1 k k "

Por lo tanto:
n o
(i)
kyi yk0;B = max k k : k 2 f1; : : : ; ng "

Así que la sucesión (ym )m2N converge a y.

Proposición 19. Sea X un espacio vectorial de dimensión …nita sobre F, B = fx1 ; : : : ; xn g

una base de X y kk una norma de…nida sobre X. Entonces existe una constante positiva c
tal que kxk c kxk0;B para cualquier x 2 X.

Demostración

La demostración se hará por inducción sobre la dimensión de X.

28

Supongamos que el resultado es válido para cualquier espacio vectorial de dimensión k,

cualquier base de ese espacio y cualquier norma de…nida sobre él.
Sea ahora Y un espacio vectorial de dimensión k + 1, BY = fy1 ; : : : ; yk+1 g una base de Y y
kk una norma de…nida sobre Y .

Tomemos cualquier yi 2 BY y sea M el subespacio vectorial generado por A = BY fyi g.

Por la hipótesis de inducción, sabemos que existe una constante positiva cM tal que kyk
cM kyk0;A para cualquier y 2 M .

Sea (zm )m2N una sucesión de Cauchy, en M , con respecto a la norma kk. Entonces, como
1
kyk0;A cM
kyk para cualquier y 2 M , (zm )m2N es también una sucesión de Cauchy con
respecto a la norma kk0;A . Sea z el límite de la sucesión con respecto a kk0;A . Entonces,
Pk+1
como kzm zk kzm zk0;A j=1 kyj k kyi k para cualquier m 2 N, (zm )m2N también
converge a z con respecto a la norma kk. Así que M es completo y, por lo tanto, es un
subconjunto cerrado de X.

Como los vectores y1 ; : : : ; yk+1 son linealmente independientes, yi 2 M c . Así que existe una
bola abierta de radio i > 0 y centro yi , completamente contenida en M c . Por tanto,
ky yi k i para cualquier y 2 M .
P
Tomemos y = k+1 j=1 j yj 2 Y .

Pk+1 j
Pk+1 j
Si i 6= 0, entonces yi j=1 i
yj 2 M , así que j=1 i
yj i. Por lo tanto:

Pk+1
kyk = j=1 j yj j ij i

Obviamente también se tiene kyk j ij i cuando i = 0.

De…namos cY = m n f i : i 2 f1; : : : ; k + 1gg. Entonces cY > 0 y se tiene kyk j i j cY para

cualquier i 2 f1; : : : ; k + 1g. Así que:

kyk cY max fj i j : f i : i 2 f1; : : : ; k + 1ggg = cY kyk0;BY

Corolario 9. Sea X un espacio vectorial de dimensión …nita sobre F y kk1 y kk2 dos normas
de…nidas sobre X. Entonces existen dos constantes positivas a y b tales que a kxk1 kxk2
b kxk1 para cualquier x 2 X.

Corolario 10. Sea X un espacio vectorial de dimensión …nita sobre F. Entonces X es

completo con respecto a cualquier norma de…nida sobre él.
 29

Corolario 11. Sea X un espacio vectorial normado. Entonces cualquier subespacio de X de

dimensión …nita es cerrado.
Demostración

Todo subespacio vectorial de dimensión …nita es completo. Por lo tanto, es un subconjunto

cerrado de X.

Proposición 20. Sea X un espacio vectorial normado de dimensión …nita. Entonces todo
subconjunto de X, cerrado y acotado, es compacto.
Demostración

Sea B = fx1 ; : : : ; xm g una base de X y a; b dos constantes positivas tales que kxk0;B a kxk
y kxk b kxk0;B para cualquier x 2 X, en donde kk es la norma en X.

Sea K X un conjunto cerrado y acotado, M tal que kxk M para cualquier x 2 K y

(yn )n2N una sucesión de elementos en K.
P
Si, para cada n 2 N, yn = m i=1 ni xi , entonces:

max fj ni j : i 2 f1; : : : ; ngg = kyn k0;B a kyn k aM

Así que, para cada i 2 f1; : : : ; ng, la sucesión ( ni )n2N está acotada.

Sean (1)
nk 1 k2N
una subsucesión convergente de ( n1 )n2N , (2)
nk 2 k2N
una subsucesión con-
vergente de (1)
nk 2 k2N
, . . . . Obtenemos de esta forma una subsucesión (ynk )k2N de (yn )n2N
tal que, para cualquier i 2 f1; : : : ; ng, la sucesión ( es convergente.
nk i )k2N
Pm
Para i 2 f1; : : : ; ng, sea i = l mk 1 nk i y de…namos y = i=1 i xi . Entonces:

Por lo tanto, la subsucesión (ynk )k2N es convergente.

Además, como K es cerrado, y 2 K.
K es entonces secuencialmente compacto y, por lo tanto, compacto.

Lema 1. Sea X un espacio vectorial normado, M un subespacio vectorial cerrado, contenido

propiamente en X, y " 2 (0; 1) arbitraria. Entonces existe un vector x" 2 X de norma 1 y
tal que kx" xk > 1 " para cualquier x 2 M .
Demostración
Sea y 2 X M y de…namos:
30

d = nf fky xk : x 2 M g

d es positiva pues si d fuera igual a cero entonces existiría una sucesión de elementos de M
que converge a y, así que, como M es cerrado, se tendría y 2 M .
d d
Ahora bien, como d < 1 "
, existe z 2 M tal que d ky zk < 1 "
.
y z
De…namos x" = ky zk
. Entonces kx" k = 1 y, si x 2 M , se tiene:

y z 1
kx" xk = ky zk
x = ky zk
k(y z) ky zk xk

1 d
= ky zk
ky (z + ky zk x)k ky zk
>1 "

Proposición 21. Sea X un espacio vectorial normado de dimensión in…nita. Entonces la

bola cerrada de radio 1 y centro 0 no es un conjunto compacto.

Demostración

Sea x1 2 X un vector arbitrario de norma 1. Utilizando el lema 1, podemos de…nir induc-

tivamente una sucesión de vectores xn 2 X tales que, para cualquier n 2 N, kxn k = 1 y
ky xn+1 k > 21 para cualquier y en el espacio vectorial generado por fx1 ; : : : ; xn g, el cual es
cerrado por ser de dimensión …nita. En particular, se tiene kxn xm k > 12 para cualesquiera
n; m 2 N distintos.

Supongamos que existe una subsucesión (xnk )k2N convergente. Tal sucesión sería de Cauchy,
así que existiría N tal que xnj xnk < 12 para cualesquiera j; k 2 N mayores que N , lo
cual es imposible.

Por lo tanto, la bola cerrada de radio 1 y centro 0 no es un conjunto secuencialmente com-

pacto. Así que no es compacto.

Corolario 12. Sea X un espacio vectorial normado. Entonces X tiene dimensión …nita si
y sólo si todo subconjunto de X, cerrado y acotado, es compacto.

De…nición 20. Sea X un espacio vectorial normado. Diremos que X es un espacio de

Banach si es completo con respecto a la métrica de…nida por la norma.

Proposición 22. No existe ningún espacio de Banach con una base in…nita numerable.
 31

Demostración

Sea X un espacio de Banach y supongamos que B = fx1 ; x2 ; : : :g es una base in…nita nume-
rable de X.

Para cada n 2 N, de…namos Bn = fx1 ; : : : ; xn g y denotemos por Xn al espacio vectorial

generado por Bn .
Cada espacio vectorial Xn tiene dimensión …nita, así que es completo. Por lo tanto, Xn es
un subconjunto cerrado de X.
1 1
Sea x 2 Xn , > 0, y 2 B Bn y N 2 N tal que N
kyk < . Entonces, si z = x + N
y, se
= Xn y kz yk = N1 kyk <
tiene z 2

Así que cualquier bola con centro x contiene elementos de Xnc . Por lo tanto, el interior de
Xn es vacío.

Xn es entonces un conjunto denso en ninguna parte.

Además, como
S B es una base de X, cualquier x 2 X pertenece a Xn para alguna n 2 N. Así
que X = 1 n=1 n .
X

X es entonces de categoría I, lo cual nos conduce a una contradicción pues todo espacio
métrico completo es de categoría II.

Proposición 23. Sea P X un espacio vectorial normado y (xn )n2N una sucesión de elementos
1
PnX tal que la serie n=1 kxn k converge. Entonces la sucesión (sn )n2N de…nida por sn =
de
k=1 xk es de Cauchy.

Demostración
P1
Dada " > 0, sea N tal que k=n kxk k < " para cualquier n N . Entonces, si m > n N,
se tiene:
Pm Pm P1
ksm sn k = k=n+1 xk k=n+1 kxk k k=n+1 kxk k < "

Proposición 24. Sea X un espacio vectorial normado. P1 Supongamos que, para cualquier
sucesión (xn )n2N de
Pnelementos de X tal que la serie n=1 kxn k converge, la sucesión (sn )n2N
de…nida por sn = k=1 xk converge. Entonces X es completo.

Demostración

Sea (xn )n2N una sucesión de Cauchy en X.

32

De…namos m0 = 0 y, para cada k 2 N, tomemos mk 2 N tal que mk > mk 1 y jjxn xm jj <

1
para cualesquiera n; m mk . Entonces, en particular se tiene xmk+1 xmk < 21k para
2k P
cualquier k 2 N. Así que la serie 1 k=1 Pxmk+1 xmk converge. Por lo tanto, la sucesión
(sn )n2N de…nida por sn = xmn+1 xm1 = nk=1 xmk+1 xmk converge. Así que la sucesión
(xmn )n2N también converge. Finalmente, tratándose de una sucesión de Cauchy, es su…ciente
la convergencia de una subsucesión para que la sucesión original converja.

Espacios vectoriales con producto interior

De…nición 21. Sea X un espacio vectorial sobre F. Diremos que una función (x; y) 7! hx; yi,
de…nida sobre X X y con valores en F , es un producto interior si satisface las siguientes
propiedades:

hx; yi = hy; xi para cualesquiera x; y 2 X.

h x + y; zi = hx; zi + hy; zi para cualesquiera ; 2 F y x; y; z 2 X.

hx; xi 0 para cualquier x 2 X.

hx; xi = 0 si y sólo si x = 0.
De…nición 22. Si X es un espacio vectorial en donde está de…nido un producto interior,
diremos que X es un espacio vectorial con producto interior.

Proposición 25 (Desigualdad de Cauchy-Schwartz). Sea X un espacio vectorial con pro-

ducto interior h ; i. Entonces, para cualesquiera x; y 2 X, se tiene:

jhx; yij2 hx; xi hy; yi

Demostración

De…namos a = hx; xi y b = hy; xi, entonces, como hay bx; ay bxi 0, se tiene:

a hx; xi hy; yi jhx; yij2 0

Así que:

jhx; yij2 hx; xi hy; yi

De…nición
p 23. Si X es un espacio vectorial con producto interior h ; i, de…nimos kxk =
hx; xi
 33

p 26. Sea X es un espacio con producto interior h ; i. Entonces la función

Proposición
x 7! kxk = hx; xi, de…nida sobre X, es una norma.

Demostración
kx + yk2 = hx + y; x + yi = hx; xi + hx; yi + hy; xi + hy; yi
p p
hx; xi + 2 jhx; yij + hy; yi hx; xi + 2 hx; xi hy; yi + hy; yi

= kxk2 + 2 kxk kyk + kyk2 = (kxk + kyk)2

Proposición 27. Sea X es un espacio vectorial con producto interior h ; i. Entonces, para
cualesquiera x; y 2 X, se tiene:

kx + yk2 + kx yk2 = 2 kxk2 + 2 kyk2

kx + yk2 kx yk2 = 2 hx; yi + 2 hy; xi

Demostración

kx + yk2 + kx yk2 = hx + y; x + yi + hx y; x yi = 2 hx; xi + 2 hy; yi = 2 kxk2 + 2 kyk2

kx + yk2 kx yk2 = hx + y; x + yi hx y; x yi = 2 hx; yi + 2 hy; xi

Proposición 28 (Proceso de Gram-Schmidt). Sea X un espacio con producto interior y

fw1 ; : : : ; wn g X un conjunto de vectores linealmente independientes. Entonces existe un
conjunto de vectores fu1 ; : : : ; un g X cada uno de los cuales tiene norma 1, son ortogonales
por parejas y tales que, para cualquier k 2 f1; : : : ; ng, el espacio vectorial generado por
fw1 ; : : : ; wk g coincide con el espacio vectorial generado por fu1 ; : : : ; uk g.

Demostración

Si n = 1, el resultado es inmediato.

Supongamos n > 1.
De…namos v1 = w1 y, para k 2 f2; : : : ; ng:
Pk 1 1
vk = wk i=1 kvi k2 hwk ; vi i vi

Entonces v1 6= 0 y si v2 = w2 kv1k2 hw2 ; v1 i w1 = 0, w1 y w2 serían linealmente dependientes,

1
lo cual es una contradicción. Por lo tanto, v2 6= 0.

Además:
34
D E
1
hv2 ; v1 i = w2 kv1 k2
hw2 ; v1 i w1 ; v1 = 0

Así que v1 y v2 son ortogonales.

Finalmente, w2 = v2 + kv1k2 hw2 ; v1 i v1 , así que el espacio vectorial generado por fw1 ; w2 g
1
coincide con el espacio vectorial generado por fv1 ; v2 g.
Supongamos ahora que, para m 2 f2; : : : ; n 1g, v1 ; : : : ; vm son todos distintos de cero,
ortogonales por parejas y tales que, para cualquier k 2 f1; : : : ; mg, el espacio vectorial
generado por fw1 ; : : : ; wPk g coincide con el espacio vectorial generado por fv1 ; : : : ; vk g. En-
m 1
tonces vm+1 = wm+1 i=1 kvi k2 hwm+1 ; vi i vi está bien de…nido y si vm+1 = 0, los vectores
w1 ; : : : ; wm+1 serían linealmente dependientes, lo cual es una contradicción. Por lo tanto,
vm+1 6= 0.

Además, si k 2 f1; : : : ; mg, se tiene:

D Pm 1 E
hvm+1 ; vk i = wm+1 i=1 kv k2 hwm+1 ; vi i vi ; vk
i

DP E
m 1
= hwm+1 ; vk i i=1 kvi k2 hwm+1 ; vi i vi ; vk
Pm 1
= hwm+1 ; vk i i=1 kvi k2 hwm + 1; vi i hvi ; vk i
1
= hwm+1 ; vk i kvk k2
hwm+1 ; vk i hvk ; vk i = 0

Así que vk y vm+1 son ortogonales.

P
Finalmente, wm+1 = vm+1 + m 1
i=1 kvi k2 hwm+1 ; vi i vi , así que el espacio vectorial generado por
fw1 ; : : : ; wm+1 g coincide con el espacio vectorial generado por fv1 ; : : : ; vm+1 g.

Por lo tanto, v1 ; : : : ; vn están bien de…nidos, todos son distintos de cero, son ortogonales
por parejas y, para cualquier k 2 f1; : : : ; ng, el espacio vectorial generado por fw1 ; : : : ; wk g
coincide con el espacio vectorial generado por fv1 ; : : : ; vk g.

Para k 2 f1; : : : ; ng, sea uk = kvvkk k , entonces los vectores u1 ; : : : ; un son de norma 1, or-
togonales por parejas y , para cualquier k 2 f1; : : : ; ng, el espacio vectorial generado por
fw1 ; : : : ; wk g coincide con el espacio vectorial generado por fu1 ; : : : ; uk g.

Proposición 29. Sea X un espacio con producto interior y fw1 ; w2 ; : : :g X un conjunto

in…nito numerable de vectores linealmente independientes. Entonces existe un conjunto in-
…nito numerable de vectores fu1 ; u2 ; : : :g X cada uno de los cuales tiene norma 1, son
ortogonales por parejas y tales que, para cualquier k 2 N, el espacio vectorial generado por
fw1 ; : : : ; wk g coincide con el espacio vectorial generado por fu1 ; : : : ; uk g.
 35

Sea V un espacio vectorial de dimensión …nita y v1 ; : : : ; vn una base de V .

P P
Si x; y 2 V y x = nk=1 xk vk , y = nk=1 yk vk , de…nimos:
P
hx; yi = nk=1 xk yk

Obviamente h ; i es un producto interior.

Supongamos ahora que hh ; ii es cualquier producto interior sobre V .

Con el proceso de Gram-Schmidt podemos construir una base ortonormal con respecto al
producto
Pn interiorPhh ; ii. Así que si v1 ; : : : ; vn son los vectores de esa base y tomamos x =
n
k=1 xk vk , y = k=1 yk vk , entonces:
P
hhx; yii = nk=1 xk yk

Es decir, se tiene el siguiente resultado:

Proposición 30. Sea V un espacio vectorial de dimensión …nita y h ; i un producto interior

sobre V . Entonces existe una base ortonormal con respecto Pn al producto interior
Pn h ; i tal que si
v1 ; : : : ; vn son los vectores de esa base y tomamos x = k=1 xk vk , y = k=1 yk vk , entonces:
P
hx ; y i = nk=1 xk yk

De…nición 24. Sea X un espacio vectorial con producto interior. Diremos que X es un
espacio de Hilbert si es completo con respecto a la métrica de…nida por el producto interior.

Proposición 31. No existe ningún espacio de Hilbert con una base in…nita numerable.

Demostración

Sea X un espacio de Hilbert y supongamos que existe una base in…nita numerable de
X. Utilizando el proceso de Gram-Schmidt podemos construir una base ortonormal B =
fx1 ; x2 ; : : :g de X.
P
De…namos sn = nj=1 21j xj y consideremos n; m 2 N tales que n > m, entonces:
Pn 1
Pn 1 1
jjsn sm jj = j=m+1 2j xj j=m+1 2j < 2m

Por lo tanto, la sucesión (sn )n2N es de Cauchy, así que converge a algún elemento s 2 X.

Como B es una base de X, s pertenece al espacio vectorial generado por un subconjunto

…nito A de B. Por lo tanto, se tiene hs; xi = 0 para cualquier x 2 B A.

Por otra parte, por la desigualdad de Cauchy-Schwartz, para cualesquiera j; n 2 N, se tiene:

36

jhsn ; xj i hs; xj ij = jhsn s; xj ij jjsn sjj

Así que l mn 1 hsn ; xj i = hs; xj i para cualquier j 2 N.

1
Además, para cualquier n > j, se tiene hsn ; xj i = 2j
. Así que:
1
hs; xj i = l mn 1 hsn ; xj i = 2j
para cualquier j 2 N.
 37

Convergencia uniforme

Sean a y b dos números reales tales que a < b y F = ff : [a; b] 7! R : f es acotadag.

Si f 2 F, de…nimos kf ks = sup fjf (x)j : x 2 [a; b]g.

Si f; g 2 F, de…nimos ds (f; g) = kg f ks .
Obviamente F es un espacio vectorial sobre R.

Proposición 32. La función que asocia a cada f 2 F el número real kf ks , es una norma.
Demostración

i) Obviamente kf ks es un número real no negativo para cualquier f 2 F.

ii) Si kf ks = 0, entonces sup fjf (x)j : x 2 [a; b]g = 0, así que jf (x)j = 0 para cualquier
x 2 [a; b]; es decir, f es idénticamente 0.

iii) Si f y g son elementos de F, entonces:

jf (x) + g (x)j jf (x)j + jg (x)j kf ks + kgks , para cualquier x 2 [a; b]; así que:

kf + gks = sup fjf (x) + g (x)j : x 2 [a; b]g kf ks + kgks

Denominaremos a la norma kks como la norma del supremo.

Corolario 13. La función que asocia a cada pareja f; g 2 F el número real ds (f; g), es una
métrica sobre F .

De…nición 25. Dado un espacio métrico (E; d), se dice que una sucesión (xn )n2N de ele-
mentos de E converge a x 2 E si, dada cualquier " > 0, existe N 2 N tal que d (xn ; x) < "
para cualquier n N .

De…nición 26. Sea (fn )n2N una sucesión de funciones de…nidas en un conjunto A, con
valores en R, f otra función de A en R y B un subconjunto de A. Se dice que la sucesión
(fn )n2N converge uniformemente en B si, dada cualquier " > 0, existe N 2 N tal que
jfn (x) f (x)j < " para cualquier n N y cualquier x 2 B.

Proposición 33. Sea (fn )n2N una sucesión de funciones en F y f otra función en F. En-
tonces la sucesión (fn )n2N converge uniformemente a f en el intervalo [a; b] si y sólo si
(fn )n2N converge a f en el espacio métrico (F; ds ).
38

Demostración

Supongamos primero que la sucesión (fn )n2N converge uniformemente a f en el intervalo

[a; b]; es decir, dada cualquier " > 0, existe N 2 N tal que jfn (x) f (x)j < 2" para cualquier
n N y cualquier x 2 [a; b] :
Entonces se tiene:
"
ds (fn ; f ) = kfn f ks = sup fjfn (x) f (x)j : x 2 [a; b]g 2
< " para cualquier n N

Por lo tanto, la sucesión (fn )n2N converge a f en el espacio métrico (F; ds ).

Inversamente, supongamos que la sucesión (fn )n2N converge a f en el espacio métrico (F; ds );
es decir, dada cualquier " > 0, existe N 2 N tal que:

ds (fn ; f ) < " para cualquier n N

Entonces se tiene:

jfn (x) f (x)j sup fjfn (y) f (y)j : y 2 [a; b]g = kfn f ks = ds (fn ; f ) < "

para cualquier n N y cualquier x 2 [a; b].

Por lo tanto, la sucesión (fn )n2N converge uniformemente a f en el intervalo [a; b].

Obsérvese que la convergencia uniforme de una sucesión (fn )n2N de funciones en F es una
propiedad más fuerte que la convergencia de las sucesiones (fn (x))n2N para cada x 2 [a; b].
Cuando se da esta última propiedad diremos que la convergencia de la sucesión (fn )n2N es
puntual (o simple); es decir:

De…nición 27. Sea (fn )n2N una sucesión de funciones en F y f otra función en F. Se
dice que la sucesión (fn )n2N converge puntualmente (o simplemente) a f si, para cualquier
x 2 [a; b], la sucesión de números reales (fn (x))n2N converge a f (x).

Así que, utilizando esta terminología, podemos decir que si una sucesión (fn )n2N , de funciones
en F, converge uniformemente a la función f 2 F, entonces (fn )n2N converge puntualmente
a f.
El siguiente ejemplo muestra que la inversa de esta a…rmación no es válida.
Sea f : [a; b] 7! R una función en F no negativa y A = fx1 ; x2 ; : : :g un subconjunto in…nito
numerable de [a; b]. Para cada m 2 N, de…namos la función fm : [a; b] 7! R de la siguiente
manera:
 39

f (x) si x 2 [a; b] fxm g

fm (x) =
1 si x = xm

Si x 2 [a; b] A, la sucesión (fn (x))n2N es constante e igual a f (x), mientras que si x = xm ,

la sucesión (fn (x))n2N es constante e igual a f (x) a partir de n = m+1; así que, en cualquier
caso, la sucesión (fn )n2N converge puntualmente a f .

Por otra parte, kfn f ks 1 para cualquier n 2 N, así que la sucesión (fn )n2N no converge
uniformemente a f . Más aún, también se tiene kfn fm ks 1 para cualquier pareja n; m 2
N, así que la sucesión (fn )n2N no converge uniformemente a ninguna función.

De…nición 28. Dado un espacio métrico (E; d), se dice que una sucesión (xn )n2N de ele-
mentos de E es de Cauchy si, dada cualquier " > 0, existe N 2 N tal que d (xn ; xm ) < "
para cualquier pareja de números naturales n y m tales que n N y m N .

Se puede mostrar fácilmente que cualquier sucesión convergente en un espacio métrico (E; d)
es de Cauchy.

De…nición 29. Se dice que un espacio métrico (E; d) es completo si cualquier sucesión de
Cauchy de elementos de E converge a algún elemento de E.

Recordemos que R, con la distancia entre dos elementos x; y 2 R de…nida por d (x; y) =
jy xj, es un espacio métrico completo.

Lema 2. Sean (E; d) un espacio métrico y (xn )n2N una sucesión de Cauchy en E. Entonces
existe N 2 N y un número real positivo C tales que:

d (xn ; xN ) < C para cualquier n 2 N

Demostración
Sea N 2 N tal que d (xn ; xm ) < 1 para cualquier pareja de números naturales n y m tales
que n N y m N .
Entonces:

d (xn ; xN ) < 1 + max fd (xk ; xN ) : k 2 f1; 2; : : : ; N 1gg para cualquier n 2 N

Lema 3. Sean (E; d) un espacio métrico, (xn )n2N una sucesión de elementos de E que
converge a x 2 E, z 2 E y C 2 (0; 1). Supongamos que existe M 2 N tal que:

d (z; xn ) C para cualquier n M

40

Entonces:

d (z; x) C
Demostración

Sea " un número real positivo cualquiera.

Como la sucesión (xn )n2N converge a x, existe N 2 N tal que d (xn ; x) < " para cualquier
n N.
De…namos K = max (N; M ).
Utilizando la desigualdad del triángulo, se tiene entonces:

d (z; x) d (z; xK ) + d (xK ; x) < C + "

Así que, d (z; x) < C + " para cualquier " > 0.

Por lo tanto:

d (z; x) C

Teorema 4. El espacio métrico (F; ds ) es completo.

Demostración

Sea (fn )n2N una sucesión de Cauchy en F.

Sabemos que, dada cualquier " > 0, existe N 2 N tal que ds (fn ; fm ) < " para cualquier
pareja de números naturales n y m tales que n N y m N . Es decir:

sup fjfn (x) fm (x)j : x 2 [c; d]g < "

para cualquier pareja de números naturales n y m tales que n N ym N.

Por lo tanto, para cualquier x 2 [c; d], la sucesión (fn (x))n2N es de Cauchy en R; por lo
tanto, es convergente.
De…namos f (x) = l mn!1 fn (x).

Como la sucesión (fn )n2N es de Cauchy, por el lema 2, existe N 2 N y un número real
positivo c tales que:

sup fjfn (x) fN (x)j : x 2 [a; b]g < c para cualquier n 2 N

Así que:
 41

jfn (x) fN (x)j < c para cualquier n 2 N y cualquier x 2 [a; b]

Por lo tanto:

jfn (x)j jfn (x) fN (x)j + jfN (x)j < c + jfN (x)j

para cualquier n 2 N y cualquier x 2 [a; b].

Tomando el límite cuando n ! 1, obtenemos:

jfn (x)j c + jfN (x)j para cualquier x 2 [a; b]

Así que, como fN está acotada, f también lo está; es decir, f 2 F.

Por otra parte, nuevamente, como la sucesión (fn ) n2N es de Cauchy, dada cualquier " > 0,
existe N 2 N tal que:

jfn (x) fm (x)j < "

para cualquier : x 2 [c; d] y cualquier pareja de números naturales n y m tales que n N y

m N.

Por el lema 3, se tiene entonces:

jfn (x) f (x)j " para cualquier : x 2 [c; d] y cualquier número natural n N

Así que:

kfn f ks = sup fjfn (x) f (x)j : x 2 [c; d]g " para cualquier número natural n N

Por lo tanto, la sucesión (fn )n2N converge a f en (F; ds ).

En conclusión, toda sucesión de Cauchy en (F; ds ) converge; por lo tanto (F; ds ) es un espacio
métrico completo.

Vamos a analizar algunos subconjuntos de F y la relación topológica que hay entre ellos,
considerando la topología generada por la métrica ds . Para ello requerimos de algunas de…ni-
ciones.

De…nición 30. Diremos que una función f 2 F es lineal por pedazos si existe una partición
fx0 ; x1 ; : : : ; xn g del intervalo [a; b] tal que, para cualquier j 2 f1; 2; : : : ; ng, la función f es
lineal en el intervalo (xj 1 ; xj ).
42

De…nición 31. Diremos que una función f 2 F es escalonada si existe una partición
fx0 ; x1 ; : : : ; xn g del intervalo [a; b] tal que, para cualquier j 2 f1; 2; : : : ; ng, la función f
es constante en el intervalo (xj 1 ; xj ).

De…nición 32. Diremos que una función f 2 F es reglada si existe una sucesión de fun-
ciones en F, escalonadas, que converge uniformemente a f .

De…nición 33. Diremos que una función f 2 F no tiene discontinuidades oscilatorias si

el límite f (x0 +) = l mx x0 + f (x) existe para cualquier x0 2 [a; b) y el límite fn (x0 ) =
l mx x0 fn (x) existe para cualquier x0 2 (a; b].

De…nición 34. Se dice que una familia, ff : 2 g, de funciones en F, es equicontinua

si, dada cualquier " > 0, existe > 0 tal que, si x; y 2 [a; b] y jx yj < entonces
jf (x) f (y)j < " para cualquier 2 .

Proposición 34. Sea (fn )n2N una sucesión de funciones en F que converge uniforme-
mente a la función f . Sea x0 2 [a; b) y supongamos que, para cuaquier n 2 N, el límite
fn (x0 +) = l mx x0 + fn (x) existe. Entonces el límite f (x0 +) = l mx x0 + f (x) también
existe y f (x0 +) = l mn 1 fn (x0 +).
Demostración

Sea (xm )m2N una sucesión de números reales en el intervalo (x0 ; b] tal que l mm 1 xm = x0 .

Dada " > 0, tomemos N tal que kfp fq k < 12 " para cualesquiera p; q 2 N tales que p > N
y q > N . Entonces, en particular, se tiene, para cualquier m 2 N, jfp (xm ) fq (xm )j < 12 "
para cualesquiera p; q 2 N tales que p > N y q > N . Así que:
1
jfp (x0 +) fq (x0 +)j = l mm 1 jfp (xm ) fq (xm )j 2
" <"

para cualesquiera p; q 2 N tales que p > N y q > N .

Por lo tanto, la sucesión (fn (x0 +))n2N es de Cauchy.

Sea L = l mn 1 fn (x0 +).

Tomemos M1 tal que kfn f k < 13 " para cualquier n M1 , M2 > M1 tal que jfn (x0 +) Lj <
1
3
" para cualquier n M2 y M tal que jfM2 (xm ) fM2 (x0 +)j < 13 " para cualquier m M.
Entonces, si m M , se tiene:

jf (xm ) Lj jf (xm ) fM2 (xm )j + jfM2 (xm ) fM2 (x0 +)j + jfM2 (x0 +) Lj < "

Así que l mm 1 f (xm ) = L.

Por lo tanto, el límite f (x0 +) = l mx x0 + f (x) existe y f (x0 +) = L = l mn 1 fn (x0 +).

 43

De la misma manera se tiene el siguiente resultado:

Proposición 35. Sea x0 2 (a; b] y supongamos que, para cuaquier n 2 N, el límite fn (x0 ) =
l mx x0 fn (x) existe. Entonces el límite f (x0 ) = l mx x0 f (x) también existe y f (x0 ) =
l mn 1 fn (x0 ).

Corolario 14. Sea (fn )n2N una sucesión de funciones en F, sin discontinuidades oscila-
torias, que converge uniformemente a la función f . Entonces f no tiene discontinuidades
oscilatorias.

Corolario 15. Sea (fn )n2N una sucesión de funciones en F que converge uniformemente a
la función f . Sea x0 2 [a; b] y supongamos que, para cuaquier n 2 N, fn es continua en x0 .
Entonces f también es continua en x0 .

Corolario 16. Sea (fn )n2N una sucesión de funciones en F, continuas, que converge uni-
formemente a la función f . Entonces f es continua.

En obvio que cualquier función escalonada no tiene discontinuidades oscilatorias; es decir el

conjunto E, de funciones en F que son escalonadas, es un subconjunto del conjunto S, de
funciones en F que no tienen discontinuidades oscilatorias. El corolario 14 muestra que el
conjunto S es cerrado y la proposición 36, que demostramos abajo, muestra que el conjunto
E es denso en S, lo cual implica que S coincide con el conjunto de las funciones regladas.
También, el corolario 16 muestra que el conjunto C, de funciones en F que son continuas,
es cerrado. El corolario 21, que demostraremos más adelante, muestra, en particular, que el
conjunto P, de funciones polinomiales en F, es denso en C. Finalmente, la proposición 37
muestra que el conjunto L, de funciones continuas y lineales por pedazos en F, es denso en
C.

Proposición 36. Toda función f 2 F que no tiene discontinuidades oscilatorias se puede

aproximar uniformemente por funciones escalonadas.
Demostración

Dada " > 0, consideremos, para cada x 2 (a; b), dos puntos x ; x 2 (a; b) tales que x <
x < x , jf (y) f (x )j < " para cualquier y 2 ( x ; x) y jf (y) f (x+)j < " para cualquier
y 2 (x; x ).

Para x = a, consideremos cualquier número real 0 < a y 0 2 (a; b) tal que jf (y) f (a+)j <
" para cualquier y 2 (a; 0 ). Para x = b, consideremos cualquier número real 1 > b y
1 2 (a; b) tal que jf (y) f (b )j < " para cualquier y 2 ( 1 ; b).
44

La familia de intervalos f( x ; x ) : x 2 [a; b]g constituye una cubierta abierta del interva-
lo [a; b], así que, por el teorema de Heine-Borel, existe una subcubierta …nita x0 ; x0 ,
x1 ; x1 , . . . , xn ; xn , en donde podemos suponer a = x0 < x1 < < xn = b.
Ordenemos del menor al mayor los puntos:

x0 ; x0 ; x1 ; x 1 ; x1 ; : : : xn 1 ; xn 1 ; xn: 1
; xn ; xn

para obtener una partición a = t0 < t1 < < tm = b del intervalo [a; b].
Para cada i 2 f1; : : : ; mg:
Si fr 2 ff1; : : : ; ngg : xr ti 1 g =
6 ;, de…namos:

ji = max fr 2 ff0; : : : ; ngg : xr ti 1 g

Si fr 2 ff1; : : : ; ngg : xr ti 1 g = ;, de…namos:

ki = m n fr 2 ff0; : : : ; ngg : xr ti g

En el primer caso se tiene xji ti 1 < ti xji , así que (ti 1 ; ti ) xji ; xji . Por lo tanto,
si x; y 2 (ti 1 ; ti ), se tiene:

jf (y) f (x)j jf (y) f (xji +)j + jf (xji +) f (x)j < 2"

En el segundo caso se tiene xki ti 1 < ti xki , así que (ti 1 ; ti ) xki ; xki . Por lo
tanto, si x; y 2 (ti 1 ; ti ), se tiene:

jf (y) f (x)j jf (y) f (xki )j + jf (xji ) f (x)j < 2"

Por lo tanto, en cualquier caso, si x; y 2 (ti 1 ; ti ) entonces jf (y) f (x)j < 2".
Para cada i 2 f1; : : : ; mg sea i un punto arbitrario en el intervalo (ti 1 ; ti ) y de…namos la
función f" : [a; b] 7! R de la siguiente manera:

f ( i ) si x 2 (ti 1 ; ti )
f" (x) =
f (x) si x 2 ft0 ; : : : ; tm g

Entonces se tiene jf (x) f" (x)j < 2" para cualquier x 2 [a; b]. Así que, kf f" k 2".

Por lo tanto, la sucesión de funciones f 1 converge uniformemente a f .

n n2N
 45

Corolario 17. Si f es una función sin discontinuidades oscilatorias, entonces el conjunto

de sus discontinuidades es a lo más in…nito numerable.

Proposición 37. Consideremos F con la métrica ds . Entonces, Toda función continua en

F se puede aproximar uniformemente mediante una sucesión (fn )n2N de funciones en F,
continuas y lineales por pedazos.

Demostración

Sea f 2 C.
Como f es continua en el intervalo [a; b], es uniformemente continua; así que, dada " > 0,
existe > 0 tal que si x; y 2 [a; b] y jx yj < entonces jf (x) f (y)j < 2" .

Tomemos una partición fa = x0 ; x1 ; : : : ; xn = bg tal que xj xj 1 < para cualquier j 2

f1; 2; : : : ; ng.

Consideremos entonces el siguiente subconjunto de R2 :

f(x0 ; f (x0 )) ; (x1 ; f (x1 )) ; (x2 ; f (x2 )) ; : : : ; (xn ; f (xn ))g

Unamos cada par de puntos consecutivos de ese conjunto mediante un segmento de recta.
Obtenemos así la grá…ca de una función continua lineal por pedazos. Denotemos por f (") a
la función, de…nida sobre el intervalo [a; b], que corresponde a esa grá…ca.

Se tiene entonces:

f (x) f (") (x) < " para cualquier x 2 [a; b]

En efecto:

Consideremos dos puntos consecutivos, xj y xj+1 , de la partición fa = x0 ; x1 ; : : : ; xn = bg.

Sea x 2 [xj ; xj+1 ].

Como jx xj j < , se tiene jf (x) f " (xj )j = jf (x) f (xj )j < 2" .

Como x+1 xj < , se tiene jf " (xj+1 ) f " (xj )j = jf (xj+1 ) f (xj )j < 2" .

Como f " es lineal en el intervalo [xj ; xj+1 ], se tiene:

"
jf " (x) f " (xj )j jf " (xj+1 ) f " (xj )j < 2

Por lo tanto:
" "
f (x) f (") (x) jf (x) f " (xj )j + jf " (xj ) f " (x)j < 2
+ 2
="
46

Lo anterior es válido cualquiera que sea el subintervalo que tomemos de la partición. Así
que:

f (x) f (") (x) < " para cualquier x 2 [a; b]

1
Para cada n 2 N , de…namos "n = n
y denotemos por fn a la función f "n .
1
Dada " > 0, sea N 2 N tal que N
< ". Entonces:
1
jf (x) fn (x)j < n
< " para cualquier x 2 [a; b] y cualquier número natural n N

Por lo tanto, la sucesión (fn )n2N converge uniformemente a f en el intervalo [a; b].

Aproximación de funciones continuas mediante polinomios

Si g es una función con valores reales y de…nida sobre un subconjunto de números reales,
denotaremos por g (k) a la derivada de orden k de g, en donde k 2 N. g (0) representará a
la función g misma. Si g está de…nida en un intervalo cerrado [a; b], g (k) (a) denotará a la
derivada por la derecha de g en el punto a y g (k) (b) denotará a la derivada por la izquierda
de g en el punto b.

Proposición 38. Sea f : R ! R una función continua, nula fuera de un intervalo ( d; d),
donde d > 0.

Para cada n 2 N, de…namos las funciones n : R ! R y fn : R ! R de la siguiente manera:

( n
(4d2 x2 )
R 2d
y 2 )n dy
si x 2 [ 2d; 2d]
n (x) = 2
2d (4d
0 en otro caso
R1
fn (x) = 1
f (t) n (x t)dt

Entonces fn converge uniformemente a f en cualquier intervalo [ c; c].

Demostración
R1
Observemos primero que cada función n es no negativa, continua y tal que 1 n (x)dx = 1.

Se tiene 1 x2 = (1 jxj) (1 + jxj) 1 jxj para cualquier x 2 [ 1; 1], así que:

R 2d n R 2d x2
n
2d
(4d2 x2 ) dx = 22n d2n 2d
1 4d2
dx
R 2d x n R 2d x n
22n d2n 2d
1 2d
dx 22n d2n 0
1 2d
dx
 47

22n d2n
= n+1

Por lo tanto, para 2 (0; 2d] y x 2 [ ; 2d], se tiene:

n 2 n
(4d2 x2 ) (4a2 ) n+1 2 n
n (x) = R 2d
2 y 2 )n dy
R 2d
2 y 2 )n dy 22n d2n
4d2
2d (4d 2d (4d

2 n
= (n + 1) 1 4d2

Así que n converge uniformemente a 0 en el intervalo [ ; 2d].

Sea c > 0, entonces f es uniformemente continua en el intervalo [ c 2d; c + 2d]. Por lo
tanto, dada " > 0, existe 2 (0; 2d) tal que jf (x) f (y)j < 2" para cualquier par de puntos
x; y 2 [ c 2a; c + 2a] tales que jx yj < .

Sea M una cota de f .

"
Como n converge uniformemente a 0 en el intervalo [ ; 2d], existe n0 tal que n (x) < 8M (2d )
para cualquier x 2 [ ; 2d] y n n0 .

Sea x 2 [ c; c] y n n0 , entonces:
R1
jf (x) fn (x)j = f (x) 1
f (t) n (x t)dt
R1 R1
= f (x) 1 n (u)du 1
f (x u) n (u)du
R1
= 1
[f (x) f (x u)] n (u)du

R 2d
= 2d
[f (x) f (x u)] n (u)du

R
2d
jf (x) f (x u)j n (u)du
R
+ jf (x) f (x u)j n (u)du
R 2d
+ jf (x) f (x u)j n (u)du
R "
R R 2d
2M 2d n (u)du + 2 n (u)du + 2M n (u)du
R 2d " " "
4M n (u)du + 2
< 2
+ 2
="

Así que fn converge uniformemente a f en el intervalo [ c; c].

48

Corolario 18. Sea f : R ! R una función nula fuera de un intervalo ( d; d), donde d > 0,
continua y derivable de orden r con derivadas continuas hasta el orden r.
Para cada n 2 N, de…namos las funciones n : R ! R y fn : R ! R de la siguiente manera:
( n
(4d2 x2 )
R 2d
y 2 )n dy
si x 2 [ 2d; 2d]
n (x) = 2
2d (4d
0 en otro caso
R1
fn (x) = 1
f (t) n (x t)dt

(k)
Entonces fn converge uniformemente a f (k) en cualquier intervalo [ c; c], para cualquier
k 2 f0; : : : ; rg.
Demostración

Para k 2 f0; : : : ; rg, sea gn;k : R ! R la función de…nida por:

R1
gn;k (x) = 1 f (k) (t) n (x t)dt

Por la proposición anterior gn;k converge uniformemente a f (k) en cualquier intervalo [ c; c].

Además, tomando > 0 arbitraria, se tiene:

R1 R1
fn (x) = 1 f (t) n (x t)dt = 1 n (u)f (x u)du
R 2d+c
= 2d c n (u)f (x u)du

La función g(u; x) = n (u)f (x u) es continua en ( 2d c ; 2d + c + ) ( c ;c + )

y derivable en x, hasta el orden r, con derivadas continuas hasta el orden r, para cualquier
x2( c ; c + ), así que, para cualquier x 2 [ c; c], se tiene:
(k) R 2d+c R1
fn (x) = 2d c n (u)f (k) (x u)du = 1 n (u)f (k) (x u)du
R1
= 1 f (k) (t) n (x t)dt = gn;k (x)
(k)
Por lo tanto, fn converge uniformemente a f (k) en el intervalo [ c; c].

Corolario 19. Sea f : R ! R una función nula fuera de un intervalo ( d; d), donde d > 0,
continua y derivable de orden r con derivadas continuas hasta el orden r. Entonces existe
(k)
una sucesión de polinomios pn tales que pn converge uniformemente a f (k) en el intervalo
[ d; d], para cualquier k 2 f0; : : : ; rg.
Demostración

Consideremos las funciones n y fn de la proposición anterior.

 49

(k)
Sabemos que, para cualquier k 2 f0; : : : ; rg, fn converge uniformemente a f (k) en el intervalo
[ d; d].

Además, para x 2 [ d; d], se tiene:

R1 Rd
fn (x) = 1 f (t) n (x t)dt = d f (t) n (x t)dt
Rd n P2n
= R 2d
1
2 y 2 )n dy d
f (t) 4d2 (x t)2 dt = k=0 ak x k
2d (4d

Corolario 20. Sea f : R ! R una función nula fuera de un intervalo (a; b), continua y
derivable de orden r con derivadas continuas hasta el orden r. Entonces existe una sucesión
(k)
de polinomios pn tales que pn converge uniformemente a f (k) en el intervalo [a; b], para
cualquier k 2 f0; : : : ; rg.

Demostración

Sea d > 0 y consideremos la función:

b a a+b
g(x) = 2d
x + 2

g transforma el intervalo [ d; d] en el intervalo [a; b], así que f g es una función continua
que se anula fuera del intervalo ( d; d). Además, para k 2 f0; : : : ; rg, se tiene:

b a k
(f g)(k) = 2d
f (k) g

Así que f g es derivable de orden r y tiene derivadas continuas hasta el orden r.

Por lo tanto, existe una sucesión de polinomios qn tales que, para cualquier k 2 f0; : : : ; rg,
(k)
qn converge uniformemente a (f g)(k) en el intervalo [ d; d].
Sea pn = qn g 1 , entonces:

(k) 2d k (k) 1
pn = b a
qn g

(k)
Por lo tanto, pn converge uniformemente a

2d k 2d k b a k
b a
(f g)(k) g 1
= b a 2d
f (k) g g 1
= f (k)

en el intervalo [a; b]
50

Corolario 21. Sea f : [a; b] ! R una función continua y derivable de orden r, con derivadas
(k)
continuas hasta el orden r. Entonces, existe una sucesión de polinomios pn tales que pn
converge uniformemente a f (k) en el intervalo [a; b], para cualquier k 2 f0; : : : ; rg.

Demostración
Tomemos dos puntos c y d de tal forma que c < a y de…namos las funciones ga : R ! R y
gb : R ! R de la siguiente manera:

ga (x) = [a0 + a1 (x a) + + ar (x a)r ] (x c)r+1

gb (x) = [b0 + b1 (x b) + + br (x b)r ] (x d)r+1

(k)
donde los coe…cientes a0 ; a1 ; : : : ; ar y b0 ; b1 ; : : : ; br se escogen de tal forma que ga (a) = f (k) (a)
(k)
y gb (b) = f (k) (b) para cualquier k 2 f0; : : : ; rg.

De…namos ahora la función h : R ! R de la siguiente manera:

8
>
> g (x) si x 2 [c; a)
< a
f (x) si x 2 [a; b]
h(x) =
>
> gb (x) si x 2 (b; d]
: 0 en otro caso

h es continua y derivable de orden r, con derivadas continuas hasta el orden r, y es nula

(k)
fuera del intervalo (c; d). Por lo tanto, existe una sucesión de polinomios pn tales que pn
converge uniformemente a h(k) en el intervalo [c; d], para cualquier k 2 f0; : : : ; rg. Así que,
(k)
en particular, pn converge uniformemente a f (k) en el intervalo [a; b], para cualquier k 2
f0; : : : ; rg.
 51

El axioma de elección y el lema de Zorn

Axioma de elección
Sea H un conjunto formado por conjuntos no vacíos, ajenos por parejas. Existe entonces un
conjunto E, el cual está formado por exactamente un elemento de cada conjunto A 2 H.

Conjuntos parcialmente ordenados

De…nición 35. Se dice que un conjunto F, para el cual está de…nida una relación de orden
, es parcialmente ordenado si se satisfacen las siguientes propiedades:
1. x x para cualquier elemento x 2 F.

2. Si x; y; z 2 F son tales que x yyy z, entonces x z.

3. Si x; y 2 F son tales que x y y x 6= y, entonces y x.

Si, además, se cumple la siguiente la siguiente propiedad, se dice que (F; ) es un conjunto
totalmente ordenado:

4. Si x; y 2 F y x 6= y, entonces exactamente una de las siguientes dos relaciones es válida:

a) x y

b) y x

De…nición 36. Si (F; ) es un conjunto parcialmente ordenado y x; y 2 F, diremos que

x y si x y y x 6= y.

De…nición 37. Si (F; ) es un conjunto parcialmente ordenado, diremos que un subconjunto

E de F es una cadena en F si (E; ) es un conjunto totalmente ordenado.

De…nición 38. Si (F; ) es un conjunto es parcialmente ordenado, diremos que un elemento

z 2 F es maximal si no existe algún elemento x 2 F tal que z x.

De…nición 39. Si (F; ) es un conjunto es parcialmente ordenado y E F, diremos que un

elemento z 2 F es una cota superior de E si x z para cualquier x 2 E.

Lema de Zorn

Sea (F; ) un conjunto parcialmente ordenado. Si cualquier cadena E en F tiene una cota
superior en F, entonces F tiene, por lo menos, un elemento maximal.