CAPÍTULO 6

Medidas producto. Teorema de Fubini

Vamos a dedicar este capítulo a construir medidas en espacios producto

y a estudiar la integral en dichos espacios.

6.1 Medida producto

Sean pX, Sq e pY, Σq dos espacios medibles. Un subconjunto del producto
cartesiano X  Y de la forma A  B se dice que es un rectángulo. Si A P S
y B P Σ diremos que es un rectángulo medible. Recordamos del capítulo 1
(definición 1.2.10, página 1-5) que la σ-álgebra producto S b Σ es la σ-álgebra
generada por la familia de todos los rectánguloes medibles de X  Y .
Un conjunto de X  Y que se puede poner como una unión finita (dis-
junta)1 de rectángulos medibles se dice que es un conjunto elemental.

Proposición 6.1.1. Sean pX, Sq e pY, Σq dos espacios de medida y sea A la

clase de todos los conjuntos elementales de X  Y . El conjunto A es un
álgebra en X  Y y la σ-álgebra que genera es S b Σ.

Demostración. Para ver que la familia A es un álgebra únicamente hay que

demostrar que es cerrada por complementarios pues la otra propiedad es
trivial. Sea R P A , R  pA1  B1 q Y    Y pAn  Bn q con A1 , . . . , An P S y
1
Cualquier unión de rectángulos medibles se puede poner como una unión disjunta de
rectángulos medibles. Para ver esto es suficiente con comprobarlo para una unión de dos
rectángulos y después aplicar inducción. Para dos rectángulos se tiene que
     
pA  B q Y pC  Dq  pA r C q  B Y pA X C q  pB Y Dq Y pC r Aq  D
y esta última unión es disjunta.

Teoría de la medida (2018-2019)

6-2 Medidas producto. Teorema de Fubini

P Σ. El complementario de R es el conjunto
B1 , . . . , B n

Rc  pA1  B1 qc X    X pAn  Bn qc ,

y como para cada j  1, . . . , n

pAj  Bj qc  pAcj  Y q Y pAj  Bjcq,

resulta que Rc es una unión disjunta de intersecciones de rectángulos medibles.
Para concluir basta observar que la intersección de rectángulos medibles
también es un rectángulo medible.
La segunda parte de la proposición es evidente.

Nuestro objetivo en esta sección es definir una medida en el producto de

dos espacios de medida.
Lema 6.1.2. La función ρ : A Ñ r0, 8s definida, para cada unión disjunta
de rectángulos medibles, pA1  B1 q Y    Y pAn  Bn q, por

¤
n ņ
ρ pAk  Bk q  µ pAk qν pB k q (6.1)

k 1 
k 1

es una medida en A .
Demostración. Veamos en primer lugar que (6.1) no depende de la represen-
tación del elemento de A elegida. Sean C1 , . . . , Cm P S y D1 , . . . .Dm P Σ
tales que

R  pA1  B1 q Y    Y pAn  Bn q  pC1  D1 q Y    Y pCm  Dm q

y está última unión también es disjunta. Para cada x P X denotamos por fx

a la función de Y en r0, 8s definida

fx py q  χR px, y q.

Las funciones fx son funciones simples no negativas

ņ m̧
fx  χAk pxqχBk  χCj pxqχDj

k 1 j 1
y su integral vale
» ņ m̧
F px q  fx py qdν py q  χAk pxqν pBk q  χCj pxqν pDj q.
Y 
k 1 
j 1

La función F es medible no negativa y su integral es

» ņ m̧
F pxq dµpxq  µpAk qν pBk q  µ p C j qν p D j q.
X 
k 1 
j 1

Teoría de la medida (2018-2019)

6.1 Medida producto 6-3

Esto demuestra que la definición de ρ no depende de la representación de R

elegida.
Un argumento análogo al que acabamos de hacer, cambiando sumas finitas
por sumas numerables, y aplicando 5.4.1 para calcular las integrales muestra
que ρ es numerablemente aditiva. Como además, trivialmente, ρp∅q  0,
resulta que ρ es una medida en A .

Proposición 6.1.3. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida. Existe

una medida µ  ν definida en la σ-álgebra producto S b Σ con la propiedad
de que
pµ  ν qpA  B q  µpAqν pB q (6.2)
para todo rectángulo medible A  B en X  Y . Si además las medidas µ y ν
son σ-finitas, la medida µ  ν es la única medida en S b Σ que verifica (6.2).

Demostración. Por 1.4.4 ρ induce una medida exterior ρ cuya restricción a

S b Σ es una medida que extiende a la función ρ (teorema 1.5.3). Además la
medida es única si ρ es σ-finita, que es lo que sucede si µ y ν lo son.

A la medida µ  ν se le denomina medida producto de las medidas µ

y ν.
El producto de un número finito de medidas se puede definir de manera
análoga a como lo hemos hecho para dos medidas o por inducción a partir
de la definición anterior.2 Por simplicidad no limitaremos, en lo que sigue, al
estudio del producto de dos medidas aunque los resultados se generalizan sin
dificultad para cualquier producto finito de medidas.

Si E € X  Y , para cada x P X y cada y P Y , se definen la x-sección

Ex y la y-sección E y del conjunto E como

Ex  ty P Y : px, yq P E u, Ey  tx P X : px, yq P E u (6.3)

Si f es una función definida en X Y se definen la x-sección fx y la

y-sección f y de la función f por

fx py q  f px, y q p y P Y q, f y pxq  f px, y q p x P X q. (6.4)

Proposición 6.1.4. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida.

a) Si E P S b Σ, entonces Ex P Σ para todo x P X y E y P S para todo

y PY.
2
En el caso de medidas σ-finitas, haciendo uso de la unicidad de la medida producto se
comprueba fácilmente que ambos procedimientos conducen al mismo resultado. También se
comprueba fácilmente que la operación de multiplicar medidas es asociativa y, por lo tanto,
que si se utiliza el método de inducción para definir la medida producto, es irrelevante
para el resultado final cómo se hayan agrupado las medidas para aplicar la inducción.

Teoría de la medida (2018-2019)

6-4 Medidas producto. Teorema de Fubini

b) Si f es una función S b Σ medible, entonces fx es Σ-medible para

todo x P X y f y es S-medible para todo y P Y .

Demostración. a) Sea

M  tE € X  Y : Ex P Σ para todo x P X y E y P S para todo y P Y u.

Como ¤  ¤
En x
 pEnqx y pE cqx  Exc
n n

y análogamente con las y-secciones, la familia M es una σ-álgebra. Además,

si A  B es un rectángulo medible entonces
# #
si x P A si y P B
pA  B qx  B
y pA  B q  y A
∅ en otro caso ∅ en otro caso

En cualquier caso todas las secciones son medibles. Esto demuestra que
A  B P M . Como S b Σ es la menor σ-álgebra que contiene a todos los
rectángulos medibles, se sigue que S b Σ € M .
b) Si f : X  Y Ñ Z donde Z es un espacio medible, entonces para cada
subconjunto medible B de Z el conjunto
 f
1 pB q P S b Σ. Si x P X, por a),
se verifica que fx
1 pB q  f
1 pB q x pertenece a Σ. Esto demuestra que fx
es medible. Análogamente se demuestra en el caso de y-secciones.

Teorema 6.1.5. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida σ-finita.

Si E P S b Σ entonces las funciones

x ÞÝÑ ν pEx q, y ÞÝÑ µpE y q (6.5)

son medibles en X e Y , respectivamente, y

» »
pµ  ν qpE q  ν pEx q dµpxq  µpE y q dν py q (6.6)
X Y

Demostración. Supongamos en primer lugar que los espacios son de medida

finita. Sea M la familia de todos los conjuntos A P S b Σ para los que se
verifican las conclusiones del teorema. Si E  A  B es un rectángulo medible,
denotando por ϕ y ψ, respectivamente, las dos funciones que aparecen en
(6.5), se tiene que ϕ  ν pB qχA y ψ  µpAqχB que son funciones medibles
no negativas y sus integrales son
» »
ν pEx q dµpxq  µpE y q dν py q  µpAqν pB q  pµ  ν qpE q.
X Y

Esto demuestra que los rectángulos medibles pertenecen a M .

Como el ser medibles se conserva por sumas y la integral es aditiva
se deduce que la familia M es cerrada por uniones finitas disjuntas. En

Teoría de la medida (2018-2019)

6.1 Medida producto 6-5

consecuencia la familia A de todos los conjuntos elementales está contenida

en M .
La familia M además es cerrada”
por uniones crecientes. Si pEn qnPN € M
es una sucesión creciente y E  n En entonces, para cada x P X, la sucesión
ppEnqxqn es creciente y su unión es Ex. Por 6.1.4 los conjuntos de esa sucesión
son medibles y por ser ν una medida se verifica que ν ppEn qx q Õ ν pEx q. Por
3.1.17, la función x ÞÑ ν pEx q es medible y, por el teorema de la convergencia
monótona,
» »
ν pEx q dµpxq  lı́m ν ppEn qx q dµpxq  lı́mpµ  ν qpEn q  pµ  ν qpE q
X n X n

donde esta última igualdad se satisface porque µ  ν es una medida. Análo-

gamente se demostraría la parte correspondiente a las y-secciones. Esto
demuestra que E P M .
Si E, F P M y E € F entonces el conjunto F r E P M . En efecto, como,
para todo x P X, Fx , que es de medida finita, se tiene que ν ppF r E qx q 
ν ppFx r Ex q  ν pFx q
ν pEx q y, por tanto, que la función

x ÞÝÑ ν ppF r E qx q  ν pFx q
ν pEx q

es medible por ser diferencia de dos funciones medibles. Lo mismo ocurre

para las y-secciones. Además

pµ  ν qpF r E» q  pµ  ν qpF q
» pµ  ν qpE q  »

 ν pFxqdµpxq
ν pExq dµpxq  ν ppF r E qx q dµpxq
X X X

y análogamente en el otro caso.

Sea M0 la intersección de todas las familias de subconjuntos de S b Σ
que contienen a A cerradas por uniones crecientes y complementarios en
conjuntos más grandes. Es obvio que M0 también tiene esas propiedades.
Por lo visto más arriba M0 € M . Para E P M0 es trivial que la familia
M pE q  tF P M0 : F X E P M0 u es cerrada por uniones crecientes y
complementarios en conjuntos más grandes. En el caso particular en que E 
A P A además A € M pAq luego M0 € M pAq. De aquí se deduce que, para
todo E P M0 , A € M pE q y, por tanto, que M0 € M pE q. Esto demuestra
que si E, F P M0 entonces E X F P M0 . Como X  Y P A se concluye que
M0 es un álgebra. Además, por ser cerrada por uniones crecientes, M0 es
una σ-álgebra y, como contiene a A entonces M0  M  S b Σ.
En el caso general, como los espacios son de medida σ-finita, existen
dos sucesiones crecientes de conjuntos
”
de medida finita pXm qmPN € S e
pYmqmPN € Σ y tales que X  Y  pXm  Ymq.3 Lo visto en la primera
3
Por ser las medidas σ-finitas existen dos sucesiones de conjuntos de medida finita
  € S e Ym  € Σ tales que X  YXm  e Y  YYm . Poniendo Xn  Yn X  e
Xm k 1 k
m
n 
Yn  Yk1 Yk , n  1, 2 . . . , se tienen las sucesiones indicadas.
m

Teoría de la medida (2018-2019)

6-6 Medidas producto. Teorema de Fubini

parte de la demostración muestra que el teorema es cierto para los conjuntos

de la forma F X pXm  Y mq P M si F P S b Σ y m  1, 2, . . . . Como
además, como hemos visto al principio, si el teorema es cierto para una
familia creciente de conjuntos también es cierto para su unión se concluye
que el teorema es cierto para todo F P S b Σ.

6.2 Teorema de Fubini

Las igualdades (6.6) del teorema 6.1.5 pueden escribirse en la forma
» » » 
χE dpµ  ν q  χE px, y q dν py q dµpxq 
X Y  X
» »
Y

 χE px, y q dµpxq dν py q.
Y X

Estas igualdades establecen una relación entre la integral de una función

definida en un espacio producto y dos integrales de funciones definidas en
los espacios factores. En esta sección vamos a demostrar que la conclusión
del teorema 6.1.5 es válida para una clase más amplia de funciones que la de
las funciones características de conjuntos medibles.

6.2.1. Teorema de Tonelli. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida

σ-finita. Si f : X  Y Ñ r0, 8s es una función medible, entonces las funciones
» »
xPX ÞÝÑ fx dν  f px, y q dν py q (6.7)
Y Y

y » »
y P Y ÞÝÑ f y dµ  f px, y q dµpxq (6.8)
X X
son medibles y
» » » 
f d pµ  ν q  f px, y q dν py q dµpxq 
X Y  X
» »
Y

 f px, y q dµpxq dν py q. (6.9)
Y X

Demostración. El teorema 6.1.5 es el caso particular del teorema de Tonelli

para las funciones características de conjuntos medibles. Por las propiedades
de las funciones medibles y de la integral de funciones medibles no negativas,
es claro que cualquier combinación lineal, con coeficientes no negativos, de
funciones que verifican las conclusiones del teorema de Tonelli también las
verifican. Así pues las funciones simples no negativas verifican las conclusiones
del teorema. Si f es una función medible no negativa, por 3.2.1, existe una

Teoría de la medida (2018-2019)

6.2 Teorema de Fubini 6-7

sucesión creciente psn qnPN de funciones simples no negativas que converge

a f puntualmente. Aplicando el teorema de la convergencia monótona a
las sucesiones ppsn qx qn y ppsn qy qn concluimos que, para todo x P X y todo
y PY,
» » »
psnqxdν  sn px, y q dν py q Õ f px, y q dν py q  g pxq
Y Y Y

e » » »
psnq dµ 
y
sn px, y q dµpxq Õ f px, y q dµpxq  hpy q
X X X
Esto demuestra que las funciones (6.7) y (6.8) son medibles por ser limites
puntuales de funciones medibles. Además, nuevamente por el teorema de la
convergencia monótona,
» »
f dpµ  ν q  lı́m sn dpµ  ν q 
X Y  n
»
X Y » 
 lı́m
n
sn px, y q dν py q dµpxq 
X Y
» » 
 lı́m
n
sn px, y q dν py q dµpxq 
X Y
» » 
 f px, y q dν py q dµpxq
X Y

Análogamente se demuestra que

» » » 
f d pµ  ν q  f px, y q dµpxq dν py q.
X Y  Y X

6.2.2. Teorema de Fubini. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida

σ-finita. Si f P L 1 pµ  ν q, entonces fx P L 1 pν q para casi todo x P X y
f y P L 1 pµq para casi todo y P Y . Las funciones
» »
xPX ÞÝÑ fx dν  f px, y q dν py q (6.10)
Y Y

y » »
y P Y ÞÝÑ f dµ 
y
f px, y q dµpxq (6.11)
X X
están definidas en casi todo punto, son integrables y
» » » 
f d pµ  ν q  f px, y q dν py q dµpxq 

X Y X
» »
Y

 f px, y q dµpxq dν py q. (6.12)
Y X

Teoría de la medida (2018-2019)

6-8 Medidas producto. Teorema de Fubini

Demostración. Las funciones fx y f y son medibles por 6.1.4. Aplicando el

teorema de Tonelli a f y f
resulta que las funciones no negativas
» »
g 1 px q  fx dν, g2 pxq  fx
dν
Y Y

son medibles y
» » » »
gj ¤ pg1 g2 q  pf f
q  |f |   8, pj  1, 2q.
X X X Y  
X Y

Por 4.2.4 las funciones g1 y g2 son finitas en casi todo x P X. En consecuencia

» »
|fx| dν  pfx fx
q dν  g1pxq g2 pxq   8
Y Y

para casi todo x P X. Además, nuevamente por el teorema de Tonelli,

» » »
f d pµ  ν q  f dpµ  ν q
f
dpµ  ν q 

X Y
» »

X Y
 » »

X Y

 f px, yq dν pyq dµpxq
f
px, y q dν py q dµpxq 
X Y X Y
» » 
 f px, y q dν py q dµpxq.
X Y

Análogamente se demostraría que f y P L 1 pµq para casi todo y, que la función

(6.11) es integrable y la última igualdad en (6.12).

La primera integral que aparece en (6.12) se suele denominar integral

doble de f mientras que las integrales de los otros dos términos se suelen
denominar integrales iteradas.
Los siguientes ejemplos muestran que no se puede prescindir de ninguna
de las hipótesis de los teoremas precedentes.

Ejemplos 6.2.3. a) Sean X  Y  r0, 1s con µ  ν  m la medida de

Lebesgue en r0, 1s. Sea pδn qnPN una sucesión tal que 0  δ1   δ2      ,
δn Ñ 1 y sea
gn 
1
δn 1
δn pδn ,δn 1 q
χ .

La función gn es integrable y su integral en r0, 1s vale 1. Sea

8̧ 
f px, y q  rgnpxq
gn 1pxqs gnpyq px, yq P r0, 1s  r0, 1s . (6.13)
n 1 
La función f es medible y finita en todo punto (para cada punto px, y q la
suma en (6.13) consta, a lo sumo, de un único sumando no nulo.)

Teoría de la medida (2018-2019)

6.2 Teorema de Fubini 6-9

°
Si x P r0, 1s la suma n rgn pxq
gn 1 pxqs gn en (6.13) tiene a lo sumo
dos sumandos no nulos, por lo que, para todo x P r0, 1s,
»1 8̧ »1
f px, y q dy  rgnpxq
gn 1pxqs gn py q dy 
0 n 1  0
8̧
 rgnpxq
gn 1pxqs  g1pxq,
n 1 
y » 1 » 1  »1
f px, y q dy dx 
 1. g1
0 0 0
°
Por otro lado, para y P r0, 1s la suma n gn py q rgn
gn 1 s tiene a lo sumo
un sumando no nulo, luego
»1 8̧ »1 8̧ » 1 »1 
f px, y q dx  g n py q pgn
gn 1q  g n py q gn
gn 1 0
0 
n 1 0 n 1  0 0

y » 1 » 1 
f px, y q dx dy  0.
0 0
Este ejemplo muestra que las integrales iteradas pueden existir y, sin embargo,
ser distintas. Esta función no satisface las conclusiones del teorema de Fubini
porque no es integrable:
» » 1 » 1 8̧ 
|f |  |gnpxq
gn 1pxq| gnpyq dy dx 
r0,1s2 0 0 n 1 
8̧ »1 » 1 
 |gnpxq
gn 1pxq| gn py q dy dx 

n 1 0 0
8̧ »1
 pgnpxq gn 1 pxqq dx  8.

n 1 0

b) Sean X  Y  r0, 1s con µ  m la medida de Lebesgue en r0, 1s y ν

la medida cardinal en r0, 1s. La función
#
si x  y
f px, y q  px, yq P r0, 1s  r0, 1s
1
0 si x  y

es medible.4 Para cada y PY la función f y es cero en µ-casi todo punto, por

lo que » »
f px, y q dµpxq  f y dµ  0
X X
4
La función f es la función característica del conjunto ∆  tpx, xq : x P r0, 1su. Este
conjunto es cerrado en r0, 1sr0, 1s y por lo tanto pertenece a Br0,1sr0,1s  Br0,1s b Br0,1s
que obviamente está contenida en L b P pr0, 1sq.

Teoría de la medida (2018-2019)

6-10 Medidas producto. Teorema de Fubini

y » » 
f px, y q dµpxq dν py q  0.
Y X
Por otra parte, para cada x P X, fx  χtxu, luego
» »
f px, y q dν py q  fx dν  ν ptxuq  1
Y Y
y » »  »
f px, y q dν py q dµpxq  1 dµpxq  µpr0, 1sq  1.
X Y X
Nuevamente las integrales iteradas existen y son distintas, aunque la función
es no negativa. En es este caso el teorema de Tonelli no se verifica porque la
medida ν no es σ-finita.

6.3 Compleción de medidas producto

Sean pX, S, µq e pY, Σ, ν q dos espacios de medidas completas. No siempre
es cierto que la medida producto µ  ν sea completa. De hecho, si existen
dos conjuntos, E € X, E R S, y Z P Σ, Z  ∅, tal que ν pZ q  0, el
conjunto E  Z es un conjunto que, por 6.1.4, no pertenece a S b Σ pero
E  Z € E  Y y pµ  ν qpE  Y q  0. Esta situación se da, por ejemplo, si
µ  ν  m es la medida de Lebesgue en R. Por este motivo en ocasiones
será conveniente trabajar con la compleción de la medida producto en lugar
de esta. En este caso nos serán de gran utilidad las versiones alternativas de
los teoremas de Tonelli y Fubini que veremos a continuación.
Lema 6.3.1. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida σ-finita com-
pletos y sea pX  Y, pS b Σq , pµ  ν q q la compleción de pX  Y, S b Σ, µ  ν q.
Sea h una función pS b Σq -medible en X  Y tal que h  0 en pµ  ν q -c.t.p.
Entonces,
a) para casi todo x P X se verifica que hpx, y q  0 para casi todo y PY;
en particular, hx es Σ-medible para casi todo x P X,
b) para casi todo y P Y se verifica que hpx, y q  0 para casi todo x P X;
en particular, hy es S-medible para casi todo y P Y .
Demostración. Sea E  tpx, y q P X  Y : hpx, y q  0u. El conjunto E
pertenece a pS b Σq y pµ  ν q pE q  0. Entonces existe un conjunto
Z P S b Σ tal que E € Z y pµ  ν qpZ q  0. Por el teorema 6.1.5
»
ν pZx q dµpxq  0.
X

Sea N  tx P X : ν pZx q ¡ 0u. Por 4.2.6 µpN q  0. Como Ex € Zx y µ es

una medida completa, se sigue que Ex P S para todo x R N . En consecuencia

Teoría de la medida (2018-2019)

6.3 Compleción de medidas producto 6-11

para casi todo x P X el conjunto Ex  ty P Y : hpx, y q  0u tiene ν-medida

0, que es lo que queríamos demostrar. La demostración del otro caso es
análoga.

6.3.2. Teorema de Tonelli. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida

σ-finita completos y sea pX  Y, pS b Σq , pµ  ν q q la compleción de pX 
Y, S b Σ, µ  ν q. Si f : X  Y Ñ r0, 8s es una función pS b Σq -medible,
entonces:

a) fx es Σ-medible para casi todo x P X y f y es S-medible para casi todo

y PY,

b) las funciones no negativas

» »
x ÞÝÑ fx dν  f px, y q dν py q, (6.14)
Y Y

y
» »
y ÞÝÑ f dµ 
y
f px, y q dµpxq, (6.15)
X X

están definidas en casi todo punto, son medibles y

» » » 
f d pµ  ν q  f px, y q dν py q dµpxq 

X Y X
» »
Y

 f px, y q dµpxq dν py q. (6.16)
Y X

Demostración. Por 3.3.3 existe una función f¯, pS b Σq-medible, tal que la
función f
f¯ es 0 en pµ  ν q casi todo punto. Por el lema precedente
fx  f¯x en ν-c.t.p para casi todo x y f y  f¯y en µ-c.t.p para casi todo y.
En particular las integrales dobles para f y f¯ coinciden. Como f¯x y f¯y son
medibles, por 6.1.4, se deduce de 3.3.1 que fx es medible para casi todo x P X
y f y es medible para casi todo y P Y . Además aplicando la versión general del
teorema de Tonelli, 6.2.1, a f¯ se concluye que las funciones (6.14) y (6.15) son
medibles, porque donde están definidas coinciden con las correspondientes
funciones para f¯, y que las integrales iteradas en (6.16) son iguales, porque
las integrales iteradas para f y f¯ coinciden.

Corolario 6.3.3. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida σ-finita

completos y sea pX  Y, pS b Σq , pµ  ν q q la compleción de pX  Y, S b
Σ, µ  ν q. Si E P pS b Σq , entonces:

a) las secciones Ex P Σ para casi todo x P X y Ey P S para casi todo

y PY.

Teoría de la medida (2018-2019)

6-12 Medidas producto. Teorema de Fubini

b) las funciones

x ÞÝÑ ν pEx q, y ÞÝÑ µpE y q,

definidas en casi todo punto, son medibles en X e Y , respectivamente, y
» »
pµ  ν q p E q  ν pEx q dµpxq  µpE y q dν py q
X Y

6.3.4. Teorema de Fubini. Sean pX, S, µq e pY, Σ, ν q dos espacios de medida

σ-finita completos y sea pX  Y, pS b Σq , pµ  ν q q la compleción del espacio
de medida pX  Y, S b Σ, µ  ν q. Si f P L 1 ppµ  ν q q, entonces fx P L 1 pν q
para casi todo x P X y f y P L 1 pµq para casi todo y P Y . Las funciones
» »
x ÞÝÑ fx dν  f px, y q dν py q (6.17)
Y Y

y » »
y ÞÝÑ f y dµ  f px, y q dµpxq (6.18)
X X

están definidas en casi todo punto, son integrables y

» » » 
f d pµ  ν q  f px, y q dν py q dµpxq 

X Y X
» »
Y

 f px, y q dµpxq dν py q. (6.19)
Y X

6.4 Aplicaciones
Para cerrar este capítulo vamos a ver algunas aplicaciones sencillas de
los resultados que acabamos de ver.

6.4.1 La integral como área bajo la gráfica.

Sea pX, S, µq un espacio de medida y sea f : X Ñ r0, 8s una función
medible. La función Φ : X  R Ñ R definida

Φpx, y q  f pxq
y ppx, yq P X  Rq

es medible (es diferencia de dos funciones medibles f  πX y πR , donde πX y
πR denotan las proyecciones de X  R sobre X y R, respectivamente). En
consecuencia el conjunto

E  tpx, yq P X  R : 0 ¤ y   f pxqu

Teoría de la medida (2018-2019)

6.4 Aplicaciones 6-13

pertenece a S b L .5 Aplicando 6.1.5 resulta que

» »
pµ  mqpE q  mpEx q dµpxq  f pxq dµpxq. (6.20)
X X

Esta nos dice que, para la integral que hemos definido, también se verifica la
familiar fórmula que nos dice que el área debajo de la gráfica de una función
no negativa viene dada por la integral de la función. Aplicando nuevamente
el teorema 6.1.5, pero intercambiando los papeles de X y R se obtiene la
igualdad
» »8

pµ  mqpE q  µ pE y
q dmpyq  µ tx P X : f pxq ¡ y u dy
R 0

de donde se deduce la fórmula

» »8

f pxq dµpxq  µ tx P X : f pxq ¡ y u dy, (6.21)
X 0

que en ocasiones resulta útil para sustituir integrales en un espacio abstracto

por integrales en R. 
La función que asigna a cada y P r0, 8q el número µ tx P X : f pxq ¡ y u
se le llama función de distribución de f . Es claro que esta función es
monótona no creciente y, por tanto, medible Borel.

6.4.2 Convolución de funciones

Proposición 6.4.1. Sean f, g P L 1pRq. Entonces:
a) para casi todo x P R la función

y ÞÝÑ f px
yqgpyq
pertenece a L 1 pRq,

b) La función
»
pf  gqpxq  f px
y qg py qdy, (6.22)
R

que está definida para los x que satisfacen la condición a), es integrable y
» » »
|f  g| ¤ |f | |g|. (6.23)
R R R
5
E  tpx, yq P X  R : Φpx, yq ¡ 0u X X  r0, 8s.

Teoría de la medida (2018-2019)

6-14 Medidas producto. Teorema de Fubini

Demostración. La función de R2 en R definida

F px, y q  f px
y qg py q

es L b L -medible porque es un producto de funciones medibles.6 Por el

teorema de Tonelli
» » »  » » 
|F |  |F px, yq| dx dy  |f px
yq| dx |gpyq| dy.

R R R R R R

Por ser la medida de Lebesgue en R invariante por traslaciones, 2.2.1, se

comprueba fácilmente que, para todo y,
» »
|f px
yq| dx  |f pxq| dx
R R

luego
» » »  » » 
|F |  |f pxq| dx |gpyq| dy  |f pxq| dx |gpyq| dy   8.

R R R R R R

Esto demuestra que F P L 1 pR  Rq, y el teorema de Fubini implica que la

función
Fx : y ÞÝÑ F px, y q  f px
y qg py q
³
pertenece a L 1 pRq para casi todo x P R y que la función x ÞÑ R F px, y q dy 
pf  gqpxq es integrable. Por último, aplicando 4.3.2 y el teorema de Tonelli
se deduce que
» » » 
|pf  gqpxq| dx ¤ |F px, yq dy dx 
R R R
» » » 
 |F |  |f pxq| dx |gpyq| dy .

R R R R

6
La función px, y q ÞÑ g py q es la composición de la segunda proyección de R2 sobre R
y g, que son medibles, y la función px, y q ÞÑ f px
y q es la composición de una función
continua y f , ambas también medibles.

Teoría de la medida (2018-2019)