TEORA DE LA MEDIDA

Jess Mara Ros Aliaga 17 de abril de 2002

ndice General
1 INTRODUCCIN 5 1.1 LGEBRA GEOMTRICA . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 LA CUADRATURA DEL CIRCULO POR ARQUMEDES. EL MTODO DE EXAHUSCIN DE EUDOXO. . . . . . . . . . . . . . . . . . 10 2 FUNCIONES DE VARIACIN ACOTADA. 2.1 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 LA INTEGRAL DE RIEMANN-STIELJES. 3.1 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 EL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL 4.1 PLANTEAMIENTO DEL PROBLEMA . . . . . . . . . . . . . . . . 4.1.1 EL AXIOMA DE ELECCIN . . . . . . . . . . . . . . . . . . 4.1.2 EL TEOREMA DE VITALI (1905) . . . . . . . . . . . . . . . 4.2 DEBILITAMIENTO DEL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL . . . . . . . . . . . . . . . . . 4.2.1 LA IDEA DE LEBESGUE . . . . . . . . . . . . . . . . . . . . 4.2.2 EL PROCESO DE CARATHODORY . . . . . . . . . . . . . 5 TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE 5.1 TEOREMAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.1.1 TEOREMA DE LA CONVERGENCIA MONTONA . . . . 5.1.2 TEOREMA DE BEPPO-LEV . . . . . . . . . . . . . . . . . 5.1.3 LEMA DE FATOU . . . . . . . . . . . . . . . . . . . . . . . . 5.1.4 TEOREMA DE LA CONVERGENCIA DOMINADA . . . . . 5.2 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 12 15 16 21 21 23 24 28 29 32 33 33 33 35 35 35 37

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.

INTRODUCCIN

Lo que pone n 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 cualesquiera, 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 nito. 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 cualesquiera, 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. Denicin 1 Para expresar lo dicho anteriormente, y no otra cosa, los griegos de

LGEBRA GEOMTRICA

la poca escribian: AB n = m CD Observacin 2 En la denicin 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 denicin. Es decir, como: AB = n0 u0 =nu u0 = CD = m0 u0 =mu u0 = entonces n0 nu n0 u0 n AB n0 n0 = 0 0 = 0 mu = = 0 m mu m m0 m CD 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 conmensurables, 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 proporciones, 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 magnitudes 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

nu n0 mu m0

Dos magnitudes se dice que son arquimedianas si al mutiplicar cualquiera de ellas por si misma un nmero nito de veces, sucientemente 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.

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 innitamente 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 geometrica, 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 supercies 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 guras planas no comparables. Como por ejemplo:

Estas guras 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 guras se pueden generar aadiendo magnitudes iguales (los cuadrados) sucesivamente a guras iguales, entonces los totales, es decir, las guras 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 guras. Esta idea junto con la posibilidad de reducir el problema de comparar dos guras planas, con la relacin parcial de inclusin conjuntista, al problema de comparar segmetos con la relacin de inclusin conjuntista, lo cual siempre ser posible,

LGEBRA GEOMTRICA

permite resolver tericamente el problema. Para esto ltimo, a cada gura plana le tendremos que encontrar otra gura (por ejemplo un circulo,o un cuadrado) de igual magnitud supercial. En tal caso la comparacin de guras planas se realiza comparando estas guras 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 comparar guras planas tubieron la necesidad de encontrar cuadrados de igual magnitud que las guras de partida. En particular, si una de las guras de partida es un circulo se plantea el problema de encontrar un cuadrado de igual supercie: 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 MTODO DE EXAHUSCIN DE EUDOXO.

Lema 3 (Principio de exahuscin debido a Eudoxo) Dadas dos magnitudes homogeneas, 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+1 < Mn 2 M 2n

Mn <

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 Denicin 5 Una particin de I=[a, b] < es un conjunto nito = {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 Denicin 6 La variacin de la funcin f respecto de la particin (I) que denotamos V(f,) ser: V (f, ) =
m1 X i=0

|f (ti+1 ) f (ti )|

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

Denicin 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 denir 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 f(x) = [0, 1 ] =
2

1 para 0 x 1 2 0 para 1 < x 1 2

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 < 1 3 f(x) = [ 1 , 1 ] = 1 para 1 x 1 3 2 3 2 0 para 1 < x 1 2

sea c 1 , 1 por la proposicin10 tenemosV (f, [0, 1]) = V (f, [0, c])+V (f, [c, 1]) 3 2 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 para x =0 0 f(x) = (0, 1 ] = 1 para 0 < x 1 2 2 0 para 1 < x 1 2

sea c 0, 1 por la proposicin10 tenemosV (f, [0, 1]) = V (f, [0, c])+V (f, [c, 1]) 2 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] < denida por f (x) = sin x

0.5

0 -0.5

-1

, Por la proposicin10 tenemosV (f, [0, 1]) = V (f, 0, )+V(f, 3 )+V (f, 3 , 1 )con 2 2 2 2 f montona creciente en 0, 2 , montona decreciente en , 3 y montona 2 2 creciente en 3 , 1 que por9 resulta: 2 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] < denida por f(x) = 0 x =o 1 xsen x x (0, 1]

no es una funcin de variacin acotada

14

FUNCIONES DE VARIACIN ACOTADA.

0.5

-1

-0.5

0.5 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: X n X n1 f ( 1 ) f (0) + f (1) f ( 1 ) V (f, n ) = |f (ti+1 ) f (ti )| = |f (ti+1 ) f (ti )| + + n + 2 2 i=0 i=1
n1 X i=1

Tomo j=n-i

X 8X ni+1 ni+1 = = 2 i=1 3 + 8 (n i) + 4 (n i) 3 + 8 (n i) + 4 (n i)2 i=1

n1 n1

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

Luego la variacin total de la funcin f en [0, 1] ser: V (f, [0, 1]) = sup V (f, ) V (f, n )
(I)
n

n1 X j=1

j+1 3 + 8j + 4j 2 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 suciente 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 denimos en 5 Sea c = {c1 , c2 , . . . , cn1 , cn } con ci [ti1 , ti ] Denicin 15 Dada (I). La Suma de Riemann-Stieljes de f respecto de como S(f, ,) =
n X i=1

f(ci ) ((ti ) (ti1 ))

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 denimos 0 kk k 0 k entonces (([a, b]), ) es un orden total Observacin 17 0 = 0 0 : 0 Denicin 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 dene 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 kk0

16

LA INTEGRAL DE RIEMANN-STIELJES.

Notacin 19 Se dice que f es el integrando y que es el integrador. P Observacin 20 Si (x) = id(x) = x entonces S(f,id,) = n f(ci ) (id(ti ) id(ti1 )) = i=1 Pn f(ci )(ti ti1 ) que es la suma de Riemann de f respecto de ([a, b]) i=1 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 denir la siguiente funcin F que depende del lmite superior de integracin: Z x F(x) = fd : [a, b] <
a

x F(x) = 3.1 EJERCICIOS

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

Ejercicio 22 Sean I = [a, b] < y c (a, b) f : [a, b] < una funcin continua en [a, b] . g : [a, b] < denida 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 S(f, g,) = Tenemos:
kk0 n X j=1

f(xj ) (g(tj ) g(tj1 )) = f(xi ) (g(ti ) g(ti1 )) = f(xi )

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

kk0

Y como se verica 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

kk0

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

kk0

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

b

fdg = lim S(f, g,) = f(c).

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] < denida por f(x) =x[0,1] =

0 para 1 x <0 x para 0 x 1

es una funcin continua en [1, 1] . g : [1, 1] < denida por: g(x) = [0,1] =

0 para 1 x <0 1 para 0 x 1

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

b

fdg = f(0) = 0

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

R1

[0,1] (x)d[0,1] (x)

18

LA INTEGRAL DE RIEMANN-STIELJES.

Sea f : [1, 1] < una funcin denida 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 S([0,1] , [0,1] ,) =
n X j=1

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

Tenemos: Z 1

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

kk0 kk0

con xi [ti1 , ti ] y ti1 < 0 ti . Y como se verica 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 Podemos tomar xi = 0 [ti1 , ti ] para toda ([1, 1]) resutando:

kk0 kk0

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

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 kk0

lim [0,1] (xi ) = 0

Y por tanto no existe lim S([0,1] , [0,1] ,) = lim [0,1] (xi ) Es decir, [0,1] no es Riemann-Stieljes integrable respecto de [0,1] en [1, 1] R1
1 kk0 kk0

(0,1] (x)d[0,1] (x)

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

EJERCICIOS

19

Sea f : [1, 1] < una funcin denida por 0 para 1 x 0 f(x) = (0,1] = 1 para 0 < x 1 Sea g : [1, 1] < una funcin denida 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 S((0,1] , [0,1] ,) = S(f, g,) =
n X j=1

f(xj ) (g(tj ) g(tj1 )) = f(xi ) (g(ti ) g(ti1 )) = (0,1] (xi )

Tenemos: Z
1

fdg = lim S(f, g,) = lim (0,1] (xi )

kk0 kk0

con xi [ti1 , ti ] y ti1 < 0 ti . Y como se verica 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 Podemos tomar xi = 0 [ti1 , ti ] para toda ([1, 1]) resutando: = t00 , t01 , . . . , t0n1 , t0n Tambin podemos tomar particiones de[1, 1], 0 ([1, 1]), vericando 0 y ti1 < 0 < ti , y x = x01 , x02 , . . . , x0n1 , x0n con 0 x0j tj1 , t0j de forma que xi 0 y xi > 0,resultando:
kk0 kk0 kk0 kk0

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

kk0 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 ) Es decir, (0,1] no es Riemann-Stieljes integrable respecto de [0,1] en [1, 1]
kk0

20

LA INTEGRAL DE RIEMANN-STIELJES.

Observacin 24 Si en lugar de la denicin dada en 18 para la integral de RiemannStieljes consideramos esta otra, como hacen en algunos libros: Denicin 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 denicin 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 = S((0,1] , [0,1] ,) = S(f, g,) = (0,1] (xi ) i 0 vericandose la denicin 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 nita de puntos sin afectar a la existencia ni al valor de sta.
x 0

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 recta 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 innita numerable ( lo cual ya no es tan intuitivo). Tendremos, entonces,la longitud de cualquier subconjunto 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 longitudes 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 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} 3. (Aditividad numerable).Si {En }nN (R) disjuntos dos a dos, entonces: m
n=1

En =

X n=1

m (En )

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 denida 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: m () = m
X 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. Denicin 26 Las funciones de conjunto denidas en una -lgebra A de (R) :AR se dice que son una medida si verican: 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 verican: (monotona) Si A, B A, con A B entonces (A) (B) (-subaditividad)
X n=1

n=1

An

(An ) {An }nN , con An A

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 presentes 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 n. Experiencias matemticas, como deciamos, que hacen poco able 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 funcin 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 innita de conjuntos formados cada uno de estos por un par de zapatos, entonces yo puedo denir una funcin de eleccin construtivamente, 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 innita 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 innita. 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 innita 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 ninguna 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: m Proof. Sea
n=1

En =

X n=1

m (En )

en donde denimos la siguiente relacin binaria, para todo x, y 1 , 1 2 2 xvy xy Q

def

1 1 R , 2 2

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 (x y) + (y z) = x z Q x v z iii. def y y vz yz Q luego 1 1 2, 2 1 1 = [x] : x , 2 2 v donde 1 1 1 1 :yvx = y , :yxQ = [x] = y , 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 ] 2 que son las clases de equivalencia del conjunto cociente v 2 , y portanto, conjuntos disjuntos. Como [x] : x 1 , 1 es una particin de 1 , 1 , aplicando el AXIOMA 2 2 2 2 DE ELECCIN tomo un representante en cada clase [x] = y 1 , 1 : y = x + r , r Q 2 2 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 numerable 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 denimos 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 verica: 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 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 , , k=1 2 2 2 2 2.1.
A[ 1 , 1 ] 2 2 def

k=1

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

2.2. Si x 1 , 1 entonces como A es un conjunto de elecin de 2 2 1 1 1 1 , [x] : x , = disjunta 2 2 2 2 tenemos a A , [x] = [a] a A , x v a a A , x a Q

3 3 , 2 2

PLANTEAMIENTO DEL PROBLEMA

27

y 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 , k=1 2 2 Tenemos, por tanto, una sucesin de conjuntos{An }nN acotados y disjuntos dos a dos, tal que: 1 1 3 3 , Ak , k=1 2 2 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 , k=1 2 2 2 2 luego 1 1 3 3 1=m , m Ak m , =3 k=1 2 2 2 2 y por ser la sucesin de conjuntos{An }nN disjuntos dos a dos: 1
X k=1 X k=1

m (Ak ) 3 1

m (A) 3

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 1

X k=1

m (A) 3 1 3 contradiccin

Con el axioma de Eleccin, hemos asegurado la existencia el conjunto de eleccin 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 HC 20 = 1 = c HGC 2 = +1 , con Ordinales Tendremos tantos conjuntos A de Vitali distintos como conjuntos de elec [ 1 , 1 ] 2 cin distintos de v 2 = [x] : x 1 , 1 , y conociendo la cardinalidad de los 2 2 siguientes conjuntos: 1, 1 2 2 =c v 1 1 [x] = y , : y = x + r , r Q = 0 2 2 0 = 1 = 21 = 2 = 2c = |(R)| 0 | 0 0{z }
1 veces 01 def def

tendremos la siguiente cantidad de posibles elecciones distintas y, por tanto, conjuntos de Vitali distintos

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 RECTA REAL 29

1. Si nos contentamos con que la funcin de conjunto m sea una medida, no ya sobre (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 exterior 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 nita a la funcin de conjunto m, es decir: n n X m Ek = m (Ek )
k=1 k=1

para una familia nita {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 denida m (E), es decir, E M y cualquiera que sea el recubrimiento de E por una sucesin innita {In }nN de intervalos de R: E In m (E)
n=1 X n=1

m (In ) =

Pero el miembro de la derecha se puede denir para todo E de (R), lo que da lugar a la denicin de la siguiente funcin de conjunto denida sobre (R): ( X
n=1

Y si tomamos nmo cuando se toman todas las sucesiones innitas de intervalos cuya unin cubr E tenemos: ( ) X m (E) inf long (In ) : {In }nN recubrimiento de E In
n=1 n=1

X n=1

long (In )

me : (R) [0, ] long (In ) : {In }nN recubrimiento de E In

n=1

E me (E) = inf

que llamaremos medida exterior de Lebesgue y verica 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) m 5. me (I) = m (I) = long(I) Pero me no verica la propiedad de ser -aditiva. Por tanto, si m (E) est denida 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 denir 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 denido. Si, ademas, m (E) est denida 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 denida m (E), es decir, E M se verica 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 verL icar 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.
e

n=1

En

X n=1

me (En ) {En }nN , con En (R)

DEBILITAMIENTO DEL PROBLEMA DE LA MEDIDA PARA SUBCONJUNTOS DE LA RECTA REAL 31

Por tanto m (E) est denido para todo E L, en donde mi (E) = me (E) y para cualquier otra medida m0 vericando 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 problema de la medida para los conjuntos medibles Lebesgue, siendo m : L [0, ] m (E) = me (E) = inf ( X
n=1

long (In ) : {In }nN recubrimiento de E In

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) mi (J) me (J) ce (J)
ci (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 extiende 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. Denicin 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) m
e

n=1

An

X n=1

me (An ) {An }nN , con An (X).

Denicin 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} vericandose: 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

n

lim

fn d =

X n

lim fn d

fn d %

fd

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

x fn (x) =

1 si x {r1 , r2 , , rn } 0 si x {r1 , r2 , , rn } /

fn es Riemann-integrable pues si consideramos el conjunto de puntos de discontinuidad de fn D = {x R : f n discontinua} = {r1 , r2 , , rn } que por ser nito tiene medida cero, y por tanto, por el teorema de Lebesgue, fn es integrable en el sentido de Riemann. Y Z
1

fn =

fn = 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] f (x) = lim fn (x) = Q[0,1] =
n

1 si x Q [0, 1] 0 si x I [0, 1]

con f no es Riemann-integrable pues si consideramos el conjunto de puntos de discontinuidad 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 luego no se verica:

0 n

lim fn (x)dx =

f(x)dxno existe

lim

fn (x)dx =

0 n

lim fn (x)dx

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 ! XZ 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

Si fn fn siendo

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 (), vericando |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 x fn (x) = 1 si x {r1 , r2 , , rn } 0 si x {r1 , r2 , , rn } / Z
1

fn es Riemann-integrable. Y fn = 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] = 0 si x I [0, 1] n con f no es Riemann-integrable. Adems Z 1 fn (x)dx = lim 0 = 0 lim
n 0 n

luego no se verica:

0 n

lim fn (x)dx = Z

f(x)dxno existe Z

lim

fn (x)dx =

0 n

lim fn (x)dx

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 vericando |fn (x)| 1 x [0, 1] es decir |fn | g . n

EJERCICIOS

37

5.2

EJERCICIOS

Ejercicio 38 Sea a < 1 Calcula:

n

lim

x n ax 1+ e dx n

Consideramos la sucesin de funciones fn : (0, ) R tales que x n ax e [0,n] x fn (x) = 1 + n x n fn (x) = 1 + n 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 x n 1+ n es una sucesin de nmeros reales creciente n=1 n+1 x x n 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

lim

fn (x)dx =

lim fn (x)dx

lim

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

e(a+1)x dx =

a<1

1 1+a

38

TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

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

f es integrable Lebesgue y las

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

(a+1)x

dx = lim

(a+1)x

dx = lim

e(a+1)x a+1

x=k
x=0

= lim

1 e(a+1)k a+1 1+a

a<1

1 < 1+a

y por tanto f es integrable Riemann impropia en (0, ) Ejercicio 39 Calcula: lim Z

n

x n x 1 e dx n

Consideramos la sucesin de funciones fn : (0, ) R tales que x n x x fn (x) = 1 e [0,n] n x n fn (x) = 1 n ex [0,n] es una sucesin de funciones medibles en (0, ). Denimos 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 x g(x) = ex que verica Z

Tomando la funcin g : (0, ) R

g(x)dx = lim

e dx = lim

ek +1 =1< 1

EJERCICIOS

39

g0 g es integrable Lebesgue y las intenemos 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 dominada, pues |fn | g con g medible e integrable Lebesgue en (0, ). Luego podemos intercambiar el lmite y la integral resultando: Z Z n Z x n x 1 e dx = lim fn (x)dx = lim fn (x)dx = lim n 0 n 0 n 0 n Z

2x

dx

T.C.M.

lim

2x

[0,k] dx = lim

e2x dx =

()

[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 por tanto:
()

2x

dx =

[0,k]

2x

1 e2k dx = 2

= lim

1 e2k 2

1 2

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

Denotamos la sucesin de integrandos por fn : (0, ) R tales que 1 x fn (x) = x n 1 1 + n xn

Denimos 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

Por ser

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

n n

n !x 1 x x n 1+ n = lim = ex lim 1 + n n n x lim x n = x0 = 1

1

Y
n

tendremos, al nal, que: 1 = ex ex Supongamos que se dan las condiciones para que el clculo del lmite de una sucesin 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 f(x) =
n 0 0 n

Pues

Entonces tendramos: Z Z lim fn (x)dx =

n 0

lim fn (x)dx =

f(x)dx =

ex dx = 1

R lo que signicara 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 teorema de la convergencia dominada:
1 es una sucesin de funciones medibles e integrables en x n 1 (1+ n ) 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, ).

e dx = lim

M ex dx = lim ex 0 = lim (1 eM ) = 1
n n

fn (x) =

EJERCICIOS

41

1 def fn (x) = (x) = fn (x)(0,1 ] (x) + fn (x)(1,) (x) g1 (0,1 ] + g2 (1,) = g n 2 1 x n n (0,) 1+ n x Tomamos: g1 : (0, 1] R denida por: x g1 (x) = pues
x>0 1 1 n 1 1 x xn 1 + n xn 0<x1 y n2

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

1 x2 1 x (0, 1] y n 2
1

x2

g2 : (1, ) R denida por:

pues

1 x g2 (x) = 2 1+ x 2
x0 y n2

Denimos la siguiente funcin:

def

x>1 1 1 n 1 x n x 1+ n 1 + n xn

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

g(x) = g1 (0,1 ] (x) + g2 (1,) (x) es medible pues g1 y g2 son continuas en Solamente nos queda ver que g es integrable Lebesgue en (0, ). Esto 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 denicn, si demostramos que son integrables Riemann impropias en sus respectivos dominios de denicn, 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 1 1 g1 dx = dx = lim x 2 dx = lim 2x 2 = lim(2 2 2 ) = 2 1 0 0 0 0 0 x2 Por tanto g1 es integrable Riemann impropia g1 es integrable Lebesgue g1 0 (0, )

42

TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

Veamos que

R
1

g2 dx < Z

g2 dx =

2 x>1 Como 1 + x = 1 + x + 1 x2 > 2 4 < Por tanto Z

1 2 dx < 1+ x 2

x2 4

con x (1, )

1
4

x2

dx = lim

1 4 dx = 4 lim (1 ) = 4 < M x2 M

g2 es integrable Riemann impropia g2 0 Ejercicio 41 Calcula: lim Z

n

g2 es integrable Lebesgue

x n x e dx 1 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 1 x n x 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 x 6 8 10

EJERCICIOS

43

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

n n n

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

Tenemos

luego lim
n

lim fn (x)dx =
n

f(x)dx =

e 2 x dx =

Ejercicio 42 Si 1 < p < 2

Z n x n x x n x 1 1 e dx = lim e dx = n 0 2n 2n lim Z
1

nx sin x dx = 0 1 + (nx)p
p1>0

Si denimos

Como 0 < x < 1 nx sin x nx nx 1 1 + (nx)p 1 + (nx)p (nx)p = np1 xp1 g : [0, 1] [0, ] x g (x) = 1 xp1

1 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 = dx < para 0 < p 1 < 1 p1 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 (). Vericandose 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 lim 0dx = 0 p dx = p dx = n 0 1 + (nx) 0 n 1 + (nx) 0

44

TEOREMAS DE CONVERGENCIA PARA LA INTEGRAL DE LEBESGUE

Ejercicio 43 Calcula lim Z

1

log (n + x) x e cos xdx n

Como 0 < x < 1 () log (n + x) x log (n + x) x e cos x = e |cos x| n n ()

log (n + 1) log (n + 1) n + 1 log (n + x) 1 1 + 2 n n n + n n | n {z 1 }| {z }

1
1 1+ n

2ex |cos x| 2 n Si denimos 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

0<x<1

lo que implica que g es integrable en el sentido de Lebesgue en [0, 1], o lo que es igual g L1 (). Vericandose 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 e cos xdx = e cos xdx = lim lim 0dx = 0 n 0 n n 0 n 0