Desarrollo de Teoremas para la Integral de

Riemann-Stieltjes y Lebesgue.
Robinson Ernesto Calvo Cano
Director:
Leonardo Jimnez Moscovitz
Matemtico
Esp. Informtica y Ciencias de la Computacin
Fundacin Universitaria Konrad Lorenz
Facultad de Matemticas
9 de diciembre de 2007
Resumen
En este trabajo se expone el desarrollo detallado de los principales teo-
remas relacionados con la Integral de Riemann, y los rboles que mues-
tran los caminos necesarios para realizar las demostraciones expuestas.
Luego se exponen los principales teoremas relacionados con la integral de
Lebesgue, con el objetivo de realizar una comparacin entre la integral de
Riemann y la integral de Lebesgue.
1
ndice
Introduccin 4
1. Objetivos 5
1.1. Objetivos Generales . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Objetivos Especcos . . . . . . . . . . . . . . . . . . . . . . . . . 5
2. Preliminares 6
2.1. Deniciones y Notacin Bsica . . . . . . . . . . . . . . . . . . . 6
3. Integral de Riemann-Stieltjes 7
3.1. Propiedades Lineales . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2. Integracin por Partes . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3. Cambio de Variable . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.4. Reduccin a una Integral de Riemann . . . . . . . . . . . . . . . 14
3.5. Funciones Escalonadas como Integradores . . . . . . . . . . . . . 16
3.6. Reduccin de una Integral de Riemann-Stieltjes a una Suma Finita 18
3.7. Frmula de Sumacin de Euler . . . . . . . . . . . . . . . . . . . 20
3.8. Integradores Montonos Crecientes. Integrales Superior e Inferior 21
3.9. Propiedad Aditiva y Lineal de las Integrales Superior e Inferior . 26
3.10. Condicin de Riemann . . . . . . . . . . . . . . . . . . . . . . . . 26
3.11. Teoremas de Comparacin . . . . . . . . . . . . . . . . . . . . . . 28
3.12. Integradores de Variacin Acotada . . . . . . . . . . . . . . . . . 30
3.13. Condicin Suciente Para la Existencia de Las Integrales de Riemann-
Stieltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.14. Condiciones Necesarias para la Existencia de las Integrales de
Riemann-Stieltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.15. Teoremas de Valor Medio para las Integrales de Riemann-Stieltjes 36
3.16. La Integral como una Funcin de Intervalo . . . . . . . . . . . . . 37
4. Integral de Lebesgue 39
4.1. Funciones Escalonadas, Sucesin de Funciones Escalonadas y su
Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2. Funciones Superiores y sus Integrales . . . . . . . . . . . . . . . . 43
4.2.1. Propiedades de la Integral de Funciones Superiores . . . . 44
4.3. La Clase de las Funciones Integrables de Lebesgue . . . . . . . . 46
4.4. Propiedades Generales de la Integral de Lebesgue . . . . . . . . . 47
4.5. Integral de Lebesgue en Conjuntos de Medida Cero . . . . . . . . 52
4.6. Teoremas de Levi y Convergencia Dominada . . . . . . . . . . . . 52
4.7. Integradores de Lebesgue sobre Intervalos no Acotados . . . . . . 61
4.8. Funciones Medibles . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.9. Continuidad de Funciones Denidas por medio de Integrales de
Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2
5. Comparacin entre las Integrales de Riemann-Stieltjes y las
integrales de Lebesgue 65
5.1. Diagramas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
6. Conclusiones 76
Introduccin
El presente trabajo trata fundamental mente sobre los teoremas de la inte-
gral de Riemann-Stieltjes desarrollndolos detenida y minuciosamente tratando
de dejarlos explicados formalmente, sin dejar huecos en las demostraciones y
haciendo los procedimientos que cada uno implica sin saltarse ninguno de los
pasos.
En las Integrales de Lebesgue se hace una breve explicacin de los principales
teoremas, casi como aparecen en cualquier libro de anlisis matemtico.
Para posteriormente realizar una comparacin entre estos dos tipos de inte-
grales y realizar un diagrama de rbol de las principales deniciones y teoremas
contenidas en el trabajo.
4
1. Objetivos
1.1. Objetivos Generales
El objeto del presente trabajo es presentar la teora sobre las Integrales de
Riemann-Stieltjes y las Integrales de Lebesgue comparndolas y dar las bases
para en un futuro ampliar el estudio de estas teoras y dejar un referente para
futuras investigaciones sobre las teoras de Integracin existentes.
1.2. Objetivos Especcos
1. Hacer un desarrollo detallado de las integrales de Riemann-Stieltjes, expli-
cando lo mas ampliamente cada uno de los teoremas relevantes para este
tipo de integral.
2. Presentar las integrales de Lebesgue, mostrando algunos de sus principales
teoremas.
3. Realizar una comparacin entre las integrales de Riemann-Stieltjes y las
integrales de Lebesgue.
4. Realizar un diagrama de rbol en el cual se mostrara el desarrollo cronolgi-
co de las diferentes deniciones y demostraciones, para as poder compren-
der mejor el desarrollo de las teoras de la Integral de Riemann-Stieltjes y
de la Integral de Lebesgue.
5
2. Preliminares
2.1. Deniciones y Notacin Bsica
A lo largo del presente escrito se trabajar con la siguiente notacin bsica:
Denicin 2.1 Las deniciones bsicas son las siguientes:
1. En general se tendr que [a, b] representa un intervalo compacto. Si en
el contexto se hace referencia a las funciones f, g, .. se considerar que se
tratan de funciones reales y acotadas en dicho [a, b].
2. Una particin P de [a, b] es un conjunto nito de puntos P = x
0,
x
1,
..., x
n

donde a = x
0
< x
1
< ... < x
n
= b.
3. Una particin P

de [a, b] es un renamiento de P si P P

.
4. Se tiene que
k
= (x
k
) (x
k1
). Se puede entender a
k
como la
variacin correspondiente al k esimo subintervalo, resultando
n

k=1

k
=
(b) (a).
5. El conjunto de todas las posibles particiones de [a, b] se designara por
[a, b].
6. La norma de una particin P, designada por |P| ser la longitud del
mayor de los subintervalos de P y si P

P entonces |P

| |P|.
7. en [a, b] signica que es creciente en [a, b].
Denicin 2.2 (Continuidad Uniforme) Sea f : S T una funcin de un
espacio metrico (S, d
S
) en otro espacio mtrico (T, d
T
) . entonces, se dice que
f es uniformente contnua en un subconjunto A de S si verica, que para cada
> 0 existe un > 0 (que depende exclusivamente de ) tal que si x A y
p A entonces
d
T
(f (x) , f (p)) < siempre que d
s
(x.p) <
Teorema 2.1 (Teorema del valor medio generalizado) Sean f y g dos fun-
ciones contnuas que poseen derivada (nita o innita) en cada uno de los puntos
del intervalo abierto (a, b) y cada una es continua en los puntos externos a y b y
no existe ningn punto x del interior del intervalo en el que f/(x) y g

(x) sean
ambas innitas. Entonces para algun punto c interior se tiene
f

(c) [g (b) g (a)] = g

(c) [f (b) f (a)]

6
3. Integral de Riemann-Stieltjes
Denicin 3.1 (Integral de Riemann-Stieltjes) Sea P = x
0,
x
1,
..., x
n
una
particin de [a, b] y t
k
un punto dentro del subintervalo [x
k1
, x
k
]. Entonces se
puede denir:
1. Una suma de Riemann-Stieltjes de f respecto de , dada una particin
P, se dene como S(P, f, ) =
n

k=1
f(t
k
)
k
.
2. La funcin f es Riemann integrable respecto de en [a, b], y se escribir
como f R() en [a, b], si existe un nmero A que satisface que para
cada > 0 existe una particin P

de [a, b] tal que para cada renamiento

P mas no que P

y cada eleccin de puntos t

k
del intervalo [x
k1
, x
k
]
se tiene que [S(P, f, ) A[ < . Cuando este numero A existe es nico
y se representa por medio de
_
b
a
f(x)d(x) o abreviando
_
b
a
fd y se le
llamar la Integral de Riemann-Stieltjes. En esta expresin, f y
sern integrando e integrador respectivamente.
3. Si (x) = x, entonces la suma denida en 1 se escribe simplemente como
S(P, f) y la funcin denida en 2 se escribe como f R en [a, b], la
cual es la integral usual de Riemann y que se designa normalmente por
_
b
a
f(x)dx o
_
b
a
fdx.
4. El valor numrico de la integral de Riemann-Stieltjes depende solamente
de f, , a, b y en lo absoluto del smbolo x que puede ser remplazado por
cualquier otro sin que afecte para nada la integral.
3.1. Propiedades Lineales
Teorema 3.1 (Propieda Lineal 1) Si f R() y g R() en [a, b], en-
tonces (c
1
f + c
2
g) R() en [a, b] para cualquier par de constantes c
1
y c
2
y
adems se tiene que
_
b
a
(c
1
f +c
2
g)d = c
1
_
b
a
fd +c
2
_
b
a
gd
Demostracin. Sea h = c
1
f +c
2
g. Dada una particin P de [a, b] se puede
escribir:
S(P, h, ) =
n

k=1
h(t
k
)
k
= c
1
n

k=1
f(t
k
)
k
+c
2
n

k=1
g(t
k
)
k
= c
1
S(P, f, ) +c
2
S(P, g, )
7
dado > 0. Se elige P

tal que P P

implique

S(P, f, )
_
b
a
fd

< y P

tal que P P

implique

S(P, g, )
_
b
a
gd

< . Si se toma P

= P

, se
tiene que P es mas na que P

y entonces:
[S(P, f, ) +S(P, f, ) A[ [c
1
[ +[c
2
[
=

S(P, f, ) +S(P, g, ) (c
1
_
b
a
fd +c
2
_
b
a
gd)

[c
1
[ +[c
2
[
=

S(P, h, ) (c
1
_
b
a
fd +c
2
_
b
a
gd)

[c
1
[ +[c
2
[
pero como

S(P, h, )
_
b
a
hd

[c
1
[ + [c
2
[ y por la denicin 2 de la
Integral de Riemann-Stieltjes
_
b
a
hd es nico resulta:
_
b
a
hd = c
1
_
b
a
fd+c
2
_
b
a
gd
_
b
a
(c
1
f+c
2
g)d = c
1
_
b
a
fd+c
2
_
b
a
gd
Teorema 3.2 (Propiedad Lineal 2) Si f R() y f R() en [a, b], en-
tonces f R(c
1
+c
2
) en [a, b] para cualquier par de constantes c
1
y c
2
. Por
tanto se tiene que:
_
b
a
fd(c
1
+c
2
) = c
1
_
b
a
fd +c
2
_
b
a
fd
Demostracin. Sea = c
1
+c
2
. Dada una particin P de [a, b] se puede
escribir:
S(P, f, ) =
n

k=1
f(t
k
)
k
= c
1
n

k=1
f(t
k
)
k
+c
2
n

k=1
f(t
k
)
k
= c
1
S(P, f, ) +c
2
S(P, f, )
dado > 0. Se elige P

tal que P P

implique

S(P, f, )
_
b
a
fd

< y P

tal que P P

implique

S(P, f, )
_
b
a
fd

< . Si se toma P

= P

, se
8
tiene que para p mas na que P

entonces:
[S(P, f, ) +S(P, f, ) A[ [c
1
[ +[c
2
[
=

S(P, f, ) +S(P, f, ) (c
1
_
b
a
fd +c
2
_
b
a
fd)

[c
1
[ +[c
2
[
=

S(P, f, ) (c
1
_
b
a
fd +c
2
_
b
a
fd)

[c
1
[ +[c
2
[
pero como

S(P, f, )
_
b
a
fd

[c
1
[ + [c
2
[ y por la denicin 4 de la
Integral de Riemann-Stieltjes
_
b
a
fd es nico y resulta
_
b
a
fd = c
1
_
b
a
fd+c
2
_
b
a
fd
_
b
a
fd(c
1
+c
2
) = c
1
_
b
a
fd+c
2
_
b
a
fd
Teorema 3.3 (Propiedad Lineal 3) Si se tiene c (a, b), se cumple que si
existen dos de las integrales
_
b
a
fd,
_
c
a
fd o
_
b
c
fd , entonces la tercera
integral existe y adems:
_
b
a
fd =
_
c
a
fd +
_
b
c
fd
Demostracin. Sea P una particin de [a, b] tal que c P, y sean P

=
P [a, c] y P

= P [c, b] las particiones correspondientes a [a, c] y [c, b] respec-

tivamente. Las sumas de Riemann-Stieltjes asociadas a estas particiones estan
ligadas por la ecuacin S(P, f, ) = S(P

, f, ) +S(P

, f, ).
1. Se supone la existencia de
_
c
a
fd y
_
b
c
fd. Entonces para > 0 existe
P

de [a, c] tal que si P

se tiene

S(P

, f, )
_
c
a
fd

<

2
(1)
y existe P

de [c, b] tal que si P

se tiene que

S(P

, f, )
_
b
c
fd

<

2
(2)
Si P

= P

es una particin de [a, b] tal que si P es una particin

9
mas na que P

y combinando las ecuaciones 1 y 2 se tiene:

S(P

, f, ) +S(P

, f, )
_
c
a
fd
_
b
c
fd

<

2
+

2
implica que

S(P, f, )
_
c
a
fd
_
b
c
fd

<
y por la denicin 2 de la integral de Riemann-Stieltjes resulta
_
c
a
fd =
_
c
a
fd +
_
b
c
fd
2. Se supone la existencia de
_
b
a
fd y
_
c
a
fd. Entonces para > 0 existe
P

de [a, b] tal que si P P

se tiene

S(P, f, )
_
b
a
fd

< (3)
y existe P

de [a, c] tal que si P

se tiene la ecuacin 1 . Si P

=
P

una particin de [c, b] tal que P

, combinando las dos

ecuaciones 1 y 3 se tiene:

S(P, f, ) S(P

, f, )
_
b
a
fd +
_
c
a
fd

<

2
implica que:

S(P

, f, )
_
b
a
fd +
_
c
a
fd

<

2
y por la denicin 2 de la integral de Riemann-Stieltjes resulta:
_
b
c
fd =
_
b
a
fd
_
c
a
fd
10
3. Se supone la existencia de
_
b
a
fd y
_
b
c
fd. Entonces para > 0 existe
P

de [a, b] tal que si P P

se tiene la ecuacin 3 y existe P

de [c, b] tal
que si P

se tiene la ecuacin 2. Si P

= P

una particin de
[a, c] tal que P

, combinando las dos ecuaciones 2 y 3 se tiene

S(P, f, ) S(P

, f, )
_
b
a
fd +
_
b
c
fd

<

2
implica que

S(P

, f, )
_
b
a
fd +
_
b
c
fd

<

2
y por la denicin 2 de la integral de Riemann-Stieltjes resulta
_
c
a
fd =
_
b
a
fd
_
b
c
fd
Denicin 3.2 Si a < b, se dene
_
a
b
fd =
_
b
a
fd, dado que
_
b
a
fd exista.
Denicin 3.3 La integral
_
a
a
fd es igual a 0.
3.2. Integracin por Partes
Teorema 3.4 (Integracion por Partes) Si f R() en [a, b], entonces
R(f) en [a, b] y se tiene que:
_
a
b
f(x)d(x) +
_
a
b
(x)df(x) = f(b)(b) f(a)(a)
Demostracin. Sea > 0 un numero real dado. Como
_
a
b
fd existe, en-
tonces se tendr una particin P

de [a, b] tal que para toda P

se tiene
que

S(P

, f, )
_
b
a
fd

< (1)
Se considerar una suma de Riemann-Stieltjes arbitraria para la integral
_
a
b
df
11
. Luego:
S(P, , f) =
n

k=1
(t
k
)f(x
k
) (2)
=
n

k=1
(t
k
)f(x
k
)
n

k=1
(t
k
)f(x
k1
)
en donde P es mas na que P

. Se hace A = f(b)(b) f(a)(a), pudiendose

escribir
A =
n

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

k=1
f(x
k1
)(x
k1
) (3)
restando 1 de 3 se tiene:
AS(P, , f) =
n

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

k=1
f(x
k1
)(x
k1
)

k=1
(t
k
)f(x
k
) +
n

k=1
(t
k
)f(x
k1
)
=
n

k=1
f(x
k
) [(x
k
) (t
k
)] +
n

k=1
f(x
k1
) [(t
k
) (x
k1
)]
Si se hace P

= x
0
, t
1
, x
1
, t
2
, x
2
, ..., t
n
, x
n
las dos sumas pueden considerarse
en una sola de la forma S(P

, f, ), donde P

P P

. Por lo cual, si se cumple

la ecuacin 1 se tiene que:

AS(P, , f)
_
b
a
fd

<
siempre que P sea mas na que P

, asegurando de esta manera la existencia de

_
a
b
df , la cual es A
_
b
a
fd.
3.3. Cambio de Variable
Teorema 3.5 (Cambio de Variable) Sea f R() en [a, b] y sea g una fun-
cin continua estrictamente monotona denida en un intervalo S de ex-
tremos c y d. Se supone que a = g(c) y b = g(d), y se denen h y como las
funciones compuestas tales que h(x) = f(g(x)) y (g(x)) si x S. Entonces
h R() en S y se tiene
_
b
a
fd =
_
d
c
gd
12
resultando
_
g(d)
g(c)
f(t)d(t) =
_
d
c
g(x)d(x)
Demostracin. Se supone que g es estrictamente creciente en S (c < d). por
lo cual g es inyectiva y posee inversa g
1
contnua y creciente en [a, b]. Por tanto
a cada particin P = y
0
, y
1
, ..., y
n
en [c, d] le corresponde una nica particin
P

= x
0,
x
1,
..., x
n
en [a, b] y se puede escribir que P

= g(P) y P = g
1
(P

),
teniendo adems que un renamiento en P produce un renamiento en P

y un
renamiento en P

produce un renamiento en P.Ahora dado > 0, existe una

particin P

en [a, b] tal que P

mas na que P

implica

S(P

, f, )
_
b
a
fd

<
. Sea P = g
1
(P

) la particin correspondiente, y sea P = y

0
, y
1
, ..., y
n

en [c, d] mas na que P

, la suma de Riemann-Stieltjes correspondiente sera

S(P, h, ) =
n

k=1
h(u
k
)
k
, en la que u
k
[y
k1
, y
k
] y
k
= (y
k
) (y
k1
)
haciendo t
k
= g(u
k
) y x
k
= g(y
k
), se tendra que P

= x
0,
x
1,
..., x
n
en [a, b]
sera una particin mas na que P

resultando
S(P, h, ) =
n

k=1
h(u
k
)
k
=
n

k=1
h(u
k
) [(y
k
) (y
k1
)]
=
n

k=1
f(g(u
k
)) ([g(y
k
)] [g(y
k1
)])
=
n

k=1
f(t
k
) [(x
k
) (x
k1
)]
= S(P

, f, )
estando t
k
[x
k1
, x
k
] resultando

S(P, h, )
_
b
a
fd

< de donde se deduce:

S(P, h, ) = S(P

, f, )
13
3.4. Reduccin a una Integral de Riemann
Teorema 3.6 (Reduccin a una Integral de Riemann) Sea f R() en
[a, b] y supngase que posee derivada

continua en [a, b]. Entonces la integral

Riemann
_
b
a
f(x)

(x)dx existe y se verica que:

_
b
a
f(x)d(x) =
_
b
a
f(x)

(x)dx
Demostracin. Sea g(x) = f(x)

(x) y considrese la suma de Riemann:

S(P, g) =
n

k=1
g(t
k
)x
k
(1)
=
n

k=1
f(t
k
)

(t
k
)x
k
La misma particin P y la misma eleccin de puntos t
k
puede utilizarse para
formar la suma de Riemann-Stieltjes:
S(P, f, ) =
n

k=1
f(t
k
)
k
(2)
Aplicando el "teorema del valor medio", se puede escribir

k
= (x
k
) (x
k1
)
=

(v
k
)(x
k
x
k1
)
=

(v
k
)x
k
con v
k
(x
k1
, x
k
), de donde restando 1 de 2 se tiene:
S(P, f, ) S(P, g) =
n

k=1
f(t
k
)
k

k=1
f(t
k
)

(t
k
)x
k
3
=
n

k=1
f(t
k
)

(v
k
)x
k

k=1
f(t
k
)

(t
k
)x
k
=
n

k=1
f(t
k
) [

(v
k
)

(t
k
)] x
k
devido a que f es acotada, se tiene que [f(x)[ < M para todo x de [a, b] donde
14
M > 0. Por otra parte la continuidad de

en [a, b] implica continuidad

uniforme en [a, b]. Por lo cual dado > 0, existe > 0, que depende nicamente
de , tal que o [x y[ < implica [

(x)

(y)[ <

2M(b a)
. Tomando
una particin P

de norma |P

| < , entonces para P una particin mas na

que P

se tiene que [

(v
k
)

(t
k
)[ <

2M(b a)
, por lo cual el valor absoluto
de 1 sera:
[S(P, f, ) S(P, g)[ =

k=1
f(t
k
) [

(v
k
)

(t
k
)] x
k

< M

2M(b a)
(b a)
=

2
resumiendo:
[S(P, f, ) S(P, g)[ <

2
que se puede expresar como:
[S(P, g) S(P, f, )[ <

2
(4)
de otra lado como f R() en [a, b], existe una particin P

tal que si P es
mas na que P

resulta:

S(P, f, )
_
b
a
fd

<

2
(5)
Ahora combinando las ec. 4 y 5 y si P es mas na que P

= P

se tiene
nalmente:

S(P, g)
_
b
a
fd

<
15
3.5. Funciones Escalonadas como Integradores
Se presenta a continuacin la denicin de funcin escalonada, que es impor-
tante para simplicar conceptualmente aspectos ms complejos de la integral de
Riemann, y facilita muchas demostraciones.
Denicin 3.4 (Funcin Escaln) Una funcin de [a, b] es una funcin
escalonada si existe una particin a = x
1
< x
2
< ... < x
n
= b de modo que
es constante en cada subintervalo abierto (x
k1
, x
k
) , para 1 < k n. Al
nmero
_
x
+
k
_

_
x

k
_
se denomina salto en x
k
, si 1 < k < n. El salto en x
1
es (x
+
1
) (x
1
) y en x
n
es (x
n
) (x

n
) .
Denicin 3.5 Si es constante en [a, b], la integral
_
b
a
fd existe y vale cero.
Esto se puede vericar, ya que:
S(P, f, ) =
n

k=1
f(t
k
)
k
=
n

k=1
f(t
k
)
n

k=1

k
=
n

k=1
f(t
k
) [(b) (a)]
y como es constante (b) = (a) resulta:
S(P, f, ) =
n

k=1
f(t
k
) [(b) (a)]
=
n

k=1
f(t
k
) 0
= 0
Denicin 3.6 Si es constante en [a, b] menos en un punto q donde (q)
presenta una discontinuidad de salto, la integral
_
b
a
fd puede no existir y si
existe no necesariamente es cero.
Teorema 3.7 Dados a < c < b, se dene en [a, b] como los valores (a),
(b) y (c) arbitrarios:
(x) = (a) si a x < c
y
(x) = (b) si c < x b
16
Sea f una funcin denida en [a, b] de manera que por lo menos una de las
funciones f o es continua a la derecha de c y por lo menos una de ellas es
continua a la izquierda de c. Entonces f R() en [a, b] y
_
b
a
fd = f(c)
_

_
c
+
_

_
c

_
Si c = a la integral
_
b
a
fd se cumple reemplazando (c

) por (c) y si c = b
se cumple reemplazando (c
+
)
Demostracin. Sea P una particin de [a, b]. Si c P, y si se tiene que P0 =
x
0
, x
1
, ..., c

, c, c
+
, ..., x
n
la suma S(P, f, ) es cero excepto en los terminos c

,
c
+
, quedando:
S(P, f, ) = f(t
k1
)
_
(c)
_
c

_
+f(t
k
)
_

_
c
+
_
(c)

donde t
k1
c t
k
si:
= S(P, f, ) f(c)
_

_
c
+
_

_
c

_
= f(t
k1
)
_
(c)
_
c

_
+f(t
k
)
_

_
c
+
_
(c)

f(c)
_

_
c
+
_

_
c

_
= f(t
k1
)(c) f(t
k1
)
_
c

_
+f(t
k
)
_
c
+
_
f(t
k
)(c) f(c)
_
c
+
_
+f(c)
_
c

_
= f(t
k1
)(c) f(t
k1
)
_
c

_
+f(t
k
)
_
c
+
_
f(t
k
)(c) f(c)
_
c
+
_
+f(c)
_
c

_
+ 0
= f(t
k1
)(c) f(t
k1
)
_
c

_
+f(t
k
)
_
c
+
_
f(t
k
)(c) f(c)
_
c
+
_
+f(c)
_
c

_
+f(c)(c) f(c)(c)
= [f(t
k1
) f(c)] (c) [f(t
k1
) +f(c)]
_
c

_
+[f(t
k
) f(c)]
_
c
+
_
[f(t
k
) f(c)] (c)
= [f(t
k1
) f(c)]
_
(c)
_
c

_
+ [f(t
k
) f(c)]
_

_
c
+
_
(c)

por la inecuacin triangular [a +b[ < [a[ +[b[ y por [ab[ = [a[ [b[ se tiene
[[

[f(t
k1
) f(c)]
_
(c)
_
c

[f(t
k
) f(c)]
_

_
c
+
_
(c)

= [f(t
k1
) f(c)[

(c)
_
c

+[f(t
k
) f(c)[

_
c
+
_
(c)

Si f es continua en c, para cada > 0 existe un > 0 tal que |P| < implica:
[f(t
k1
) f(c)[ < y [f(t
k
) f(c)[
17
y entonces:
[[

(c)
_
c

_
c
+
_
(c)

(1)
Pero esta desigualdad se verica tanto si f es continua en c como si no lo es.
Si f es discontnua a la derecha y a la izquierda de c, entonces (c) = (c

)
y (c) = (c
+
) y se tendria = 0, si f es contnua a la derecha de c pero
no a la izquierda se tendria (c) = (c

) y [[ [(c
+
) (c)[ y si f es
contnua a la izquierda de c pero no a la derecha se tendria (c) = (c
+
) y
[[ [(c) (c

)[ , por lo cual la desigualdad 1 se cumplira en todos los

casos.
3.6. Reduccin de una Integral de Riemann-Stieltjes a una
Suma Finita
El siguiente teorema utiliza el concepto de funcin escalonada, y es de vi-
tal importancia por cuanto muestra como se puede expresar una integral de
Riemann como una suma nita trminos, cada uno de los cuales representa un
rea.
Teorema 3.8 (Reduccin de Integral Riemann-Stieltjes a Suma Finita)
Sea una funcin escalonada denida en [a, b] con salto
k
en x
k
, donde los
puntos x
1
, ..., x
n
son las correspondientes a una particin denida sobre [a, b]
donde a = x
1
, x
2
, ..., x
n
= b como las descritas en la denicin 3.4.
Sea f una funcin denida en [a, b] de manera que por lo menos una de las
funciones f o es contnua a la derecha de x
k
y una por lo menos contnua a
la izquierda de x
k
, entonces
_
b
a
fd existe y se cumple que:
_
b
a
f (x) d(x) =
n

k=1
f(x
k
)
k
Demostracin. Por el teorema 3.3 se puede escribir la integral:
_
b
a
f (x) d(x) =
_
x1
a
f (x) d(x) +
_
x2
x1
f (x) d(x) +... +
_
b
xn1
f (x) d(x)
donde cada integral de la forma
_
x
k
x
k1
f (x) d(x) con 1 k n, cumple las
condiciones del teorema 3.7 resultando:
_
xk
xk1
f (x) d(x) = f(c
k
)
_

_
c
+
k
_

_
c

k
_
con 1 k n y x
k1
< c
k
x
k
, quedando la integral:
18
_
x
k
x
k1
f (x) d(x) = f(c
1
)
_

_
c
+
1
_

_
c

1
_
+f(c
2
)
_

_
c
+
2
_

_
c

2
_
+
... +f(c
n
)
_

_
c
+
n
_

_
c

n
_
= f(c
1
)
1
+f(c
2
)
2
+... +f(c
n
)
n
=
n

k=1
f(x
k
)
k
Teorema 3.9 Dada
n

k=1
a
k
, se dene f en [0, n] como
f(x) = a
x
si k 1 < x k, f(0) = 0
resultando:
n

k=1
a
k
=
n

k=1
f(k) =
_
n
0
f (x) d [x]
donde [x] es la funcin parte entera de x.
Demostracin. La funcin [x] es una funcin escalonada contnua por
derecha y con salto igual a 1 por la izquierda en 1, 2, ..., n. Para una parti-
cin p = x
0
, x
1
, ..., x
n
donde 0 = x
0
< x
1
< ... < x
n
= n. Si para x
k1
y x
k
,
[x
k
] = [x
k1
] = r, entonces para un entero k [x
k1
, x
k
] se tiene:
f(k)([k
+
] [k

]) = f(k)[r r]
= f(k) 0
= 0
y si para x
k1
y x
k
, [x
k
] ,= [x
k1
], para un entero k [x
k1
, x
k
] se tendr:
f(k)([k
+
] [k

]) = f(k) 1
= f(k)
Aplicando el teorema 3.8 se tendra que:
_
n
0
f (x) d [x] = f(0)([0
+
] [0]) +f(1)([1
+
] [1

])
+f(2)[[2
+
] [2

]] +... +f(n)[[n] [n

]]
= 0 +f(1) 1 +f(2) 1 +... +f(n) 1
=
n

k=1
f(k) =
n

k=1
a
k
19
3.7. Frmula de Sumacin de Euler
Se utilizan las integrales de Riemann-Stieltjes para obtener la Frmula de
Sumacin de Euler, la cual relaciona la integral de una funcin en un intervalo
[a, b] con la suma de los valores de la funcin en los puntos enteros de[a, b]. Se
utiliza para aproximar integrales mediante sumas o para estimar los valores de
ciertas sumas por medio de integrales.
Teorema 3.10 (Frmula de Sumacin de Euler) Si f posee derivada con-
tinua f

en [a, b] entonces se tiene

[b]

n=[a]+1
=
_
b
a
f(x)dx +
_
b
a
f

(x)(x [x])dx +f(a)(a [a]) f(b)(b [b]),

Si a y b son enteros, se obtiene:
b

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

(x)
_
x [x]
1
2
_
dx +
f(a) +f(b)
2
Demostracin. Aplicando el teorema 3.4 se obtiene:
_
b
a
f(x)d(x [x]) +
_
b
a
(x [x])df(x) = f(a)(b [b]) f(a)(a [a])
_
b
a
f(x)d(x [x]) +
_
b
a
(x [x])df(x) +f(a)(a [a]) f(a)(b [b]) = 0
Aplicando el teorema 3.2 se obtiene:
_
b
a
f(x)dx
_
b
a
f(x)d[x] +
_
b
a
(x [x])df(x) +f(a)(a [a]) f(a)(b [b]) = 0
y aplicando el teorema 3.6 se tiene:
_
b
a
f(x)dx
_
b
a
f(x)d[x]
(1)
+
_
b
a
f

(x)(x [x])dx +f(a)(a [a]) f(a)(b [b]) = 0 (1)

Debido a que la funcin parte entera tiene saltos unitarios en los enteros [a] +
20
1, [a] + 2, ..., [b] se puede escribir
_
b
a
f(x)d[x] =
[b]

n=[a]+1
f(n)
_
b
a
f(x)d[x]
[b]

n=[a]+1
f(n) = 0 (2)
combinando y 2 se obtiene:
_
b
a
f(x)dx
_
b
a
f(x)d[x] +
_
b
a
f

(x)(x [x])dx+
+f(a)(a [a]) f(a)(b [b]) +
_
b
a
f(x)d[x]
[b]

n=[a]+1
f(n) = 0
_
b
a
f(x)dx +
_
b
a
f

(x)(x [x])dx
+f(a)(a [a]) f(a)(b [b])
[b]

n=[a]+1
f(n) = 0
[b]

n=[a]+1
f(n) =
_
b
a
f(x)dx +
_
b
a
f

(x)(x [x])dx
+f(a)(a [a]) f(a)(b [b])
3.8. Integradores Montonos Crecientes. Integrales Supe-
rior e Inferior
Se presentar ahora la teoria de Riemann-Stieltjes para integradores monotonos
crecientes la cual es tan general como estudiar la teora para integradores de
variacin acotada.
Cuando es creciente, las diferencias
k
que aparecen en las sumas de
Riemann-Stieltjes son todas no negativas. Para hallar el area de la regin limi-
tada por una funcin, se consideran las sumas de Riemann

f(t
k
)x
k
como
21
Figura 1: Integral Superior e Inferior de Riemann
aproximaciones al area por medio de rectngulos. Otro mtodo de aproximacin
a estos problemas se obtiene al considerar las sumas superior e inferior de Rie-
mann. En el caso de las areas, se pueden considerar aproximaciones por exceso
y por defecto mediante las sumas

M
k
x
k
y

m
k
x
k
, donde M
k
y m
k
designan, respectivamente, el sup y el inf (g. 1)de los valores de la funcin en
el k-simo subintervalo. Geomtricamene las sumas superiores son por lo menos,
tan grandes como el area determinada y las inferiores son a lo ms como el area
determinada.
El inf de todas las sumas superiores, que es un numero real llamado integral
superor de f , y el sup de todas las sumas superiores, tambin es un numero
real y es llamado integral inferior de f. Por ejemplo para funciones contnuas
estas dos integrales son iguales a
_
b
a
f(x)dx pero en general estas dos integrales
son diferentes y plantean el problema de hallar condiciones relativas a la funcin
para que las integrales superior e inferior coincidan. Ahora se tratar este tipo
de problemas para las integrales de Riemann-Stieltjes.
22
Denicin 3.7 (Sumas Superior e Inferior de Stieltjes) Sea P una par-
ticin de [a, b] y sean:
M
k
(f) = supf(x) : x [x
k1
, x
k
] ,
m
k
(f) = inf f(x) : x [x
k1
, x
k
]
entonces, los nmeros
U(P, f, ) =
n

k=1
M
k
(f)
k
y L(P, f, ) =
n

k=1
m
k
(f)
k
se llaman, respectivamente, sumas superior e inferior de Stieltjes de f
con respecto a para la particin P. Siempre se verica que m
k
(f)
M
k
(f) y si en [a, b], entonces
k
0 y se puede escribir tambin que
m
k
(f)
k
M
k
(f)
k
= fM
k

k
, de lo que se tiene que las sumas inferiores
nunca exceden a las sumas superiores. Adems si t
k
[x
k1
, x
k
], entonces
m
k
(f) f(t
k
) M
k
(f),
De donde, cuando , se tienen la desigualdades
L(P, f, ) S(P, f, ) U(P, f, )
que relacionan las sumas superior e inferior con las sumas de Riemann-Stieltjes.
Estas desigualdades no tienen por qu vericarse si no es una funcin cre-
ciente
Teorema 3.11 Supngase que en [a, b]. Entonces:
i). Si P

es ms na que P, se tiene:
U(P

, f, ) U(P, f, ) y L(P

, f, ) L(P, f, ).
ii). Para cada par de particiones P
1
y P
2
, se tiene:
L(P
1
, f, ) U(P
2
, f, )
Demostracin. Para probar (i ) es suciente ver el caso en donde P

tiene
un solo punto ms que P, por ejemplo c.Si c est en el intervalo i-simo de P,
se puede escribir:
U(P

, f, ) =
n

k=1
k=i
M
k
(f)
k
+M

[(c) (x
i1
)] +M

[(x
i
) (c)],
23
donde M

y M

designan, respectivamente el sup de f en [x

i1
, c] y [c, x
i
]. Pero
ya que:
M

M
i
(f) y M

M
i
(f)
se tiene que:
n

k=1
k=i
M
k
(f)
k
+M

[(c) (x
i1
)] +M

[(x
i
) (c)]

k=1
M
k
(f)
k
+M

[(c) (x
i1
)]
resultando U(P

, f, ) U(P, f, ). As mismo, tomando las mismas particiones

P y P

, se puede escribir:
L(P

, f, ) =
n

k=1
k=i
m
k
(f)
k
+m

[(c) (x
i1
)] +m

[(x
i
) (c)],
donde m

y m

designan el inf de f en [x
i1
, c] y [c, x
i
] respectivamente. Pero
como
m

m
i
(f) y m

m
i
(f)
se tiene que:
n

k=1
k=i
m
k
(f)
k
+m

[(c) (x
i1
)] +m

[(x
i
) (c)]
n

k=1
m
k
(f)
k
+m

[(c) (x
i1
)]
resultando L(P

, f, ) L(P, f, ).
Para probar (ii ), se toma P = P
1
P
2
. Entonces por la demostracin de la
parte (i ) se tiene que:
L(P
1
, f, ) L(P, f, ) y U(P, f, ) U(P
2
, f, ), (1)
por otro lado, por cuenta de la def. 3.7 se tiene que:
L(P, f, ) S(P, f, ) U(P, f, ) (2)
24
y combinando las ecuaciones 1 y 2 se tiene:
L(P
1
, f, ) L(P, f, ) S(P, f, ) U(P, f, ) U(P
2
, f, )
llegando a establecerse nalmente:
L(P
1
, f, ) U(P
2
, f, )
Denicin 3.8 (Integrales Superior e Inferior) Supongase que en [a, b].
La integral superior de Stieltjes de f respecto a se dene como:
(s)
_
b
a
fd = infU(P, f, ) : P [a, b].
La integral inferior de Stieltjes se dene como:
(i)
_
b
a
fd = supL(P, f, ) : P [a, b]
en ocasiones se escribe

I(f, ) e I(f, ) para designar las integrales superi-
or e inferior. En particular la sumas superiores e inferiores se designan por
U(P, f, ) y L(P, f, ) y se llaman las sumas superior e inferior de Riemann.
Las correspondientes integrales, designadas (s)
_
b
a
fdx y (i)
_
b
a
fdx, se llaman
integrales superior e inferior de Riemann.
Teorema 3.12 Supongase que en [a, b]. Entonces I(f, )

I(f, ).
Demostracin. Dado > 0, existe una particin P
1
tal que
U(P
1
, f, ) <

I(f, ) +
y por el teorema 3.11 se tiene que

I(f, ) + es una cuota superior de todas las
sumas inferiores L(P, f, ). De esto surge que, como I(f, ) = supL(P, f, ) :
P [a, b] entonces I(f, )

I(f, ) + , y como es arbitrario, implica
que I(f, )

I(f, ).
25
3.9. Propiedad Aditiva y Lineal de las Integrales Superior
e Inferior
Las integrales superior e inferior tienen muchas de las propiedades de la
integral. Siempre que a < c < b en ellas se cumple que:
(s)
_
b
a
fd = (s)
_
c
a
fd + (s)
_
b
c
fd
y anlogamente:
(i)
_
b
a
fd = (i)
_
c
a
fd + (i)
_
b
c
fd
Pero ciertas igualdades que se verican con integrales se convierten en desigual-
dades cuando se reemplazan aquellas por integrales superiores e inferiores. Un
ejemplo de esto es:
(s)
_
b
a
(f +g)d (s)
_
b
a
fd + (s)
_
b
a
gd
y
(i)
_
b
a
(f +g)d (i)
_
b
a
fd + (i)
_
b
a
gd
3.10. Condicin de Riemann
Asi como se espera que la integral superior e inferior sean iguales tambien
se debe esperar que las sumas superiores e inferiores sean tan prximas como se
quiera. Por ello se busca las funciones f para las que la diferencia U(P, f, )
L(P, f, ) pueda hacerse arbitrariamente pequea.
Denicin 3.9 Se dice que f satisface la condicin de Riemann rspecto de
en [a, b] si para cada > 0, existe una particin P

tal que si P es mas na que

P

implica:
0 U(P, f, ) L(P, f, ) <
Teorema 3.13 Sea f una funcin que satisface la condicin de Riemann re-
specto de en [a, b]. Entonces las tres armaciones que siguen son equivalentes:
i). f R() en [a, b].
ii). f satisface la condicin de Riemann respecto de en [a, b].
iii). I(f, ) =

I(f, )
26
Demostracin. Se prueba que la parte (i ) implica la parte (ii ). Supongase
que (i ) se verica. Si (b) = (a), entonces (ii ) se verica trivialmente. Por lo
tanto supongase ahora que (a) (b). Dado > 0, se elige P

tal que para

toda particin P ms na que P

y todas las elecciones de t

k
y t

k
en [x
k1
, x
k
],
se cumpla:

k=1
f(t
k
)
k
A

<

3
y

k=1
f(t

k
)
k
A

<

3
,
en donde A =
_
b
a
fd. combinando estas dos desigualdades , se obtiene:

k=1
[f(t
k
) f(t

k
)]
k

<
2
3

Ya que M
k
(f) m
k
(f) = supf(x) f(x

) : x, x

[x
k1
, x
k
], y se tiene que
para cada h > 0 es posible elegir t
k
y t

k
tales que
f(t
k
) f(t

k
) > M
k
(f) m
k
(f) h
y eligiendo h =
1
3
/[(b) (a)] se puede escribir
U(P, f, ) L(P, f, ) =
n

k=1
[M
k
(f) m
k
(f)]
k
<
n

k=1
[f(t
k
) f(t

k
)]
k
+h
n

k=1

k
<
2
3
+
1
3
/[(b) (a)] [(b) (a)]
=
2
3
+
1
3
=
de donde se obtiene que:
U(P, f, ) L(P, f, ) <
n

k=1
[f(t
k
) f(t

k
)]
k
+h
n

k=1

k
<
quedando que (i ) implica (ii ).
27
Se prueba que (ii ) implica (iii ). Se supone ahora que se verica (ii ). Dado
> 0, existe una particin P

tal que P ms na que P

implica que U(P, f, ) <

L(P, f, ) +. De donde se llega a vericar que para P se tiene:

I(f, ) U(P, f, ) < L(P, f, ) + I(f, ) +

lo que implica que

I(f, ) < I(f, ) + para cada > 0 y por tanto

I(f, )
I(f, ). Pero el terorema 3.12 prueba que

I(f, ) I(f, ), y por consigu-
iente

I(f, ) = I(f, ). Con sto se demuestra que (ii ) implica (iii ).
Se demostrar ahora que (iii ) implica (i). Supongase que

I(f, ) = I(f, )
y sea A el valor comn. Se probara que
_
b
a
fd existe y es igual a A. Dado > 0,
se elige P

tal que U(P, f, ) <

I(f, ) + para toda P mas na que P

. Se elige
as mismo P

tal que L(P, f, ) > I(f, ) para toda P mas na que P

.
Si P

= P

, se puede escribir:
I(f, ) L(P, f, ) S(P, f, ) U(P, f, )

I(f, ) +
para cada P mas na que P

. Pero dado que

I(f, ) = I(f, ) = A, se tiene
que [S(P, f, ) A[ < siempre que P sea mas na que P

. Probando que
_
b
a
fd existe y es igual a A. Por tanto (iii) implica (i).
3.11. Teoremas de Comparacin
Teorema 3.14 Supongase que en [a, b]. Si f r() y g R() en [a, b]
y si f(x) g(x) para todo x de [a, b], entonces se cumple que
_
b
a
f(x)d(x)
_
b
a
g(x)d(x)
Demostracin. Como f(x) g(x) se cumple que para cada particin P,
las correspondientes sumas de Riemann-Stieltjes satisfacen:
S(P, f, ) =
n

k=1
f(t
k
)
k

n

k=1
g(t
k
)
k
= S(P, g, )
ya que en [a, b], resultando
_
b
a
f(x)d(x)
_
b
a
g(x)d(x)
El teorema anterior implica que
_
b
a
g(x)d(x) 0 siempre que g(x) 0 y
en [a, b].
28
Teorema 3.15 Supongase que en [a, b]. Si f R() en [a, b], entonces
[f[ R() en [a, b] y se cumple la desigualdad

_
b
a
f(x)d(x)

_
b
a
[f(x)[ d(x).
Demostracin. Utilizando la notacin de la denicin 3.7 se puede escribir:
M
k
(f) m
k
(f) = supf(x) f(y) : x, y [x
k1
, x
k
]
Dado que [[f(x)[ [f(y)[[ [f(x) f(y)[ siempre se satisface, se tiene que:
M
k
([f[) m
k
([f[) M
k
(f) m
k
(f)
multiplicando ambos miembros por
k
:
M
k
([f[) m
k
([f[)
k
M
k
(f) m
k
(f)
k
y sumando respecto a k, se obtiene
n

k=1
[M
k
([f[) m
k
([f[)]
k

n

k=1
[M
k
(f) m
k
(f)]
k
n

k=1
M
k
([f[)
k

k=1
m
k
([f[)
k

n

k=1
M
k
(f)
k

k=1
m
k
(f)
k
U(P, [f[ , ) L(P, [f[ , ) U(P, f, ) L(P, f, )
para cada particin P de [a, b]. Aplicando la condicin de Riemann, se tiene
[f[ R() en [a, b]. Haciendo [f[ = g y aplicando el teorema 3.14 se tiene que
_
b
a
f(x)d(x)
_
b
a
g(x)d(x) resultando:
_
b
a
f(x)d(x)
_
b
a
[f(x)[ d(x)
Nota 3.1 Teniendo que en [a, b]. No se cumple que si [f[ R() en [a, b]
y se tiene la desigualdad

_
b
a
f(x)d(x)

_
b
a
[f(x)[ d(x).
entonces f R() en [a, b].
29
Teorema 3.16 Supongase que en [a, b]. Si f R() en [a, b], entonces
f
2
R() en [a, b]
Demostracin. Utilizando la notacin de la denicin 3.7, se tiene
M
k
(f
2
) = [M
k
([f[)]
2
y m
k
(f
2
) = [m
k
([f[)]
2
de donde se puede escribir:
M
k
(f
2
) m
k
(f
2
) = [M
k
([f[)]
2
[m
k
([f[)]
2
= [M
k
([f[) m
k
([f[)] [M
k
([f[) +m
k
([f[)]
2M [M
k
([f[) m
k
([f[)] ,
donde M designa una cota superior de [f[ en [a, b]. Aplicando la condicin de
Riemann se comprueba que f
2
R() en [a, b]
Teorema 3.17 Supongase que en [a, b]. Si f R() en [a, b] y g R()
en [a, b], entonces el producto f g R() en [a, b].
3.12. Integradores de Variacin Acotada
Toda funcin de variacin acotada en [a, b] se puede expresar con diferencia
de dos funciones crecientes. Si =
1

2
es una descomposicin y si f R(
1
)
y f R(
2
), se tiene en virtud de la linealidad que f R(). Pero no siempre es
cierto que si f R() se tenga que f R(
1
) y f R(
2
). Si f R() en [a, b],
es posible encontrar unciones crecientes
1
y
2
tales que =
1

2
, pero
de modo que ni la integral
_
b
a
fd
1
ni la integral
_
b
a
fd
2
existan. La dicultad
se halla en el hecho de que la descomposicin =
1

2
no es nica. Pero es
posible demostrar la existencia de una descomposicin para la cual el reciproco
es verdadero, cuando
1
es la variacin total de y de =
1

2
.
Teorema 3.18 Supongase que es de variacin acotada en [a, b]. Se designar
por V (x) la variacin total de en [a, b] si a < x < b, con V (a) = 0. Supongase
que f est denida y acotada en [a, b]. Si f R() en [a, b], entonces f R(V )
en [a, b].
Demostracin. Si V (b) = 0, entonces V es constante y el resultado es
trivial. Supongase que V (b) > 0, y que [f[ M si x [a, b]. Como V es
creciente, basta demostrar que f satisface la condicin de Riemann respecto de
V en [a, b].
Dado un > 0, se elige P

tal que para todo renamiento P y toda eleccin

de puntos t
k
y t

k
en [x
ki
, x
k
] se verica:

k=1
[f(t
k
) f(t

k
)]
k

<

4
y V (b) <
n

k=1
[
k
[ +

4M
30
Y para P mas na que P

se establecen las dos desigualdades

n

k=1
[M
k
(f) m
k
(f)] [V
k
[
k
[] <

2
(1)
y
n

k=1
[M
k
(f) m
k
(f)] [
k
[ <

2
(2)
Para demostrar la desigualdad de la ec. 1, se ve que V
k
[
k
[ 0 y por lo
tanto:
n

k=1
[M
k
(f) m
k
(f)] [V
k
[
k
[] 2M
n

k=1
(V
k
[
k
[)
= 2M
_
V (b)
n

k=1
[
k
[
_
< 2M

4M
=

2
.
Para demostrar la desigualdad de la ec. 2, sea
A(P) = k :
k
0, B(P) = k :
k
< 0,
y sea h =
1
4
/V (b). Si k A(P), se eligen t
k
y t

k
tales que
f(t
k
) f(t

k
) > M
k
(f) m
k
(f) h;
y si k B(P), se eligen t
k
y t

k
tales que
f(t

k
) f(t
k
) > M
k
(f) m
k
(f) h.
Entonces
n

k=1
[M
k
(f) m
k
(f)] [
k
[ <

kA(P)
[f(t
k
) f(t

k
)] [
k
[
+

kB(P)
[f(t

k
) f(t
k
)] [
k
[ +h
n

k=1
[
k
[
=
n

k=1
[f(t
k
) f(t

k
)] [
k
[ +h
n

k=1
[
k
[
<

4
+hV (b) =

4
+

4V (b)
V (b) =

4
+

4
=

2
sumando las desigualdades de las ec. 2 y 2 resulta
31
n

k=1
[M
k
(f) m
k
(f)] [V
k
[
k
[] +
n

k=1
[M
k
(f) m
k
(f)] [
k
[ <

2
+

2
n

k=1
[M
k
(f) m
k
(f)] [V
k
[
k
[] +[M
k
(f) m
k
(f)] [
k
[ <
n

k=1
[M
k
(f) m
k
(f)] [V
k
[
k
[ +[
k
[] <
n

k=1
[M
k
(f) m
k
(f)] V
k
<
n

k=1
M
k
(f)V
k

k=1
m
k
(f)V
k
<
U(P, f, V ) L(P, f, V ) <
Teorema 3.19 Sea de variacin acotada en [a, b] y supongase que f R()
en [a, b]. Entonces f R() en [a, b] en cada subintervalo [c, d] de [a, b].
Demostracin. Sea V (x) la variacin total de en [a, x], con V (a) = 0.
Entonces = V (V ), en donde tanto V como V son ambas crecientes
en [a, b]. Por el teorema 3.18 f R(V ) en [a, b] y por lo tanto f R(V ) en
[a, b]. Por consiguiente si el teorema es verdadero para integrales crecientes se
tiene que f R(V ) en [c, d] y f R(V ) en [c, d]. Luego f R() en [c, d].
De acuerdo con esto, es suciente probar el teorema cuando en [a, b].
Por el teorema 3.3 basta con probar que las integrales
_
c
a
fd y
_
b
a
fd existen.
Supongase que a < c < b. Si P es una particin de [a, x], sea
(P, x) = U(P, f, ) L(P, f, ),
la diferencia de las sumas superior e inferior en el intervalo [a, x]. Dado que
f R() en [a, b], la condicin de Riemann se verica y la integral
_
b
a
fd existe.
Por lo tanto, dado > 0, existe una particin P

de [a, b] tal que (B, b) <

si P es ms na que P

. Se puede suponer que c P

. Los puntos de P

que
pertenecen a [a, c] denen una particin P

de [a, c]. si P

es una particin de
[a, c] mas na que P

, entonces P = P

es una particin de [a, b] obtenida

juntando los puntos de P

con los puntos que P

posee en [c, b]. La suma denida

por (P

, c) contiene slo parte de los terminos de la suma denida por (P, b).
Como cada trmino es mayor o igual a cero y dado que P es ms na que P

,
se tiene
(P

, c) (P, b) <
Lo que indica que P

mas na que P

implica (P

, c) < . Por lo tanto, f

satisface las condiciones de Riemann en [a, c] y
_
c
a
fd existe.
32
Teorema 3.20 Supongase que f R() y g R() en [a, b], en donde
en [a, b]. Se denen
F(x) =
_
b
a
f(t)d(t)
y
G(x) =
_
x
a
g(t)d(t) si x [a, b]
Entonces f R(G), g r(F), y el producto f g R() en [a, b] y se tiene:
_
b
a
f(x)g(x)d(x) =
_
b
a
f(x)dG(x)
=
_
b
a
g(x)dF(x)
Demostracin. Por el teorema 3.17 se tiene que
_
b
a
f gd existe. Para cada
particin P de [a, b] se tiene
S(P, f, G) =
n

k=1
f(t
k
)
_
x
k
xk1
g(t)d(t) =
n

k=1
_
x
k
xk1
f(t
k
)g(t)d(t)
y
_
b
a
f(x)g(x)d(x) =
n

k=1
_
x
k
x
k1
f(t)g(t)d(t)
De donde, si M
g
= sup[g(x)[ : x [a, b], se tiene

S(P, f, G)
_
b
a
f gd

k=1
_
x
k
x
k1
f(t
k
)g(t)d(t)
n

k=1
_
x
k
x
k1
f(t)g(t)d(t)

k=1
_
x
k
x
k1
f(t
k
) f(t) g(t)d(t)

M
g
n

k=1
_
x
k
x
k1
[f(t
k
) f(t)[ d(t)
M
g
n

k=1
_
x
k
x
k1
[M
k
(f) m
k
(f)] d(t)
= M
g
U(P, f, ) L(P, f, )
Puesto que f R(), para cada > 0 existe una particin P

tal que P ms
na que P

implica U(p, f, ) L(p, f, ) < . Esto demuestra que f R(G) en

[a, b] y que
_
b
a
f gd =
_
b
a
fdG.
33
Para cada particin P de [a, b] se tieneS(P, g, F) =

n
k=1
g(t
k
)
_
xk
xk1
f(t)d(t) =

n
k=1
_
x
k
x
k1
g(t
k
)f(t)d(t)y
_
b
a
g(x)f(x)d(x) =
n

k=1
_
x
k
xk1
g(t)f(t)d(t)
De donde, si M
f
= sup[f(x)[ : x [a, b], se tiene

S(P, g, F)
_
b
a
f gd

k=1
_
xk
xk1
g(t
k
)f(t)d(t)
n

k=1
_
xk
xk1
f(t)g(t)d(t)

k=1
_
x
k
x
k1
g(t
k
) g(t) f(t)d(t)

M
f
n

k=1
_
xk
x
k1
[g(t
k
) g(t)[ d(t)
M
f
n

k=1
_
x
k
x
k1
[M
k
(g) m
k
(g)] d(t)
= M
f
U(P, g, ) L(P, g, )
Puesto que g R(), para cada > 0 existe una particin P

tal que P ms
na que P

implica U(p, g, ) L(p, g, ) < . Esto demuestra que g R(F) en

[a, b] y que
_
b
a
f gd =
_
b
a
gdF.
Este teorema es vlido tambin si es una funcin de variacin acotada en
[a, b].
3.13. Condicin Suciente Para la Existencia de Las Inte-
grales de Riemann-Stieltjes
Teorema 3.21 Si f es continua en [a, b] y si es de variacin acotada en
[a, b], entonces f R() en [a, b]
Demostracin. Es suciente demostrar el teorema para con (a) <
(b). La continuidad de f en [a, b] implica la continuidad uniforme, esto es dado
> 0 existe un > 0, que depende solo de , tal que
[x y[ < implica [f(x) f(y)[ <

A
,
en donde A = 2 [(b) (a)]. Si P

es una particin de norma |P

| < ,
entonces para P ms na que P

se tendr
M
k
(f) m
k
(f)

A
,
34
debido a que M
k
(f) m
k
(f) = supf(x) f(y) : x, y [x
k1
, x
k
]. Multipli-
cando la desigualdad por
k
y sumando se tiene:
n

k=1
M
k
(f) m
k
(f)
k
=
n

k=1
M
k
(f)
k

k=1
m
k
(f)
k
= U(P, f, ) L(P, f, )

A
n

k=1

k
=

2 [(b) (a)]
(b) (a)
=

2
<
quedando vericada la condicin de Riemann. Por lo tanto, f R() en [a, b].
3.14. Condiciones Necesarias para la Existencia de las In-
tegrales de Riemann-Stieltjes
Teorema 3.22 Supongase que en [a, b] y sea a < c < b.
i). Supongase que tanto como f son discontinuas por la derecha de x = c;
esto es, suponer que existe un > 0 tal que para cada > 0 existen valores
tanto de x como de y en el intervalo (c, c +) para los que
[f(x) f(c)[
y
[(y) (c)[
Entonces la integral
_
b
a
f(x)d(x) no existe.
ii). Supongase que tanto como f son discontinuas por la izquierda de x = c;
esto es, que existe un > 0 tal que para cada > 0 existen valores tanto
de x como de y en el intervalo (c , c) para los que
[f(c) f(x)[
y
[(c) (y)[
Entonces la integral
_
b
a
f(x)d(x) no existe.
35
Demostracin. Sea P una particin de [a, b] que contenga al punto c co-
mo punto de particin. Se considera la diferencia U(P, f, ) L(P, f, ) =

n
k=1
[M
k
(f) m
k
(f)]
k
i) Si y f son discontinuas por la derecha de x = c y el intervalo i-simo
contiene al punto c como extremo izquierdo, entonces
U(P, f, ) L(P, f, ) [M
k
(f) m
k
(f)] [(x
i
) (c)] ,
ya que cada trmino de la suma es mayor que cero. Si c es una discontinuidad
por la derecha comn, se puede suponer que el punto x
i
se ha elegido de tal
manera que (x
i
) (c) . Por lo cual, las hiptesis del teorema implican
M
k
(f) m
k
(f) . Luego,
U(P, f, ) L(P, f, )
2
,
y la condicin de Riemann no puede vericarse.
ii) Si y f son discontinuas por la izquierda de x = c y el intervalo i-simo
contiene al punto c como extremo derecho, entonces
U(P, f, ) L(P, f, ) [M
k
(f) m
k
(f)] [(c) (x
i
)]
ya que cada trmino de la suma es mayor que cero. Si c es una discontinuidad
por la izquierda comn, se puede suponer que el punto x
i
se ha elegido de tal
manera que (c) (x
i
) . Por lo cual, las hiptesis del teorema implican
M
k
(f) m
k
(f) . Luego,
U(P, f, ) L(P, f, )
2
,
y la condicin de Riemann no puede vericarse.
3.15. Teoremas de Valor Medio para las Integrales de Riemann-
Stieltjes
Si bien es cierto que ls integrales aparecen en innidad de problemas, son
relativamente pocos los casos en que el valor medio de la integral puede obtenerse
explicitamente. Pero en muchos de los casos basta con encontrar una estimacin
del valor medio ms que el valor exacto, por lo que a continuacin se enunciarn
algunos teoremas que ayudan a obtener estimaciones del valor medio.
Teorema 3.23 (Primer Teorema del Valor Medio) Supongase que
en [a, b] y que M y m designan respectivamente, el sup y el inf del conjunto
f(x) : x [a.b]. entonces existe un numero real c que satisface m c M
tal que
_
b
a
f(x)d(x) = c
_
b
a
d(x) = c [(b) (a)]
En particular, si f es continua en [a, b], entonces c = f(x
0
) para cierto valor x
o
de [a, b].
36
Demostracin. Si (a) = (b), el teorema se verica trivialmente, debido
a que ambos miembros son cero. Supongase que (a) (b). Dado que todas
las sumas superiores e inferiores se verican:
m[(b) (a)] L(P, f, ) U(P, f, ) M [(b) (a)]
la integral
_
b
a
fd debe estar comprendida entre ambas cotas. Por consiguiente,
el coeciente c =
_
_
b
a
fd/
_
b
a
d
_
est comprendido entre m y M. Si f es con-
tinua en [a, b], el teorema del valor medio hace que c = f(x
0
) para algun x
0
de
[a, b]
Teorema 3.24 (Segundo Teorema de Valor Medio) Supongase que es
continua y que f en [a, b]. Entonces existe un punto x
0
en [a, b] tal que+
_
b
a
f(x)d(x) = f(a)
_
x0
a
d(x) +f(b)
_
b
x0
d(x)
Demostracin. Por el teorema 3.4 se tiene
_
b
a
f(x)d(x) = f(b)(b) f(a)(a)
_
b
a
(x)df(x)
aplicando el teorema 3.23 a la integral de la derecha se tiene
_
b
a
f(x)d(x) = f(b)(b) f(a)(a)
_
b
a
(x)df(x)
= f(b)(b) f(a)(a) (x
0
) [f(b) f(a)]
= f(b)(b) f(a)(a) (x
0
)f(b) +f(a)(x
0
)
= f(a) [(x
0
) (a)] +f(b) [(b) (x
0
)]
en donde x
0
[a, b].
3.16. La Integral como una Funcin de Intervalo
Si f R() en [a, b] y si es de variacin acotada, entonces por el teorema
3.19 la integral
_
x
a
fd existe para todo x de [a, b] y puede estudiarse como una
funcin de x.
Teorema 3.25 Sea una funcin de variacin acotada en [a, b] y supongase
que f R() en [a, b]. Si se dene F por medio de la ecuacin:
F(x) =
_
x
a
fd, si x [a, b]
Entonces se tiene que:
i). F es de variacin acotada en [a, b].
37
ii). En cada uno de los puntos en los que es continua, F tambin lo es.
iii). Si en [a, b], la derivada F

(s) existe en cada punto x de (a, b) en que

(x) exista y f sea continua. Para tales x se tiene que

F

(x) = f(x)

(x).
Demostracin. Es suciente suponer que en [a, b]. Si x ,= y, por el
teorema 3.23 se tiene
F(y) F(x) =
_
y
a
fd
_
x
a
fd
=
_
y
x
fd = c [(y) (x)]
en donde m c M, resultando (i) que F es de variacin acotada en [a, b].y
(ii) que en cada uno de los puntos en los que es continua, F tambin lo es y si
se divide por y x se puede observar que c f(x) cuando y x quedando
demostrado (iii).
Teorema 3.26 Sean f R() y g R() en [a, b], y sean
F(x) =
_
x
a
fdt, G(x) =
_
x
a
gdt si x [a, b].
Entonces F y G son funciones contnuas y de variacin acotada en [a, b]. Ade-
ms, f R(G) y g R(F) en [a, b], y se tiene
_
b
a
f(x)g(x)dx =
_
b
a
f(x)dG(x) =
_
b
a
g(x)dF(x)
Demostracin. Ya que f R() y g R() en [a, b] y por las deniciones
de F(x) y de G(x) aplicando el teorema 3.25 en las partes (i) y (ii) se tiene
que F y G son de variacin acotada en [a, b].
Por otro lado haciendo (x) = x se aplican las condiciones del teorema 3.18
obteniendose nalmente que
_
b
a
f(x)g(x)dx =
_
b
a
f(x)dG(x) =
_
b
a
g(x)dF(x)0
38
4. Integral de Lebesgue
Este captulo tiene por objetivo presentar el concepto de integral de Lebesgue
y los principales teoremas que la sustentan, con el objeto de establecer una com-
paracin entre esta integral y la integral de Riemann. Se presentan los teoremas
omitiendo el desarrollo detallado de sus demostraciones por cuestiones prcticas,
lsa demostrasciones aui mostradas se tomorano en su mayoria de [TA77].
La integral de Lebesgue se pueda presentar inicialmente como una extensin
de la integral de Riemann, y por lo tanto son de esperarse algunas caractersticas
muy importantes: por una parte, que el valor obtenido mediante una integral
de Riemann sea el mismo que el obtenido mediante una integral de Lebesgue
correspondiente. Y por otra parte, que la integral de Lebesgue provea algunas
ventajas adicionales a la integral de Riemann ya que se ha tomado como una
extensin de ella.
En el presente captulo se expondrn los teoremas mas importantes relativos
a la integral de Lebesgue. Para ello, se denir la integral de Lebesgue para
las funciones escalonadas, deniendo luego la integral de funciones superiores.
Posteriormente se generalizar deniendo la clase ms general de las funciones
integrables mediante Lebesgue.
En todo caso, a lo largo del captulo se supondrn los conocimientos bsicos
de teora de la medida, algunos de los cuales se podrn consultar en el captulo
de Preliminares.
4.1. Funciones Escalonadas, Sucesin de Funciones Escalon-
adas y su Integral
Denicin 4.1 (Funcin escalonada) Una funcin s denida en un inter-
valo compacto [a, b], se llama funcin escalonada si existe una particin P =
x
0
, x
1
, ..., x
n
de [a, b] tal que s es constante en cada subintervalo abierto, por
ejemplo
s(x) = c
k
si x (s
k1
, x
k
) ,
Una funcin escalonada es integrable bajo Riemann en cada subintervalo
[x
k1
, x
k
] y su integral sobre el mismo viene dada por
_
x
k
xk1
s (x) dx = c
k
(x
k
x
k1
) ,
independientemente de los valores de s en los extremos. Por lo tanto, la integral
de Riemann de s en [a, b] es:
_
b
a
s (x) dx =
n

k=1
c
k
(x
k
x
k1
) (1)
Denicin 4.2 (Funcin escalonada en I) Supongase que I designa un in-
tervalo cualquiera, que puede ser por tanto acotado, no acotado, abierto, cerrado
39
o semiabierto. Una funcin s es una funcin escalonada en I si existe un subin-
tervalo compacto [a, b] de I en el que s sea una funcin escalonada en [a, b],
si adems s(x) = 0 para x I [a, b]. La integral de s en I, designada por
_
I
s (x) dx o por
_
I
s, es la integral de s en [a, b], dada por 1
Existen muchos intervalos compactos fuera de los cuales la funcin s se anula,
pero la integral de s es independiente de la eleccin de [a, b].
La suma y el producto de dos funciones escalonadas es una funcin escalona-
da. A partir de la denicin 4.2 se puede establecer las propiedades de la integral
de funciones escalonadas, as:
_
I
(s +t) =
_
I
s +
_
I
t
_
I
cs = c
_
I
s Para toda constante c
_
I
s
_
I
t si s (x) t (x) para todo x de I.
Si se expresa I como la reunin de un conjunto nito de subintervalos, I =
_
p
r=1
[a
r
, b
r
], en la que los subintervalos son disyuntos dos a dos, entonces:
_
I
s (x) dx =
p

r=1
_
br
ar
s (x) dx
Denicin 4.3 (Sucesin creciente de funciones) Una sucesin de funciones
reales f
n
denida en un conjunto S es creciente en S si
f
n
(x) f
n+1
(x) para todo x de S y todo n
Denicin 4.4 (Sucesin decreciente de funciones) Una sucesin de fun-
ciones reales f
n
denida en un conjunto S es decreciente en S si
f
n
(x) f
n+1
(x) para todo x de S y todo n
Nota 4.1 Un subconjunto T de R tiene medida 0 si para cada > 0, es posible
recubrir T por medio de una coleccin numerable de intervalos, la suma de cuyas
longitudes es menor que . Se dice que una propiedad se verica casi en todo un
subconjunto S, y se escribe: c.e.t. S, si se verica en todo S salvo en un conjunto
de medida 0
Teorema 4.1 Sea s
n
una sucesin decreciente de funciones escalonadas no
negativas ral que s
n
0 c.e.t.I. Entonces
lm
n
_
I
s
n
= 0
40
Demostracin. Se escribe:
_
I
s
n
=
_
A
s
n
+
_
B
s
n
en donde tanto A como B es la reunin nita de intervalos. El conjunto A se
obtiene eligiendo aquellos intervalos en los que el integrando es pequeo cuando
n es sucientemente grande, mientras que en B el integrando no necesita ser
pequeo, pero la suma de las longitudes de sus intervalos s ser pequea.
Se puede ver que existe un intervalo compacto [a, b] fuera del cual s
1
se
anula. Dado que 0 s
n
(x) s
1
(x) para todo x de I,cada s
n
se anula fuera
de [a, b]. Por otra parte, s
n
es constante en cada subintervalo abierto de una
determinada particin [a, b]. Se puede designar como D
n
al conjunto de los
extremos de estos subintervalos, y se puede tomar D =
_

n=1
D
n
. Debido a que
cada D
n
es un conjunto nito, la reunin D es numerable y por lo consiguiente
tiene medida cero. Sea E el conjunto de puntos de [a, b] en los que la sucesin
s
n
no converge hacia 0. Por hiptesis E tiene medida cero, luego el conjunto
F = DE tambin tendr medida 0. Por lo tanto, dado > 0 se puede recubrir
F por medio de una coleccin numerable de intervalos abiertos F
1
, F
2
, ..., la
suma de cuyas longitudes es menor que .
Se supone ahora que x [a, b]F. Entonces x / E, y se tiene que s
n
(x) 0
cuando n . Por consiguiente existe un entero N = N (x) tal que s
n
< .
Por otro lado si x / D entonces x es interior a alguno de los intervalos en los
cuales s
N
es constante. Luego existe un intervalo abierto B(x) tal que s
n
(t) <
para todo t de B(x) , y como s
n
es decreciente, se tiene
s
n
(t) < para todo n N y para todo t de B(x) . (1)
Si se examina el conjunto de todos los intervalos B(x) obtenidos cuando x
recorre [a, b] F, junto con los intervalos F
1
, F
2,
..., forman un recubrimiento
abierto de [a, b]. Puesto que [a, b] es compacto existe un subrecubrimiento nito
[GR01]:
[a, b]
p
_
i=1
B(x
i
)
q
_
r=1
F
r
.
Se dene ahora N
0
como el mayor de los enteros N (x
1
) , ..., N (x
p
) . De 1 se
deduce que
s
n
(t) < para todo n N
0
y todo t de
p
_
i=1
B(x
i
) . (2)
Se denen A y B como sigue:
B =
q
_
r=1
F
r
, A = [a, b] B.
41
y por lo tanto, se puede ver que A es una reunin nita de intervalos disyuntos
y que
_
I
s
n
=
_
b
a
s
n
=
_
A
s
n
+
_
B
s
n
.
Para obtener el resultado, se calcularn las integrales sobre A y sobre B. En
primera instancia se evaluar la integral sobre B. Para ello, se dene M como
una cota superior de s
1
en [a, b]. Como la sucesin s
n
es decreciente, se tiene
que s
n
(x) s
1
(x) M para todo x de [a, b]. Dado que la suma de las longitudes
de los intevalos que pertenecen a B es menor que , se concluye que:
_
b
s
n
M (3)
Se evaluar ahora la integral sobre A. Como A
p
_
i=1
B(x
i
), la desigualdad 2
prueba que s
n
(x) < si x A y n N
0
. La suma de las longitudes de los
intervalos de A no excede a b a, y por tanto:
_
a
s
n
(b a) si n N
0
. (4)
Reuniendo los resultados de las ec.3 y 4 se tiene que:
_
I
s
n
=
_
A
s
n
+
_
B
s
n
M + (b a)
(M +b a)
si n N
0
, con lo cual queda demostrado que
lm
n
_
I
s
n
= 0
Teorema 4.2 Sea t
n
una sucesin de funciones escalonadas en un intervalo
I tal que :
i). Existe una funcin f tal que t
n
f c.e.t.I.
ii). La sucesin
__
I
tn
_
converge.
Entonces toda funcin escalonada t para la cual t (x) f (x) c.e.t. I verica
que:
_
I
t lm
n
_
I
t
n
42
Demostracin. Para realizar esta demostracin, se puede denir una nueva
sucesin de funciones escalonadas no negativas s
n
en I as:
s
n
(x) =
_
t (x) t
n
(x) si t (x) t
n
(x) ,
0 si t (x) t
n
(x) .
de tal forma que s
n
(x) = maxt (x) t
n
(x) , 0 . Luego s
n
es decreciente en
I puesto que t
n
es creciente y s
n
(x) max t (x) f (x) , 0 c.e.t. I. Pero
t (x) f (x) c.e.t. I, y por tanto s
n
0 c.e.t. I. Luego por el teorema 4.1
lim
n
_
I
s
n
= 0. Pero s
n
(x) t(x) t
n
(x) para todo x de I, y se tiene
_
I
s
n

_
I
t
_
I
t
n
Luego si n se obtiene nalmente:
_
I
t lm
n
_
I
t
n
4.2. Funciones Superiores y sus Integrales
Denicin 4.5 (Funcin Superior) Una funcin real f denida en un in-
tervalo I se llama funcin superior en I, y se escribe f U (I), si existe una
sucesin creciente de funciones escalonadas s
n
tal que:
i). s
n
f c.e.t. I
ii). lim
n
_
I
s
n
es nito
En este caso, se dice que la sucesin s
n
genera a f. La integral de f en I
se dene mediante la ecuacin
_
i
f = lm
n
_
I
s
n
Puesto que
__
i
s
n
_
es una sucesin de nmeros reales creciente, la condicin
(i) es igual a armar que esta sucesin est acotada superiormente
Teorema 4.3 Supongase que f U (I) y sean s
n
y t
m
dos sucesiones que
generan a f. Entonces se cumple que:
lm
n
_
I
s
n
= lm
m
_
I
t
m
.
43
Demostracin. La sucesin t
m
satisface las hiptesis (i) y (ii) del teore-
ma 4.2. Adems para cada n se tiene que
s
n
(x) f (x) c.e.t. I.
De donde se puede vericar que para todo n:
_
I
t lm
n
_
I
t
n

_
I
s lm
n
_
I
t
m
y por lo tanto se tiene que:
lm
n
_
I
s
n
lm
n
_
I
t
m
(1)
Por otra parte, la sucesin s
n
tambin satisface las hiptesis (i) y (ii) del
teorema 4.2. Adems para cada m se tiene que
t
m
(x) f (x) c.e.t. I.
De donde se puede vericar para todo n, que:
_
I
t lm
n
_
I
t
n

_
I
t lm
n
_
I
s
n
y anlogamente al caso anterior se tiene:
lm
n
_
I
t
m
lm
n
_
I
s
n
(2)
Combinando las ecuaciones 1 y 2 se tiene que:
lm
n
_
I
s
n
= lm
m
_
I
t
m
.
4.2.1. Propiedades de la Integral de Funciones Superiores
Teorema 4.4 Supngase que f U (I) y que g U (I). Entonces:
i). Propiedad de Linealidad 1: (f +g) U (I) y por lo tanto
_
I
(f +g) =
_
I
f +
_
I
g
44
ii). Propiedad de Linealidad 2: cf U (I) para cada constante c 0, y
se tiene que
_
I
cf = c
_
I
f
iii). Propiedad de Monotona:
_
I
f
_
I
g si f (x) g (x) c.e.t.I
Las demostraciones de estas propiedades, as como del teorema 4.5 se pueden
encontrar en [TA77][BA01] y [WM78]. Estas propiedades establecen un com-
portamiento lineal para la integral de Lebesgue similar al comportamiento de la
integral de Riemann-Stieltjes. La propiedad de monotona tiene la caracterstica
importante que se cumple cuando la restriccin se cumple casi en todo el con-
junto, soportando alguinos puntos nitos donde esta restriccin ( f (x) g (x))
no se cumple. El siquiente teorema es de esperarse si se considera la propiedad
de monotona:
Teorema 4.5 Si f U (I) y g U (I) , y si f (x) = g (x) casi para todo x en
I, entonces
_
I
f =
_
I
g
Denicin 4.6 (max, min y propiedades) Sean f y g funciones reales denidas
en I. Se denen max(f, g) y mn(f, g) como las funciones cuyo valor en cada x
de I es, respectivamente, max f (x) , g (x) y mnf (x) , g (x) . Las funciones
max y mn tienen las siguientes propiedades:
i). max (f, g) + mn(f, g) = f +g.
ii). max(f +h, g +h) = max (f, g) +h y mn(f +h, g +h) = mn(f, g) +h.
iii). Si f
n
f c.e.t. I, y si g
n
g c.e.t. I, entonces
max (f
n
, g
n
) max(f, g) c.e.t.I y mn(f
n
, g
n
) mn(f, g) c.e.t.I
Teorema 4.6 Si f U (I) y g U (I) , entonces max(f, g) U (I) y mn(f, g)
U (I)
Demostracin. Sean s
n
y t
n
sucesiones de funciones escalonadas, las
cuales generan f y g respectivamente. Sean u
n
= max (s
n
, t
n
) , v
n
= mn(s
n
, t
n
).
Entonces u
n
y v
n
son funciones escalonadas tales que u
n
max (f, g) y v
n

mn(f, g) c.e.t. I
Para probar que mn(f, g) U (I) es suciente probar que la sucesin
__
I
v
n
_
es acotada superiormente. Para ello, se observa que v
n
= mn(s
n
.t
n
)
f, c.e.t. I, luego
_
I
v
n

_
I
f. Por consiguiente la sucesin
__
I
v
n
_
converge y
se cumple mn(f, g) U (I) .
45
Para probar que max(f, g) U (I) basta con ver que la sucesin
__
I
u
n
_
tambin converge ya que por la propiedad (i) de la denicin 4.6, se tiene que
u
n
= s
n
+t
n
v
n
y por tanto
_
I
u
n
=
_
I
s
n
+
_
I
t
n

_
I
v
n

_
I
s
n
+
_
I
t
n

_
I
mn(f.g)
de donde se concluye que max(f, g) U (I)
Teorema 4.7 Supongase que el intervalo I es la reunin de dos subintervalos I
1
y I
2
que carecen de puntos interiores comunes. Esto es, I = I
1
I
2
. Si f U (I)
y adems f 0 c.e.t. I, entonces f U (I
1
) , f U (I
2
) , y se cumple que:
_
I
f =
_
I
1
f +
_
I
2
f
Demostracin. Sea s
n
es una sucesin creciente de funciones escalonadas
que generan f en I. Sea s
+
n
(x) = maxs
n
(x) , 0 para cada x de I. Entonces
s
+
n
es una sucesin creciente de funciones escalonadas no negativas que gen-
eran f en I. (ya que f 0). Adems, en cada subintervalo J de I se tiene
_
J
s
+
n

_
I
s
+
n

_
I
f, por lo que s
+
n
genera f en J. Adems, se tiene que:
_
I
s
+
n
=
_
I1
s
+
n
+
_
I2
s
+
n
,
al hacer n se tiene nalmente:
_
I
f =
_
I
1
f +
_
I
2
f
4.3. La Clase de las Funciones Integrables de Lebesgue
Existe un aspecto indeseable en el comportamiento de las funciones superi-
ores que afecta la integrabilidad: si u y v son funciones superiores, la diferencia
uv no es necesariamente una funcin superior. Para eliminar este problema, se
dene la clase de las funciones integrables denidas en un intervalo I tal como
se expone a continuacin.
Denicin 4.7 (Clase L(I) de las Funciones Integrables de Lebesgue)
Se designar por L(I) al conjunto de todas las funciones f de la forma f = uv,
46
en donde u U (I) y v U (I). Cada funcin f de L(I) se llama funcin in-
tegrable de Lebesgue en I, y su integral se dene por la ecuacin
_
I
f =
_
I
u
_
I
v
Toda funcin f L(I) se puede escribir como diferencia de dos funciones
superiores y no necesariamente de forma nica.
Teorema 4.8 Sean u, v, u
1
y v
1
funciones de U (I) tales que u v = u
1
v
1
.
Entonces
_
I
u
_
I
v =
_
I
u
1

_
I
v
1
Demostracin. Las funciones u +v
1
y u
1
+v pertenecen a U (I) y
u v = u
1
v
1
.
u v +v
1
= u
1
.
u +v
1
= u
1
+v
Luego por la parte (i) del teorema 4.4 se tiene que
_
I
u +
_
I
v
1
=
_
I
u
1
+
_
I
v
y reordenando se obtiene:
_
I
u
_
I
v =
_
I
u
1

_
I
v
1
4.4. Propiedades Generales de la Integral de Lebesgue
Teorema 4.9 Se suponen f L(I) y g L(I). Entonces se tiene que:
i). (af +bg) L(I) para cada par de numeros reales a y b, y
_
I
(af +bg) = a
_
I
f +b
_
I
g.
ii).
_
I
f 0 si f (x) 0 c.e.t. I.
47
iii).
_
I
f
_
I
g si f (x) g (x) c.e.t. I.
iv).
_
I
f =
_
I
g si f (x) = g (x) c.e.t. I.
Demostracin. Para demostrar (i) se tiene que aplicando la parte (i) del
teorema 4.4 se obtiene
_
I
(af +bg) =
_
I
af +
_
I
bg
y aplicando la parte (ii) del teorema 4.4 en cada una de los componentes de la
suma se llega a:
_
I
(af +bg) =
_
I
af +
_
I
bg
= a
_
I
f +b
_
I
g
Para demostrar (ii) se toma f = u v, en donde u U (I) y v U (I).
Entonces u(x) v (x) c.e.t. I y por la parte (iii) del teorema 4.4, se tiene que
_
i
u
_
I
v, resultando
_
i
f =
_
i
u
_
I
v 0
Para demostrar (iii) se aplica (ii) del mencionado teorema 4.4 a f g y se
tiene _
I
f
_
I
g si f (x) g (x) c.e.t.I
Para demostrar (iv) basta considerar que el tener f (x) = g (x) c.e.t. I.
equivale a tener f (x) g (x) c.e.t. I. y f (x) g (x) c.e.t. I. simultneamente
aplicando la parte (iii) a cada una de las desigualdades se obtiene
_
I
f
_
I
g y
_
I
f
_
I
g que al combinarlas resulta
_
I
f =
_
I
g si f (x) = g (x) c.e.t.I.
48
Denicin 4.8 (Parte Positiva y Negativa de f) Sea f una funcin real,
y sean f
+
y f

sus partes positiva y negativa respectivamente. Entonces, f

+
y
f

se denen por medio de las ecuaciones

f
+
= max (f, 0) , f

= max(f, 0) .
En donde f
+
y f

son funciones no negativas y

f = f
+
f

, [f[ = f
+
+f

.
Teorema 4.10 Si f y g son funciones de L(I) , entonces tambien lo son f
+
,
f

, [f[ , max (f, g) y mn(f, g) . Adems

_
I
f

_
I
[f[
Demostracin. Sea f = u v, en donde u U (I) y v U (I) .Entonces
f
+
= max(u v, 0) = max(u, v) v
por el teorema 4.6 se tiene que max (u, v) U (I) y v U (I), luego f
+
L(I)
, dado que segn la denicin 4.8 f = f
+
f

se tiene que f

= f
+
f, de
donde f

L(I) , como [f[ = f

+
+ f

y tanto f
+
L(I) como f

L(I)
resulta que [f[ L(I)
Ya que [f (x)[ f (x) [f (x)[ para todo x de I se tiene

_
i
[f[
_
I
f
_
I
[f[ ,
lo que prueba que

_
I
f

_
I
[f[
Por ltimo, se puede escribir:
max(f, g) =
1
2
(f +g +[f g[)
mn(f +g) =
1
2
(f +g [f g[)
en donde como f, g, [f g[ son funciones de L(I) resulta que max (f, g) y
mn(f, g) son funciones de L(I)
49
Teorema 4.11 (Propiedades de Funciones Integrables por Lebesgue)
Supongase que f L(I) . Entonces se tienen las siguientes propiedades:
i). Invariancia por traslaciones. Si g (x) = f (x c) para x pertenecientes
a I +c, entonces g L(I +c) , y
_
I+c
g =
_
I
f
ii). Comportamiento de la integral bajo una dilatacin o una contrac-
cin. Si g (x) = f (x/c) para x perteneciente a cI, donde c > 0, entonces
g L(c) I y
_
cI
g = c
_
I
f.
iii). Invariancia por reexion. Si g(x) = f (x) para x pertenecientes a
I, entonces g (I) y
_
I
g =
_
I
f
Demostracin. El mtodo de demostracin es directo, solo requiere susti-
tuir adecuadamente los valores como sigue: se verican primero los teoremas 4.1
y 4.2 para funciones escalonadas, luego se procede a vericar los teoremas 4.3,
4.4, 4.5 y 4.6 para integrales superiores y por ltimos se verican los teoremas
4.8 para funciones integrables de Lebesgue, obtenindose como resultado que
las propiedades (i) , (ii) y (iii) cumplen las condiciones de dichos teoremas.
Teorema 4.12 Sea I un intervalo unin de dos subintervalos I = I
1
I
2
, en
donde I
1
e I
2
no tienen puntos interiores comunes.
i). Si f L(I) , entonces f L(I
1
) , f L(I
2
) , y
_
I
f =
_
I1
f =
_
I2
f
ii). Supongase que f
1
L(I
1
) , f
2
L(I
2
) , y sea f una funcin denida en I
f (x) =
_
f
1
(x) si x I
1
f
2
(x) si x I I
1
Entonces f L(I) y
_
I
f =
_
I1
f
1
+
_
I2
f
2
50
Demostracin. Sea f = u v, donde u U (I) y v U (I) . Entonces
u = u
+
u

y v = v
+
v

, luego f = u
+
+ v

(u

+v
+
) . Aplicando el
teorema 4.7 a cada una de las funciones no negativas u
+
+v

y u

+v
+
se tiene
que f L(I
1
) , f L(I
2
) , y
_
I
f =
_
I
1
f =
_
I
2
f
Teorema 4.13 Supongase que f L(I) y sea > 0 dado. Entonces:
i). Existen funciones u y v de U (I) tales que f = u v, en donde v es no
negativa c.e.t. I e
_
I
v <
ii). Existe una funcin escalonada s y una funcin g de L(I) tal que f = s+g,
donde
_
I
[g[ <
Demostracin. i) Puesto que f L(I) , se puede escribir f = u
1
v
1
, en
donde u
1
y v
1
son funciones de U (I) . Sea t
n
sucesin que genere v
1
. Ya que
_
I
t
n

_
I
v
1
, se elige N tal que 0
_
I
(v
1
t
N
) < . Sea ahora v = v
1
t
n
y
u = u
1
t
N
. Entonces, tanto u como v pertenecen a U (I) y uv = u
1
v
1
= f.
Adems como v es no negativa c.e.t. I se puede concluir que
_
I
v <
ii) Se utiliza (i) para elegir u y v de U (I) tal que v 0 c.e.t. I,
f = u v y 0
_
I
v <

2
.
Ahora se elige una funcin escalonada s tal que 0
_
I
(u s) < /2. Entonces
f = u v = s + (u s) v = s +g
en donde g = (u s) v. Luego g L(I) y se concluye que:
_
I
[g[
_
I
[u s[ +
_
I
[v[ <

2
+

2
=
51
4.5. Integral de Lebesgue en Conjuntos de Medida Cero
Los siguientes dos teoremas sern de utilidad posteriormente en algunas
demostraciones, y utilizan la denicin de conjuntos de medida cero. [REF]
Teorema 4.14 Sea f una funcin denida en I. Si f = 0 c.e.t I, entonces
f L(I) y
_
I
f = 0
Demostracin. Sea s
n
(x) = 0 para todo x en I. Luego s
n
es una sucesin
creciente de funciones escalonadas convergentes a 0 en todo I. Se tiene entonces
que s
n
converge a f casi en todo I. Y puesto que
_
I
s
n
= 0, la sucesin
__
I
s
n
_
converge. Por tanto f es una funcin superior, asi f L(I) y se tiene:
_
I
f = lm
n
_
I
s
n
= 0.
Teorema 4.15 Supongase f y g denidas en I. Si f L(I) y si f = g casi en
todo I, entonces g L(I) e
_
I
f =
_
I
g
Demostracin. Aplicando el teorema 4.14 en f g se tiene que f g L(I)
e
_
I
(f g) = 0. Resultando, g = f (f g) L(I) y
_
I
g =
_
I
f
_
I
(f g)
=
_
I
f 0
=
_
I
f
4.6. Teoremas de Levi y Convergencia Dominada
Los siguientes teoremas se aplican a funciones montonas crecientes, pero
se aplican igualmente a funciones montonas decrecientes. Se desarrollan de la
misma manera en que se present la integral de Lebesgue: desde las funciones
escalonadas hasta llegar a las clases de funciones integrables. Los resultados que
se obtienen mediante los Teoremas de Levi son de importancia para obtener el
Teorema de Convergencia Dominada de Lebesgue,
Teorema 4.16 (Teorema de Levi para funciones escalonadas) Sea s
n

una sucesin de funciones escalonadas tal que

52
i). s
n
crece en un intervalo I
ii). Si lm
n
_
I
s
n
existe entonces s
n
converge casi en todo I hacia una
funcin lmite f perteneciente a U (I) , y
_
I
f = lm
n
_
I
s
n
Demostracin. Se supone, si perder generalidad, que las funciones escalon-
adas s
n
son no negativas. Sea D el conjunto de todos los x de I para los que
_
s
n(x)
_
diverge, y sea > 0 un numero real dado de antemano. Se probara
que D tiene medida cero mostrando que D se puede recubrir por medio de una
coleccin numerable de intervalos, cuya suma de longitudes es < .
Puesto que la sucesin
__
I
s
n
_
converge, esta acotada por alguna constante
positiva M. Sea
t
n
(x) =
_

2M
s
n
(x)
_
si x I
en donde [y] designa la parte entera y. Entonces t
n
es una sucesin creciente
de funciones escalonadas tales que cada uno de los valores t
n
(x) es un entero
no negativo.
Si s
n
(x) converge, entonces s
n
(x) esta acotada, luego t
n
(x) esta aco-
tada y entonces t
n+1
(x) = t
n
(x) para n sucientemente grande, puesto que
cada t
n
(x) es un entero
Si s
n
(x) diverge, entonces t
n
(x) tambien diverge y t
n+1
(x)t
n
(x) 1
para inmos valores de n. Sea
d
n
= x : x I y t
n+1
(x) t
n
(x) 1 .
Entonces D
n
es reunion de un numero nito de intervalos, la suma de cuyas
longitudes se designaran por [D
n
[ . Ahora
D

_
n=1
D
n
y si se tiene que

n=1
[D
n
[ < , se habra demostrado que D tiene medida 0.
Se integra la funcin escalonada no negativa t
n+1
t
n
sobre I y se obtienen
las desigualdades
_
I
(t
n+1
t
n
)
_
Dn
(t
n+1
t
n
)
_
Dn
1 = [D
n
[
Luego para cada m 1 se tiene
53
m

n=1
[D
n
[
m

n=1
_
I
(t
n+1
t
n
)
=
_
I
t
m+1

_
I
t
1

_
I
t
m+1

2M
_
I
s
m+1


2
Por consiguiente

n=1
[D
n
[ /2 < , de donde D tien medida cero.
Esto prueba que s
n
converge casi en todo I. Sea
f (x) =
_
lm
n
s
n
(x) si x I D
0 si x D.
Entonces f esta denida en casi todo I y s
n
f casi en todo I. Por consigu-
iente, f U (I) y se concluye
_
I
f = lm
n
_
I
s
n
Teorema 4.17 (Teorema de Levi para funciones superiores) Sea f
n
una
sicesin de funciones superiores tales que
i). f
n
crece casi en todo un cierto intervalo I
ii). lm
n
_
I
f
n
existe
Entonces f
n
converge casi en todo I hacia una funcin lmite f perte-
nenciente a U (I) , y
_
I
f = lm
n
_
I
f
n.
Demostracin. Para cada k existe una sucesin creciente de funciones
escalonadas s
n,k
que genera f
k
. Se dene en I una nueva funcin escalon-
ada t
n
en I por medio de la ecuacion
t
n
(x) = maxs
n,1
(x) , s
n,2
(x) , ..., s
n.n
(x)
Entonces t
n
es creciente en I ya que
54
t
n+1
= maxs
n+1,1
(x) , ..., s
n+1,n+1
(x)
maxs
n,1
(x) , ..., s
n.n+1
(x)
maxs
n,1
(x) , ..., s
n.n
(x) = t
n
(x)
Pero s
n,k
(x) f
k
(x) y f
k
crece casi en todo I, luego se verica
t
n
(x) max f
1
(x) , ..., f
n
(x) = f
n
(x) (1)
casi en todo I. Por consiguiente, por el teorema 4.4 en la parte (iii), se obtiene
_
I
t
n

_
I
f
n
(2)
Pero por (ii),
__
I
f
n
_
esta acotada superiormente y entonces la sucesin cre-
ciente
__
I
t
n
_
tambien esta acotada superiormente y por lo tanto converge.
aplicando el teorema 4.16, t
n
converge casi en todo I hacia una funcin lmite
f perteneciente a U (I) , e
_
I
f = lm
n
_
I
t
n
.
La denicin de t
n
(x) implica s
n.k
(x) t
n
(x) para todo k n y todo x de
I. Haciendo que n , se obtiene
f (x) g (x) casi entodo I (3)
De donde la sucesin creciente f
k
(x) esta acotada superiormente por f (x)
casi en todo I, luego converge casi en todo I hacia una funcin lmite g que
satisface g (x) f (x) casi en todo I. Pero 1 establece que t
n
(x) f
n
(x) casi
en todo I luego, haciendo n , se obtiene f (x) g (x) casi en todo I. En
otras palabras
lm
n
f
n
(x) = f (x) casi en todo I.
Por otro lado, se ve que
_
I
f = lm
n
_
I
f
n
. Haciendo n en 2 se tiene
_
I
f lm
n
_
I
f
n
(4)
Ahora integrando 3 y aplicando de nuevo el teorema 4.4, se tiene
_
I
f
k

_
I
f.
Haciendo k se tiene lm
k
_
I
f
k

_
I
f que al conbinarse con la ecuacin
4 se obtiene nalmente _
I
f = lm
n
_
I
f
n.
55
Teorema 4.18 (de Levi para series de funciones en L(I)) Sea g
n
una
sucesin de funciones de L(I) tal que
i). cada g
n
es no negativa casi en todo I,
ii). la serie

n=1
_
I
g
n
converge.
Entonces la serie

n=1
g
n
converge casi en todo I hacia una funcin suma
g de L(I) , y se tiene:
_
I
g =
_
I

n=1
g
n
=

n=1
_
I
g
n
.
Demostracin. Puesto que g
n
L(I) , el teorema 4.13 dice que para cada
> 0 se puede escribir
g
n
= u
n
v
n
en donde u
n
U (I) , v
n
U (I) , v
n
0, c.e.t. I e
_
I
v
n
< .Se eligen u
n
y v
n
correspondientes a =
_
1
2
_
n
. Entonces
u
n
= g
n
+v
n
, en donde
_
I
v
n
<
_
1
2
_
n
La desigualdad que verica
_
I
v
n
asegura que la serie

n=1
_
I
v
n
converge. Aho-
ra u
n
0 casi en todo I. Luego las sumas parciales
U
n
(x) =
n

k=1
u
k
(x)
forman una sucesin de funciones superiores U
n
que crece casi en todo I.
Puesto que
_
I
U
n
=
_
I
n

k=1
u
k
=
n

k=1
_
I
u
k
=
n

k=1
_
I
g
k
+
n

k=1
_
I
v
k
la sucesin de integrales
__
I
U
n
_
converge, ya que tanto la serie

k=1
_
I
g
k
como

k=1
_
I
v
k
convergen. Por consiguiente, aplicando el teorema 4.17, la
sucesin U
n
converge casi en todo I hacia una funcin lmite U de U (I) , e
_
I
U = lm
n
_
I
U
n
. Pero
_
I
U
n
=
n

k=1
_
I
u
k
,
luego
_
I
U =

k=1
_
I
u
k
.
56
De la misma forma la sucesin de sumas parciales V
n
dadas por
V
n
(x) =
n

k=1
v
k
(x)
converge casi en todo I hacia una funcin lmite V de U (I) y se tiene que
_
I
V =

k=1
_
I
v
k
.
De donde se tiene que U V L(I) y la sucesin

n
k=1
g
k
= U
n
V
n

converge casi en todo I hacia U V. Sea g = U V. Entonces g L(I) y se

cumple:
_
I
g =
_
I
U
_
I
V =

k=1
_
I
(u
k
v
k
) =

k=1
_
I
g
k
Teorema 4.19 (de Levi para sucesiones de funciones en L(I)) Sea f
n

una sucesin de funciones de L(I) tal que

i). f
n
crece casi en todo I
ii). lm
n
_
I
f
n
existe
Entonces f
n
converge casi en todo I hacia una funcin lmite f de L(I)
y
_
I
f = lm
n
_
I
f
n
Demostracin. Sea f
n
que satisface (i) y (ii). Sea g
1
= f
1
y sea g
n
=
f
n
f
n1
para n 2, entonces
f
n
=
n

k=1
g
k
.
aplicando el teorema 4.18 a g
n
, se tiene que

n=1
g
n
coverge casi en todo I
hacia una funcin suma g de L(I) , y se verica la ecuacin
_
I
g =
_
I

n=1
g
n
=

n=1
_
I
g
n
.
Por consiguiente f
n
g casi en todo I y se tiene nalmente:
_
I
g = lm
n
_
I
f
n
57
Teorema 4.20 (Teorema de Convergencia Dominada de Lebesgue) Sea
f
n
una sucesin de funciones integrables de Lebesgue en un intervalo I. Supon-
gase que
i). f
n
converge casi en todo I hacia una funcin lmite f.
ii). existe una funcin no negativa g de L(I) tal que, para todo n 1,
[f
n
(x)[ g (x) c.e.t. I.
Entonces se puede armar que la funcin lmite f L(I) , la sucesin
__
I
f
n
_
converge y adems se cumple que:
_
i
f = lm
n
_
I
f
n
La propiedad (ii) se enuncia diciendo que la sucesin f
n
esta dominada
por g casi en todo I.
Demostracin. La idea de la demostracin consiste en obtener cotas supe-
riores e inferiores de la forma
g
n
(x) f
n
(x) G
n
(x) (1)
en donde g
n
crece y G
n
decrece casi en todo I hacia la funcin lmite
f. Para ello se utiliza la teoria de Levi para demostrar que f L(I) y que
_
I
f = lm
n
_
I
g
n
= lm
n
G
n
, de lo que se deduce
_
i
f = lm
n
_
I
f
n
(2)
Para construir g
n
y G
n
, hacemos uso repetido del teorema de Levi para
sucesiones de L(I) . Ante todo se dene una sucesin G
n,1

G
n,1
(x) = max f
1
(x) , f
2
(x) , ..., f
n
)x .
Cada funcin G
n,1
L(I) por el teorema 4.10, y la sucesin G
n,1
es creciente
en I. Dado que [G
n,1
(x)[ g (x) casi en todo I, se tiene

_
I
G
n,1

_
I
[G
n,1
[
_
I
g. (3)
Por lo tanto la sucesin creciente de numeros
__
I
G
n,1
_
esta acotada superi-
ormente por
_
I
g, luego lm
n
_
I
G
n,1
existe. Aplicando el teorema 4.19, la
sucesin G
n,1
converge casi en todo I hacia una funcin G
1
de L(I) , y se
tiene: _
I
G
1
= lm
n
_
I
G
n,1

_
I
g.
58
Por la ecuacin 3 se tiene tambin la desigualdad
_
I
g
_
I
G
1
. Se observa
que si x es un punto de I para el que G
n,1
(x) G
1
(x) , entonces tambin se
debe tener que:
G
1
(x) = supf
1
(x) , f
2
(x) , ...
asimismo, para cada r 1 se considera
G
n,r
(x) = maxf
r
(x) , f
r+1
(x) , ..., f
n
(x)
para n r. Entonces la sucesin G
n.r
crece y converge casi en todo I hacia
una funcin lmite G
r
de L(I) con

_
I
g
_
I
G
r

_
I
g.
Ademas, en todos los puntos en los que G
n,r
(x) G
r
(x) , se tiene
G
r
(x) = supf
r
(x) , f
r+1
(x) , ... ,
luego
f
r
(x) G
r
(x) c.e.t. I
Examinando ahora las propiedades de la sucesin G
n
(x) . Ya que A B
implica supA supB, la sucesin G
r
(x) decrece casi en todo I y por tanto
converge casi en todo I. A continuacin se ve que G
n
(x) f (x) siempre que
lm
n
f
n
(x) = f (x) . (4)
Si se verica la ecuacin 4, entonces para cada > 0, existe un entero N tal que
f (x) < f
n
(x) < f (x) + para todo n N
De donde si m N se tiene
f (x) supf
m
(x) , f
m+1
(x) , ... f (x) +
que es lo mismo que
m N implica f (x) G
m
(x) f (x) +
y eso implica que
lm
m
G
m
(x) = f (x) , casi en todo I (5)
Por otra parte, la sucesin numrica decreciente
__
I
G
n
_
esta acotada inferior-
mente por
_
I
g, y se puede concluir que converge. Por la ecuacin 5 y por el
teorema 4.19, se ve que f L(I) y que
lm
n
_
I
G
n
=
_
I
f.
59
Al aplicar este mismo argumento a la sucesin
g
n,r
(x) = mnf
r
(x) , f
r+1
(x) , ..., f
n
(x) ,
para n r, se obtiene que g
n,r
decrece y converge casi en todo I hacia una
funcin lmite g
r
de L(I) , en donde
g
r
(x) = inf f
r
(x) , f
r+1
(x) , ... c.e.t.I.
Ademas, casi en todo I se tiene g
r
(x) f
r
(x) , g
r
crece, lm
n
g
n
(x) =
f (x) , y
lm
n
_
I
g
n
=
_
I
f.
Ya que la ecuacin 1 se verica casi en todo I, se tiene
_
I
g
n

_
I
f
n

_
I
G
n
.
Si se hace que n se tiene que
__
I
f
n
_
converge y que
lm
n
_
I
f
n
=
_
I
f
Teorema 4.21 Sea g
n
una sucesin de funciones de L(I) tal que
i). cada g
n
es no negativa casi en todo I.
ii). la serie

n=1
g
n
converge casi en todo I hacia una funcin g acotada su-
periormente por una funcin L(I) .
Entonces g L(I) , la serie

n=1
_
I
g
n
converge, y se tiene que
_
I

n=1
g
n
=

n=1
_
I
g
n
.
Demostracin. Si se tiene
f
n
(x) =
n

k=1
g
k
(x) si x I.
Entonces f
n
g casi en todo I, y f
n
est dominada casi en todo I por
la funcin L(I), la cual acota superiormente a la funcin g. Por consiguiente,
al apliar el teorema 4.20, g L(I) , la sucesin
__
I
f
n
_
converge, e
_
I
g =
lm
n
_
I
f
n
con lo que queda demostrado el teorema.
Teorema 4.22 (Teorema de Convergencia Acotada de Lebesgue) Sea I
un intervalo acotado. Supongase que f
n
es una sucesin de funciones de L(I)
que es acotadamente convergente casi en todo I. Esto es, supongase que admite
una funcin lmite de f y una constante positiva M tales que
lm
n
f
n
(x) = f (x) y [f
n
(x)[ M, casi en todo I
Entonces f L(I) y lm
n
_
I
f
n
=
_
I
f
60
Demostracin. Se aplica el teorema 4.20 con g (x) = M para todo x de I.
Entonces g L(I) , puesto que I es un intervalo acotado se tiene f L(I) y
lm
n
_
I
f
n
=
_
I
f.
Teorema 4.23 Sea f
n
una sucesin de funciones de L(I) que converge casi
en todo I hacia una funcin lmite f. Supongase que existe una funcin no
negativa g de L(I) tal que
[f (x)[ g (x) c.e.t. I
Entonces f L(I) .
Demostracin. Se dene una nueva sucescin de funciones g
n
en I
g
n
= maxmn(f
n
, g) , g
Geomtricamente la funcin g
n
se obtiene a partir de la funcin f
n
cortandole
la parte de la graca que se halla por encima de g y la que se halla por debajo
de g.
Entonces [g
n
(x)[ g (x) casi en todo I, y es facil vericar que g
n
f casi
en todo I. Por consiguiente en virtud del teorema 4.20, f L(I) .
4.7. Integradores de Lebesgue sobre Intervalos no Acota-
dos
Teorema 4.24 Sea f una funcin denida en el semiintervalo innito I =
[a, +) . Supongase que f es integrable mediante Lebesgue en el intervalo com-
pacto [a, b] para cada b a, y que existe una constante positiva M tal que
_
b
a
[f[ M para todo b a
Entonces f L(I) , el lmite lm
b+
_
b
a
f existe, y
_
+
a
f = lm
b+
_
b
a
f
Demostracin. Sea b
n
una sucesin creciente de nmeros reales con b
n

a tal que lm
n
b
n
= +. Se dene una sucesin f
n
en I
f
n
(x) =
_
f (x) si a x b
n
,
0 en otro caso.
Por el teorema 4.11 cada f
n
L(I) y f
n
f en I. luego [f
n
[ [f[ en I. Pero
[f
n
[ es creciente y ya que
_
b
a
[f[ M para todo b a, la sucesin
__
I
[f
n
[
_
esta
acotada superiormente por M. Por lo tanto lm
n
_
I
[f
n
[ existe. por el teorema
61
4.19, la funcin lmite de [f[ L(I) . Ahora bien, cada [f
n
[ [f[ y f
n
f en I,
y entonces por el teorema de 4.20, f L(I) y lm
n
_
I
f
n
=
_
I
f. De donde
lm
n
_
bn
a
f =
_
+
a
f
para todas las sucesiones b
n
que crecen hacia +.
4.8. Funciones Medibles
Denicin 4.9 Una funcin f denida en I se llama medible en I, y se escribe
f M (I) , si existe una sucesin de funciones escalonadas s
n
en I tal que
lm
n
s
n
(x) = f (x) casi en todo I
Teorema 4.25 Si f M (I) y si [f (x)[ g (x) casi por todo I para la funcin
no negativa g de L(I) , entonces f L(I)
Demostracin. Existe una sucesin de funciones escalonadas s
n
tal que
s
n
(x) f (x) casi por todo I. Ahora se aplica el teorema 4.23 del cual se deduce
que f L(I) .
Corolario 4.1 Si f M (I) y [f[ L(I) , entonces f L(I)
Corolario 4.2 Si f es medible y acotada en un intervalo acotado I, entonces
f L(I)
Teorema 4.26 Sea una funcin real continua en R
2
. Si f M (I) y g
M (I) , se dene h en I por medio de la ecuacion
h(x) = [f (x) , g (x)] .
Entonces h M (I) . En particular, f + g, f g, [f[ , max (f, g) , mn(f, g)
pertenecen a M (I) . adems
1
f
M (I) si f (x) ,= 0 casi en todo I.
Demostracin. Sean s
n
y t
n
dos sucesiones de funciones escalonadas
tales que s
n
f y t
n
g casi en todo I. Entonces la funcin u
n
= [s
n
, t
n
] es
una funcin escalonada tal que u
n
h casi en todo I. Luego h M (I) .
Teorema 4.27 Sea f una funcin denida en I y supongase que f
n
es una
sucesin de funciones en I tal que f
n
(x) f (x) casi en todo I. Entonces f es
medible en I.
62
Demostracin. Se elige una funcin positiva g de L(I, ) , g =
1
(1+x
2
)
para
todo x de I. sea
F
n
(x) = g (x)
f
n
(x)
1 +[f
n
(x)[
para x de I
Entonces
F
n
(x)
g (x) f
n
(x)
1 +[f
n
(x)[
casi en todo I
Sea F (x) =
g (x) f (x)
1 +[f (x)[
. Dado que cada funcin F
n
es medible en I y que
[F
n
(x)[ < g (x) para todo x,el teorema 4.25 prueba que F
n
L(I) . Adems,
[F (x)[ < g (x) para todo x de I, por el teorema 4.23, F L(I) . y entonces
F M (I) .Ahora, se tiene
f (xg (x) [F (x)[) = f (x) g (x)
_
1
[f (x)[
1 +[f (x)[
_
=
f (x) g (x)
1 +[f (x)[
= F (x)
para todo x de I, luego
f (x) =
F (x)
g (x) [F (x)[
.
De donde f M (I) debido a que cada una de las funciones F, g y [F[ pertenecen
a M (I) y g (x) [F (x)[ > 0 para todo x de I
4.9. Continuidad de Funciones Denidas por medio de In-
tegrales de Lebesgue
Teorema 4.28 Sean X e Y dos subintervalos de R, y sea f una funcin deni-
da en X Y que satisfaga las condiciones
i). Para cada punto y de Y, la funcin f
y
denida en X por medio de la ecuacion
f
y
(x) = f (x, y)
es medible en X
ii). Existe una funcin no negativa g de L(X) tal que para cada y de Y,
[f (x, y)[ g (y) c.e.t. X
iii). Para casi todas los x de X, f (x, y) es una funcin de y continua en Y.
Para cada y de Y
lm
ty
f (x, t) = f (x, y) c.e.t. X
63
Entonces la integral de Lebesgue
_
X
f (x, y) dx existe en cada y de Y, y la
funcin F denida porF (y) =
_
X
f (x, y) dy
es continua en Y. Si y Y se tiene
lm
ty
_
X
f (x, t) dx =
_
X
lm
ty
f (x, t) dx
Demostracin. Dado que f
y
es medible en X y dominada casi en todo X
por una funcin no negativa g de L(I) , el teorema 4.25 prueba que f
y
L(I) ,
esto es, la integral de Lebesgue
_
X
f (x, y) dx existe para cada y de Y, Si se elige
un punto jo y de Y y sea y
n
una sucesin de puntos Y tal que lmy
n
= y.
Se prueba que lmF (y
n
) = F (y) . Sea G
n
(x) = f (x, y
n
) . Cada G
n
L(X) y
por (iii) se tiene que G
n
(x) f (x, y) casi en todo X. Se puede observar que
F
_
y
n
=
_
X
G
n
(x) dx. Puesto que (ii) se verica, el teorema 4.20 prueba que
la sucesin F (y
n
) converge y que:
lm
n
F (y
n
) =
_
X
f (x, y) dx = F (y)
64
5. Comparacin entre las Integrales de Riemann-
Stieltjes y las integrales de Lebesgue
Aunque la costumbre es estudiar el calculo integral mediante el calculo de
reas, este estudio tambin puede hacerse mediante la bsqueda de soluciones de
la ecuacin diferencial y/ = f(x), algo posible y hasta natural en el estudio de la
evolucin de un fenmeno sico. Se trata del problema del clculo de primitivas:
hallar una funcin y tal que y/ = f(x).
El calculo de primitivas result ser una herramienta de gran utilidad y de
relativamente fcil aplicacin debido al Teorema Fundamental del Clculo para
la integral de Riemann. Este teorema representa una gran ventaja porque es-
tablece una estrecha relacin entre el calculo de reas y el calculo de primitivas,
pero deja huecos en este ultimo hecho como demostrara Vito Volterra en 1885
al construir una funcin derivable en [a, b] con derivada acotada pero
no integrable en el sentido de Riemann. La integral de Lebesgue aparece
entonces en las primeras dcadas del siglo XX, como una solucin a este proble-
ma: como constructo matemtico, no solo ampla el dominio que pueden tener
las funciones integrales, sino que en general, ampla el propio concepto de inte-
gracin.
Dentro de los conceptos que permiten denir y utilizar la integral de Lebesgue
se encuentra en primera instancia, el concepto de medida [UD01],.[BA01]. Una
medida no es ms que una funcin que a ciertos subconjuntos A les asocia un
numero no negativo (A), llamado su medida o volumen, que da una idea de su
"tamao". Si se considera una funcin f [a, b] R que toma un nmero nito
de valores, la denicin de la integral de Riemann corresponde esencialmente
a dividir el intervalo [a, b] en subintervalos, multiplicar el valor que la funcin
toma en cada subintervalo por su longitud y sumar. Esto es:
_
b
a
f (x) dx =
n

k=1
f (x
k
) (x
k
x
k1
)
Para la integral de Lebesgue, se determina primero cual es la pre imagen
E
k
[a, b] de cada valor y
k
que la funcin asume, se multiplica la medida de la
pre imagen por el valor de la funcin y se suma:
_
b
a
fd =
m

k=1
y
k
(E
k
)
Ahora bien, es de esperarse que los resultados numricos obtenidos por los
dos mtodos sean los mismos, cuando se tratan de funciones integrables tanto
mediante Riemann como Lebesgue.
La funcin que a cada subconjunto de R le asocie un tamao o medida (A)
debe satisfacer ciertas propiedades:
65
1. Para un segmento A = [ab] la medida este dada por su longitud, (A) =
b a
2. Si A es la unin de conjuntos A1, A2, . . . disjuntos dos a dos, entonces
(A) =

n
k=1
(A
k
)
3. Si A es un conjunto con medida (A) entonces su traslacin x + A =
x +y : y A deber tener la misma medida (x +A) = (A) .
En 1905 Vitali dijo que este tipo de funciones no existian, y demostr que
existen conjuntos muy extraos para los cuales no son validas estas propiedades
que parecen obvias, que para solucionar este problema se deba modicar nuestra
nocin de tamao o bien restringirse a medir nicamente una coleccin mas
pequea de subconjuntos de R. Esta ultima opcin es la mas adecuada ya que
los subconjuntos de R medibles incluyen a cualquier subconjunto normal, que
pueda ser aproximado mediante intervalos.
Uno de los aspectos que ms han impulsado el desarrollo de la integral de
Lebesgue se expuso en la seccin 4.3. All se mencion que se estaba buscando
la denicin de una nueva integral cuya clase de funciones integrables fuera
mayor que las funciones integrables bajo Riemann y que adems tuviera buen
comportamiento. Por buen comportamiento se hace referencia particular a la
propiedad (deseable e importante) que dice que la integral del lmite equivale al
lmite de las integrales (que no se cumple siempre en las integrales de Riemann,
donde se puede tener que el lmite de una sucesin de funciones integrables
no sea integrable). Esta ltima propiedad es establecida progresivamente en la
integral de Lebesgue mediante los teoremas de convergencia montona, el
lema de Fatou y nalmente el teorema de convergencia dominada de
Lebesgue.
Sin embargo, comparando los teoremas de Lebesgue con los teoremas rel-
ativos a la integral de Riemann, se tiene el teorema 5.1 equivalente en cierta
manera al teorema de convergencia dominada de Lebesgue.
Teorema 5.1 (Teorema de Convergencia para Riemann) Sean a, b R,
con a < b, y sea f
n
una sucesin uniformemente convergente de fun-
ciones integrables mediante Riemann denidas en [a, b] tales que lm
n
f
n
(x) =
f (x) para todo x [a, b] . Entonces:
lm
n
_
b
a
f
n
(x)dx =
_
b
a
f(x)dx
Un exmen y una comparacin detallada de ambos teoremas muestra que
la versin de Riemann exige que f
n
sea uniformemente convergente, esto
es, que dado un > 0, exite un nmero natural N tal que [f(x) f
n
(x)[ <
siempre que n > N, para todo x [a, b] . Por otra parte, la versin de Lebesgue,
el teorema de convergencia dominada, es mucho menos restrictivo respecto de
66
f
n
. Gracias a esta diferencia, se puede esperar que la clase de las funciones
integrables mediante Lebesgue tengan mejores propiedades para el lmite que la
clase de las funciones integrables mediante Riemann.
En esencia, la integral de Lebesgue se comporta mejor y para ello un ejem-
plo muy sencillo de funcin integrable mediante Lebesgue pero no mediante
Riemann: la Funcin de Dirichlet, que se puede denir como
f
n
(x) =
_
2
n
si x es racional
0 si x es irracional
Se puede encontrar [WM78] el siguiente teorema, que muestra como un fun-
cin que es integrable mediante Riemann es integrable mediante Lebesgue:
Teorema 5.2 (Integrable bajo Riemann es integrable bajo Lebesgue)
Si f es una funcin integrable bajo Riemann en el intervalo I = [a, b], entonces
f L(I), y las dos integrales son iguales. Esto es:
_
b
a
f(x)dx =
_
I
fdm
Demostracin. Dado el intervalo I = [a, b], y n 1 indica la cantidad de
subintervalos en los que est particionado. Adems, se tomar aqu por (x
n
)
como la funcin escalonada asociada con una particin P
n
. Entonces, se tiene
que siempre es posible encontrar una particn P
n
que cumpla:
0 (i)
_
b
a
fd _I(f, ) <
1
n
adems se puede vericar que:
_I(f, ) (i)
_
b
a
fd si n
De manera anloga se puede obtener el siguiente resultado:

I(f, ) (s)
_
b
a
fd si n
Tomando la unin de las sumas inferior y superior, se puede vericar que:
_I(f, ) L(P
n
, f, ) (i)
_
b
a
fd

I(f, ) S(P
n
, f, ) (s)
_
b
a
fd
Lo cual implica que se debe cumplir:
L(P
n
, f, ) (i)
_
b
a
fd si n (2)
U(P
n
, f, ) (s)
_
b
a
fd si n (3)
67
Se puede reemplazar la sucesin P
1
, P
2
, P
3
... por P
1,
P
1
P
2
, P
1
P
2
P
3
, ...
y renombrar cada uno de los subintervalos as formados como P
1
, P
2
, ... se puede
asumir que P
n
P
n+1
y adems las ecuaciones 2 y 3 se conservan.
Ahora bien, si P
n
P
n+1
se tiene que para todo n y para todo x se cumple:
y se tiene en particular que L
n
es una sucesin creciente, y se ve que est
acotada superiormente por f; por tanto, lm
n
L
n
= g existe, y satisface g f.
De manera anloga para U
n
es una sucesin decreciente acotada inferiormente
por f, y por tanto lm
n
U
n
= h existe y cumple que h f.
Ahora se puede vericar que (x) (x) es una sucesin creciente de
funciones escalonadas, no negativas, medibles que tiende a g (x). Por lo
tanto, se puede aplicar el teorema de convergencia monnota de Lebesgue y se
tiene:
_
b
a
(g (x)) dm = lm
n
I(...) = (i)
_
b
a
f(x)dx _I(f, )
Como (x
n
) es una funcin simple, se tiene que
_
b
a
adm = _I(f, ) y por lo
tanto:
_
b
a
gdm = (i)
_
b
a
f(x)dx
De manera anloga para la sucesin (x
n
) (x
1
) se encuentra que:
_
I
hdm = (s)
_
b
a
f(x)dx
donde la integral de la izquierda es de Lebesgue y la de la derecha es de
Riemann.
Por lo tanto, si f es integrable segn Riemann,
_
I
(gh)dm = 0, con hg 0.
Esto implica que h = g, c.e.t.I. Pero g f h resultando f = g c.e.t.I.
Como consecuencia, sus integrales segn Lebesgue son iguales y coinciden con
la integral de Riemann correspondiente
_
b
a
f(x)dx.
Es conveniente hacer explcitos dos aspectos importantes:
1. Que el converso de la implicacin del teorema no es vlido, esto es, no es
cierto que toda funcin integrable mediante Lebesgue sea integrable bajo
Riemann.
2. Que si una funcin no es integrable bajo Riemann, no necesariamente es
integrable bajo Lebesgue.
3. Que es teorema anterior solo se aplica a integrales propias.
4. Existen integrales impropias que se solucionan con base en la teora de
Riemann, pero que no son solucionables mediante Lebesgue.
Para aclarar estos puntos se puede consultar la gura 2, que muestra la
relacin entre las principales integrales actuales. Respecto al tercer punto, se
68
pueden encontrar existen integrales que desafan la capacidad tanto de las inte-
grales de Rieman como las de Lebesgue. Esto se puede observar en el siguiente
ejemplo:
Ejemplo 5.1 Sea f
n
una sucesin de funciones denidas en el intervalo E =
[0, 1] as:
f (x) =
_
1 si
1
2
n
x
1
2
n1
0 en caso contrario
Se puede vericar que la funcin lmite de esta sucesin es f = 0. Tambin
se puede vericar que cada una de las funciones de la sucesin es integrable
mediante Riemann, al igual que la funcin lmite.
Sin embargo, el lmite de la sucesin de las integrales de Riemann no es
igual a la integral de Riemann del lmite de las sucesiones. Esto se expresa
como:
lm
n
_
1
0
f
n
(x)dx = 1 es diferente a
_
1
0
lm
n
f
n
(x)dx = 0
Por otra parte, debido al teorema anterior:
lm
n
_
[0,1]
f
n
dm = 1 es diferente a
_
[0,1]
lm
n
f
n
(x)dx = 0
que tambin son diferentes, y por tanto representan un caso anmalo para
los dos tipos de integrales.
En prrafos anteriores se mencionaba adems que el teorema 5.2 es aplicable
slo a integrales propias. Algunas integrables impropias son integrables bajo
Riemann y bajo Lebesgue,pero no es la norma. Existen integrales impropias
que tienen solucin bajo Riemann pero no bajo Lebesgue.
Como se puede ver en la g. 2, an cuando se han propuesto integrales ms
generales para solucionar estos problemas (por ejemplo la Integral General-
izada de Riemann o integral de Henstock-Kurzweil [BA01] que extiende
tanto la integral de Riemann como la de Lebesgue, y es mucho ms simple
que esta ltima), los conceptos involucrados en la denicin de la integral de
Lebesgue aaden aspectos muy importantes a la teora de la integracin, los
cuales estn fuertemente relacionados con la teora de la medida.
Gracias a los conceptos relacionados con la teora de la medida es que se
pueden encontrar nuevos criterios para encontrar por ejemplo, la integrabilidad
de una funcin bajo Riemann. Por ejemplo, se sabe que toda funcin contnua
es integrable bajo Riemann, pero no es condicin necesaria, ya que tambin son
integrables bajo Riemann las funcionesde variacin acotada en un intervalo I, o
69
Integral
de
Lebesgue
Integrales
Impropias
de Riemann
Integrales de
Riemann
Integral Generalizada
de Riemann
Figura 2: Relacin entre los principales tipos de integrales.
cuando la funcin es montona con un conjunto enumerable de discontinuidades
(que se entiende mejor al aplicar all la teora de los conjuntos de medida cero).
Pero existen algunos casos en los cuales an con un conjunto innito no enu-
merable de discontinuidades, la funcin es integrable bajo Riemann.
5.1. Diagramas
A continuacin se presentan los diagramas que facilitan el seguimiento de-
ductivo para los diferentes teoremas incluidos en el presente trabajo.
70
Def 2.1.2 Def 2.1.1 Def 2.1.4 Def 2.1.3
Teorema 2.1 de
Propiedades
lineales
Teorema 2.2 de
Propiedades
lineales
Teorema 2.3 de
Propiedades
Lineales
Def 2.2 Def 2.3
Teorema 2.4
Integracin por
Partes
Teorema 2.5
Cambio de variable
de una Integral de
Riemann-Stieltjes
Teorema 2.6
Reduccin a una
Integral de Rieman
Def 1.1.1 Def 1.1.8 Def 1.1.7 Def 1.1.6 Def 1.1.5 Def 1.1.4 Def 1.1.3 Def 1.1.2
Def 1.2
Teorema 1.1
Teorema del valor
medio generalizado
Def 2.5 Def 2.4
Teorema 2.7
Def 2.6
Teorema 2.9
Representacin de
una suma finita
como una Integral
de Riemann-
stieltjes
Teorema 2.8
Reduccin de una
Integral de
Riemann-Stieltjes a
una suma finita
Teorema 2.10
Formula de
sumacin de Euler
1 2
Figura 3:
71
Def 2.7
Teorema 2.11
Def 2.8
Teorema 2.12
Def 2.9
Teorema 2.13
Teorema 2.16 Teorema 2.15 Teorema 2.14 Teorema 2.17
Teorema 2.19 Teorema 2.20 Teorema 2.18
Teorema 2.21
Teorema 2.22
2
3
Figura 4:
72
Teorema 2.23
Primer teorema de
valor medio para
integrales de
Riemann-Stieltjes
Teorema 2.24
Segundo teorema
de valor medio
para integrales de
Riemann-Stieltjes
Teorema 2.25 Teorema 2.26
Teorema:
Segundo teorema
fundamental del
Calculo Integral
Def 3.1
Teorema 3.1 Teorema 3.2
Def 3.2
Teorema 3.7
Teorema 3.6 Teorema 3.3 Teorema 3.5 Teorema 3.4
Def 3.3
Def 3.4
Teorema 3.8
1 3
4 5 6 7
8
9
10
Figura 5:
73
Teorema 3.10 Teorema 3.12 Teorema 3.9 Teorema 3.11
Def 3.5
Teorema 3.13
Teorema 3.14 Teorema 3.15
Teorema 3.19
Teorema de Levi
para suceciones de
funciones
integrables de
Lebesgue
Teorema 3.18
Teorema de Levi
para series de
funciones
integrables de
Lebesgue
Teorema 3.16
Teorema de Levi
para funciones
escalonadas
Teorema 3.17
Teorema de Levi
para funciones
superiores
Teorema 3.20
Teorema de
convergencia
dominada de
Lebesgue
Teorema 3.23 Teorema 3.21 Teorema 3.22
Teorema 3.24
4 5 6 7 8
10
9
11 12 13
Figura 6:
74
Def 3.6
Teorema 3.25
Def 3.7
Teorema 3.28 Teorema 3.26 Teorema 3.27
Colorario 3.2 Colorario 3.1
Teorema 3.29
Teorema 3.30
Teorema 1.1 Teorema
del valor medio
generalizado
11 12 13
Figura 7:
75
6. Conclusiones
Conclusin 6.1 Con el presente trabajo se espera haber desarrollado los teore-
mas de la Integral de Riemann-Stieltjes de una manera clara y concreta abarcan-
do todos aquellos pasos en el los libros de referencia aparecen como es trivial
y se deja como ejercicio para el lector, se desarrolla de manera reciproca,
entre otras; que en ocasiones no son para nada triviales y se convierten en una
dicultad para la comprensin de estos teoremas.
Con las Integrales de Lebesgue no se hace un desarrollo tan detallado, ya que
el objetivo de esta seccin era dar una simple introduccin para realizar la com-
paracin entre los dos tipos de integrales y posteriormente realizar los diagramas
correspondientes, para facilitar un seguimiento deductivo de las deniciones y
teoremas que comprenden estas do clases de integrales.
Es de aclarar que aparte de estas existen mas tipos de integrales que en
ocasiones abarcan muchas mas funciones de las que abarcan este tipo de inte-
grales pero el objetivo del trabajo era dar un primer paso para la comprensin a
cabalidad de los diferentes tipos de integrales existentes
76
Referencias
[WM78] H. Wilcox, D. Myers, An Introduction to Lebesgue Integration and
Fourier Series. New York: Dover Publications. (1978)
[BA01] R. Bartle, A Modern Theory of Integration, GSM, 32, RI :American
Mathematical Society (2001).
[GR01] G. Rubiano, Topologa General. Bogot: Universidad Nacional (2001).
[TA77] T. Apostol, Anlisis Matemtico. Barcelona: Ed. Revert (1977).
[UD01] P. Ulynov, M. Diachenko, Anlisis Real. Espaa: Ed. Revert (2001)
77