Apuntes de La Teor Ia de La Medida

Apuntes de la Teor a de la Medida
kM n k 1M n
Ek
Ek
Ek
Herbert A. Medina
Profesor de Matem aticas Loyola Marymount University Los Angeles, California, EEUU
0AH>AHJ )
A@E =
Profesor de Matem aticas Loyola Marymount University Los Angeles, California, EEUU
)FK JAI @A = 6A H
= @A = A@E@=
San Salvador, El Salvador
Prefacio
7 ?=HFE JAH IE IEAHH= A A?JHE?= FKA@A JH=>= =H FAH ? K?D=I @E ?K J=@AI 0=>H = K?D I JH=>= I GKA F @H = =?AFJ=H F HGKA ?=HA?A @A AGKEF =@A?K=@ 7 =JA =JE? IE A ? ?E EA J @A I A A A J I BK @= A J= AI @A = JA H
= @A = A@E@= FKA@A JH=>= =H FAH ? K?D=I @E ?K J=@AI 0=>H = K?D I FH > A =I A I ?K= AI F @H = JH=>= =H F HGKA ?=HA?A @A J A? E?=I O JA HA =I =@A?K=@ I = JA H
= @A = A@E@= AI = IEAHH= A A?JHE?= @A = = EIEI @AH )FK JAI @A = 6A H
= @A = A@E@= AI A HAIK J=@ @A K ?KHIE GKA IA HA= E A = -I?KA = @A +EA ?E=I =JKH= AI O =JA =JE?=I @A = 7 ELAHIE@=@ @A 5= L=@ H 7-5 A K E @A ''# -IA ?KHI O AIJ I =FK JAI BKAH @EIA =@ I F=H= AIJK@E= JAI O FH BAI HAI @A =JA =JE?=I GKEA AI JEA A K >KA ? ?E EA J @A I ? ?AFJ I O J A? E?=I BK @= A J= AI @A = = EIEI ? =IE? - A?J H E@A= AI A AIJK@E= JA @A =JA =JE?=I @A K JE = @A E?A ?E=JKH= @A FHE AH = @A =AIJH
= -IJ I )FK JAI AIJ = AI?HEJ I ? =I @AJ= AI @A GKA IA =? IJK >H= A JANJ I @A =JA =JE?=I -IJ IA DE F=H= GKA A A?J H GKA AIJK@E= JA H
= @A = A@E@= IE = =OK@= @A K FH BAI H FKA@= D=?AH IE K?D= HABAHA ?E= = JH I JANJ I I )FK JAI D= FHAIJ=@ K?D @A I E>H I @A 4 O@A 4 O . = @ . I JANJ I GKA KJE E A ?K= @ =FHA @
A J FE? I )FK JAI IA DK>EAH= AI?HEJ IE = =OK@= O =F O @A L=HE=I FAHI =I I FH BAI HAI =HJ
- HEGKA /KAHH= + =?AHAI I A AHOI .K AI O . =LEAH =HJ
HJE AOAH > HH=@ HAI A DE?EAH K?D I ? A J=HE I GKA A H=H A FH @K?J = )H=?A E= .AH = @A E AIJK@E= JA O =IEIJA JA A O = =HO K J 7 ELAHIEJO DE ?= >E I = ANFA@EA JA @A GKA ? JEA A A @ ?K A J ,AIA @EI?K F=H A F H J @ I I AHH HAI CH= =JE? I HJ CH = ? I O AIJE
IJE? I GKA ANEIJA A AIJA @ ?K A J +=IE J @= E A@K?=?E B H = D= IE@ A E C AI O AIJA AI A FHE AH @ ?K A J @A =JA =JE?=I GKA DA AI?HEJ A AIF= 6= >E A A @EI?K F F H ?K= GKEAH AHH H =JA =JE? GKA ANEIJ= A AIJ I )FK JAI - I I ? F AJ= A JA E HAIF I=>E E@=@ A FE@ = A?J H GKA A ?KA JHA AHH HAI GKA F H B=L H A I ? K EGKA F H ? HHA A A?JH E? = = @EHA??E D A@E =( K A@K ? HHA ? LA ?E = = = @EHA??E =JDA =JE?I ,AF=HJ A J O = =HO K J 7 ELAHIEJO 7 ,HELA I ) CA AI +) '"# $#' 75)
Herbert A. Medina Loyola Marymount University, Los Angeles
Indice
Cap tulo 1. La Medida de Lebesgue en la Recta Real 1.1. Introducci on 1.2. Medida Exterior 1.3. Conjuntos Medibles y la Medida de Lebesgue 1.4. Dos Ejemplos 1.5. Funciones Medibles Cap tulo 2. La Integral de Lebesgue 2.1. Repaso de la Integral de Riemann 2.2. La Integral Sobre un Conjunto de Medida Finita 2.3. La Integral de una Funci on No Negativa 2.4. La Integral General de Lebesgue Cap tulo 3. Medidas Generales 3.1. Medidas y Funciones Medibles 3.2. Construcci on de Medidas 3.3. Integraci on 3.4. Medidas con Signo 3.5. El Teorema Radon-Nikodym 3.6. Medidas Producto Cap tulo 4. Los Espacios Lp 4.1. Deniciones y Propiedades B asicas 4.2. Estructuras B asicas del An alisis Funcional p 4.3. Los Espacios L son Espacios de Banach Bibliograf a 1 1 2 5 12 13 19 19 20 26 30 35 35 39 43 48 52 56 64 64 71 78 83
ii
Cap tulo 1
La Medida de Lebesgue en la Recta Real

1.1. Introducci on El concepto de medida es una extensi on del concepto de longitud. En el estudio de an alisis real se hace necesario poder denir la longitud de conjuntos de n umeros reales complicados. Por ejemplo, la longitud del intervalo 1 3 1 [ 2 , 4 ] = 4 , pero c ual es la longitud del conjunto de n umeros irracionales? Lo que deseamos hacer es denir una funci on m que asigna a cada subconjunto de n umeros reales un n umero real no negativo (posiblemente ), y que esta funci on generalice y se comporte como una funci on que mide longitud. Estas son las propiedades que deseamos que satisfaga m: (1) Para cada intervalo I , m(I ) = longitud de I (= l(I ).) (2) Para un conjunto E R y x R, m(E ) = m(x + E ) (= m{x + e : e E }). (3) Si {Ei } on numerable de conjuntos disjuntos i=1 es una colecci (Ei Ej = si i = j ), se tiene que m( i=1 m(Ei ). i=1 Ei ) = Si una funci on m satisface la propiedad 2 se dice que m es invariante por translaci on y si satisface la propiedad 3 que m tiene la propiedad de aditividad sobre conjuntos disjuntos. Obviamente, queremos que esta funci on m le d e una longitud a los conjuntos que se puedan construir naturalmente mediante intervalos. Incluso ser a ideal que esta funci on de longitud a todo subconjunto de n umeros reales. En la u ltima secci on de este cap tulo veremos que esto no es posible.
1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL
1.2. Medida Exterior Una forma de introducir la medida de Lebesgue es mediante el concepto de medida exterior. n 1.1. Para un conjunto A R, sea cualquier colecci Definicio on numerable {Ii } de intervalos abiertos que cubra A. Se dene la medida exterior de A, m (A), por m (A) = inf l(Ii ) : A Ii
donde l(Ii ) = longitud de Ii , y el nmo se toma entre todos los recubrimientos del conjunto A formados por colecciones numerables de intervalos abiertos. Observemos que la medida exterior est a bien denida y es no negativa 1 para todo subconjunto de n umeros reales A porque siempre existe (por lo menos) un recubrimientos de cada conjunto formado por una coleci on numerable de intervalos abiertos, la suma est a bien denida porque s olo tiene n umeros positivos, y el nmo de un conjunto de n umeros no negativos es no negativo. Obviamente, hay conjuntos A tal que m (A) = . on da inmediatamente que Observaciones. Esta denici
1 (1) m () = 0. (Como In = (0, n ) para n 1 se tiene que In ; 1 por lo tanto, m () n n 1.) (2) La medida de un conjunto que contiene un n umero real es cero. (Si 1 1 A = {a} se considera In = (a n , a + n ) para n 1, y se tiene que 2 A In y por lo tanto m (A) n n 1.) (3) A B m (A) m (B ) porque si A Ii tenemos B Ii entonces el nmo para computar m (A) se calcula considerando m as colecciones de intervalos abiertos y, por lo tanto, debe ser menor o igual que m (B ).
Es evidente que m es invariante por translaci on (porque la translac on de un intervalo es un intervalo), pero no est a claro si la medida exterior satisface las otras dos condiciones de la secci on previa. La primera tarea ser a demostrar que m satisface la propiedad 1.
1Para el resto de este y el siguiente cap tulo, la palabra conjunto se utilizar a como
sin onimo de subconjunto de n umeros reales.
1.2. MEDIDA EXTERIOR
n 1.1. La medida exterior de un intervalo es su longitud. Proposicio n. Primero consideramos el caso en que el intervalo es Demostracio cerrado y nito: I = [a, b]. Como el intervalo abierto (a , b + ) contiene a [a, b] para cada > 0, m ([a, b]) b a + 2. Esto implica que m [a, b] b a. Para demostrar la otra desigualdad es suciente demostrar que, si {In } es una colecci on numerable de intervalos abiertos tal que [a, b] In , entonces l(In ) b a. Por el teorema Heine-Borel, para cada colecci on de abiertos que recubre [a, b] existe una subcolecci on nita que tambi en cubre a [a, b]. Como todas las cantidades en la suma son positivas, es suciente demostrar la declaraci on en el caso en que la colecci on de intervalos abiertos N es nita. Como a n=1 In , se tiene que a est a contenido en uno de los intervalos. Reordenamos los intervalos para que a I1 = (a1 , b1 ). Se tiene que a1 < a < b1 . Si b1 > b el argumento est a completo, si este no es el caso, b1 [a, b] y como b1 (a1 , b1 ), existe otro intervalo I2 = (a2 , b2 ) tal que b1 (a2 , b2 ), y a2 < b1 < b2 . Continuando en esta manera, se obtiene una sucesi on (a1 , b1 ), (a2 , b2 ), . . . , (ak , bk ) que es parte de la colecci on N n=1 In tal que ai < bi1 < bi . Como la colecci on es nita, el proceso terminar a, y se tendr a b (ak , bk ). Es decir ak < b < bk .
a1 a a2 b1 b2
...
ak b k
b bk
Figura 1. Cubrimiento de intervalo (a, b) por subcolecci on nita. Se tiene

N k
l(In )
n=1 n=1
l(an , bn ) = (bk ak ) + (bk1 ak1 ) + + (b1 a1 ) = bk + (bk1 ak ) + (bk2 ak1 ) + +(b1 a2 ) a1 , > bk a 1 ,
y la u ltima cantidad es > b a porque bk > b y a1 < a. Esto demuestra que m [a, b] b a.
Si I es cualquier intervalo nito y > 0, hay un intervalo cerrado J I = l (I ) = l(I ). Esto da tal que l(I ) < l(J ) = m (J ) m (I ) m I l(I ) = m I . Si I es un intervalo innito, para cada entero positivo n, existe un intervalo cerrado nito In tal que m (In ) = n y In I . Se tiene que m I m In = n, de lo cual se deduce que m (I ) = . n 1.2. Si {An } on numerable de conjuntos Proposicio n=1 es una colecci

entonces m (
n=1
An )
n=1
m An .2
n. Supongamos que todos los conjuntos tienen medida Demostracio exterior nita. (Si uno de ellos tiene medida exterior innita, el resultado es trivial) y jemos > 0. Para cada n existe una colecci on nume rable {In,m }m=1 tal que An m=1 In,m y m=1 l(In,m ) < m An + 2 n. La colecci on {In,m }n,m=1 es numerable y recubre a n=1 An . Se tiene que m ( n=1 An ) n,m l(In,m ) = n m l(In,m ) n m An + 2 n = n m An + . Como la desigualdad es cierta para todo > 0, la demostraci on est a completa. Corolario 1.3. Si A es un conjunto numerable, m (A) = 0. Se deduce inmediatamente que cualquier intervalo no es numerable y que la medida exterior del conjunto de n umeros racionales es cero. Una de las t ecnicas importantes en la teor a de la medida es la de aproximar un conjunto cualquiera por una uni on de conjuntos abiertos o cerrados que mide casi lo mismo que el conjunto original. n 1.4. Si A es un conjunto y > 0, existe un abierto U tal Proposicio que A U y m (U ) m (A) + . Tambi en existe una colecci on numerable de abiertos {Un }n=1 tal que A n=1 Un y m (A) =F m ( n=1 Un ). n. Si m (A) = , no hay nada que demostrar. Si Demostracio < , la primera declaraci on se deduce inmediatamente de la denici on de medida exterior, de la subaditividad y del hecho que la uni on numerable de abiertos es un abierto. Para demostrar la segunda armaci on, observemos que para cada entero positivo n existe un abierto Un tal que m (A)
2Esta propiedad se llama sub aditividad.
1.3. CONJUNTOS MEDIBLES Y LA MEDIDA DE LEBESGUE
1 A Un y m Un m A + n . Como A n=1 Un , m A m ( n=1 Un ). 1 Tambi en m ( n=1 Un ) m Un m A + n , n 1 y por lo tanto, m ( n=1 Un ) m A.
La funci on m est a denida para, (es decir, mide), todo subconjunto de n umeros reales; pero, como comentamos antes, no satisface la propiedad de aditividad sobre conjuntos disjuntos. Lo que haremos ser a restringir la colecci on de conjuntos, y m restringida a estos conjuntos ser a la medida de Lebesgue y cumplir a la propiedad de aditividad sobre conjuntos disjuntos. Ejercicios 1. Demuestre que, si A es un conjunto tal que m A = 0, para todo conjunto B se verica que m (A B ) = m B . 2. Demuestre directamente (sin utilizar la Proposici on 1.2) que un conjunto numerable tiene medida exterior cero.
1.3. Conjuntos Medibles y la Medida de Lebesgue La siguiente denici on la formul o originalmente Carath eodory. n 1.2. Un conjunto E se llama medible si para cada conjunto Definicio A se tiene m A = m (A E ) + m (A E c ). Para justicar esta denici on, por lo menos debemos comprobar primero que la colecci on de conjuntos medibles tiene alg un tipo de estructura; y despu es, que los conjuntos fundamentales son medibles. Estas son las tareas principales de esta secci on. Observaciones. (1) Como A (A E ) (A E c ), se tiene que m A m (A E ) + m (A E c ). Entonces, para demostrar que un conjunto es medible, s olo hay que demostrar la otra desigualdad. (2) La denici on es sim etrica y por lo tanto E es medible E c es medible.
(3) Obviamente y R son medibles. Lema 1.5. Si m (E ) = 0, E es medible. n. Si A es un conjunto, A E E y m (A E ) m (E ); Demostracio o sea m (A E ) = 0. Tambi en se tiene que (A E c ) A y, por lo tanto, m A m (A E c ) + m (A E ). Lema 1.6. Si E1 , E2 , . . . , En son medibles,
n j =1 En
es medible.
n. Es suciente demostrarlo en el caso n = 2, porque el Demostracio resultado general se deduce por inducci on. Sea A un conjunto. Como E1 es c c E ) + m (A E c E c ), y medible tenemos que m (A E2 ) = m (A E2 1 2 1 c como A (E1 E2 ) = (A E2 ) (A E1 E2 ) se tiene m (A (E1 E2 )) c ). Por lo tanto, se tiene que m (A (E E ))+ m (A E2 )+ m (A E1 E2 1 2 c c c ) + m (A E c E c ) = m (A E2 E1 ) m (A E2 ) + m (A E1 E2 2 1 c ) = m A, porque E es medible. Las leyes de m (A E2 ) + m (A E2 2 DeMorgan dan m (A (E1 E2 )) + m (A (E1 E2 )c ) m A.
Una colecci on no vac a de conjuntos que es cerrada por complementos y uniones nitas se llama algebra de conjuntos o simplemente un algebra. Se tiene que la colecci on de conjuntos medibles M es un algebra. Una colecci on no vac a de conjuntos que es cerrada por complementos y uniones numerables se llama una - algebra. Est a claro que de las leyes de DeMorgan se deduce que una algebra [ - algebra] tambi en es cerrada por intersecciones nitas [numerables]. Tambi en est a claro que cualquier algebra o - algebra contiene a y R. on de conjunLema 1.7. Sea A un conjunto y E1 , E2 , . . . , En una colecci tos medibles disjuntos. Se tiene que
n n
m A
i=1
Ei
=
i=1
m (A Ei ).
n. Es suciente demostrar el caso n = 2, porque el resulDemostracio tado general se deduce por inducci on. Se observa que A (E1 E2 ) E2 =
1.3. CONJUNTOS MEDIBLES Y LA MEDIDA DE LEBESGUE c = A E . Como E es medible, se tiene A E2 y A (E1 E2 ) E2 1 2
m (A (E1 E2 )) = m (A (E1 E2 ) E2 ) +
c ) m (A (E1 E2 ) E2
= m (A E2 ) + m (A E1 ).
n n
El el lema si A = R, se tiene que m (

i=1
Ei ) =
i=1
m Ei cuando {Ej }n j =1
es una colecci on de conjuntos medibles disjuntos.
Teorema 1.1. La colecci on de conjuntos medibles M es una - algebra. n. Sea {En } Demostracio on de conjuntos medibles. n=1 una colecci 1 c c Denimos F1 = E1 , F2 = E2 F1 , . . . , Fn = En (n i=1 Fi ) . Se nota n que cada Fn es medible; Fn Fm = si n = m; y n i=1 Ei = i=1 Fi n 1 y n = . Entonces es suciente demostrar que M est a cerrada bajo uniones numerables en el caso cuando los conjuntos son disjuntos. n Sea A un conjunto, E = n=1 En , y Gn = i=1 Ei . Cada Gn es medible c y E c Gc n . Se tiene que m A = m (A Gn ) + m (A Gn ) m (A Gn ) + n m (A E c ). El Lema 1.7 da m (A Gn ) = i=1 m (A Ei ). Entonces c ltima desigualdad es m A n i=1 m (A Ei ) + m (A E ). Como esta u
cierta para todo n 1, se tiene que m A

i=1
m (A Ei ) + m (A E c ).
Teniendo en cuenta la subaditividad (Proposicion 1.2), se tiene que

c c m A m (A ( n=1 En )) + m (A E ) = m (A E ) + m (A E ).
Este u ltimo teorema demuestra que la colecci on de conjuntos medibles M tiene una estructura muy fuerte. Ahora nos dedicaremos a demostrar que M contiene los conjuntos b asicos. En particular, demostraremos que todo abierto est a en M. Lema 1.8. El intervalo (a, ) es medible. n. Sea A un conjunto. Denimos A1 = A (a, ) y Demostracio A2 = A (, a]. Se debe demostrar que m (A1 ) + m (A2 ) m (A). Si m (A) = , no hay nada que demostrar. Se ja > 0. Existe una colecci on
de intervalos abiertos {In } n=1 tal que A n=1 In y n=1 l(In ) m (A)+. 1 = I (a, ) y I 2 = I (, a]. I 1 y I 2 son intervalos o Se dene In n n n n n 1 2 1 + m I 2 . Como A I 1 , est an vacios y l(In ) = l(In ) + l(In ) = m In 1 n n=1 n 1 1 se tiene que m (A1 ) m (n=1 In ) n=1 m In y similarmente m A2 2 1 2 n=1 m (In ). Entonces m (A1 )+ m (A2 ) n=1 m (In )+ n=1 m (In ) = mos que m (A1 ) + n=1 l(In ) m (A) + . Como es arbitrario, conclu m (A2 ) m (A).
Observaciones. (1) El intervalo (, a] es medible. Como 1 (, b) = n=1 (, b n ), el intervalo (, b) es medible. Tomando complementos, observamos que [a, ) es medible. El intervalo (a, b) es medible porque (a, b) = (, b) (a, ). (2) Como todo abierto es una uni on numerable de intervalos abiertos, todo abierto es medible. algebra de Borel es la - algebra que contiene a los conjuntos (3) La - abiertos. Todo conjunto de Borel es medible. Es decir ( - algebra de Borel) M. n 1.3. Si E es un conjunto medible, se dene la medida de Definicio Lebesgue de E , m(E ) = m (E ). La medida de Lebesgue tiene la desventaja de que no est a denida para todo conjunto; pero el siguiente teorema nos dice que s satisface la propiedad de aditividad sobre conjuntos disjuntos. Teorema 1.2. Sea {En } on numerable de conjuntos n=1 una colecci

medibles disjuntos. Entonces m(

n=1
En ) =
n=1
mEn .
n. Aplicando la observaci Demostracio on posterior Lema 1.7 y sub adin n tividad, tenemos i=1 m(Ei ) = m( i=1 Ei ) m( n=1 En ). Como el lado derecho de la desigualdad es independiente de n, tenemos que m( n=1 En ) mE . La otra desigualdad es cierta por sub aditividad. n n=1 n 1.9. Sea {En } Proposicio on numerable de conjuntos n=1 una colecci medibles.
n
i. m(
n=1
En ) = lim m(
n j =1
En ).
ii. Si En+1 En n y mEn0
< para alg un n0 , entonces
m(
n=1
En ) = lim mEn .
n
n. Primero denimos los conjuntos Fn como en la demosDemostracio traci on del Teorema 1.1.
n
i. Tenemos m(
n n j =1
Ej ) = m(
n j =1
Fj ) =
j =1
m(Fj ) = lim
m(Fj ) =
j =1
Ej ). j =1 ii. Denimos E = n=1 En y suponemos que m(E1 ) < . m(E1 E ) = c j =1 mFj = n=1 m(En En+1 ). Como E es medible y E E1 , tenemos m(E1 ) = m(E1 E ) + m(E1 E c ) = m(E ) + m(E1 E c ). An alogamente, c c tenemos m(En ) = m(En En+1 )+m(En En+1 ) = m(En+1 )+m(En En +1 ). c Como todas estas cantidades son nitas, tenemos que m(E1 E ) = m(E1 ) c m(E ) y m(En En +1 ) = m(En ) m(En+1 ). Entonces
j =1 n c m(Ej Ej +1 ) = j =1 j =1 n
lim m(
Fj ) = lim m(
m(E1 ) m(E ) =
m(Ej ) m(Ej +1 ) lim m(Ej ) m(Ej +1 )

j =1 n
= m(E1 ) lim m(En+1 ). Como todas estas cantidades tambi en son nitas, concluimos que m(E ) = lim m(En ).
n
Ejemplo 1.1. Empezamos con E0 = [0, 1] y eliminamos el tercio abierto 2 central para obtener E1 = [0, 1 3 ] [ 3 , 1]. En general, para obtener En+1 de En quitamos el tercio abierto central de cada intervalo cerrado que est a 1 2 1 2 7 8 contenido en En . Por ejemplo, E2 = [0, 9 ] [ 9 , 3 ] [ 3 , 9 ] [ 9 , 1]. El conjunto
cl asico de Cantor es E =
n=0
En . Es f acil ver que m(En ) =
2 n 3 .
De la
Proposici on previa se deduce que m(E ) = 0. Este conjunto es de inter es porque no es numerable y tiene medida de Lebesgue cero. El siguiente teorema nos dice que un conjunto medible E se puede aproximar con un abierto m as grande y tambi en con un cerrado m as peque no.
10
19
29
13
49
59
23
79
89
1 E0 E1 E2 E3
...
Figura 2. Conjunto cl asico de Cantor. Teorema 1.3. Sea E un conjunto. Las siguientes armaciones son equivalentes. i. ii. iii. iv. E es medible. Para cada > 0, existe un abierto A E tal que m (A E c ) < . Para cada > 0, existe un cerrado F E tal que m (F c E ) < . Existe un conjunto G que es la intersecci on numerable de abiertos tal c que E G y m (G E ) = 0. on numerable de cerrados tal que v. Existe un conjunto F que es uni c F E y m (F E ) = 0.
n. (i.ii. en el caso en que m (E ) < ) Existen intervaDemostracio los {In } n=1 tales que E n=1 In y n=1 m (In ) < m (E ) + . Como E es c medible, se tiene que m ( n=1 In ) = m (E (n=1 In ))+m (E (n=1 In )) = m (E )+ m (E c ( n=1 In )). Entonces m (E )+ > n=1 m (In ) m (E )+ c c m (E (n=1 In )). Si G = n=1 In tenemos m (G E ) < . (i.ii.) Se dene En = E [n, n]. En es medible y tiene medida nita. c) < Podemos concluir que existen abiertos Gn tales que En Gn , m (Gn En c 2n y E = n=1 En n=1 Gn . Denimos G = n=1 Gn . m (G E ) = c c c m (G ( n=1 En ) ) = m (G (n=1 En )) = m ((n=1 Gn ) (n=1 En )) c c m ( n=1 (Gn En )) n=1 2n = . n=1 m (Gn En ) (ii.iv.) Ejercicio. (iv.i.) G es medible y, como m (G E c ) = 0, G E c es medible y E = G (G E c )c tambi en lo es.
11
(i.iii.) E c es medible, luego existe un abierto G tal que E c G y m (G (E c )c ) < . Denimos F = Gc : F E y m (F c E ) = m (G E ) = m (G (E c )c ) < . (iii.v.) Ejercicio. (v.i.) F es medible y, como m (E F c ) = 0, E F c es medible luego E = F (E F c ) tambi en lo es.
Ejercicios 3. Demuestre que, si E1 y E2 son medibles, entonces: m(E1 E2 ) + m(E1 E2 ) = mE1 + mE2 . 4. Es necesaria la condici on mEn0 < para alg un n0 en la segunda parte de la Proposici on 1.9?
j 1
5. Se denen los conjuntos: Aj =

k=1
k 1 k 1 , + , para cada j 2; j j3 j j3
En =
j =n
Aj , para cada n 2; y nalmente E =

n=2
En .
a. Demuestre que m(E ) = 0. b. En lugar de j1 on de Aj , ponemos j . Qu e condi3 en la denici ci on se le puede exigir a la sucesi on {j } para que la amirmaci on de la parte a siga siendo v alida?
6. Demuestre que (ii.iv.) en el Teorema 1.3. 7. Demuestre que (iii.v.) en el Teorema 1.3. 8. Si E es medible y m(E ) < , demuestre que, para cada > 0, existe una uni on nita de intervalos abiertos U tal que m(U E ) < . (La diferencia sim etrica de dos conjuntos A y B es AB = (A B c ) (B Ac ).) 9. Sea {Ej } on de conjuntos medibles disjuntos y A R. j =1 una sucesi Demuestre que
m A
( j =1 Ej )
=
j =1
m (A Ej ).
12
1.4. Dos Ejemplos Para terminar de justicar la denici on de conjunto medible es necesario dar un ejemplo de conjunto no medible, y para justicar la denici on de la medida de Lebesgue es necesario dar un ejemplo de una colecci on numera
ble de conjuntos {Ei } tal que Ei Ej = cuando i = j y m (

i=1
Ei ) <
m (Ei ). Trabajamos en el intervalo [0, 1). Si x, y [0, 1), denimos x y si x y Q. Esta es una relaci on de equivalencia y por la tanto divide a [0, 1) en clases de equivalencia. Utilizando el Axioma de Elecci on, escogemos un 3 representante de cada clase de equivalencia. Consideramos el conjunto E de representantes y suponemos que este conjunto es medible. Sea {ri } i=1 una enumeraci on de los racionales. Para cada i N, (ri + E ) mod 1 es una translaci on r gida del conjunto E y, por lo tanto (E + ri ), es medible y m(E + ri ) = m(E ). Tambi en (E + ri ) (E + rj ) = , si i = j ; porque, si x + ri = y + rj , entonces que x y = rj ri Q y en este caso x, y est an en la misma clase de equivalencia y esto contradice la denici on de
i=1
E . Tambi en es obvio que
(E + ri ) = [0, 1). Por lo tanto tenemos (como

i=1
estamos suponiendo que E es medible) que

m(
(E + ri ) =
i=1 i=1
m(E + ri ) = 1.
Esto es imposible porque m(E + ri ) = mE i, y por lo tanto i=1 m(E + on demuestra que E no es medible. ri ) = i=1 mE = 0 o . Esta contradicci Esta construcci on tambi en sirve para nuestro segundo ejemplo. Sea Ei =
E + ri . Ya comentamos que 1.2) se tiene

i=1
Ei = [0, 1) y por sub aditividad (Proposici on
1 = m [0, 1) = m (
i=1
Ei )
i=1
m (Ei ) =
i=1
m (E ).
3La construcci on de los dos ejemplos de esta secci on sin el Axioma de Elecci on ser a
muy dif cil.
1.5. FUNCIONES MEDIBLES
13
Esta desigualdad nos dice que m E = 0 (el valor de m (E ) no est a claro), y tenemos i=1 m E = . Por lo tanto

m (
i=1
Ei ) <
i=1
m Ei .
1.5. Funciones Medibles n 1.10. Sea f : D R {} una funci Proposicio on con dominio medible. Las siguientes armaciones son equivalentes: i. ii. iii. iv. Para Para Para Para cada cada cada cada R, R, R, R, el el el el conjunto conjunto conjunto conjunto {x : f (x) > } {x : f (x) } {x : f (x) < } {x : f (x) } es es es es medible. medible. medible. medible.
n. (i.iv.) {x : f (x) } = D {x : f (x) > }c . Demostracio An alogamente, (iv.i.) y (ii.iii.). 1 (i.ii.) {x : f (x) } = n=1 {x : f (x) > n }. 1 (ii.i.) {x : f (x) > } = n=1 {x : f (x) + n }. n 1.4. Una funci Definicio on f : D R {} es medible si D es medible y si f satisface una de las condiciones de la Proposici on 1.10. n 1.11. Si f es medible, se tiene que Proposicio i. ii. iii. iv. v. Para cada R, {x : f (x) = } es medible. Los conjuntos {x : f (x) = } y {x : f (x) = } son medibles. Para cada intervalo I, {x : f (x) I } es medible. Para cada abierto A, {x : f (x) A} es medible. Para cada conjunto Borel E, {x : f (x) E } es medible. 1 i. Para cada intervalo I, I (x) = 0
n. Ejercicio. Demostracio n 1.12. Proposicio es medible.
xI xI
14
ii. Toda funci on continua es medible. n. (i.) Ejercicio. Demostracio (ii.) Sea f una funci on continua con dominio medible. Para cualquier R, el conjunto {x : f (x) > } = f 1 (, ) es abierto (bajo una funci on continua, la antimagen de un abierto es un abierto), y por lo tanto es medible. Teorema 1.4. Sea c R y sean f y g dos funciones medibles reales con el mismo dominio. Las funciones f + c, cf, f + g, f g , y f g son medibles. n. (f + c): {x : f (x) + c < } = {x : f (x) < c}. Demostracio o R si c = 0 (cf ): {x : cf (x) < } = {x : f (x) < c } si c > 0 {x : f (x) > c } si c < 0. (f + g ): Si f (x) + g (x) < , f (x) < g (x) y existe un racional r tal que f (x) < r < g (x); o sea f (x) < r y g (x) < r. Recorriendo todos los n umeros racionales con esta propiedad {x : f (x) + g (x) < } = r {x : f (x) < r} {x : g (x) < r} . (f g ): Si 0, {x : f 2 (x) > } = {x : f (x) > } {x : f (x) < } y si < 0, {x : f (x) > } = D. Entonces f 2 es medible y f g = (f +g )2 f 2 g 2 . 2 Teorema 1.5. Sea {fn } una sucesi on de funciones medibles con el mismo dominio. Las funciones sup{f1 , . . . , fn }, inf {f1 , . . . , fn }, supn fn , inf n fn , lim sup fn y lim inf fn son medibles. n. (f (x) = sup{f1 , . . . , fn }) {x : f (x) > } = n Demostracio i=1 {x : fi (x) > }. An alogamente para supn fn . (f (x) = inf {f1 , . . . , fn }) {x : f (x) > } = n i=1 {x : fi (x) > }. An alogamente para inf n fn . (lim sup fn ) lim sup fn = inf n1 supkn fn . An alogamente para lim inf fn . n 1.5. Se dice que una propiedad es cierta para casi todo x si Definicio es cierta excepto tal vez en un conjunto de medida 0.
15
1 x irracional; Entonces Ejemplo 1.2. Sean f (x) = 1 y g (x) = 0 x racional. f (x) = g (x) para casi todo x. Ejemplo 1.3. Supongamos que {fn } es una sucesi on de funciones. Si existe un conjunto E de medida 0 tal que lim fn (x) = f (x) para todo n x E c , se dice que fn f para casi todo x. La siguiente proposici on nos dice que una funci on medible se aproxima con funciones bien conocidas. n 1.13. Sea f una funci Proposicio on medible denida en el intervalo [a, b] tal que m{x : f (x) = } = 0. Para cada > 0, existen una funci on continua h y una funci on escalonada g tales que |f (x) g (x)| < y |f (x) h(x)| < excepto en un conjunto de medida < . n. Es f Demostracio acil ver que, si g es una funci on escalonada, existe una funci on continua f tal que |f (x) g (x)| < excepto en un conjunto de medida < . Tambi en es f acil ver que, si m g M , se puede escoger h con la misma propiedad. Por lo tanto, es suciente demostrar la parte del teorema que trata con la funci on escalonada g . Primero reducimos el problema a cuando f est a acotada. Para cada n umero natural n, se dene En = {x : |f (x)| n}. E1 [a, b], En+1 En , y {x : f (x) = } = n=1 En . Se tiene que m( n=1 En ) = limn En por la Proposici on 1.9. Entonces N tal que n N, mEn < . Esto implica que m{x : |f (x)| N } < , de lo cual se deduce que |f (x)| < N excepto en un conjunto de medida . Sea el conjunto E = {x : |f (x)| M }. Se divide el intervalo [M, M ] en intervalos de tama no ; es decir, [M, M ] = N i=1 In con m(Ii ) , y sea yi el punto medio de Ii . Consideremos Ei = {x : f (x) Ii } y N 1 x E ; i Se tiene que denamos (x) = yi Ei (x) donde Ei (x) = 0 x Ei . i=1 |f (x) (x)| < x E . Una de las consecuencias del Teorema 1.3 es que existe una uni on nita Mn Mn de intervalos (nitos) {In,m }m=1 tales que m En ( m=1 In,m ) < N .
16
1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL Mn
Se dene n (x) =
m=1 N
yi In,m (x). n es una funci on escalonada tal que

N N.
n (x) = (x) para todo x En excepto en un conjunto de medida < Luego

n=1
n (x) tambi en es una funci on escalonada tal que (x) =

n=1 N
n (x)
excepto en un conjunto de medida . Finalmente, por la desigualdad triangular, f (x)

n=1
n (x) < excepto en un conjunto de medida 2. Por la
construcci on es obvio que, si m f (x) M, la funci on escalonada tambi en tiene la misma propiedad. n 1.6. Una funci Definicio on se llama simple si su imagen consiste en un n umero nito de puntos. Si 1 , . . . , n son los puntos distintos de 0 en
n
la imagen de , y si Ai = {x : (x) = i }, se tiene que (x) =

i=1
i Ai (x)
y se dice que es la representaci on can onica de . (Mire la Figura 3.)
2 1
A1
A1
A1
A1
Figura 3. Conjunto A1 en representaci on can onica de la funci on simple .
Observaciones. Si y son dos funciones simples y c R: (1) + , , , y c son simples.
17
(2) AB = A B , AB = A + B AB = A + B A B , y Ac = 1 A . Finalmente en esta secci on demostramos el Teorema de Eg orov (1913). Teorema 1.6. Suponemos que una sucesi on de funciones medibles {fn } converge hacia f para casi todo x E , un conjunto medible de medida nita. (Es decir, para casi todo x E , la sucesi on de n umeros reales {fn (x)} f (x).) Entonces, para cualquier > 0, existe un conjunto medible E E tal que
c ) < , i. m(E ) > m(E ) ; o sea, m(E E ii. la sucesi on {fn (x)} converge hacia f (x) uniformemente en el conjunto E .
n. Es claro que la funci Demostracio on f es medible. Se dene

m En =
{x : |fi (x) f (x)| <

in
1 }. m
m es el conjunto de todos los puntos x para los cuales (Para m y n jos, En 1 m a claro que , i n.) Se dene Am = |fi (x) f (x)| < m n=1 En . Est m E m , y utilizando el Proposici E1 o n 1.9 se tiene que mAm = 2 m m limn mEn . Por lo tanto, existe n0 (m) tal que mEn0 (m) mAm 2 m y m m se tiene que m(Am (En )c ) < 2 m . Tomemos E = m=1 En0 (m) . Para 0 (m) 1 cada x E , |fi (x) f (x)| < m cuando i n0 (m). Para estimar el tama no de E observamos que, si x0 E Ac m , existen 1 valores de i tan grandes como se quiera para los cuales |fi (x0 ) f (x0 )| m ; Es decir, la sucesi on {fn (x0 )} no converge a f (x0 ). Por hip otesis, m(E c m c m c Am ) = 0, luego m(E (En0 (m) ) ) = m(Am (En0 (m) ) ) < 2m . c Finalmente, m(E E ) = m E m (En )c 0 (m) m c ( m=1 En0 (m) ) m m E (En )c < 0 (m) m=1 m=1
= m
m=1
= . 2m
Ejercicios 10. Demuestre la Proposici on 1.11.
18
11. Demuestre (i.) de la Proposici on 1.12. 12. Supongamos que f : D R {} es una funci on con dominio medible y que {x : f (x) > } es medible para cada Q. Demuestre que f es medible. 13. Demuestre que, si f es una funci on medible y f = g para casi todo x, entonces g es medible. 14. Sea c R y sean f, g funciones medibles tales que m({x : f (x), g (x) = {}}) = 0. Demuestre que las funciones f + c, cf, f + g, f g, y f g son medibles. (Se advierte que parte de este problema es denir cantidades como , c , , etc.) 15. D e un ejemplo para demostrar que la condici on un conjunto de medida nita, es necesaria en el Teorema 1.6.
Cap tulo 2
La Integral de Lebesgue
2.1. Repaso de la Integral de Riemann Sea f : [a, b] R una funci on acotada y a = x0 < x1 < < xn = b una partici on de [a, b]. Denimos
n n
S=
i=1
(xi xi1 )Mi (f )
s=
i=1
(xi xi1 )mi (f ),
donde Mi (f ) = sup{f (x) : x [xi1 , xi ]} y mi (f ) = inf {f (x) : x [xi1 , xi ]}. n 2.1. La integral superior de Riemann de f en [a, b] es Definicio
b
R
a
f (x) dx = inf S,
donde el nmo se calcula tomando todas las posibles particiones de [a, b]. An alogamente, la integral inferior de Riemann de f en [a, b] es
b
R
a
f (x) dx = sup s,
donde el supremo se calcula tomando todas las posibles particiones de [a, b]. Se observa que la integral superior de f siempre es mayor o igual que la integral inferior. n 2.2. Si R a f (x) dx = R a f (x) dx, se dice que f es Definicio integrable en el sentido de Riemann, y se representa este valor com un por b R a f (x) dx. 0 x Q; Ejemplo 2.1. Consideramos la funci Como hay on f (x) = 1 x Q. muchos m as irracionales que racionales, queremos que la integral de esta b funci on sobre cualquier intervalo sea 0. Pero se tiene que R a f (x) dx = b a
19 b b
20 b
2. LA INTEGRAL DE LEBESGUE
y R a f (x) dx = 0. Por tanto, esta funci on no es integrable en el sentido de Riemann. Este ejemplo simple demuestra una de las deciencias de la integral de Riemann. Antes de proceder con el desarrollo de la integral de Lebesgue, repasamos otra manera en la cual se pueden denir las integrales superiores e inferiores de una funci on acotada. Si (x) es una funci on escalonada, tal que (x) = ci en xi1 x < xi para alguna subdivisi on de [a, b], se tiene que es
b n
integrable en el sentido de Riemann y R

a
(x) dx =
i=1
ci (xi xi1 ).
b
Ahora se nota que

b b b
R
a
f (x) dx = inf
a
(x) dx y
R
a
f (x) dx = sup
a
(x) dx,
donde el nmo se toma entre todas las funciones escalonadas tal que (x) f (x) y el supremo se toma entre todas las funciones escalonadas tal que (x) f (x). Esta idea ser a la central cuando denamos la integral de Lebesgue pero no utilizaremos funciones escalonadas sino funciones simples.
2.2. La Integral Sobre un Conjunto de Medida Finita En esta secci on, consideraremos el caso en que la funci on est a acotada y la regi on de integraci on es de medida nita. La idea fundamental en el desarrollo de la integral de Riemann es la partici on del dominio de la funci on. La idea fundamental de la integral de Lebesgue de una funci on acotada es la partici on del recorrido de la funci on. n 2.3. Si es una funci Definicio on simple que se anula fuera de un conjunto de medida nita y tiene representaci on can onica = n i=1 ai Ai n (es decir (x) = ai en Ai ), se dene (x) dx = i=1 ai mAi . (Abreviamos .) Si E es un conjunto medible, denimos E = E . En general, no todas funciones simples est an expresadas en representaci on can onica. Los siguientes dos resultados se dedican a la soluci on de la
2.2. LA INTEGRAL SOBRE UN CONJUNTO DE MEDIDA FINITA
21
dicultad que ocurre cuando una funci on simple no est a expresada en forma can onica. Lema 2.1. Sea {Ei }n on de conjuntos medibles, disjuntos, i=1 una colecci n y de medida nita. Si = i=1 ai Ei , entonces = n i=1 ai mEi . n. Ejercicio. Demostracio n 2.2. Sean , funciones simples que se anulan excepto Proposicio en un conjunto de medida nita y a, b R. Se tiene que i. (a + b ) = a + b . ii. Si para casi todo x, . iii. Si = n = i=1 ai Gi y mGi < ,
n i=1 ai mGi .
n. (i.) Sean = Demostracio ai Ei y = bi Fi las representaciones can onicas de y y sean E0 y F0 los conjuntos donde y se anulan, respectivamente. Se forman los conjuntos Ai,j = Ei Fj para todo i, j . on disjunta de conjuntos medibles y tenemos las i,j Ai,j es una uni representaciones =
i,j
ai,j Ai,j
i,j (aai,j
=
i,j
bi,j Ai,j ,
Por lo tanto, a + b = a + b =
i,j
+ bbi,j ) Ai,j . Por el lema: ai,j mAi,j + b

i,j i,j
(aai,j + bbi,j ) mAi,j = a
bi,j mAi,j
= a + b . (ii.) = ( ) 0 porque 0 para casi todo x. n (iii.) Si i = ai Gi , i = ai mGi . = i=1 i y, por lo tanto, n n n = i=1 i = i=1 i = i=1 ai mGi . Entre otras cosas, el siguiente teorema demuestra que es posible denir la integral de una funci on medible acotada utilizando funciones simples en una manera an aloga a la denici on de la integral de Riemann con funciones escalonadas.
22
Teorema 2.1. Sea f : E R una funci on acotada denida en un conjunto con medida nita E . Para que
f
inf
(x) dx = sup
E f E
(x) dx,
es necesario y suciente que f sea medible. n. Supongamos que |f | M y que f es medible. Lo Demostracio siguiente es lo m as importante en el desarrollo de la integral de Lebesgue: Se divide el recorrido de f en 2n partes y, utilizando esta subdivisi on, dividimos al conjunto E : k1 k Ek = {x : M < f (x) M }, n k n. n n
kM n k 1M n
Ek
Ek
Ek
Figura 1. Ejemplo de uno de los Ek que divide a E . Cada Ek es medible. Las funciones simples denidas por
n
n (x) =
k=n
k M Ek n
n (x) =
k=n
k1 M Ek n
satisfacen n (x) f (x) n (x). Se tiene que

n f
inf
(x) dx
E
n (x) dx =
k=n
k M mEk , y n
2.2. LA INTEGRAL SOBRE UN CONJUNTO DE MEDIDA FINITA n
23
sup
f E
(x) dx
E
n (x) dx =
k=n
k1 M mEk . n
Por lo tanto 0
k=n f n
inf
(x) dx sup
E f n k=n E
(x) dx M k1 M mEk = mE. n n
k M mEk n
Si n , esta u ltima cantidad converge a cero. Supongamos ahora que inf

f
(x) dx = sup
E f E
(x) dx. Para cada
n existen funciones simples n y n tal que n (x) f (x) n (x) y 1 E n (x) dx E n (x) dx < n . Las funciones inf = inf n y sup = sup n son medibles y inf f sup . El conjunto F = {x : sup (x) < inf (x)} 1 es la uni on de los conjuntos Fk = {x : sup (x) < inf (x) k }. Para cada 1 n, k , Fk {x : n (x) < n (x) k }, y la manera en la que escogimos n k y n garantiza que este u ltimo conjunto tiene medida < n . Como n es arbitrario, mFk = 0; y por lo tanto, mF = 0. O sea, inf = sup excepto (posiblemente) en un conjunto de medida cero. Como sup es medible, f tambi en lo es por el Problema 13 del Cap tulo 1. n 2.4. Si f : E R es una funci on medible acotada denida Definicio en un conjunto con medida nita E , se dene la integral de Lebesgue de f sobre E por f (x) dx = inf
E f
(x) dx,
E
donde el nmo se calcula entre todas las funciones simples f . (A causa de la equivalencia demostrada en el Teorema 2.1, esta cantidad iguala sup
f
(x) dx.)
b
n. Si E = [a, b], se escribe a f (x) dx. Si f = 0 en E c , se escribe Notacio f (x) dx. (Por lo tanto notamos que E f = f E .) n 2.3. Sea f : [a, b] R una funci Proposicio on acotada. Si f es b integrable en el sentido de Riemann, entonces f es medible y R a f (x) dx = b a f (x) dx.
24
n. Como toda funci Demostracio on escalonada tambi en es simple, se tiene que

b b b b
R
a
f (x) dx sup
f a
(x) dx inf
(x) dx R
a a
f (x) dx.
Como f es integrable en el sentido de Riemann, las desigualdades son igualdades y f es medible por el Teorema 2.1. n 2.4. Sea E un conjunto de medida nita, a, b R, y Proposicio f, g : E R funciones medibles y acotadas. i. E (af + bg ) = a E f + b E g. ii. Si f = g para casi todo x E , entonces E f = E g. iii. Si f g para casi todo x E , entonces E f E g. Por lo tanto | E f | E |f |. iv. Si A, B E son medibles y disjuntos, entonces AB = A f + B f. n. (i.) Primero demostraremos que E af = a E f. Si Demostracio a = 0, no hay nada que demostrar. Si a = 0, se observa que es una funci on simple si y s olo si a es una funci on simple. af = sup sup 1 f a = sup 1
a
af E E
= supf = supf
E E
a = a supf a = a inf f
E E
=a
E E
a > 0; a < 0.
=a
Ahora demostraremos que E (f + g ) = E f + E g . Si 1 , 2 son funciones simples tales que 1 f y 2 g, 1 + 2 es una funci on simple f + g . Por lo tanto, E f + g E (1 + 2 ) = E 1 + E 2 . El supremo del segundo miembro de la igualdad es E f + E g . O sea, E f + g E f + E g. La otra desigualdad se demuestra de una manera an aloga. (ii.) Como f g = 0 para casi todo x E , si f g es una funci on simple, entonces 0 para casi todo x E y E 0. Tenemos f g =
E f g
inf
0. La otra desigualdad se demuestra de manera

E
an aloga. (iii.) Se demuestra de manera id entica al (ii.). (iv.) AB f = f AB = f (A + B ) = f A + f. B
f B =
Af
2.2. LA INTEGRAL SOBRE UN CONJUNTO DE MEDIDA FINITA
25
La siguiente proposici on servir a como un lema para demostrar y es un caso especial del famoso Teorema de la Convergencia Dominada de Lebesgue. n 2.5 (Convergencia Acotada). Sea {fn } una sucesi Proposicio on de funciones medibles denidas en un conjunto de medida nita E . Supongamos que |fn (x)| M n, x E, y que existe para cada x E la funci on l mite f (x) = limn fn (x). Entonces f = lim
E E
fn .
E
(Es decir, que podemos intercambiar el l mite y la integral: lim E lim fn .)
fn =
n. La proposici Demostracio on es f acil si fn f uniformemente. Fijamos > 0. Utilizando el Teorema de Eg orov podemos encontrar N y un conjunto medible A E tal que mA < , y tal que n N, |fn (x) f (x)| < , x Ac E . Se tiene
E
fn
f =
E E
(fn f )
|fn f | =
|fn f | +
E Ac
|fn f |
2M mA + m(E Ac ) < 2M + mE = (2M + mE ) , n N.
Ejercicios 1. Demuestre el Lema 2.1. 2. Encuentre un ejemplo que demuestre que el hip otesis |fn (x)| M, n, x E es necesario en la Proposici on 2.5. 3. De un ejemplo de una sucesi on de funciones medibles {fn } denidas en [0, 1], tal que fn converge a 0 punctualmente y fn dm = 1 n. Qu e propiedad tienen que tener las funciones fn en tal ejemplo?
26
2.3. La Integral de una Funci on No Negativa Consideremos ahora el caso en que la funci on es no negativa pero no necesariamente acotada. n 2.5. Sea f una funci Definicio on medible no negativa denida en un conjunto medible E , se dene f = sup
E g f E
donde el supremo se calcula entre todas las funciones g que son medibles, acotadas, y que se anulan fuera de un conjunto de medida nita. Observaciones. Se observa que, si f es acotada y mE < , esta denici on es equivalente a la anterior porque, si g f, E g E f , y por lo tanto sup
g f E
g
E
f. Si f = g , se tiene que
g =
f, luego
sup
g f E
g
E
f.
n 2.6. Supongamos que f, g son funciones medibles no neProposicio gativas y E un conjunto medible: cf = c E f, si c > 0. E f + g = E f + E g . Por lo tanto, si A B = , A f + B f. iii. Si f g para casi todo x, entonces E f E g .
E
i. ii.
AB
f =
n. (i.) Demostracio
E
cf = sup
hcf E
h = sup
kf E
ck = c sup
k f E
k =
c
E
f.
(ii.) Si h f y k g, h + k f + g, y se tiene E f + E g E f + g. Para obtener la otra desigualdad, supongamos que l es una funci on acotada que se anula fuera de un conjunto de medida nita y tal que l f + g. Se dene h(x) = min{f (x), l(x)} y k (x) = l(x) h(x). Se tiene que h(x) f (x) y k (x) f (x) + g (x) f (x) = g (x). h y k son funciones medibles acotadas que se anulan fuera de un conjunto de medida nita. E l = E h + E k E f + E g. Tomando supremos utilizando todas las funciones l, se tiene f + g = sup
E l f +g E
l
E
f+
E
g.
NO NEGATIVA 2.3. LA INTEGRAL DE UNA FUNCION
27
(iii.)
E
f = sup
hf E
h sup
hg E
h=
E
g.
Observaciones. (1) Cuando f 0, f = 0 para casi todo x E si y s olo si E f = 0. (2) Si m(E ) = 0, E f = 0. Teorema 2.2 (Lema de Fatou). Sea {fn } una sucesi on de funciones medibles no negativas tal que fn (x) f (x) (convergencia puntual) para casi todo x E . Se tiene f lim inf
E E E
fn .
(Es decir,
lim fn lim inf
fn .)
n. Si A E es un subconjunto de E tal que m(E Ac ) = Demostracio 0, entonces A f = E f , y A fn = E fn . Entonces podemos suponer que fn (x) f (x), x E . Sea g una funci on medible acotada que es cero fuera de un conjunto de medida nita E tal que g f. Se dene gn (x) = min{g (x), fn (x)}. Se tiene que gn est a acotada por la misma cota que g y es cero fuera de E . Se tiene que gn (x) g (x) para cada x E . Aplicando la Proposici on 2.5, podemos concluir que g=
E E
g = lim
E
gn
El miembro derecho de esta igualdad tambi en iguala lim E gn , y, por su existencia, tambi en iguala lim inf E gn . Finalmente gn (x) fn (x), x E, y por lo tanto E gn E fn , y lim inf E gn lim inf E fn . O sea E g lim inf E fn . Tomando el supremo sobre g se tiene E f lim inf E fn . on creTeorema 2.3 (Convergencia Mon otona). Sea {fn } una sucesi ciente de funciones medibles no negativas denidas en un conjunto medible E , y sea f = lim fn la funci on l mite. Se tiene que f = lim
E E
fn .
n. El Lema de Fatou da E f lim inf E fn . Para cada Demostracio n, se tiene fn f y por lo tanto E fn E f. Esto implica lim sup E fn E f.
28
n 2.6. Una funci Definicio on medible no negativa se dice que es integrable sobre el conjunto medible E si E f < . Si E = R la llamamos simplemente integrable. Se observa que, si f 0 es integrable, m{x : f (x) = } = 0.
x
Corolario 2.7. Si f es integrable y F (x) = continua.
f, entonces F es
n. Fijamos x0 Demostracio R, y demostremos que 1 1 limn F (x0 n ) = F (x0 ) y limn F (x0 + n ) = F (x0 ). Como f es no decreciente, esto es suciente para demostrar continuidad. Primero se dene fn = f (,x 1 ) . La sucesi on {fn } es creciente y converge a f, x (, x0 ); y, por el Teorema de Convergencia Mon otona, se tiene
x0 x0
0 n
que lim
fn =
1 ). Para obtener f. O sea, F (x0 ) = limn F (x0 n x
el otro l mite, observamos que f = f x f, x R. Denimos fn = f (x + 1 ,) . La sucesi on {fn } es creciente y converge a f, x (x0 , ).
0 n
Por el Teorema 2.3, se tiene que lim implica que limn F ()
n x 0 1 F (x0 + n )=
fn = lim
F () F (x0 ).
n x + 1 0 n
f=
x0
f. Esto
Corolario 2.8. Sea {un } una sucesi on de funciones medibles no nega tivas y f = n=1 un . Se tiene que f = n=1 un . n. Ejercicio. Demostracio Corolario 2.9. Sea f una funci on medible no negativa y {Ei } una sucesi on de conjuntos medibles disjuntos. Entonces Ei f = Ei f. n. Ejercicio. Demostracio Ejemplo 2.2. Si f es una funci on no negativa, se dene una funci on cuyo + dominio es la colecci on de conjuntos Borel : B R {0}, (E ) = E f. Aplicando el corolario, para una colecci on {Ei } B de conjuntos disjuntos (Ei ) = =
R
f=
Ei R
f Ei =
f
R
Ei f=
Ei
f Ei =
f Ei =
(Ei ).
NO NEGATIVA 2.3. LA INTEGRAL DE UNA FUNCION
29
Luego vemos que esta funci on satisface la condici on de aditividad sobre conjuntos disjuntos. Veremos que esta es una manera de denir una medida. n 2.10. Sean f, g funciones medibles no negativas. Si f Proposicio es integrable sobre E y g (x) f (x), x E, g tambi en es integrable y E (f g ) = E f E g . n. Escribimos f = (f g ) + g y las funciones del lado Demostracio derecho son no negativas, luego E f = E (f g ) + E g . Como el primer miembro es nito, las dos integrales del segundo miembro tambi en lo son. n 2.11. Sea f una funci Proposicio on no negativa e integrable sobre un conjunto E . Para cada > 0, > 0 tal que para todo A E con m(A) < , se tiene que A f < . n. Si f est Demostracio a acotada, el problema es trivial. Se dene f (x) si f (x) n; fn (x) = n si f (x) > n. Cada fn est a acotada y fn f puntualmente. El Teorema de Convergencia ; E (f Mon otona garantiza la existencia de N tal que E fN > E f 2 fN ) < 2 . Escojamos < 2N : si m(A) < , se tiene f
A
=
A
(f fN ) +
<
+N = . 2 2N
fN <
(f fN ) +
fN <
+ N mA 2
Ejercicios 4. Sea f una funci on medible no negativa. a. Construya una sucesi on de funciones simples {n } tal que la sucesi on sea no negativa, creciente, que cada funci on se anule fuera de un conjunto de medida nita, y f = lim n . b. Demuestre que f = sup , donde el supremo se calcula entre las funciones simples f.
30
5. D e un ejemplo donde la desigualdad del Lema de Fatou sea estricta. 6. D e un ejemplo que demuestre que el Teorema de Convergencia Mon otona no es cierto para una sucesi on decreciente. 7. Demuestre que, si f 0 y m({x : f (x) = }) > 0, entonces f no es integrable. 8. Demuestre el Corolario 2.8. 9. Demuestre el Corolario 2.9.
2.4. La Integral General de Lebesgue La idea de la denici on general es tratar lo que ya hemos desarrollado para funciones no negativas. n 2.7. Sea f una funci Definicio on medible, se dene f + (x) = max{f (x), 0} y f (x) = max{f (x), 0}.
Figura 2. Gr acas de f, f + y f . Observaciones. (1) f + y f son funciones medibles no negativas. + (2) f (x) = f (x) f (x).
2.4. LA INTEGRAL GENERAL DE LEBESGUE
31
(3) |f (x)| = f + (x) + f (x). n 2.8. Una funci Definicio on medible se llama integrable sobre un conjunto medible E si f + y f son integrables sobre E , y se escribe
E
f =
f+
E E
f .
Se observa que f es integrable si y s olo si |f | es integrable. n 2.12. Sean f, g funciones integrables sobre E y c R. Proposicio Entonces: i. ii. iii. iv. La funci on cf es integrable sobre E y E cf = c E f. La funci on f + g es integrable sobre E y E (f + g ) = E f + E g. Si f g para casi todo x E, entonces E f E g. Si A, B son conjuntos disjuntos contenidos en E , entonces AB f = A f + B f.
n. (i.) Si c > 0, cf = cf + cf ; y, por la Proposici Demostracio on + + 2.6, E cf = c E f y E cf = c E f . Tambi en se observa que todas estas cantidades son nitas. Estas dos observaciones establecen el resultado en el caso en que c > 0. Si c < 0, (cf )+ = cf , (cf ) = cf + , y cf = cf (cf + ). Aplicando la Proposici on 2.6, tenemos E cf = c E f y E cf + = c E f + . Otra vez se observa que todas estas integrales son nitas y, por lo tanto, cf es integrable. Entonces E cf = E (cf ) + + E (cf ) = c E f + c E f = c E f. (ii.) Si h1 , h2 son funciones integrables no negativas y h = h1 h2 , tenemos que h+ + h2 = h + h1 . Por la Proposici on 2.6, h+ +
E E
h2 =
h +
E E
h1
h=
E E
h1
h2 .
Si f y g son integrables, tambi en lo son f + + g + y f + g ; y como (f + g ) = (f + + g + ) (f + g ), utilizamos la observaci on anterior para obtener (f + g ) =
E E
(f + + g + )
E
(f + g ) f
E E E
=
E
f+ +
E
g+
g =
E E
f+
E
g.
(iii.)
E (g
f ) 0 y, por la parte (ii.),
f.
32
(iv.) AB f = A f + E f.
f AB =
f (A + B ) =
f A +
f B =
Teorema 2.4 (Teorema de la Convergencia Dominada de Lebesgue). Sea g una funci on integrable sobre E y {fn } una sucesi on de funciones medibles tal que limn fn (x) = f (x) para casi todo x E , y tal que |fn (x)| g (x) para casi todo x E . Entonces f = lim
E E
fn .
(O sea
E
lim fn = lim
fn .)
n. La funci Demostracio on g fn es no negativa y aplicando el Lema de Fatou, se tiene (g f ) lim inf

E E
(g fn ).
Como |f | g y g es integrable, f tambi en lo es. Por lo tanto la desigualdad anterior se puede transformar en g
E E
f
E
g lim sup
E E (g
fn .
E (g
O sea, E f lim sup E fn . Tambi en implica que E f lim inf E fn .
+ f ) lim inf
+ fn ). Esto
Corolario 2.13. Supongamos que {fn } es una sucesi on de funciones integrables tal que |fn | < . Entonces fn converge para casi todo x a una funci on integrable y fn . fn = n. Por el Corolario 2.8, Demostracio |fn | = |fn |; y, por lo tanto, |fn | es integrable. Entonces |fn (x)| < para casi todo x, N y se tiene que fn converge para casi todo x. Tambi en n=1 fn
n=1 |fn |, luego podemos aplicar el Teorema de la Conver gencia Dominada a FN = N n=1 fn con g = n=1 |fn |. Se tiene que N N N N n=1 |fn |
lim
FN = lim
fn = lim
n=1
fn =
n=1 n=1
fn =
n=1
fn .
Finalmente denimos la integral de una funci on compleja.
2.4. LA INTEGRAL GENERAL DE LEBESGUE
33
n 2.9. Sea f : R C una funci Definicio on compleja tal que f = fr +ifi donde fr , fi son funciones reales. (Se observa que esta representaci on es u nica.) La funci on f es integrable sobre un conjunto medible E si fr y fi son integrables sobre E , y se dene f=
E E
fr + i
fi .
Observaciones. (1) |f | = |fr |2 + |fi |2 |fr | + |fi | 2|f |. Por lo tanto, f es integrable si y s olo si |f | es integrable. (2) Utilizando los resultados y t ecnicas desarrolladas hasta ahora; se puede demostrar que el conjunto de funciones complejas que son integrables tiene estructura de espacio vectorial complejo y que la integral de Lebesgue es una funcional lineal en este espacio. (3) Con las modicaciones adecuadas, los resultados de esta secci on siguen siendo ciertos para funciones complejas.
Ejercicios 10. Se dene f : [1, ) R: 1 si x [n, n + 1) cuando n es impar; f (x) = n 1 si x [n, n + 1) cuando n es par. n Ex ste
1 f?
11. a. Demuestre que f es integrable sobre un conjunto medible E si y s olo si |f | es integrable sobre E . b. Demuestre que si f es integrable sobre E , entonces | E f | E |f |. on integrable sobre un conjunto medible E 12. Sea f una funci y > 0. on simple tal que E |f | < . a. Demuestre que existe una funci (Aplique el Problema 4.) b. Demuestre que existe una funci on escalonada tal que E |f | < . c. Demuestre que existe una funci on continua que se anula fuera de un intervalo nito tal que E |f | < .
34
13. Sean {fn }, {gn }, f y g integrables sobre un conjunto medible E . Supongamos que fn f para casi todo x E, |fn | gn , y lim E gn = E g. Demuestre que lim E fn = E f. 14. Sean {fn } y f integrables sobre un conjunto medible E . Supongamos que fn f para casi todo x E . Demuestre que lim E |fn f | = 0 si y s olo si lim E |fn | = |f |.
Cap tulo 3
Medidas Generales
3.1. Medidas y Funciones Medibles En este cap tulo desarrollamos la teor a de funciones (medidas) que se comportan como la medida de Lebesgue en la recta real. Tambi en denimos el concepto de una funci on medible respecto a una medida. n 3.1. Sea X un conjunto. Una - Definicio algebra de subconjuntos de X es una colecci on de conjuntos que contiene a y que es cerrada por complementos y uniones numerables. Un espacio medible es un par ordenado (X, B) tal que X es un conjunto y B es una - algebra de subconjuntos de X . Un subconjunto A se llama medible si A B. Una medida en el espacio medible (X, B) es una funci on no negativa denida para cada A B, que = satisface (i.) () = 0 y (ii.) i=1 Ei para cualquier i=1 Ei colecci on numerable de conjuntos disjuntos {Ei } B. La terna (X, B, ) se llama espacio de medida. Ejemplo 3.1. X = R, B = conjuntos Borel, (E ) = (Si f = 1, = m.)
E
f donde f 0.
Ejemplo 3.2. Sea X cualquier conjunto, B = P (X ) (el conjunto potencia de X ), y (A) = n umero de elementos en A. A esta medida se le denomina medida de contar. n 3.1. Si A, B B y A B, entonces (A) (B ). Proposicio n. B = A (Ac B ) y esta uni on es disjunta. Por lo Demostracio c tanto (B ) = (A) + (A B ) (A). n 3.2. Sea {En } Proposicio on numerable de conn=1 B una colecci juntos medibles:
n
i. (
nEn ) = lim (
n j =1
En ).
35
36
3. MEDIDAS GENERALES
un n0 , ( ii. Si En+1 En n y (En0 ) < para alg lim (En ).

n
n(En )) =
n. Igual que la Proposici Demostracio on 1.9. n 3.3. Si {En } Proposicio n=1 B, entonces

(
n=1
En )
n=1
(En ).
n. Ejercicio. Demostracio Ahora denimos un par de criterios que nos ayudaran a diferenciar entre espacios de medida. n 3.2. Un conjunto E B es de medida -nita si E es una Definicio colecci on numerable de conjuntos con medida nita en B. Un espacio de medida (X, B, ) se llama -nito si X tiene medida -nita. Ejemplo 3.3. (R, B, m) es -nito. Ejemplo 3.4. (R, B, medida de contar) no es -nito, pero cualquier conjunto numerable es de medida -nita. n 3.3. Un espacio de medida (X, B, ) se llama completo si Definicio todo subconjunto de un conjunto de medida cero est a en B. (Es decir, es medible.) En este caso, tambi en decimos que es una medida completa. Ejemplo 3.5. El Lema 1.5 nos dice que la medida de Lebesgue es completa. Ejemplo 3.6. Sea X = R y B = {X, }. Si denimos (X ) = () = 0, entonces (X, B, ) no es completo. Ahora centremos nuestra atenci on en el problema de denir funciones adecuadas para nuestros espacios con medida. Utilizaremos un concepto casi id entico al que utilizamos con la medida de Lebesgue. n 3.4. Sea f : X R {}. Las siguientes armaciones Proposicio son equivalentes. i. {x : f (x) < } B, R. ii. {x : f (x) } B, R.
3.1. MEDIDAS Y FUNCIONES MEDIBLES
37
iii. {x : f (x) > } B, R. iv. {x : f (x) } B, R. n. Igual que la Proposici Demostracio on 1.10. n 3.4. Una funci Definicio on f : X R {} se llama medible con respecto a B si satisface una de las condiciones de la Proposicion 3.4.1 n 3.5. Sea c R y sean f, g : X R {} dos funciones Proposicio medibles. Las funciones f + c, cf, f + g, f g , y f g son medibles. n. Igual que el Teorema 1.4. Demostracio Teorema 3.1. Sea {fn } una sucesi on de funciones medibles. Las funciones sup{f1 , . . . , fn }, inf {f1 , . . . , fn }, supn fn , inf n fn , lim sup fn y lim inf fn son medibles. n. Igual que el Teorema 1.5. Demostracio
n k=1 ck Ek ,
n 3.5. Una funci Definicio on simple es una funci on de la forma = donde ck R y Ek es medible para cada k .
n 3.6. Sea f una funci Proposicio on medible no negativa. Entonces existe una sucesi on de funciones simples {n } tales que n n1 y f = lim n para cada x X. Si X es un espacio -nito, podemos escoger las funciones n tal que n = 0 fuera de un conjunto de medida nita. n. Para cada par ordenado (n, k ), k 0, n 1, se dene Demostracio k En,k = {x : n f (x) < k+1 n }, E = {x : f (x) = }, y
nn
n (x) =
k=0
k (x) + n E (x). n En,k
Si f (x) < , N tal que N f (x) < N + 1 y n N + 1, |n (x) f (x)| < 1 on {n } es creciente y converge a f . n ; si f (x) = , n (x) = n. La sucesi Si X es un espacio -nito, X = j =1 Fj donde (Fj ) < , j, y en este caso se dene
nn
n (x) =
k=0
k (x) + n E (n Fj ) (x). n j =1 n En,k (j =1 Fj )
1Si la - algebra de inter es es evidente, no haremos referencia a ella.
38
Ejercicios 1. Demuestre que, si E1 , E2 son conjuntos medibles en el espacio de medida (X, B, ), entonces (E1 E2 ) = 0 implica que (E1 ) = (E2 ). 2. Suponga que es completo. Demuestre que E1 B y (E1 E2 ) implican que E2 B. 3. Sea {An } on de conjuntos medibles en el espacio de 1 una colecci n medida (X, B, ). Demuestre que 1 An = lim k=1 Ak .
n
4. Sea (X, B) un espacio medible, y medidas denidas en B. a. Se dene en B utilizando (E ) = (E ) + (E ). Demuestre que es una medida. b. Suponga que . Demuestre que existe una medida tal que = + . c. Demuestre que si es -nito, la medida en la parte b es u nica. 5. A una medida se le llama seminita si todo conjunto medible de medida innita contiene conjuntos medibles de medida nita pero arbitrariamente grande. en es semia. Demuestre que toda medida que es -nita tambi nita. b. De un ejemplo de una medida que es seminita pero no -nita. c. Demuestre que toda medida es la suma 1 + 2 de una medida seminita 1 y una medida 2 que s olo toma los valores 0 y . 6. a. Demuestre que, si es una medida completa, f una funci on medible, y g otra funci on tal que f = g para casi todo x, entonces g es medible. b. Demuestre que la condici on de que sea completa es necesaria.
DE MEDIDAS 3.2. CONSTRUCCION
39
3.2. Construcci on de Medidas En general, las - algebras son estructuras muy complejas y las medidas son funciones en ellas que satisfacen la condici on no trivial de sub aditividad. En esta secci on, trataremos el tema de construir medidas de funciones denidas en colecciones de conjuntos menos complejas que las - algebras. Empezamos con la construcci on que ya hemos denido. n 3.6. Sea X un conjunto. Una funci Definicio on denida en los subconjuntos de X que toma valores no negativos es una medida exterior si: i. () = 0, ii. (A) (B ) si A B, iii. Si {Aj } es una colecci on numerable de subconjuntos de X , entonces

(
j =1
Aj )
j =1
(Aj ).
n 3.7. Sea E P (X ) una colecci on de subconjuntos de X Proposicio tal que E, X E, y sea : E [0, ] una funci on tal que () = 0. Para cada A P (X ), se dene

(A) = inf
j =1
(Ej ) : Ej E y A
j =1
Ej .
Entonces
es una medida exterior.
n. El Demostracio nmo existe porque, para cualquier A X, se puede tomar Ej = X y A as, j =1 Ej . Como () = 0, () = 0. Adem si A B, (A) (B ) porque el nmo para calcular (A) usa m as con juntos que el nmo para calcular (B ). Sea {Aj } un sucesi on de conjuntos y A = j =1 Aj . Fijemos > 0. Para cada Aj , existen {Ej,k } k=1 tales que (A ) + 2j Aj E , E E y ( E ) . A j j,k j,k k=1 k=1 j,k k,j =1 Ej,k , y j,k=1 Ej,k j =1 (Aj ) + . Luego (A) j =1 (Aj ) + . Como es arbitrario, (A) j =1 (Aj ). n 3.7. Si es una medida exterior denida en X , y E X, E Definicio se llama -medible si (A) = (A E ) + (A E c ) para todo A X. Como A = (A E ) (A E c ), (A) (A E )+ (A E c ). Entonces E es medible si y s olo si (A) (A E ) + (A E c ) para todo A X con (A) < .
40
Teorema 3.2 (Carath eodory 1918). Si es una medida exterior denida en X, la colecci on C de conjuntos -medibles es una - algebra y la restricci on de a C es una medida completa. n. Como la denici Demostracio on 3.7 es sim etrica, E C implica C. Si E, F C y A X, por sub aditividad: (A) = (A E ) + (A E c ) = (A E F ) + (A E F c ) + (A E c F ) + (A E c F c ) (A (E F )) + (A (E F )c ). Luego E F C y C es cerrado por uniones nitas. Tambi en, si E F = , (E F ) = ((E F ) E ) + ((E F ) E c ) = (E ) + (F ). Por lo tanto tenemos que, para toda colecci on nita de conjuntos disjuntos n n n {Ej }j =1 en C, (j =1 Ej ) = j =1 (Ej ). Si {Ej } on numerable de conjuntos medibles, deni1 es una colecci n1 c mos Fn = En (j =1 Fj ) . Fn es medible para cada n, En = Fn , y la colecci on {Fn } es disjunta. Luego s olo debemos demostrar que C es cerrado por uniones numerables disjuntas. Sea {Aj } una colecci on numerable de conjuntos disjuntos en C. Se dene n Bn = j =1 Aj y B = j =1 Aj . Para cada E X : (E Bn ) = (E Bn An ) + (E Bn Ac n) = (E An ) + (E Bn1 ). Por inducci on, tenemos que (E Bn ) =
n n j =1 (E
Ec
Aj ). Entonces
(E ) = (E Bn ) + (E
c Bn )
j =1
(E Aj ) + (E B c ),
DE MEDIDAS 3.2. CONSTRUCCION
41
y, si n , tenemos que
(E )
j =1
(E Aj ) + (E B c )
(E Aj ) + (E B c )
j =1
= (E B ) + (E B c ). O sea, B B. Si se toma E = j =1 Aj (es decir, B ), se tiene que

(E ) =
j =1
( i=1 Ai )
Aj =
j =1
(Aj ).
Finalmente, si (A) = 0, para cada E X , (E ) (E A) + (E Ac ) = (E Ac ) (E ). Luego A C. Es decir, restringido a C, es completo. La construcci on previa nos proporciona una manera de empezar con una funci on muy general denida en una colecci on m nima de subconjuntos de X , y terminar con una - algebra de conjuntos medibles de modo que nos de una medida. Ahora analizaremos el problema de extender una funci on que ya se comporte como medida en una colecci on de conjuntos con alguna estructura y extenderla a una funci on que sea una medida en una - algebra. Espec camente, estudiaremos el problema de extender a una - algebra una funci on que se comporta como una medida en una algebra de conjuntos. n 3.8. Si A P (X ) es una Definicio algebra, una funci on : A [0, ] se llama pre-medida si satisface las siguientes dos condiciones: i. () = 0. ii. Si {Aj } A es una colecci on numerable de conjuntos disjuntos, se tiene que (Aj ) = (Aj ). Observando la Proposici on 3.7, vemos que una pre-medida induce una medida exterior en X deniendo
(E ) = inf
1
(Aj ) : Aj A, E 1 Aj .
n 3.8. Si es una pre-medida en una Proposicio algebra A y es denida como arriba, se tiene que:
42
i. A = . ii. Todo conjunto en A es -medible. n. (i.) Si E A y E Demostracio 1 Aj , donde Aj A, denimos n1 c Bn = E An (1 Aj ) . La colecci on {Bn } A es disjunta y 1 Bn = E. Se tiene que (E ) = 1 (Bj ) 1 (Aj ). Luego (E ) (E ). La otra desigualdad es obvia porque, si tomamos A1 = E y An = n 2, (E ) 1 (Aj ) = (E ). (ii.) Fijemos > 0. Si A A y E X , hay una sucesi on {Bj } 1 A con E 1 Bj y 1 (Bj ) (E ) + . Como es aditivo en A,

(E ) + Por lo tanto,
(Bj A) +
1
(Bj Ac ) (E A) + (E Ac ).
1 (E )
(E
A) + (E Ac ).
Teorema 3.3. Sea A P (X ) una algebra, una pre-medida en A y C la - algebra generada por A: i. Existe una medida denida en C cuya restricci on a A es . (Es decir, = C , donde es la medida exterior que induce .) ii. Si es cualquier otra medida denida en C que extiende a , entonces (E ) (E ) E C y (E ) = (E ) si (E ) < . iii. Si es -nita, entonces es la u nica extensi on de a una medida en C. n. (i.) Es consecuencia del Teorema 3.2 y de la ProDemostracio posici on 3.8. (ii.) Si E C y (E ) = , entonces {Aj } 1 A tal que E 1 Aj , se tiene que 1 (Aj ) = . Como (Aj ) = (Aj ) j, (E ) 1 (Aj ) = (E ). Si (E ) < , jando > 0, {Aj } 1 A tal que 1 (Aj ) = = E 1 Aj y (E ) + 1 (Aj ) = 1 (Aj ) (1 Aj ) E. Por lo tanto, (E ) E. Obs ervese que, si A = 1 Aj , con {Aj }1 A, entones n (A) = limn (n (A). Como (E ) < , se 1 Aj ) = limn (1 An ) = puede encontrar {Aj }1 A tal que E A = 1 Aj y (A) < (E ) + . c Luego (A E ) < y (E ) (A) = (A) = (E ) + (A E c ) (E ) + (A E c ) (E ) + . Entonces (E ) (E ). (iii.) Si X = 1 Aj , con Aj < y Ai Aj = si i = j, entonces para cada E C : E = ( E Aj ) = 1 1 (E Aj ) = E.
3.3. INTEGRACION
43
Ejercicios 7. Sean es una medida exterior denida en X y {En } on 1 una colecci de conjuntos disjuntos que son -medibles. Demuestre que para cualquier A X, (A ( 1 En )) = 1 (A En ). 8. Sea f : R R una funci on creciente y continua y sea A = {(a, b] : a, b R} {(a, ) : a R} R . Si {(ai , bi ]}n 1 es una colecci on de conjuntos en A, se dene
n
n 1 (ai , bi ] =
1
f (bi ) f (ai ).
a. Demuestre que A es una algebra. b. Demuestre que est a bien denida. c. Demuestre que es una pre-medida.
3.3. Integraci on El desarrollo de la integraci on en espacios de medida generales es similar al desarrollo de la integral de Lebesgue. Como en ese caso, empezamos con funciones simples no negativas. n 3.9. Sean (X, B, ) un espacio de medida, E B un conDefinicio junto medible, y (x) = n k=1 ck Ek (x), con ck 0, Ek B. Se dene
n
d =
E k=1
ck (Ek E ).
No es dif cil demostrar que la integral de es independiente de la representaci on de y que es lineal en el espacio de funciones simples si ck 0. n 3.10. Sea (X, B, ) un espacio de medida y f : X [0, ] Definicio una funci on medible. Se dene f d = sup
f
44
donde el supremo se calcula entre las funciones simples 0 f. La integral de f sobre un conjunto E B se dene como E f d = f E d. n 3.9. Sean f y g funciones medibles no negativas. Proposicio i. Si f (x) g (x) para casi todo x, f ii. Si f = g para casi todo x, f = g. iii. Si f = 0, f = 0 para casi todo x. iv. cf = c f para todo c 0. n. Ejercicio. Demostracio Observamos que la denici on de la integral sobre espacios de medidas generales no es la misma que la denici on de la integral sobre R. (Esa integral se calcula utilizando un supremo sobre funciones que se anulan afuera de un conjunto de medida nita.) Esta diferencia es necesaria porque hay espacios de medida con estructura rara y donde la denici on previa nos diera resultados inservibles. (Esto ser a tratado en los ejercicios.) La nueva denici on hace m as problem atica la demostraci on de la linealidad de la integral. Por esta raz on primero procedemos a demostrar los teoremas de convergencia. on de funciones Teorema 3.4 (Lema de Fatou). Sea {fn } una sucesi medibles no negativas tal que fn (x) f (x) (convergencia puntual) para casi todo x E . Se tiene f lim inf
E E E
g.
fn .
(Es decir,
lim fn lim inf
fn .)
n. A causa del problema 6 y de la Proposici on 3.9, poDemostracio demos asumir que fn (x) f (x) para todo x E. Debemos demostrar que si es una funci on simple f , entonces E lim inf E fn . Si E < , existe un conjunto medible F E tal que (F ) < , (x) = 0 x F , y = 0 afuera de F . Fijamos > 0. Denimos Fn = {x E : fk (x) > (1 )(x) k n}.
3.3. INTEGRACION
45
Tenemos que Fn es medible, que Fn Fn+1 , n, y que F

c ) (F F c ) n, y (F Fn n +1 1 1
Fn . Entonces
c (F Fn ) = . La Proposici on 3.2 garantiza que
c ) = 0. Por lo tanto, existe n tal que k n, (F F c ) < . limn (F Fn k Sea M el m aximo de .
fk
Fk
fk (1 )
(1 )
Fk F
c F Fk
F F
M =
E
+M .
Como es arbitrario, tenemos que lim inf E fk E . El caso cuando E = lo dejamos como ejercicio. Teorema 3.5 (Convergencia Mon otona). Sean {fn } una sucesi on de funciones medibles no negativas denidas en un conjunto medible E , f = lim fn la funci on l mite. Se supone fn f n. Se tiene que f = lim
E E
fn .
n. Ya establecimos E fn E f, y por lo tanto Demostracio lim sup E fn E f. Con el Lema de Fatou se concluye que f lim inf
E E
fn lim sup
fn
f.
E
Teorema 3.6. Si f y g son funciones no negativas y a 0, se tiene que af + g = a f+ g.
n. Sean {n } y {n } sucesiones crecientes de funciones Demostracio simples que convergen para casi todo x a f y g respectivamente. Entonces {an + n } es una sucesi on de funciones simples que converge a af + g. El Teorema de Convergencia Mon otona da af + g = lim = a lim an + n = lim a n + lim n = a n + f+ n g.
46
Corolario 3.10. Sea (X, B, ) un espacio de medida y f una funci on no negativa denida en X . Denimos (E ) = E f d para cada E B. Entonces (X, B, ) es un espacio de medida. n. Ejercicio. Demostracio n 3.11. A una funci Definicio on medible no negativa se le llama integrable con respecto a la medida sobre el conjunto medible E , si
E
f d <
. A una funci on medible (no necesariamente no negativa) se le llama integrable si ambas f + y f (denidas igual que en la Denici on 2.7) son integrables y se dene f=
E E
f+
E
f .
Teorema 3.7. Sean f y g integrables sobre el conjunto E . Entonces cf + g = c

E E
f+
E
g.
n. Igual que la Proposici on 2.12. Demostracio on Teorema 3.8 (Convergencia Dominada de Lebesgue). Sea g una funci integrable sobre E y {fn } una sucesi on de funciones medibles tal que limn fn (x) = f (x) para casi todo x E , y tal que |fn (x)| g (x) para casi todo x E . Entonces f = lim
E E
fn .
n. Igual que el Teorema 2.4. Demostracio
Ejercicios on 3.9. 9. Demuestre la Proposici 10. Considere el espacio medible (X, B) donde B = {X, }. Denimos la medida : () = 0 y (X ) = . Qu e deber a igualar X 1 d? Cu ales son las funciones que se anulan afuera de un conjunto de medida nita? 11. Termine la demostraci on del Teorema 3.4.
3.3. INTEGRACION
47
12. a. Demuestre el Corolario 3.10. b. Utilizando el mismo hip otesis, demuestre que para cualquier funci on simple no negativa , funci on medible no negativa g , d = g d = f d. f g d. c. Utilizando el mismo hip otesis, demuestre que para cualquier
13. Sea {fn } una sucesi on de funciones medibles no negativas. Demuestre que
1 1
fn =
fn .
14. Sea f una funci on integrable en el espacio de medida (X, B, ). Demuestre que para cada > 0, existe ( puede depender de ) tal que, para cada conjunto medible E de medida menor que se tiene que
E
f d < .
15. Se supone que f es una funci on integrable en el espacio de medida (X, B, ). a. Demuestre que ({x X : f (x) = }) = 0. b. Demuestre que el conjunto {x X : f (x) = 0} es -nito. 16. De un ejemplo de una sucesi on de funciones medibles {fn } en el espacio de medida [0, 1], conjuntos Borel de [0, 1], m tal que fn converge a 0 punctualmente y fn dm = 1 n. on de funciones medibles y f una funci on 17. Sean {fn } una sucesi medible en el espacio de medida (X, B, ). Si para cada > 0, existe N tal que ({x X : |fn (x) f (x)| > }) < para todo n N, decimos que {fn } converge en medida a f . Si para cada > 0, existe N tal que ({x X : |fn (x) fm (x)| > }) < para todos m, n N, decimos que {fn } es una sucesi on Cauchy en medida. a. Demuestre que una sucesion de funciones medibles {fn } es Cauchy en medida si y s olo si la sucesi on converge a alguna funci on medible f .
48
b. Se supone que la sucesi on {fn } converge a una funci on medible f en medida. Demuestre que existe una subsucesi on {fnk } tal que {fnk (x)} converge a f (x) para casi todo x X.
3.4. Medidas con Signo En varias situaciones en an alisis es necesario trabajar con funciones que se comportan como medidas pero que no necesariamente son no negativas. Estas funciones son el tema de esta secci on. n 3.12. Una medida con signo en el espacio medible (X, B) Definicio es una funci on : B R {+} o R {} tal que i. () = 0; on disjunta de conjuntos ii. i=1 Ei = i=1 (Ei ) para cada colecci medibles {Ei }. Si i=1 Ei es nita se requiere que la serie converga absolutamente; si i=1 Ei = + o se requiere que la serie no converga a uno de estos valores. Ejemplo 3.7. Sea (X, B, ) un espacio de medida y f una funci on integrable. Se dene (E ) = E f d. Entonces es una medida con signo en el espacio medible (X, B). n 3.13. Un conjunto medible A es positivo respecto a la meDefinicio dida si (A) 0 y para todo conjunto medible E A, se tiene que (E ) 0. An alogamente, se dene un conjunto negativo. Un conjunto A se llama nulo si tiene medida cero y si todo subconjunto medible de A tambi en tiene medida cero. Ejemplo 3.8. Sean X = R, B = conjuntos Borel y f (x) = xex . Para cada E B, se dene (E ) = E f (x) dx. Se tiene que [0, ) es positivo, (, 0] es negativo, y todo conjunto con medida de Lebesgue 0 es nulo. ([1, 2]) > 0 pero [1, 2] no es un conjunto positivo. ([1, 1]) = 0 pero [1, 1] no es nulo. Los conjuntos (, 0) y (, 0] son negativos. Obs ervese que R = (, 0] (0, ). Es decir, el conjunto X se puede descomponer en dos subconjuntos disjuntos uno positivo y otro negativo. Pronto veremos que esta propiedad es algo que todas las medidas con signo comparten.
2
3.4. MEDIDAS CON SIGNO
49
Lema 3.11. La uni on numerable de conjuntos positivos es positiva. n. Sea {En } Demostracio on de conjuntos positivos. De1 una colecci c 1 c nimos F1 = E1 , F2 = E2 F1 , . . . , Fn = En n i=1 Fi . Fn es positivo n. Si E on es disjunta. Por lo n=1 En , E = n=1 (E Fn ) y esta uni tanto:
(E ) =
n=1
(E Fn ) 0
porque cada Fn es positivo. Observaciones. El mismo resultado es cierto para conjuntos negativos. Lema 3.12. Sea E un conjunto medible con 0 < (E ) < . Existe A E tal que A es positivo y (A) > 0. n. Si E no es positivo, contiene conjuntos medibles de Demostracio medida negativa. Sea n1 el entero positivo m as peque no tal que E1 E 1 con (E1 ) < n1 . Procediendo por inducci on, sea nk el entero positivo c 1 m as peque no tal que existe un conjunto medible Ek E k Ej 1 1 c con (Ek ) < n . Denimos A = E 1 Ek ) y observamos que E = k on es disjunta. La A 1 Ek y que (E ) = (A)+ 1 (Ek ) porque la uni 1 serie converge absolutamente porque (E ) < . Tenemos que 1 nk < , 1 y por lo tanto limk n = 0. Como (E ) > 0 y 1 (Ek ) < 0, concluimos k que (A) > 0. Para demostrar que A es positivo, jamos > 0. Se escoje k sucientec k on mente grande para que nk1 1 < . Como A E 1 Ej , la construcci de la sucesi on {nk } garantiza que si B A, (B ) > nk1 > . La 1 arbitrariedad de da que (E ) 0. Teorema 3.9 (Descomposici on de Hahn). Sea una medida con signo en el espacio medible (X, B). Existe un conjunto positivo A y un conjunto negativo B tal que X = A B y A B = . n. Se supone que = . Sea = {sup (A) : A es posiDemostracio tivo con respecto a }. (Se nota que el vac o es positivo y por lo tanto 0.) Sea {An }1 una colecci on de conjuntos positivos tal que = limn (An ). Se denie A = 1 An . A es positivo y (A). Como A Ac n A y c ) (A ), ) 0 para cada n , se tiene que ( A ) = ( A )+ ( A A (A Ac n n n n
50
y concluimos que (A) y que < . Sea B = Ac . Si E B es positivo, A E es positivo y por lo tanto (A E ) = (A) + (E ) = + (E ). O sea (E ) = 0. Entonces B no contiene conjuntos positivos de medida positiva y el Lema 3.12 garantiza que no contiene conjuntos de medida positiva. La descomposici on de Hahn no es u nica. (Por ejemplo, en el ejemplo previo la descomposici on puede ser R = (, 0) [0, ).) Ahora enfocaremos nuestros esfuerzos en desarrollar una descomposici on que s es u nica. Si {A, B } es una descomposici on de Hahn para , podemos denir dos + medidad (E ) = (E A) y (E ) = (E B ). Como X = A B , se tiene que E = (E A) (E B ). Esta es una uni on disjunta y por lo tanto (E ) = + (E ) (E ). Se nota que + (B ) = (A) = 0. n 3.14. Sean y medidas en el espacio medible (X, B). Si Definicio existen conjuntos A, B B tal que A B = X, A B = y (A) = (B ) = 0, se dice que y son mutuamente singulares. Se escribe . Si y son medidas con signo, entonces si || | |. Teorema 3.10 (Descomposici on de Jordan). Sea una medida con signo en el espacio medible (X, B). Existen dos medidas + y en (X, B) tal que + y = + . Esta descomposici on es u nica. n. La existencia ya fue establecida. Ahora supongamos Demostracio que = + = + y que A , B , A , B son los conjuntos corresc pondientes. La diferencia sim etrica A A = (A Ac ) (A A ) y ambos de estos conjuntos son a la vez positivos y negativos. Por lo tanto son nulos. Similarmente para B B . Ahora para E B, + (E ) = (E A ) = (E A ) = + (E ). (Los detalles de la segunda igualdad son el prop osito del primer ejercicio de esta secci on.) Similarmente para y . n 3.15. A las medidas + y se les llama la variaci on Definicio positiva de y variaci on negativa de respectivamente. A la medida + || = + se llama la variaci on total de .
3.4. MEDIDAS CON SIGNO
51
n 3.16. Si f : X R {} es integrable con respecto a Definicio y , se dene f d =

E E
f d+
E
f d
para cada conjunto medible E .
Ejercicios 18. Sean X = R, B = conjuntos Borel y f (x) = xex . Para cada E B, se dene (E ) = E f (x) dx. Cu al es la descomposici on de Jordan en este caso? 19. Supongamos que es una medida con signo en el espacio (X, B), que A, B B y que A B c y Ac B son conjuntos nulos. Demuestre que para todo conjunto E B, (E A) = (E B ). 20. S gue siendo cierta la conclusi on del problema previo si el hip otesis es s olamente (AB ) = 0? 21. Sea una medida con signo y E un conjunto medible. a. Demuestre que (E ) (E ) + (E ). b. Demuestre que |(E )| ||(E ). 22. Sea una medida con signo en el espacio medible (X, B) y E B. D e una cota para
E
2
f d .
23. Sean y medidas con signo en el espacio medible (X, B). Demuestre que si y s olo si || si y s olo si + si y s olo si . 24. Se supone que {k } on de medidas tal que k k . 1 es una colecci Demuestre que 1 k . 25. Demuestre que la colecci on de medidas con signo nitas en el espacio medible (X, B) tiene estructura natural de espacio vectorial sobre R. 26. Sean y dos medidas con signo nitas. a. Demuestre que para c R |c| = |c|||. b. Demuestre | + | || + | |.
52
3.5. El Teorema Radon-Nikodym La relaci on complementaria a mutuamente singular es la siguiente. n 3.17. Sean y dos medidas denidas en el espacio medible Definicio (X, B). La medida es absolutamente continua con respecto a si (E ) = 0 para todo E B tal que (E ) = 0. Se escribe . Si y son medidas con signo, si | | ||. Ejemplo 3.9. Sean (X, B, ) un espacio de medida y f : X [0, ] una funci on medible. Para cada E B denimos (E ) = .
E
f d. Entonces
El teorema Radon-Nikodym nos dice que cuando (X, B, ) es -nito, cualquier medida que es absolutamente continua con respecto a ocurre en la manera como en el ejemplo. Teorema 3.11 (Radon-Nikodym). Sean (X, B, ) un espacio -nito y una medida denida en B tal que . Entonces existe una funci on medible no negativa f tal que para cada E B se tiene que (E ) =
E
f d.
Si g es cualquier otra funci on que satisface la conclusi on del teorema, entonces g = f para todo x X excepto tal vez para x en un conjunto N B tal que (N ) = 0.2 La demostraci on del teorema requiere la construcci on de una funci on. El siguiente lema la facilita. Lema 3.13. Sea (X, B, ) un espacio de medida y {Bs }sQ una colecci on de conjuntos medibles. i. Si Bs Bt cuando s < t, entonces existe una funci on medible c. f : X R {} tal que f (x) s x Bs y f (x) s x Bs on medible ii. Si (Bs \ Bt )3 = 0 cuando s < t, entonces existe una funci f tal que f (x) s para casi todo x Bs y f (x) s para casi todo c. x Bs
2Esta propiedad se escribe para casi todo x con respecto a . 3A \ B = A B c .
3.5. EL TEOREMA RADON-NIKODYM
53
n. (i.) Para cada x X denimos f (x) = inf {s : x Demostracio Bs }; si x Bs s Q, entonces f (x) = .4 Si x Bs , f (x) s, y si x Bs , entonces f (x) s. Para demostrar que f es medible, observamos que si f (x) < s, entonces x Bt para alg un t < s. Tambi en si x Bt para alg un t < s, f (x) t < s. Por lo tanto {x : f (x) < s} = t<s Bt . Como la uni on es numerable, el conjunto es medible. (ii.) Denimos A = s<t (Bs \Bt ). Como la uni on es numerable, (A) = 0. Ahora denimos Bs = Bs A. Si s < t, tenemos que Bs \Bt = (Bs \Bt )\A = . O sea Bs Bt cuando s < t. Entonces la primera parte del lema garantiza la existencia de una funci on f tal que f (x) s x Bs c y f (x) s x (Bs ) . Entonces, excepto por los x A, tenemos que c. f (x) s x Bs y f (x) s x Bs n del Teorema 3.11. Primero, tratamos el caso Demostracio cuando es nito. Para cada s Q, s es una medida con signo. Sea (As , Bs ) la descomposici on de Hahn para s. Denimos A0 = X y B0 = . Observamos que ( s)(Bs \Bt ) 0, y como Bs \Bt = Bs At , tenemos que ( t)(Bs \Bt ) 0. Si t > s, entonces (Bs \Bt ) = 0. Utilizando el lema, concluimos que existe una funci on medible f tal que para cada s Q, tenemos que f (x) s para casi todo x As y f (x) s para casi todo x Bs . Como A0 = X, f (x) 0 para casi todo x X y por lo tanto podemos asumir que f (x) 0 x X. Sea E B un conjunto cualquiera. Fijamos N N y denimos para cada entero k 0
Ek = E Entonces E = (E ) = (E ) +
k N k=1 Ek k=1
B k+1 \B k , y E = E \
N N
Bk.
k=0
N
E y esta uni on es disjunta. Por lo tanto B k+1 A k , tenemos que

N N
(Ek ). Como Ek
f (x)
k+1 N
x Ek . Por lo tanto k (Ek ) N f d

Ek
k+1 (Ek ). N
(1)
4En general, inf = .
54 k N )(Ek )
3. MEDIDAS GENERALES k+1 N )(Ek )
Tambi en (
0 y (
0. Por lo tanto (2)
k+1 k (Ek ) (Ek ) (Ek ). N N Las desigualdades (1) y (2) se combinan para dar (Ek ) 1 (Ek ) N f d (Ek ) + 1 (Ek ). N
Ek
Si x E , f (x) = . Como ( s)(E ) > 0 s Q, (E ) > 0 implica que (E ) = . Si (E ) = 0, (E ) = 0 porque . En ambos casos (E ) = E f d. Como E = E es una uni on k=0 Ek disjunta, podemos concluir que (E ) 1 (E ) N f d (E ) +
E
1 (E ). N f d.
E
Como (E ) < y N arbitraria, tenemos que (E ) =
Si es -nito, existen conjuntos medibles disjuntos {Ak } 1 tal que on (Ak ) < y X = k=1 Ak . Para cada Ak podemos encontrar una funci medible fk no negativa denida en Ak tal que (E Ak ) =
E Ak
fk d E
B. Denimos f =
k=1
fk . (Obviamente extendemos cada fk a todo X
deniendo fk = 0 afuera de Ak .) Entonces

(E ) =
k=1
E Ak =
k=1
(E Ak ) =
k=1
E Ak
fk d
=
k=1 E Ak
f d =
f d =
E
f d.
k=1 (E Ak )
La demostraci on de la unicidad de la funci on f la dejamos como ejercicio.
n 3.18. Si Definicio , a la funci on f tal que (E ) = E f d E B se le llama la derivada de Radon-Nikodym de con respecto a . d Esta funci on se denota d . Utilizando esta notaci on tenemos que (E ) = d d. E d
3.5. EL TEOREMA RADON-NIKODYM
55
Teorema 3.12 (Descomposici on de Lebesgue). Sea (X, B, ) un espacio de medida -nito y una medida -nita denida en B. Entonces existen medidas u nicas 0 y 1 tal que 0 , 1 y = o + 1 . n. La medida = + es -nita. Tambi Demostracio en d y . Entonces existen funciones no negativas d y tal que d d d d d y (E ) = d E B. (E ) = E d E d d Denimos A = {x : d d (x) > 0} y B = {x : d (x) = 0}. Entonces X = A B es una uni on disjunta y (B ) = 0. Denimos 0 (E ) = (E B ) y 1 (E ) = (E A) =
E A
d d d
Tenemos que 0 (A) = 0, 0 y obviamente = 0 + 1 . Falta demostrar que 1 . d Si E B y (E ) = 0, entonces d = 0 y como d d 0, E d tenemos que d d (x) = 0 para casi todo x E con respecto a . Ahora, como d d (x) > 0 x A E, tenemos que (A E ) = 0. Por lo tanto (A E ) = 0. La demostraci on de la unicidad de 0 y 1 la dejamos como ejercicio.
Ejercicios 27. a. Sean 1 , 2 , . . . , k medidas en el espacio medible (X, B). Demuestre que existe una medida tal que i 1 i k. on de medidas tal que k b. Se supone que {k }1 es una colecci k . Demuestre que 1 k . 28. Demuestre la unicidad de la funci on en f el Teorema 3.11. 29. Demuestre la unicidad de las medidas 0 y 1 en el Teorema 3.12. 30. Encuentre un ejemplo que demuestre que el hip otesis de que la medida sea -nita es necesario en el teorema Radon-Nikodym.
56
31. Demuestre las siguientes propiedades de la derivada RadonNikodym. a. Si y f 0 es una funci on medible, entonces f d = b.
d(1 +2 ) d
f .
d d
d d. d
d1 d
d2 d
c. Si d. Si
, entonces
=
d d
d d
d d d d
.
1
, entonces
3.6. Medidas Producto En esta secci on estudiamos el problema de denir una medida en un espacio producto. n 3.19. Sean (X, A, ) y (Y, B, ) espacios de medida. Un Definicio rect angulo medible es un conjunto de la forma A B donde A A y B B. Si A B es un rect angulo medible, denimos (A B ) = (A) (B ). Lema 3.14. La colecci on de uniones nitas de rect angulos es una algebra. n. Se debe demostrar que el complemento de un rect Demostracio angulo medible es una uni on nita de rec angulos medibles. Si A B es un rect angulo medible, su complemento es (Ac Y ) (X B c ). Lema 3.15. Sea {(Aj Bj )} on disjunta numerable de 1 una colecci rect angulos medibles cuya uni on tambi en es un rect angulo medible A B. Entonces (A B ) = (Aj Bj ). n. Para cada x X y y Y , se tiene Demostracio A (x) B (y ) = (AB) (x, y ) = (Aj Bj ) (x, y ) = Aj (x)Bj (y ).
3.6. MEDIDAS PRODUCTO
57
Integrando con respecto a x, y utilizando la aditividad de la integral (Ejercicio 13) obtenemos A (x) B (y ) d(x) = (A)B (y ) = = Aj (x)Bj (y ) d(x) Bj (y ) Aj (x) d(x)
(Aj )Bj (y ). (Aj ) (Bj ).
Integrando con respecto a y obtenemos (A) (B ) =
Entonces satisface las condiciones del Teorema 3.3 y se puede extender a una medida en la - algebra A B generada por las uniones nitas de rect angulos medibles. A esta medida se le llama la medida producto de y y se escribe . Si y son nitos, tambi en lo es; si y son -nitos, tambi en lo es. Ahora demostramos algunos resultados que nos dan informaci on sobre la estructura de (X Y, A B, ). Si E X Y para cada x X y y Y denimos la x-secci on Ex y la y -secci on E y de E por Ex = {y Y : (x, y ) E }, E y = {x X : (x, y ) E }.
E
Ex
x
Figura 1. Muestra de un conjunto Ex .
Si f : X Y R es una funci on, denimos la x-secci on fx y la y -secci on f y de f por fx (y ) = f y (x) = f (x, y ).
58
Lema 3.16. Si E A B, entonces Ex B para todo x X y E y A para todo y Y. Si f es A B-medible, entonces fx es B-medible para todo x X y f y es A-medible para todo y Y. n. Es suciente demostrar la primera parte del lema Demostracio porque para cualquier subconjunto E R, (fx )1 (E ) = (f 1 (E ))x y (f y )1 (E ) = (f 1 (E ))y . La colecci on S = {F (X Y ) : Fx B x X, y F y A y Y } contiene a todos los rect angulos medibles porque si A B es un rect an B x A gulo medible (A B )x = ; y similarmente para (A B )y . Si x A
c c Aj S entonces ( 1 Aj )x = 1 (Aj )x y (Ax ) = (A )x ; y similarmente y para ( algebra que contiene a todos los 1 Aj ) . Por lo tanto, S es una - rect angulos medibles, y concluimos que A B S.
Dos de los teoremas m as importantes en la teor a de espacios productos son los de Tonelli y Fubini. Estos teoremas nos dejan computar integrales sobre X Y computando una integral sobre el espacio X y despu es otra sobre el espacio Y o vice versa. Para poder llegar a las demostraciones de estos teoremas necesitaremos un concepto nuevo y un par de resultados t ecnicos. n 3.20. A una colecci on de subconjuntos U de un conjunto Definicio S le llamamos clase mon otona si esta colecci on est a cerrada bajo uniones numerables crecientes (si Ei U y E1 E2 E3 , entonces Ei U) e intersecciones numerables decrecientes (si Ei U y E1 E2 E3 , , entonces Ei U). Ejemplo 3.10. Sea S cualquier conjunto nito y U = P (S ) \ {S, }. Ejemplo 3.11. Sea S = R y U = {a : a R} la colecci on de intervalos. Observamos que una - algebra es una clase mon otona y que la intersecci on de cualquier colecci on de clases mon otonas es una clase mon otona (Ejercicio 35). Entonces, si U P (S ) es una colecci on cualquiera de subconjuntos de S , la intersecci on de todas las clases mon otonas que contienen
59
a U es la clase mon otona m as peque na que contiene a U. A esta se le llama la clase mon otona generada por U. Lema 3.17. Si A es una algebra, entonces la clase mon otona generada por A iguala a la - algebra generada por A. n. Ejercicio. Demostracio Lema 3.18. Se supone que (X, A, ) y (Y, B, ) son espacios de medida -nitos. Para todo E A B las funciones x (Ex ) y y (E y ) son medibles en X y Y respectivamente. Se tiene que ( )(E ) = E d( ) = (Ex ) d(x) = (E y ) d (y ).
Y
X Y
n. Primero tratamos el caso cuando y son nitos. Si Demostracio (A) y B ; es E = A B es un rect angulo medible, tenemos (E y ) = 0 yB decir (E y ) = B (y )(A). Similarmente (Ex ) = A (x) (B ). Entonces el resultado es inmediato en este caso. La aditividad de la integral nos da que el resultado del lema es cierto en el caso de una uni on nita de rect angulos medibles disjuntos. Si podemos demostrar que la colecci on de conjuntos en A B que satisfacen el resultado del lema forman una clase mon otona, el Lema 3.17 nos dar a que esta colecci on iguala a todo A B y la demostraci on estar a completa. Sea E = En donde {En } A B es una colecci on creciente de conjuntos que satisfacen el resultado del lema. Las funciones fn (x) = ((En )x ) son medibles, la sucesi on es creciente y converge punctualmente a la funci on x (Ex ). O sea que esta funci on es medible. Utilizando el Teorema de Convergencia Mon otona (Teorema 3.5) tenemos (Ex ) d(x) = lim ((En )x ) d(x) = lim( )(En ) = ( )(E ). (E y ) d (y ) = ( )(E ).
Y
Un argumento id entico da que
Dejamos como ejercicio el caso E En donde la colecci on de conjuntos {En } A B es decreciente.
60
Si y son -nitos, X Y = (Xi Yi ) donde {Xi Yi } es una colecci on de rect angulos crecientes de medida nita. Si E A B, ( ) restrinjida a E (Xi Yi ) es nita y tenemos utilizando el caso nito ( ) (E (Xi Yi )) = =
X
((E (Xi Yi ))x ) d(x) Xi (x) (Ex Yi ) d(x).
La sucesi on de funciones {Xi (x) (Ex Yi )} es creciente y punctualmente converge a (Ex ). Utilizamos el Teorema de Convergencia Mon otona una vez m as para concluir que ( )(E ) =
X
(Ex ) d(x). El argumento para
(E y ) d (y ) es id entico.
Y
Observamos que si E A B, X E (x, y ) d(x) = (E y ) y Y E (x, y ) d (y ) = (Ex ), entonces el resultado del lema se puede expresar como
X Y
E (x, y ) d( ) = =
E (x, y ) d (y ) d(x) E (x, y ) d(x) d (y ). (3)
La linealidad de la integral nos da que la formula (3) con f en lugar de E si f = ai Ei es una funci on simple con coecientes positivos. (Si ( )(Ei ) < i, el resultado es cierto sin la restricci on que los coecientes sean positivos.) El Teorema de Tonelli nos dice que el resultado es cierto para toda f no negativa. Teorema 3.13 (Tonelli). Sean (X, A, ) y (Y, B, ) espacios de medida -nitos. Si f : (X Y ) [0, ] es integrable, las funciones (x) = Y fx (y ) d (y ) y (y ) = X f y (x) d(x) son integrables en X y Y respectivamente y se tiene f (x, y ) d( ) =
X Y X Y
f (x, y ) d (y ) d(x) f (x, y ) d(x) d (y ).

Y X
(4)
61
n. Ya observamos que el resultado es cierto para funDemostracio ciones simples con coecientes positivos. Sea f : (X Y ) [0, ] una funci on integrable y {n } una sucesi on de funciones simples crecientes que convergen punctualmente a f (como en la demostraci on del Teorema 3.6). Las sucesiones de funciones n (x) = Y (n )x (y ) d (y ) y n (y ) = X (n )y (x) d(x) son crecientes, no negativas y convergen punctualmente a y respectivamente. Entonces y son medibles. Ocupando el Teorema de Convergencia Mon otona tenemos f (x, y ) d (y ) d(x) =
X Y X
(x) d(x) n (x) d(x) n (x, y ) d( )
= lim
X
= lim
X Y
=
X Y
f (x, y ) d( ).
Similarmente para
Y
(y ) d (y ).
Observamos que si f (x, y ) 0 y

X Y
f (x, y ) d( ) es nito, fx (y ) d (y ) es nito
f y (x) d(x) es nito para casi todo y Y , y

X Y
para casi todo x X . El siguiente teorema nos da la identidad (4) en el caso de funciones integrables (no necesariamente no negativas). Teorema 3.14 (Fubini). Sean (X, A, ) y (Y, B, ) espacios de medida y sea f : (X Y ) R una funci on integrable. Entonces (i) fx (y ) = f (x, y ) es integrable para casi todo x X y f y (x) = f (x, y ) es integrable para casi todo y Y . (ii) La funci on x y
X
fx (y ) d (y ) es integrable y la funci on
f y (x) d(x) es integrable.
(iii) La identidad (4) es cierta
62
n. El resultado es inmediato porque las partes positivas Demostracio y negativas de f son integrables y ellas se pueden tratar con el teorema de Tonelli y la linealidad de la integral. En muchas aplicaciones los teoremas de Tonelli y Fubini se utilizan juntos. Si f : (X Y ) R es una funci on y se quiere cambiar la orden de integraci on en
Y X
f (x, y ) d(x) d (y ), primero se verica que
|f (x, y )| es integrable con el c omputo de cualquiera de los integrales en la identidad (4). Despues se utiliza en Teorema de Fubini para concluir que la integral iguala
X Y
f (x, y ) d (y ) d(x).
Ejercicios 32. Demuestre las observaciones que le siguen a la Denici on 3.20. 33. Demuestre que si y son -nitos, tambi en lo es. 34. a. De un ejemplo que demuestra que y pueden ser medidas completas pero no tiene que ser completo. b. De un hip otesis que garantiza que es completo. 35. Demuestre que la intersecci on de cualquier colecci on de clases mon otonas es una clase mon otona. 36. En este problema demostramos el Lema 3.17. Sea A una algebra y M(A) la clase mon otona generada por A. e es suciente demostrar que M(A) es un algebra? a. Por qu c b. Demuestre que {E M(A) : E M(A)} es una clase mon otona que contiene a A y por lo tanto iguala a M(A). c. Para E M(A) denimos E = {F M(A) : E F M(A)}. Demuestre que E es una clase mon tona que contiene a A y por lo tanto E = M(A). d. Termine la demostraci on del Lema 3.17. 37. De un ejemplo que demuestra que el hip otesis de -nito es necesario en el teorema de Tonelli.
63
38. Eval ue las siguientes integrales. En todas, m es la medida de Lebesgue. a. b. c.

1 1
xe(x xe(x
[0,)R
2 +y 2 )
d(m m).
[0,)[0,)
2 +y 2 )
d(m m). x dy dx. + y 2 )2 (x, y ) = 0; (x, y ) = (0, 0).

1 1
(x2
39. Sea f (x, y ) =
x2 y 2 (x2 +y 2 )2
0 a. Demuestre que
1 0 0 1
f (x, y ) dy dx =
0 0
f (x, y ) dx dy.
b. Qu e podemos concluir sobre f ? 40. Sean (X, A, ) y (Y, B, ) espacios de medida -nita y g : X R y h : Y R funciones integrables. a. Demuestre que h(x, y ) = g (x)h(y ) es integrable. b. C omo se puede computar
X Y
f (x, y ) d( )?
Cap tulo 4
Los Espacios Lp
4.1. Deniciones y Propiedades B asicas En este cap tulo tratamos espacios de funciones que juegan un papel importante en matem aticas, f sica y otras ciencias. Estos espacios tambi en han motivado mucho del an alisis matem atico desarrollado en el siglo XX. Por ejemplo, las deniciones de estructuras b asicas en el an alisis funcional fueron creadas para acomodar a los espacios Lp dentro de una teor a m as amplia. Aunque muchas funciones dentro de ellos habian sido estudiadas por muchos siglos, el estudio organizado de estos espacios naci o al principio del siglo XX porque la teor a de la medida es indispensable para su denici on. Sea (X, B, ) un espacio de medida y sea F la colecci on de funciones medibles complejas denidas en X . O sea f F signica f = fr + ifi tal que fr , fi : X R son funciones medibles como denidas en el u ltimo cap tulo. Identicamos funciones f, g F como iguales si f (x) = g (x) para casi todo x X . Es decir que las funciones que estudiaremos son en realidad clases de equivalencia de funciones medibles bajo la relaci on f g si ({x X : f (x) = g (x)}) = 0. Los elementos en los espacios Lp (), 1 p < ser an funciones que satisfacen ciertas condiciones de crecimiento y las funciones en L () seran las funciones casi siempre actotadas. n 4.1. Para 1 p < el espacio Definicio Lp () = {f F :
X
|f |p d < }
y L () = {f F : M R+ tal que {x X : |f (x)| > M } = 0}. Observamos que los espacios est an bien denidos porque si f, g F y f g, tenemos que f Lp () si y s olo si g Lp () para 1 p .
64
4.1. DEFINICIONES Y PROPIEDADES BASICAS
65
Demostrar que L () es un espacio vectorial es f acil y lo dejamos como ejercicio. Para los otros casos observamos que f Lp () y c C implica que cf Lp (). Si f, g F , |f (x) + g (x)|p (2 max{|f (x)|, |g (x)|})p = 2p max{|f (x)|p , |g (x)|p } 2p (|f (x)|p + |g (x)|p ) . Entonces f, g Lp () implica que f + g Lp (). El elemento cero en todos los espacios es la funci on que iguala cero para casi todo x X . Cada espacio tiene mucha m as estructura porque podemos asociar a cada elemento un tama no. Es decir una norma que se comporta como el valor absoluto. Veremos que el caso p = lo tendremos que tratar por separado. n 4.2. Fijamos 1 p < . Si f Lp (), denimos la norma Definicio de f por f Si f L (), f
p
=
X
|f |p d
1/p
= inf {M : ({x X : |f (x)| > M }) = 0}.1
Dejamos como ejercicio demostrar que para cada 1 p , f p = 0 si y s olo si f (x) = 0 para casi todo x X . Entonces si f = g, f g p = 0. Si c C, cf p = |c| f p . Para concluir que p se comporta como el valor absoluto falta demostrar la desigualdad del tri angulo: f +g p f p + g p . Cuando p = , esta no es tan inmediata. Necesitaremos establer una relaci on entre funciones en diferentes espacios. Especicamente veremos 1 p q +1 que si p, q [1, ] satisfacen p q = 1, los espacios L () y L () tienen conecciones fundamentales. Para el caso p > 1 haremos uso del siguiente resultado de c alculo.
ap p
Lema 4.1. Si p > 1, a, b > 0 y q satisface q + bq , con igualdad si y s olo si ap = bq .
1 p
1 q
= 1, entonces ab
n. Formamos la funci Demostracio on k (x) = xp1 y su funci on in1 /p 1 versa l(y ) = y . La cantidad ab se puede interpretar como el area del rect angulo con vertices (0, 0), (0, a), (a, b), y (0, b). Esta area se puede a b acotar con 0 k (x) dx + 0 l(y ) dy . Le referimos a la Figura 1. O sea
1Este n umero se puede entender como la cantidad m as peque na que cota a f para
casi todo x X .
66
1
4. LOS ESPACIOS Lp
ab
ap p
si el area del rect angulo es igual a la suma de las dos integrales. Esto sucede p si y s olo si k (a) = b. Es decir cuando a = b1/p1 ap = b p1 = bq .
b p1 1 +1 p1
+1
ap p
bq q .
Las dos cantidades ser an iguales si y s olo
x a
Figura 1. Gr aca de k (x) y l(y ) (son iguales) en el caso p = 2.
1 +1 Teorema 4.1 (Desigualdad de H older). Sea p, q 1 tal que p q = 1. p q 1 Si f L () y g L (), tenemos que f g L () y f g 1 f p g q .
n. Si f o g iguala 0, no hay nada que demostrar. Demostracio (x)| Cuando p > 1 y f p , g q = 0, Utilizamos el lema con a = |ff y p b=
|g (x)| g q
para obtener |f (x)g (x)| |f (x)|p |g (x)|q + . f p g q f p g q pp qq
Esta desigualdad da inmediatamente que f g L1 (). Integrando sobre X y despues multiplicando por f p g q obtenemos la desigualdad del teorema. Si f L1 () y g L (), jamos > 0. Sea E = {x X : |g (x)| > g + }. La denici on de implica que (E ) = 0 y para computar 1 es suciente integrar sobre E c . Como |g (x)| g + cuando x E c ,
67
tenemos que E c |f g | d E c |f |( g + ) d = f es arbitratio concluimos que f g 1 f 1 g . Lp (),
1(
+ ). Como
Teorema 4.2 (Desigualdad de Minkowski). Si 1 p y f, g tenemos f + g p f p + g p .
n. El caso p = 1 lo obtenemos utilizando la desigualdad Demostracio del triangulo para n umeros reales y la primera parte de la Proposici on 3.9. El caso p = lo dejamos como ejercicio. p Si p > 1, denimos q = p older. 1 para poder utilizar la desigualdad de H Es obvio que |f (x) + g (x)|p |f (x) + g (x)|p1 |f (x)| + |f (x) + g (x)|p1 |g (x)| (1)
y que |f (x) + g (x)|p1 Lq (). La desigualgad de H older nos da que p 1 p 1 1 (f + g ) f, (f + g ) g L (). Integrando (1) y utilizando la misma da f +g
p p
(f + g )p1
+ (f + g )p1 ( f
p
|f + g |p d
X
1/q
+ g p)
f +g
p q
( f
p
p q
+ g p) .
Dividiendo la desigualda por f + g el resultado.
y recordando que p p q = 1, obtenemos
Ejemplo 4.1. Sea X = N y (n) = 1 n N. En este caso los espacios Lp () son espacios de sucesiones en C y la integral se convierte en suma innita. Estos espacios se escriben lp (N). Es decir l (N) es el espacio de suceciones acotadas con {xn } = sup{|xn |}; y lp (N) =

1 p
{xn } :
n=1
|xn | <
con
{xn }
=
n=1
|xn |
Por ejemplo, la
1 1 sucesi on (1, 2 , 3 , . . . ) pertenece a todos los lp (N) para p > 1 pero no a l1 (N).
Como espacio vectorial con una funci on que se comporta como valor p absoluto, L () tiene una manera fundamental de medir distancia entre sus elementos y podemos denir la noci on de convergencia.
68
4. LOS ESPACIOS Lp
n 4.3. Decimos que la sucesi Definicio on {fn } Lp () converge a f Lp () y escribimos lim fn = f si lim f fn p = 0.
n n
Ejemplo 4.2 . Sea X = [0, 1] y la medida de Lebesgue. Deni1 0 x 1 ; n mos fn (x) = La sucesi on {fn } est a en cada Lp ([0, 1]) 0 x > 1 . n y lim fn = 0 cuando p = , pero lim fn = 0 en L ([0, 1]) porque fn
n =
1 n.
Ejemplo 4.3. Sea X = R y la medida de Lebesgue. Denimos 1 x [n, n + 1]; fn (x) = Para todo x R, lim f (x) = 0, pero lim fn = n n 0 x [n, n + 1]. 0 en ningun Lp (R) porque fn p = 1 para todo 1 p . Igual que sucede con sucesiones de n umeros, si la sucesi on {fn } Lp () converge, para cada > 0 existe N N tal que m, n > N, fn fm p < . En este caso 2 1 p < ; Entonces la sucesi on no converge en ninguno fn fm p = 1 p = . de los espacios Lp (). Ejemplo 4.4. En lp (N) las sucesiones son suceciones de suceciones de n umeros complejos. Por ejemplo, la sucesi on f1 = (1, 0, 0, 0, . . .), f2 = (0, 1, 0, 0, . . .), f3 = (0, 0, 1, 0, . . .), . . . est a en cada lp (N) pero no converge en ninguno de los espacios.
Ejercicios 1. Sean f, g L () y c C. a. Demuestre que f + cg L (). b. Demuestre que cf = |c| f y que f + g f + g . c. Demuestre que ({x X : |f (x)| > f }) = 0. d. Suponemos que existe un subconjunto medible X X tal que (X/X ) = 0. Demuestre que si |f (x)| < x X , entonces f < .
69
2. Demuestre que f (x) = 0 para casi todo x X si y s olo si f para cada 1 p .
=0
3. Se supone que (X ) < . a. Demuestre que si 1 p < p existe un constante C tal que para toda f Lp (X ), f p C f p . b. Qu e nos dice este resultado sobre la relaci on entre Lp () y Lp (X )? 4. Demuestre que si 1 p < p , lp (N) lp (N). 5. Demuestre que si f L () Lp () entonces f Lp (X ) para todo p > p. 6. Sea 1 p = p . Demuestre que existe f Lp (R) tal que f Lp (R). 7. Qu e dice la desigualdad de H older para las sucesiones 2 {xn }, {yn } l (N)? 8. Se supone que la sucesi on {fn } Lp () converge. Demuestre que para cada > 0 existe N N tal que m, n > N, fn fm p < . 9. Encuentre los siguientes ejemplos. a. Una sucesi on de funciones {fn } Lp (R) para todo 1 p tal que lim fn = 0 y tal que lim fn no existe en ning un otro espacio Lp (R). b. Una sucesi on de funciones {fn } en L1 (R) L2 (R) tal que lim fn 2 = 0 pero lim fn 1 = 0. c. Una sucesi on de funciones {fn } en L1 (R) L2 (R) tal que lim fn 1 = 0 pero lim fn 2 = 0.
n n n n n n
10. Se supone que (X ) < y que {fn } L () es una sucesi on que converge a 0 en L (). Demuestre que lim fn p = 0 para todo p 1.
n
11. En el espacio X = [0, 1], encuentre una sucesi on de funciones escalonadas {n } tal que lim n p = 0 para todo 1 p < pero n
1 p
= 1 y lim (x) = 0 para ning un x [0, 1].

n
1 q
12. Sea (X, B, ) un espacio de medida y 1 p, q tal que = 1.
70
4. LOS ESPACIOS Lp
a. Si p = 1, q = y g L1 (), encuentre una funci on f L () tal que X f g d = g 1 . on f Lq () tal b. Si 1 < p < y g Lp (), encuentre una funci que X f g d = g p . on f L1 () c. Fijamos > 0 y g L (). Encuentre una funci tal que X f g d ( g ) f 1 . 13. Este ejercicio se dedica a la desmostraci on que la desigualdad del tri angulo no es cierta si 0 < p < 1. Fijamos un espacio de medida (X, B, ) y 0 < p < 1. a. Si a, b > 0, demuestre que ap + bp > (a + b)p . b. Escojemos E, F B de medida positiva tal que E F = . Demuestre que p E d
1 p
+
X
1
p F
1 p
<
X
1
(E + F ) d
1 p
(Utilize a = (E ) p y b = (F ) p en la parte a.) 14. Este ejercicio establece una cierta conversa a desigualdad de H older. 1 1 Sea (X, A, ) un espacio de medida -nito, p + q = 1 con p = , y S la colecci on de funciones simples que igualan cero fuera de un conjunto de medida nita. Suponemos que g es una funci on medible tal que f g L1 f S . El resultado es que g Lq y g q = sup X f g d : f S y f p = 1 . La demostraci on la realizaremos en tres partes. on creciente de conjuntos medibles de mea. Sea {Ej } una sucesi dida nita tal que X = Ej y {j } una sucesi on de funciones simples tal que j g y |j | |g |. Dena una sucesi on {gj } S tal que gj g punctualmente y |gj | |g |. q |gj |q1 sgn g . Demuestre que fj p = 1. b. Dena fj = gj 1 q c. Utilize el Lema de Fatou para establecer que g
q
sup
X
f g d : f S y f
=1 .
Esto termina la demostraci on porque la desigualdad de H older nos da la otra desigualdad.
DEL ANALISIS FUNCIONAL 4.2. ESTRUCTURAS BASICAS
71
4.2. Estructuras B asicas del An alisis Funcional Las ideas fundamentales de la rama de matem aticas que ahora se conoce como an alisis funcional les dio forma organizada al principio del siglo pasado el polaco Stefan Banach. Veremos que espacios concretos como Cn y los espacios Lp () son ejemplos de estructuras m as generales. n 4.4. Sea V un espacio vectorial sobre C. Una norma en V Definicio es una funci on : V R+ {0} tal que olo si f = 0; i. f = 0 si y s ii. cf = |c| f para todo f V y c C; iii. f + g f + g para todo f, g V. Al espacio con tal estructura se llama espacio vectorial normado o espacio lineal normado. Ejemplo 4.5. Para cada n N, Cn es un espacio vectorial normado con la norma euclidiana: (x1 , . . . , xn ) = |x1 |2 + + |xn |2 . Ejemplo 4.6. Cualquier de los espacios Lp () es un espacio vectorial normado. La norma nos da una manera de medir distancia entre elementos: si f, g V , la distancia entre f y g es d(f, g ) = f g . Es f acil ver que la desigualdad del tri angulo nos da la desigualdad del tri angulo en terminos de esta funci on de distancia. O sea que d(f, g ) d(f, h) + d(h, g ) para todo f, g, h V . Entonces tenemos los conceptos fundamentales de espacios m etricos. Por ejemplo, a un subconjunto S V le llamamos denso si para cada > 0 y v V existe s S tal que v s < . Las denici on de convergencia en la secci on previa est a de acuerdo con la siguiente denici on donde tambi en denimos otros conceptos fundamentales. n 4.5. Sea V un espacio vectorial normado. Decimos que la Definicio sucesi on {fn } converge a o tiene l mite f V si lim fn f = 0. A la n sucesi on se le llama Cauchy si para cada > 0, existe N N tal que para todo m, n N , fn fm < . Se dice que el espacio est a completo o que es un espacio de Banach si toda sucesi on Cauchy tiene l mite en V . Ejemplo 4.7. El hecho que sucesiones Cauchy convergen en C nos dice que Cn es un espacio de Banach para cada n N.
72
4. LOS ESPACIOS Lp
Ejemplo 4.8. El espacio de funciones continuas en un intervalo cerrado V = C [a, b] con norma f = max{|f (x)| : x [a, b]} es un espacio de Banach. La demostraci on la dejamos como ejercicio. Recordamos que uno de los teoremas de c alculo nos dice que una serie de n umeros complejos que converge absolutamente converge. O sea si
n n
{xn } C y
k=1
|xk | = lim
|xk | existe entonces

k=1 k=1
xk = lim
xk
k=1
existe. Lo fundamental en la demostraci on de este teorema es que las sumas n parciales on Cauchy y como C est a completo, la k=1 xk son una sucesi sucesi on converge. La conversa de este teorema tambi en es cierto no solo en C pero tambi en en espacios vectoriales normados. Este resultado ser au til p en la pr oxima secci on para demostrar que los espacios L () son espacios de Banach. a completo (o sea Teorema 4.3. Un espacio vectorial normado V est
es espacio de Banach) si y s olo si la convergencia de

k=1
fk
implica la
convergencia de
k=1
fk . fk con-
n. () Si {fk } V es una sucesi Demostracio on tal que

n
verge entonces la sucesi on de sumas parciales cada > 0, N tal que para n > m N,
n m n k=1
fk
es Cauchy y para
fk
k=1 n k=1
fk =
k=m+1
fk
< .
Utilizando la desigualdad del tri angulo vemos que la sucesi on de sumas parciales
k=1 n m n n
fk tambi en es Cauchy porque para n > m N,
fk
k=1 k=1
fk =
k=m+1
fk
k=m+1
fk < . fk converge
Como la sucesi on de sumas parciales es Cauchy, la serie porque V est a completo.
73
() Sea {fk } una sucesi on Cauchy en V . Para cada n N existe 1 Kn tal que fk fl < n2 para todo k, l Kn . Nos aseguramos que las Kn son crecientes y utilizando la subsuseci on {fKn } denimos la sucesi on 1 g1 = fK1 , g2 = fK2 fK1 , . . . , gn = fKn fKn1 . Tenemos que gn < n 2 para n 2 y gn converge. El hip otesis nos dice que gn converge a un elemento f V . Las sumas parciales de gn son sm = m n=1 gn = fKm . O sea que la subsucesi on {fKm } converge a un elemento f V . El ejercicio 15b nos dice que la sucesi on entera {fn } converge a f . Comentamos que este u ltimo resultado depende de la estructura algebraica del espacio y la relaci on entre esta y la norma. Por ejemplo, no existe un resultado similar en espacios m etricos donde no hay estructura algebraica. Hay espacios vectoriales normados cuyas normas nacen de otra estructura algebraica. La siguiente denici on se motiva por el producto interno n clasico en el espacio C . n 4.6. Sea V un espacio vectorial complejo. Un producto Definicio interno en V es una funci on , : V V C tal que para todo x, y, z V (1) (2) (3) (4) x, x 0 con igualdad si y s olo si x = 0; x, y = y, x ; x + y, z = x, z + y, z ; cx, y = c x, y para todo c C.
Ejemplo 4.9. En el espacio L2 (X ) la desigualdad de H older nos deja 2 denir para f, g L f, g =

X
f g.
Dejamos como ejercicio la demostraci on que este es un producto interno. La primera condici on en la denici on del producto interno sugiere que en un espacio vectorial con producto interno hay una manera natural para denir una norma. Para vericar esto necesitaremos el siguiente resultado. Teorema 4.4 (Desigualdad de Cauchy-Schwarz). Sea V un espacio vectorial con producto interno , . Para todo x, y V tenemos | x, y | x, x y, y .
74
4. LOS ESPACIOS Lp
Tratamos la desmostraci on y varios otras propiedades del producto interno en el ejercicio 20. Observamos que utilizando el producto interno de L2 , esta desigualdad es un caso especial de la desigualdad de H older. Teorema 4.5. Sea V un espacio vectorial con producto interno , . La denici on x = x, x nos da un espacio vectorial normado. n. La u Demostracio nica propiedad que no es obvia es la desigualdad del tri angulo. Si x, y V , utilizando el ejercicio 20 y la desigualdad CauchySchwarz (que se puede escribir | x, y | x y ), tenemos x+y
2
= x
+ 2 Re{ x, y } + y
+ 2 x y + y 2.
Quiz as la diferencia m as grande entre un espacio vectorial con producto interno y uno normado es que el producto interno le da al espacio una geometr a. n 4.7. Sea V un espacio vectorial con producto interno. DeDefinicio cimos que x, y V son ortogonales si x, y = 0. El siguiente teorema es fundamental y su demostraci on es inmediata. Teorema 4.6 (Teorema de Pit agoras). Sean x1 , x2 , . . . , xn elementos en un espacio vectorial con producto interno tal que xj , xk = 0, j = k . Tenemos que
n
xj
j =1
=
j =1
xj
Ejemplo 4.10. Regresando al caso de L2 (X ), vemos que f, g L2 (X ) son ortogonales cuando X f g = 0. Por ejemplo, si consideramos f (x) = sin 2x y g (x) = cos 2x en L2 ([0, 1]), entonces estas funciones son ortogonales. Tambi en, en cualquier L2 (X ) si E1 , E2 son conjuntos medibles disjuntos, entonces E1 , E2 son ortogonales. Un espacio vectorial con producto interno tiene mucha m as estructura geom etrica que normalmente se estudia en una clase de algebra lineal. En el an alisis funcional estudiamos los espacios que est an completos.
75
n 4.8. Un espacio vectorial con producto interno que est Definicio a completo utilizando la norma que se dene por el producto interno se llama un espacio de Hilbert. O sea que un espacio de Hilbert es un espacio de Banach donde la norma viene del producto interno. Como ya hemos previsto, en la pr oxima secci on 2 veremos que los espacios L (X ) son espacios de Hilbert. El an alisis funcional no solo consiste en el estudio de las estructuras que hemos denido en esta secci on sino tambi en en el estudio de las funciones lineales entre estos espacios. De inter es especial es la collecci on de funciones lineales continuas del espacio vectorial a C. n 4.9. Sea V un espacio vectorial normado. El espacio dual a Definicio V , escrito V es la colecci on de funciones lineales L : V C tal que existe un M > 0 con la propiedad que |L(v )| M v , v V . acil demostrar las siguientes armaciones. Observaciones. Es f (1) El espacio V es un espacio vectorial. v )| (2) La denici on L = sup |L( : v V, v = 0 v convierte a V en
un espacio vectorial normado.2 (3) Para cualquier L V y sucesi on {vn } V tal que limn vn = v , tenemos que limn L(vn ) = v . O sea que L es una funci on continua. Esto nos da que si S V es un subconjunto denso y L(s) = 0 s S , entonces L(v ) = 0 v V . (4) Si V es un espacio vectorial con producto interno y jamos w V , la formula L(v ) = v, w dene un elemento en V y L = w . Ejemplo 4.11. Sea (X, B, ) un espacio de medida y 1 p, q tal 1 q p que p +1 q = 1. Fijamos g L (X ) y para f L () denimos Lg (f ) = f g d.
X
Est a claro que Lg es una funci on lineal y la desigualdad de H older nos da p que Lg L () y Lg g q . El ejercicio 12 se dedica a la desmostraci on que Lg = g q .
2Utilizamos la misma notaci on para la norma en V y la norma en V .
76
4. LOS ESPACIOS Lp
Ejercicios 15. Sea V un espacio vectorial normado y {fn } una sucesi on. a. Demuestre que si {fn } es convergente tambi en es Cauchy. b. Demuestre que si {fn } es Cauchy y tiene una subsucesi on que converge entonces la sucesi on entera converge al mismo l mite. 16. Sea C [a, b] el espacio de funciones continuas en el intervalo [a, b] con norma f = max{|f (x)| : x [a, b]}. En este problema demostramos que C [a, b] es un espacio de Banach. Sea {fn } C [a, b] una sucesi on Cauchy. Como para cada x [a, b] la sucesi on de n umeros complejos {fn (x)} es Cauchy, existe una funci on f : [a, b] C tal que lim fn (x) = f (x). n a. Demuestre que f es continua. b. Demuestre que lim fn f = 0.
n
17. Sea V el espacio de suceciones complejas que convergen a 0. O sea f V signica que f = (x1 , x2 , x3 , . . .) y lim xn = 0. n a. Demuestre que V es un espacio vectorial. b. Demuestre directamente que f = {xn } = max{|xn |} es una norma en V . (En V esta norma es nada m as que la norma de l (N).) c. Demuestre que con esta norma V es un espacio de Banach. 18. Sea V un espacio de Banach y {xn }, {yn } sucesiones en V . a. Demuestre que si yn converge y existe N tal que xn yn para n N , entonces xn converge. xn+1 b. Demuestre que si lim existe y es < 1, entonces xn n xn converge. c. De un ejemplo que demuestra que lim xn = 0 y xn+1 > xn , n no implica la convergencia de 19. Demuestre que en L2 (X ),
X n
(1)n xn .
f g dene un producto interno.
20. Sea V un espacio vectorial con producto interno y x, y V . a. Demuestre que para todo a R, x ay, x ay = x, x 2a Re{ x, y } + a2 y, y . b. C uales son las identidades cuando a C? c. Demuestre que cx, cx = |c|2 x, x para todo c C.
77
d. Recordamos que para cada c C, c = 0 existe una cantidad sgn(c) tal que |sgn(c)| = 1 y c sgn(c) = |c|. Demuestre que sgn(c) = sgn(c). e. Demuestre que si t R, x t sgn( x, y )y, x t sgn( x, y )y = x, x 2t | x, y | + t2 y, y . (2) (3)
f. Esta u ltima cantidad es una funci on quadratica en t y es 0. Demuestre la desigualdad Cauchy-Schwarz. g. Recuerde que la expresi on (3) iguala cero si y s olo si x t sgn( x, y )y = 0. Demuestre que la desigualdad de CauchySchwarz es identidad si y s olo si x = cy, c C. 21. La desigualdad Cauchy-Schwarz nos dice que el producto interno es continuo en ambos componentes. Demuestre que si {xn }, {yn } son sucesiones en V tal que lim xn = x y lim yn = y entonces lim xn , yn = x, y . (Utilize xn , yn x, y = xn x, yn + x, yn y .)
n n n
22. Sea V un espacio vectorial con producto interno y x, y V . a. Demuestre el teorema de Pit agoras. b. Demuestre la identidad del paralelogramo: x+y
2
+ xy
=2
+ y
c. Demuestre la identidad de polarizaci on: 4 x, y = x + y

2
xy
+ i x + iy
i x iy 2 .
d. Demuestre que una colecci on de elementos ortogonales son linealmente independientes. 23. Demuestre que la identidad del paralelogramo no es cierta en l (N) ni en C [a, b]. Qu e podemos concluir sobre estos espacios? 24. Demuestre que en L2 ([0, 1]) las funciones {e2inx }nZ satisfacen 0 m = n; e2inx , e2mx = 1 m = n. Qu e nos dice este resultado sobre la dimensi on de L2 ([0, 1])?
78
4. LOS ESPACIOS Lp
25. Demuestre las observaciones sobre la denici on 4.9.
4.3. Los Espacios Lp son Espacios de Banach El teorema de Riesz-Fischer nos dice que cada Lp () es un espacio completo. on de funciones Teorema 4.7. Para cada 1 p , una sucesi p {fn } L () es Cauchy si y s olo si existe una funci on f Lp () tal que lim fn f p = 0. n. Primero tratamos el caso 1 p < . Utilizamos el Demostracio
Teorema 4.3. Sea {fn } Lp () una sucesi on tal que

n n=1
fn
= M < .
Denimos hn (x) =
k=1
|fk (x)|. La desigualdad del tri angulo nos da que
p hn p M . O sea que hp n M . Para cada x X, {hn (x)} es una sucesi on creciente y por lo tanto podemos denir h(x) = limn hn (x) [0, ]. El lema de Fatou nos da que hp M p y podemos concluir que ({x : h(x) = }) = 0. Para cada x X donde h(x) es nita, la se rie n=1 |hn (x)| converge y por lo tanto n=1 fn (x) converge. Denimos f (x) h(x) < ; n=1 n f (x) = Es evidente que f es medible porque es 0 h(x) = . el l mite de una sucesi on de funciones medibles para casi todo x. Tambi en n p p |f (x)| h(x) porque k=1 |fk (x)| h(x). Entonces |f | h y tenemos p p p p que f Lp (). Finalmente | n k=1 fk (x) f (x)| (2h(x)) = 2 h (x). p La funci on 2p hp es integrable y | n k=1 fk (x) f (x)| converge a 0 para casi todo x X . El teorema de convergencia dominada de Lebesgue (Teorema 3.8) da que n n
lim
|
k=1
fk (x) f (x)|p d = 0.
4.3. LOS ESPACIOS Lp SON ESPACIOS DE BANACH
79
O sea que la serie

k=1
fk converge a f en Lp ().
Ahora tratamos el caso p = . Si {fn } es una sucesi on Cauchy en L (), el ejercicio 1c nos dice que ({x : |fk (x)| > fk }) = ({x : |fk (x) fl (x)| > fk fl }) = 0 para todo k, l N. Por lo tanto existe un subconjunto medible X X tal que si x X , |fk (x)| fk y |fk (x) fl (x)| fk fl . En particular la sucesi on de n umeros {fk (x)} es Cauchy para todo x X y por lo tanto converge. Denimos lim fk (x) x X ; f (x) = k 0 xX. Es evidente que f es medible y como la sucesi on { fk } est a acotada (por que es Cauchy), f L (). Fijamos > 0. Existe N N tal que k, l N implica que fk fl < y por lo tanto para todo x X , |fk (x) fl (x)| < . Si jamos x X , existe un N > N tal que |fN (x) f (x)| < . Tenemos |f (x)fk (x)| |f (x)fN (x)|+|fN (x)fk (x)| 2 para todo k > N donde N es independiente de x. O sea que {fk } converge a f uniformemente en X . Utlizamos el ejercicio 1d para concluir que limk fk f = 0. Corolario 4.2. El espacio L2 (X ) es un espacio de Hilbert. Un concepto importante en el anal sis es poder approximar un elemento cualquiera utilizando una colecci on de elementos cuya estructura la conocemos bien. n 4.10. Sea V un espacio vectorial normado y S un subconDefinicio junto de V . Se dice que S es denso en V si para cada x V , existe una sucesi on {sn } S tal que limn x sn = 0.
n
n 4.3. La colecci Proposicio on de funciones simples s = que (Ej ) < , j es densa en Lp () para todo 1 p .
j =1
aj Ej tal
n. El caso p = lo dejamos como ejercicio. Fijamos Demostracio n 1 p < y f Lp (). Si s = j =1 aj Ej , tenemos que s p =
n p j =1 |aj | (Ej ) nimos f + y f y
1 p
entonces s Lp (). Como en la Denici on 2.7 de-
escribimos f = f + f . Como f Lp (), ({x X :
80
4. LOS ESPACIOS Lp
f + (x) o f (x) = }) = 0. Entonces podemos modicar la construcci on de la funci on en la Proposici on 3.6 para producir sucesiones de funciones simples + {sn } y {sn } tal que limn |f + (x) s+ n (x)| = 0 y limn |f (x) sn (x)| = + p 0 para casi toda x X , |s+ n | < |f | y |sn | < |f |. Como f L () la construcci on en la Proposici on 3.6 garantiza que las funciones simples se anulan p fuera de un conjunto de medida nita. O sea {s+ n }, {sn } L (). Denimos p sn = s+ angulo n sn y observamos que sn L (). La desigualdad del tri para n umeros reales nos da que limn |sn (x) f (x)| = 0 para casi todo x X y tambi en que |sn | < |f |. Tenemos que |sn f |p < 2p |f |p . Como |f |p es integrable podemos utilizar el teorema de convergencia dominada de Lebesgue (Teorema 3.8) para concluir que X |sn f |p d = 0.
En la secci on previa vimos que una funci on en Lq () dene naturalmente 1 +1 un elemento en Lp () cuando p q = 1. El siguiente teorema nos dice que cuando 1 p < todos los elementos en Lp () se pueden realizar en esta manera cuando el espacio de medida es -nito.3 Teorema 4.8 (Teorema de Representaci on de Riesz). Sea (X, A, ) un 1 espacio de medida -nito, 1 p < , L Lp () y p +1 q = 1. Existe una q funci on u nica g L () tal que i. L(f ) =
X
f g d, f Lp ().
ii. L = g q . n. Primero tratamos el caso cuando es nito. Si es Demostracio nito, toda funci on simple est a en Lp . Si (Lp ) , denimos (E ) = (E ) para todo E A. Si {Ej } A es una colecci on disjunta tal que E = j =1 Ej se tiene que E = j =1 Ej y
3El hip otesis de -nito se necesita s olo para el caso p = 1.
4.3. LOS ESPACIOS Lp SON ESPACIOS DE BANACH
81
n n
Ej =
p n X
lim
E
j =1
lim
E
j =1
Ej
1 p d
1 p Ej d = lim n X j =n+1
lim
j =n+1
Ej = 0.
O sea que E = j =1 Ej es una igualdad con respecto a la convergencia en p L . Como es funcional lineal continuo, se tiene que (E ) = j =1 (Ej ). Es decir (E ) = en si (E ) = 0, E = 0 en Lp y j =1 (Ej ). Tambi (E ) = (0) = 0. Concluimos que es una medida compleja en A y que . El Teorema Radon-Nikodym (Teorema 3.11) nos dice que existe una funci on g L1 () tal que (E ) =
E
g d, E A.
Si f = aj Ej es una funci on simple escrita en forma can onica, tenemos la existencia de una funci on gj en Ej tal que (Ej ) = Ej gj d para cada j . Denimos g = gj Ej y tenemos (f ) = =
X
aj (Ej ) = f g d.
aj
Ej
gj d =
aj Ej g d
La cota del funcional da que X f g d = f p para toda funci on simple q f . El resultado del ejercicio 14 da que g L . La desigualdad de H older p da que f X f g d dene un funcional lineal en L y como este funcional iguala en un conjunto denso de Lp (Proposici on 4.3), los dos funcionales p son iguales en L . Esto concluye la demostraci on cuando es nito. Si es -nito, existe una colecci on creciente {Ej } A tal que (Ej ) < p y X = Ej . Cada funci on f L (Ej ) dene naturalmente una funci on p p en L (X ): la funci on extendida fext se dene 0 fuera de Ej . Si (L (X )) , dene un elemento de (Lp (Ej )) utilizando (f ) = (fext ). El caso nito
82
4. LOS ESPACIOS Lp
da que gj Lq (Ej ) tal que (f ) = Ej f gj d f Lp (Ej ) y que gj q = restrinjida a Lp (Ej ) q . La funci on gj es u nica modulo cambios en conjuntos de medida 0. Como los conjuntos {Ej } son crecientes, gj (x) = gj (x) para casi todo x Ej si j < j . El l mite punctual de la sucesi on {gj } lo utilizamos para denir una funci on medible g denida para casi todo x X . El Teorema de Convergencia Mon otona (Teorema 3.5) da que g q = lim gj q y concluimos que g Lq (X ). Finalmente, si f Lp (X ), f Ej f p 0, entonces (f ) = lim (f Ej ). El Teorema de Convergencia Dominada (Teorema 3.8) da que lim (f Ej ) = lim
Ej
f gj d =
f g d.
X
El ejercicio 12b establece que L = g q .
Ejercicios 26. Demuestre el caso p = del Teorema 4.7. Utilize el Teorema 4.3. 27. Demuestre la Proposici on 4.3 cuando p = .
Bibliograf a
[Ch] [Co] [F] [KF] [O] [R] S.B. Chae, Lebesgue Integration, 2nd edition, Springer-Verlag, New York, 1995. D.L. Cohn, Measure Theory, Birkh auser, Boston, 1980. G.B. Folland, Real Analysis, Modern Techniques and Their Applications, Wiley, New York, 1984. A.N. Kolmogorov y S.V. Fom n, Elementos de la teor a de funciones y del an alisis funcional, Editorial Mir, Mosc u, 1975. J.C. Oxtoby, Measure and Category, Springer-Verlag, New York, 1971. H.L. Royden, Introduction to Real Analysis, 2nd edition, Macmillan, New York, 1968.
83
Los Apuntes son el resultado de un cursillo que se realiz o en la Escuela de Ciencias Naturales y Matem aticas de la Universidad de El Salvador (UES) en julio de 1995. La exposici on est a dise nada para estudiantes y profesores de matem aticas quienes tienen un buen conocimiento de los conceptos y t ecnicas fundamentales del an alisis cl asico. El lector ideal es el estudiante de matem aticas de u ltimo a no de licenciatura o de primer a no de maestr a. El texto est a escrito con m as detalles de lo que se acostumbra en textos de matem aticas. Esto se hizo para que el lector que estudia teor a de la medida sin la ayuda de un profesor lo pueda hacer sin mucha referencia a otros textos.
0AH>AHJ ) A@E = =?E@ A O ?EA ?E=I @A ? FKJ=?E A IK =AIJH

= O @ ?J H=@ A ,AI@A '' AI FH BAI H @A I ) CA AI += EB H E=
- 5= L=@ H AIJK@E IK E?A ?E=JKH= A =JA =JE?=I = 7 ELAHIE@=@ @A += EB H E= I ) CA AI 7+ ) O =JA =JE?=I A = 7 ELAHIE@=@ @A += EB H E= *AH A AO =JA =JE?=I A = 7 ELAHIE@=@ O = =HO K J A

Apuntes de La Teor Ia de La Medida

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apuntes de La Teor Ia de La Medida

Uploaded by

Copyright:

Available Formats

Apuntes de la Teor a de la Medida

San Salvador, El Salvador

La Medida de Lebesgue en la Recta Real

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

sin onimo de subconjunto de n umeros reales.

1.2. MEDIDA EXTERIOR

Figura 1. Cubrimiento de intervalo (a, b) por subcolecci on nita. Se tiene

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

1.3. CONJUNTOS MEDIBLES Y LA MEDIDA DE LEBESGUE

1 A Un y m Un m A + n . Como A n=1 Un , m A m ( n=1 Un ). 1 Tambi en m ( n=1 Un ) m Un m A + n , n 1 y por lo tanto, m ( n=1 Un ) m A.

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

1.3. CONJUNTOS MEDIBLES Y LA MEDIDA DE LEBESGUE c = A E . Como E es medible, se tiene A E2 y A (E1 E2 ) E2 1 2

El el lema si A = R, se tiene que m (

es una colecci on de conjuntos medibles disjuntos.

cierta para todo n 1, se tiene que m A

Teniendo en cuenta la subaditividad (Proposicion 1.2), se tiene que

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

medibles disjuntos. Entonces m(

1.3. CONJUNTOS MEDIBLES Y LA MEDIDA DE LEBESGUE

ii. Si En+1 En n y mEn0

< para alg un n0 , entonces

m(Ej ) m(Ej +1 ) lim m(Ej ) m(Ej +1 )

En . Es f acil ver que m(En ) =

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

1.3. CONJUNTOS MEDIBLES Y LA MEDIDA DE LEBESGUE

5. Se denen los conjuntos: Aj =

Aj , para cada n 2; y nalmente E =

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

ble de conjuntos {Ei } tal que Ei Ej = cuando i = j y m (

E . Tambi en es obvio que

(E + ri ) = [0, 1). Por lo tanto tenemos (como

estamos suponiendo que E es medible) que

E + ri . Ya comentamos que 1.2) se tiene

Ei = [0, 1) y por sub aditividad (Proposici on

muy dif cil.

1.5. FUNCIONES MEDIBLES

n. Ejercicio. Demostracio n 1.12. Proposicio es medible.

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

1.5. FUNCIONES MEDIBLES

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL Mn

yi In,m (x). n es una funci on escalonada tal que

n (x) = (x) para todo x En excepto en un conjunto de medida < Luego

n (x) tambi en es una funci on escalonada tal que (x) =

excepto en un conjunto de medida . Finalmente, por la desigualdad triangular, f (x)

n (x) < excepto en un conjunto de medida 2. Por la

la imagen de , y si Ai = {x : (x) = i }, se tiene que (x) =

y se dice que es la representaci on can onica de . (Mire la Figura 3.)

Figura 3. Conjunto A1 en representaci on can onica de la funci on simple .

Observaciones. Si y son dos funciones simples y c R: (1) + , , , y c son simples.

1.5. FUNCIONES MEDIBLES

n. Es claro que la funci Demostracio on f es medible. Se dene

{x : |fi (x) f (x)| <

Ejercicios 10. Demuestre la Proposici on 1.11.

1. LA MEDIDA DE LEBESGUE EN LA RECTA REAL

(xi xi1 )Mi (f )

(xi xi1 )mi (f ),

integrable en el sentido de Riemann y R

Ahora se nota que

2.2. LA INTEGRAL SOBRE UN CONJUNTO DE MEDIDA FINITA

+ bbi,j ) Ai,j . Por el lema: ai,j mAi,j + b

(aai,j + bbi,j ) mAi,j = a

satisfacen n (x) f (x) n (x). Se tiene que

2.2. LA INTEGRAL SOBRE UN CONJUNTO DE MEDIDA FINITA n