Producto Medida

Claudio Carrasco Gómez

Marzo, 2020

1 Preliminares
Dado (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) espacios de medidas, queremos construir una nueva
medida µ en el espacio Σ1 x Σ2 , tal que µ(AxB)=µ1 (A)µ2 (B), donde A ∈ Σ1
y B ∈ Σ2 . Intuitivamente, queremos que la medida de un ”rectángulo” sea la
multiplicación de la medida de sus ”lados”. Nuestra principal motivación, es
poder definir integrales multiples a traves del teorema de Fubini.

Definición 1: Sean (X,Σ1 ), (Y,Σ2 ) espacios medibles. LLamaremos rectángulo

medible a todo producto de la forma AxB, donde A ∈ Σ1 y B ∈ Σ2 . Diremos
además, que R ⊂ P(XxY) será la colección de todos los rectángulos medibles
del espacio Σ1 xΣ2 .

Definición 2: Sean (X,Σ1 ), (Y,Σ2 ) espacios medibles. Definimos la σ-álgebra

producto Σ = Σ1 xΣ2 como la engendrada por R. En otras palabras, la σ-álgebra
producto es la intersección de todas las σ-álgebras que contiene a la familia de
los rectabgulos medibles. Por lo tanto, Σ es la menor σ-álgebra que contiene a
R.
Ası́, definimos el espacio producto entre (X,Σ1 ) y (Y,Σ2 ), como (XxY, Σ1 xΣ2 ).

Definición 3: Sea E ⊂ XxY, ∀ (x,y) ∈ XxY, definimos la x-sección Ex ⊂ Y y

la y-sección E y ⊂ X como:

Ex = {y ∈ Y : (x, y) ∈ E}, ∀x ∈ X
Ey = {x ∈ X : (x, y) ∈ E}, ∀y ∈ Y
Proposición 1: Si (X,Σ1 ), (Y,Σ2 ) espacios medibles y E ∈ Σ1 x Σ2 , entonces
Ex ∈ Σ1 , ∀x ∈ X y E y ∈ Σ2 , ∀y ∈ Y .

Dem: Sea la familia M={E ⊂ XxY: Ex ∈ Σ2 , ∀x y E y ∈ Σ1 , ∀y } i) Mostremos

que todo rectángulo medible está en M. Sea AxB un rectángulo medible. Clara-
mente AxB ⊂ XxY y (AxB)x =Φ v B. La última igualdad es porque dado x ∈
X, entonces pueden darse 2 opciones: x ∈ A o x ∈ Ac . En el caso en el que x ∈
Ac , entonces (AxB)x = Φ, pues no existe y tal que (x,y) ∈ AxB. Ahora si x ∈ A,
entonces la afirmación es (AxB)x =B. Procedamos por doble contención. Sea y

1
∈ (AxB)x , entonces para todo x ∈ A, tenemos que (x,y) ∈ AxB; lo que podemos
concluir y ∈ B. Para la otra contención, sea y ∈ B, como x ∈ A, entonces (x,y)
∈ AxB. Por lo tanto y ∈ (AxB)x . Luego (AxB)x =B, si x ∈ A. Ası́, como Φ y
B están en Σ2 , concluimos que ∀ x ∈ X, (AxB)x ∈ Σ2 . Análogamente podemos
probar que (AxB)y ∈ Σ1 , ∀y. Luego R ⊂ M. ii) Demostraremos que M es una
σ-álgebra. Para ello, vemos que dado E ∈ XxY, podemos mostrar que:

(E c )x = (Ex )c

(E c )y = (E y )c
Esto bastarı́a para ver que M es cerrado con los complementos, pues como
E ∈ M, entonces Ex ∈ Σ2 , luego (Ex )c ∈ Σ2 . Ası́, por la igualdad, (E c )x
∈ Σ2 . Análogo con la y-sección. Considerando E=AxB rectángulo medi-
ble, demostremos (E c )x = (Ex )c . Sea y (E c )x , entonces y ∈ Y y (x,y) ∈
E c =(AxB)c =(Ac xB) ∪ (AxB c ) ∪ (Ac xB c ). Suponiendo que y ∈ Ex , entonces
(x,y) ∈ AxB. Luego x ∈ A e y ∈ B, lo cual es claramente una contradicción.
Para la otra contención, consideramos y ∈ (Ex )c . Ası́, y no está en Ex , por lo
que (x,y)no está en AxB. Luego (x,y) ∈ (AxB)c . Por lo tanto y ∈ (E c )x .
La igualdad (E c )y = (E y )c se demuestra de forma análoga. Para mostrar la
unión numerable, se puede demostrar las siguientes igualdades:
∞
[ ∞
[
( Ai xBi )x = (Ai xBi )x
i=1 i=1

∞
[ ∞
[
( Ai xBi )y = (Ai xBi )y
i=1 i=1
S∞
S∞ la primera igualdad. Sea y ∈ ( i=1 Ai xBi )x , lo que implica que
Demostremos
(x,y) ∈ i=1 Ai xBi . Luego, existe j natural, S tal que: (x,y) ∈ Aj xBj . Por
∞
definición, (x,y) ∈ (Aj xBj )x . Por lo tanto, y ∈S i=1 (Ai xBi )x .
∞
Para la contención faltante, nos damos y ∈ i=1 (Ai xBiS )x , es decir, existe j
∞
natural, talS∞que y ∈ (A j xB j )x . Ası́, (x,y) ∈ (A j xBj ) ⊂ i=1 (Ai xBi ). Por lo
tanto y ∈ i=1 (Ai xBi )x .
La igualdad (∪∞ y ∞ y
i=1 Ai xBi ) = ∪i=1 (Ai xBi ) se demuestra de manera analoga.
Luego M es cerrado bajo uniones numerables, y por lo tanto M es una σ álgebra.
Recordemos que M contiene a R, y como Σ1 xΣ2 es la menor σ álgebra que
contiene a R, tendremos que M ⊂ Σ1 xΣ2 . Por lo tanto todos los elementos de
Σ1 xΣ2 satisfacen las propiedades de M, demostrando la proposición.
Esta proposición nos será util un poco más adelante. Hablemos de pre medidas.
Defininción 4: Una Semi-álgebra F en XxY, es una colección que es cerrada
bajo intersecciones, y el complemento de un elemento de F, es unión de elementos
de la familia.
Una propiedad importante de las semi-álgebras, es que el álgebra generada por
una semi- álgebra F, es (F)={∪N i=1 Fi , donde Fi ∈ F }. Más adelante, veremos
que la familia R forma una semi-álgebra, y ocuparemos la propiedad dicha para
construir un álgebra.

2
Defininción 5: Sea  un álgebra en X. Una pre medida λ en , es una función
λ:  −→[0, ∞] tal que:

λ(Φ) = 0
Y si dada una sucesión de elementos de ∈ , disjuntos 2 a 2, tal que: (∪∞
i=1 Ai )
∈ , entonces λ es numerablemente aditiva, es decir:
∞
X
λ(∪∞
i=1 Ai ) = λ(Ai )
i=1

Es fácil ver que cualquier pre medida es tambien finitamente aditiva, pues como
 es una álgebra, es cerrada bajo uniones finitas; luego la cantidad restante de el-
ementos, los podemos completar con conjuntos vacı́os. Y tambien es monótona,
basta considerar los conjuntos disjuntos B-A y A.
A partir de esta premedida, construiremos una medida exterior.
Teorema 1: Sea  un álgebra en X y λ :  −→ [0, ∞] una pre medida. La
medida externa λ∗ : P (X) −→ [0, ∞] asociada a λ se define para E ∈ P(x)
como:
X∞ ∞
[
λ∗ (E) = inf { λ(Ai ) : E ⊂ Ai , Ai ∈ }
i=1 i=1
∗ ∗
Además, cada A ∈  es λ -medible y λ(A) = λ (A).
Dem: La demostración de que λ∗ es una medida exterior, es análoga a la hecha
para la medida exterior de Lebesgue.
Mostremos que λ(A) = λ∗ (A). La desigualdad λ∗ (A) ≤ λ(A) es inmediata, pues
A se cubre ası́ mismo, con A ∈ . Para la otra desigualdad, tomamos {Ai }i una
sucesión de elementos en , un cubrimiento de A. Construyamos la siguiente
sucesión:

B1 = A ∩ A1
j−1
Bj = A ∩ (Aj − ∪i=1 Ai )
Es claro que ∀ j: Bj ∈  y A es unión disjunta de los Bj . Además se cumple
Bj ⊂ Aj . Ası́:
X∞ X∞
λ(A) = λ(Bi ) ≤ λ(Ai ).
i=1 i=1
P∞ S∞
Obtenemos que λ(A) es cota inferior de { i=1 λ(Ai ) : E ⊂ i=1 Ai , Ai ∈ },
luego λ∗ (A) ≥ λ(A). Por lo tanto λ(A) = λ∗ (A). Mostremos la medibilidad
con la condición de Caratheodory. Sea E ⊂ X, A ∈  y k > 0. Para E, existe
un cubrimiento {Bi ∈ } tal que:
X
λ∗ (E) + k ≥ λ(Bi )
i

λ∗ (E) + k ≥ λ∗ (E ∩ A) + λ∗ (E − A)

3
Como k es arbitrario, tendremos que:

λ∗ (E) ≥ λ∗ (E ∩ A) + λ∗ (E − A)

La otra desigualdad es obvia, desde que E = (E ∪ A) ∪ (E − A). Por lo tanto:

λ∗ (E) = λ∗ (E ∩ A) + λ∗ (E − A)

Teorema 2 (Extensión de Caratheodory): Sea A un álgebra en X, α

una premedida y Σ la σ-álgebra generada por A. Entonces existe una medida µ
definida en Σ, cuya restricción en A es α,y además µ(E) = α(E), con E ∈ .

2 Construcción
Para la construcción de la σ-álgebra, utilizaremos el Teorema de Extensión de
Caratheodory.
Para empezar la construcción, primero notemos que R = {AxB : A ∈ Σ1 y B
∈ Σ2 } es una semi-álgebra. Notemos lo siguiente:

(AxB) ∩ (CxD) = (A ∩ C)x(B ∩ D)

(AxB)c = (Ac xB c ) ∪ (AxB c ) ∪ (Ac xB)
Claramente R es cerrado bajo intersecciones finitas y el complemento de un
rectángulo medible, es la unión finita de rectángulos medibles. Luego R es
una semi álgebra. Ası́, por la propiedad de la definición 4, σ(R) =  =
{∪Ni=1 Ai xBi , Ai xBi ∈ R} es la álgebra generada por la familia R. Queremos
definir una medida previa en . Para ello, primero definiremos una en R.
Definición 6: Sea (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) espacios de medida, entonces defini-
mos la premedida producto como λ: R −→[0, ∞], tal que: λ(AxB) = µ1 (A)µ2 (B)
Podemos mostrar que la λ es numerablemente aditiva.
Proposición 2: Si AxB es un rectángulo medible tal que:
∞
[
AxB = Ai xBi
i=1

donde {Ai xBi }i es una sucesión de rectángulos medibles disjuntos 2 a 2, en-

tonces:
X∞
λ(AxB) = λ(Ai xBi )
i=1

Dem: Es claro que:

∞
X
XAxB (x, y) = λXAi xBi (x, y)
i=1

4
donde X es la función carateristica. Utilizando que XAxB (x, y) = XA (x)XB (y).
Ası́, la suma anterior la podemos escribir como:
∞
X
XA (x)XB (y) = XAi (x)XBi (y)
i=1

Integrando esta ecuación sobre Y, podemos hacer el cambio serie-integral, como

consecuencia del teorema de convergencia monótona:
∞
X
XA (x)µ2 (B) = XAi (x)µ2 (Bi )
i=1
Integrando sobre X, y utilizando el teorema de convergencia monótona nueva-
mente, nos queda:
∞
X
µ1 (Ai )µ2 (Bi ) = µ1 (A)µ2 (B)
i=1
Como mostramos que la λ es numerablemte aditiva, en particular, es finitamente
aditiva, por lo que esta pre medida en R la podemos extender a .

Definición 7: Sea (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) espacios de medida, entonces defini-

mos la premedida producto como λ:  −→[0, ∞], tal que:
N
X
λ(∪N
i=1 (Ai xBi )) = µ1 (Ai )µ2 (Bi )
i=1

donde {Ai xBi } es una sucesión de rectángulos medibles disjuntos 2 a 2.

Utilizando el Teorema 1, definimos la medida externa asociada a λ.

Definición 8: Sean (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) espacios de medida. Entonces

definimos la función (µ1 xµ2 )∗ : P (XxY ) −→[0, ∞] tal que:
∞
X ∞
[
(µ1 xµ2 )∗ (E) = inf { (µ1 (Ai )µ2 (Bi )) : E ⊂ Ai xBi ; Ai ∈ Σ1 , Bi ∈ Σ2 }
i=1 i=1

Es la medida externa asociada a λ. Es claro además, que la unión numerable, de

uniones finitas de rectángulos medibles, es en realidad, una unión arbitraria de
rectángulos medibles, por lo que los cubrimientos en la de Definición anterior,
es en realidad por rectángulos medibles.

Ya definida la medida externa, podemos ocupar el Teorema 2 (Extensión de

Caratheodory) para definir una medida sobre Σ1 xΣ2 .

Teorema 3 (Producto Medida): Sean (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) espacios de

medida, entonces la función (µ1 xµ2 ) = (µ1 xµ2 )∗ /Σ1 xΣ2 : Σ1 xΣ2 −→ [0, ∞] es
una medida en XxY, y es tal que:
(µ1 xµ2 )(AxB) = µ1 (A)µ2 (B)

5
Si (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) σ finitos, entonces esta medida es única (es decir, si
X e Y son unión arbitraria de elementos con medida finita).

3 Aplicaciones
El teorema de Rubini es el principal resultado de la medida producto, y como
consecuencia de ello, podemos evaluar integrales multiples, lo que nos ofrece un
amplio abanico de aplicaciones. Antes de enunciar el Teorema de Rubini, nos
hace falta unas definiciones y teoremas antes.
Definición 9: Sea el espacio de medida producto (XxY, Σ1 xΣ2 , (µ1 xµ2 )) y
sea la función f: E ⊂ XxY −→ R definimos la x-sección e y-sección de f,
respectivamente como:
fx : E y −→ [−∞, ∞]
f y : Ex −→ [−∞, ∞]
tal que: para cada y ∈ Y: fx (y) = f (x, y) y para cada x ∈ X: f y (x) = f (x, y)
Teorema 4: Si E ∈ Σ1 xΣ2 y f: E ⊂ XxY −→ (−∞, ∞) Σ1 xΣ2 -medible,
entonces las secciones fx ∈ Σ2 y f y ∈ Σ2
Dem: Basta considerar G abierto en (−∞, ∞) y que:

fx−1 (G) = (f −1 (G))x

Ocupando la Proposición 1, como f −1 (G) ∈ Σ1 xΣ2 , entonces fx−1 (G) ∈ Σ2 para

cada G, luego fx ∈ Σ2 . Es completamente análogo para f y ∈ Σ1 .

Teorema 5 (Fubini): Sean (X,Σ1 , µ1 ), (Y,Σ2 , µ2 ) espacios de medida σ finitos.

Una función f : XxY −→ (−∞, ∞) es medible, sı́, y solo sı́, las siguientes
integrales son finitas: Z Z
( |f y |dµ1 )dµ2
Z Z
( |fx |dµ2 )dµ1

En ese caso, se cumplirá:

Z Z Z Z Z
f d(µ1 xµ2 ) = ( |f y |dµ1 )dµ2 = ( |fx |dµ2 )dµ1

4 Bibliografia
i) Antonio Pallarés, Medida e Integración.
ii) John K. Huner, Measure Theory
iii) Canal de Youtube: ”Instituto de Matemática pura e aplicada”.