Captulo 3

Teoremas de convergencia
La necesidad de considerar lmites de sucesiones o series de funciones
es basica en el estudio del analisis. Por tanto, es natural preguntarse bajo
que condiciones se tiene que un lmite de funciones posee ciertas propiedades
deseadas y cuando es posible intercambiar el signo de lmite por el de integral.
En el estudio de la integral de Riemann tenemos el escenario mas restric-
tivo, ya que por ejemplo, el lmite f de una sucesion {f
n
} de funciones
Riemann integrables no es necesariamente Riemann integrable. Incluso si
el lmite fuese Riemann integrable, su integral de Riemann podra diferir del
lmite de la sucesion de integrales ([3] p. 233). El intercambio de operaciones
_
I
lm
n
f
n
= lm
n
_
I
f
n
, (3.1)
es posible si la sucesion {f
n
} converge uniformemente, pero esta condicion es
sumamente fuerte.
Una de las principales razones por las que la integral de Lebesgue se ha
convertido en una herramienta central e indispensable del an alisis matematico
es por sus teoremas de convergencia. La integral de Lebesgue ha remedia-
do ecientemente el problema de asegurar la igualdad en (3.1) requiriendo
92 Teoremas de convergencia
hipotesis no tan fuertes. En este captulo veremos que las versiones de dichos
teoremas para la integral de Henstock y Kurzweil tambien se cumplen. Es-
tableceremos el Teorema de Convergencia Monotona, el Lema de Fatou, y el
Teorema de Convergencia Dominada, entre otros resultados.
El Teorema de Convergencia Monotona es un resultado muy importante
del cual se derivan los restantes. En la primera prueba que exponemos de
dicho teorema usamos la denicion tipo Darboux con integrales inferiores
y superiores que vimos en el Captulo 1. Al nal de este captulo presentamos
tambien la demostracion que usualmente se expone en las referencias del tema
que se basa en el Lema de Henstock.
3.1. El Teorema de Convergencia Uniforme
La condicion familiar que garantiza la integrabilidad de una funcion lmite
y el intercambio en la igualdad (3.1) concerniente a la noci on de convergencia
uniforme se sigue cumpliendo para la HK-integral.
Denicion 3.1. Una sucesion {f
k
} de funciones reales denidas sobre un
intervalo cerrado I converge uniformemente sobre I a una funcion f si para
cada > 0 existe N N tal que |f
k
(x) f(x)| < para todo k N y x I.
Teorema 3.2. (Convergencia Uniforme) Si la sucesi on {f
n
} HK(I) con-
verge uniformemente a f, entonces f HK(I) y la igualdad (3.1) se verica.
Demostraci on. Primero probaremos que {
_
I
f
n
} es una sucesion de Cauchy.
Dado > 0, por denicion de convergencia uniforme de la sucesion {f
n
},
existe N N tal que si h, k N y x I entonces |f
k
(x) f
h
(x)| < 2.
Por la monotona y la linealidad de la integral, tenemos que
|
_
I
f
k

_
I
f
h
| 2(I).
3.2 El Teorema de Convergencia Monotona 93
Como > 0 es arbitrario, la sucesion {
_
I
f
n
} es de Cauchy y por lo tanto
converge a un n umero real A R.
Ahora mostraremos que f HK(I) y que A es su integral. Sea > 0 y
N como arriba. Sea k N jo tal que |
_
I
f
k
A| < . Ahora, sea una
cubierta de Cousin de la denicion de integrabilidad de f
k
, de manera que
|S

(f
k
)
_
I
f
k
| < siempre que . Ademas, para la misma k N y una
particion tenemos que por la convergencia uniforme que
|S

(f) S

(f
k
)| =

(I,x)
[f(x) f
k
(x)](I)

(I,x)
|f(x) f
k
(x)|(I)

(I,x)
(I).
Entonces,
|S

(f) A| |S

(f) S

(f
k
)| +|S

(f
k
)
_
I
f
k
| +|
_
I
f
k
A| < ((I) + 2)
para toda . Por lo tanto f HK(I) y
_
I
f = A = lm
n
_
I
f
n
.
3.2. El Teorema de Convergencia Monotona
En muchas ocasiones la condicion de convergencia uniforme es muy fuerte.
El teorema que presentamos en esta seccion requiere de hipotesis que en la
practica son mas faciles de vericar.
Deseamos establer la siguiente igualdad
_
b
a
_

n=1
f
n
(x)
_
dx =

n=1
__
b
a
f
n
(x)dx
_
. (3.2)
94 Teoremas de convergencia
La integral de Henstock-Kurzweil, similarmente a la de Lebesgue, per-
mite este intercambio para funciones no-negativas. Para su prueba, descom-
ponemos el resultado en un par de lemas.
Lema 3.3. Supongamos que f y f
n
(n = 1, 2, . . .) son funciones no-negativas
sobre un intervalo [a, b]. Si
f(x)

n=1
f
n
(x)
para cada x [a, b], entonces
_
b
a
f(x)dx

n=1
_
_
b
a
f
n
(x)dx
_
. (3.3)
Demostracion: Sea t < 1 y > 0. Para x [a, b], sea N(x) el primer entero
tal que satisface la propiedad
tf(x)
N(x)

n=1
f
n
(x). (3.4)
Podemos escoger cubiertas de Cousin
n
(n = 1, 2, . . .) de [a, b] anidadas
de la forma
1

2

3
, tales que
S

(f
n
)
_
b
a
f
n
(x)dx + 2
n
(3.5)
para cualquier particion
n
. Si para alguna n la integral superior de
f
n
diverge, entonces ya hemos terminado ya que la parte derecha de (3.3)
sera innita. Entonces supongamos que cada integral superior
_
b
a
f
n
es nita.
Denamos, para cada n, el conjunto E
n
como sigue
E
n
= {x [a, b] : N(x) = n}.
De cada cubierta
n
extraemos las parejas que tienen como etiqueta a los
valores x E
n
, formando

n
[E
n
] = {(I, x)
n
: x E
n
}.
3.2 El Teorema de Convergencia Monotona 95
Note que el conjunto =

n=1

n
[E
n
] forma directamente una cubierta
de Cousin de [a, b]. Por el Lema de Cousin, podemos escoger una particion
. Sea N el maximo de los valores N(x) para la coleccion nita de pares
(I, x) y denamos

j
= {(I, x) : x E
j
}
y

j
=
j

j+1

N
para cada j = 1, 2, . . . , N. Note que =
1
. Si m > n, entonces cualquier
particion
m
es particion en
n
. Por tanto se tiene que
j

j
.
Para visualizar mejor un calculo que usaremos enseguida, mostramos el
siguente arreglo
S

1
(f
1
) S

2
(f
1
) S

3
(f
1
) S

4
(f
1
) S

N
(f
1
)
S

2
(f
2
) S

3
(f
2
) S

4
(f
2
) S

N
(f
2
)
S

3
(f
3
) S

4
(f
3
) S

N
(f
3
)
.
.
.

.
.
.
S

N
(f
N
)
Con base en el arreglo, tenemos la siguiente igualdad
N

i=1
S

i
(f
1
+ f
2
+ + f
i
) =
N

j=1
S

j
(f
j
).
La parte izquierda se obtiene sumando las columnas, mientras que la parte
derecha sumando los renglones. Finalmente, usando el hecho de que
tf(x) f
1
(x) + f
2
(x) + + f
i
(x) x E
i
96 Teoremas de convergencia
y la desigualdad (3.5), tenemos que
S

(tf) =
N

i=1
S

i
(tf)
N

i=1
S

i
(f
1
+ f
2
+ + f
i
)
=
N

j=1
S

j
(f
j
)
N

j=1
_
_
b
a
f
j
(x)dx + 2
j
_

j=1
_
b
a
f
j
(x)dx + .
Hemos obtenido una cota superior para todas las sumas S

(tf), es decir,
para cualquier particion . Como ademas > 0 es arbitrario, entonces
_
b
a
tf(x)dx sup

(tf)

j=1
_
b
a
f
j
(x)dx.
Dado que esto ultimo es cierto para cualquier t < 1, entonces (3.3) se
sigue.
Lema 3.4. Supongamos que f y f
n
(n = 1, 2, . . .) son funciones no negativas
sobre un intervalo [a, b]. Si
f(x)

n=1
f
n
(x)
para cada x [a, b], entonces
_
b
a
f(x)dx

n=1
_
_
b
a
f
n
(x)dx
_
. (3.6)
Demostraci on. Para demostrar la parte (3.6), usaremos la propiedad que
vimos en la Seccion 1.4 de que la intereseccion nita de cubiertas de Cousin
es tambien una cubierta de Cousin.
3.2 El Teorema de Convergencia Monotona 97
Sea > 0. Fijemos N N. Como antes, podemos escoger cubiertas de
Cousin
n
de [a, b] anidadas
1

2

N
, tales que
S

(f
n
)
_
b
a
f
n
(x)dx

N
para cualquier particion
n
. Denamos =
N
n=1

n
, la cual es una cu-
bierta de Cousin de [a, b]. Considere una particion . Cualquier particion
en es particion en
n
, para n N. Dado que f(x)

N
n=1
f
n
(x), tenemos
que
S

(f)
N

n=1
S

(f
n
)
N

n=1
_
_
b
a
f
n
(x)dx
_
.
Hemos obtenido una cota inferior para todas las particiones . Por
tanto tenemos que
_
b
a
f(x)dx nf

(f)
N

n=1
_
_
b
a
f
n
(x)dx
_
.
Como ademas N fue tomada arbitrariamente grande y > 0 es arbitrario,
entonces
_
b
a
f(x)dx

n=1
_
_
b
a
f
n
(x)dx
_
.
Teorema 3.5. (Smithee, [14]) Sea {f
n
} una sucesi on de funciones no-negativas
HK-integrables sobre I = [a, b]. Si para cada x [a, b]
f(x) =

n=1
f
n
(x)
y

n=1
__
I
f
n
_
< ,
entonces f es HK-integrable sobre I y su integral est a dada por
_
I
f(x)dx =

n=1
__
I
f
n
(x)dx
_
. (3.7)
98 Teoremas de convergencia
Demostraci on. Por los lemas anteriores y por la denicion de integral inferior
y superior, la siguiente cadena de desigualdades se cumple:

n=1
_
_
I
f
n
_

_
I
f
_
I
f
_
I
f

n=1
__
I
f
n
_
.
Ya que las funciones f
n
HK(I), los extremos son iguales a

n=1
_
I
f
n
< .
Por lo tanto f HK(I) con integral dada por (3.7).
Consideremos la descomposicion de f en sus partes positiva y negativa,
f
+
y f

respectivamente, que se denen como sigue:

f
+
:= max{f, 0} y f

:= min{f, 0}.
Si f L(I) entonces las funciones f
+
y f

son HK-integrables. Esto se

sigue de las identidades
f
+
=
1
2
(f +|f|) y f

=
1
2
(|f| f) (3.8)
y de la linealidad de la integral. Dado que f
+
, f

0, estas pertenecen a
la clase L(I). En el siguiente corolario veremos un resultado que involucra
funciones en la clase L(I).
Corolario 3.6. Sea {f
n
} una sucesi on en L(I) y supongamos que la serie

n=1
_
I
|f
n
| converge. Entonces la suma

n=1
f
n
converge, es integrable y
_
I

n=1
f
n
=

n=1
_
I
f
n
.
Demostraci on. De las identidades en la ecuacion (3.8) se pueden obtener
facilmente las siguientes:
f = f
+
f

y |f| = f
+
+ f

. (3.9)
3.2 El Teorema de Convergencia Monotona 99
Ahora bien, note que

n=1
_
I
f
+
n
+

n=1
_
I
f

n
=

n=1
_
I
(f
+
n
+ f

n
) =

n=1
_
I
|f
n
| < .
Entonces las series

n=1
_
I
f
+
n
y

n=1
_
I
f

n
convergen.
Si denimos las funciones g(x) =

n=1
f
+
n
(x) y h(x) =

n=1
f

n
(x),
dado que f
+
n
y f

n
son no-negativas y HK-integrables para cada n, entonces
el teorema anterior asegura que g y h son integrables y que satisfacen
_
I
g =

n=1
_
I
f
+
n
y
_
I
h =

n=1
_
I
f

n
.
Luego tomemos f := g h, obteniendo f =

n=1
(f
+
n
f

n
) =

n=1
f
n
convergente e integrable.
Finalmente, concluimos que
_
I
f =
_
I
g
_
I
h =

n=1
__
I
f
+
n

_
I
f

n
_
=

n=1
_
I
f
n
.
Teorema 3.7. (Convergencia Mon otona) Sea {f
n
} una sucesi on mon otona
en HK(I) y sea f(x) = lm
n
f
n
(x) para toda x I. Entonces f HK(I) si
y s olo si la sucesi on {
_
I
f
n
} es acotada. En este caso,
_
I
f = lm
n
_
I
f
n
. (3.10)
Demostraci on. Supongamos que la sucesion {f
n
} es creciente. En caso con-
trario, el resultado se obtiene considerando {f
n
}.
() Supongamos que f HK(I). Dado que f
1
(x) f
k
(x) f(x) para
toda k, la monotona de la integral implica que
<
_
I
f
1

_
I
f
k

_
I
f < .
Entonces, efectivamente la sucesion de integrales esta acotada.
100 Teoremas de convergencia
() Supongamos ahora que {
_
I
f
n
} esta acotada, entonces el lmite existe.
Considere la siguiente identidad
f(x) = f
1
(x) +

k=2
(f
k
(x) f
k1
(x)).
Como el termino (f
k
(x) f
k1
(x)) 0 para toda k y para toda x y
ademas por hipotesis

k=2
_
I
(f
k
f
k1
) < ,
puede aplicarse el Teorema 3.5. Por tanto f f
1
es HK-integrable sobre I y
_
I
(f f
1
) = lm
n
n

k=2
_
I
(f
k
f
k1
) = lm
n
_
I
f
n

_
I
f
1
.
De lo anterior concluimos que f HK(I) y su integral esta dada por
_
I
f = lm
n
_
I
f
n
.
Observacion: Como probaremos mas adelante en este captulo, si se
modica una funcion integrable sobre un conjunto nulo E no se afecta ni
la existencia ni el valor de la integral. Entonces podemos suponer que la
sucesion en el teorema anterior es monotona para toda x excepto en E y el
teorema se sigue vericando.
Ejemplo 3.8. Sea G =

i=1
I
i
un abierto contenido en un intervalo cerrado
[a, b], donde los intervalos I
i
son disjuntos. Si tomamos f
n
:= 1
G
n
donde
G
n
=

n
i=1
I
i
, entonces la sucesion {f
n
} es creciente, converge puntualmente
a la funcion f = 1
G
, y {
_
b
a
f
n
} esta acotada por (b a). Por lo tanto se
satisfacen las condiciones del Teorema 3.7 obteniendo como resultado que la
funcion f = 1
G
es HK-integrable sobre [a, b], y por el Corolario 1.45 tenemos
_
b
a
1
G
= lm
n
_
b
a
1
G
n
= lm
n
n

i=1
(I
i
) =

i=1
(I
i
).
3.3 El Lema de Fatou 101
3.3. El Lema de Fatou
Este resultado es muy util cuando la sucesion de funciones no es nece-
sariamente monotona. Tanto en la prueba del Lema de Fatou como en la
del Teorema de Convergencia Dominada que veremos en la siguiente seccion,
hacemos uso de la nocion de lmite inferior y lmite superior de una suce-
sion. Enunciaremos la denicion y algunos resultados que utilizaremos sin
demostracion.
Denicion 3.9. Sea {x
n
} una sucesion en R y sea p
n
:= sup
mn
{x
m
}. Deni-
mos el lmite superior de {x
n
} como
lmsup x
n
=nf
n
p
n
= lm
n
p
n
.
Similarmente el lmite inferior se dene como el supremo (o el lmite) de la
sucesion {q
n
}, donde q
n
:=nf
mn
{x
m
}.
Si la sucesion {x
n
} es acotada, entonces tanto la sucesion de supremos
{p
n
} como la sucesion de nmos {q
n
} son acotadas. Ademas {p
n
} es de-
creciente y {q
n
} es creciente, por tanto ambas convergen. Es posible que los
lmites inferior y superior diverjan cuando la sucesion {x
n
} no es acotada.
Proposicion 3.10. Sean {x
n
} y {y
n
} sucesiones de reales. Entonces
a) lminf x
n
lmsup x
n
.
b) Si c 0 y d 0, entonces
lminf(c x
n
) = c lminf x
n
,
lmsup(c x
n
) = c lmsup x
n
,
lminf(d x
n
) = d lmsup x
n
,
lmsup(d x
n
) = d lminf x
n
.
c) lminf x
n
+ lminf y
n
lminf(x
n
+ y
n
).
102 Teoremas de convergencia
d) lmsup(x
n
+ y
n
) lmsup x
n
+ lmsup y
n
.
e) Si x
n
y
n
para cada n, entonces
lminf x
n
lminf y
n
,
lmsup x
n
lmsup y
n
.
f ) La sucesi on {x
n
} converge si y s olo si lminf x
n
= lmsup x
n
. En ese caso
lmx
n
= lminf x
n
= lmsup x
n
.
Lema 3.11. Sea {f
n
} una sucesi on en HK(I) y HK(I) tal que
(x) f
n
(x)
para cada x I y n N. Entonces nf
n
f
n
es HK-integrable sobre I.
Demostraci on. Como {f
n
} esta acotada inferiormente por la funcion , es
claro que el nmo nf
n
f
n
existe. Ahora, para cada k N hacemos
g
k
:= Min{f
1
, f
2
, . . . , f
k
}.
Como f
k
para cada k, el Corolario 2.23 b) implica que g
k
HK(I).
Ademas, la sucesion {g
n
} es decreciente y las integrales
_
I
g
k
estan acotadas
inferiormente por
_
I
. Por lo tanto, concluimos por el Teorema 3.7 que
lm
n
g
n
es HK-integrable sobre I. Por como construimos {g
n
} es claro que
nf
n
f
n
= lm
n
g
n
.
Teorema 3.12. (Lema de Fatou) Sea {f
n
} una sucesi on en HK(I) y
HK(I) tal que (x) f
n
(x) para cada x I y n N y supongamos que
lminf
_
I
f
k
< . (3.11)
Entonces lminf
n
f
n
est a en HK(I) y
_
I
lminf f
n
lminf
_
I
f
n
. (3.12)
3.3 El Lema de Fatou 103
Demostraci on. Sea q
n
:= nf{f
m
: m n}. La sucesion es creciente y por
el lema anterior, las funciones q
n
son HK-integrables sobre I. Dado que
q
n
f
n
, por la monotona de la integral y la propiedad e) en la Proposicion
3.10 tenemos
lminf
_
I
q
n
lminf
_
I
f
n
. (3.13)
Si la sucesion {
_
I
q
n
} no es convergente, es decir, si lm
n
_
I
q
n
diverge,
entonces la parte izquierda en la ecuacion (3.12) diverge y por consecuencia
tambien la parte derecha, lo que contradice la hipotesis en la ecuacion (3.11).
Entonces, {
_
I
q
n
} converge y por tanto es acotada. Luego, el Teorema de
Convergencia Monotona asegura que q = lm
n
q
n
= lminf f
n
esta en HK(I)
y
_
I
lminf f
n
=
_
I
lm
n
q
n
= lm
n
_
I
q
n
. (3.14)
Finalmente, combinando las ultimas dos ecuaciones y la propiedad f) en
la Proposicion 3.10, la ecuacion (3.12) se verica.
A continuacion ofrecemos dos ejemplos ilustrando que no podemos pre-
scindir de la existencia de la funcion y de la ecuacion (3.11) en el Teorema
3.12.
Ejemplo 3.13. Sea I = [0, 1] y para cada n N denamos f
n
sobre I como
f
n
(x) = n1
(0,1/n]
(x).
La sucesion converge puntualmente a la funcion nula. Entonces, la parte
izquierda en la ecuacion (3.12) es 0.
Por el Corolario 1.45, cada f
n
es HK-integrable sobre I y su integral es
el valor
_
I
f
n
= 1.
Luego, la parte derecha en la ecuacion (3.12) toma el valor -1. El problema
es que la funcion f
n
toma el valor n en el intervalo (0, 1/n], de manera que
no existe una cota inferior para la sucesion {f
n
}.
104 Teoremas de convergencia
Ejemplo 3.14. Sea I = [0, 1] y para cada n N denamos f
n
sobre I como
f
n
(x) =
1
x
2
1
(1/n,1)
(x).
La sucesion esta acotada inferiormente por la funcion nula y converge a
la funcion f(x) = 1/x
2
para x (0, 1] y f(0) = 0. Ademas
_
1
0
f
n
=
_
1
1/n
1
x
2
= 1 + n
por lo que la sucesion de integrales {
_
I
f
n
} diverge y por lo tanto la condicion
en la ecuacion (3.11) no se cumple.
Ahora mostraremos que la funcion lmite f no es HK-integrable sobre
[0, 1]. Para ello, usaremos el Lema 1.49. Denamos para cada n N la
funcion g
n
(x) = n
2
1
(0,1/n)
(x). Cada g
n
es HK-integrable sobre I y su integral
es
_
1
0
g
n
=
_
1/n
0
n
2
= n.
Como 0 g
n
(x) f(x) para cada x I y n N, el Lema 1.49 se verica
y concluimos que f / KH(I).
Como un corolario al Lema de Fatou presentamos la version dual, la cual
usaremos en la prueba del Teorema de Convergencia Dominada.
Corolario 3.15. (Dual del Lema de Fatou) Sea {f
n
} una sucesi on en HK(I)
y HK(I) tal que f
n
(x) (x) para cada x I y n N y supongamos
que
< lmsup
_
I
f
k
. (3.15)
Entonces lmsup
n
f
n
est a en HK(I) y
lmsup
_
I
f
n

_
I
lmsup f
n
. (3.16)
Demostraci on. La prueba se sigue de considerar la sucesion {f
n
}, el Lema
de Fatou y las propiedades de lmite inferior y superior en la Proposicion 3.10
parte b).
3.4 El Teorema de Convergencia Dominada 105
3.4. El Teorema de Convergencia Dominada
Teorema 3.16. (Convergencia Dominada) Sea {f
n
} una sucesi on en HK(I)
con f(x) = lm
n
f
n
(x) para cada x I, y , HK(I) tales que
(x) f
n
(x) (x)
para cada x I y n N. Entonces f es HK-integrable sobre I y se verica
la igualdad
_
I
f = lm
n
_
I
f
n
.
Demostraci on. Dado que la sucesion de integrales {
_
I
f
n
} esta acotada por
_
I

_
I
f
n

_
I
, n N,
entonces lminf
_
I
f
n
< y lmsup
_
I
f
n
> , de donde aplicando el Lema
de Fatou y su dual obtenemos respectivamente
_
I
f lminf
_
I
f
n
y lmsup
_
I
f
n

_
I
f.
Entonces, la Proposicion 3.10 a) implica que
lminf
_
I
f
n
= lmsup
_
I
f
n
=
_
I
f.
Finalmente, por la Proposicion 3.10 f) concluimos que
_
I
f = lm
n
_
I
f
n
.
Observacion 3.17. Es facil ver que si alguna de las funciones f
n
, , en
el teorema anterior es absolutamente integrable, entonces la funcion lmite
f tambien lo es. Primeramente, una funcion g HK-integrable esta en L(I) si
y solo existe HK-integrable en L(I) tal que g, o si y solo si existe
HK-integrable en L(I) tal que g . La condicion de necesidad es trivial en
ambos casos. Para la condicion de suciencia basta tomar g := (g ) +
y g := ( g), respectivamente.
106 Teoremas de convergencia
Corolario 3.18. Con las hip otesis del Teorema 3.16, si alguna de las fun-
ciones f
n
, , pertenece a la clase L(I) entonces la funci on lmite f = lm
n
f
n
tambien pertenece a L(I).
Demostraci on. Claramente f HK(I). Como cada f
n
HK(I) entonces
tambien f f
n
HK(I). Dado que tambien (x) f
n
(x) (x),
entonces
( ) f f
n
.
De aqu obtenemos |f f
n
| . El Criterio de comparacion, Proposicion
2.20, implica que f f
n
L(I). De este modo, si alguna f
n
es absolutamente
integrable sobre I entonces tambien lo es f.
Por otro lado, si tomamos el lmite cuando n en la desigualdad
f
n
, obtenemos f . As, si o es absolutamente integrable,
por lo discutido anteriormente f tambien lo es.
En la Proposicion 2.7 vimos que una serie convergente dene una fun-
cion HK-integrable. A continuacion, veremos un ejemplo de una sucesion de
funciones HK-integrables pero que no son absolutamente integrables, para
la cual se verican las hipotesis de los Teoremas de Convergencia Uniforme,
Monotona y Dominada.
Ejemplo 3.19. Considere la serie

k=1
(1)
k+1
/k. Se puede probar que esta
serie converge (Ver [3] p. 92). Claramente, la serie no converge absolutamente
ya que

k=1
1/k diverge.
Denamos la funcion h : [0, 1] R por
h(x) :=
_
_
_
2
k
(1)
k+1
/k x [c
k1
, c
k
), k N
0 x = 1,
donde c
k
= 11/2
k
, k = 0, 1, 2, . . .. Entonces, por la Proposicion 2.7 tenemos
que h HK([0, 1]). Por la Observacion 2.8, sabemos que |h| / HK([0, 1]) (Ver
Figura 3.1).
3.4 El Teorema de Convergencia Dominada 107
(0, 2) (1/2, 2)
(3/4, 8/3)
(7/8, 4)
(15/16, 4)
1

Figura 3.1: Graca de |h|.

Para cada n N, denamos la funcion h
n
: [0, 1] R como
h
n
(x) := h(x) + 1/n, para cada x [0, 1].
Por la linealidad de la integral, h
n
HK([0, 1]) para cada n = 1, 2, . . ..
Es facil probar que h
n
no es absolutamente integrable. Si suponemos lo
contrario y consideramos
|h + 1/n| = |h
n
|,
tendramos por el criterio 2.20 que h+1/n es absolutamente integrable y por
tanto que h lo es, lo cual es una contradiccion.
a) La sucesion {h
n
} converge uniformemente a h. Note que
|h
n
(x) h(x)| = 1/n, x [0, 1].
Por tanto, el Teorema 3.2 implica que la igualdad en (3.1) se cumple.
b) La sucesion h
n
(x) h(x) para cada x [0, 1] y por tanto el Teorema 3.7
se cumple.
108 Teoremas de convergencia
c) Para cada n, note que
h(x) h
n
(x) h(x) + 1.
Por tanto, el Teorema 3.16 tambien se cumple.
Observacion 3.20. Note que las funciones h
n
no son acotadas, por tanto
ninguna de las funciones h
n
es Riemann integrable. Tambien, como ya ad-
vertimos, ninguna de las funciones h
n
es absolutamente integrable, as que
ninguno de los teoremas anteriores se verica cuando nos restringimos a la
clase L([0, 1]).
3.5. Prueba alternativa del Teorema de Con-
vergencia Monotona usando el Lema de
Henstock
Proposicion 3.21. (Teorema de Convergencia Mon otona

) Sea I = [a, b] y
{f
n
} una sucesi on mon otona en HK(I). Sea f(x) = lm
n
f
n
(x). Entonces
f HK(I) si y s olo si la sucesi on {
_
I
f
n
} es acotada.
Demostraci on. () Igual que en la prueba del Teorema 3.7.
() Supongamos que {
_
I
f
n
} es acotada, entonces A = sup{
_
I
f
n
: n
N} existe. Sea > 0. Sea r N sucientemente grande tal que 1/2
r1
< y
0 A
_
I
f
r
< . (3.17)
Como f(x) = lm
n
f
n
(x) para cada x I, entonces podemos escoger
un entero k(x) r tal que
|f
k(x)
(x) f(x)| <

b a
. (3.18)
3.5 Prueba alternativa del Teorema de Convergencia Monotona
usando el Lema de Henstock 109
Ademas, como f
n
HK(I), entonces para cada n N existe una cubierta
de Cousin
n
tal que

(f
n
)
_
I
f
n

<
1
2
n
,
n
. (3.19)
Ahora denimos una cubierta de Cousin de I como sigue
= {(I, x) : (I, x)
k(x)
}. (3.20)
Note que esta depende de > 0. Ahora, sea = {(I
i
, x
i
)}
n
i=1
es particion
contenida en . Entonces
|S

(f) A|

i=1
f(x
i
)(I
i
)
n

i=1
f
k(x
i
)
(x
i
)(I
i
)

(3.21)
+

i=1
f
k(x
i
)
(x
i
)(I
i
)
n

i=1
_
I
f
k(x
i
)

(3.22)
+

i=1
_
I
f
k(x
i
)
A

. (3.23)
Por (3.18), el termino en (3.21) es acotado por
n

i=1
|f(x
i
) f
k(x
i
)
(x
i
)|(I
i
) <
n

i=1

b a
(I
i
) = .
Ahora deseamos acotar el termino en (3.22). Sea s denida como
s := max{k(x
i
) : i = 1, 2, . . . , n} r.
Considere la subparticion
p
:= {(I
i
, x
i
) : k(x
i
) = p}, p = r, . . . , s.
Usando (3.19) y el Lema de Henstock concluimos que
s

p=r

k(x
i
)=p

f
k(x
i
)
(x
i
)(I
i
)
_
I
i
f
k(x
i
)

p=r
1
2
p
<
1
2
r

k=0
1
2
k
=
1
2
r1
< .
Finalmente acotaremos (3.23). Como f
r
f
k(x
i
)
f
s
para cada i =
1, 2, . . . , n, entonces la monotona de la integral implica que
_
I
i
f
r

_
I
i
f
k(x
i
)

_
I
i
f
s
.
110 Teoremas de convergencia
Luego sumamos las integrales sobre cada subintervalo I
i
obteniendo
_
I
f
r

n

i=1
_
I
f
k(x
i
)

_
I
f
s
.
Entonces por (3.18) concluimos que A <

n
i=1
_
I
f
k(x
i
)
A, por lo
que (3.23) esta dominada por > 0.
Por lo tanto
|S

(f) A| 3,
y como > 0 es arbitrario, el teorema esta completo.