TEORA DE LA MEDIDA

Jess Mara Ros Aliaga

17 de abril de 2002
2
ndice General

1 INTRODUCCIN 5
1.1 LGEBRA GEOMTRICA . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 LA CUADRATURA DEL CIRCULO POR ARQUMEDES. EL MTO-
DO DE EXAHUSCIN DE EUDOXO. . . . . . . . . . . . . . . . . . 10

2 FUNCIONES DE VARIACIN ACOTADA. 11

2.1 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

3 LA INTEGRAL DE RIEMANN-STIELJES. 15
3.1 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

4 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE

LA RECTA REAL 21
4.1 PLANTEAMIENTO DEL PROBLEMA . . . . . . . . . . . . . . . . 21
4.1.1 EL AXIOMA DE ELECCIN . . . . . . . . . . . . . . . . . . 23
4.1.2 EL TEOREMA DE VITALI (1905) . . . . . . . . . . . . . . . 24
4.2 DEBILITAMIENTO DEL PROBLEMA DE LA MEDIDA PARA SUB-
CONJUNTOS DE LA RECTA REAL . . . . . . . . . . . . . . . . . 28
4.2.1 LA IDEA DE LEBESGUE . . . . . . . . . . . . . . . . . . . . 29
4.2.2 EL PROCESO DE CARATHODORY . . . . . . . . . . . . . 32

5 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE

LEBESGUE 33
5.1 TEOREMAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5.1.1 TEOREMA DE LA CONVERGENCIA MONTONA . . . . 33
5.1.2 TEOREMA DE BEPPO-LEV . . . . . . . . . . . . . . . . . 35
5.1.3 LEMA DE FATOU . . . . . . . . . . . . . . . . . . . . . . . . 35
5.1.4 TEOREMA DE LA CONVERGENCIA DOMINADA . . . . . 35
5.2 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4 NDICE GENERAL
 Captulo 1
INTRODUCCIN

1.1 LGEBRA GEOMTRICA

Tras el descubrimiento de los incomensurables en la escuela pitagrica del siglo V
a.c., y el consiguiente fracaso de la aritmetizacin de la geometra, se empieza a hacer
lgebra geomtrica.
Dados dos segmentos, pudiera ocurrir que no existiese una unidad de medida
comn, como por ejemplo ocurre en:

1. El lado del pentgono y su diagonal.

2. El lado del cuadrado y su diagonal.

6 INTRODUCCIN

Lo que pone fin a la Teora atmica de la extensin geomtrica, segn la cual,

los segmentos de la geometra estn compuestos por puntos extensos.
Si esta Teora fuera cierta, sera posible encontrar para dos segmentos cua-
lesquiera, AB y CD, una unidad de medida comn u a ambos, de tal forma que

AB = nu

CD = mu

para lo cual bastara con aplicar el algoritmo de Euclides, es decir, hallar el m.c.d.
restando geomtricamente el segmento pequeo al grande hasta que el resto sea el
segmento nulo,es decir, hasta una divisin geomtrica exacta. Proceso que bajo las
hiptesis de la Teora atmica de la extensin geomtrica sera finito.
Siendo u el ltimo segmento por el que se ha dividido, resultar ser, por
la construccin del mismo, la mxima unidad de medida comn a ambos. El cual
permite asociar a cada segmento un nmero natural, en nuestro caso n y m, que
los mide, en el sentido de contener cada segmento esa cantidad de veces, n y m, el
segmento u.
La existencia del segmento u en las hipotesis de la Teora atmica
de la exten-
sin geomtrica, permite asociar a cada par ordenado de sementos AB, CD cua-
lesquiera, el par ordenado de nmeros(n, m) que obtenemos por el proceso descrito
anteriormente o de resta mutua que los griegos llamaran antiphaieresis. Puesto que
tanto n como m son nmeros naturales y (N, ) es un orden total, resuta que en las
hipotesis de la Teora atmica de la extensin geomtrica todo par de segmentos son
comparables, conmensurables, atraves de los nmeros naturales asociados a ellos.

Definicin 1 Para expresar lo dicho anteriormente, y no otra cosa, los griegos de

LGEBRA GEOMTRICA 7

la poca escribian:

AB n
=
CD m
Observacin 2 En la definicin no se dice si la unidad de medida comn a los
segmentos AB y CD tiene que ser la mxima unidad de medida comn u, utilizada
anteriormente para hallar n y m, o vale cualquier otra. Esto es as, porque, de
hecho, no importa cual sea la unidad de medida comn, a los segmentos AB y CD,
AB
que utilizemos: la relacin CD no depender de la unidad de medida comn a los
segmentos AB y CD, que sabemos que existir en las hiptesis de la Teora atmica de
la extensin geomtrica. Luego para comparar dos segmentos no es necesario conocer
las veces que contienen, cada uno de ellos, a un segmento que cabe una cantidad
AB
exacta de veces en ambos. Sino que basta con conocer la relacin entre ambos CD . Lo
que obliga a desarrollar una Teora de proporciones para que tenga sentido nuestra
definicin. Es decir, como:
nu
AB = n0 u0 =nu u0 =
n0

mu
CD = m0 u0 =mu u0 =
m0
entonces
n0 AB n0 u0 n0 nu
n0 n
0
= = 0 0 = 0 mu =
m CD mu m m0 m

Esta Teora de proporciones, que tiene sentido en el contexto de la Teora

atmica de la extensin geomtrica,en la que todo par de segmentos son conmensu-
rables, cae junto con esta a causa del descubrimiento de los incomensurables. En el
libro V de los Elementos de Euclides aparece una revisin de la Teora de propor-
ciones, original de Eudoxo, que permite saber
cuando un par ordenado de segmentos

(o magnitudes arquimedianas , en general) AB, CD cualesquiera es proporcional
a otro par ordenado de segmentos (o magnitudes arquimedianas, en general) (a, b);
pares ordenados que llamarn razones, sin necesidad que los segmentos (o magni-
tudes arquimedianas, en general) sean conmensurables

El descubrimiento de los incomensurables,

y por
tanto,de la imposibilidad de
asociar a cada par ordenado de segmentos AB, CD cualesquiera, un par ordenado

Dos magnitudes se dice que son arquimedianas si al mutiplicar cualquiera de ellas por si misma
un nmero finito de veces, suficientemente grande, podemos superar a la otra. Los griegos de la
poca suponian que dos magnitudes cualesquiera de la misma dimensin eran arquimedianas, y
por supuesto, si eran de distinta dimensin no.
8 INTRODUCCIN

de nmeros (n, m), expulsa de la geometria la aritmtica. Lo que rompe con la idea
de los Pitagricos de que todo es nmero, a la cual haban llegado a traves de sus
viajes a las grandes culturas de la poca: la babilonica, que reduca el estudio de los
astros a nmeros, y la egipcia que reduca el estudio del calendario y de la medida de
las tierras a nmeros. Lo que les lleva a pensar que todo esta hecho de nmeros, en
particular la geometra. Es por ello, que el descubrimiento de los incomensurables,
rompe con estas ideas. Distinguiendo, claramente, cantidad de magnitud. Tratando
la geometra de la magnitud, es decir, de lo infinitamente divisible. Y la aritmetica
de la cantidad, es decir, del nmero.
Al no poderse asociar nmeros a segmentos no puede usarse el orden total
de los nmeros naturales (N, ) para compararlos. Se empieza a hacer lgebra geo-
metrica, es decir, para sumar segmentos no se suman los nmeros asociados a ellos,
pues pueden no existir; sino que se suman como segmentos geomticos, Y para la
comparacin de segmentos, ya no se comparan los numeros asociados a ellos, pues
pueden no existir, sino que se pone uno encima de otro a partir de un extremo de uno
de ellos, y se comparan como conjuntos con el orden parcial de la inclusin. El orden
parcial de la inclusin de conjuntos restringido a los segmentos ser un orden total.
Cmo se compararn superficies en el plano?
Si las queremos comparar como conjuntos de puntos en el plano a traves de la
inclusin de conjuntos, al ser esta relacin de inclusin un orden parcial habr figuras
planas no comparables. Como por ejemplo:

Estas figuras planas no estn relacionadas por la inclusin de conjuntos al no

estar ninguna de allas contenida en la otra.
Aun as, ambas son la unin disjunta de cuatro cuadrados iguales. Por una de
las nociones comunes que aparece en el libro I de los Elementos de Euclides, que dice:
Si se aaden cosas iguales a cosas iguales, entonces los totales son tambin iguales;
como las dos figuras se pueden generar aadiendo magnitudes iguales (los cuadrados)
sucesivamente a figuras iguales, entonces los totales, es decir, las figuras del dibujo,
son iguales. Observese que un razonamiento basado en la aditividad de la medida,es
decir que la medida de la unin disjunta es la suma de los nmeros asociodos, no
valdra, al hacer referencia a nmeros asociados a figuras.
Esta idea junto con la posibilidad de reducir el problema de comparar dos
figuras planas, con la relacin parcial de inclusin conjuntista, al problema de com-
parar segmetos con la relacin de inclusin conjuntista, lo cual siempre ser posible,
LGEBRA GEOMTRICA 9

permite resolver tericamente el problema.

Para esto ltimo, a cada figura plana le tendremos que encontrar otra figura
(por ejemplo un circulo,o un cuadrado) de igual magnitud superficial. En tal caso
la comparacin de figuras planas se realiza comparando estas figuras asociadas de
igual magnitud, que por tener una forma especial (bien sea da del circulo o la del
cuadrado) son siempre comparables.
En el caso del circulo, bastara con comparar sus radios:

Y en el caso del cuadrado, bastara con comparar sus lados.

Los griegos de la poca optarn por est ltima opcin. Por lo cual, para com-
parar figuras planas tubieron la necesidad de encontrar cuadrados de igual magnitud
que las figuras de partida. En particular, si una de las figuras de partida es un circulo
se plantea el problema de encontrar un cuadrado de igual superficie: es el problema
de la cuadratura del circulo.
El desarrollo de la teora de Galois en el siglo XIX permitir demostrar que no
es posible construir con los instrumentos platnicos, es decir con la regla y el comps,
10 INTRODUCCIN

un cuadrado cuya rea coincida con la de un circulo dado. Lo cual no quiere decir
que sea implosible la cuadratura del circulo, siempre que no seamos tan exigentes en
los mtodos de construccin, permitiendo la presencia de lineas que no se puedan
trazar con el ncico auxilio de la regla y el comps.

1.2 LA CUADRATURA DEL CIRCULO POR ARQUMEDES. EL MTO-

DO DE EXAHUSCIN DE EUDOXO.
Lema 3 (Principio de exahuscin debido a Eudoxo) Dadas dos magnitudes homoge-
neas, es decir, de la misma dimendin, que denotaremos por M y ; con la magnitud
tan pequea como queramos. Si a la magnitud M le quito la mitad o ms y a lo
que me queda le vuelvo a quitar la mitad o ms, y as sucesivamente
Mn
Mn+1 <
2

M
Mn <
2n
entonces llegar un monento en el cual me quede menos que la magnitud homogenea
dada

n : Mn <

Teorema 4 (aparece en La medida del circulo de Arqumedes) El area de un circulo

C, de radio r, es igual al area de un triangulo rectangulo T con catetos: el radio el
circulo r, y la longitud de la circunferencia L

Proof. Demostraremos area (C) = area (T) por doble reduccin al absurdo.
Supongamos que area (C) 6= area (T) entonces

area (C) > area (T) y llegaremos a contradiccin
o bien area (C) = area (T)

area (C) < area (T) y llegaremos a contradiccin
 Captulo 2
FUNCIONES DE VARIACIN ACOTADA.

Sea I = [a, b] < intervalo compacto de la recta real

Definicin 5 Una particin de I=[a, b] < es un conjunto finito = {t0 , t1 , . . . , tm1 , tm }
(I) tal que a =t0 t1 . . . tm1 tm = b
Sea f : I = [a, b] < funcin real en I <
y = {t0 , t1 , . . . , tm1 , tm } (I) particin de I
Definicin 6 La variacin de la funcin f respecto de la particin (I) que
denotamos V(f,) ser:
X
m1
V (f, ) = |f (ti+1 ) f (ti )|
i=0

Definicin 7 La variacin total de la funcin f en I que denotamos V(f,I) ser:

V (f, I) = sup V (f, )
(I)

Definicin 8 Si la variacin total de la funcin f en I est acotada,es decir:

V (f, I) <
entonces f se dice que es de variacn acotada.
Proposicin 9 Si f es una funcn montona =f es de variacin acotada y
V (f, I) = |f(b) f(a)|
Proposicin 10 Se vericica para todo c (a, b) lo siguiente:
V (f, [a, b]) = V (f, [a, c]) + V (f, [c, b])
Sea f : I = [a, b] < funcin de variacin acotada en I = [a, b] se puede
definir la funcin siguiente:
F(x) =V (f, [a, x]) : [a, b] [0, ]

x F(x) =V (f, [a, x]) para todo x [a, b]

que ser montona creciente.
12 FUNCIONES DE VARIACIN ACOTADA.

2.1 EJERCICIOS
Ejercicio 11 Calcula la variacin total de las siguientes funciones en I = [0, 1] :
f :I = [0, 1] < tal que

1 para 0 x 12
f(x) = [0, 1 ] =
2 0 para 12 < x 1
f es una funcin montona decreciente en [0, 1],y por lo visto en la proposicn9
f es una funcin de variacin acotada con
V (f, [0, 1]) = |f(1) f(0)| = 1

f :I = [0, 1] < tal que

0 para 0 x < 13
f(x) = [ 1 , 1 ] = 1 para 13 x 12
3 2
0 para 12 < x 1

sea c 13 , 12 por la proposicin10 tenemosV (f, [0, 1]) = V (f, [0, c])+V (f, [c, 1])
con f montona creciente en [0, c] y montona decreciente en [c, 1] que
por9 resulta:
V (f, [0, c]) = |f(c) f(0)| = 1

V (f, [c, 1]) = |f(1) f(c)| = 1

y por tanto:
V (f, [0, 1]) = V (f, [0, c]) + V (f, [c, 1]) = 1 + 1 = 2

f :I = [0, 1] < tal que

0 para x =0
f(x) = (0, 1 ] = 1 para 0 < x 12
2
0 para 12 < x 1

sea c 0, 12 por la proposicin10 tenemosV (f, [0, 1]) = V (f, [0, c])+V (f, [c, 1])
con f montona creciente en [0, c] y montona decreciente en [c, 1] que
por9 resulta:
V (f, [0, c]) = |f(c) f(0)| = 1

V (f, [c, 1]) = |f(1) f(c)| = 1

y por tanto:
V (f, [0, 1]) = V (f, [0, c]) + V (f, [c, 1]) = 1 + 1 = 2
EJERCICIOS 13

Ejercicio 12 Calcula la variacin total de las siguiente funcin f :I = [0, 2] <

definida por f (x) = sin x

0.5

0 1 2 3 4 5 6
x

-0.5

-1

Por la proposicin10 tenemosV
(f, [0, 1]) = V (f, 0, 2 )+V(f, 2, 3
2
)+V (f, 3
2
, 1 )con
f montona creciente
3 en 0, 2 , montona decreciente en 2 , 3 2
y montona
creciente en 2 , 1 que por9 resulta:
h i

V (f, 0, ) = f( ) f(0) = 1
2 2

3 3
V (f, , ) = f( ) f( ) = 2
2 2 2 2

3 3
V (f, , 1 ) = f(1) f( ) = 1
2 2

Por tanto
h
i 3 3
V (f, [0, 1]) = V (f, 0, ) + V (f, , ) + V (f, ,1 ) = 1 + 2 + 1 = 4
2 2 2 2

Ejercicio 13 Demostrar que la funcin f :I = [0, 1] < definida por

0 x =o
f(x) =
xsen x1 x (0, 1]

no es una funcin de variacin acotada

14 FUNCIONES DE VARIACIN ACOTADA.

0.5

-1 -0.5 0 0.5 1
x

-0.5

-1

n o
1 1 1 1
Sea la particin de [0, 1] de n+1 subintervalos : n = 0, +n , +(n1) , , +2 , + , 1
2 2 2 2
La variacin de la funcin f respecto de la particin n (I) ser:
Xn X
1 n1 1
V (f, n ) =
|f (ti+1 ) f (ti )| = f (
) f (0) +
|f (ti+1 ) f (ti )| + f (1) f ( )
i=0 2
+ n i=1 2
+

X
n1 n1
X
1 1
|f (ti+1 ) f (ti )| = f (
+ (n i) ) f ( + (n i + 1) ) =
i=1 i=1 2 2

8X X
n1 n1
ni+1 ni+1
= 2 =
i=1 3 + 8 (n i) + 4 (n i) i=1
3 + 8 (n i) + 4 (n i)2
Tomo j=n-i
X
n1
j+1
=
j=1
3 + 8j + 4j 2 n

Luego la variacin total de la funcin f en [0, 1] ser:

V (f, [0, 1]) = sup V (f, ) V (f, n )
(I) n

pues n (I)
Por tanto V (f, [0, 1]) ,es decir,f no es una funcin de variacin acotada.
Observacin 14 f es una funcin acotada en [0, 1] y no es una funcin de variacin
acotada en [0, 1]
Si f es una funcin de variacin acotada en I=f es una funcin acotada
en I.
Luego el que f sea una funcin acotada en I es condicin necesaria pero
no condicin suficiente para que f sea una funcin de variacin acotada en I.
 Captulo 3
LA INTEGRAL DE RIEMANN-STIELJES.

Sea I = [a, b] < intervalo compacto de la recta real.

Sean f, : I = [a, b] < funcines reales en I <.
Sea = {t0 , t1 , . . . , tn1 , tn } (I) una particin de I = [a, b] como definimos
en 5
Sea c = {c1 , c2 , . . . , cn1 , cn } con ci [ti1 , ti ]

Definicin 15 Dada (I). La Suma de Riemann-Stieljes de f respecto de

como
X
n
S(f, ,) = f(ci ) ((ti ) (ti1 ))
i=1

Notacin 16 Norma de una particin = {t0 , t1 , . . . , tn1 , tn } (I) es la longitud

del mayor de los subintervalos de la particin .

kk = max {ti+1 ti }
0in1

(([a, b]), ) es un orden parcial, pero si definimos 0 kk k 0 k entonces

(([a, b]), ) es un orden total

Observacin 17

0 = 0

0 : 0

Definicin 18 f es Riemann-Stieljes integrable respecto de en I = [a, b], que

escribiremos f RS () en I = [a, b] si existe lim S(f, ,) y en tal caso se
kk0
define la integral de Riemann-Stieljes de f respecto de en I como
Z b Z b
not
fd = f(t)d(t) = lim S(f, ,)
a a kk0
16 LA INTEGRAL DE RIEMANN-STIELJES.

Notacin 19 Se dice que f es el integrando y que es el integrador.

Pn
Observacin
Pn 20 Si (x) = id(x) = x entonces S(f,id,) = i=1 f(ci ) (id(ti ) id(ti1 )) =
i=1 f(ci )(ti ti1 ) que es la suma de Riemann de f respecto de ([a, b])
es decir, S(f,). Y por tanto en el caso en el que el integrador sea la identidad
la integral de Riemann-Stieljes coincide con la integral de Riemann.

Observacin 21 Si es una funcin de variacin acotada en [a, b] y f RS ()

en [a, b], entonces f RS () en [a, x] para todo x [a, b] y tiene sentido definir la
siguiente funcin F que depende del lmite superior de integracin:
Z x
F(x) = fd : [a, b] <
a

Z x
x F(x) = f(t)d(t) para todo x [a, b]
a

3.1 EJERCICIOS
Ejercicio 22 Sean I = [a, b] < y c (a, b)

f : [a, b] < una funcin continua en [a, b] .

g : [a, b] < definida por:

0 para a x < c
g(x) = [c,b] =
1 para c x b
Rb
Demostrar que f RS (g) en [a, b] y a fdg = f(c).
Sean = {t0 , t1 , . . . , tn1 , tn } ([a, b]) una particin de [a, b] y x =
{x1 , x2 , . . . , xn1 , xn } con xj [tj1 , tj ]
Como t0 = a y tn = b existe i N,1 i n con ti c y ti1 < c entonces

X
n
S(f, g,) = f(xj ) (g(tj ) g(tj1 )) = f(xi ) (g(ti ) g(ti1 )) = f(xi )
j=1

Tenemos:

lim S(f, g,) = lim f(xi )

kk0 kk0

Y como se verifica 0 (ti ti1 ) kk por 16 entonces si kk 0

(ti ti1 ) 0
EJERCICIOS 17

junto con que si xi [ti1 , ti ] y c [ti1 , ti ] entonces

0 |xi c| (ti ti1 ) 0

kk0

resulta: xi c y como f es continua en [a, b], lo es en c, y por tanto

kk0

f(xi ) f(c) lim f(xi ) = f(c)

xi c kk0

Y por tanto existe

lim S(f, g,) = lim f(xi ) = f(c)

kk0 kk0

Siendo f RS (g) en [a, b] con

Z b
fdg = lim S(f, g,) = f(c).
a kk0

Ejercicio 23 Calcula las siguientes integrales de Riemann-Stieljes:

R1
1
x[0,1] (x)d[0,1] (x)
Sean I = [1, 1] < y 0 (1, 1)

f : [1, 1] < definida por

0 para 1 x <0
f(x) =x[0,1] =
x para 0 x 1

es una funcin continua en [1, 1] .

g : [1, 1] < definida por:

0 para 1 x <0
g(x) = [0,1] =
1 para 0 x 1

Por el ejercico anterior tenemos que f RS (g) en [1, 1] y

Z b
fdg = f(0) = 0
a

R1
1
[0,1] (x)d[0,1] (x)
Sean I = [1, 1] < y 0 (1, 1)
18 LA INTEGRAL DE RIEMANN-STIELJES.

Sea f : [1, 1] < una funcin definida por

0 para 1 x <0
f(x) = [0,1] =
1 para 0 x 1

Sean = {t0 , t1 , . . . , tn1 , tn } ([1, 1]) una particin de [1, 1] y x =

{x1 , x2 , . . . , xn1 , xn } con xj [tj1 , tj ]
Como t0 = 1 y tn = 1 existe i N,1 i n con ti 0 y ti1 < 0 entonces

X
n

S([0,1] , [0,1] ,) = [0,1] (xj ) [0,1] (tj ) [0,1] (tj1 ) = [0,1] (xi ) [0,1] (ti ) [0,1] (ti1 ) = [0,1]
j=1

Tenemos:
Z 1
[0,1] d[0,1] = lim S([0,1] , [0,1] ,) = lim [0,1] (xi )
1 kk0 kk0

con xi [ti1 , ti ] y ti1 < 0 ti .

Y como se verifica 0 (ti ti1 ) kk por 16 entonces si kk 0
(ti ti1 ) 0
junto con que si xi [ti1 , ti ] y 0 [ti1 , ti ] entonces

0 |xi 0| (ti ti1 ) 0

kk0

resulta: xi 0
kk0
Podemos tomar xi = 0 [ti1 , ti ] para toda ([1, 1]) resutando:

lim [0,1] (xi ) = lim [0,1] (0) = lim 1 = 1

kk0 kk0 kk0

Tambin podemos tomar xi [ti1 , ti ] para toda ([1, 1]) de forma que
xi 0 y xi < 0, pues xi [ti1 , ti ] y ti1 < 0 ti , resultando:
kk0

lim [0,1] (xi ) = 0

kk0

Y por tanto no existe lim S([0,1] , [0,1] ,) = lim [0,1] (xi )

kk0 kk0
Es decir, [0,1] no es Riemann-Stieljes integrable respecto de [0,1] en [1, 1]
R1
1
(0,1] (x)d[0,1] (x)
Sean I = [1, 1] < y 0 (1, 1)
EJERCICIOS 19

Sea f : [1, 1] < una funcin definida por

0 para 1 x 0
f(x) = (0,1] =
1 para 0 < x 1

Sea g : [1, 1] < una funcin definida por

0 para 1 x <0
g(x) = [0,1] =
1 para 0 x 1

Sean = {t0 , t1 , . . . , tn1 , tn } ([1, 1]) una particin de [1, 1] y x =

{x1 , x2 , . . . , xn1 , xn } con xj [tj1 , tj ]
Como t0 = 1 y tn = 1 existe i N,1 i n con ti 0 y ti1 < 0 entonces
X
n
S((0,1] , [0,1] ,) = S(f, g,) = f(xj ) (g(tj ) g(tj1 )) = f(xi ) (g(ti ) g(ti1 )) = (0,1] (xi )
j=1

Tenemos:
Z 1
fdg = lim S(f, g,) = lim (0,1] (xi )
1 kk0 kk0

con xi [ti1 , ti ] y ti1 < 0 ti .

Y como se verifica 0 (ti ti1 ) kk por 16 entonces si kk 0
(ti ti1 ) 0
junto con que si xi [ti1 , ti ] y 0 [ti1 , ti ] entonces

0 |xi 0| (ti ti1 ) 0

kk0

resulta: xi 0
kk0
Podemos tomar xi = 0 [ti1 , ti ] para toda ([1, 1]) resutando:

lim (0,1] (xi ) = lim (0,1] (0) = lim 0 = 0

kk0 kk0 kk0

Tambin podemos tomar particiones de[1, 1], 0 = t00 , t01 , . . . , t0n1 , t0n
([1,
1]), verificando
0 y ti1 < 0 < ti , y x = x01 , x02 , . . . , x0n1 , x0n con
x0j t0j1 , t0j de forma que xi 0 y xi > 0,resultando:
kk0

lim (0,1] (xi ) = lim 1 = 1

kk0 kk0

Y por tanto no existe lim S((0,1] , (0,1] ,) = lim (0,1] (xi )

kk0 kk0
Es decir, (0,1] no es Riemann-Stieljes integrable respecto de [0,1] en [1, 1]
20 LA INTEGRAL DE RIEMANN-STIELJES.

Observacin 24 Si en lugar de la definicin dada en 18 para la integral de Riemann-

Stieljes consideramos esta otra, como hacen en algunos libros:

Definicin 25 f es Riemann-Stieljes integrable respecto de en I = [a, b], que

escribiremos f RS () en I = [a, b] si existe un nmero real J con la siguiente
propiedad: > 0, ([a, b]) ([a, b]) x : eleccin de puntos en cada
subintervalo de la particin ( = |S(f, ,) J| < )

Entonces se puede comprobar trivialmente que (0,1] si es Riemann-Stieljes

R1
integrable respecto de [0,1] en [1, 1] y 1 (0,1] (x)d[0,1] (x) = 0,segun la definicin
25. Basta tomar = {t0 , t1 , . . . , tn1 , tn } ([1, 1]) con un ti = 0. Pues entonces,
para todo ([1, 1]) con se tiene (ti = 0) y cualquiera que sea la
eleccin de xi [ti1 , ti ] ti1 xi ti = 0 tendremos
x 0
S((0,1] , [0,1] ,) = S(f, g,) = (0,1] (xi ) i= 0

verificandose la definicin 25:

> 0, ([a, b]), , ([a, b]) x : ( = |S(f, g,) 0| < )

pues S(f, g,) = 0, ( ) cualquiera que sea la eleccin de puntos en cada

subimtervalo de .
Y como [0,1] no es Riemann-Stieljes integrable respecto de [0,1] en [1, 1],
observamos que, en la integral de Riemann-Stieljes, al cambiar el valor de la funcin
integrando en un solo punto la integral puende pasar de existir a no existir. Lo cual
no suceda con la integral de Riemann de una funcin, pues podemos cambiar el valor
de sta en una cantidad finita de puntos sin afectar a la existencia ni al valor de sta.
 Captulo 4
EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA
RECTA REAL

4.1 PLANTEAMIENTO DEL PROBLEMA

Sabiendo que la longitud de un intervalo de la recta real es la diferencia, en valor
absoluto, de sus puntos extremos:
long ([a, b]) = long ((a, b)) = long ([a, b)) = long ((a, b]) = |b a|
Parece natural extender la nocin de longitud a conjuntos de puntos de la rec-
ta real ms complicados que los intervalos. Si exigimos a esta extencin de la nocin
de longitud la siguiente propiedad: la longitud de una unin disjunta de sunconjuntos
de la recta es la suma de las longitudes, pudiendo ser esta unin infinita numerable
( lo cual ya no es tan intuitivo). Tendremos, entonces,la longitud de cualquier sub-
conjunto abierto de la recta real. Pues todo subconjunto abierto de la recta real es
unin numerable de intervalos abiertos disjuntos, cuya longitud podemos calcular y,
por tanto, la longitud de todo subconjunto abierto de la recta real es suma de las lon-
gitudes de esos intervalos abiertos que lo componen. Pero la clase de los subconjuntos
abiertos de R no cubre cualquier subconjunto de R.
Se pretende construir una funcin m de conjunto:
m : (R) [0, ]
con las siguientes propiedades:
1. m ([0, 1]) = 1
2. m invariante por isometras, que en la recta real son las traslaciones. Es de-
cir,cualqiera que sea el subconjunto de la recta real E, tenemos
m (E + a) = m (E) a R
siendo E + a = {x + a : x E}
3. (Aditividad numerable).Si {En }nN (R) disjuntos dos a dos, entonces:

X

m En = m (En )
n=1
n=1
22 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL

De estas tres propiedades se deduce:

para cada intervalo I (R) resulta m (I) = longitud(I) , luego, utilizando
que m invariante por isometras, tenemos m ({a}) = 0
m esta univocamente definida en los subconjuntos abiertos de R.
m () = 0 , pues, por la aditividad numerable aplicada a la sucesin {}nN
(R) de conjuntos disjuntos dos a dos,tenemos:

X
m () = m = m () m () = 0 por ser m () 0
n=1
n=1

m es funcin de conjunto montona, es decir, A, B (R)

A B = m (A) m (B)
por ser m () 0, es decir, posituva, y por la propiedad 3.
Definicin 26 Las funciones de conjunto definidas en una -lgebra A de (R)
:AR
se dice que son una medida si verifican:
es -aditiva, es decir:
X
An = (An ) {An }nN , con An A disjuntos dos a dos
n=1
n=1

es positiva, es decir:
(A) 0 A A

Observacin 27 Todas las medidas verifican:

(monotona)
Si A, B A, con A B entonces (A) (B)

(-subaditividad)

X

An (An ) {An }nN , con An A
n=1
n=1

Observacin 28 m es una medida sobre (R) invariante por isometrias,que en la

recta real son traslaciones. Y normalizada, es decir, m ([0, 1]) = 1, o lo que es igual,
m asigna a cada intervalo de R su longitud.
PLANTEAMIENTO DEL PROBLEMA 23

4.1.1 EL AXIOMA DE ELECCIN

Hay dos mtodos para decir verdades (en un cierto lenguaje) acerca de una estructura
matemtica:
Comprobando, directamente en la estructura matemtica,que lo que digo es
verdad. Yendo a los objetos matemticos mismos, haciendolos inmediatamente pre-
sentes a la intuicin y comprobando que lo que se dice acerca de ellos es verdad. Los
objetos matemtcos se nos hacen presentes en la visin no sensible, y en la medida
en que las cosas de las que habla una frase pueden verse, la proposicin ser verdad
evidente. Ya sea en la visin sensual si el objeto es sensual, un color, un sonido, ya
sea en nuestro caso, en la visin no sensual, pues, el objeto es no sensual. Exigimos
la presencia del objeto mismo del que se habla, que por su naturaleza sera insensible,
no sentido por ninguno de los cincos setidos. No confundamos presencia inmediata
de un objeto con su naturaleza sensual o no sensual.
O bien deduciendo unas verdades de otras formalmente, olvidandose de los
objetos de los que se habla.
Experiencias matemticas como las ocurridas en el mbito la teora atmica de
la extensin geomtrica de los Pitagoricos,que dice que los segmentos estan formados
por tomos, puntos indivisibles y extensos. Teora, admitida por el primero de los
dos mtodos, de la que se siguen contradicciones:se deduce de esta teora que todo
par de segmentos son comensurables, es decir, tienen una mxima unidad de medida
comn.Antinomias puestas en evidencia seguramente por Hipaso de Metaponto, hacia
mediados del siglo IV a.c.,con el descubrimiento de segmentos incomensurables en el
pentagono estrellado. Segmentos cuya antiphaieresis no parece tener fin. Experiencias
matemticas, como deciamos, que hacen poco fiable el primer mtodo de busqueda
de verdades, lleva a la matemtica a utilizar este primer mtodo de busqueda de
verdades lo menos posible y en sentencias lo m sencillas posibles.Sentencias, estas,
que formaran los axiomas no logicos de la teora matemtica que se trate. Obteniendo
el resto de las verdades por el segundo mtodo, es decir formalmente, a partir de estos
axiomas no logicos.
Supondremos axiomatizada la Teora de conjuntos con los axiomas no logicos
de Zermelo-Freankel (ZF) ms el axioma de Eleccin, en ingles axiom of Choice(ZF+C).
Puedes consularlos en cualquier libro de Teora de conjuntos. En particular entre las
sentencias equvatentes al axioma de Eleccin tenemos
Axioma 29 (axioma de Eleccin) Para cualquier clase de conjuntos existe una fun-
cin de eleccin.
Axioma 30 (equivalente al axioma de Eleccin) Para toda particin de un conjunto
existe un conjunto de representantes, que tambin llamaremos conjunto de eleccin.
A continuacin vamos a convencernos que el Axioma de Eleccin es verdadero.
Si nos dan una coleccin infinita de conjuntos formados cada uno de estos
por un par de zapatos, entonces yo puedo definir una funcin de eleccin construti-
vamente, a traves del siguiente criterio: coge de cada conjunto formado por un par
24 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL

de zapatos el zapato correspondiente al pie derecho. Esta contruccin asegura la

existencia de la funcin de eleccin.
Si nos dan una coleccin infinita de conjuntos formados cada uno de estos
por un par de calcetines indistingibles, repito, los elementos de cada conjunto de la
coleccin son indistingibles, entonces yo no puedo construir una criterio de eleccin
a traves del cual yo pueda coger de cada conjunto formado por un par de elementos
indistingibles uno de ellos.Sin embargo el axioma de Eleccin asegura la existencia de
la funcin de eleccin, aunque no sea construible por ser la coleccin infinita. Es decir,
dado un conjunto de la coleccin yo no tengo ningun criterio para saber que elemento
de dicho conjunto ha sido elegido. Pero el axioma de Eleccin asegura que existe una
eleccin de un elemento de cada conjunto de la coleccin infinita de conjuntos.
Luego el Axioma de Eleccin asegura la existencia de conjuntos (funciones)
que no tienen porque ser construibles. Es decir, no tiene porque haber un criterio
que me permita saber si un determinado elemento est o no est en el conjunto (ha
sido elegido por la funcin de eleccin).
4.1.2 EL TEOREMA DE VITALI (1905)
A continuacin vamos aprobar, utilizando el axioma de Eleccin, que no existe ningu-
na funcin de conjunto m que sea una medida sobre (R) invariante por isometras,
y con m ([0, 1]) = 1, o lo que es lo mismo, m (I) = longitud(I) para todo intervalo I
de R
Luego no se puede extender la nocin de longitud a cualquier subconjunto de
la recta real, es decir, asiginar valores en [0, ] a cualquier subconjunto de la recta
real compatibles con las propiedades 1, 2 y 3 del problema de la medida planteado al
principio de la seccin.
Este teorema se debe a Vitali y apareci en el ao 1905 en su trabajo Sul
problema della misura dei gruppi di punti di una retta.

Teorema 31 (Vitali, 1905) No existe ninguna medida

m : (R) [0, ]

con las siguientes propiedades:

1. m ([0, 1]) = 1

2. m invariante por isometras, que en la recta real son las traslaciones. Es decir,
cualqiera que sea el subconjunto de la recta real E, tenemos

m (E + a) = m (E) a R

siendo E + a = {x + a : x E}
PLANTEAMIENTO DEL PROBLEMA 25

3. (Aditividad numerable).Si {En }nN (R) disjuntos dos a dos, entonces:

X

m En = m (En )
n=1
n=1

Proof. Sea

1 1
, R
2 2

en donde definimos la siguiente relacin binaria, para todo x, y 12 , 12
def
xvy xy Q
que ser una relacin binaria de eqivalencia, pues:
def
i. x v x x x = 0 Q
def def
ii. Si x v y x y Q ) (x y) Q y x Q y v x
def
Si x v y x y Q def
iii. def (x y) + (y z) = x z Q x v z
y y vz yz Q
luego
1 1
2, 2 1 1
= [x] : x ,
v 2 2
donde

1 1 1 1
[x] = y , :yvx = y , :yxQ =
2 2 2 2

1 1 1 1
= y , :yx=r , r Q = y , :y =x+r , r Q
2 2 2 2

[ 1 , 1 ]
que son las clases de equivalencia del conjunto cociente v2 2 , y portanto, conjuntos
disjuntos.
Como [x] : x 12 , 12 es una particin de 12 , 12 , aplicando el AXIOMA

DE ELECCIN tomo un representante en cada clase [x] = y 12 , 12 : y = x + r , r Q
y los coleciono en el conjunto de elecin A llamado conjunto de Vitali.
El conjunto A tendr cardinal no numerable, por haber una cantidad no nu-
merable de clases de eqivalencia en el cociente.
Como el conjunto de los nmeros racionales Q es numerable, tambien lo ser
el subconjunto suyo Q [1, 1], cuyos elementos enumero de la siguiente forma:
r1 = 0, r2 , r3 , . . .
26 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL

Y definimos

Ak = rk + A

que son conjuntos trasladados, y por tanto isomtricos, del conjunto de eleccin A

Ak A

Luego por ser Ak congruente por traslacin con A, aplicando la propiedad 2 de m,

es decir, m es invariante traslaciones, tenemos:

m (Ak ) = m (rk + A) = m (A) k N

La sucesin de conjuntos{An }nN verifica:

1.

Ai Aj = , i 6= j

Por reduccin al absurdo: Si Ai Aj 6= , i 6= j como Ak = rk + A tenemos:

Ai Aj 6= (ri + A) (rj + A) 6=

es decir, existen ai , aj A tal que ri + ai = rj + aj luego

def
ai aj = rj ri Q ai v aj

luego ai = aj pues en A solo hay un representante de cada clase, y como

ai v aj entonces [ai ] = [aj ]
Y si ai = aj ri = rj .Por tanto, Ai = Aj lo que implica i = j.contradiccin
2.

1 1 3 3
, Ak ,
2 2 k=1 2 2
2.1.
A[ 12 , 12 ]

3 3
Ak = (rk + A) [1, 1] + A ,
k=1 k=1 2 2

2.2. Si x 12 , 12 entonces como A es un conjunto de elecin de

1 1 1 1
, = [x] : x ,
2 2 disjunta 2 2
tenemos

a A , [x] = [a] a A , x v a a A , x a Q
PLANTEAMIENTO DEL PROBLEMA 27

1 x a 1

Denotamos q = x a Q [1, 1] y tenemos x = a + q con a A y

q Q [1, 1] luego:

x A+q (rk + A) = Ak
k=1 k=1

Es decir:

1 1
, Ak
2 2 k=1

Tenemos, por tanto, una sucesin de conjuntos{An }nN acotados y disjuntos

dos a dos, tal que:

1 1 3 3
, Ak ,
2 2 k=1 2 2

Veamos que no existe ninguna funcin de conjunto m que sea una medida
sobre (R) invariante por traslaciones, con m (I) = longitud(I) para todo intervalo
I de R.
Lo demostraremos por reduccin al absurdo: supongamos que existe una tal
funcin m.
Por el axioma de Eleccin existe la sucesin de conjuntos{An }nN acotados y
disjuntos dos a dos, congruentes por traslacin con A ,tal que:

1 1 3 3
, Ak ,
2 2 k=1 2 2

luego

1 1 3 3
1=m , m Ak m , =3
2 2 k=1 2 2

y por ser la sucesin de conjuntos{An }nN disjuntos dos a dos:

X
X

1 m (Ak ) 3 1 m (A) 3
k=1 k=1

Si m (A) = 0 entonces

1 0 3 contradiccin
28 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL

Si m (A) > 0 entonces por la propiedad arquimediana de los reales

X

1 m (A) 3 1 3 contradiccin
k=1

Con el axioma de Eleccin, hemos asegurado la existencia el conjunto de elec-

cin A, llamado conjunto de Vitali, no numerable, al cual no se le puede asignar un
valor en [0, ] compatible con las propiedades 1, 2 y 3 exigidas a m. El axioma de
Eleccin asegura la existencia de este conjunto pero no dice como se construye, si es
que es posible.
Cuntos conjuntos A de Vitali distintos valen en la demostracin?
Suponiendo la axiomatizacin de la Teiria de Conjuntos ZFC+HGC, siendo
HGC la hipotesis del continuo generalizada, es decir
def
HC 20 = 1 = c

def
HGC 2 = +1 , con Ordinales

Tendremos tantos conjuntos A de Vitali distintos como conjuntos de elec-

[ 1 , 1 ]
cin distintos de v2 2 = [x] : x 12 , 12 , y conociendo la cardinalidad de los
siguientes conjuntos:

1, 1
2 2
=c
v

1 1
[x] = y , : y = x + r , r Q = 0
2 2
tendremos la siguiente cantidad de posibles elecciones distintas y, por tanto,
conjuntos de Vitali distintos
01
= 0 1 = 21 = 2 = 2c = |(R)|
| 0 0{z }0
1 veces

4.2 DEBILITAMIENTO DEL PROBLEMA DE LA MEDIDA PARA

SUBCONJUNTOS DE LA RECTA REAL
Vamos ha debilitar las propiedades exigidas a m en busca de que el problema de la
medida para subconjuntos de la recta real tenga solucin, y que est sea nica.
Esto se puede hacer de dos formas:
DEBILITAMIENTO DEL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA REC-
TA REAL 29
1. Si nos contentamos con que la funcin de conjunto m sea una medida, no ya so-
bre (R), sino sobre una clase de subconjuntos de R estrictamente contenida en
(R), que tendr estructura de -algebra. Conservando el resto de propiedades,
es decir, invariante por isometras, y con m ([0, 1]) = 1, o lo que es lo mismo,
m (I) = longitud(I) para todo intervalo I de R. Esto se logra mediante el
llamado proceso de Carathodory, es decir, restringiendo una cierta medida ex-
terior sobre los elementos de una -algebra en la que la medida exterior ser
-aditiva
2. Si devilitamos la propiedad 3 que exige la aditividad numerable a la funcin
de conjunto m, por una propiedad ms dvil que exija la aditividad finita a la
funcin de conjunto m, es decir:
n X n
m Ek = m (Ek )
k=1
k=1

para una familia finita {E1, E2,... , En } (R) disjuntos dos a dos.
4.2.1 LA IDEA DE LEBESGUE
Si suponemos el problema resuelto, es decir, que existe una funcin de conjunto m
que sea una medida sobre una clase de subconjuntos de R estrictamente contenida
en (R), que tendr estructura de -algebra y llamaremos M (R), invariante por
isometras, y con m (I) = longitud(I) para todo intervalo I de R.
En estas condiciones se dice que (R,M, m) es un espacio de medida.
Como m es montona por ser una medida , tenemos para todo E donde esta
definida m (E), es decir, E M y cualquiera que sea el recubrimiento de E por
una sucesin infinita {In }nN de intervalos de R:
X
X

E In m (E) m (In ) = long (In )
n=1
n=1 n=1

Y si tomamos nfimo cuando se toman todas las sucesiones infinitas de inter-

valos cuya unin cubr E tenemos:
( )
X
m (E) inf long (In ) : {In }nN recubrimiento de E In
n=1
n=1

Pero el miembro de la derecha se puede definir para todo E de (R), lo que

da lugar a la definicin de la siguiente funcin de conjunto definida sobre (R):
me : (R) [0, ]
( )
X
E me (E) = inf long (In ) : {In }nN recubrimiento de E In
n=1
n=1

que llamaremos medida exterior de Lebesgue y verifica las siguientes propiedades:

30 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL

1. me (E) =
2. A, B (R)

A B = me (A) me (B)

3. (Invariante por traslaciones) Para todo E (R)

me (E + a) = me (E) a R

4. (-subaditividad)

X

e
m En me (En ) {En }nN , con En (R)
n=1
n=1

5.

me (I) = m (I) = long(I)

Pero me no verifica la propiedad de ser -aditiva.

Por tanto, si m (E) est definida tenemos:

m (E) me (E)

Ademas, si suponemos que E est acotado, es decir, E [a, b], para cierto
intervalo [a, b] de R podemos definir la medida interior de E

mi (E) = m ([a, b]) me ([a, b] E c )

independientemente de [a, b] y de si m (E) est definido.

Si, ademas, m (E) est definida tenemos:

mi (E) = m ([a, b]) me ([a, b] E c ) m ([a, b]) m ([a, b] E c ) = m (E)

luego para todo E donde esta definida m (E), es decir, E M se verifica

mi (E) m (E) me (E)

Y si nos restringimos a los E de (R) tales que

mi (E) = me (E)

a los que llameremos conjuntos medibles Lebesgue que colecciono en L (R),tendremos

la solucin al problema dada por me restringida a L, pues, entonces m = me ver-
L
ificar las propiedades 1, 2 y 3; la 1 y 2 por ser m = me en L, y la 3 por ser
m = me = mi en L, siendo me -subaditividad y mi -superaditividad.
DEBILITAMIENTO DEL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA REC-
TA REAL 31
Por tanto m (E) est definido para todo E L, en donde mi (E) = me (E)
y para cualquier otra medida m0 verificando 1, 2, 3 tenemos

mi (E) = m0 (E) = me (E) m0 (E) = m (E)

para todo E en L
y, por tanto, tenemos, al menos, existencia y unicidad de solucin al prob-
lema de la medida para los conjuntos medibles Lebesgue, siendo

m : L [0, ]

( )
X
m (E) = me (E) = inf long (In ) : {In }nN recubrimiento de E In
n=1
n=1

Se puede demostrar que la clase de los conjuntos medibles Lebesgue L (R)

es una -algebra.
En particular para los conjuntos J con contenido de Jordan, es decir, con

ci (J) = ce (J)

tenemos
ci (J)=ce (J)
ci (J) mi (J) me (J) ce (J) mi (J) = me (J)

y por tanto los conjuntos con contenido de Jordan sern conjuntos medibles Lebesgue,
es decir, vivirn en L y tendran la misma medida m (J) = c (J)
Adems, como el subconjunto de R

Q [0, 1]

no tiene contenido, pues

0 = ci (Q [0, 1]) < ce (Q [0, 1]) = 1

pero es medibles Lebesgue, pues

0 mi (Q [0, 1]) me (Q [0, 1]) = 0 mi (Q [0, 1]) = me (Q [0, 1]) = 0

y, por tanto:

m (Q [0, 1]) = 0

Tenemos, en consecuencia, que el concepto de conjunto medible Lebesgue ex-

tiende al concepto de conjunto con contenido de Jordan.
32 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL

4.2.2 EL PROCESO DE CARATHODORY

En su formulacin ms abstracta el proceso de Carathodory permite obtener una
medida (-aditividad) a partir de una medida exterior (-subaditividad) restringiendo
la medida exterior a una clase de subconjuntos de R, que tendr estructura de -
algebra.

Definicin 32 Dado un conjunto X, una funcin me de conjunto:

me : (R) [0, ]

se dice que es una medida exterior si cumple las siguientes propiedades:

me () = 0

(monotona) A, B (X)A B = me (A) me (B)

(-subaditividad)

X

e
m An me (An ) {An }nN , con An (X).
n=1
n=1

Definicin 33 A (X) se dice me -medible o exteriormente medible si

T (X) me (T ) = me (T A) me (T Ac )

Si colecionamos los conjuntos me -medible en

Mme = {A (X) : A es me medible}

verificandose:

Mme es una -lgebra

me restringida a Mme

me : Mme [0, ]

es una medida (-aditividad) completa.

 Captulo 5
TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE
LEBESGUE

5.1 TEOREMAS
5.1.1 TEOREMA DE LA CONVERGENCIA MONTONA
Teorema 34 (TEOREMA DE LA CONVERGENCIA MONTONA) Sea (X,A, )
un espacio de medida y sean

fn : X [0, ]

con {fn }nN una sucesin creciente de funciones medibles Borel no negativas tales
que convergen al lmite puntual en X

f (x) = lim fn (x)

n

es decir,

fn % f -c.t.p.

Entonces
Z Z
lim fn d = lim fn d
n X X n

Z Z
fn d % fd
X n X

Es cierto el Teorema de la convergencia montona en su versin para

integrales en el sentido de Riemann?
Pues no, veamoslo con un contraejemplo:
Como Q [0, 1] es un conjunto numerable, consideramos la sucesin (rn )
n=1
de los nmeros racionales de [0, 1] y consideremos la sucesin de funciones

fn : [0, 1] R
34 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

1 si x {r1 , r2 , , rn }
x fn (x) =
/ {r1 , r2 , , rn }
0 si x

fn es Riemann-integrable pues si consideramos el conjunto de puntos de dis-

continuidad de fn

D = {x R : f n discontinua} = {r1 , r2 , , rn }

que por ser finito tiene medida cero, y por tanto, por el teorema de Lebesgue, fn es
integrable en el sentido de Riemann. Y
Z 1 Z 1
fn = fn = 0
0 0

para todo n N
{fn }nN es, por tanto, una sucesin creciente de funciones Riemann-integrables
no negativas tales que convergen al lmite puntual en [0, 1]

1 si x Q [0, 1]
f (x) = lim fn (x) = Q[0,1] =
n 0 si x I [0, 1]

con f no es Riemann-integrable pues si consideramos el conjunto de puntos de dis-

continuidad de f

D = {x R : f discontinua} = [0, 1]

que no tiene medida cero, y por tanto, por el teorema de Lebesgue, fn no es integrable
en el sentido de Riemann.
Adems
Z 1
lim fn (x)dx = lim 0 = 0
n 0 n

Z 1 Z 1
lim fn (x)dx = f(x)dxno existe
0 n 0

luego no se verifica:
Z 1 Z 1
lim fn (x)dx = lim fn (x)dx
n 0 0 n

pues ni siquiera existe el segundo miembro.

TEOREMAS 35

5.1.2 TEOREMA DE BEPPO-LEV

Teorema 35 (TEOREMA DE BEPPO-LEV) Sea (X,A, ) un espacio de medida
y sean
fn : X [0, ]
con {fn }nN una sucesin de funciones medibles Borel no negativas, es decir,
fn (x) 0x X
Entonces
Z X

! Z
X
fn d = fn d
X n=1 n=1 X

5.1.3 LEMA DE FATOU

Teorema 36 (LEMA DE FATOU) Sea (X,A, ) un espacio de medida y sean
fn , f : X R
con {fn }nN una sucesin de funciones medibles Borel, y f una funcin medible Borel
entonces
R
Si fn fn siendo X fd > , entonces
Z Z
lim fn d lim fn d
X n n X
R
Si fn fn siendo X
fd < , entonces
Z Z
lim fn d lim fn d
n X X n

5.1.4 TEOREMA DE LA CONVERGENCIA DOMINADA

Teorema 37 (TEOREMA DE LA CONVERGENCIA DOMINADA) Sea (X,A, )
un espacio de medida y sean
fn , f : X R

g : X [0, ]
con {fn }nN una sucesin de funciones medibles Borel, tales que fn f
n
-c.t.p.
con g una funcin medible Borel e integrable en el sentido de Lebesgue, o lo
que es igual g L1 (), verificando |fn | g -c.t.p. n
Entonces f es integrable en el sentido de Lebesgue y
Z Z Z
lim fn d = lim fn d = fd
n X X n X
36 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

Es cierto el Teorema de la convergencia dominada en su versin para

integrales en el sentido de Riemann?
Pues no, y lo veremos con un contraejemplo:
Como Q [0, 1] es un conjunto numerable, consideramos la sucesin (rn )
n=1
de los nmeros racionales de [0, 1] y consideremos la sucesin de funciones
fn : [0, 1] R

1 si x {r1 , r2 , , rn }
x fn (x) =
/ {r1 , r2 , , rn }
0 si x
fn es Riemann-integrable. Y
Z 1
fn = 0
0

para todo n N
{fn }nN es, por tanto, una sucesin de funciones Riemann-integrables tales
que convergen al lmite puntual en [0, 1]

1 si x Q [0, 1]
f (x) = lim fn (x) = Q[0,1] =
n 0 si x I [0, 1]
con f no es Riemann-integrable.
Adems
Z 1
lim fn (x)dx = lim 0 = 0
n 0 n

Z 1 Z 1
lim fn (x)dx = f(x)dxno existe
0 n 0

luego no se verifica:
Z 1 Z 1
lim fn (x)dx = lim fn (x)dx
n 0 0 n

pues ni siquiera existe el segundo miembro.

Y sin embargo existe una funcin
g : [0, 1] [0, ]

x g (x) = 1
con g una funcin Riemann-integrable verificando
|fn (x)| 1 x [0, 1]
es decir |fn | g . n
EJERCICIOS 37

5.2 EJERCICIOS
Ejercicio 38 Sea a < 1
Calcula:
Z
n
x n ax
lim 1+ e dx
n 0 n
Consideramos la sucesin de funciones fn : (0, ) R tales que
x n ax
x fn (x) = 1 + e [0,n]
n
n
fn (x) = 1 + nx eax [0,n] es una sucesin de funciones medibles no negativas
en (0, ).
Veamos que {fn (x)} es una sucesin de funciones montona creciente en
(0, ) con funcin lmite puntual f : (0, ) R
x n ax
x f(x) = lim fn (x) = lim 1 + e [0,n] = ex eax = e(a+1)x
n n n
n
1 + nx n=1
es una sucesin de nmeros reales creciente
n+1
x n x
1+ 1+ % ex
n n+1 n

multiplicando por la constante eax

n+1
x n ax x
1+ e 1+ eax % ex eax
n n+1 n

Luego nos encontramos en las hipotesis del teorema de la convergencia

montona:
{fn (x)} es una sucesin de funciones montona creciente medibles no
negativas en (0, ) con funcin lmite puntual f, es decir, fn % f en (0, )
n
Luego
Z Z
lim fn (x)dx = lim fn (x)dx
n 0 0 n

Z Z Z
n
x n ax
lim 1+ e dx = lim fn (x)dx = lim fn (x)dx =
n 0 n n 0 0 n

Z
a<1 1
= e(a+1)x dx =
0 1+a
38 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

f 0
Pues si f es integrable Lebesgue y las
f es integrable Riemann impropia
integrales coinciden
1.

f(x) = e(a+1)x 0 en (0, )

2.
Z Z k x=k
(a+1)x (a+1)x e(a+1)x
e dx = lim e dx = lim =
0 k 0 k a+1 x=0

e(a+1)k 1 a<1 1
= lim = <
k a+1 1+a 1+a

y por tanto f es integrable Riemann impropia en (0, )

Ejercicio 39 Calcula:
Z
n
x n x
lim 1 e dx
n 0 n

Consideramos la sucesin de funciones fn : (0, ) R tales que

x n x
x fn (x) = 1 e [0,n]
n
n
fn (x) = 1 nx ex [0,n] es una sucesin de funciones medibles en (0, ).
Definimos la funcin lmite puntual f : (0, ) R por :
x n x
x f(x) = lim fn (x) = lim 1 e [0,n] = ex ex = e2x
n n n
Como
x n x

|fn (x)| = 1 e [0,n] ex [0,n] ex
n
Tomando la funcin g : (0, ) R

x g(x) = ex

que verifica
Z Z k
x ek
g(x)dx = lim e dx = lim +1 =1<
0 k 0 k 1
EJERCICIOS 39

g0
tenemos g es integrable Lebesgue y las in-
g es integrable Riemann impropia
tegrales coinciden
Z Z
gd = g(x)dx = 1 <
(0,) 0

y por tanto, estamos en las hipotesis del teorema de la convergencia dom-

inada, pues |fn | g con g medible e integrable Lebesgue en (0, ).
Luego podemos intercambiar el lmite y la integral resultando:
Z n Z Z
x n x
lim 1 e dx = lim fn (x)dx = lim fn (x)dx =
n 0 n n 0 0 n

Z Z Z
2x T.C.M. 2x ()
e dx = lim e [0,k] dx = lim e2x dx =
0 k 0 k
[0,k]

por ser los integrandos de las integrales de la sucesin acotados y Riemann-integrables

en un intervalo cerrado y acotado [0, k], entonces sern integrables-Lebesgue y las
integrales coincidirn, es decir,
Z Z k
2x 2x 1 e2k
e dx = e dx =
[0,k] 0 2

por tanto:

() 1 e2k 1
= lim =
k 2 2

Ejercicio 40 Calcula:
Z
1
lim 1 dx
x n n
n 0 1+ n x

Denotamos la sucesin de integrandos por fn : (0, ) R tales que

1
x fn (x) = n 1
1 + nx x n

Definimos la funcin lmite puntual f : (0, ) R por:

1
x f(x) = lim fn (x) = lim 1
n n 1 + x n x n
n
40 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

Luego fn (x) f(x) x (0, ), es decir, f es el limite puntual de fn

n

1 1
f(x) = lim fn (x) = lim x
n 1 = n 1 =
n n 1 +
n
xn lim 1 + nx lim x n
n n

Por ser
n !x
x n 1 x
lim 1 + = lim 1+ n = ex
n n n
x

Y
1
lim x n = x0 = 1
n

tendremos, al final, que:

1
= ex
f(x) =
ex
Supongamos que se dan las condiciones para que el clculo del lmite de una suce-
sin de integrales sea lo mismo que el clculo de la integral del lmite puntual de los
integrandos,es decir, que podemos intercambiar lmite e integral:
Z Z
lim fn (x)dx = lim fn (x)dx
n 0 0 n

Entonces tendramos:
Z Z Z Z
lim fn (x)dx = lim fn (x)dx = f(x)dx = ex dx = 1
n 0 0 n 0 0

Pues
Z Z

x
M M
e dx = lim ex dx = lim ex 0 = lim (1 eM ) = 1
0 M 0 n n
R
lo que significara que f(x) = ex es integrable Riemann impropia en (0, ) y 0 ex dx =
1. Y como f(x) = ex 0, x (0, ) entonces f es integrable Lebesgue en (0, )
respecto la medida de longitud extendida a los borelianos de la recta real. Y el valor de
su integral de Lebesgue en (0, ) es igual al valor de su integral de Riemann impropia
en (0, ),que es 1.
Veamos, pues, que se pueden intercambiar el lmite y la integral utilizando el
teoremade la convergenciadominada:
1
fn (x) = n 1 es una sucesin de funciones medibles e integrables en
(1+ nx ) x n
(0, ), pues las fn son continuas y positivas en (0, ).
Luego para estar en las hipotesis del teorema de la convergencia dominada
solamente necesitamos encontar una funcin g : (0, ) R medible e integrable tal
que |fn | g para todo n 2 en (0, ).
EJERCICIOS 41

|fn | = fn pues fn 0 en (0, )

1 def
fn (x) = 1 (0,) (x) = fn (x)(0,1 ] (x) + fn (x)(1,) (x) g1 (0,1 ] + g2 (1,) = g n 2
x n n
1+ n x

Tomamos:
g1 : (0, 1] R definida por:
1
x g1 (x) = 1
x2
pues
1 x>0 1 0<x1 y n2 1
n 1 1 1 x (0, 1] y n 2
1 + nx x n xn x2

g2 : (1, ) R definida por:

1
x g2 (x) = 2
1 + x2
pues
1 x>1 1 x0 y n2 1

x n n
1 n 2 x (1, ) y n 2
1+ n x 1 + nx 1 + x2

Definimos la siguiente funcin:

def
g(x) = g1 (0,1 ] (x) + g2 (1,) (x) es medible pues g1 y g2 son continuas en
(0, )
Solamente nos queda ver que g es integrable Lebesgue en (0, ). Es-
to lo comprobaremos viendo que tanto g1 (0,1 ] (x) como g2 (1,) (x) son integrable
Lebesgue en (0, ). Pues, entonces, la suma, es decir, g, es integrable Lebesgue
en (0, )
Como tanto g1 como g2 son no negativas en sus respectivos dominios de
definicn, si demostramos que son integrables Riemann impropias en sus respectivos
dominios de definicn, entonces sern integrable Lebesgue. Y estaremos en las
hiptesis del teorema de la convergencia dominada
R1
Veamos que 0 g1 dx <
Z 1 Z 1 Z 1 h 1 i1
1 12 1
g1 dx = 1 dx = lim x dx = lim 2x 2 = lim(2 2 2 ) = 2
0 0 x2 0 0 0

Por tanto

g1 es integrable Riemann impropia
g1 es integrable Lebesgue
g1 0
42 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

R
Veamos que 1
g2 dx <
Z Z
1
g2 dx = 2 dx <
1 1 1 + x2

2 x>1 x2
Como 1 + x2 = 1 + x + 14 x2 > 4
con x (1, )
Z Z M
1 4 1
< x2
dx = lim dx = 4 lim (1 )=4<
1 4
M 1 x2 M M

Por tanto

g2 es integrable Riemann impropia
g2 es integrable Lebesgue
g2 0

Ejercicio 41 Calcula:
Z
n
x n x
lim 1 e dx
n 0 2n

Consideramos la sucesin de funciones fn : (0, ) R tales que

x n x
x fn (x) = 1 e [0,n] 0
2n

Con funcin lmite puntual f : (0, ) R

x n x x 1
x f(x) = lim fn (x) = lim 1 e [0,n] = e 2 ex = e 2 x
n n 2n
1
Sinedo f(x) = e 2 x

140

120

100

80

60

40

20

0 2 4 6 8 10
x
EJERCICIOS 43

Por tanto,
f = lim fn = lim fn = lim fn
n n n

Tenemos
Z Z
x n x
n
lim 1 e dx = lim fn (x)dx
n 0 2n n 0
R
Aplicando el lema de Fatou, pues fn 0 siendo 0 0dx = 0 >

Z Z Z
1
lim fn (x)dx = f(x)dx = e 2 x dx =
0 n 0 0

luego
Z Z n
n
x n x x n x
lim 1 e dx = lim 1 e dx =
n 0 2n n 0 2n
Ejercicio 42 Si 1 < p < 2
Z 1
nx sin x
lim dx = 0
n 0 1 + (nx)p
Como 0 < x < 1

nx sin x nx nx 1 p1>0 1

1 + (nx)p 1 + (nx)p (nx)p = np1 xp1
xp1
Si definimos
g : [0, 1] [0, ]

1
x g (x) =
xp1
Como g es continua, y por lo tanto, g es una funcin medible Borel y adems
como g es una funcin Riemann- integrable en [0, 1] pues
Z 1 Z 1
1
g(x)dx = p1
dx < para 0 < p 1 < 1
0 0 x

lo que implica que g es integrable en el sentido de Lebesgue en [0, 1], o lo que es igual
g L1 (). Verificandose tambin |fn | g -c.t.p. n lo que nos pone en las hipotesis
del Teorema de la convergencia dominada.
Que permite intercambiar el lmite y la integral
Z 1 Z 1 Z 1
nx sin x nx sin x
lim p dx = lim p dx = 0dx = 0
n 0 1 + (nx) 0 n 1 + (nx) 0
44 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

Ejercicio 43 Calcula
Z 1
log (n + x) x
lim e cos xdx
n 0 n
Como 0 < x < 1

log (n + x) x log (n + x) x ()
e cos x= e |cos x|
n n

log (n + x) log (n + 1) log (n + 1) n + 1 1

() 1 + 2 n
n n | n {z
+ 1 }| {zn } n
1 1
1+ n

0<x<1
2ex |cos x| 2 n

Si definimos

g : [0, 1] [0, ]

x g (x) = 2

Como g es continua, y por lo tanto, g es una funcin medible Borel y adems

como g es una funcin Riemann- integrable en [0, 1] pues
Z 1 Z 1
g(x)dx = 2dx = 2 <
0 0

lo que implica que g es integrable en el sentido de Lebesgue en [0, 1], o lo que es

igual g L1 (). Verificandose tambin |fn | g -c.t.p. n, lo que nos pone en las
hipotesis del Teorema de la convergencia dominada.
Que permite intercambiar el lmite y la integral
Z 1 Z 1 Z 1
log (n + x) x log (n + x) x
lim e cos xdx = lim e cos xdx = 0dx = 0
n 0 n 0 n n 0