5.10.

MEDIDAS PRODUCTO

123

5.10.

Medidas producto

Sean X e Y dos conjuntos. A cualquier conjunto de la forma A B con A X y B Y lo llamaremos un rect angulo. Denici on 5.99. Sean (X, M) e (Y, N ) dos espacios de medida. Decimos que un rect angulo A B es un rect angulo medible, si A M y B N . Denotaremos por R a la colecci on de los rect angulos medibles. Denimos M N como la - algebra m as peque na que contiene a los rect angulos medibles. Lema 5.100. La colecci on de los rect angulos medibles R es una semi- algebra. n. Si A B y C D son rect Demostracio angulos medibles, entonces (A B ) (C D ) = (A C ) (B D ) es un rect angulo medible. Por otra parte, notemos que (A B )c = (Ac B ) (Ac B c ) (A B c ) donde la uni on es disjunta. Por lo tanto, R es una semi- algebra. Lema 5.101. Sean (X, M, ) e (Y, N , ) dos espacios de medida y R la colecci on de rect angulos medibles correspondientes. Denimos (A B ) := (A) (B ) para A B R. Sea E R tal que E = n=1 En con En R. Entonces,

(E ) =
n=1

(En )

n. Si los rect Demostracio angulos est an dados por E = A B y E n = An Bn , luego (E ) = ( )(E ) = (A) (B ) y (En ) = ( )(En ) = (An ) (Bn ).

Sea x A, luego existe una subcolecci on {A nk } de An , tal que x Ank . Como los En son , y por lo tanto disjuntos tenemos que B = B k =1 nk

A (x) (B ) =
k =1

An (x) (Bn ).

Por el Teorema de convergencia mon otona tenemos que

(A) (B ) =
n=1

An (x) (Bn ) d =
n=1

An (x) (Bn )d =
n=1

(An ) (Bn ),

con lo que concluimos la demostraci on. Corolario 5.102. La funci on denida sobre la semi- algebra R tiene una extensi on u nica como una medida al a lgebra A de las uniones nitas disjuntas de elementos en R. Corolario 5.103. La medida denida en el a lgebra A del corolario anterior, puede extenderse como una medida positiva denida en la - algebra de los conjuntos -medibles, donde es la medida externa inducida por .

124

CAP ITULO 5. MEDIDA E INTEGRACION

Denici on 5.104. Consideremos dos espacios de medida (X, M, ) e (Y, M, ). Llamamos medida producto a cualquier medida denida como en el corolario anterior, denot andola por . Ejercicio. Demuestre que en general, la restricci on de una medida producto a M M no es una medida completa. A continuaci on, nos encaminaremos en la prueba de los teoremas de Fubini y Tonelli. Estos teoremas nos permiten representar integrales de ciertas funciones medibles de dos variables, como dobles integrales, donde cada integral est a denida en un dominio medible. Adem as, tendremos la posibilidad de intercambiar el orden de integraci on. Denici on 5.105. Dado E X Y y x X , denimos la x-secci on de E como Ex = {y Y : (x, y ) E }, y dado y Y , denimos la y -secci on de E como Ey = {x X : (x, y ) E }. Lema 5.106. Si E M N , entonces Ex N y Ey M para todo x X e y Y . n. Consideremos la colecci Demostracio on de subconjuntos de X Y = {E X Y : Ex N para todo x X }.

Claramente los rect angulos medibles R est an en . Ahora probaremos que es una - algebra. Si E , notemos que para todo x X se tiene que (E c )x = (Ex )c N . Ahora, consideremos E = n=1 En , con En . Luego

Ex =
n=1

En
x

=
n=1

(En )x N .

Por lo tanto, es una - algebra que contiene a los rect angulos medibles R. Necesariemante entonces, contiene la - algebra M N . Corolario 5.107. Si E R , entonces Ex N y Ey M para todo x X e y Y . Lema 5.108. Sean (X, A, ) y (Y, B , ) espacios de medida con y completas. Supongamos que E R . Para cada x X denimos g (x) = (Ex ). Luego, si y son -nitas o si ( )(E ) < , entonces g es medible en (X, A) y g d = ( )(E ). n. Supongamos primero que E R, con E = A B . Entonces E x = B si x A, Demostracio mientras que Ex = si x / A. Luego g (x) = (Ex ) = A (x) (B ),

5.10. MEDIDAS PRODUCTO que es una funci on medible en (X, A) porque A A. Luego, g d = (A) (B ) = ( )(E ). Si E R , luego existen En R, disjuntos tales que E = de convergencia mon otona
E . n=1 n

125

Entonces, por el teorema

g (x) = (Ex ) =
n=1

((En )x ) =
n=1

gn (x).

Luego g es medible en (X, A). Nuevamente, por el teorema de convergencia mon otona

g d =
n=1

gn d =
n=1

gn d =
n=1

( )(En ) = ( )(E ).

Ahora, supongamos que tanto como son nitas y sea E R . Luego existen En R tales que En+1 En , para todo natural n, ( )(E1 ) < y E = n=1 En (en efecto, la intersecci on de dos conjuntos en R sigue estando en R ). Sea gn (x) = ((En )x ). Como g1 d = (E1 ) < , sabemos que el conjunto B = {x : g 1 (x) < } es medible y que (B c ) = 0. Si x B , (En )x es una sucesi on decreciente de conjuntos medibles de medida nita con intersecci on Ex . Adem as, Ex = n (En )x . Luego, para x B g (x) = (Ex ) = l m ((En )x ) = l m gn (x).
n n

Como es completa, esto implica que g es medible en (X, A). Por otra parte, como g n (x) g1 (x), -c.s., con g1 L1 (), por el teorema de convergencia dominada g d = l m
n

gn d = l m ( )(En ) = ( )(E ).
n

En el caso general, sabemos que existe una sucesi on de rect angulos medibles R n de medida nita, con Rn Rn+1 , tales que X Y = n Rn . Luego, si En = E Rn y gn (x) = ((En )x ), sabemos que gn es una sucesi on de funciones medibles y que gn d = ( )(En ). Si g (x) = (Ex ), claramente g (x) = l mn gn (x). Esto demuestra que g es medible. Por otra parte, el teorema de convergencia mon otona implica que gd = ( )(E ). Teorema 5.109. Sean (X, M, ) e (Y, N , ) espacios medibles tales que y son medidas completas. Sea E un conjunto tal que ( )(E ) = 0. Luego -c.s. el conjunto E x es medible. Adem as, si g (x) = (Ex ), entonces g (x) = 0, -c.s. y por lo tanto g (x) es medible. n. Sabemos que existe F R , tal que E F y ( )(F ) = 0. Es inmediato Demostracio que Ex Fx y que (Ex ) (Fx ). Luego (Fx )d = ( )(F ) = 0 = (Fx ) = 0 -c.s.

Por lo tanto, podemos concluir que (E x ) = 0 -c.s., y por lo tanto (Ex ) es una funci on -medible por ser una medida completa.

126

CAP ITULO 5. MEDIDA E INTEGRACION

Teorema 5.110. Sean (X, M, ) e (Y, N , ) espacios medibles tales que y son medidas completas. Sea E un conjunto medible. Supongamos que y son -nitas o que E tiene medida nita. Luego, -c.s. Ex es medible y la funci on g (x) = (Ex ) est a -c.s. denida y por lo tanto se puede denir para todo x como una funci on medible. Adem as g d = ( )(E ) n. Como E es medible, sabemos que podemos expresarlo como E = F G, Demostracio donde F R y G es tal que (G) = 0. Por el Lema anterior tenemos que -c.s. G x es un conjunto medible en Y , y por lo tanto -c.s. E x es un conjunto medible en Y . Adem as (Gx ) = 0 -c.s. Luego (Ex ) = (Fx ) -c.s. Pero sabemos que (Fx ) es medible. Por lo tanto, la completitud de implica que g (x) = (E x ) est a -c.s. denida y es medible. Finalmente, g d = (Fx ) d = ( )(E ),

con lo que concluimos la demostraci on del teorema. En lo que sigue, dada una funci on f : X Y R, ocuparemos las notaciones f x (y ) = fy (x) = f (x, y ) para referirnos a funciones desde X en R y desde Y en R respectivamente. Teorema 5.111. Sean (X, M, ) e (Y, M, ) espacios medibles. (i) Si f es M N -medible, entonces para todo x X , f x (y ) es medible y para todo y Y , fy (x) es medible. (ii) Si y son completas y -nitas, y f es medible, entonces -c.s. funci on f x (y ) es medible y -c.s. fy (x) es medible. n. Parte (i). Supongamos que f es M N medible. Sin p Demostracio erdida de generalidad podemos suponer que f 0. Sabemos que entonces existe una sucesi on de funciones simples que son M N medibles. Es evidente que todos t erminos de tal sucesi on son M N medibles. Parte (ii). Si f es medible, por un argumento similar al anterior, conclu mos que f x (y ) es -c.s. medible y que fy (x) es -c.s. medible. Teorema 5.112 (Fubini). Sean (X, M, ) e (Y, M, ) espacios medibles y y medidas completas. Sea f una funci on medible denida en X Y tal que f L 1 ( ). (i) La funci on fx (y ) = f (x, y ) es -c.s., fy = (f (x, y ) es -c.s. medilbe y f (x, y ) d son medibles. (ii) f (x, y ) d( ) = f (x, y ) dd = f (x, y ) dd. f (x, y ) d y

n. Parte (i). Basta probar el teorema para f no negativa en L 1 ( ). SupongDemostracio amos primero que f = E , con E medible de medida nita. Por el teorema 5.110, f x (y ) = Ex (y ), es -c.s. y medible y g (x) = f (x, y ) d = Ex (y )d,

5.10. MEDIDAS PRODUCTO tambi en. Adem as, f (x, y ) dd = Ahora, sea f una funci on simple dada por
n

127

g (x) d =

f (x, y ) d( ).

f (x, y ) =
k =1

ak Ek (x, y ),

donde los Ek son medibles y disjuntos de medida nita. Luego la funci on

n

fx (y ) =
k =1

ak (Ek )x (y ),

es -c.s. medible y g (x) = f (x, y ) d =

ak
k =1

(Ek )x (y ) d,

es una funci on medible. Integrando g respecto a concluimos que

n n

f (x, y ) dd =
k =1

ak

fk (x) d =
k =1

ak ( )(Ek ) =

f (x, y ) d( ).

Ahora, sea f una funci on medible en L 1 ( ) y n una sucesi on de funciones simples no negativas que aproximan mon otona y puntualmente a f , de soporte de medida nita. Luego, como para cada n la funci on (n )x (y ) es -c.s. medible y fx (y ) = l m (n )x (y ) = sup(n )x (y ),
n n

vemos que fx es -c.s. medible. Integrando respecto a y utilizando el teorema de convergencia mon otona, se tiene que -c.s. g (x) = fx (y ) d = l m (n )x (y )d.

Entonces, por la completitud de , g es una funci on medible. Por el teorema de convergencia mon otona vemos que al integrar g respecto a , f (x, y ) dd = l m n (x, y ) dd = l m n (x, y ) d( ) = f (x, y ) d( ).

El siguiente teorema es una aplicaci on del Teorema de Fubini y se deja como ejercicio para el lector. Teorema 5.113 (Tonelli). Sean (X, M, ) e (Y, M, ) espacios medibles completos y -nitos. Sea f una funci on medible no negativa en X Y , luego las armaciones del Teorema de Fubini se satisfacen.

128

CAP ITULO 5. MEDIDA E INTEGRACION

Ejemplo. Aqu presentamos un ejemplo de una funci on que no es integrable en el espacio producto y que tampoco es positiva, y no es posible permutar el orden de integraci on. Sean X = Y = N, M = N = P (N) y = la medida que asigna a cada conjunto su cardinalidad. Sea 2 2x x = y 2 + 2x x = y + 1 f (x, y ) = 0 x = y, y + 1 Luego f no pertenece al espacio L( ). Adem as

f (x, y ) = 2 2y 2 + 2(y+1) = 2y + 2(y+1) ,

x=1

f (x, y ) = 2 2y 2 + 2(y+1) = 2y + 2(y+1) = 1 + 1/2 = 1/2,

y =1 x=1

f (x, y ) = 2 2x 2 + 2x = 0.
y =1