Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.1 Introducción
Uno de los problemas clásicos de las Matemáticas, que se remonta a sus
orígenes, ha sido el de medir el área o el volumen de una región del plano
o del espacio o la longitud de una curva. Ya en la Grecia clásica aparecen
las primeras técnicas de lo que hoy denominaríamos cálculo integral para
el cálculo de áreas. Con el descubrimiento, por Newton y Leibnitz, en la
segunda mitad del siglo XVII del teorema fundamental del Cálculo, que
muestra la relación existente entre el recientemente introducido concepto
de diferencial y el de integral, el cálculo integral cobra un fuerte impulso y
se convierte en una potente, a la par que simple, herramienta para medir
el área de una superficie, la longitud de un arco de curva o el volumen de
una región del espacio. A comienzos del siglo XIX, y como consecuencia del
debate suscitado por el trabajo de Fourier sobre la distribución del calor
en cuerpos sólidos, se plantea en la comunidad matemática la necesidad de
un mayor rigor y precisión en los conceptos que emplea. Esta necesidad era
particularmente manifiesta en el caso del concepto de integral que en aquella
época no estaba definido de una manera precisa sino que más bien se basaba
en nociones intuitivas relacionadas con conceptos físicos o geométricos como
velocidad, aceleración, longitud, área, volumen o tangente. En 1823 Cauchy
publica la primera definición rigurosa del concepto de integral definida que
1.2 σ-Álgebras
En esta sección introduciremos las distintas familias de conjuntos con las
que vamos a trabajar.
JGG - CAMPUS VIRTUAL UCM 2019
b) si A1 , A2 , . . . , An P A entonces A1 Y A2 Y ¨ ¨ ¨ Y An P A .
El conjunto t∅, Xu y la familia de todos los subconjuntos de X, PpXq,
son dos ejemplos triviales de álgebras en un conjunto X. Estas dos álgebras
son precisamente los dos casos extremos de álgebras en X. Un ejemplo un
poco más complicado de álgebra es el siguiente:
Ejemplo 1.2.2. Sea X un conjunto infinito. La familia
es un álgebra en X.
El siguiente ejemplo nos será de gran utilidad más adelante.
Ejemplo 1.2.3. Sea E la familia de todos los intervalos, finitos o infinitos,
semi-abiertos por la izquierda, junto con el conjunto vacío:
b) Si A, B P A entonces A r B P A .
c) Si A1 , A2 , . . . , An P A entonces A1 X A2 X ¨ ¨ ¨ X An P A
a) si A P S entonces Ac P S,
P S.2
Ť
b) si pAn qnPN es una sucesión de elementos de S entonces n An
es una σ-álgebra en X.
a) X y ∅ pertenecen a S.
b) Si A, B P S entonces A r B P S.
2
Una familia de conjuntos que tiene esta propiedad se dice que es cerrada por uniones
numerables.
3
También es habitual omitir la referencia a la σ-álgebra al hablar de espacios medibles
y emplear expresiones como “sea X un espacio medible”, dando por sobreentendida la
σ-álgebra.
Ş
c) Si pAn qnPN es una sucesión de elementos de S entonces nA P S.
BR “ SpI1 q Ă SpIj q.
1.3 Medidas
En esta sección vamos a introducir el concepto central de la teoría.
a) µp∅q “ 0,
a) µp∅q “ 0,
b) si pAn q8
n“1 es una sucesión de elementos de S, disjuntos dos a dos,
8
´ď ¯ 8
ÿ
µ An “ µpAn q. (1.2)
n“1 n“1
siguientes propiedades:
a) µ es monótona: Si A, B P A y A Ă B entonces µpAq ď µpBq:
que n An P A , entonces
8
´ď ¯ 8
ÿ
µ An ď µpAn q.
n“1 n“1
Demostración. a) Si A, B P A y A Ă B, entonces
c) Podemos suponer que todos los conjuntos An son de medida finita pues
en caso contrario el resultado es trivial. Para cada n sea Bn “ ŤAn`1 r An .
Los conjuntos
Ť8 B n pertenecen a A , son disjuntos dos a dos y 8
n“1 An “
A1 Y n“1 Bn . Además µpAn`1 q “ µpAn q ` µpBn q, y, por tanto, como los
tres conjuntos son de medida finita, µpBn q “ µpAn`1 q ´ µpAn q, luego
8
´ď ¯ 8
´ď ¯ 8
ÿ
µ An “ µpA1 q ` µ Bn “ µpA1 q ` µpBn q “
n“1 n“1 n“1
8
ÿ
“ µpA1 q ` rµpAn`1 q ´ µpAn qs “ lı́m µpAn q.
n
n“1
b) µ˚ pAq ď µ˚ pBq si A Ă B,
8
´ď ¯ 8
ÿ
n“1 Ă PpXq, entonces µ
˚
c) si pAn q8 An ď µ˚ pAn q.
n“1 n“1
Es obvio que una medida en PpXq es una medida exterior. Sin embargo,
una medida exterior en general no es una medida, como muestran los ejemplos
siguientes.
Ejemplo 1.4.2. Sea X un conjunto no vacío. La función µ˚ definida µ˚ p∅q “ 0
y µ˚ pAq “ 1 si A es un subconjunto no vacío de X, es una medida exterior
en X.
Ejemplo 1.4.3. Sea X un conjunto infinito no numerable. La función µ˚
definida µ˚ p∅q “ 0, µ˚ pAq “ 1 si A Ă X es finito o numerable y µ˚ pAq “ 8
en cualquier otro caso, es una medida exterior en X.
La siguiente proposición nos proporciona un método de construcción de
medidas exteriores que nos va a ser de gran utilidad.
12
Veremos más adelante que no es posible definir una medida del tipo que buscamos en
todos los subconjuntos de R.
8
ď ÿ ε
An Ă En,k y νpEn,k q ď µ˚ pAn q ` ,
k k“1
2n
Ť Ť
luego n An Ă n,k En,k y
8 8 ” 8
ÿ ÿ εı ÿ
νpEn,k q ď µ˚ pAn q ` n “ µ˚ pAn q ` ε.
n,k“1 n“1
2 n“1
1
µpAn q ď µ˚ pAq `
n
Ş
para todo n. El conjunto B “ n An pertenece a S, A Ă B y
1
µpBq ď µpAn q ď µ˚ pAq `
n
µ˚ pEq “ µ˚ pE X Aq ` µ˚ pE X Ac q (1.9)
para todo E Ă X.
Como siempre se verifica que µ˚ pEq ď µ˚ pE X Aq ` µ˚ pE X Ac q, la
condición (1.9) es equivalente a la condición
µ˚ pEq ě µ˚ pE X Aq ` µ˚ pE X Ac q. (1.10)
16
Se define el diámetro de un conjunto A Ă X como diámpAq “ suptdpx, yq : x, y P Au,
si A ‰ ∅, y 0 si A “ ∅.
17
Si p “ 0 entenderemos que ν es la función que vale 0 en ∅ y 1 en el resto.
18
Como el diámetro de un conjunto y su adherencia coinciden, la misma medida exterior
se obtiene si se parte de la familia E 1 “ tA Ă X : A cerrado y diámpAq ď δu. Por otra
parte, como todo conjunto está contenido en un conjunto abierto de diámetro un poco
mayor, se puede comprobar sin dificultad que si en la definición de la medida exterior Hp,δ
se parte de la familia E 2 “ tA Ă X : A abierto y diámpAq ď δu se llega la misma medida
exterior Hp .
En el caso particular X “ R es claro que en la definición de las medidas exteriores Hp,δ
es suficiente con considerar solo intervalos abiertos o intervalos cerrados.
19
También se denomina medida exterior de Hausdorff de orden p o p-medida
exterior de Hausdorff.
A Y B “ pA X Bq Y pAc X Bq Y pA X B c q,
µ˚ pE X pA Y Bqq ď µ˚ pE X A X Bq ` µ˚ pE X Ac X Bq ` µ˚ pE X A X B c q,
µ˚ pE X pA Y Bqq ` µ˚ pE X pA Y Bqc q ď
ď µ˚ pE X A X Bq ` µ˚ pE X Ac X Bq`
` µ˚ pE X A X B c q ` µ˚ pE X Ac X B c q “
“ µ˚ pE X Bq ` µ˚ pE X B c q “ µ˚ pEq.
µ˚ pE X Bn q “µ˚ pE X Bn X An q ` µ˚ pE X Bn X Acn q “
“µ˚ pE X An q ` µ˚ pE X Bn´1 q.
luego
8
ÿ
µ˚ pEq ě µ˚ pE X An q ` µ˚ pE X B c q ě
n“1
8
´ď ¯
ěµ ˚
pE X An q ` µ˚ pE X B c q “ µ˚ pE X Bq ` µ˚ pE X B c q.
n“1
JGG - CAMPUS VIRTUAL UCM 2019
µ˚ pE X Zq ` µ˚ pE X Z c q “ µ˚ pE X Z c q ď µ˚ pEq.
Una cuestión que surge de manera natural, es qué ocurre cuando se genera
una medida exterior a partir de una medida, ¿cuál es la relación entre la
medida original y la medida que se obtiene por el método de Carathéodory?
Esta cuestión nos remite a otra previa ¿cuál es la relación entre el dominio
de la medida original y la σ-álgebra del teorema?
a) A Ă M .
ÿ ÿ
“ rµpAn X Aq ` µpAn X Ac qs “ µpAn q.
n“1 n“1
µ˚ pE X Aq ` µ˚ pE X Ac q ď µ˚ pEq,
luego
µ̄pEq ` µ̄pA r Eq “ µ̄pAq “ νpAq “ νpEq ` νpA r Eq
y, como todos los términos de la anterior relación son finitos y ν ď µ̄, se
deduce que µ̄pEq “ νpEq.
n qnPN Ă A una sucesión disjunta de conjuntos de medida finita
d) Sea pXŤ
tal que X “ n Xn . Si ν es una medida en M que extiende a µ, y E P M ,
por c),
8
ÿ ÿ8
µ̄pEq “ µ̄pE X Xn q “ νpE X Xn q “ νpEq.
n“1 n“1
0 “ µ̄pB r M q “ µ˚ pB r M q “ µpN q.
8
ď
M“ pM X Xn q P S.
n“1
o, lo que es lo mismo,
µ˚ pA Y Bq “ µ˚ pAq ` µ˚ pBq.
F c “ tx P X : dpx, F q ą 0u.
Es claro que
G1 Ă G2 Ă ¨ ¨ ¨ Ă Gn´1 Ă Gn Ă ¨ ¨ ¨
y que ď
Gn “ E X F c .
JGG - CAMPUS VIRTUAL UCM 2019
ř ˚ pA q
también es convergente y, por lo tanto, que la serie nµ n converge. En
particular, esto implica que
ÿ
lı́m µ˚ pAn q “ 0. (1.15)
mÑ8
nąm
Como
ď ď ď ď
An “ pGn r Gn´1 q “ Gn r Gm “ Gn r Gm “
nąm nąm nąm ně1
“ pE X F c q r Gm “ E X F c X Gcm
resulta que
`ď ÿ
µ˚ pGcm X E X F c q “ µ˚
˘
An ď µ˚ pAn q
nąm nąm
JGG - CAMPUS VIRTUAL UCM 2019
µ˚ pE X F c q ď µ˚ pGm q ` µ˚ pGcm X E X F c q
µ˚ pE X F c q ď lı́m µ˚ pGm q
m
µ˚ pE X F c q ` µ˚ pE X F q “ lı́m µ˚ pGm q ` µ˚ pE X F q “
mÑ8
“ lı́m rµ˚ pGm q ` µ˚ pE X F qs “ lı́m µ˚ pGm Y pE X F qq ď µ˚ pEq.
mÑ8 mÑ8
Medida de Lebesgue en R
JGG - CAMPUS VIRTUAL UCM 2019
Lema 2.1.4. Con las notaciones del teorema precedente, si ppak , bk qqnk“1 es
una familia finita de intervalos abiertos cuya unión es un intervalo pa, bq
entonces
n
ÿ
F pbq ´ F paq ď pF pbk q ´ F pak qq .
k“1
punto de dicha intersección. Si pa, bq coincide con uno de los dos intervalos
no hay nada que probar. En el otro caso podemos suponer, sin pérdida de
generalidad, que a “ a1 y b “ b2 . Entonces
y N1 X N2 “ ∅. En consecuencia
ÿ ÿ ÿ
rF pbn q ´ F pan qs ě rF pbn q ´ F pan qs ` rF pbn q ´ F pan qs ě
n nPN1 nPN2
ě µ˚ pAq ` µ˚ pBq.
JGG - CAMPUS VIRTUAL UCM 2019
Por último,
Comenzaremos con un lema técnico que nos dice que en la fórmula para
calcular la medida exterior µ˚F de un conjunto A Ă R,
# +
8
ÿ 8
ď
˚
µF pAq “ı́nf rF pbn q ´ F pan qs : A Ă pan , bn s “
n“1 n“1
# +
ÿ8 8
ď
“ı́nf µF pan , bn s : A Ă pan , bn s ,
n“1 n“1
8
ÿ 8
ÿ
νpAq ď µF pan , cn q ď pµF pan , bn s ` µF pbn , cn sq “
n“1 n“1
8
ÿ 8
ÿ
“ µF pan , bn s ` rF pcn q ´ F pbn qs ď
n“1 n“1
8 8 8
ÿ ÿ ε ÿ
ď µF pan , bn s ` “ µF pan , bn s ` ε.
JGG - CAMPUS VIRTUAL UCM 2019
n“1 n“1
2n n“1
Como lo anterior es válido para todo ε ą 0 se deduce que νpAq ď µ˚F pAq.
Sea ahora ppan , bn qqn tal que A Ă 8
Ť ˚
n“1 pan , bn q. Por ser µF una medida
exterior
8
ÿ
µ˚F pAq ď µ˚F pan , bn q
n“1
µpGq ´ µpAq ă ε.
a) A P M .
µ˚ pU r Aq ă ε.
µ˚ pA r Cq ă ε.
Ş
El conjunto G “ n Un es un conjunto Gδ que contiene a A. Si N “ G r A,
se tiene que A “ G r N y µpN q “ 0 porque
1
µ˚ pN q ď µ˚ pUn r Aq ď
n
para todo n.
a) ñ d) La demostración es la misma que la de la primera parte de 2.1.15
teniendo en cuenta que si A P M su complementario también pertenece a
M.
d) ñ e) Por hipótesis, existe una sucesión de conjuntos cerrados pCn qnPN
contenidos en A y tales que
1
µ˚ pA r Cn q ă .
n
Ť
El conjunto F “ n Cn es un conjunto Fσ contenido en A. Si Z “ A r F ,
JGG - CAMPUS VIRTUAL UCM 2019
m˚ pE X px ` Aqq ` m˚ pE X px ` Aqc q “
“ m˚ pp´x ` Eq X Aq ` m˚ pp´x ` Eq X Ac q “
JGG - CAMPUS VIRTUAL UCM 2019
“ m˚ p´x ` Eq “ m˚ pEq
m˚ pE X rAq ` m˚ pE X prAqc q “
“ |r|m˚ ppr´1 Eq X Aq ` |r|m˚ ppr´1 Eq X Ac q “
“ |r|m˚ pr´1 Eq “ m˚ pEq.
a b
`n
`n ´ 2`n`1
a b
`n`1 `n`1
C0 Ą C1 Ą C2 Ą . . . Cn Ą Cn`1 Ą . . .
JGG - CAMPUS VIRTUAL UCM 2019
C0
0 1
C1
0 1 2 1
3 3
C2
0 1 2 1 2 7 8 1
9 9 3 3 9 9
x“ n
“ (2.10)
n“1
3 n“1
3n
el primero con xn “ 0 para n ą m y xm “ 1 o 2 y el segundo con yn “ 2
para n ą m e ym “ xm ´ 1.13 Por ejemplo
1 1 ÿ 0 0 ÿ 2
“ ` “ `
3 3 ną1 3n 3 ną1 3n
y
2 2 ÿ 0 1 ÿ 2
“ ` “ `
3 3 ną1 3n 3 ną1 3n
12
Si 0 ď x ă 1, la sucesión pxn qnPN definida por recurrencia: x1 “ r3xs, la parte entera
de 3x y, para n ą 1
« ˜ n´1
¸ff n´1
n
ÿ xk ÿ
xn “ 3 x´ k
“ r3n xs ´ xk 3n´k
k“1
3 k“1
satisface (2.9). Obsérvese que r3n xs “ 3kn ` xn para algún entero no negativo kn . Esta
observación nos proporciona otro método para obtener xn : xn es el resto que queda al
dividir el número entero r3n xs por 3.
Por otro lado,
8
ÿ 2
1“ n
.
n“1
3
13
Si un número x tiene dos desarrollos como en (2.10) y estos son distintos, al menos
para un m, xm ‰ ym . Suponiendo que m es el menor de esos índices y que xm ą ym , se
tiene entonces que
8 8
xm ÿ xn ym ÿ yn
` “ `
3m n“m`1 3n 3m n“m`1 3n
luego
8 8
1 xm ´ ym ÿ yn ´ xn ÿ 2 1
ď “ ď “ m
3m 3m n“m`1
3n
n“m`1
3 n 3
y, por tanto, xm ´ ym “ 1 e yn ´ xn “ 2 para todo n ą m. Esto último solo puede ocurrir
si xn “ 0 e yn “ 2. Obsérvese que necesariamente o bien xm o bien ym ha de ser igual a 1.
2
y en cambio para 3 elegiremos el desarrollo
2 2 ÿ 0
“ ` .
3 3 ną1 3n
3j ` 2 ď 3n x ď 3pj ` 1q.
y, por tanto, xn “ 1. Todo esto nos dice que los elementos del conjunto
ternario de Cantor son precisamente aquellos que tienen un desarrollo en
base 3 con todos los xn distintos de 1. Esto es lo mismo que decir que el
conjunto ternario de Cantor es la imagen mediante ϕ del conjunto t0, 2uN . De
esta forma se demuestra que existe una biyección entre el conjunto ternario
y el conjunto t0, 2uN .14 Como este último conjunto es no numerable hemos
demostrado el siguiente resultado.
dj ´ cj
x P paj , bj q, j “ 1, 2, . . . 2n´1 .
` ˘
f pxq “ cj ` px ´ aj q ,
bj ´ aj
8
9
7
9
2
3
1
JGG - CAMPUS VIRTUAL UCM 2019
2
9
1
9
0 1
Para concluir esta sección vamos a construir una función asociada con el
conjunto de Cantor y que, como este, tiene propiedades interesantes.
Sea, para n “ 0, 1, 2, . . . ,
mpCn X r0, xsq
fn pxq “ , 0 ď x ď 1.
mn
1 1
3
4
f1 f2
1
1{2 2
JGG - CAMPUS VIRTUAL UCM 2019
1
4
0 1{3 2{3 1 0 1 2 1 2 7 8
1
9 9 3 3 9 9
2k k
fn`1 pxq “ n`1
“ n.
2 2
En consecuencia,
fn`1 pxq “ fn pxq si x R Cn . (2.13)
JGG - CAMPUS VIRTUAL UCM 2019
1
0 ă fn pdq ´ fn pcq “ . (2.14)
2n
En consecuencia, si x P Cn
a) Si p, q P Q, p ‰ q, entonces pp ` Eq X pq ` Eq “ ∅.
ď
b) pq ` Eq “ R.
qPQ
lo que solo puede ocurrir si mpEq “ 0, ya que mpq ` Eq “ mpEq para todo
q. Pero mpEq no puede ser 0, porque, por la propiedad b) del conjunto E,
entonces se tendría que
ÿ ÿ
mpRq “ mpq ` Eq “ mpEq “ 0
qPR qPR
17
El axioma de elección afirma que para cualquier conjunto no vacío X existe una función
f : PpXq r t∅u Ñ X tal que f pAq P A para todo A Ă X, A ‰ ∅. Una función de este
tipo se denomina función de elección.
18
Elegido un conjunto E con un elemento de cada una de las clases de equivalencia, el
conjunto tx ´ rxs : x P Eu es del mismo tipo ya que x y x ´ rxs están en la misma clase
de equivalencia. Aquí rxs denota la parte entera del número x.
lo que no es cierto.
lo que implica que mpKq “ 0. De aquí se deduce que mpAq q “ 0 por 2.1.15.
Por último, aplicando la propiedad b) de E, se tiene que
´ď ¯ ÿ
mpAq “ m A X pq ` Eq “ mpAq q “ 0.
qPQ qPQ
20
Como la función de la proposición va de r0, 1s en r0, 1s, es preciso extender convenien-
temente la función fuera del intervalo r0, 1s. Esto se puede hacer, por ejemplo, definiendo
f pxq “ x si x R r0, 1s.
Funciones medibles
JGG - CAMPUS VIRTUAL UCM 2019
Definición 3.1.1. Dados dos espacios medibles pX, Sq e pY, Σq, una función
f : X Ñ Y se dice que es pS, Σq-medible, o simplemente medible, si no
hay lugar a confusión, si para cada A P Σ se cumple que f 1 pAq P S.
a) la restricción de f a X0 es S0 -medible y
f01 pB q f 1 pB q f 1 pB q X X0 P S0 .
f máxpf, 0q y f máxpf, 0q
respectivamente. Es inmediato que
f f f y |f | f f (3.2)
f |f | 2 f
y f |f | 2 f . (3.3)
JGG - CAMPUS VIRTUAL UCM 2019
Corolario 3.1.15. Una función f : X Ñ R es medible si, y solo si, sus partes
positiva y negativa, f y f , son medibles.
a) f es S-medible.
c)ñ d) Si α P R,
tx P X : f pxq ¤ αu X r tx P X : f pxq ¡ αu P S.
d)ñ e) Si α P R,
" *
¤
tx P X : f p x q α u x P X : f px q ¤ α
1
n
P S.
n
e)ñ a) Es consecuencia
( de 3.1.2 y de que la familia de intervalos en R
r8, αq : α P R genera la σ-álgebra BR.
Proposición 3.1.17. Sea pX, Sq un espacio medible. Si, para cada n P N, la
función fn : X Ñ R es medible, entonces las funciones sup fn e ı́nf fn son
medibles.
JGG - CAMPUS VIRTUAL UCM 2019
Corolario 3.1.18. Sea pX, Sq un espacio medible. Si pfn qnPN es una sucesión
de funciones medibles definidas en X que toman valores en la recta ampliada
entonces las funciones lı́m inf fn y lı́m sup fn son medibles. En particular si
lı́m fn pxq existe para todo x P X entonces la función lı́m fn es medible.
|s1| ¤ |s2| ¤ ¤ |f | .
Además psn qnPN converge a f uniformemente en los conjuntos donde f está
acotada.
" *
j1
En,j f 1 ,
2n 2n
j
x P X : j 1 ¤ f px q
2n
j
2n
y sea
Fn f 1 rn, 8q tx P X : f pxq ¥ nu.
Por ser f medible los conjuntos En,j y Fn son medibles y la función
¸ j1
n2n
sn χ
2n En,j
nχFn
j 1
1
JGG - CAMPUS VIRTUAL UCM 2019
j1 j 2j 2 2j 1 ¤ 2j 1
2n
,
2n
,
2n 1
,
2n 1 2n 1 2n
2j
1
se tiene que
En,j En 1,2j 1 Y En 1,2j
luego
¸ j1
n2n
sn n
χEn,j nχFn
j 1
2
¸ j1
n2n
2n
χEn 1,2j 1 χEn 1,2j
nχFn ¤
j 1
¤ 2j2n12 χEn 2j 1
¸
n
¸
n2 n2n
1,2j 1
χ
2n 1 En 1,2j
nχFn
j 1 j 1
k1
n 1
n2¸
χ
2n 1 En 1,k
nχFn sn 1 ¤
k 1
pn ¸1q2n
k1
1
¤ χ
2n 1 En 1,k
pn 1qχFn 1
sn 1.
k 1
b) Sean pun qnPN y pvn qnPN dos sucesiones crecientes de funciones simples
no negativas que satisfacen las condiciones del apartado a) para f y f ,
3
2
1
JGG - CAMPUS VIRTUAL UCM 2019
1
2
ņ
f aj χAj ,
j 1
según acabamos de ver, existen g1 , . . . , gn funciones S-medibles y conjuntos
µ̄-nulos, Z1 , . . . , Zn , tales que χAj gj en Zjc para j 1, . . . , n. Entonces la
función ņ
g aj gj
j 1
es una función S-medible que coincide con f en Z1c X XZnc pZ1 Y YZn qc ,
por lo que f g en µ̄-c.t.p.
En el caso general, por 3.2.1, existe una sucesión psn qnPN de funciones
simples S-medibles que converge puntualmente a f . Para cada n, por lo visto
anteriormente, existen una función S-medible, tn , y un conjunto NnP S
con µ̄pNn q 0 tales que sn tn en Nnc . Sea N P S tal que N Nn
y µpN q 0. La función g lı́mn tn χN c es S-medible y coincide con f en
N c.
Integración
JGG - CAMPUS VIRTUAL UCM 2019
» » »
b) ps tq dµ s dµ t dµ.
X X X
» »
c) Si s ¤ t, entonces s dµ ¤ t dµ.
X X
»
d) La aplicación ν : A P S ÞÑ s dµ es una medida.
A
»
e) Si A P S y µpAq 0 entonces s dµ 0.
A
»
f) Si s es cero en A P S entonces s dµ 0.
A
Sean
ņ m̧
s aj χAj y t bk χBk
j 1 k 1
las representaciones canónicas de s y t respectivamente.
b) Haciendo uso de que k Bk X se tiene que
ņ ņ m̧ ¸
s aj χAj aj χAj XBk aj χAj XBk
j 1 j 1
k 1
j 1,...,n
k 1,...,m
X
Aj Bk ∅
y, análogamente ¸
t bk χAj XBk
j 1,...,n
k 1,...,m
X
Aj Bk ∅
luego ¸
s t paj bk qχAj XBk .
j 1,...,n
k 1,...,m
X
Aj Bk ∅
Demostración. Observemos ³ en primer lugar que por ser la sucesión psn qnPN
monótona el limite lı́m X sn dµ existe. Sea s una función simple tal que
0 ¤ s ¤ f . Sean c ¡ 1 y, para cada n,
E2 En .
E1
Además, por ser c ¡ 1, En X. Para cada n, por 4.1.3,
» » » »
s dµ ¤ csn dµ c sn dµ ¤ c sn dµ.
En En En X
a) Si c ¥ 0, cf dµ c f dµ.
X X
» » »
b) pf g q dµ f dµ g dµ.
X X X
» »
c) Si f ¤ g, entonces f dµ ¤ g dµ.
X X
»
d) La aplicación ν : A P S ÞÑ f dµ es una medida.
A
»
e) Si A P S es tal que µpAq 0 entonces f dµ 0.
A
d) Solo hay que ver que ν es σ-aditiva. Si pAn qnPN es una sucesión de
conjuntos medibles disjuntos dos a dos, para cada N P N, se deduce de b),
que
» » » Ņ Ņ » Ņ »
N f f χN An
n 1
f χA n f χAn f.
n 1 An X X n 1
n 1 X
n 1 An
Ņ » » »
f f ¤ 8 f,
n 1 An
N
n 1 An n 1 An
X n 1 An
n 1 An
n 1 An
Proposición
³ 4.2.4. Si f : X ÝÑ r0, 8s es una función medible tal que
X f 8, entonces:
tiene que
» » » » »
f pf χZ f χZ c q f f f
X X Z Zc » Zc » » »
g g g g.
Zc Z Zc X
Proposición
³ 4.2.6. Si f : X Ñ r0, 8s es una función medible, entonces
X f 0 si, y solo si, f 0 en c.t.p.
³ ³
Observación 4.3.1. Obsérvese que si las dos integrales X f e X f son
infinitas el término de la derecha de (4.8) no está definido. Si una de estas
dos integrales es infinita entonces el término de la derecha de (4.8) vale 8 o
8 dependiendo de si es la primera o la segunda integral la que vale infinito.
Si ambas integrales son finitas su diferencia también es finita.
| Re f | ¤ |f |, | Im f | ¤ |f |, |f | ¤ | Re f | | Im f |.
3
Algunos autores emplean la terminología función integrable en sentido generali-
zado o ampliado para referirse a las funciones medibles para las que la integral existe
sea esta finita o infinita.
³
Para demostrar (4.10), sea c ³ sign ³X f . Se comprueba fácilmente que la
función c̄f es integrable y c̄ X f X c̄f . Haciendo uso de este hecho se
tiene que
» » » » »
f c̄ f c̄f Re c̄f Repc̄f q ¤
X X X X X
» »
¤ |Repc̄f q| ¤ |f |.
X X
Este último resultado nos dice que, desde el punto de vista de la in-
tegración, dos funciones medibles que coinciden en casi todo punto, son
indistinguibles. En particular esto, en conjunción con 4.3.4, nos permite
restringir nuestro estudio de la integrabilidad a funciones que solo toman
valores finitos. Además podemos ampliar nuestro estudio a funciones que
están definidas en un subconjunto medible de X cuyo complementario tiene
medida 0, extendiéndolas de manera arbitraria en el complementario de
manera que la función resultante sea medible. Si una de estas extensiones de
la función es integrable las demás extensiones también lo serán y, además en
este caso, todas tendrán la misma integral. Por este motivo, en lo sucesivo,
en todas las cuestiones relativas a integración, siempre que tengamos una
función definida en casi todo punto, salvo mención expresa de lo contrario,
la consideraremos implícitamente extendida a todo el espacio de una de las
maneras indicadas anteriormente.
f g pf gq pf g q f f g g
resulta que
pf gq f g pf g q f g
luego, por 4.2.5 b),
» » » » » »
pf gq f g pf g q f g
X X X X X X
³ ³ ³
de donde se deduce que X pf g q X f X g.
b) Es inmediato.
c) Sea h máxpf, g q. La³ función
³ h es medible y h g en c.t.p. Se sigue
³ 4.3.5 que h P L y que X g X h. Además h f es no negativa luego
de 1
X ph f q ¥ 0. Se sigue de a) que
» » » » »
g h ph f q f ¥ f.
X X X X X
|f g| pf gq f g 0.
E E E E
Análogamente
» » » »
|f g| pg f q g f 0.
Ec Ec Ec Ec
c) ñ a) es consecuencia de 4.2.6.
Proposición 4.3.8. Sea f una función integrable. Para cada ε ¡ 0 existe un
δ ¡ 0 tal que para cualquier conjunto medible E con µpE q δ se verifica que
»
f dµ
ε.
E
¤ ν pEnq nµpE q
ε
2
ε
2
ε.
Para cada n, sea An tx P X : f pxq ¥ n1 u. Los conjuntos An son
medibles, la sucesión pAn qnPN es creciente y
¤
A An tx P X : f pxq ¡ 0u.
n
» »
f f ν pAq .
X A
Teoremas de convergencia
JGG - CAMPUS VIRTUAL UCM 2019
tm 1¤máx
n¤m
sn,m .
Las funciones tm son simples. Además es claro que la sucesión ptm qmPN es
creciente y
sn,m ¤ tm ¤ máx fn fm (5.2)
¤¤
1 n m
fn ¤ lı́m
m
tm ¤ f
³ ³
para todo n. Se concluye de b) que lı́m tm f . Por 4.2.1 f lı́m tm . Por
otra parte, por (5.2), » » »
tm ¤ fm ¤ f
X X X
para todo m, lo que demuestra (5.1).
En el caso general, sea A el conjunto de los puntos x P X para los que a)
y b) se cumplen. Por hipótesis µpAc q 0. Sean h f χA y hn fn χA . La
sucesión phn qnPN es una sucesión creciente de funciones medibles no negativas
JGG - CAMPUS VIRTUAL UCM 2019
Para
³ concluir
³ ³ la demostración
³ en este caso basta observar que, por 4.2.5,
f h y hn fn para todo n.
es una medida y » »
g dν gf dµ (5.4)
X X
para toda g : X Ñ r0, 8s medible.
Demostración. La primera parte es el apartado d) de 4.2.2.
Por otro lado, si A P S
» » »
χA dν ν p Aq f dµ χA f dµ.
X A X
Demostración. Para cada n, sea gn ı́nf tfm : m ¥ nu. Las funciones gn son
medibles y la sucesión pgn qnPN es creciente. Por el teorema de la convergencia
monótona » » »
plı́m inf fnq lı́m gn lı́m gn.
X X X
³ ³
Por otro lado, por la monotonía de la integral, X gn ¤ fm para todo
m ¥ n, luego
X
» "» *
gn ¤ ı́nf fm : m ¥ n
X X
y » "» *
»
lı́m
n
gn ¤ lı́m
n
ı́nf fm : m ¥ n lı́mninf fn .
X X X
Entonces:
a) f P L 1,
» »
b) f lı́m
n
fn ,
X X
»
c) lı́m
n
|fn f | 0.
X
por 3.1.17.
Si el espacio de medida es completo o si la sucesión pfn qnPN converge en
todo punto a f , se concluye, aplicando 3.3.1 en el primer caso, o que E X
en el segundo, que la función f es medible, por lo que, en ambos casos, se
puede omitir la exigencia de la medibilidad de f de las hipótesis del teorema.
En general, si no se exige que f sea medible el teorema sigue siendo cierto
cambiando f por f χE .
a) f P L 1,
» »
b) f lı́m
n
fn ,
X X
»
c) lı́m
n
|fn f | 0.
X
Demostración. Por 3.2.1 existe una sucesión de funciones simples psn qnPN
tales que |s1 | ¤ |s2 | ¤ |sn | ¤ |f | y sn Ñ f . Por 4.3.6 c) y 4.3.2 las
funciones sn son integrables y, por el teorema de la convergencia dominada,
»
lı́m
n
|sn f | 0.
X
j 1
tal que »
|f s| ε.
X
y, por tanto,
» ņ »
χE
χIj dµ ¤ χGrK dµ µpG r K q ε.
R
j 1 R
b
0 ` `
a a 4n 4n b
Teorema
°8 ³
5.4.2. Sea pfn qnPN una sucesión
°8
de funciones de L 1 tales que
n1 X |fn | 8. Entonces la serie n1 fn converge en casi todo punto a
una función de L y1
» 8̧ 8̧ »
fn fn . (5.8)
Xn 1
n 1 X
JGG - CAMPUS VIRTUAL UCM 2019
2
Si llamamos A al conjunto de puntos donde la serie converge y, para cada n, ponemos
fn χA en lugar de fn , la serie resultante converge en todo punto a una función S que
coincide en A con la suma de la serie original. Además las integrales que aparecen en la
serie de la derecha en (5.8) no varían si ponemos fn χA en lugar de fn .
función
ft : X ÝÑ R
x ÞÝÑ f px, tq
es integrable. y supongamos que existe una función g P L 1 pµq tal que para
todo t P I
|f px, tq| ¤ gpxq para casi todo x P X. (5.10)
Sea t0 P I tal que
lı́m f px, tq hpxq
tÑt0
existe para casi todo x P X. Entonces la función h es integrable y
» » »
lı́m f px, tq dµpxq h lı́m f px, tq dµpxq. (5.11)
t Ñt0 X X Xt Ñt0
En particular si, para casi todo x P X, la función
I ÝÑ R
t ÞÝÑ f px, tq (5.12)
es continua en t0 , entonces
» »
lı́m f px, tq dµpxq f px, t0 q dµpxq. (5.13)
t Ñt0 X X
La ecuación (5.13) nos dice que si, para casi todo x, la función (5.12) es
continua en el punto t0 entonces la función F definida en (5.9) también es
continua en t0 .
ft : x P X ÞÝÑ f px, tq
es integrable,
b) para todo t P I, la derivada parcial B f existe en todo x P X
Bt
c) existe una función g P L 1pµq tal que para todo t P I
B p q ¤ gpxq
f
para x P X.
JGG - CAMPUS VIRTUAL UCM 2019
B
t x, t
Entonces:
1) para cada t P I la función
Riemann.
Sea ra, bs un intervalo cerrado en R. Una partición P de ra, bs es una
sucesión finita ptk qnk0 tal que t0 a t1 tn b. Si f : ra, bs Ñ R
es una función acotada se definen las sumas superior e inferior de f , con
respecto a la partición P , como
ņ ņ
S pf, P q Mk pf qptk tk1 q e I pf, P q mk pf qptk tk1 q
k 1
k 1
donde
e
» b
f suptI pf, P q : P partición de ra, bsu
a
Demostración. Sea P ptk qnk0 una partición del intervalo ra, bs. Sean
Es claro que
IP ¤ f ¤ SP (5.17)
y que » »
IP I pf, Pq e SP S pf, Pq. (5.18)
ra,bs ra,bs
Sea pPn qnPN una sucesión de particiones de ra, bs tales que Pn 1 es más
fina que Pn para todo n y
» b » b
lı́m I pf, Pn q f y lı́m S pf, Pn q f.
n a n a
In¤ Sn, ¤ In 1 y Sn 1
por ser Pn 1 más fina que Pn . Las sucesiones pIn qnPN y pSn qnPN son conver-
gentes por ser monótonas. Sean g lı́m In y h lı́m Sn . Por 3.1.17 g y h
son funciones medibles. Se deduce de (5.17) que
g ¤ f ¤ h. (5.19)
luego
» » » b
g lı́m In lı́m I pf, Pnq f (5.20)
ra,bs n ra,bs a
y
» » » b
h lı́m Sn lı́m S pf, Pnq f. (5.21)
ra,bs n ra,bs a
f px q ε ¤ g p x q ¤ f p x q ¤ hpx q ¤ f px q ε
y como esto ocurre para todo ε ¡ 0 entonces g pxq hpxq. Por otro lado, si f
no es continua en x existe un ε ¡ 0 tal que cualquier intervalo alrededor de
x contiene un punto y tal que |f py q f pxq| ¡ ε. Como x R E, para cada n,
x pertenece a un intervalo abierto sin ningún punto de la partición Pn , y en
ese intervalo hay un punto yn tal que |f pyn q f pxq| ¡ ε. En consecuencia,
para todo n,
Sn pxq In pxq ¥ |f pyn q f pxq| ¡ ε.
Haciendo tender n a infinito se concluye que hpxq g pxq ¥ ε ¡ 0. Hemos
demostrado así que
P Σ. El complementario de R es el conjunto
B1 , . . . , B n
Rc pA1 B1 qc X X pAn Bn qc ,
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
fx py q χR px, y q.
Demostración. a) Sea
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 fx1 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.
Y X
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
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
JGG - CAMPUS VIRTUAL UCM 2019
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
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
son medibles y
» » » »
gj ¤ pg1 g2 q pf f q |f | 8, pj 1, 2q.
X X X Y
X Y
» » »
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
°
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 0
JGG - CAMPUS VIRTUAL UCM 2019
gn 1
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
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.
JGG - CAMPUS VIRTUAL UCM 2019
Y Y
y
» »
y ÞÝÑ f dµ
y
f px, y q dµpxq, (6.15)
X 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.
b) las funciones
Y Y
y » »
y ÞÝÑ f y dµ f px, y q dµpxq (6.18)
X X
6.4 Aplicaciones
Para cerrar este capítulo vamos a ver algunas aplicaciones sencillas de
los resultados que acabamos de ver.
E tpx, yq P X R : 0 ¤ y f pxqu
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
» »8
f pxq dµpxq µ tx P X : f pxq ¡ y u dy, (6.21)
X 0
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.
F px, y q f px y qg py q
luego
JGG - CAMPUS VIRTUAL UCM 2019
» » » » »
|F | |f pxq| dx |gpyq| dy |f pxq| dx |gpyq| dy 8.
R R 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.
Medida de Lebesgue en Rn
JGG - CAMPUS VIRTUAL UCM 2019
Teorema 7.1.2. Si E P Ln
mpE q suptmpK q : K E, K compactou. (7.2)
a) A P Ln .
a A ta x : x P Au.
JGG - CAMPUS VIRTUAL UCM 2019
µ pAq m p a Aq p A P Sq
es una medida en S.
Si A es un rectángulo medible,
A A1 An ,
la traslación
a A pa1 A1 q pan An q
también es un rectángulo medible, por 2.2.1, luego A P S. En consecuencia,
por la definición de la σ-algebra producto, se tiene que L b b L S.
Además
µpAq mn pa Aq m pa 1 A1 q . . . m pa n An q
mpA1q . . . mpAnq mnpAq. (7.3)
medible Lebesgue.
Si f es la función característica de un conjunto A P Ln , la ecuación
(7.4) es equivalente a la igualdad mpa Aq mpAq que es cierta según
acabamos de ver en 7.1.4. Por la linealidad de la integral, 4.3.6 se deduce
que (7.4) también es cierta para funciones simples y, por lo tanto, por la
definición de la integral, para funciones no negativas. Por último, si f es
integrable, el resultado se obtiene aplicando lo anterior a f y f .
se tiene que existe una función continua h2 : Rn Ñ r 322 , 322 s tal que h2 pC1 q
t 322 u y h1pC2q t 322 u. En este caso se verifica que
2
sup |f pxq ph1 pxq h2 pxqq| ¤
2
.
P
x C 3
Repitiendo el proceso, se construye, por inducción, una sucesión de funciones
continuas en Rn , phk qkPN , tales que:
k 1
a) para todo x P Rn y todo k P N, |hk pxq| ¤ 23k ,
k
p q ph1pxq p qq ¤ 2
1, 2, . . . .
b) supf x hk x ,k
P
x C 3
°
Por a) la serie k hk converge uniformemente
°
en Rn y como las funciones hk
son continuas, la función F k hk es continua en Rn . Además la función
JGG - CAMPUS VIRTUAL UCM 2019
F es acotada. Por último, por la condición b), f pxq F pxq para todo x P C.
Si C es compacto y G C es abierto, existe un conjunto abierto y
acotado G1 tal que C G1 G1 G. La función f1 definida en el conjunto
cerrado C Y Gc1 , que coincide con f en C y vale 0 en Gc1 , es continua y acotada.
Aplicando lo anterior a esta función existe una función F continua en Rn que
coincide con f1 en C Y Gc1 . En particular F coincide con f en C. Además el
soporte de F está contenido en G1 que es un conjunto compacto.
Por el teorema de Lusin, 7.2.4, existe una función g continua con soporte
compacto y acotada por M , tal que
En consecuencia
» » »
|f g| |f f χE | n |f χE g| ¤ ε.
n
satisface (7.8).
2
Si x px1 , . . . , xn q P Rn , }x}8 máx t|x1 |, . . . |xn |u.
3
Véase la demostración del lema 8.2.2 por ejemplo.
Cambio de variables en Rn
JGG - CAMPUS VIRTUAL UCM 2019
°n
En particular, para j 1, . . . , n, T pej q
i 1 aij ei pa1j , . . . , anj q que es
el j-ésimo vector columna de la matriz A..
Recíprocamente, si T : Rn Ñ Rn es una aplicación lineal, la matriz
cuadrada n n de coeficientes reales A paij q, donde pa1j , . . . , anj q T pej q,
1 ¤ j ¤ n, verifica la relación (8.2).
Podemos, por lo tanto, identificar cada aplicación lineal de T : Rn Ñ Rn
con una matriz real cuadrada n n, y viceversa, por el procedimiento descrito
anteriormente. De (8.1) se deduce en particular que toda aplicación lineal de
Rn en sí mismo es continua.
Una aplicación lineal T : Rn Ñ Rn diremos que es invertible si es
biyectiva. En este caso la inversa de T también es una aplicación lineal
invertible. El conjunto de todas las aplicaciones invertibles de Rn en sí
mismo, con la composición como operación interna, es un grupo que se
denomina grupo general lineal y se denota GLpn, Rq. Entre las aplicaciones
JGG - CAMPUS VIRTUAL UCM 2019
k
1
..
.
1
k c (8.3)
1
..
.
1
que tiene unos en la diagonal, excepto en la k-ésima fila que vale c, y el resto
ceros. El determinante de esta matriz vale c.
Tipo II: Aplicaciones que suman a una coordenada otra y dejan el resto
fijas:
T px1 , . . . , xk , . . . , xn q px1 , . . . , xk xj , . . . , xn q p k j q.
j
1
..
.
1
.. ..
. . (8.4)
k
1 ... 1
..
.
1
fijas:
T px1 , . . . , xk , . . . , xj , . . . , xn q px1 , . . . , xj , . . . , xk , . . . , xn q.
k j
1
..
.
1
k
0 1
.. ..
. 1 .
.. .. ..
. . . (8.5)
.. ..
. 1 .
j 1 ... ... ... 0
1
..
.
1
Demostración. Sea
Si T es del tipo III y suponemos que las coordenada que permutan son
las dos últimas, para todo px, y q P R2 ,
b) Qk G,
c) k Qk G.
y para k 1, 2, . . . sea
¤ (
Ak Q P Q2 δ : k Q G, Q X Ak1 ∅ .
sí mismo, que tiene como matriz asociada la matriz BBxϕi pxq i,j 1,...,n . El
j
determinante de esta matriz se denomina determinante jacobiano de ϕ en
x y se denota Jϕ pxq. Si todas las derivadas parciales de BBxϕi , i, j 1, . . . , n,
j
son continuas la función se dice que es de clase C 1 . Si la función es de clase
C 1 el jacobiano de la función es una función continua. Si Ω y Ω1 son dos
subconjuntos abiertos de Rn , una función ϕ : Ω Ñ Ω1 biyectiva y tal que ella
y su inversa son funciones de clase C 1 se dice que es un difeomorfismo de
clase C 1 de Ω sobre Ω1 . Se deduce de la regla de la cadena y del teorema
de la función inversa que una aplicación ϕ : Ω Ñ Rn , definida en un abierto
Ω Rn , es un difeomorfismo de clase C 1 sobre su imagen si, y solo si, ϕ es
una función inyectiva de clase C 1 y Dϕpxq es invertible para todo x P Ω.4
Además en este caso se verifica que
1
Dϕ1 py q Dϕ ϕ1 py q
JGG - CAMPUS VIRTUAL UCM 2019
Sea ` la longitud del lado del cubo y sea a su centro.6 Supondremos que
` ¡ 0 porque el resultado es trivial si ` 0. Dados x P Q e i 1 1, . . . , n,
por el teorema del valor medio existe un ζ en el segmento que une a con x
tal que
ψi pxq ψi paq
ņ
B ψi pζ qpx a q,
j 1
B xj j j
y, por tanto,
ņ
B pq
|ψi pxq ψi paq| ¤ aj | ¤ kDψpζ qk 2` .
ψ
i
B ζ |xj
j 1 xj
2
para todo i 1, . . . , n, lo que nos dice que la imagen de ψ pQq está contenida
en cubo centrado en ψ paq y lado M `, de donde se deduce de manera inmediata
la desigualdad (8.9).
p p qq1Dϕpxq
¤ p1 εq1{n
Dϕ y
y
|Jϕ pxq Jϕ py q| ¤ ε. (8.12)
Si ` es el lado del cubo Q, que podemos suponer mayor que 0 pues en
otro caso el resultado es trivial, y N es tal que ` N δ, podemos poner Q
como una unión de N n cubos disjuntos Qk , k 1, . . . , N n , de lado `{N . Si
JGG - CAMPUS VIRTUAL UCM 2019
¸
n
¸
N N n
¸
N n
s |Jϕpak q|χQ , k
k 1
a) Si A Ω y A P Ln entonces ϕpAq P Ln y
»
mpϕpAqq |Jϕ pxq| dx. (8.14)
A
lo que junto con (8.17) prueba (8.15) para funciones medibles no negativas.
En particular, si f es la función característica de un conjunto medible se
concluye la demostración del apartado a).
Por último, para demostrar c) y d) para funciones integrables, es suficiente
aplicar lo anterior a f y f .
Jϕ pr, θq det
cos θ r sen θ r pr, θq P Ω .
sen θ r cos θ
En este caso el teorema de cambio de variable nos diría que para todo
E Ω medible y toda función f : ϕpΩq Ñ R medible no negativa o integrable
» »
f px, y q dx dy f pr cos θ, r sen θqr dr dθ.
p q
ϕ E E
R R R
Haciendo uso una vez más del teorema de Tonelli, se tiene también que
» »
epx1 q dx1 . . . dxn ex dx π n{2 .
2 x2n 2
(8.22)
Rn R
y Gn
Ln tpx1 , . . . , xn q P Rn : x1 ¤ 0, x2 0u.
(8.26)
π π k
Denotando, para θ pθ1 , . . . , θk q P ,
2 2
ck pθ1 , . . . , θk q cosk θ1 cosk1 θ2 . . . cos2 θk1 cos θk ,
resulta que
» »
π { 2π pq r er dr dθ.
2
n2 cn2 θ
n 2 n 1
(8.28)
π2 , π2 p0,8q
Aplicando el teorema del cambio de variable otra vez, se puede calcular la
integral entre corchetes
» »
1 1{2 1 n
rn1 er dr es s ds Γ
2 n 1
2 s . (8.29)
p0,8q p0,8q 2 2 2
Tipos de convergencia
JGG - CAMPUS VIRTUAL UCM 2019
fn n1 χr0,ns, n 1, 2, . . .
g tal que |fn | ¤ g para todo n en casi todo punto, entonces la sucesión
pfnqnPN converge en media a f .
Demostración. Si el resultado no fuese cierto existirían un ε ¡ 0 y una
subsucesión pfnj qj PN de pfn qnPN tales que
»
f ¥ ε
fnj (9.3)
X
para todo j. Por 9.1.3 existe una subsucesión de pfnj qj PN , que seguimos
denotando igual, que converge en casi todo punto a f . Por el teorema de
la convergencia dominada pfnj qj PN converge en media a f lo que contradice
(9.3).
µ pSnk ,k q
1
ε
2k
y poniendo E 8k1 Snc ,k resulta que
k
¸
µ pE c q ¤ µ pSnk ,k q ¤ ε.
k
3. Sea A un álgebra en un conjunto X que verifica que para toda sucesión pAn qnPN de elementos
de A , disjuntos dos a dos, su unión tambien pertenece a A . Demuestra que A es una σ-álgebra.
4. Sea A la familia de todos los subconjuntos del intervalo r0, 1q que se pueden poner como una
unión finita de intervalos de la forma ra, bq. Demuestra que A es un álgebra que no es una σ-álgebra.
5. Sea X un conjunto no vacío y sea M una familia no vacía de subconjuntos de X. Se dice que
M es una clase monótona en X, si verifica las dos condiciones siguientes:
a) Si pAn qnPN es una sucesión creciente de elementos de M , su unión pertenece a M .
b) Si pAn qnPN es una sucesión decreciente de elementos de M , su intersección pertenece a M .
Sea A un álgebra en un conjunto X. Demuestra que si además es una clase monótona entonces
A es una σ-álgebra.
8. Demuestra que cada una de las siguientes familias de intervalos generan el σ-álgebra de Borel
BR :
a) E1 “ tra, bs : ´8 ă a ă b ă `8u b) E2 “ tpa, bs : ´8 ă a ă b ă `8u
c) E3 “ tra, bq : ´8 ă a ă b ă `8u d) E4 “ tpa, 8q : a P Ru
e) E5 “ tp´8, aq : a P Ru f) E6 “ tra, 8q : a P Ru
g) E7 “ tp´8, as : a P Ru
9. Sea X un conjunto infinito y sea E Ă PpXq un conjunto no numerable. Demuestra que para
cada A P SpE q existe un conjunto finito o numerable, E0 Ă E , tal que A P SpE0 q.
10. Sea σpE q la σ-álgebra generada en un conjunto X por una familia E de subconjuntos suyos.
a) Sea X “ N y para cada i P N sea Ai “ tj : j P N, j ě iu. Halla la σ-álgebra σpE q si
E “ tAi : i P Nu.
b) Sea X “ Rk y sea E “ ttxu : x P Rk u. Demuestra que la σ-álgebra σpE q está estrictamente
contenida en la σ-álgebra de Borel BRk .
12. Sea X un conjunto no vacío y sea f : X Ñ r0, 8s una función. Se define µ : PpXq Ñ r0, 8s
por $ÿ
’
’ f pxq si A es finito o numerable,
&
xPA
µpAq “ 8 si A es no numerable,
’
’
%
0 si A “ ∅.
Demuestra que µ es una medida.
13. Sea pµn qnPN una sucesión de medidas definidas todas en la misma σ-álgebra S, que verifica
que
µn pAq ď µn`1 pAq @A P S y @n.
Se define µ : S Ñ r0, 8s por µpAq “ supn µn pAq, para todo A P S. Demuestra que µ es una
medida en S.
15. Sea pX, Sq un espacio medible y sea µ : S Ñ r0, 8s una función que satisface las condiciones
siguientes:
a) existe un conjunto A0 P S tal que µpA0 q ă 8,
b) µpA Y Bq “ µpAq ` µpBq si A, B P S y A X B “ ∅,
´ď8 ¯ ÿ8
c) µ An ď µpAn q para toda sucesión pAn qnPN Ă S.
n“1 n“1
Demuestra que µ es una medida.
16. Sea pX, Sq un espacio medible y sea µ : S Ñ r0, 8q una función que verifica
µpA Y Bq “ µpAq ` µpBq
para todo par de conjuntos medibles disjuntos. Supongamos que µ tiene la siguiente propiedad:
Ş
Si A1 Ą A2 Ą . . . son conjuntos de S tales que n An “ ∅, entonces lı́m µpAn q “ 0.
nÑ8
Demuestra que µ es una medida en pX, Sq.
18. Sea pX, S, µq un espacio de medida y sean A, B P S. Demuestra que si µpA 4 Bq “ 0 entonces
µpAq “ µpBq.
CAPÍTULO 10
Espacios Lp
JGG - CAMPUS VIRTUAL UCM 2019
Cuando los resultados sean válidos tanto para funciones reales como
para funciones complejas, o del contexto se deduzca claramente el tipo de
funciones que estamos considerando, escribiremos simplemente L p pX, S, µq
para referirnos a LRp pX, S, µq o a LKp pX, S, µq. Habitualmente, si no ha
lugar a confusión, simplificaremos la notación y escribiremos L p pµq, L p pX q
o simplemente L p en lugar de L p pX, S, µq.
Demostración. Sean
» 1{p » 1{q
A |f | dµ
p
y B |g| dµq
.
X X
JGG - CAMPUS VIRTUAL UCM 2019
y
JGG - CAMPUS VIRTUAL UCM 2019
» » 1{p » 1{q
|g||f g | dµ ¤
p 1
|g| dµ
p
|f g | p q dµ
q p 1
. (10.10)
X X X
Como
» » »
|f g | dµ ¤
p
|f ||f g | dµ
p 1
|g||f g |p1 dµ, (10.11)
X X X
10.3 Espacios Lp
Definición 10.3.1. Si 1 ¤ p 8, para cada f P L ppµq se define
» 1{p
kf kp |f | p
dµ . (10.13)
X
g f g PN
JGG - CAMPUS VIRTUAL UCM 2019
f (10.15)
Definición 10.3.5. Una sucesión pfn qnPN Lp pµq (resp. L p pµq) se dice que
converge en Lp pµq (resp. L p pµq), o en media de orden p, a f P Lp pµq
(resp. L p pµq) si lı́mn kfn f kp 0.
Una sucesión pfn qnPN Lp pµq (resp. L p pµq) se dice que es de Cauchy
en Lp pµq (resp. L p pµq) de Cauchy si para cada ε ¡ 0 existe un N P N tal
que kfn fm kp ε si n ¡ m ¥ N .
Un espacio normado se dice que es un espacio de Banach si toda
sucesión de Cauchy es convergente.4
tiene medida cero. Se comprueba fácilmente que pfn qnPN converge uniforme-
mente a f en E S c .
Recíprocamente, si pfn qnPN converge uniformemente a f en E y µpE c q 0
entonces
0 ¤ kfn f k8 ¤ sup |fn pxq f pxq| Ý
Ñ 0.
P
x E n
uniforme y de 9.2.4.
Como
En tx P X : |fn pxq f pxq|p ¥ εp u ,
por la desigualdad de Chebychev, 4.2.3,
» »
µpEn q ¤ |fn f | ¤ |fn f |p ÝÑ
1 p 1
0.
εp En εp X n
fn
p ¤ 21k
fn
k 1 k
para k 1, 2, . . . Sea
8̧
g pxq pxq fn pxq , px P X q.
fn
k 1 k
k 1
p
fn
k 1
fnk dµ
(10.17)
X K X k 1
Esto demuestra que g p y por lo tanto g es finita en casi todo punto, lo que
implica que la serie
8̧
fnk 1
pxq fn pxq k
k 1
converge en casi todo punto. Sea h la función que coincide con la suma de
esta serie donde converge y vale 0 en el resto. Como |h| ¤ g, se deduce de
(10.17) que h P Lp pµq. Además para casi todo x
Ķ
hpxq lı́m fnk 1
pxq fn pxq lı́m
k
fn pxq fn pxq. K 1
K
k 1
K
kfn fm kp 2ε . (10.18)
Por otra parte, existe un k P N, que podemos suponer que verifica que
nk ¥ N , tal que
kfnk f kp 2ε . (10.19)
kfn f kp ¤ kfn fn kp f kp 2ε ε.
ε
k
kfnk (10.20)
2
Supongamos ahora que p 8. Sean
¤ (
A x P X : |fn pz q| ¡ kfn k8
n
y ¤ (
B x P X : |fn pxq fm pxq| ¡ kfn fm k8 .
n m
JGG - CAMPUS VIRTUAL UCM 2019
kfn fm k8
¤ ε. (10.22)
kf skp 2ε .
Por el teorema de Lusin, existe una función g continua y con soporte compacto
tal que
p4 ksk8qp m ptx P Rn : gpxq spxquq ¤ εp
y |g | ¤ ksk8 . Así
»
p
ks |s g| ¤ p2 ksk8q m ptx P R : g pxq spxquq ¤
ε
gkpp p p n
,
Rn 2
luego
kf gkp ¤ kf skp ks gkp ¤ 2ε ε
2
ε.
Para concluir este capítulo vamos a estudiar la relación entre los distintos
espacios Lp . En general Lp Lq si p q.
|f |q dµ µpX qpqpq{q 8
X
5
Aquí entendemos que 1
q
es 0 si q 8.
1. Sea X un conjunto. Se definen los límites superior e inferior de una sucesión pAn qnPN Ă PpXq
como: č ď ď č
lı́m sup An “ Am , lı́m inf An “ Am .
n n
n měn n měn
Demuestra que si µ es una medida definida en una σ-álgebra S y pAn qnPN Ă S entonces:
´ ¯
µ lı́m inf An ď lı́m inf µpAn q,
n n
´ď ¯
y que, si además µ An ă 8, entonces
n
ˆ ˙
lı́m sup µpAn q ď µ lı́m sup An .
n n
3 (Lemařde Borel-Cantelli). Sea pX, S, µq un espacio de medida, demuestra que si pAn qnPN Ă S
verifica n µpAn q ă 8 entonces µplı́m sup An q “ 0.
5. Una medida µ en un espacio medible pX, Sq se dice que es semifinita si para cada E P S con
µpEq “ 8 existe un A P S, A Ă E, con 0 ă µpAq ă 8. Demuestra que toda medida σ-finita es
semifinita. Da un ejemplo que muestre que el recíproco no es cierto.
6. Sea pX, S, µq un espacio de medida semifinita. Demuestra que para todo E P S con µpEq “ 8
y para todo r ą 0 existe un F P S, F Ă E tal que r ă µpF q ă 8.
9. Sea µ˚ una medida exterior en un conjunto X y sea pAn qnPN Ă PpXq tal que n µ˚ pAn q ă 8.
ř
Demuestra que
µ˚ ptx P X : x pertenece a infinitos conjuntos An uq “ 0.
10. Sean X “ t1, 2, 3u y E “ t∅, t1u, t1, 2uu. Se define la función ν : E Ñ r0, 8s por νp∅q “ 0,
νpt1uq “ 2 y νpt1, 2uq “ 1.
a) Halla la medida exterior µ˚ generada por ν.
b) Halla la σ-álgebra de los subconjuntos µ˚ -medibles de X.
14. Sea µ˚ una medida exterior en un conjunto X. Si E Ă X y pAn qnPN es una sucesión disjunta
de conjuntos µ˚ -medibles, demuestra que
8
´ď ¯ 8
ÿ
µ˚ pE X An q “ µ˚ pE X An q.
n“1 n“1
15. Sea µ˚ una medida exterior en un conjunto X. Sea pAn qnPN Ă PpXq. Supongamos que existe
una sucesión disjunta pBn qnPN de conjuntos µ˚ -medibles tales que An Ă Bn para todo n. Demuestra
que
´ď8 ¯ 8
ÿ
µ˚ An “ µ˚ pAn q.
n“1 n“1
TEORÍA DE LA MEDIDA
CURSO 2019-2020
HOJA 3
2. Sea µ˚ una medida exterior en un conjunto X. Sea E Ă X tal que para cada ε ą 0 existe un
conjunto µ˚ -medible F tal que µ˚ pE 4 F q ă ε. Demuestra que E es un conjunto µ˚ -medible.
4. Sea pX, S, µq un espacio de probabilidad, y sea µ˚ la medida exterior generada por µ. Supon-
gamos que E Ă X es tal que µ˚ pEq “ 1.
a) Si A, B P S y A X E “ B X E, demuestra que µpAq “ µpBq.
b) Demuestra que SE “ tA X E : A P Su es una σ-álgebra en E.
c) Se define, para A P S, νpA X Eq “ µpAq. Demuestra que ν es una medida en SE .
6. Sea X un conjunto no vacío y sea ν : PpXq ÝÑ r0, 8s una aplicación que verifica las siguientes
condiciones:
a) νp∅q “ 0,
b) νpA Y Bq ě νpAq ` νpBq para todo par de subconjuntos disjuntos A, B de X,
Şc) si pAn qnPN es una sucesión decreciente de subconjuntos de X tal que νpA1 q ă 8 entonces
νp n An q “ lı́mn νpAn q,
d) si νpAq “ 8, para cada r P R existe B Ă A tal que r ď νpBq ă 8.
Demuestra que el conjunto
Σ “ tA Ă X : νpA X Eq ` νpAc X Eq “ νpEq, para todo E Ă Xu
es una σ-álgebra en X y que µ “ ν|Σ es una medida en Σ.
7. Sea E un conjunto medible Lebesgue de medida positiva. Demuestra que para todo α ă 1 existe
un intervalo abierto I tal que mpE X Iq ą αmpIq.
9. Demuestra que el conjunto de puntos del intervalo r0, 1s que no tienen el dígito 5 en su desarrollo
decimal tiene medida (de Lebesgue) 0.
10. Sea pqn qnPN una enumeración de Q. Demuestra que existen infinitos números irracionales x que
no satisfacen la relación
1
|x ´ qn | ă 2
n
para ningún n.
TEORÍA DE LA MEDIDA
CURSO 2019-2020
HOJA 5
3. Demuestra que
»
dmpxq 8.
1
r1,8q x
6. Sea pX, S, µq un espacio de medida. Para cada ³n sea fn : X Ñ r0, 8s una función medible.
³
³
Supongamos que f1 pxq ¥ f2 pxq ¥ Ñ f y que fn 8 para algún n. Demuestra que f
lı́m fn .
³ y sea ³f : X
8. Sea X un espacio medible Ñ r0, 8s una función medible. Para cada n sea fn
mı́npf, nq. Demuestra que f lı́m fn .
9. Sea C el conjunto ternario de Cantor. Se define la función f : r0, 1s :Ñ r0, 8q por f pxq 0 si
x P C y f pxq k en k
³ cada uno de los intervalos de longitud 3 de r0, 1s r C. Demuestra que f es
medible y calcula f dm.
10. Sea X un espacio de medida finita. Demuestra que si pfn qnPN es una sucesión,³ de funciones
³
medibles definidas en X, que converge uniformemente a una función f entonces f lı́m fn .
Muestra mediante un ejemplo que este resultado, en general, no es cierto si el espacio no es de
medida finita.
³
11. Sea f : r0, 1s Ñ r0, 8s una función medible tal que para todo n se verifica que r0,1s pf pxqqn dx
c P R. Demuestra que existe un conjunto medible E r0, 1s tal que f χE en c.t.p.
12. Sea X un conjunto no vacío y sea δa la medida de Dirac en a. Demuestra que toda función
f : X Ñ R es integrable y que »
f dδa f paq.
X
13.°Sea c la medida cardinal en N. Demuestra que una función f : N Ñ R es integrable si, y sólo
si, |f pnq| 8. Demuestra que, en este caso,
» ¸
f dc f p n q.
N P
n N
14. Sea pX, S, µq un espacio de medida finita y sea f : X Ñ r0, 8s una función medible. Demuestra
que f es integrable si, y sólo si, la serie
8̧
2n µtx P X : f pxq ¥ 2n u
n 0
converge.
15. Sea pX, S, µq un espacio de medida y sea f : X Ñ r0, 8s una función medible acotada.
Demuestra que f es integrable si, y sólo si, la serie
8̧ 1 " *
µ x P X : f p xq ¡ n
1
n0
2n 2
converge.
16. Sea f : R Ñ R una función integrable Lebesgue. Para cada intervalo acotado I sea
»
fI
1
m pI q I
f dm
17. Sea X un espacio de medida. Sean pfn qnPN ³L 1 , pg³n qnPN L 1 y f, g P L 1³tales que
³ fn Ñf
y gn Ñ g en c.t.p., |fn | ¤ gn para todo n, y lı́mn gn g. Demuestra que lı́mn fn f .
2. Sea pX, Sq un espacio medible y sean f, g : X Ñ R dos funciones medibles. Sea a P R fijo.
Demuestra que la función
#
a si f pxq “ ´gpxq “ ˘8
hpxq “
f pxq ` gpxq en otro caso
es medible.
3. Si f, g : X Ñ R son dos funciones medibles, demuestra que los conjuntos tx P X : f pxq ď gpxqu,
tx P X : f pxq ă gpxqu y tx P X : f pxq “ gpxqu son medibles.
4. Sea X un espacio medible y sea D un subconjunto denso de R. Demuestra que una función
f : X Ñ R es medible si, y sólo si, los conjuntos tx P X : f pxq ě ru son medibles para todo r P D
5. Sea X un espacio medible y sea pfn qnPN una sucesión de funciones medibles definidas en X y
con valores en R. Demuestra que el conjunto tx P X : existe lı́mn fn pxqu es un conjunto medible.
6. Sea pX, Sq un espacio medible y sean A, B P S tales que A Y B “ X. Demuestra que una
función f en X es medible si, y sólo si, f es medible en A y en B.
10. Da un ejemplo de una función real que no sea medible y tal que su valor absoluto si lo sea.
11. Demuestra que si f : R Ñ R es continua en casi todo punto entonces f es medible Lebesgue.
12. Sea f : R Ñ R una función derivable. Demuestra que su derivada es medible Borel.
13. Sea f : r0, 1s Ñ r0, 1s la función de Cantor correspondiente al conjunto ternario y sea g :
r0, 1s Ñ r0, 2s la función definida por gpxq “ f pxq ` x. Demuestra:
a) La aplicación g es biyectiva y su inversa h “ g ´1 es continua.
b) Si C es el conjunto ternario de Cantor entonces mpgpCqq “ 1.
c) Existe un conjunto no medible A Ă gpCq.
d) El conjunto B “ g ´1 pAq es medible Lebesgue pero no es medible Borel.
e) Existen dos funciones F, G : R Ñ R, F medible Lebesgue y G continua tales que F ˝ G no
es medible Lebesgue.
TEORÍA DE LA MEDIDA
CURSO 2019-2020
HOJA 6
4. Sean X un conjunto no numerable totalmente ordenado tal que para cada x P X el conjunto
ty P X : y xu es numerable. Sea S la σ-álgebra formada por los conjuntos que o bien ellos
o sus complementarios son numerables, y sea µ la medida en S que vale 0 en los conjuntos
numerables y 1 en los de complementario numerable. Sea E tpx, y q P X X : y xu.
´ Ex y E son medibles para todo x, y P X y que las integrales iteradas
Demuestra que las secciones y
´
χE px, y qdµpxq dµpy q e χE px, y qdµpy q dµpxq existen pero no son iguales.
8. Sea $
si px, y q p0, 0q,
& xy
f px, y q px2 y 2 q2 px, yq P r1, 1s r1, 1s.
% 0 si px, y q p0, 0q,
Demuestra que las integrales iteradas de f son iguales aunque f no es integrable.
9. Sea $ 2
y2
& x
si px, y q p0, 0q,
f px, y q px2 y 2 q2 px, yq P r0, 1s r0, 1s.
%
0 si px, y q p0, 0q,
Demuestra que »1»1 » »
1 1
f px, y q dx dy
f px, y q dy dx π4 .
π
e
0 0 4 0 0
¿Por qué lo anterior no contradice el teorema de Fubini?
10. Sea
$
'
&2
2n si existe un n P N tal que x, y P 2n , 2n 1 ,
f px, y q 22n 1 si existe un n P N tal que 2x, y P 2n , 2n 1 , px, yq P r0, 1s r0, 1s .
'
%
0 en otro caso,
Demuestra que »1»1 »1»1
f px, y q dy dx 1 pero f px, y q dx dy 0.
0 0 0 0
11. Sea X r0, 1s r0, 1s. Estudia la existencia de la integral doble y de las integrales iteradas, y
en su caso la igualdad, de la función f en los casos siguientes:
$ 1
& y x 1
si 0 2 ,
x 21
a) f px, y q , pa ¡ 0 q b) f px, y q
1 3
p1 xyq a %
0 en otro caso
12. Demuestra, integrando la función esxy sen x con respecto a x e y, que, para s ¡ 0,
»8
esx dx arc tg
sen x 1
,
0 x s
13. Demuestra que, para s ¡ 0,
»8
esx
sen2 x
dx log 1
1 4
,
0 x 4 s2
integrando la función esx sen 2xy con respecto a x e y.
14. Sea
f px q
px ¡ 0 q.
sen x
x
a) Demuestra que f no es integrable Lebesgue en p0, 8q.
b) Demuestra que »
f pxq dx
π
lı́m
bÑ8 p0,bq 2
integrando la función exy sen x con respecto a x e y.
TEORÍA DE LA MEDIDA
CURSO 2019-2020
HOJA 7
4. Demuestra que
Γ n
1
n
1
n
3
1 ?π.
2 2 2 2
8. Demuestra que si pfn qnPN es una sucesión de funciones medibles no negativas que convergen en
medida a una función medible f , entonces
» »
f ¤ lı́m inf fn .
10. Sea pAn qnPN una sucesión de conjuntos medibles en un espacio de medida pX, S, µq. Demuestra:
a) La sucesión χAn n converge a 0 en medida si, y sólo si, lı́mn µpAn q 0.
b) La sucesión χAn n converge a 0 en casi todo punto si, y sólo si, µplı́m sup An q 0.
c) Si A es un conjunto medible, χAn n converge a χA en casi todo punto si, y sólo si, los
conjuntos A, lı́m sup An y lı́m inf An únicamente difieren en conjuntos de medida nula
11. Sean pfn qnPN y pgn qnPN dos sucesiones de funciones medibles en un espacio de medida pX, S, µq.
Supongamos que f y g son dos funciones medibles en X tales que pfn qnPN converge en medida a f
y pgn qnPN converge en medida a g. Demuestra:
a) La sucesión pfn gn qn converge en medida a la función f g.
b) Si µpX q 8, la sucesión pfn gn qn converge en medida a la función f g.
Muestra mediante un ejemplo que, en general, la conclusión del apartado b) no es cierta si µpX q
8.
12. Sea pfn qnPN una sucesión de funciones medibles que converge en casi todo punto a una función
medible f . Supongamos que existe una función integrable g tal que |fn | ¤ g para todo n en casi
todo punto. Demuestra que pfn qnPN converge casi uniformemente a f .
13. Sea pfn qnPN una sucesión de funciones integrables y sea f P L 1. Supongamos que
¸»
|fn f | dµ 8.
n
Demuestra que la sucesión pfn qnPN converge en casi todo punto a la función f .
14. Sea c la medida cardinal en N. Demuestra que una sucesión de funciones pfn qnPN converge en
medida a una función f en pN, P pNq, cq si, y sólo si, pfn qnPN converge uniformemente a f .