Apuntes Teoria Medida

Apuntes de Teora de la Medida
por
Jos Antonio Belinchn
ltima actualizacin Agosto 2008
II
ndice general
Prlogo . III
1. Integral de Lebesgue 1
1.1. Espacio de Medida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Integracin de funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Integracin para una funcin medible arbitraria. . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Sobre las funciones simples y su integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.1. Sobre lgebras. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.2. Sobre medidas y cojuntos medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.3. Sobre funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5.4. Sobre integracin y teoremas de convergencia. . . . . . . . . . . . . . . . . . . . . 23
2. Espacios de Medida 35
2.1. Espacios de medida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2. Ejemplos de medida de Lebesgue-Stieljes. . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3. Medidas de Borel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.4. Medidas regulares en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5. Dos resulatados sobre la medida e integral de Lebesgue. . . . . . . . . . . . . . . . . . . 41
2.6. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.6.1. Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.6.2. Medidas de Lebesgue-Stieltjes (L-S) . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3. Los teoremas del cambio de variable y de Fubini. 55
I
II NDICE GENERAL
3.1. Propiedades de la -lgebra y de la medida de Lebesgue en R
n
. . . . . . . . . . . . . . . 55
3.2. Medidas inducidas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.3. Medidas producto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.4. Teorema de Fubini. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.4.1. Aplicaciones del teorema de Fubini. . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.5. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4. Medidas y derivadas. 73
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.2. Diferenciacin de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.3. Teorema de Radon-Nikodym-Lebesgue. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Prlogo
La idea fundamental de esta notas confecionadas a modo de resumen (personal) es la de tener a
mano un recordatorio de por donde iban los tiros. Slo se demuestran los teoremas fundamentales y
se acompoa el texto con una serie de ejercios ms o menos trabajados. En modo alguno pretenden
sustituir (porque es implosible) los manuales clsicos o las notas de clase de un profesor. Es decir, estas
notas estan confeccionadas a modo de refrito entre las notas de clase (ver el libro de G. B. Folland) y
de distintos libros clsicos como los siguientes:
1. G. B. Folland: Real Analysis. Modern Techniques and Their Applications. Jonh Wiley & Sons.
1999
2. M. Capinski and E. Kopp. Mesure, Integral and Probability. SUMS. Springer. 2005.
3. E.M. Stein and R. Shakarchi. Real Analisys. Mesure Theory, Integration and Hilbert Spaces.
Princeton. 2005
4. C.D. Aliprantis and O. Burkinshaw. Principles of Real Analysis. Edward Arnold. 1981.
5. C.D. Aliprantis and O. Burkinshaw. Problems in Real Analysis. Academic Press 1990.
6. A. N. Kolgomorov, S.V. Fomin. Elementos de la Teora de las Funciones y del Anlisis Funcional.
MIR 1978.
todo ello aderezado (como he indicado antes) con una serie de ejemplos (ejercicios donde se aplica de
forma inmediata los conceptos tericos expuestos) desarrollados (eso espero) al nal de cada capitulillo
(todos ellos muy sencillos).
ADVERTENCIA: No estn concluidas y es muy posible que hayan sobrevivido numerosas erratas.
Toda observacin en este sentido es bien recibida.
III
IV NDICE GENERAL
Captulo 1
Integral de Lebesgue
1.1. Espacio de Medida.
Denicin 1.1.1 Sea X un conjunto, se dice que A P(X) es lgebra si verica:
1. X A,
2. A es cerrada por complementacin i.e. A A =A
c
A,
3. A es cerrada por uniones numerables, nitas o no, i.e.
A
n
A =
_
n1
A
n
A.
Observacin 1.1.1 A = P(X), es siempre lgebra.
Lema 1.1.1 Si {A
}
D
es una coleccin arbitraria de lgebras, entonces
D
A
es lgebra.
Denicin 1.1.2 lgebra de Borel. En R se dene la lgebra de Borel, B
R
como aquella generada por
los intervalos abiertos
B
R
= {(a, b) : a, b R, a < b} .
La denicin de B
R
tambin funciona con intervalos cerrados, semi abiertos o incluso innitos como
[a, ) .
Denicin 1.1.3 Funcin medible. Diremos que f : X R, es Amedible si a R se tiene
f
1
((a, )) = {x X : f (x) > a} A.
Ejemplo 1.1.1 Veamos unos cuantos ejemplos.
1
2 CAPTULO 1. INTEGRAL DE LEBESGUE
1. f (x) = const. = c.
f
1
((a, )) =
_
R si a < c
resto
.
2. Las funciones continuas son medibles. Observar que (a, ) R es un intervalo abierto y por lo tanto
f
1
((a, )) es otro abierto al ser f cont. y como sabemos tales conjuntos son medibles.
3. La funcin indicatriz
A
(x) =
_
1, x A,
0, x / A,
vindose que, A A
A
(x) es medible,
1
A
((a, )) =
_
_
_
R si a < 0
A a [0, 1)
a 1
.
Lema 1.1.2 Dada f : X R, Amedible, la familia
M
f
=
_
B R : f
1
(B) A
_
es una lgebra en R. Por lo tanto contiene a B
R
ya que (a, ) M
f
, a R por denicin.
Observacin 1.1.2 La denicin de funcin medible es equivalente a pedir que:
{x X : f (x) < b} A, b,
{x X : f (x) a} A, a,
{x X : f (x) b} A, b,
{x X : a < f (x) < b} A, a, b.
Observacin 1.1.3 El conjunto de funciones medibles tiene estructura de espacio vectorial. Si dos funciones, f
y g son medibles entonces su suma tambin lo es i.e. f + g tambin es medible y lo mismo ocurre con el producto,
i.e. f g es medible.
Si f : X R, es medible, entonces se puede escribir
f = f
+
f
,
con f
+
, f
funciones medibles positivas denidas por

f
+
=
_
f (x) si f (x) 0
0 si f (x) < 0
, f
=
_
0 si f (x) > 0
f (x) si f (x) 0
.
Ntese que f
+
= m ax ( f , 0) y f
= mn ( f , 0) .
Si f : X R, es medible, entonces | f | es medible, al revs no tiene porqu.
El paso al lmite no perturba la propiedadde ser medible i.e. si {f
n
} es una sucesin de funciones medibles entonces
tambin lo son
m ax f
n
, mn f
n
, sup f
n
, inf f
n
, lmsup f
n
, lminf f
n
.
1.1. ESPACIO DE MEDIDA. 3
De igual forma se comprueba que si {f
n
} es una sucesin de funciones medibles entonces
{f
n
} f
convergencia puntual o en casi todo punto, entonces f es medible.
Denicin 1.1.4 Medida. Dada una lgebra A en X, se dice que : A [0, ] es una medida sobre A si
se verican:
1. () = 0,
2. Para toda familia numerable
_
A
j
_
j1
de A cuyos elementos son disjuntos dos a dos se tiene
_
_
j1
A
j
_
_
=
j1
_
A
j
_
.
Denicin 1.1.5 Espacio de Medida. Llamaremos espacio de medida a toda terna (X, A, ).
Diremos que la medida sobre A es nita si (X) < , y nita si podemos escribir
X =
n1
X
n
,
con X
n
A y (X
n
) < .
Ejemplo 1.1.2 Veamos algunos ejemplos de medidas
1. En R, A = P(R), jamos x
0
R, denimos para A R
x
0
(A) =
_
1 x
0
A
0 resto
comocida como la Delta de Dirac.
2. En R, A = P(R),
(A) =
_
card(A) si card(A) <
en caso contrario
.
3. En Z, A = P(Z),
(A) =
1
1 +|n|
.
Antes de terminar esta seccin enunciaremos una proposicin (necesaria para el teorema de conver-
gencia montona) sobre monotona de conjuntos.
Proposicin 1.1.1 Sea una medida sobre la lgebra A, entonces:
1. Si A, B A, tal que A B, entonces (A) (B) . Adems si (B) < , se tiene que
(B\A) = (B) (A) .
2. Si A
1
A
2
.... A
n
A
n+1
..., A
n
A, n, entonces
_
_
_
j=1
A
j
_
_
= lm
j
_
A
j
_
.
3. Si A
1
A
2
.... A
n
A
n+1
..., A
n
A, n, y (A
1
) < , entonces
_
_
j=1
A
j
_
_
= lm
j
_
A
j
_
.
1.2. Integracin de funciones medibles.
Denicin 1.2.1 Funcin indicatriz. Dado un conjunto A, se dene la funcin indictriz de A como
A
=
_
1, x A,
0, x / A,
.
Denicin 1.2.2 Funcin simple. Dado un espacio de medida (X, A, ) se dice que s : X R, es una
funcin simple si se puede escribir como una combinacin lineal nita de funciones caractersticas de conjuntos
de A, i.e.
s =
n
j=1
c
j
A
j
,
con c
j
R, A
j
A.
Observacin 1.2.1 Podemos suponer que los A
j
son disjuntos, si no fuese as es fcil reordenarlos y formar un
sistema de conjuntos disjuntos.
Denicin 1.2.3 Integral.
1. Para funciones simples tenemos
_
X
sd =
n
j=1
c
j
_
A
j
_
,
donde estamos suponiendo que
_
A
j
_
< .
2. Para una funcin medible y positiva
_
X
f d = sup
_
_
X
sd : 0 s f
_
donde el supremo puede valer .
1.2. INTEGRACIN DE FUNCIONES MEDIBLES. 5
Observacin 1.2.2 Se observa trivialmente que:
1. si f , g son simples entonces
_
( f + g) d =
_
f d +
_
gd.
2. si f , g son medibles tales que 0 f g, entonces
_
f d
_
gd.
3. f 0, entonces f = 0
_
f d = 0.
Ejemplo 1.2.1 Sea
Q
(x) =
_
1 si x Q
0 resto,
vemos que
_
R
Q
(x)d = 1 (Q) + 0 (R\Q) = 0,
ya que (Q) = 0, al ser un conjunto numerable. Observndose que esta funcin no es Riemann integrable.
De igual forma se puede ver que
_
R
C
(x)d = 0,
donde
C
representa la funcin indicatriz del conjunto de Cantor.
Teorema 1.2.1 Convergencia Montona (TCM). Si ( f
i
)
i=1
es una sucesin montona creciente de funciones
medibles positivas tal que lm
i
f
i
= f , entonces
_
X
_
lm
i
f
i
_
d =
_
X
f d = lm
i
_
_
X
f
i
d
_
.
Corolario 1.2.1 Sea (g
n
)
n=1
una sucesin de funciones medibles y positivas, entonces
_
X
_

n=1
g
n
_
d =
n=1
_
_
X
g
n
d
_
.
Lema 1.2.1 Lema Tcnico. Sea f medible y positiva. Entonces existe una sucesin montona creciente de fun-
ciones simples s
i
s
i+1
tales que
lm
n
s
n
(x) = f (x), x.
Como consecuencia del TCM se tiene adems que
_
X
_
lm
n
s
n
(x)
_
d =
_
X
f d = lm
i
_
_
X
s
n
(x)d
_
.
Proposicin 1.2.1 Si f , g 0, medibles, entonces
_
X
( f + g) d =
_
X
f d +
_
X
gd.
Lema 1.2.2 Fatou. Sea ( f
n
)
n=1
una sucesin de funciones medibles y positivas, entonces
_
X
_
lm
i
inf ( f
i
)
_
d lm
i
inf
_
_
X
f
i
d
_
.
Ejemplo 1.2.2 Sea
f
n
=
[n,n+1]
,
entonces
_
f
n
d = 1, n,
pero vemos que
lminf f
n
= lm f
n
= 0,
por lo que
_
X
_
lm
n
( f
n
)
_
d = lm
n
_
_
X
f
n
d
_
.
1.3. Integracin para una funcin medible arbitraria.
Recordamos que si f : X R, es medible, entonces se puede escribir f = f
+
f
, con f
+
, f
funciones medibles positivas. Ntese que f

+
= m ax ( f , 0) y f
= mn ( f , 0) .
Denicin 1.3.1 Se dice que f es integrable si
_
f
+
< y
_
f
< , y escribimos
_
f d =
_
f
+
d
_
f
d.
Observacin 1.3.1 Si f es medible y f = f
+
f
, entonces
| f | = f
+
+ f
,
y por lo tanto
_
| f | d =
_
f
+
d +
_
f
d.
As que f ser integrable sii
_
| f | d < . Adems
_
f d
_
| f | d.
1.3. INTEGRACIN PARA UNA FUNCIN MEDIBLE ARBITRARIA. 7
Observacin 1.3.2 Propiedades de la integral.
1. La clase de funciones integrables es un espacio vectorial.
2. La integral es una aplicacin lineal sobre la clase anterior, es decir, si f y g son integrables entonces
_
(f + g) d =
_
f d +
_
gd, , R.
Observacin 1.3.3 Conjuntos de medida cero.
Decimos que un conjunto, A, es nulo si existe un recubrimiento de dicho conjunto tal que
A
_
n=1
I
n
,
y dado un > 0, entonces
n=1
l (I
n
) < .
Por ejemplo si A = {x} entonces
I
1
=
_
x

4
, x +

4
_
por lo que
l(I
1
) =

2
< 2.
La unin de conjuntos nulos (null sets) es nulo y el conjunto de Cantor (no numerable) es nulo.
1. En el espacio de medida (X, A, ), se dice que una propiedad P se cumple en casi todo punto (c.t.p.) con
respecto a la medida si el conjunto A = {x : x no cumple P} est en A y (A) = 0.
Por ejemplo, decimos que las funciones medibles f y g coinciden en c.t.p. si (x : f (x) = g(x)) = 0.
2. En la denicin de integral, podemos suponer funciones (medibles) con valores en la recta real ampliada
f : X [, ] (es decir, que pueden tomar el valor ), pidiendo por ejemplo f
1
((a, ]) A.
Teorema 1.3.1 Teorema de la Convergencia Dominada (TCD): En (X, A, ), espacio de medida, si la suce-
sin de funciones medibles {f
n
(x)}
n=1
converge puntualmente a una funcin f (x) y adems | f
n
(x)| F(x),
n, x con F medible, positiva y tal que
_
X
F(x)d < , entonces f (x) es integrable y se tiene
1.
lm
n
_
X
| f
n
(x) f (x)| d = 0.
2. En particular
_
X
_
lm
n
f
n
(x)
_
d =
_
X
f d = lm
n
_
_
X
f
n
(x)d
_
.
Corolario 1.3.1 (Beppo-Levi). Si {f
n
(x)}
n=1
, son medibles y
n=1
_
_
X
| f
n
(x)| d
_
< ,
entonces la serie f (x) =
n=1
f
n
(x) converge en c.t.p. y
_
X
_

n=1
f
n
(x)
_
d =
n=1
_
_
X
f
n
(x)d
_
.
Ejemplo 1.3.1 Sabemos que
n=1
nx
n1
=
1
(1 x)
2
,
entonces el coro de B-L nos ayuda a evaluar la siguiente integral
_
1
0
_
log x
1 x
_
2
dx,
para ello denimos
f
n
= nx
n1
(log x)
2
, n 1, x (0, 1) ,
viendo que f
n
0. Se observa que
n=1
f
n
=
_
log x
1 x
_
2
= f (x) , x (0, 1) ,
por lo tanto
_
X
_

n=1
f
n
(x)
_
d =
_
1
0
_
log x
1 x
_
2
dx =
n=1
_
_
X
f
n
(x)d
_
=
n=1
_
1
0
f
n
dx,
de esta forma (integrando sucesivamente por partes) vemos que
_
1
0
f
n
dx =
_
1
0
nx
n1
(log x)
2
dx =
2
n
2
,
donde
_
nx
n1
(log x)
2
dx = 2x
n1
log x 2
_
x
n1
log xdx = 2
_
x
n1
log x
_
1
n
x
n
log x
1
n
2
x
n
__
,
con
_
x
n1
log xdx =
1
n
x
n
log x
1
n
_
x
n1
dx =
1
n
x
n
log x
1
n
2
x
n
,
por lo tanto
_
1
0
f dx = 2
n=1
1
n
2
=

2
3
,
recordar que (Euler)
n=1
1
n
2
=

2
6
.
1.4. SOBRE LAS FUNCIONES SIMPLES Y SU INTEGRAL 9
1.4. Sobre las funciones simples y su integral
Algunos libros exigen en la denicin de fucin simple la condicion adicional de que los conjuntos que
la denen sean todos de medida nita. Para aclarar este punto y como motivacin general, vamos a
estudiar la siguiente situacin en cierta forma patolgica:
Sea X un conjunto con ms de un elemento y elijamos A P(X) con; A X. Denimos la -
lgebra M = {, A, A
c
, X} y la medida : M [0, ] por () = 0, (A
c
) = , (A) = (X) =
. Sea f =
A
. Con la condicin adicional, f no sera simple porque (A) = . Adems la nica
funcin simple s con 0 < s < f sera s = c
, por lo que
_
sd = 0 y por tanto
_
f d = sup
_
_
sd : 0 < s < f
_
= 0.
Esto crea el problema de desasociar la nocin de integral con la de medida. Lo cierto es que si la medida
fuera -nita esta situacin no se dara porque si (X
1
, X
2
, ..., X
n
, ...) tales que
1. X =
X
n
(podemos suponer que la unin es disjunta)
2. (X
n
) < ,
entonces A Mcon (A) = se tiene incluso en esta situacin ms restrictiva
_

A
d = 1.
An admitiendo que las medidas -nitas son las que con ms frecuencia aparecen, no debemos olvi-
dar el caso, entre otros, de la medida de contar en un espacio no numerable que claramente no es
-nita. Por ello, y para evitar la patologa descrita, es conveniente dar la denicin de funcin simple
e integral que hemos introducido anteriormente.
Ya hemos visto que toda funcin medible y positiva tiene asociada en principio una integral. La clase
ms importante es de todas formas aquella de las funciones cuya integral es adems nita.
Denicin 1.4.1 Dado un espacio de medida (X, , M) se dene la clase de funciones integrablescomo
L(d) = {f : X C : medibe y tal que
_
X
| f (x)| d < }.
Tambin se denota como L
1
(X, d), o simplemente L
1
.
1.5. Ejercicios.
1.5.1. Sobre lgebras.
Ejercicio 1.5.1 Sea X = {a, b, c, d}. Comprobar que la familia de conjuntos
A = {, {a} , {b} , {a, b} , {c, d} , {a, c, d} , {b, c, d} , {a, b, c, d}} ,
forman un lgebra en X.
Solucin. Tenemos que comprobar las propiedades descritas en la denicin i.e. si verica:
1. X A,
2. A es cerrada por complementacin i.e. A A =A
c
A,
3. A es cerrada por uniones numerables, nitas o no, i.e.
A
n
A =
_
n1
A
n
A.
La primera de las propiedades se verica trivialmente, i.e. X A,
Con respecto a la segunda, i.e. si A A =A
c
A, vemos que:
A = , = A
c
= X A,
A = {a} , = A
c
= {b, c, d} A,
A = {b} , = A
c
= {a, c, d} A,
A = {a, b} , = A
c
= {c, d} A,
A = {c, d} , = A
c
= {a, b} A,
A = {a, c, d} , = A
c
= {b} A,
A = {b, c, d} , = A
c
= {a} A,
A = {a, b, c, d} , = A
c
= {} A.
Por ltimo, la tercera de las propiedades, vemos que: A
n
A, =
_
n1
A
n
A, as, si
A
1
= {} , A
2
= {a} , A
3
= {b} , etc....
vemos que
A
1
A
2
= {, a} A,
A
1
A
3
= {, b} A,
A
2
A
2
= {a, b} A,
A
1
A
2
A
3
= {, a, b} A,
etc......
i.e. todas las uniones estn en A, demostrando as que es un lgebra en X.
Ejercicio 1.5.2 Sea X = {a, b, c, d}. Construir la lgebra generada por
= {{a}} , y = {{a} , {b}} .
1.5. EJERCICIOS. 11
Solucin. X, la lgebra generada por se dene como:
A
= {A / A algebra, A}
por lo tanto, si = {{a}} , entonces:
A
= {, X, ,
c
} ,
y si = {{a} , {b}} , entonces:
A
= {, X, ,
c
} ,
i.e.
A
= {, X, {a} , {b} , {a, b} , {b, c, d} , {a, c, d} , {c, d}} ,

tal y como queramos hacer ver. Comparar con el ejercicio anterior.
Ejercicio 1.5.3 Sea g : X Y, Sea A una lgebra en X. Probar que
B =
_
E Y : g
1
(E) A
_
es una lgebra en Y.
Solucin. Tenemos que comprobar las propiedades descritas en la denicin i.e.
1. B; g
1
() = A,
2. E B
?
=E
c
B,
g
1
(E
c
) =
_
g
1
(E)
_
c
{x X, g(x) E
c
} = {x X, g(x) / E} ,
3. E
n
B
g
1
(E
n
) = g
1
(E
n
) A
tal y como queramos hacer ver.
Ejercicio 1.5.4 Un algebra A en X es una lgebra sii es cerrada para las uniones numerables crecientes, i.e.
E
1
E
2
... E
n
...., tales que
E
n
A.
Solucin. = Es obvio, ya que la unin es numerable.
= Sean (B
n
) A, B
n
A, si
n=1
(B
n
) =
n=1
_
n
j=1
_
B
j
_
_
pero
n
j=1
_
B
j
_
= E
n
A, por lo que tenemos E
1
E
2
... E
n
... por lo que
E
n
A.
Ejercicio 1.5.5 Determinar la lgebra engendrada por la coleccin de los subconjuntos nitos de un con-
junto X no-numerable.
Solucin. X no numerable, = {A/ A f inito} , lgebra engendrada por ,
A ={A/ A numerable A
c
numerable}
queremos probar que A es un lgebra.
Comprobamos que:
1. A (ya que es numerable),
2. A A entonces: bien A es numerable lo que equivale a que (A
c
)
c
= A es numerable y por lo
tanto A
c
A, bien A
c
es numerable y en cuyo caso A
c
A.
3. Si A
n
A, n = 1, 2, .., entonces o bien todos los A
n
son numerables (en cuyo caso la unin
tambin ser numerable y por lo tanto A
n
A) bien algn A
n
es tal que A
c
n
es numerable
en cuyo caso (A
n
)
c
es numerable ya que (A
n
)
c
A
c
n
, y por lo tanto tambin se tiene que
A
n
A.
Tal y como queramos hacer ver.
Ejercicio 1.5.6 Probar que la unin de una sucesin creciente de lgebras A
1
A
2
.... es un lgebra. Pero
dar ejemplos de:
1. La unin de dos lgebras puede no ser lgebra, y
2. la unin de sucesiones A
1
A
2
.... de lgebras puede no ser una lgebra.
Solucin. Tenemos que comprobar las propiedades descritas en la denicin i.e.
1. A (ya que A
1
),
2. Si A A entonces existe n
0
tal que A A
n
0
y por lo tanto A
c
A
n
0
y A
c
A,
3. si (A
i
)
n
i=1
A(un nmero nito), entonces j = 1, 2, ..n
j
/ A
j
A
n
j
. Sea ahora m = m ax (n
1
, n
2
, ..., n
n
),
se tiene que A
j
A
m
(porque A
n
j
A
m
) como A
m
es lgebra y la unin de A
j
A
m
entonces
A
j
A.
Con respecto al segundo apartado vemos que (un contra-ejemplo):
X = {a, b, c} y sean
A
1
= {, {a} , {b, c} , {a, b, c}}
A
2
= {, {b} , {a, c} , {a, b, c}}
1.5. EJERCICIOS. 13
lgebras, pero vemos que A
1
A
2
no es un lgebra ya que
{a} , {b} A
1
A
2
pero {a} {b} / A
1
A
2
,
Ejercicio 1.5.7 Dado un conjunto X y jado A X denimos la clase
H
A
= {B X : B A o B
c
A} .
1. Probar que H
A
es una lgebra sobre X.
2. Si X = R, A
n
= [n, n] y H
n
= H
A
n
, n = 1, 2... comprobar que
n=1
H
n
no es una lgebra.
Solucin. Vemos que H
A
lgebra sobre X ya que:
1. A, luego H
A
.
2. Si B H
A
entonces o B A en cuyo caso (B
c
)
c
= B A, o bien B
c
A. En ambos casos se
deduce que B
c
H
A
.
3. Sean (B
i
) H
A
. Si B
i
A i entonces
i
B
i
A. En caso contrario j
0
tal que B
c
j
0
A y por lo
tanto (
i
B
i
)
c
=
i
B
c
i
B
c
j
0
A. Por lo tanto
i
B
i
H
A
.
Con respecto al segundo apartado vemos que para cada m N, sea B
m
= [0, m] . Entonces B
m
H
m
(ya que B
m
= A
m
) y por lo tanto B
m

n
H
n
. Sin embargo
m
B
m
= [0, ) /
n
H
n
ya que no se cumple
[0, ) A
n
ni tampoco, [0, )
c
= (, 0) A
n
por lo que [0, ) / H
n
, n.
1.5.2. Sobre medidas y cojuntos medibles.
Ejercicio 1.5.8 Sea (X, M, ) un espacio de medida. Si E, F M, comprobar que
(E) + (F) = (E F) + (E F).
Solucin. Vemos que (aqu es donde est todo el truco del ejercicio)
E = (E\F) (E F) ,
F = (F\E) (F E) ,
donde
E F = (E\F) (F\E) (E F) ,
de esta forma vemos que
(E) = (E\F) + (E F) ,
(F) = (F\E) + (F E) ,
y por lo tanto
(E) + (F) = (E\F) + (E F) + (F\E) + (F E) =
= (E F) + (E F)
Ejercicio 1.5.9 Sea (X, M, ) un espacio de medida. Para E Mjo, denimos
E
(A) = (A E).
Probar que
E
es una medida sobre M.
Solucin. Vemos que
E
: M[0, ]
: A
E
(A) = (A E)
E
(A) = (A E) es una medida en M, ya que:
Observacin 1.5.1 Dada una lgebra A en X, se dice que : A [0, ] es una medida sobre A si se
verican:
1. () = 0,
_
A
j
_
j1
de A cuyos elementos son disjuntos dos a dos se tiene
_
_
j1
A
j
_
_
=
j1
_
A
j
_
.
Por lo tanto tenemos que probar estos dos puntos i.e.:
1.
E
() = ( E) = () = 0,
2. Sean (A
n
) M, n = 1, 2, ... disjuntos, entonces
E
(
n
A
n
) =
E
((
n
A
n
) E) =
E
(
n
(A
n
E)) =
E
(A
n
E) =
n=1
E
(A
n
)
donde observamos que (
n
(A
n
E)) es una unin disjunta. Esto demuestra que
E
es una me-
dida.
1.5. EJERCICIOS. 15
Ejercicio 1.5.10 Sea X un conjunto innito numerable. Consideremos la lgebra M = P(X). Denimos
para A M
(A) =
_
0 si A es nito
si A es innito
,
1. Probar que es nitamente aditiva, pero no numerablemente aditiva.
2. Probar que X = lm
n
A
n
, para cierta sucesin creciente de conjuntos {A
n
}, tales que (A
n
) =
0, n N.
Solucin. Vemos que con respecto al primer punto:
(a) Tenemos que probar como en el ejercicio anterior que se verican las propiedades de medida i.e.
1. () = 0,
_
A
j
_
j1
de Acuyos elementos son disjuntos dos a dos se tiene
_
_
j1
A
j
_
_
=
_

j1

_
A
j
_
= 0 A
j
es nito
j1

_
A
j
_
= A
j
0
innito
.
por lo tanto no puede ser medida ya que al ser X un conjunto innito numerable i.e. X = {a
1
, a
2
, ...., a
n
, ...} ,
llamando A
n
= {a
n
}, entonces podemos expresar X =
_
A
n
, pero (A
n
) = 0, al tener un solo
elemento y por lo tanto ser nito, pero
(X) = =
n=1
(A
n
) = 0.
(b) Se dene
lminf E
j
=
E
j
, lmsup E
j
:=
_
E
j
.
se dice que que existe el lmite si
lminf E
j
= lmsup E
j
por ejemplo si tenemos E
1
E
2
.... E
n
E
n+1
..., existe lmE
j
=
_
E
j
, y si E
1
E
2

.... E
n
E
n+1
.., existe lmE
j
=
E
j
, entonces con respecto a nuestro ejercicio sean ahora
B
n
= {a
1
, a
2
, ...., a
n
} , y donde B
1
B
2
.... B
n
B
n+1
..., donde X = B
n
pero
(X) = = lm
n
(B
n
) = 0.
Ejercicio 1.5.11 Sea (X, M, ) un espacio de medida. Se denen las operaciones de conjuntos
lminf E
j
:=
_
n
j>n
E
j
, lmsup E
j
:=
n
_
j>n
E
j
.
Sean E
j
M, j 1. Probar que si (E
j
) < :
(lminf E
j
) lminf
_
E
j
_
,
(lmsup E
j
) lmsup
_
E
j
_
,
En particular si (X) < entonces:
1. (lminf E
j
) lminf
_
E
j
_
lmsup
_
E
j
_
(lmsup E
j
),
2. Si existe lmE
j
, entonces (lmE
j
) = lm(E
j
).
Solucin. Vemos que
(lminf E
j
) lminf
_
E
j
_
al ser A
n
= E
j
, cumplen A
1
A
2
.... A
n
A
n+1
..., y por el teorema de TCM para conjuntos,
tenemos que
(lminf E
j
) = (A
n
)
TCM
= lm
n
(A
n
) lm
n
inf (E
n
)
la ltima desigualdad se da ya que (A
n
) (E
n
).
De momento no hemos tenido que usar la condicin (E
j
) < , esta condicin la emplearemos para
demostrar la segunda parte i.e.
lmsup
_
E
j
_
(lmsup E
j
)
o equivalentemente
(lmsup E
j
) lmsup
_
E
j
_
.
Para ello denimos B
n
=
j=n
E
j
, donde B
1
B
2
.... B
n
B
n+1
.., y por hiptesis tenemos
(B
1
) < , ya que B
1
=
j=1
E
j
. Por TCM para conjuntos
(lmsup E
j
) = (B
n
) = lm
n
(B
n
) lm
n
sup (E
n
)
Ejercicio 1.5.12 Sea X = {a
1
, a
2
, a
3
}, sea M = P(X). Sea una medida que verica (a
1
) = (a
2
) =
(a
3
) = 1/3. Consideremos la sucesin de conjuntos
A
n
= {a
1
, a
2
}, si n es par,
A
n
= {a
3
}, si n es impar,
Probar que (lminf A
n
) < lminf (A
n
) < lmsup(A
n
) < (lmsup A
n
).
1.5. EJERCICIOS. 17
Solucin. Vemos que
(A
n
) =
_
2/3 si n es par,
1/3 si n es impar,
por lo que
lm(A
n
) =
2
3
, lm(A
n
) =
1
3
,
as que
lm(A
n
) < lm(A
n
).
Por otro lado vemos que
lmsup(A
n
) = X = {a
1
, a
2
, a
3
},
lminf(A
n
) = ,
luego
0 = (lminf A
n
) <
1
3
= lm(A
n
) <
2
3
= lm(A
n
) < 1 = (lmsup A
n
)
Ejercicio 1.5.13 Sean X = N, M = P(N), la medida de contar. Construir una sucesin A
n
P(N) tal
que lm
n
A
n
= ; pero lm
n
(A
n
) = 0.
Solucin. Vemos que (RECORDATORIO)
E
1
E
2
.... E
n
E
n+1
..., =lmE
j
=
_
E
j
,
y si
E
1
E
2
.... E
n
E
n+1
.., =lmE
j
=
E
j
,
entonces
lm (A
n
) =
(A
1
)<
lm (A
n
)
por lo que tendremos que buscar un ejemplo que no verique tal condicin i.e. (A
1
) < ,
A
1
= {1, 2, 3, ....} ,
A
2
= {2, 3, ......} ,
.
.
.
A
n
= {n, n + 1, ..} ,
vindose que
A
1
A
2
A
3
A
4
......... A
n
A
n+1
.....,
as que
lm
n
A
n
= A
n
= ,
y sin embargo
lm
n
(A
n
) = 0,
tal y como queramoshacer ver.
Ejercicio 1.5.14 Sean {A
n
} conjuntos medibles tales que
n=
n=1
(A
n
) < . Demostrar que cada elemento
x pertenece a un nmero nito de A
n
para c.t.p. x. (Dicho de otra manera el conjunto de los puntos x que
pertenecen a innitos de los A
n
, es decir, lmsup A
n
, mide cero.)
Solucin. Antes de nada aclaremos un poco la terminologa. En un espacio de medida se dice que una
propiedad P se cumple en c.t.p. si el conjunto A = {x X : x, no cumple P} tiene medida cero. Por lo
tanto en nuestro ejercicio, c.t.p. x pertenece a un nmero nito de A
n
.
Sea A = {x X : x, pertenece a los A
n
} , queremos ver que (A) = 0, x A n, n N, tal
que x A
n
x
N=1
_
n=N
A
n
= lmsup A
n
. Debemos probar que
N=1
_
n=N
A
n
_
= 0,
para ello seguiremos la siguiente argumentacin: Si
B
n
=
_
n=N
A
n
,
una familia decreciente i.e. .. B
N
B
N+1
.., y con
(B
1
) =
_
n=N
A
n

n=1
(A
n
) < ,
por lo que por el TCM tenemos que
(lmsup A
n
) = lm
N
N=1
B
N
_
= lm
N
(B
N
) = lm
N
_

_
n=N
A
n
_
lm
_

n=N
(A
n
)
_
= 0,
Ejercicio 1.5.15 Sea (X
1
, M
1
,
1
) un espacio de medida completo, es decir, tal que todos los subconjuntos
de un conjunto medible de medida cero tambin son medibles (i.e. la lgebra contiene a todos los subconjuntos
de un conjunto medible de medida cero). Sea g : X
1
X
2
una aplicacin, M
2
= {A X
2
: g
1
(A) M
1
},
2
(A) =
1
(g
1
(A)). Comprobar que (X
2
, M
2
,
2
) es un espacio de medida completo.
Solucin. Temos que ver:
1. M
2
es un lgebra:
i) M
2
ya que g
1
() = ,
ii) Si A M
2
, i.e. g
1
(A) M
1
entonces se tiene que A
c
M
2
, ya que
g
1
(A
c
) =
_
g
1
(A)
_
c
M
1
,
1.5. EJERCICIOS. 19
iii) Si A
n
M
2
, n = 1, 2,.i.e. g
1
(A
n
) M
1
entonces se tiene que
n=1
A
c
n
M
2
, ya que
g
1
(
n=1
A
n
) =
n=1
g
1
(A
n
) M
1
2.
2
es una medida i.e.
i)
2
() =
1
_
g
1
()
_
=
1
() = 0,
ii) Sean A
n
M
2
, n = 1, 2,.disjuntos.
2
(
n=1
A
n
) =
1
_
g
1
(
n=1
A
n
)
_
=
1
_
n=1
g
1
(A
n
)
_
=
n=1
1
_
g
1
(A
n
)
_
=
n=1
2
(A
n
) ,
Ejercicio 1.5.16 Sea (X, A, ) un espacio de medida y sea f : X R una funcin medible y positiva.
Denimos para cada A A
f
(A) =
_
A
f (x)d(x)
1. Probar que es una medida sobre A
2. Si X = N, A = P(N), es la medida de contar y f : N R viene dada por f (n) = 1/n si n es una
potencia positiva de 2 y f (n) = 0 en caso contrario, comprobar que
f
es una medida de probabilidad.
Solucin. Observamos que
f
(A) =
_
A
f
A
d
por lo tanto:
1.
f
() =
_
f
d = () = 0 (ya que f
),
2. Si (A
i
) A son disjuntos
f
(
_
i
A
i
) =
_
A
f
i
A
i
d =
_

i
f
A
i
d =
i
_
f
i
A
i
d =
f
(A
i
)
donde hemos usado el teorema de convergencia montona (para series de trminos positivos).
Por lo tanto concluimos que
f
es una medida.
Para ver que se trata de un medida de probabilidad i.e.
f
(N) = 1 observamos que
f
(N) =
_
N
f (x)d(x) =
n=1
f (n) =

n:n=2
k
f (n) =
k=1
f (2
k
) =
k=1
1
2
k
= 1
Ejercicio 1.5.17 Sea (X, M, ) un espacio de medida
1. Dado A M, denimos
A
(B) = (A B) ,
probar que
A
2. Dada s : X R una funcin simple y positiva. Denimos para cada B M
s
(B) =
_
B
s(x)d(x),
probar que
s
Solucin. Vemos que
i)
A
() = (A ) = () = 0.
ii) Sean B
n
M, n = 1, 2, .. conjuntos disjuntos. Entonces A B
n
son disjuntos
A
(B
n
) = ((A B
n
)) =
n
(A B
n
) =
A
(B
n
) .
por lo tanto es una medida.
Con respecto al segundo apartado vemos que si
s =
N
i=1
c
i
A
i
,
con c
i
> 0, y A
i
M, n = 1, 2, .. entonces
s
(B) =
_
B
s(x)d(x) =
N
i=1
c
i
(A
i
B)
y podemos aplicar el resultado anterior a cada (A
i
B) para deducir que
s
tambin es una medida
sobre M.
Ejercicio 1.5.18 Sean a
n
R, con a
n
0, n N, tales que
n=0
a
n
< . Denimos
: P (N) [0, )
mediante
(E) =
_
_
_
0 si E =
nE
a
n
si card(E) <
si card(E) =
,
probar que NO es un medida en (N, P (N)) .
1.5. EJERCICIOS. 21
Solucin. Si fuese una medida, eligiendo
A
n
= {n} , n = 0, 1, 2, ..
como
N =
_
n
A
n
,
y la unin es disjunta y numerable, se debera cumplir
(N) =
n=0
(A
n
) ,
pero tal y como vemos (N) = , ya que card(N) = , mientras que (A
n
) = a
n
y por lo tanto
n=0
(A
n
) =
n=0
a
n
< ,
llegando as a una contradiccin.
1.5.3. Sobre funciones medibles.
Ejercicio 1.5.19 Sea M la lgebra formada por {, R, (, 0], (0, )}. Sea f : R R la funcin
denida mediante
f (x) =
_
_
_
0 x (, 0]
1 x (0, 1]
2 x (1, )
Es f medible?. Cmo son en general las funciones medibles f : (R, M) (R, B
R
)?
Solucin. Recordamos que:
Funcin medible. Diremos que f : X R, es Amedible si a R se tiene
f
1
((a, )) = {x X : f (x) > a} A.
Por lo tanto vemos que no es medible porque
f
1
({1}) = (0, 1] / M,
por ejemplo, en general la imagen inversa de un Borel tiene que estar en M.
Con respecto a la segunda pregunta, vemos que
f (x) = C
1
(,0]
+ C
2
(0,)
,
Ejercicio 1.5.20 Para funciones f : (X, M) (R, B
R
), cules de las siguientes armaciones son ciertas?
1. | f | medible = f medible.
2. f
1
+ f
2
medible = f
1
f
2
medible.
3. f
1
+ f
2
medible = f
1
f
2
medible
4. f
1
+ f
2
medible = f
1
y f
2
medible
5. f
1
f
2
medible = f
1
y f
2
medible
Solucin. Vemos que:
1. Si f es medible, entonces, f = f
+
f
y por lo tanto | f | = f
+
+ f
, pero al revs no es cierto.

Supongamos que estamos en la medida de Lebesgue. Sea A no medible de R, y B = A
c
(tampoco
es medible). f =
A
B
, que no es medible pero | f | =
A
+
B
= 1 que s es medible.
2. No.
3. Sean: f
1
=
A
, no numerable, y f
2
=
B
, no numerable, donde B = A
c
, tales que f
1
f
2
= 0, sin
embargo el producto s es numerable.
4. No.
5. No.
Ejercicio 1.5.21 Sea f : (X, M, ) (R, B
R
) una funcin medible no-negativa, una medida -nita en
M. Probar que f (x) = lmt
n
(x) siendo {t
n
}
n
una sucesin creciente de funciones simples no negativas, tales
que t
n
toma valores distintos de cero solamente en un conjunto de medida nita.
Sugerencia: Construir B
1
B
2
..... B
n
, ..., (B
n
} < , tomar t
n
= s
n
B
n
, siendo s
n
una sucesin
creciente de funciones simples no-negativas con lmite f .
Solucin. Sea f 0, medible. Sea 0 s
1
s
2
..... s
n
.... f , tal que lms
n
= f . Las s
n
son
simples i.e.
s
n
=
m
n
j=1
c
n
j

A
n
j
podemos tomarlas de medida nita si la medida subyacente es -nita en M, escribir X = X
n
, con
(X
n
) < , y B
n
= X
j
con t
n
= s
n
B
n
sucesin creciente ya que tanto las s
n
como
B
n
son crecientes
y por lo tanto f (x) = lmt
n
(x).
Ejercicio 1.5.22 Si f
n
: (X, M) (R, B
R
), n = 1, 2, .., son medibles, probar que el conjunto
A = {x X : lm
n
f
n
(x)}
es un elemento de M.
1.5. EJERCICIOS. 23
Solucin. Tenemos que probar que A es medible. Para ello observamos que si lmsup f
n
= h
n
, y
lminf f
n
= g, con h, g medibles, entonces A = {x X : h = g}. Sea l = h g, funcin medible y
A = {x X : l = 0} = l
1
({0}) que es medible por denicin.
Ejercicio 1.5.23 Sea (, M, P) un espacio de probabilidad. Sean X
1
, X
2
dos funciones medibles de (, M, P)
(R, B
R
) y sean F
X
1
, F
X
2
las funciones de distribucin de las medidas de probabilidad inducidas por X
1
, X
2
respec-
tivamente (F
X
j
(x) = P{ : X
j
() x}, j = 1, 2). Probar que si P{ : X
1
() X
2
()} = 1,
entonces F
X
1
= F
X
2
, x R.
Solucin. Si A = { : X
1
() = X
2
()}, P(A) = 0,
{ : X
1
() x} { : X
2
() x} A
tomando medidas en ambos lados
F
X
1
F
X
2
+ P(A) = F
X
1
F
X
2
y por simetra llegamos a
F
X
1
F
X
2
por consiguiente F
X
1
= F
X
2
, x R.
Ejercicio 1.5.24 Se considera el espacio de probabilidad (R, B
R
, P), donde P(A) =
_
A
f (x)dx viene dada por
la funcin de densidad
f (x) =
_
1 x [0, 1]
0 x / [0, 1]
,
Sea X : (R, B
R
, P) (R, B
R
) denida mediante
X(x) =
_
2 log x x > 0
0 resto
,
Hallar F
X
, la funcin de distribucin de la probabilidad inducida por X.
Solucin.
F
X
=
_
0 x 0
1 e
x/2
x > 0
,
donde F
X
= X
1
.
1.5.4. Sobre integracin y teoremas de convergencia.
Ejercicio 1.5.25 Sea f (x) : [0, 1] R
+
denida mediante f (x) = 0, si x es racional, f (x) = n, si n es
el nmero de ceros inmediatamente despus del punto decimal en la representacin de x en la escala decimal.
Calcular
_
f (x)dm, siendo m la medida de Lebesgue.
Solucin. Vemos que por ejemplo
f (1) = 0,
f (0,099999) = 1,
f (0,3701) = 0,
f (0, 00103) = 2,
entonces
f =
n=1
n
_
1
10
n+1
,
1
10
n
_
es una funcin medible y que
_
f (x)dm
T.C.M
=
n=1
_
n
_
1
10
n+1
,
1
10
n
_
=
n=1
n
9
10
n+1
=
9
10
n=1
n
10
n
=
1
9
,
Ejercicio 1.5.26 Sea f (x) = 0 en cada punto del conjunto ternario de Cantor en [0, 1]. Sea f (x) = p en cada
intervalo del complementario de longitud 1/3
p
. Demostrar que f es medible y calcular
_
f (x)dm, siendo m la
medida de Lebesgue.
Solucin. Vemos que C
c
=
2
p1
I
p,j
f (x) =
p=1
2
p1
j=1
p
I
p,j
= lm
N
_
N
p=1
2
p1
j=1
p
I
p,j
_
que es una funcin simple, por lo tanto
_
R
f (x)dm
T.C.M
=
p=1
2
p1
j=1
p
I
p,j
p=1
p
2
p1
3
p
=
1
2
p=1
p
2
p
3
p
=
1
2
2
3
_
1
2
3
_
2
= 3
observar que
nr
n
=
r
(1 r)
2
Ejercicio 1.5.27 Sea f (x) la funcin denida en (0, 1) mediante f (x) = 0, si x es racional, f (x) =
_
1
x
, si x
es irracional (
_
1
x
es la parte entera de
1
x
). Calcular
_
f (x)dm siendo m la medida de Lebesgue.
Solucin. Vemos que
f =
_
0, x Q [0, 1]
_
1
x
x (0, 1) \Q
1.5. EJERCICIOS. 25
donde I = R\Q, y
1
n + 1
< x <
1
n
, = n
1
x
< n + 1,
si x
_
1
n+1
,
1
n
= I
n
,
f = n
I
, f =
n=1
n
I
n
I
por lo que
_
f dm =
n=1
n |I
n
I| =
n=1
n
_
1
n

1
n + 1
_
=
n=1
1
n + 1
= ,
Veamos ahora una variente de este ejercicio. En esta ocasin
f =
_
0, x Q [0, 1]
_
1
x
1
x (0, 1) \Q
queremos estudiar si esta funcin es integrable y calcular
_
1
0
f dm.
Vemos que f = g c.t.p. donde g : (0, 1] R, g(x) =
_
1
x
1
, y por lo tanto
g(x) =
1
n
, n
1
x
< n + 1,
i.e. si x
_
1
n+1
,
1
n
, (como antes).
La sucesin de funciones simples
g
n
=
n=1
1
n
I
n
I
, g
n
g,
converge puntualmente y es creciente, entonces f es integrable al serlo g.
Ahora observamos que
_
1
0
g
n
dm =
n=1
1
n
m(E
n
) =
n=1
1
n
_
1
n

1
n + 1
_
=
n=1
1
n
2

1
n
2
+ n
,
donde
n=1
1
n
2
=

2
6
n=1
1
n
2
+ n
=
n=1
1
n (n + 1)
=
n=1
1
n

1
n + 1
= 1
1
n + 1
,
por lo tanto
_
1
0
f dm =

2
6
1,
Ejercicio 1.5.28 Llamemos d
i
(x) a los digitos del desarrollo decimal 0.d
1
, d
2
, ... de un x (0, 1). Decir por qu
son convergentes las siguientes series:
f (x) =
i
d
i
(x)
2
i
, g (x) =
i
(1)
d
i
(x)
2
i
y hallar
_
1
0
f ,
_
1
0
g , expresndolas como sumas de series. Por qu son vlidas esas expresiones?.
Solucin. Se observa que
d
1
(x) =
9
j=0
j
I
1
j
, I
1
j
=
_
j
10
,
j + 1
10
_
de esta forma cada d
i
(x) es una funcin simple
d
i
(x) =
9
j=0
j
E
i
j
,
donde E
i
j
es la unin de intervalos con medida
E
i
j
=
1
10
.
Denimos ahora
f =
i=1
d
i
(x)
2
i
= lm
N
_
N
i=1
d
i
(x)
2
i
_
,
funcin medible, y por lo tanto
_
f dm =
m
i=1
1
2
i
_
d
i
(x) dx =
i=1
1
2
i
_
9
j=0
j
_
1
10
=
45
10
,
y de forma anloga vemos que
g(x) =
i=1
(1)
d
i
(x)
2
i
,
entonces
_
gdm =
i=1
1
2
i
_
(1)
d
i
(x)
dx = 0,
ya que
_
(1)
d
i
(x)
dx = 0, observar que * lo podemos hacer ya que
_
1
0

(1)
d
i
(x)
2
i
dx =
_
1
0
i=1
1
2
i
= 1 < ,
Ejercicio 1.5.29 Sea f
2n1
=
[0,1]
, f
2n
=
[1,2]
, n = 1, 2, .... Comprobar que se verica la desigualdad de
Fatou estrctamente.
1.5. EJERCICIOS. 27
Solucin. Claramente se observa que
_
lminf ( f
n
) = 0 < lminf
_
_
f
n
_
= 1.
Ejercicio 1.5.30 Comprobar
_
1
1
x
dm = , siendo m la medida de Lebesgue.
Solucin. Sea
s
n
=
n
j=2
1
j
(j1,j)
, s
n

1
x
, x (0, 1) ,
vindose que
_
f dm sup
n
_
s
n
dm = sup
n
n
j=2
1
j
=
j=2
1
j
= .
n
0, medible, lm f
n
= f , f
n
f , n. Comprobar que
_
f d = lm
_
f
n
d
(Sugerencia: Usar el lema de Fatou y que
_
f
n
d
_
f d).
Solucin.
_
f =
_
lm f
n

Fatou
lminf
_
f
n
lmsup
_
f
n

_
f ,
y por lo tanto
lmsup
_
f
n
=
Fatou
lminf
_
f
n,
n
(x) = mn( f (x), n) siendo f (x) 0 y medible. Demostrar que
_
f nd lm
_
f d.
Solucin. Tenemos la siguiente situacin
f
n
f
n+1
..... f ,
por el TCM (funciones medibles y positivas)
lm
_
f
n
=
_
f .
Ejercicio 1.5.33 Sea g : (X, M, ) (R, B
R
) integrable. Sea {E
n
} una sucesin decreciente de conjuntos
tal que
E
n
= . Probar que lm
n
_
E
n
gd = 0.
Solucin. Tenemos la siguiente situacin
E
1
E
2
..... E
n
..., E
n
= ,
con g L
1
, g
n
= g
E
n
, tal que g
n
0,
lm
n
_
g
n
= lm
_
g =
_
lmg
n
= 0.
Ejercicio 1.5.34 Sea f : R [0, 1) medible y f L
1
(m). Sea F : R R denida mediante F(x) =
_
x
f (t)dm. Probar que F(x) es continua. (Sugerencia: Usar teoremas de convergencia).

Probar que dados x
1
< x
2
< x
3
< ... nmeros reales, se tiene
k
|F (x
k+1
) F (x
k
)|
_
R
| f | dm.
Solucin. Sea F(x) =
_
x
f (t)dm tomamos h > 0,

F (x + h) F (x) =
_
x+h
x
f (t) dm =
_
f (t)
(x,x+h)
0,
ya que cuando h 0,
(x,x+h)
0.
k
|F (x
k+1
) F (x
k
)|
k
_
x+h
x
f (t) dm
_
R
| f |
donde los I
k
= (x
k
, x
k+1
) son disjuntos.
Ejercicio 1.5.35 Sea (X) < . Sean {f
n
} una sucesin de funciones de L
1
(), con f
n
(x) f (x) uniforme-
mente. Demostrar que f L
1
() y que
_
f
n
d
_
f d.
(Sugerencia: Estudiar la sucesin
n
(x) = f
n
(x) f (x), escribir f (x) = f
n
(x) ( f
n
(x) f (x)).
Solucin. Sea f
n
(x) f (x), unifrmemente adems f
n
(x) L
1
() lo que quiere decir que son fun-
ciones integrables, por lo que tenemos que f L
1
() y adems se verica
_
f d = lm
_
f
n
d,
en particular x, lm f
n
= f , (recordar que la convergencia uniforme implica la puntual).
1.5. EJERCICIOS. 29
Queremos usar el TCD. Dado = 1, N N, | f
n
f
m
| 1, n, m N (estamos interpretando una
sucesin convergente como una suma de Cauchy). En particular n N, 1 f
n
f
N
1, x
| f
n
| | f
N
| + 1, vemos que F L
1
(d)
_
X
Fd =
_
X
| f
N
| d +
_
X
1d =
_
X
| f
N
| d + (X) <
por lo tanto f
n
(x) f (x), x, | f
n
| F(x) L
1
(), n N.
Ejercicio 1.5.36 Demostrar que
lm
n
_

0
dx
_
1 +
x
n
_
n
x
1
n
= 1.
Sugerencia: Usar que para n > 1,
_
1 +
x
n
_
n
x
2
4
.
Solucin. El primer paso consiste en calcular
lm
n
1
_
1 +
x
n
_
n
x
1
n
=
1
e
x
= e
x
,
ya que
_
1 +
x
n
_
n
e
x
, mientras que x
1
n
1. Es montona creciente cuando x pequea y decreciente
cuando x > 1. Bajo estas consideraciones podemos usar el TCD
lm
_
f
n
=
_
lm f
n
=
_

0
e
x
dx = 1,
La miga de todo el problema est en buscar la funcin dominante. Desarrollamos
_
1 +
x
n
_
n
1 +
n
2
/2
2
x
2
n
2
= 1 +
x
2
4
,
tenemos que buscar la funcin que sea integrable, la funcin
_
dx
1 +
x
2
4
=
_

0
4
4 + x
2
dx < ,
de esta forma aseguramos que si x < 1
_

1
dx
_
1 +
x
n
_
n
x
1
n
_

1
4
4 + x
2
dx < .
En conclusin:
F(x) =
_
1
x
1/2
x (0, 1)
4
4+x
2
x > 1
,
por lo que
_

0
Fdx =
_
1
0
1
x
1/2
dx +
_

1
4
4 + x
2
dx < ,
Ejercicio 1.5.37 Sea
f
n
(x) =
nx 1
(x log n + 1) (1 + nx
2
log n)
,
con x (0, 1] . Comprobar que lm
n
f
n
= 0, y sin embargo
lm
n
_
I
f
n
=
1
2
.
Sugerencia:
f
n
=
1
x log n + 1
+
nx
1 + x
2
(n log n)
.
Solucin. Vemos que
lm
n
f
n
= 0,
mientras que
_
1
x log (n) + 1
dx =
1
ln n
ln
_
1
ln n
(x ln n + 1)
_
1
0
= 0,
_
nx
1 + x
2
(n log n)
dx =
1
2 ln n
ln
_
1
n ln n
_
n (ln n) x
2
+ 1
_
_
1
0
=
1
2
,
por lo que
lm
n
_
I
f
n
=
1
2
,
Ejercicio 1.5.38 Calcular
lm
n
_

a
n
1 + n
2
x
2
dx.
estudiando los casos a < 0, a = 0, a > 0. Qu teoremas de convergencia son aplicables?.
Solucin. Haremos el siguiente cv (nx = y, ndx = dy)
lm
n
_

0
n
1 + n
2
x
2
dx = lm
n
_

na
1
1 + y
2
dy < ,
sea
f
n
(y) =
1
1 + y
2
(na,)
,
tal que
| f
n
(y)|
1
1 + y
2
L
1
,
Sabemos que estn acotadas, lo que quiero es conocer el valor del lmite
lm f
n
(y) =
_
_
0 a > 0,
1
1+y
2
a < 0,
1
1+y
2
(0,)
a = 0,
1.5. EJERCICIOS. 31
entonces por el TCD tenemos que
lm
n
_

0
n
1 + n
2
x
2
dx =
_
_
_
0 a > 0,
a < 0,
2
a = 0,
Ejercicio 1.5.39 Calcular
lm
n
_

0
1 + nx
2
(1 + x
2
)
n
dx.
Solucin. Actuamos como en el ejercicio anterior i.e.
f
n
=
1 + nx
2
(1 + x
2
)
n
, lm
n
f
n
= 0
Vemos que para
n = 1, f
1
= 1,
n = 2, f
2
=
1 + 2x
2
(1 + x
2
)
2
=
1 + 2x
2
x
4
+ 2x
2
+ 1
entonces a partir de esta expresin y empleando el binomio de Newton vemos que
_
1 + a
2
_
n
1 + na
2
+
n (n 1)
2
a
4
por lo que
1 + na
2
(1 + a
2
)
n

1 + na
2
1 + na
2
+
n(n1)
2
a
4
=
1
n
+ a
2
1
n
+ a
2
+
(n1)
2
a
4
.
Queremos justcar
lm
n
_

0
1 + nx
2
(1 + x
2
)
n
dx = 0,
para ello usaremos el TCD, ya que x
1 + nx
2
(1 + x
2
)
n

1 + nx
2
1 + nx
2
+
n(n1)
2
x
4
1
por lo que la funcin mayorante ser
F(x) =
_
1 x (0, 1)
4
x
2
x [1, )
vemos que cuando x > 1,
1 + nx
2
(1 + x
2
)
n

1 + nx
2
1 + nx
2
+
n(n1)
2
x
4
x
2
(1 + n)
n(n1)
2
x
4
=
1
x
2
2 (1 + n)
n (n 1)

4
n 1
1
x
2

n2
4
x
2
ahora solo falta ver que
_

0
Fdx =
_
1
0
dx +
_

1
4
x
2
dx <
Ejercicio 1.5.40 Sabemos que la serie
n=0
(1)
n
1
n + 1
,
es convergente.
1. Justicar
_
1
0
n=0
(x)
n
dx =
n=0
_
1
0
(x)
n
dx.
2. Deducir
n=0
(1)
n
1
n + 1
= ln2.
Solucin. Si llamamos
S
N
(x) =
N
n=0
(x)
n
=
1 (x)
N+1
1 + x
,
observamos que para 0 < x < 1
|S
N
(x)|
2
1 + x
< 2.
Por el T.C.M. (ya que las constantes son integrables en (0, 1) con respecto a la medida de eLebesgue
dx)
_
1
0
n=0
(x)
n
dx =
_
1
0
lm
N
S
N
(x)dx = lm
N
_
1
0
S
N
(x)dx = lm
N
N
n=0
_
1
0
(x)
n
dx =
n=0
_
1
0
(x)
n
dx.
Adems, la parte izquierda de las igualdades anteriores nos da
_
1
0
n=0
(x)
n
dx =
_
1
0
1
1 + x
dx = ln2,
mientras que la parte derecha es
n=0
_
1
0
(x)
n
dx =
n=0
(1)
n
1
n + 1
,
Ejercicio 1.5.41 Sea (X, M, ) un espacio de medida y sea f : X [0, ) una funcin medible (y no negativa)
1.5. EJERCICIOS. 33
a) Para m = 1, 2, ... se denen los conjuntos
E
m
= {x X : f (x) > 1/m} .
Demostrar la identidad
lm
m
_
E
m
f d =
_
X
f d.
b) Probar que si
_
X
f d < , entonces > 0, A Mde medida nita ( (A) < ) tal que
_
X
f d <
_
A
f d + .
Solucin. Claramente E
m
E
m
, si m < m
y que
E =
_
m
E
m
= {x X : f (x) > 0} .
En particular la sucesin de funciones positivas g
m
= f
E
m
es montona creciente con
lm
m
g
m
(x) = f (x)
E
m
(x) .
Teniendo en cuenta el T.C.M. deducimos que el lmite pedido existe y vale
lm
m
_
E
m
f d = lm
m
_
g
m
d =
_
lm
m
g
m
d =
_
E
f d =
_
X
f d.
Con respecto al segundo apartado vemos que si
_
X
f d < , dado , por lo anterior, entonces existe m
tal que
_
X
f d <
_
E
m
f d + .
Ahora slo hace falta recordar que cada E
m
es de medida nita en este caso ya que por la desigualdad
de Chebychev tenemos que
(E
m
) = ({x X : f (x) > 1/m}) m
_
X
f d,
Ejercicio 1.5.42 Justicar la existencia del siguiente lmite y encontrar su valor:
lm
n
_

0
e
nt
sin t
t
.
Solucin. Sea
f
n
(t) = e
nt
sin t
t
,
entonces f
n
es continua y por lo tanto medible respecto a la medida de Lebesgue.
Por otro lado, vemos que
1. | f
n
(t)| e
nt
e
t
= F(t), n = 1, 2, ... y t 0.
2. lm
n
f
n
(t) = 0, t 0, ya que
lm
n
e
nt
= 0,
3. por ltimo
_

0
F(t)dt =
_

0
e
t
dt < .
El T.C.D. nos asegura entonces que el lmite pedido existe y vale
lm
n
_

0
e
nt
sin t
t
=
_

0
lm
n
f
n
(t)dt = 0,
Ejercicio 1.5.43 Sea g : R [0, ) una funcin continua tal que g(0) > 0 y g(x) = 0 si x / [1, 1] .
Probar que si h(x) es una funcin medible Lebesgue tal que g (x n) h(x), para n = 1, 2, ... entonces
h / L
1
(R, dx) .
Solucin. Sea g
n
(x) = g (x n) . Entonces g
n
(x) 0, n, x y
_
R
g
n
(x) dx =
_
R
g (x n) dx =
_
R
g (x) dx > 0,
ya que g (x) > 0 en un entorno de cero debido a su continuidad.
Adems
lm
n
g
n
(x) = lm
y
g
n
(y) = 0.
Si h L
1
(R, dx) , entonces podramos usar el TCD y concluir
lm
n
_
R
g
n
(x) dx =
_
R
lm
n
g
n
(x) dx = 0,
pero tal y como hemos mostrado, la parte izquierda es el lmite de una sucesin constante de valor
_
R
g (x) dx > 0, entonces h / L
1
(R, dx) .
Captulo 2
Espacios de Medida
2.1. Espacios de medida.
Asumimos todos los resultados expuestos en el primer captulo.
Denicin 2.1.1 Espacio de Medida. Llamaremos espacio de medida a toda terna (X, M, ).
Denicin 2.1.2 Medida completa. Una medida sobre una lgebra Mse dice completa si Mcontiene
a todos los subconjuntos de conjuntos (de M) con medida cero, i.e. si A M tal que (A) = 0, entonces
E A, se tiene que E My (E) = 0
Forma de completar medidas.
Teorema 2.1.1 Sea (X, M, ) un espacio de medida, denimos
M={E X : A, B M, A E B, (B\A) = 0}
si E Mcon A E B y (B\A) = 0, denimos (E) = (A) . Entonces
1. Mes lgebra que contiene a M,
2. es una medida completa que extiende a .
Ejemplo 2.1.1 Veremos dos ejemplos que muestran la importancia de la completitud de medida
En (X, M, ) si es completa entonces:
1. Si f = g (c.t.p.) y f es medible entonces g es medible
2. Si las f
n
son medibles para todo n y f
n
f c.t.p. entonces f es medible.
35
36 CAPTULO 2. ESPACIOS DE MEDIDA
Si las medidas no fueran completas entonces el resultado podra ser no cierto.
Ejemplo 2.1.2 Contraejemplos: En (X, M, ) tomamos X = {1, 2, 3} , M={, {1, 2} , {3} , X} y tomamos
: M[0, ) con ({1, 2}) = () = 0 y (X) = ({3}) = 1. Denimos f , g : X R,
f (1) = f (2) = f (3) = 3, g(x) = x
entonces:
1. f es medible
2. f = g (c.t.p.) ya que {x : f = g} = {1, 2}
3. g no es medible porque g
1
((0, 1]) = {1} / M
Hay una segunda forma de encontrar medidas completas que tambin sirve para extender pre-medidas
(es decir, funciones aditivas sobre lgebras) a medidas en el sentido habitual. (Teorema de Caratheodory)
Denicin 2.1.3 Medida exterior. Se dice que
: P(X) [0, ] es medida exterior si cumple

1.
() = 0,
2.
(A)
(B) , si A B,
3.
_

_
i=1
A
i
_
i=1
(A
i
)
Denicin 2.1.4 Pre-medida. Dada una lgebra B
0
P(X) se dice que
0
: B
0
[0, ] es una premedida
si verica:
1.
0
() = 0,
2. Si B
i
B
0
son disjuntos y
_
i=1
B
i
B
0
, entonces
0
_

_
i=1
B
i
_
=
i=1
0
(B
i
)
tal y como se ve,
0
sera una medida si B
0
fuese una lgebra.
2.1. ESPACIOS DE MEDIDA. 37
La medida exterior asociada es entonces:
(A) = inf
_

i=1
0
(A
i
) : A
i
B
0
A
_
i=1
A
i
_
Denicin 2.1.5
medible. Dada una medida exterior
sobre X se dice que A X es
medible si
(E) =
(E A) +
(E A
c
) , E X.
Denotamos por
M
={A X : A es
medible}
Observacin 2.1.1 Como siempre se tiene
(E)
(E A) +
(E A
c
) ,
entonces A es
medible sii
(E)
(E A) +
(E A
c
)
Teorema 2.1.2 (Teorema 1 de Caratheodory). Si
es una medida exterior sobre X y denimos M
como
antes. Entonces M
es una lgebra y
|M
es una medida completa.

Teorema 2.1.3 (Teorema 2 de Caratheodory). Sea
0
una premedida sobre B
0
y denamos una medida exte-
rior
y M
como antes. Entonces:

1. M
es una lgebra que contiene a B

0
.
2. =
|M
es una medida completa que extiende a

0
.
Ejemplo 2.1.3 Construccin de la medida de Lebesgue.
Sea el lgebra B
0
generada por los intervalos de la forma (a, b], (a < b : a, b R). Es decir, B
0
est formada por
las uniones nitas de esos intervalos y sus complementarios. Denimos
0
= ((a, b]) = b a
y extendemos la denicin a B
0
de manera obvia. Entonces se tiene:
1.
es la medida exterior de Lebesgue

2. M
es la lgebra de los conjuntos medibles de Lebesgue.

3. =
|M
es una medida de Lebesgue ((I) =Longitud de I, I Intervalo).

Ejemplo 2.1.4 Construccin de la medida de Lebesgue-Stieltjes.
Con ms generalidad, si F : R R es creciente y continua por la derecha podemos denir
0
=
F
sobre el
lgebra B
0
anterior como sigue
F
((a, b]) = F(b) F(a).
F
es una pre-medida y la extensin de Caratheodory se denota por
= dF.
En particular si F(x) = x estamos en el caso de la medida de Lebesgue que se denota por dx.
Observacin 2.1.2 Recapitulacin.
Si (X, M, ) es un espacio de medida y no es completa, entonces tenemos dos formas de completarla
1. por el teorema 2.1.1, obtenindose
_
X, M,
_
2. Por el segundo teorema de Caratheodory, obtenindose en este caso
_
X, M
, =
|M
_
La relacin entre ambos procedimientos es la siguiente
1. M M
y =
|M
2. Si es nita, entonces M= M
Observacin 2.1.3 Si
0
es una pre-medida sobre B
0
, y Mes la mnima -lgebra que contiene a B
0
entonces
hay una extensin de
0
a una medida sobre M. (Simplemente tomamos
|M
porque M M
).
Si
0
es -nita, esta extensin es nica.
Observacin 2.1.4 Si
es una medida exterior en X, que proviene de una pre-medida

0
, y (X) < ,
entonces tambin se tiene
M
= {A X :
(A) +
(A
c
) =
(X)}
(Recordar aqu la denicin de subconjunto medible de [0, 1] dada por Lebesgue).
2.2. Ejemplos de medida de Lebesgue-Stieljes.
Veremos algunos ejemplos de la medida de Lebesgue-Stieljes.
Ejemplo 2.2.1 Sean, F(x) = x.
F
((a, b]) = F(b) F(a) = b a; por lo tanto
dF =
|M
= m,
i.e. coincide con la medida de Lebesgue.
2.2. EJEMPLOS DE MEDIDA DE LEBESGUE-STIELJES. 39
Ejemplo 2.2.2 F(x) = e
x
.
F
((a, b]) = e
b
e
a
; A M
F
(A) =
_
A
e
x
dm(x).
Ejemplo 2.2.3 F(x) C
1
(R) y f = F
; A M
, se tiene
dF (A) =
_
A
f (x) dm(x) =
_
A
F
(x) dm(x).
donde se observa que (dF = F
dx) , adems
F
((a, b]) = F(b) F(a) =
_
b
a
f (x)dx
ver la seccin de ejercicios as como el captulo 4.
Ejemplo 2.2.4 Funcion de Heavyside
H (x) =
_
1 x 0
0 x < 0
entonces
H
((a, b]) =
_
1 a < 0 < b
0 b < 0 a 0
vindose que la extensin
H
=
0
.
Ejemplo 2.2.5 F(x) = [x] , y
F
((a, b]) = # {k : a < k b}
A
= dF(A) = # (A Z)
medida de contar en Z como subconjunto de R.
2.3. Medidas de Borel.
Denicin 2.3.1 Se dice que es una medida de Borel en R si est denida sobre la lgebra de los conjun-
tos de Borel B
R
.
Toda premedida
F
denida como antes sobre B
0
se puede extender (de forma nica) a una medida
de Borel. Esto es inmediato porque B
R
es la mnima lgebra que contiene a B
0
y por tanto B
0

B
R
M
. La extensin viene dada por la restriccin de dF =

F|M
a B
R
. Recordatorio: Su extensin
a todo M
se denomina la medida de Lebesgue-Stieltjes asociada, denotada por dF.

En general no es cierto que B
R
y M
coincidan.
Lema 2.3.1 si m es la medida de Lebesgue y denotamos por L los conjuntos medibles de Lebesgue entonces
B
R
L P(R)
los contenidos son estrictos.
Proposicin 2.3.1 Si es una medida de Borel nita sobre conjuntos acotados, entonces proviene de cierta
pre-medida
F
sobre B
0
.
Ejemplo 2.3.1 Veremos dos ejemplos
1.
= m
B
R
, F(x) =
_
_
_
x x > 0
0 x = 0
x x < 0
_
_
_
= x
2.
=
0|B
R
, F(x) =
_
0 x 0
1 x < 0
i.e. F = H 1, donde H representa la funcin de Heavyside.
Observacin 2.3.1 No todas las medidas de Borel provienen de una pre-medida
F
sobre B
0
. Por ejemplo, si
es la medida de contar sobre R, su restriccin
|B(R)
no viene de una
F
porque
|B(R)
((a, b]) = , a, b.
2.4. Medidas regulares en R
Denicin 2.4.1 Dado (R, M, ) espacio de medida se dice que es regular (en R) si verica:
2.5. DOS RESULATADOS SOBRE LA MEDIDA E INTEGRAL DE LEBESGUE. 41
1. B
R
M
2. Regularidad exterior, i.e.
(A) = inf { (U) : A U, U abierto}
3. Regularidad interior
(A) = sup{ (K) : K A, K compacto}
Proposicin 2.4.1 La medida de Lebesgue, m, es regular
Corolario 2.4.1 Si A es medible Lebesgue (A L) existen dos conjuntos de Borel U, V B
R
, tales que
U A V
y m(U) = m(A) = m(V) . V es la interseccin numerable de abiertos y U es una unin numerable de
compactos.
2.5. Dos resulatados sobre la medida e integral de Lebesgue.
Teorema 2.5.1 Invarianza por traslaciones y dilataciones.
Dado E R, entonces si E L entonces, x
0
+ E M, rE M, donde m(x
0
+ E) = m(E), y m(rE) =
rm(E).
Relacin entre la integral de Riemann y la de Lebesgue.
Teorema 2.5.2 Sea f : [a, b] I R, acotada e integrable Riemann, entonces f es medible Lebesgue y por
lo tanto es integrable Lebesgue y adems
_
b
a
f dx =
_
I
f dm.
2.6. Ejercicios.
2.6.1. Medidas exteriores
Ejercicio 2.6.1 Sea X un conjunto no vaco. Denimos
: P(X) [0, 1] mediante
() = 0,
(A) =
1, si A X. Comprobar que
es una medida exterior y determinar el lgebra de los conjuntos medibles.

Solucin. Tenemos que
() = 0,
(A) = 1,
y recordamos que una medida exterior debe vericar las siguientes propiedades:
1.
() = 0,
2.
(A)
(B) , si A B,
3.
_

_
i=1
A
i
_
i=1
(A
i
)
De esta forma vemos que la primera de las propiedades se verica trivialmente (por hiptesis) mientras
que con respecto a la segunda de las propiedades tenemos que hacer las siguiente observacin. Sea
B = , entonces
(B) = 1
(A) , A y si B = , entonces
(A) =
(B) = 0, ya que A B.
Con respecto a la tercera de las propiedades vemos que
_

_
i=1
A
i
_
=
_
0
i=1

(A
i
) A
i
= ,
1
i=1

(A
i
) si A
j
= ,
luego
i=1

(A
i
) 1
(B) , B.
Para calcular la lgebra de los conjuntos medibles tendremos en cuenta la construccin de Caratheodory
M
= {A / E X,
(E)
(E A) +
(E A
c
)}
queremos determinar los conjuntos
medibles. En este caso en el que
(A) = 1, A X, si
tomamos E = X entonces:
(X)
(A) +
(A
c
)
1 1 + 1
pero esto es una contradiccin por lo que la nica posibilidad es:
M
= {, X}
Otra forma de verlo es la siguiente, tomamos E = {a, b} tal que a A, b A
c
y al igual que antes
(E)
(E A) +
(E A
c
)
(E)
(A) +
(A
c
)
1 1 + 1
llegando as a la misma contradiccin
Ejercicio 2.6.2 Sea X un conjunto no vaco. Denimos
mediante
() = 0,
(A) = 1 y
(X) = 2, si
= A = X. Comprobar que
es una medida exterior y determinar el lgebra de los conjuntos medibles.

Solucin. En este cas tenemos que
(E) =
_
_
_
0 E =
1 E X
2 E = X
tendremos que comprobar que se verican las propiedades de la medida exterior i.e.
2.6. EJERCICIOS. 43
1.
() = 0,
2.
(A)
(B) , si A B,
3.
i=1
A
i
)
i=1

(A
i
) ,
Por lo tanto la primera de las propiedades se verica por hiptesis, con respecto a la segunda de las
propiedades veremos que si A B,
(A)
(B) , distinguiremos los siguientes casos
(B) =
_
_
_
0 B =
(A) =
(B) = 0
1 B X
(A) = 1 =
(B)
2 B = X
(A) = 1
(B) = 2
Con respecto a la tercera de las propiedades veremos que si tomamos (A
i
)
n
i=1
y comprobamos que
n
i=1
A
i
_

n
i=1

(A
i
) haciendo las siguientes distinciones:
A
n
= , n, =
(
n
i=1
A
i
) = 0
n
i=1
(A
i
) = 0
A
n
= X =
(
n
i=1
A
i
)
n
i=1
(A
i
) 2,
n
i=1
A
i
= X, n
0
, tal que A
n
0
= =
(
n
i=1
A
i
)
n
i=1
(A
i
) 1,
n
i=1
A
i
= X, n, tal que n A
n
= =
(
n
i=1
A
i
) = 2
n
i=1
(A
i
) .
Para calcular la lgebra de los conjuntos medibles tendremos en cuenta la construccin de Caratheodory
M
= {A / E X,
(E)
(E A) +
(E A
c
)}
queremos determinar los conjuntos
medibles. Si seguimos los mismos pasos que en el ejercicio

anterior vemos que, sea A X tal que A, A
c
= , A X, y supongamos que cardX > 2. Esto
quiere decir que o bien A o A
c
o los dos contienen ms de un elemento. Supongamos que {x, y} A.
Entonces A no es
medible porque si E = {x} A

c
, ({y} / E) entonces:
(E A) +
(E A
c
)
(E) ,
({x}) +
(A
c
)
(E) ,
1 + 1
(E) = 1
llegando as a una contradiccin ya que E = X. Por lo tanto M
= P(X). Si seguimos este razon-

amiento a medida que aumentamos el cardinal de X llegamos a la conclusin de que M
= P(X).
Ejercicio 2.6.3 Comprobar que si
es una medida exterior ntamente aditiva entonces es numerablemente

aditiva.
Solucin. Tenemos que probar que si
es una medida exterior ntamente aditiva entonces es

aditiva i.e.
_
N
_
i=1
A
i
_
=
N
i=1
(A
i
) =
_

_
i=1
A
i
_
=
i=1
(A
i
)
para ello tomamos los (A
i
)
i=1
disjuntos, tales que A =
i=1
A
i
, queremos ver que
(A) =
i=1
(A
i
)
pero observamos que es cierta al tratarse de una medida exterior (por denicin), por lo que slo
tendremos que probar la implicacin para ello observamos que N
(A)
i=1
A
i
) =
N
i=1

(A
i
) tomando el lmite entonces obtenemos que
(A)
i=1

(A
i
) , tal y como queramos
hacer ver.
Ejercicio 2.6.4 Sea
una medida exterior y sea H un conjunto
-medible, sea
0
la restriccin de
a P(H),
1. Comprobar que
0
es una medida exterior en H.
2. Comprobar que A H es
0
-medible sii es
-medible.
Solucin. Con respecto al primero de los apartados, tenemos que es una medida exterior y H M
denimos
0
(B) =
(B H) ,
0
es una medida exterior en P(H), tomamos los {A
i
} P(H) etc.....
Con respecto al segundo de los apartados tenemos que
una medida exterior y H M
, denimos
0
=
|P(H)
(i.e. medida exterior sobre P(H)), podemos considerar los conjuntos
0
medibles M
0
tenemos que probar que A H, A M
0
A M
.
= Supongamos A M
0
, sea E X,
0
(E A) +
0
(E A
c
) =
0
(E A
c
)
(E A H) +
(E A
c
H) =
(E H)
ahora si escribimos A
c
= (H\A) H
c
, entonces
0
(E A
c
)
(E A) +
(E (H\A)) +
(E H
c
)
por hiptesis tenemos que
(E A) +
(E (H\A)) =
(E H)
por lo que
(E A) +
(E (H\A)) +
(E H
c
) =
(E H) +
(E H
c
)
pero como H M
entonces
(E H) +
(E H
c
) =
(E)
por lo que A M
.
2.6. EJERCICIOS. 45
= Supongamos que A M
, entonces si E H
0
(E A) +
0
(E A
c
) =
(E A H) +
(E A
c
H) =
(E)
por lo que A M
0
.
Ejercicio 2.6.5 Sea X un conjunto con un nmero innito de elementos. Tomemos como clase recubridora C, la
formada por el vaco, el total y los conjuntos con un nico elemento. Denimos () = 0, (X) = , (E) = 1,
si E C, E = , X. Describir la medida exterior as obtenida. Estudiar la lgebra de los conjuntos medibles.
Solucin. La clase recubridora C ={{x} : x X} {, X} y hemos denido
() = 0, (E) = 1, (X) = ,
por lo que tomamos
(A) = inf
_
(A
j
) : A
_
A
j
__
vindose que:
1. Si A es nito i.e. A = {x
1
, ..., x
n
} , A =
n
_
A
j
_
, entonces
(A) = inf
_
(A
j
) : A
_
A
j
__
= n = cardA,
2. Si A es innito pero numerable, A = {x
1
, ..., x
n
, ....} , A =
_
A
j
_
, entonces
(A) = inf
_
(A
j
) : A
_
A
j
__
= ,
3. Si X no es numerable, el recubrimiento numerable de A por elementos de C es A X y por lo
tanto obtenemos de nuevo
(A) = .
Concluimos por lo tanto que
(A) =
_
cardA A <
A
Por ltimo observamos que M
= P(X).
Ejercicio 2.6.6 Sea X un conjunto no numerable. Sea C, la lgebra formada por los conjuntos numerables
y no numerables de complementario numerable.
Sea : C [0, ] denida mediante (E) = cardE, si E es nito y (E) = en otro caso.
1. Probar que es una medida completa C.
2. Estudiar la medida
construida a partir de C y .
Solucin. Con respecto al primer apartado vemos que para probar que es una medida completa:
Observacin 2.6.1 Una medida sobre una lgebra Mse dice completa si Mcontiene a todos los subcon-
juntos de conjuntos (de M) con medida cero, i.e. si A Mtal que (A) = 0, entonces E A, se tiene que
E My (E) = 0
Queremos probar que si A C y (A) = 0 (= A = ), entonces todo B A C, pero esto es as
por denicin de (E)
(E) =
_
cardE E <
E
Con respecto al segundo apartado tenemos que denir la medida exterior asociada a (C, )
(B) = inf
_

j=1
(A
j
) : B
_
A
j
_
_
=
_
cardB B <
B
as
vuelve a ser una medida en todo P(X) i.e. M
= P(X).
Recordamos que para completar una medida tenamos dos formas:
(X, M, )
_
_
_
_
X, M,
_
completando con subconjuntos de medida cero
(X, M
) Caratheodory
en este caso (M, ) ya era completa as que (X, M, ) =
_
X, M,
_
. Concluimos por lo tanto que la
mnima extensin completa no tiene por qu coincidir con la extensin de Caratheodory.
Ejercicio 2.6.7 Sea (X, M, ) un espacio de probabilidad y sea
la medida exterior asociada a . Sea E X

de forma que
(E) = 1. Probar que dados A, B M, con A E = B E entonces;

(A) = (B) = (A B) .
Solucin. La calve est en observar que A\B E
c
(ya que si x A y x E, entonces x B por
hiptesis; luego x A\B entonces x / E). Por lo tanto
(A\B)
c
E
y de la denicin de medida exterior asociada se sigue que:
_
(A\B)
c
_

(E) = 1.
Como (X) = 1, tambin se tiene
_
(A\B)
c
_
= 1
de aqu (A\B) = 0. Usando que
A = (A B) (A\B)
se concluye que
(A) = (A B) .
De forma similar se obtiene (B) = (A B) , probando as la igualdad.
2.6. EJERCICIOS. 47
Ejercicio 2.6.8 Sean
1
y
2
dos medidas exteriores denidas en P(X), tales que
1
(X) < y
2
< . Sean
M
1
y M
2
las lgebras de los conjuntos medibles para
1
y
2
respectivamente. Denimos
(A) =
1
(A) +
2
(A), A X.
1. Comprobar que
es una medida exterior.

2. Comprobar que las lgebras de Mde los conjuntos medibles para
viene dada por

M= M
1
M
2
.
Solucin. En primer lugar vemos que
es una medida exterior ya que
() =
1
() +
2
() = 0
y dados A
n
X, n = 1, 2, 3...
(A
n
) =
1
(A
n
) +
2
(A
n
)
1
(A
n
) +
2
(A
n
) =
1
(A
n
) +
2
(A
n
) =
(A
n
),
Con respecto al segundo apartado vemos que M= M
1
M
2
. Sea A M
1
M
2
, entonces E X,
tenemos
1
(E) =
1
(E A) +
1
(E A
c
),
y
2
(E) =
2
(E A) +
2
(E A
c
),
sumando ambas igualdades queda
(E) =
(E A) +
(E A
c
),
y por lo tanto A M.
Por otro lado, sea A My E X. Usando que
j
(E) =
j
(E A) +
j
(E A
c
), j = 1, 2,
por ser cada
j
una medida exterior y que adems
1
(A) =
(A)
2
(A),
por cada
j
nitas, deducimos
1
(E)
1
(E A) +
1
(E A
c
) =
(E A)
2
(E A) +
(E A
c
)
2
(E A
c
)
=
(E) (
2
(E A) +
2
(E A
c
))
(E)
2
(E) =
1
(E).
Luego
1
(E A) +
1
(E A
c
) =
1
(E),
lo que nos da A M
1
. De forma anloga, A M
2
.
2.6.2. Medidas de Lebesgue-Stieltjes (L-S)
Ejercicio 2.6.9 Denimos
F(x) =
_
_
_
0 x < 1,
x 1 x 3,
4 x 3,
Sea dF la medida de L-S asociada a F. Calcular
dF ({1}) , dF ({2}) , dF ((1, 3]) , dF ((1, 3)) , dF ([1, 3]) , dF ([1, 3)) .
Solucin. Vemos que en general dada f creciente y continua por la derecha se tiene que:
dF ((a, b]) = F (b) F (a) ,
dF ((a, b)) =
_
lm
n
F
_
b
1
n
_
F (a) = F (b
) F (a) (a, b) = (a, b

1
n
]
F (b) F (a) (F(b) F (b
)) = F (b
) F (a) (a, b) = (a, b]\ {b}

,
dF ([a, b]) = dF ((a, b]) + dF ({a}) = F (b) F (a) + F(a) F(a
) = F (b) F(a
), (2.1)
dF ([a, b)) = dF ((a, b)) + dF ({a}) = F
_
b
_
F (a) + F(a) F(a
) = F
_
b
_
F(a
),
dF ({a}) = lm
n
dF
_
(a
1
n
, a]
_
= lm
n
_
F(a) F
_
a
1
n
__
= F(a) F(a
),
donde F(a
) signica evaluada por la izquierda. Por lo tanto y resumiendo

dF ((a, b]) = F (b) F (a) ,
dF ((a, b)) = F
_
b
_
F (a) ,
dF ([a, b]) = F (b) F(a
),
dF ([a, b)) = F
_
b
_
F(a
),
dF ({a}) = F(a) F(a
).
En nuestro caso:
1. dF ({1}) = F(1) F(1
) = 1 0 = 1,
2. dF ({2}) = F(2) F(2
) = 2 2 = 0, observar que F es continua en 2,

3. dF ((1, 3]) = F(3) F(1) = 4 1 = 3, recordar que se evalua por la derecha,
4. dF ((1, 3)) = F (3
) F (1) = 3 1 = 2,
5. dF ([1, 3]) = F (3) F(1
) = 3 0 = 3,
6. dF ([1, 3)) = F (3
) F(1
) = 3 0 = 3,
Ejercicio 2.6.10 Sea la medida de contar sobre R y P(R). Para un conjunto jado A R, denimos (B) =
(B A) para todo B R.
2.6. EJERCICIOS. 49
1. Si A = {1, 2, 3, ...., n, ...} es una medida de L-S?. En caso armativo hallar su funcin de distribucin.
2. Si A =
_
1,
1
2
,
1
3
, ....,
1
n
, ...
_
es una medida de L-S?. En caso armativo hallar su funcin de distribucin.
Solucin. Sea A R, (B) = (B A) = # (B A) , entonces:
1. En este caso A = N, y (B) = (B A) = card (B A) , Borel nita sobre intervalos nitos,
entonces s es de L-S y
F (x) =
_
0 x < 0
k 1 k 1 x k
F(x) =
_
0 x < 0
[x] x 0
2. A =
_
1,
1
2
,
1
3
, ....,
1
n
, ...
_
, en este caso , no es de L-S, ya que si tomamos B = (0, ]
(B) = (B A) = card
_
n N,
1
n

_
,
y esta medida es siempre innita ya que esta medida cuenta el nmero de puntos en ese intervalo
y claro, es siempre innita por muy pequeo que se tome .
Ejercicio 2.6.11 Denimos
F(x) =
_
_
0 x (, 1)
1 + x x [1, 0)
2 + x
2
x [0, 2)
9 x [2, )
Sea dF la medida de L-S asociada a F. Calcular
dF ({2}) , dF
_
[
1
2
, 3)
_
, dF ((1, 0] (1, 2)) , dF
_
[0,
1
2
) (1, 2]
_
, dF
__
|x| + 2x
2
__
.
Solucin. Seguiremos el esquema del primer ejercicio (ver 2.1) por lo que
1. dF ({2}) = F(2) F(2
) = 9 (2 + 4) = 3,
2. dF
_
[
1
2
, 3)
_
= F(3) F(1/2) = 9 1/2 =
17
2
,
3. dF ((1, 0] (1, 2)) = (F (0) F (1)) + (F (2
) F (1)) = (2 0) + (6 3) = 5,
4. dF
_
[0,
1
2
) (1, 2]
_
= (F(1/2) F(0)) + (F(2) F(1)) =
_
2 +
1
4
2
_
+ (9 3) =
25
4
,
5. dF
__
|x| + 2x
2
__
sencillamente vemos que
A =
_
2x
2
x 1 > 0 x = 1, 1/2 x < 0
2x
2
+ x 1 > 0 x = 1, 1/2 x > 0
por lo que tendremos que calcular:
dF(A) = dF (, 1/2) + dF (1/2, ) =
=
_
F
_
1/2
_
F ()
_
+
_
F
_
_
F (1/2)
_
=
= 1/2 + 0 + 9 (2 + 1/4) = 29/4.
Ejercicio 2.6.12 Sea f : R Rno negativa e integrable Riemann, sobre cada intervalo nito tal que
_
R
f dx =
1. Probar que
F(x) =
_
x
f (y)dy
es una funcin de distribucin de probabilidad y adems F es continua. Si
f (x) =
_
1 x [0, 1]
0 resto
hallar F.
Solucin. Vemos que F es creciente
_
x
0
f dx
_
x
0
f dx,
y que adems es continua por la derecha, lo vemos defoma inmediata ya si tomamos h
n
0, vemos
que F (x + h
n
) F (x) 0 (cuando n )
F (x + h
n
) F (x) =
_
x+h
n
x
f dx
deniendo
I
n
=
_
(x, x + h
n
) h
n
> 0
(x + h
n
, x) h
n
< 0
entonces
|F (x + h
n
) F (x)| =
_
x+h
n
x
f dx
_
I
n
f
I
n
TCD
n
0
ya que g
n
= f
I
n
0, |g
n
| f integrable, de esta forma vemos que dF est bien denida y que
dF ({0}) = 0, x porque F es continua y es de probabilidad ya que
_
R
f dx = 1, i.e. dF (R) =
_
R
f dx =
F() F () = 1, f funcin de densidad.
Para un suceso A, la probabilidad es
dF(A) = P
f
(A) =
_
A
f dx
ya que si denimos
f
(A) =
_
A
f dx
f
= dF en (a, b] ya que
dF ((a, b]) = F (b) F (a) =
_
b
a
f (y)dy =
f
((a, b]) .
Aplicamos al ejemplo donde f =
[0,1]
y calculamos
F(x) =
_
x
f dy =
_
_
_
0 x < 0,
_
x
0
1dy = x x (0, 1)
1 x > 1
2.6. EJERCICIOS. 51
f (x) =
_
kx (1 x) x [0, 1]
0 resto
determinar el vaor de k para que f sea la funcin de densidad de una medida de probabilidad. Determinar la
funcin de distribucin.
Solucin. Siguiendo los pasos del ejercicio anterior vemos que
dF (R) =
_
R
f dx = F() F () = 1
por lo que
F(x) =
_
x
f dy =
_
0 x < 0
_
x
0
f dy x [0, 1]
por lo tanto
_
1
0
kx (1 x) dx =
k
6
de donde deducimos que k = 6, tal y como queramos hacerver.
Ejercicio 2.6.14 Dada la funcin de distribucin
F(x) =
_
_
0 x (, 1)
1
3
x [1,
2)
1
2
+
x
2
10
x [
2, 5)
1 x [5, )
Sea dF la medida de probabilidad correspondiente. Calcular
dF (R) , dF
__
(R\Q)
_
2,
2
___
, dF
__
(R\Q)
_
2, 5
___
, dF (Q [1, 6]) .
Solucin. Siquiendo los pasos expuestos en el primero de los ejercicos se trata de encontrar los puntos
de discontinuidad
_
1,
2, 5
_
y calcular la medida de cada uno de los conjuntos, por lo tanto:
1. dF (R) = 1, ya que se trata de una funcin de distribucin,
2. dF
__
(R\Q)
_
2,
2
___
para calcular este conjunto vemos que
dF
__
(R\Q)
_
2,
2
___
dF ((, 1)) = 0
3. dF
__
(R\Q)
_
2, 5
___
, vemos que
dF
__
(R\Q)
_
2, 5
___
= dF
__
2
__
+ dF
__
2, 5
__
dF
_
Q
_
2, 5
__
=
y calculamos cada uno de estos conjuntos
dF
__
2
__
= F
_
2
_
F
_
_
=
1
2
1
3
dF
__
2, 5
__
= F
_
5
_
F
_
2
_
= 1
2
10

1
3
dF
_
Q
_
2, 5
__
= 0
esta ltima igualdad se desprende del hecho de que la funcin es continua en este conjunto y que
por lo su medida es nula (punto a punto).
4. dF (Q [1, 6]) =
qQ[1,6]
dF ({q}) = dF ({5}) = F(5) F(5
) ya que slo nos jamos en las

singularidades
Ejercicio 2.6.15 Para cada conjunto de Borel A R se dene
(A) =
n=1
1
2
n
A
_
1
n
_
.
Probar que coincide con la medida de L-S sobre la lgebra de Borel B
R
y encontrar su funcin de distribu-
cin.
Solucin. En primer lugar mostraremos que se trata de una medida i.e.
(i) () = 0, ya que
(x) = 0, x,
(ii) Si (A
i
) son disjuntos dos a dos, usando que
i
A
i
(x) =
A
i
(x)
(
i
A
i
) =
n=1
1
2
n
i
A
i
_
1
n
_
=
n=1
1
2
n
A
i
_
1
n
_
=
n=1
1
2
n
A
i
_
1
n
_
=
i
(A
i
) .
obsrvese que, de hecho, est bien denida sobre la lgebra total P(R).
Adems, es nita i.e.
(R) =
n=1
1
2
n
= 1
2.6. EJERCICIOS. 53
i.e. es una medida de probabilidad y por lo tanto coincide con una medida de L-S sobre B
R
.
En este caso, su funcin de distribucin viene dada por
F(x) = ((, x]) =
_
_
_
0 x 0
i=n+1
1
2
i
=
1
2
n
1
n+1
x <
1
n
1 1 x.
Captulo 3
Los teoremas del cambio de variable y de
Fubini.
3.1. Propiedades de la -lgebra y de la medida de Lebesgue en R
n
.
Asumimos todos los resultados expuestos en los captulos anteriores.
Denicin 3.1.1 Rectngulo R, en R
n
,
R = J
1
.... J
n
,
donde los denimos los J
i
R como intervalos (nitos o no) ydenimos su volumen como:
|R| = vol (R
n
) =
n
i=1
|J
i
|
donde || signica la longitud de .
Tenemos la sguiente ristra de lemas:
Lema 3.1.1 La interseccin de rectngulos forma otro rectngulo.
Lema 3.1.2 La unin nita de rectngulos se puede escribir como la unin disjunta y nita de rectngulos.
Lema 3.1.3 La clase B
0
= {uniones nitas de rectngulos} es un lgebra.
Denicin 3.1.2 Sea B B
0
, entonces podemos escribir B =
n
i=1
R
i
i.e. como uniones disjuntas y nitas de
elementos de B
0
, por lo tanto el volumen de B ser:
vol (B) =
N
i=1
|R
i
| ,
de esta forma vemos que || es una premedida
55
56 CAPTULO 3. LOS TEOREMAS DEL CAMBIO DE VARIABLE Y DE FUBINI.
Denicin 3.1.3 Medida de Lebesgue de R
n
.
La extensin de Caratheodory de la terna (R
n
, B
0
, ||) nos da el espacio de medida (R
n
, L
n
, m) donde m(R) =
|R| , R. Esta extensin es nica (|| es nita). L
n
es la lgebra de Lebesgue en R
n
y m = dx la medida
de Lebesgue.
Propiedades
1. L
n
contiene a los abiertos de R
n
.
2. A L
n
,
m(A) = inf
_

i=1
|R
i
| , R
i
rectngulo
i=1
R
i
A
_
.
3. La medida de Lebesgue en R
n
es regular i.e.
m(A) = inf {m(U) , A U, U abierto} ,
m(A) = inf {m(K) , K A, K compacto} .
4. La medida de Lebesgue es invariante por traslaciones
Teorema 3.1.1 A L
n
, x
0
R
n
, = A + x
0
L
n
1. m(A + x
0
) = m(A) ,
2. f : R
n
R, tal que f 0, f L
1
(R
n
, dm) , =x
0
R
n
_
f (x + x
0
) dm =
_
f (x) dm
Idea de la demostracin. Vemos que
1. Por construccin.
2. Al ser f 0, entonces por el paso al lmite podemos suponer que f es simple entonces aplicamos
toda la artillera desplegada en el primer captulo i.e.
f =
N
i=1
c
i
A
i
(x), = f (x + x
0
) =
N
i=1
c
i
A
i
(x + x
0
) =
N
i=1
c
i
x
0
+A
i
(x)
entonces
_
f (x + x
0
) dm =
N
i=1
c
i
m(x
0
+ A
i
) =
N
i=1
c
i
m(A
i
) =
_
f (x) dm
y por lo tanto al ser cierto para funciones simples lo extendemos a funciones normales tenien-
do en cuenta los teoremas de convergencia dominada etc....
Generalizamos este teorema para transformaciones anes en general
3.2. MEDIDAS INDUCIDAS. 57
Teorema 3.1.2 (TCV para aplicaciones lineales). Sea T : R
n
R
n
una transformacin lineal tal que det T =
0, por lo que M(T, B) GL (n, R) . Entonces:
1. Si A L
n
, entonces T(A) L
n
y m(T(A)) = |det T| m(A).
2. Sea f : R
n
R, tal que f 0, f L
1
(R
n
, dm) , =
_
f (x) dm = |det T|
_
f (T(x)) dm.
Corolario 3.1.1 En las condiciones del teorema anterior si D es medible entonces:
_
T(D)
f (x) dm = |det T|
_
D
f (T(x)) dm.
El teorema de cambio de variable general, permite substituir la aplicacin T (lineal) por cualquier
difeomorsmo de forma que si J(x) = det D
(x)
es el jacobiano de en x, entonces
_
(D)
f (x) dm =
_
D
f (x) |J(x)| dm.
pero antes de enunciarlo formalmente necesitamos algo ms de artillera.
3.2. Medidas inducidas.
Denicin 3.2.1 Dados dos espacios X, Y dotados de ciertas lgebras (M
X
, M
Y
) se dice que la aplicacin
: X Y es medible si
1
(B) M
X
, para todo B M
Y
.
Denicin 3.2.2 Si es una medida sobre la lgebra M
X
, entonces induce una medida sobre M
Y
de la
siguiente forma:
(B) =
_
1
(B)
_
.
Teniendo en cuenta estas dos deniciones podemos ahora formular el siguiente teorema:
Teorema 3.2.1 Sean (M
X
, M
Y
) y
(B) =
_
1
(B)
_
. Si f : Y R, es medible y f 0, f
L
1
_
d
_
, =
_
Y
f (x) d
=
_
D
f d.
Llegamos as a formular el teorema de cambio de variable general:
Teorema 3.2.2 Sea : R
n
R
n
un difeomorsmo regular C
1
y sea f : () R medible Lebesgue.
Si f 0, f L
1
(dx) , entonces:
_
()
f (x) dx =
_
f (x) |J(x)| dx.

Observacin 3.2.1 Se observa que
R
n

R
n
()
f f
R
Recordar que la notacin que se emplea en geometra diferencial (integracin en variedades)
_
()
f dx =
_
f dx,
mucho ms elegante.
3.3. Medidas producto.
La idea es la de extender la medida de Lebesgue en R
n
a cualquier espacio de medida. Sean (X, M
X
, ),
(Y, M
Y
, ) dos espacios de medida y sean A M
X
, B M
Y
. Entonces, denimos el rectngulo
medible
A B = {(x, y) : x A, y B}
y reproducimos la misma ristra de lemas que los expuesto al principio de este capitulillo i.e.
Lema 3.3.1 La interseccin de rectngulos forma otro rectngulo.
Lema 3.3.2 La unin nita de rectngulos se puede escribir como la unin disjunta y nita de rectngulos.
Lema 3.3.3 La clase
A =
_
N
i=1
A
i
B
i
, A
i
M
X
, B
i
M
Y
_
es un lgebra.
Lema 3.3.4 Sea R = A B, A M
X
, B M
Y
.
0
(R) =
0
(A B) = (A) (B)
Sea U =
(A
i
B
i
) , with A
i
M
X
, B
i
M
Y
0
(U) =
N
i=1
(A
i
) (B
i
)
0
es una premedida.
Observacin 3.3.1 La mnima lgebra que contiene a A se denota por M
X
M
Y
y se verica que
M
X
M
Y
A M
X
M
Y
.
Denicin 3.3.1 (X Y, A,
0
)
_
X Y, A
0
|A
_
por Caratheodory es completo.
3.4. TEOREMA DE FUBINI. 59
Si seguimos este procedimiento podemos extender estas deniciones al producto de n medidas. De
esta forma tenemos que si (X
i
, M
i
,
i
)
n
i=1
son n espacios de medida entonces denimos la lgebra
producto como el producto de sus respectivas lgebras i.e.

M
i
etc... y de esta forma obte-
mos el espacio
_
X
i
,
M
i
,
d
i
_
como la extensin de Caratheodory de la premedida
0
sobre
A (lgebra de uniones nitas de rectngulos medibles) donde si R = A
1
... A
n
, A
i
M
i
en-
tonces
0
=
i
(A
i
) .
3.4. Teorema de Fubini.
Denicin 3.4.1 Dado E X Y y jado x X se dene la x-seccin de E como
E
x
= {y Y : (x, y) E} ,
y la y-seccin
E
y
= {x X : (x, y) E} .
Sea f : X Y R, denimos la x-seccin de f como
f
x
: Y R
: y f
x
(y) = f (x, y)
y de forma anloga la y-seccin de f como
f
y
: X R
: x f
y
(x) = f (x, y).
Proposicin 3.4.1 Sean (X, M
X
, ), (Y, M
Y
, ) dos espacios de medida, entonces:
1. Si E M
X
M
Y
, entonces E
x
M
X
, E
y
M
Y
.
2. f : X Y R es M
X
M
Y
medible entonces f
x
es M
Y
medible y f
y
es M
X
medible.
Esta proposicin nos viene a decir que si f : X Y R es medible y positiva entonces f
x
es medible
y como sigue siendo positiva la podemos integrar en yd, i.e. podemos denir
g(x) =
_
Y
f
x
(y) d(y)
y de forma anloga denimos la funcin
h(y) =
_
X
f
y
(x)d(x).
Por lo tanto tanto g como h son medibles y positivas y por lo tanto
_
X
g(x)d(x) =
_
Y
h (y) d(y) =
_
XY
f (x, y)d ( )
si y son nitas.
Teorema 3.4.1 Fubini. Sean (X, M
X
, ), (Y, M
Y
, ) dos espacios de medida nitos, entonces:
1. Si f : X Y R es medible y positiva entonces tanto g como h son medibles y adems se verica:
_
XY
f (x, y)d ( ) =
_
X
_
_
Y
f d
_
d =
_
Y
_
_
X
f d
_
d (3.1)
2. Si f L
1
(d ( )) , = f
x
L
1
(d) ctp, f
y
L
1
(d) ctp, por lo tanto g, h estn denidas ctp y
son integrables adems se verica (3.1).
Para la demostracin de este teorema se necesitan los siguientes ingredientes:
Proposicin 3.4.2 Sean (X, M
X
, ), (Y, M
Y
, ) dos espacios de medida nitos, y E M
X
M
Y
, en-
tonces
x (E
x
) M
X
,
y (E
y
) M
Y
,
i.e. son medibles en X e Y respectivamente y
(E) =
_
X
(E
x
) d(x) =
_
Y
(E
y
) d(y).
Para demostrar esta proposicin se necesita la siguiente denicin y el siguiente lema.
Denicin 3.4.2 Se dice que C P(X Y), es una clase montona si es cerrada por uniones crecientes e
intersecciones decrecientes i.e.
E
1
.... E
n
... C, =E
i
C,
K
1
.... K
n
... C, =K
i
C.
Lema 3.4.1 Si A es una lgebra y C es una clase montona con A C entonces la mnima lgebra que
contiene a A( (A)) C.
3.4.1. Aplicaciones del teorema de Fubini.
1. Los tpicos intercambios en el orden de integracin que nos hacen la vida ms fcil.
2. El TCM es un caso particular del teorema de Fubini.
3. El TCD para series tambin es una consecuencia de este teorema.
3.5. EJERCICIOS. 61
3.5. Ejercicios.
Ejercicio 3.5.1 Sean X = Y = N, M= N = P(N) y sean , las medidas de contar en N. Probar que
d ( ) es la medida de contar en P(NN). Si denimos
f (m, n) =
_
_
_
1 si m = n
1 si m = n + 1
0 resto
comprobar que
_
| f | d ( ) = y que existen
_ __
f d
_
d,
_ __
f d
_
d, y son distintas.
Solucin. Tenemos la siguiente situacin:
X = Y = N, M= N = P(N)
d = d medidas de contar,
MN = P(NN) MN MN P(NN)
pero observamos que P(NN) m, n N, {m} , {n} M, N, donde {m} {n} = {m, n} es medible
y cualquier combinacin numerable tambin (por lo tanto P(NN)) luego
MN = MN = P(NN).
d d es la medida de contar en NNya que
({m, n}) = ({m} {n}) = ({m}) ({n}) = 1.
Ahora consideramos la funcin dada i.e.
f (m, n) =
_
_
_
1 si m = n
1 si m = n + 1
0 resto
observamos que las integrales iteradas no coinciden ya que f no es positiva y no es integrable. Luego,
si probamos que las integrales iteradas no coinciden es que no es integrable.
Si integramos
_
N
f (m, n) d (m) =
m=1
f (m, n) = 0, n
siempre encontramos 1 que se anulan mutuamente.
Si ahora integramos
_
N
f (m, n) d (n) =
n=1
f (m, n) =
_
1 m = 1
0 m = 0
.
Igualmente vemos que
_ _
f (m, n) d (n) d (m) = 1
por lo que f / L
1
.
_
NN
| f | d ( ) =
m,n=1
| f (m, n)| =
Ejercicio 3.5.2 Probar que un producto de una Msimple s : X R, por una Nsimple r : Y R
es (MN)-simple. Probar tambin que si f : X R es Mmedible, g : Y R, es Nmedible, y
h : RR R continua la funcin H(x, y) = h ( f (x) , g (y)) es (MN)-medible.
Solucin. Tenemos los espacios de medida (X, M, ) , (Y, N, ) y las funciones f : X R, M
medible, g : Y R, Nmedible y la funcin h : RR R continua. Consideramos la funcin
H(x, y) = h ( f (x) , g (y)) queremos probar que es (MN)-medible.
Para ello empezamos probando que el producto de funciones simples es simple i.e. si dadas s : X
R, y r : Y R (M, Nsimples respectivamente) entonces s (x) r (y) es (MN)-simple.
Denimos:
s (x) =
n
j=1
c
j
A
j
(x), c
j
R, A
j
M,
r(y) =
m
j=1
d
j
B
j
(y), d
j
R, B
j
N,
entonces
s (x) r (y) =
n
j=1
m
i=1
c
j
d
i
A
j
(x)
B
i
(y) =
n
j=1
m
i=1
c
j
d
i
A
j
B
i
(x, y),
que es simple, ya que c
j
d
i
R y
A
j
(x)
B
i
(y) =
A
j
B
i
(x, y)
Sea ahora h : RR R
h (s (x) , r (y)) =
n
j=1
m
i=1
h
_
c
j
, d
i
_
A
j
B
i
(x, y)
Por ltimo. teenmos que f : X R,Mmedible, y g : Y R, Nmedible i.e. existen (respectiva-
mente) {s
l
} y {r
l
} de funciones simples tales que
f (x) = lm
l
s
l
(x), g(y) = lm
l
r
l
(y)
al ser h continua, entonces
H(x, y) = h ( f (x) , g (y)) = lm
l
(s
l
(x), r
l
(y))
por lo tanto (MN)-medible. De esta forma vemos que H es lmite puntual de funciones simples y
por lo tanto es medible.
Ejercicio 3.5.3 Sea f : X R una funcin Mmedible, f 0 y sea
A
f
= {(x, y) X R : 0 y f (x)} .
1. Probar que A
f
MB (donde B es la lgebra de Borel).
2. Dada una medida en (X, M) nita probar que
_
X
f d coincide con la medida producto = dy
del conjunto A
f
.
3.5. EJERCICIOS. 63
Solucin. Queremos ver la relacin que hay entre la integral y la medida del grafo de una funcin.
medida de A
f
=
_
b
a
f dx.
En general dado (X, M, ) y f : X R una funcin Mmedible, f 0,
A
f
= {(x, y) X R : 0 y f (x)}
entonces
d dx
_
A
f
_
=
_
X
f d
donde A
f
X R donde la medida es (d dx) .
Queremos probar que A
f
es MB medible y que d dx
_
A
f
_
=
_
X
f d.
Empezamos probndolo para fuciones simples y luego extendemos a funciones generales i.e.:
Sea
s (x) =
m
j=1
c
j
A
j
(x), c
j
R
+
, A
j
M,
simple y positiva y tomamos los A
j
disjuntos y sea
A
s
= {(x, y) X R : 0 y s (x)}
por lo tanto
A
s
=
m
_
j=1
A
j
_
0, c
j
_
MB
adems
d dx
_
A
f
_
=
m
j=1
c
j
_
A
j
_
=
_
X
sd.
Para una funcin general vemos que existe una sucesin de funciones simples creciente {s
l
} s
i
s
i+1
y convergente a f i.e. lm
l
s
l
= f (x). Adems
A
f
=
_
j=1
A
s
j
unin creciente por lo que A
l
MB y adems por el TCM tenemos que
d dx
_
A
f
_
TCM
= lm
l
d dx (A
s
l
)
simples
= lm
l
_
X
s
l
d
TCM
=
_
X
f d.
Ejercicio 3.5.4 Si damos a X = [0, 1] [0, 1] R
2
la medida de rea, dx = dx
1
dx
2
, si (x) = x
1
+ x
2
,
= |x
1
x
2
| dar expresiones para las medidas dx
, dx
inducidas en R.
Solucin. En este caso vemos que X = [0, 1] [0, 1] R
2
, y : X R tal que (x) = x
1
+ x
2
donde la medida de Lebesgue en [0, 1] [0, 1] viene dada por dx
1
dx
2
. Queremos calcular la medida
inducida por en R (de hecho en [0, 2]).
Recordamos que si A B (Borel)
m
(A) = m
_
1
(A)
_
podemos suponer que A es un intervalo A = (a, b], 0 a < b < 2. Buscamos
1
(A = (a, b]) = {(x
1
, x
2
) : a < x
1
+ x
2
b}
curvas de nivel de , x
1
+ x
2
= const. Vemos tres casos:
1. 0 a < b 1.
m
(A) =
b
2
2

a
2
2
.
2. 0 a < 1 < b < 2.
m
(A) = 1
a
2
2

(2 b)
2
2
=
_
1
a
tdt +
_
b
1
(2 t) dt.
3. 1 a < b 2
m
(A) =
(2 a)
2
2

(2 b)
2
2
=
_
b
a
(2 t) dt.
Observamos que
dm
(t) = t
(0,1)
(t) dt + (2 t)
(1,2)
(t) dt,
y por lo tanto
dm
(t) = h(t)dt, h(t) =

_
t t (0, 1)
2 t t (1, 2)
Ejercicio 3.5.5 Sea X = R
2
\ {(0, 0)} y dm = dxdy la medida de Lebesgue en X. Denimos
: X R
: (x, y) ln(x
2
+ y
2
)
y sea m
la medida inducida por y m en R.

1. Calcular el valor de m
([0, 1])
2. Demostrar que m
tiene la forma dm
(y) = W(y)dy y encontrar W(y) explcitamente.

3.5. EJERCICIOS. 65
Solucin. Por denicin
m
([0, 1]) = m
_
1
([0, 1])
_
.
Ahora bien:
1
([0, 1]) = {(x, y) : (x, y) [0, 1]} =
_
(x, y) : 0 ln
_
x
2
+ y
2
_
1
_
=
_
(x, y) : 1 < x
2
+ y
2
e
_
,
se trata por lo tanto del anillo con radio interior 1 y exterior
e, as que
m
([0, 1]) = m
_
1
([0, 1])
_
=
_
R
2
r
2
_
= e = (e 1) .
Con respecto al segundo apartado
_
R
f (y)dm
(y) =
_ _
X
f
_
ln(x
2
+ y
2
)
_
dxdy
cv
=
_
2
0
_

0
f
_
lnr
2
_
rdrd =
= 2
_

0
f
_
lnr
2
_
rdr =
y=lnr
2
2
_
R
f (y) e
y/2
1
2
e
y/2
dy =
_
R
f (y) e
y
dy,
donde
_
r = e
y/2
, dr =
1
2
e
y/2
dy
_
y por lo tanto
dm
(y) = W(y)dy = e
y
dy,
Aplicaciones del teorema de Fubini
Ejercicio 3.5.6 Sea
f (x, y) =
_
x
2
y
2
(x
2
+y
2
)
2
(x, y) = (0, 0)
0 (x, y) = (0, 0)
,
comprobar que
4
=
_
1
0
_
1
0
f dydx =
_
1
0
_
1
0
f dxdy =
4
,
Qu hiptesis no se verica en el teorema de Fubini?.
Solucin. Vemos que
_
_
_
x
2
y
2
(x
2
+ y
2
)
2
dx
_
dy =
_

x
x
2
+ y
2
dy = arctan
y
x
_
_
_
x
2
y
2
(x
2
+ y
2
)
2
dy
_
dx =
_
y
x
2
+ y
2
dx = arctan
x
y
de esta forma tenemos que
_
1
0
_
1
0
f dydx =

4
_
1
0
_
1
0
f dxdy =
4
para llegar a este resultado hemos tenido en cuenta el CV antes expuesto. f / L
1
(dx dy).
Ejercicio 3.5.7 Sea
f (x, y) =
_
xy
(x
2
+y
2
)
2
x [1, 1] , y [1, 1]
0 (x, y) = (0, 0)
,
comprobar que
_
1
1
_
1
1
f dydx =
_
1
1
_
1
1
f dxdy,
pero sin embargo f no es integrable en [1, 1] [1, 1] . Qu hiptesis no se verica en el teorema de Fubini?.
Solucin. Sabemos por el teorema de Fubini que si
_ _
f dxdy =
_ _
f dydx
entonces f / L
1
(dx dy). Pero este teorema no dice sii, por lo que puede ocurrir que
_ _
f dxdy =
_ _
f dydx
y sin embargo f no sea integrable i.e. f / L
1
(dx dy). Este ejercicio va de eso precisamente.
Sea
f =
xy
(x
2
+ y
2
)
2
, x [1, 1] , y [1, 1]
x
2
+ y
2
= 0, sabemos que f es medible ya que es continua salvo en un punto (medida cero). Veremos
que
_ _
f dxdy = 0,
tal y como se observa, f es integrable al ser cociente de dos polinomios distintos de cero, adems es
una funcin impar en un dominio simtrico i.e. f
y
(x) = f
y
(x) y por lo tanto la integral es cero. De
forma anloga
_ _
f dydx = 0,
ya que f
x
(y) = f
x
(y). Ademas podemos ver que:
_
1
1
_
1
1
xy
(x
2
+ y
2
)
2
dxdy =
_
1
1
_
y
2 (x
2
+ y
2
)
2
_
1
1
dy =
_
1
1
0dy = 0,
_
1
1
_
1
1
xy
(x
2
+ y
2
)
2
dydx =
_
1
1
_
x
2 (x
2
+ y
2
)
2
_
1
1
dy =
_
1
1
0dx = 0.
Sin embargo f / L
1
(dx dy) i.e.
_
1
1
_
1
1
| f | dydx =
para verlo haremos un c.v. de tal forma que
_
1
1
_
1
1
| f | dydx
_
1
0
_
2
0
|sin cos |
r
ddr = 2
_
1
0
dr
r
=
3.5. EJERCICIOS. 67
donde (dydx = rddr)o de forma anloga, por simetra
_
1
1
_
1
1
| f | dydx 4
_
1
0
_
1
0
f dydx = 4
_
1
0
_
1
0
x
2
x
4
dxdy = 4
_
1
0
_
1
0
1
x
2
dxdy =
Ejercicio 3.5.8 Integrando f = e
y
sin2xy con respecto a x, y calcular que
_

0
e
y
sin
2
y
y
dy =
1
4
log5
Sugerencia: Comprobar en primer lugar que f (x, y) = e
y
sin (2xy) , es integrable en [0, 1] [0, ] . Luego
aplicar Fubini comprobando que
_
1
0
f dx =
e
y
y
sin
2
y,
_

0
f dy =
2x
1 + 4x
2
Solucin. Vemos que
f = e
y
sin (2xy)
_

0
_
1
0
f dxdy =
_

0
_
1
0
e
y
sin (2xy) dxdy =
_

0
e
y
y
sin
2
ydy =??
observar que
_
sin (2xy) dx =
1
2y
cos 2xy, sin
2
y =
1
2
(1 cos 2y)
mientras que por otro lado
_
1
0
_

0
f dydx =
_
1
0
_

0
e
y
sin (2xy) dydx =
_
1
0
2x
4x
2
+ 1
dx =
_
1
4
ln
_
1 + 4x
2
_
_
1
0
=
1
4
log5
donde
_

0
e
y
sin (2xy) dy =
_
e
y
4x
2
+ 1
(2x cos (2xy) + sin (2xy))
_
0
=
2x
4x
2
+ 1
lo vemos de forma algo ms detallada
_
e
y
sin (2xy) dy =
1
2x
e
y
cos (2xy)
1
2x
_
1
2x
e
y
sin (2xy) +
1
2x
_
e
y
sin (2xy) dy
_
=
=
1
2x
e
y
cos (2xy)
1
4x
2
e
y
sin (2xy)
1
4x
2
_
e
y
sin (2xy) dy,
viendo as que
_
1 +
1
4x
2
_
_
e
y
sin (2xy) dy =
1
2x
e
y
cos (2xy)
1
4x
2
e
y
sin (2xy) ,
llegando al resultado anteriormente expuesto, por lo tanto conclumos que
_

0
e
y
sin
2
y
y
dy =
1
4
log5,
slo resta probar que se puede aplicar el teorema de Fubini, para ello debemos comprobar que f
L
1
(dx dy) i.e.
_ _
| f | dydx =
_

0
_
1
0
e
y
sin (2xy)
dxdy
_

0
_
1
0
e
y
dxdy
_

0
e
y
dy <
esta aclaracin es esencial, pues sin ella no podramos asegurar el resultado.
Ejercicio 3.5.9 Sea d la medida de Lebesgue sobre los Borel de [0, 1] y sea d la medida de contar en P(R).
Denimos G : [0, 1] N R, por G (x, n) =
_
x
2
_
n
.
1. Demostrar que para 0 < a 1 se tiene G
1
((, a)) =
n
_
[0, 2a
1/n
) {n}
_
,
2. Deducir que G es d d-medible,
3. Usar Fubini para probar la identidad
n=1
1
(n + 1) 2
n
= 2 ln2 1.
Solucin. Vemos que:
1. Con respecto al primer apartado tenemos que:
(x, n) G
1
((, a)) G(x, n) =
_
x
2
_
n
< a x < 2a
1/n
(x, n) [0, 2a
1/n
) {n} .
2. Con respecto al segundo vemos que si 0 < a 1, entonces G
1
((, a)) es la unin numerable
de rectngulos medibles de [0, 1] N.
Si a 0, G
1
((, a)) = ,
Si a > 1, entonces G
1
((, a)) = [0, 1] N
En todos los casos G
1
((, a)) es medible y por lo tanto la funcin G es medible.
3. G es positiva y medible luego se puede usar Fubini, obetindose
_
[0,1]N
Gd d =
_
N
_
[0,1]
_
x
2
_
n
dxd(n) =
_
1
0
_
N
_
x
2
_
n
d(n)dx,
donde
_
N
_
[0,1]
_
x
2
_
n
dxd(n) =
_
N
1
n + 1
_
1
2
_
n
d(n) =
n=1
1
(n + 1) 2
n
,
y
_
1
0
_
N
_
x
2
_
n
d(n)dx =
_
1
0
n=1
_
x
2
_
n
dx =
_
1
0
x/2
1 x/2
dx =
_
1
0
x
2 x
dx = 2 ln2 1,
donde
n=1
_
x
2
_
n
=
x/2
1 x/2
,
3.5. EJERCICIOS. 69
al tratarse de una geomtrica, de esta forma vemos que
n=1
1
(n + 1) 2
n
= 2 ln2 1,
Ejercicio 3.5.10 Denimos la funcin f : [0, 1] [0, 1] R
f (x, y) =
_
1 x Q [0, 1] , y [0, 1]
0 x [0, 1] \ Q, y [0, 1]
,
1. Probar que f es medible con respecto a la medida de Lebesgue en R
2
, dm = dx dy,
2. Calcular la integral
_ _
[0,1]
2
f (x, y) dxdy.
Solucin. Sea A = Q [0, 1] . Entonces se ve que
f (x, y) = 1 (x, y) A [0, 1] ,
por lo tanto
f =
A[0,1]
,
que es medible ya que A [0, 1] pertenece a la lgebra producto (es el producto cartesiano de dos
conjuntos medibles Lebesgue en R)
Con respecto al segundo apartado vemos que
_ _
[0,1]
2
f (x, y) dxdy = m(A [0, 1]) = m
1
(A) m
1
([0, 1]) = m
1
(A) = 0,
donde m
1
denota la medida de Lebesgue de R y donde m
1
(A) = 0, al ser A numerable.
Ejercicio 3.5.11 Denimos la funcin f : [0, 1] [0, 1] R
f (x, y) =
_
1 (x, y) [0, 1] [0, 1] , x y Q
0 en caso contrario
,
1. Probar que f es medible con respecto a la medida de Lebesgue en R
2
, dm = dx dy,
2. Calcular la integral
_ _
[0,1]
2
f (x, y) dxdy.
Solucin. Sea {r
k
}
k
una enumeracin de los nmeros racionales de [0, 1] y sean
E
k
= {(x, y) [0, 1] [0, 1] : x y = r
k
} , k = 1, 2, 3, ...
si
E =
_
k
E
k
,
unin disjunta, entonces
f =
E
,
como se puede comprobar.
Denimos ahora
G : [0, 1] [0, 1] R
: (x, y) x y,
donde G es continua y por lo tanto E
k
= G
1
({r
k
}) es un cerrado. Deducimos por lo tanto que E
k
es
medible Borel y por consiguiente tambin lo es E llegando de esta forma a demostrar que f es medible.
Con respecto al segundo apartado vemos que si m(E
k
) = 0, entonces la integral pedida ser nula. Para
probarlo, vemos que por Fubini (podemos usarlo al tratarse de una funcin positiva y medible) que
m(E
k
) =
_
1
0
_
_
1
0
E
k
dy
_
dx =
_
1
0
m
1
((E
k
)
x
) dx,
donde m
1
representa la medida de Lebesgue de R.
Pero si r
k
= 0,
(E
k
)
x
= {y [0, 1] : (x, y) E
k
} = {r
k
/x} ,
consta de un nico punto. Luego m
1
((E
k
)
x
) = 0.
El caso r
k
= 0, es inmediato ya que
E
k
= [0, 1] {0} {0} [0, 1] ,
que tambin tiene medida cero por la denicin de medida producto.
Ejercicio 3.5.12 Consideramos el espacio de medida ([0, 1] [0, 1] , L, m
2
) , donde L representa la clase d econ-
juntos edibles Lebesgue y m
2
la medida de Lebesgue. Dado E L denotamos
E
x
= {y [0, 1] : (x, y) E} , E
y
= {x [0, 1] : (x, y) E} .
Sea por otro lado m
1
la medida de Lebesgue en [0, 1] . Demostrar que si E L cumple m
1
(E
x
) 1/2, c.t.p. x,
entonces se tiene tambin
m
1
({y [0, 1] : m
1
(E
y
) = 1}) 1/2.
Solucin. El teorema de Fubini aplicado a la funcin medible y positiva
f (x, y) =
E
(x, y) ,
3.5. EJERCICIOS. 71
nos da
m
2
(E) =
_
1
0
m
1
(E
x
) dx =
_
1
0
m
1
(E
y
) dy.
De la hiptesis se deduce que
m
2
(E) =
_
1
0
m
1
(E
x
) dx
_
1
0
1
2
dx =
1
2
.
Sea por otro lado
A = {y [0, 1] : m
1
(E
y
) = 1} ,
entonces
1
2

_
1
0
m
1
(E
y
) dy
_
A
m
1
(E
y
) dy =
_
A
1dy = m
1
(A) ,
por lo tanto
m
1
(A)
1
2
,
tal y como queramos probar.
Captulo 4
Medidas y derivadas.
4.1. Introduccin
A modo de motivacin recordamos la relacin entre derivacin e integracin. Sabemos por la integral
de Riemann que:
F(x) =
_
x
a
f (u) du, F C
i.e. es una fucin continua y por el TFC sabemos que
F
(x
0
) = f (x
0
)
y que si F C
1
, F : [a, b] R, entonces:
F(a) +
_
x
a
F
(u) du = F(x).
Teorema 4.1.1 Sean (X, M, ) un espacio de medida y f : X [a, b] R. Supongamos que f
t
L
1
(d),
t, denimos
F(t) =
_
X
f
t
d (x)
1. Si f
x
es continua en t
0
, x y g L
1
(d) :

f
t
g, t, entonces F es continua en t
0
.
2. Si
t
f , t y g L
1
(d) : |
t
f | g, t, entonces existe F
(t) :
F
(t) =
t
_
_
X
f (x, t)d
_
=
_
X
t
f d.
Idea de la demostracin. La idea consiste en tomar una sucesin {t
n
} t
0
. Denir g
n
(x) = f
t
n
lm
n
g
n
(x) = lm
n
f (x, t
n
) = f (x, t
0
)
las funciones g
n
(x) estn acotadas i.e. |g
n
(x)| g L
1
(d), entonces por el teorema TCD tenemos
que
lm
n
F (t
n
) = lm
n
_
X
g
n
d (x) =
_
X
f (x, t
0
)d (x) = F(t
0
)
por lo que F es continua en t
0
, etc....
73
74 CAPTULO 4. MEDIDAS Y DERIVADAS.
4.2. Diferenciacin de Lebesgue
Denicin 4.2.1 Dada f L
1
(d), se dene el conjunto de puntos de Lebesgue de f , y lo denotamos por L
f
como:
L
f
=
_
x R : lm
h0
1
2h
_
x
0
+h
x
0
h
| f (x) f (x
0
)| d = 0
_
.
Denicin 4.2.2 Operador de Hardy-Littlewood.
Mf (x) = sup
h>0
1
2h
_
x+h
xh
| f (u)| du
Desigualdad: Si f L
1
y > 0, entonces:
|{x R : Mf (x) > }|
2
_
| f | dx.
Lema 4.2.1 Aproximacin por funciones continuas. Si f L
1
(R, dx) dado > 0, g L
1
(R, dx)
continua tal que
_
R
| f g| dx <
Tanto la denicin del operador de Hardy-Littlewood como su desigualdad y el anterior lema son
necesarios en la demostracin del siguiente teorema.
Teorema 4.2.1 Teorema de diferenciacin. Si f L
1
(R, dx) denimos
F(x) =
_
x
a
f (u) du,
entonces F es diferenciable en c.t.p. con respecto a la medida de Lebesgue [c.t.p. (dx)] y adems
F
(x) = f (x), c.t.p. (dx) .

Comentarios sobre este teorema.
Denicin 4.2.3 Se dice que una funcin medible, f (x) es localmente integrable si para todo conjunto aco-
tado D, la restriccin de f a D, i.e. f
D
es integrable. Se escribe f L
1
loc
(R, dx) .
Observacin 4.2.1 Ejemplos de este tipo de funciones son f = x
2
, f = e
x
. El teorema de diferenciacin es
vlido para este tipo de funciones.
Teorema 4.2.2 Diferenciacin en R
n
. Si f L
1
(R, dx) , entonces
lm
r0
1
|B
r
(x)|
_
B
r
f (y)dy = f (x), c.t.p.
donde B
r
(x) = {y R
n
: |x y| < r} .
4.3. TEOREMA DE RADON-NIKODYM-LEBESGUE. 75
Teorema 4.2.3 Sea F : [a, b] R, derivable x [a, b] . Si F
es integrable Riemann, entonces:

F(x) = F(a) +
_
x
a
F
(u) du.
Denicin 4.2.4 Se dice que F es absolutamente continua, escribimos F AC, si > 0, > 0, tal que
toda coleccin de intervalos disjuntos {I
i
}
i1
, I
i
= (a
i
, b
i
) con |I
i
| < , entonces:
i1
|F (b
i
) F (a
i
)| < .
Se dice que F es localmente absolutamente continua, escribimos F AC
loc
, si F
D
AC, D conjunto
medible acotado.
Si f L
1
loc
(R, dx) y F(x) =
_
x
a
f (u) du entonces F AC
loc
. De esta forma tenemos el segundo teorema
fundamental del clculo para la teora de Lebesgue.
Teorema 4.2.4 Son equivalentes:
1. F AC
loc
,
2. f L
1
loc
(R) tal que
F(x) = F(a) +
_
x
a
f (u) du, x, a R.
3. F tiene derivada en c.t.p. F
L
1
loc
(R) y
F(x) = F(a) +
_
x
a
F
(u) du, x, a R.
4.3. Teorema de Radon-Nikodym-Lebesgue.
Denicin 4.3.1 Dadas dos medidas y , denidas sobre la misma lgebra Mdecimos que es absolu-
tamente continua con respeto a (escribimos ) si para todo E M, (E) = 0, entonces (E) = 0.
Proposicin 4.3.1 Si dadas dos medidas y , denidas sobre la misma lgebra M tales que y
f inita entonces > 0, > 0 : si E My (E) < , entonces (E) < .
Tenemos as una primera versin del teorema de RN.
Teorema 4.3.1 Si y son dos medidas denidas en M tal que es f inita y f inita. Si
entonces existe una funcin f L
1
() tal que
d = f d
i.e.
(E) =
_
E
f d
E M.
Sea f L
1
(d) si denimos
(A) =
_
A
f d
entonces:
1. () = 0,
2. si {A
i
} son medibles disjuntos, entonces:
(A
i
) =
_
A
f d =
i
_
A
i
f d =
i
(A
i
)
pero no es medida a menos que f 0.
Denicin 4.3.2 Dada una lgebra M, decimos que : M [, ] es una medida con signo si
verica:
1. () = 0,
2. (A) < , (A) > , A M.
3. (A
i
) =
i
(A
i
) , {A
i
} son medibles disjuntos.
Denicin 4.3.3 Sea una medida con signo en M. Se die que A Mes un conjunto:
1. Positivo si (A E) 0, E M.
2. nulo si (A E) = 0, E M.
3. negativo si (A E) 0, E M.
Supongamos que m es la medida de Lebesgue y sea
(A) =
_
f dm,
otra medida, con f 0 etc.... Sea P = {x : f (x) 0} , entonces (P) 0 y sea N = {x : f (x) < 0} ,
entonces (P) < 0, vericndose que A = P N es una descomposin de A.
En realidad existe C = {x : f (x) = 0} , tal que (C) = 0, el conjunto nulo tal que A = P N C, esto
es precsamente lo que nos dice el teorema de Hahn.
El teorema de Jordan nos da una descomposin de =
+
tal que
+
(A) =
_
f
+
dm, (A
) =
_
f
dm.
Teorema 4.3.2 Descomposicin de Hahn y Jordan
1. Hahn. Si es una medida con signo en M P(X), entonces exsiten P, N M disjuntos con X =
P N tales que P es positivo para y N negativo para .
4.3. TEOREMA DE RADON-NIKODYM-LEBESGUE. 77
2. Jordan. Si denimos
+
(A) = (A P) ,
(A) = (A N) ,
entonces
+
y
son medidas positivas y =

+
.
Denicin 4.3.4
+
y
se denominan la variacin positiva y negativa de . Si denimos || =

+
+
se
denomina la variacin total de .
Sean y dos medidas, entonces diremos que son ortogonales o mtuamente singulares si existen
E, F M, tales que X = E F con (E) = (F) = 0, y escribimos entonces .
Por ejemplo, si es Lebesgue en
_
0,
1
2
, i.e.
(A) = m
_
A
_
0,
1
2
__
y es Lebesgue en
_
1
2
, 1
, i.e.
(A) = m
_
A
_
1
2
, 1
__
entonces , donde E =
_
0,
1
2
, y F =
_
1
2
, 1
. Este ejemplo funciona bien ya que m

_
1
2
_
= 0. Veamos
ahora la denicin formal.
Denicin 4.3.5 Dos medidas, y , se dicen mtuamente ortogonales ()si existe una descomposicin
X = E F de conjuntos disjuntos tales que E es nulo para y F es nulo para . Diremos que vive en E y en
F.
Denicin 4.3.6 Dada medida positiva y con signo se dice que es absolutamente continua con respecto
a ( ) si dado A Mcon (A) = 0 se tiene (A) = 0.
Teorema 4.3.3 Sea una medida f inita y una medida con signo nita, ambas denidas sobre una
lgebra M P(X). Entonces
1. se puede descomponer como
= + ,
tales que y son medidas nitas con signo con
y .
2. Adems f L
1
(d) tal que
d = f
0
d,
de tal forma que
d = d + d = d + f
0
d.
Decimos que f
0
es la derivada de RN de respecto a
f
0
=
d
d
.
4.4. Ejercicios
Ejercicio 4.4.1 Sea m la medida de Lebesgue en R. Para E B(R) denimos (E) =
_
E
xe
x
2
dx. Hallar los
conjuntos positivos, negativos y nulos para la medida .
Solucin. Vemos que dm = dx, y que hemos denido
(E) =
_
E
xe
x
2
dx,
se escribe
d = xe
x
2
dx, d = f dx, f = xe
x
2
,
y vemos que es una medida ya que f L
1
(dx) (recordamos de teora que si es una medida y
f L
1
(d) entonces d = f d es una medida con signo). Adems vemos que es una medida con
signo pues no siempre es positiva ya que
f (x) = xe
x
2
= f = f
+
f
,
donde
f
+
=
_
xe
x
2
x > 0
0 x 0
, f
=
_
xe
x
2
x < 0
0 x 0
,
de esta forma
=
+
,
donde
d
+
= f
+
dx, d
= f
dx,
R = (, 0)
[0, )
+
,
entonces
(R) =
_
R
xe
x
2
dx = 0,
ya que la funcin es impar, mientras que
|| (R) =
+
(R) +
(R) =
_
R
xe
x
2
dx = 2
_

0
xe
x
2
dx = 1,
Ejercicio 4.4.2 Comprobar que un conjunto es nulo sii es || nulo.
Comprobar que sii || .
Comprobar que sii
+
y
.
Solucin. Mlgebra, A Mes nulo B A, B Mse tiene que (B) = 0.
Queremos ver que nulo sii es || nulo, consideramos la descomposicin de Hahm-Jordan
=
+
, || =
+
+
4.4. EJERCICIOS 79
sabemos que
+
(P) =
(N) = 0.
= Sea B A medible, entonces
B P A, = (B P) = 0
B N A, = (B N) = 0
por ser A nulo. Entonces
+
(B) = (B P) = 0,
(B) = (B N) = 0,
por lo tanto
|| (B) =
+
(B) +
(B) = 0
as que A es || nulo.
=A es || nulo entonces || (B) = 0, donde B A, B Mesto implica que
|| (B) = 0 =
+
(B) +
(B) = 0
entonces
(B) =
+
(B) +
(B) = 0.
Con respecto al segundo de los apartados queremos ver que sii || .
= =|| . Si descomponemos el espacio de manera que si E Mentonces F = E
c
tales que F sea nulo y E nulo. Por el apartado anterior F es || nulo y E nulo entonces
|| .
La implicacin en el otro sentido es muy similar. .
Ejercicio 4.4.3 Sean {a
n
} R, n N. Para E N denimos (E) =
nE
a
n
. Qu condiciones debe
cumplir a
n
para que sea una medida con signo?. Demostrar que si a
n
= 0, n y es una medida con signo la
descomposicin de Hahn para es nica.
Solucin. Sea {a
n
} R, n N. Para E Ndenimos (E) =
nE
a
n
. Supongamos que
a
n
=
(1)
n
n
por lo tanto
([0, 2]) =

nE
a
n
=
2
n=1
(1)
n
n
= 1 +
1
2
=
1
2
,
(R) =

nE
a
n
=
n=1
(1)
n
n
= log2,
mientras que si tomamos
(n : n par) =
n=1
(1)
2n
2n
= ,
(n : n impar) =
n=1
1
2n 1
=
As que no puede ser medida con signo ya tiene medida para un conjunto y para otro.
En general es una medida con signo si
a
n
>0
a
n
< o

a
n
<0
a
n
>
y tomamos
+
(A) =

a
n
>0
a
n
y
(A) =

a
n
<0
a
n
Ejercicio 4.4.4 Sea X = N, M= P(N), la medida de contar en N, (E) =
nE
1
2
n
. Comprobar que
, sin embargo no se verica la condicin de que dado > 0, > 0 : (E) < = (E) < , E M.
Solucin. Vemos que X = N, M= P(N), la medida de contar en N, y
(E) =

nE
1
2
n
por ejemplo,
(N) =

nE
1
2
n
= 1
luego es una probabilidad.
Queremos ver que , por lo tanto
(E) = 0 = E = = () = 0
sin embargo no es verdad que > 0, > 0 : (E) < = (E) < . A pesar de que es nita, no
es nita, de hecho , N :
({N, N + 1, ....}) =
nN
1
2
n
=
1
2
N+1
<
y sin embargo
({N, N + 1, ....}) =
Ejercicio 4.4.5 Sea X = [0, 1] , M= B
[0,1]
, m la medida de Lebesgue en My la medida de contar en M.
4.4. EJERCICIOS 81
(a) m pero dm = f d para toda f .
(b) no tiene descomposicin de Lebesgue respecto a m.
Solucin. Tenemos la siguiente situacin:
X = [0, 1] , M= B
[0,1]
(i.e. Borel de [0, 1])
m = medida de Lebegue
la medida de contar en [0, 1]
Vemos que los conjuntos de P(X) son medibles. Luego la lgebra natural de es P
[0,1]
y la de m es
la lgebra de Lebesgue L la cual
B
[0,1]
L P
[0,1]
,
en prinipio no podramos comparar m y si las consideramos en sus lgebra naturales por lo que
hemos considerado B
[0,1]
para ambas.
m . Si A B
[0,1]
y (A) = 0, = A = por lo tanto m() = m(A) = 0.
Sin embargo la derivada de Radon-Nikodym (no existe)
f =
dm
d
, i.e. dm = f d
para alguna f , pero esto no es cierto sea quien sea f , ya que no es verdad que
m(A) =
_
A
f d
porque las medida de contar tiene en cuenta la medida de los puntos mientras que para la de Lebesgue
los puntos tienen medida cero. Sea f = 0 entonces existe x
0
[0, 1] tal que f (x
0
) = 0. Sea A = {x
0
}
m(A) = m({x
0
}) = 0
pero
_
A
f d =
_
{x
0
}
f d = f (x
0
) = 0
pero entoces qu falla?. debe ser nita para que se cumplan las hiptesis del teorema, para ello
[0, 1] =
i
X
i
, (X
i
) <
donde X
i
es nita,
i
X
i
es nita o numerable pero [0, 1] no es numerable, por lo tanto [0, 1] =
i
X
i
viendo as que no es nita.
Ejercicio 4.4.6 Sea (X, M, ) un espacio de medida f inito. Sea N una subalgebra de My la restriccin
de a N. Si f L
1
() demostrar que existe g N-medible, g L
1
() tal que
_
E
f d =
_
E
gd para todo
E N, adems g es nica mdulo alteraciones en conjuntos nulos.
OBS: A la funcin g en probabilidad se la denomina esperaza condicionada de f con respecto a N, i.e. E ( f | N).
Solucin. Que f sea Mmedible y g Nmedible quiere decir que
f ((a, b]) M, g ((a, b]) N,
con lo que a pesar de que y son iguales en N no podemos decir que los subconjuntos B resp. y
resp. sean iguales (sean los mismos) y que por lo tanto f = g.
Consideramos f 0 (en caso contrario tomamos f
+
, f
por separado y encontramos g

+
, g
). Supong-
amos
A = {x : f (x) 0} N
B N
_
B
f d = 0, = (A B) = 0.
Sea
A
la restriccin de a A. :
A
(B) = (A B) . Sea
A
la restriccin de
A
a N,
A
= en A.
Entonces
(A) f d
A
ya que
_
B
f d
A
= 0
entonces
A
(B) =
A
(B) = 0, B N
esto implica que existe g L
1
(d
A
) tal que
_
B
f d =
_
B
f d
A
=
_
B
gd
A
=
_
B
gd
Ejercicio 4.4.7 Probar que si una medida en R es 0 en el complemento B del conjunto numerable
_
x
j
_
,
entonces hay constantes c
j
tales que (E) =
j
c
j
E
_
x
j
_
, i.e. =
j
c
j
x
j
(donde
a
representa la delta de
Dirac en el punto x = a).
Solucin. Tomamos A =
_
x
j
_
j=1
todos ellos disjuntos y sea B = A
c
con B nulo. Entonces
(E) =
j
c
j
E
_
x
j
_
=
j
c
j
x
j
(E)
entonces si tomamos c
j
=
__
x
j
__
con j = 1, 2, ... vemos que E R
(E) = (E A) =
_
j
E
_
x
j
__
=
_
j
_
x
j
__
=
j
c
j
=
j
c
j
E
_
x
j
_
Ejercicio 4.4.8 Sea una medida positiva y una medida con signo denidas sobre la misma lgebra.
Probar que si tiene a la vez y , entonces 0.
4.4. EJERCICIOS 83
Solucin. Tenemos 0 y una medida con signo tales que y entonces 0 i.e. que
si una medida vive en un subespacio y en su ortogonal entonces tiene que ser la nedida nula.
Descomponemos el espacio de tal forma que tenemos la siguiente situacin F = E
c
tal que E es nulo
y F nulo, entonces si consideramos B F, entonces (B) = 0 = (B) = 0 ya que . Por lo
tanto
C M, (C) = (C E) + (C F) = 0 + 0 = 0
Ejercicio 4.4.9 Sea
f (a) =
_

0
e
at
sin t
t
dt,
1. Probar que
lm
a
f (a) = 0.
2. Calcular f
(a).
Solucin. Para ello utilizaremos el teorema de convergencia dominada (no podemos hacer uso del
teorema de convergencia montona ya que las funciones no son positivas)
_

0
lm
a
e
at
sin t
t
dt =
_

0
0dt = 0.
Vemos que
g
a
(t) = e
at
sin t
t

a
0,
|g
a
(t)| g(t), integrable en (0, )
cunado a , podemos suponer que a > 1 y que por lo tanto
|g
a
(t)| =
e
at
sin t
t
e
t
i.e. podemos tomar como funcin dominante g(t) = e
t
. donde como sabemos
_
0
e
t
dt = 1.
Con respecto al segundo apartado
f
(a) =
d
da
_
_

0
e
at
sin t
t
dt
_
?
=
_

0
a
_
e
at
sin t
t
_
dt,
nos ponemos a hecharnos unas cuentecillas i.e.
a
_
e
at
sin t
t
_
= te
at
sin t
t
= e
at
sin t,
por lo tanto
_

0
e
at
sin tdt =
_
e
at
a
2
+ 1
(cos t + a sin t)
_
0
=
1
a
2
+ 1
,
se integra por partes varias veces y de forma tediosa se llega a este pesado resultado. Vemoslo con un
poco de detalle:
_
e
at
sin tdt =
1
a
e
at
sin t
1
a
_
e
at
cos tdt =
1
a
e
at
sin t
1
a
_
1
a
e
at
cos t
1
a
_
e
at
sin tdt
_
,
donde
_
e
at
cos tdt =
1
a
e
at
cos t
1
a
_
e
at
sin tdt,
_
1 +
1
a
2
_
_
e
at
sin tdt =
1
a
e
at
sin t +
1
a
2
e
at
cos t,
as que simplicando llegamos
_
e
at
sin tdt =
1
a
2
+ 1
e
at
(cos t + a sin t) .
Por lo tanto
f
(a) =
1
a
2
+ 1
.
El problema est en justicar el paso bajo el signo de la integral la derivada parcial. Para ello se debe
justicar que
1. g
a
(t) es integrable para todo a,
2. Que existe

a
g
a
(t) = e
at
sin t,
3. y por ltimo que
a
g
a
(t)
g(t), a > 0
Pero para ver esto basta tomar > 0, entonces a >
a
g
a
(t)
e
at
sin t
e
t
que es integrable. Por lo tanto podemos usar el teoremita a > , > 0 =a > 0.
Observar que
f (a) = f (0) +
_
a
0
f
(u)du.
f (x, y) = log
_
x
2
+ y
2
_
,
4.4. EJERCICIOS 85
con y (0, 1) y x > 0. Probar que
(x) =
_
1
0
f (x, y)dy,
est bien denida, es continua, que
(x) =
_
1
0
x
f (x, y)dy,
y calcular explcitamente
(x).
Solucin. Vemos que f es integrable en y x > 0, y que |
x
f (x, y)| g, con g integrable,
y f
x
(y)
es continua y acotada x > 0. Adems
|
x
f (x, y)|
2x
x
2
+ y
2
2x
x
2
=
2
x
jamos un > 0 muy pequeo entonces x >
|
x
f (x, y)|
2
integrable en [0, 1] . Por lo tanto existe x >

(x) =
_
1
0
f (x, y)dy,
y de esta forma deducimos que tambin exsite x > 0.
(x) =
_
1
0
x
f (x, y)dy =
_
1
0
2x
x
2
+ y
2
dy =
2
x
_
1
0
1
1 +
_
y
x
_
2
dy
CV
=
= 2
_
1/x
0
1
1 + u
2
du = 2 arctan
_
1
x
_
donde el CV viene dado por
y
x
= u, dy = xdu
Ejercicio 4.4.11 Para x R, se dene
(x) =
_

0
e
y
2
cos xydy,
probar que
(x) =
1
2
x (x) ,
y que
(x) =
2
e
x
2
/4
.
Solucin. Sabemos que
_

e
y
2
dy =
, =
_

0
e
y
2
dy =
2
,
entonces si
(x) =
_

0
e
y
2
cos xydy,
tenemos que
(x) =
_

0
x
_
e
y
2
cos xy
_
dy,
justicado ya que f = e
y
2
cos xy es continua | f | e
y
2
integrable por lo tanto
|
x
f | =
ye
y
2
sin xy
ye
y
2
,
integrable para todo x.
As llegamos a que
(x) =
_

0
x
_
e
y
2
cos xy
_
dy,
y por lo tanto
(x) =
_

0
ye
y
2
sin xydy,
y queremos probar que
(x) =
1
2
x (x) , por lo tanto si integramos por partes otenemos el resultado.
Ahora queremos integrar la ODE
y
=
1
2
xy,
as que
= y = y
0
e
x
2
/4
,
pero si tenemos en cuenta que
y
0
=
_

0
e
y
2
dy =
2
,
entonces llegamos al resultado deseado
(x) =
2
e
x
2
/4
,
tal y como queramo hacer ver.
Ejercicio 4.4.12 Denimos la funcin (creciente y continua por la derecha etc...)
F(x) =
_
e
x
x < 0
2 + arctan x x 0
.
Sea dF la medida de LS asociada.
1. Calcular dF ((0, 1]) , dF((2, 0]), dF({0}) y dF(R).
4.4. EJERCICIOS 87
2. Demostrar que
dF = f (x)dx + d
0
,
para cierta f 0, siendo
0
la delta de Dirac en x = 0.
3. Es cierto que dF dx?.
Solucin. Con respecto al primer apartado vemos que
dF ((0, 1]) = F(1) F(0) = arctan1 =

4
,
dF((2, 0]) = F(0) F(2) = 2 e
2
,
dF({0}) = F(0) F(0
) = 2 e
0
= 1,
dF(R) = F () F () = 2 +

2
.
Con respecto al segundo apartado, sean
F
1
(x) =
_
e
x
x < 0
1 + arctan x x 0
, F
2
(x) =
_
0 x < 0
1 x 0
,
entonces F
1
y F
2
son crecientes, continuas por la derecha y se cumple
F = F
1
+ F
2
,
por lo tanto
dF = dF
1
+ dF
2
.
Por otro lado, F
2
es la funcin de Heavyside (ver segundo captulo) y se deduce que
dF
2
=
0
.
Adems, F
1
C
1
con
F
1
(x) =
_
e
x
x < 0
1
1+x
2
x 0
,
de donde se deduce que
dF
1
= F
1
(x) dx,
con lo que se tiene
dF = f (x)dx + d
0
,
con f (x) = F
1
(x) .
Por ltimo, con respecto al tercer apartado, vemos que dF no es absolutamente continua con respecto
a dx ya que si E = {0} , se tiene
dx(E) = 0,
mientras que
dF(E) = F(0) F(0
) = 2 e
0
= 1,
por lo tanto existe = 1, de forma que > 0 encontramos un conjunto medible E con dx(E) < pero
dF(E) .
Ejercicio 4.4.13 Sea (X, M, ) un espacio de medida y sea f L
1
(d) , f (x) 0. Recordamos que se puede
denir sobre Mla medida
f
como
f
(A) =
_
A
f (x) d (x) , A M,
i.e.
d
f
(x) = f (x)d (x) .
Probar que > 0, > 0 tal que A Mcon (A) < =
f
(A) < .
Cuando esto ocurre para dos medidas , decimos que es absolutamente continua con respecto a y se escribe
.
Solucin. Supongamos que la conclusin no fuera cierta. Entonces > 0, tal que n N, A
n
M
con (A
n
) < 1/2
n
pero
f
(A) > . Si F
n
=
_
k=n
A
k
, se tiene
(F
n
)
k=n
(A
k
) <
2
2
n
.
Como F
1
F
2
F
3
..... F
n
.... por el TCM (para conjuntos) decreciente
n=1
F
n
_
= lm
n
(F
n
) = 0,
y por lo tanto
f
_

n=1
F
n
_
=
_
F
n
f d = 0.
Sin embargo
f
_

n=1
F
n
_
= lm
n
f
(F
n
) lm
n
sup
f
(A
n
) ,
lo cual es una contradiccin.
Ejercicio 4.4.14 Denotanto por [x] la parte entera del nmero x, se dene la funcin
F (x) = m ax {0, x + [x]} ,
1. Comprobar que F es continua por la derecha.
2. Si dF es la medida de LS, calcular
dF((0, 5]), dF([4, 8]), y dF([3, 7)).
3. Probar que dF no es absolutamente continua con respecto a dx (la medida de Lebesgue).
4.4. EJERCICIOS 89
Solucin. Se tiene que
F(x) =
_
0 x < 0
x + n si n x < n + 1, n = 0, 1, 2, ...
luego F es continua salvo en los puntos n = 1, 2, 3, .. donde lo es por la derecha ya que
lm
xn
+
F (x) = 2n = F(n).
Con respecto al segundo apartado vemos que (recordar segundo captulo)
dF((0, 5]) = F(5) F(0) = 10,
dF([4, 8]) = F(8) F(4
) = 16 7 = 9,
dF([3, 7)) = F(7
) F(3
) = 13 5 = 8.
Por ltimo, vemos que dF no es absolutamente continua con respecto a dx ya que dx({1}) = 0, pero
dF({1}) = F(1) F(1
) = 2 1 = 1 = 0.
Ejercicio 4.4.15 Sea dF la medida de LS asociada a la funcin
F(x) =
_
_
_
0 x < 0
x 0 x < 1
1 1 x
,
1. Probar que dF dm.
2. Encontrar la derivada de RN de dF con respecto a dm.
3. Sea la medida de contar nmeros racionales en [0, 1] , i.e.
(A) = card (A [0, 1] Q) ,
y sea dF la medida de LS. Probar que dF, i.e. son mtuamente ortogonales.
Solucin. Dado I = (a, b], se tiene
dF(I) = F(a) F(b) b a = m(I),
ya que F(x) x es decreciente y por lo tanto
F(b) b F(a) a, si a < b.
Esto nos dice que F AC ya que
F(b
j
) F(a
j
)
j
_
b
j
a
j
_
,
entonces dF dm (por lo resultados expuestos en teora).
Tambin de forma directa usando que
dF (A) = inf
_
j
dF
_
I
j
_
:
_
I
j
A, I
j
= (a
j
, b
j
]
_
,
para cada A medible, deducimos
dF(A) m(A),
en particular
m(A) = 0 =dF(A) = 0.
Con respecto al segundo apartado, vemos que al ser dF nita (dF(R) = 1) y dm es f inita, entonces
podemos usar el TRN y concluir que f L
1
(dx) tal que dF = f dm. Adems, por el TDL (teorema de
diferenciacin de Lebesgue)
f (x) = F
(x) =
_
1 0 < x < 1
0 resto
=
(0,1)
(x) , c.t.p.
Por ltimo, con respecto al tercer apartado, vemos que por denicin dF, si existe H medible tal
que dF(H) = 0 y (H
c
) = 0 por ser positivas.
Tomamos H = [0, 1] Q, viendo que
dF(H) = 0
ya que m(H) = 0 al ser H numerable y
(H
c
[0, 1] Q) = () = 0,
Ejercicio 4.4.16 Dado h > 0, denimos la funcin
g
h
(x) =
1
2h
[h,h]
(x) ,
y la medida d
h
= g
h
dx. Probar que
lm
h0
+
h
=
0
,
i.e.
lm
h0
+
_
f d
h
=
_
f d
0
, f continua.
Solucin. Por un lado se tiene, si
F(x) =
_
x
0
f (t)dt,
entonces
_
f d
h
=
1
2h
_
h
h
f (x)dx =
F(h) F(h)
2h
F
(0) = f (0),
cuando h 0
+
, por el TFC.
4.4. EJERCICIOS 91
Por otro lado, como ya sabemos,
_
f d
0
= f (0),
esto nos da la igualdad pedida.
Ejercicio 4.4.17 Se considera la funcin
F(x) =
_
_
_
0 x < 0
1
2
x
2
0 x < 1
1 1 x
,
y sea dF la medida de LS denida sobre los Boreles (B).
1. Probar que dF no es absolutamente continua con respecto a dm = dx.
2. Encontrar la descomposicin de RN de dF frente a dm i.e. dF = f dm + d, con f L
1
(dm) y dm.
Solucin. Vemos que dF no es absolutamente continua con respecto a dm ya que dm({1}) = 0, mien-
tras que
dF ({1}) = F(1
+
) F(1
) = 1
1
2
=
1
2
= 0.
Observar que
_
1
0
xdx =
1
2
x
2
1
0
=
1
2
.
Denimos para A B, d(A) = 1/2, si 1 A y d(A) = 0 caso contrario. Sea tambin
f (x) =
_
x 0 < x < 1
0 x / [0, 1]
,
observndose que
f (x) = F
(x), x R\ {1} .
Entonces
dF = f dm + d
es la descomposicin de RN buscada ya que f L
1
(dm) , tiene soporte en el conjunto {1} y por lo
tanto dm cumplindose as
dF((a, b]) =
_
b
a
f (x)dx + d((a, b]),

Apuntes Teoria Medida

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apuntes Teoria Medida

Uploaded by

Copyright:

Available Formats

Apuntes de Teora de la Medida

funciones medibles positivas denidas por

funciones medibles positivas. Ntese que f

= {, X, {a} , {b} , {a, b} , {b, c, d} , {a, c, d} , {c, d}} ,

, pero al revs no es cierto.

f (t)dm. Probar que F(x) es continua. (Sugerencia: Usar teoremas de convergencia).

f (t)dm tomamos h > 0,

: P(X) [0, ] es medida exterior si cumple

medible. Dada una medida exterior

sobre X se dice que A X es

es una medida exterior sobre X y denimos M

es una medida completa.

como antes. Entonces:

es una lgebra que contiene a B

es una medida completa que extiende a

es la medida exterior de Lebesgue

es la lgebra de los conjuntos medibles de Lebesgue.

es una medida de Lebesgue ((I) =Longitud de I, I Intervalo).

es una medida exterior en X, que proviene de una pre-medida

. La extensin viene dada por la restriccin de dF =

se denomina la medida de Lebesgue-Stieltjes asociada, denotada por dF.

: P(X) [0, 1] mediante

es una medida exterior y determinar el lgebra de los conjuntos medibles.

medibles. En este caso en el que

es una medida exterior y determinar el lgebra de los conjuntos medibles.

(B) , distinguiremos los siguientes casos

medibles. Si seguimos los mismos pasos que en el ejercicio

medible porque si E = {x} A

= P(X). Si seguimos este razon-

es una medida exterior ntamente aditiva entonces es numerablemente

es una medida exterior ntamente aditiva entonces es

una medida exterior y sea H un conjunto

una medida exterior y H M

vuelve a ser una medida en todo P(X) i.e. M

la medida exterior asociada a . Sea E X

(E) = 1. Probar que dados A, B M, con A E = B E entonces;

es una medida exterior.

viene dada por

es una medida exterior ya que

) F (a) (a, b) = (a, b

) F (a) (a, b) = (a, b]\ {b}

) signica evaluada por la izquierda. Por lo tanto y resumiendo

) = 2 2 = 0, observar que F es continua en 2,

) ya que slo nos jamos en las

f (x) |J(x)| dx.

(t) = h(t)dt, h(t) =

la medida inducida por y m en R.

(y) = W(y)dy y encontrar W(y) explcitamente.

(x) = f (x), c.t.p. (dx) .

es integrable Riemann, entonces:

son medidas positivas y =

se denominan la variacin positiva y negativa de . Si denimos || =

. Este ejemplo funciona bien ya que m

por separado y encontramos g

3. y por ltimo que

integrable en [0, 1] . Por lo tanto existe x >

You might also like