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. Espacio de Medida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Integracin de funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Integracin para una funcin medible arbitraria. . . . . . . . . . . . . . . . . . . . . . . .
1.4. Sobre las funciones simples y su integral . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1. Sobre lgebras. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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.

I
55
NDICE GENERAL
II
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 final 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.
Definicin 1.1.1 Sea X un conjunto, se dice que A P ( X ) es lgebra si verifica:
1.
X A,
2.
A es cerrada por complementacin i.e. A A = Ac A,
3.
A es cerrada por uniones numerables, finitas o no, i.e.

An A =
n 1
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
A es lgebra.
Definicin 1.1.2 lgebra de Borel. En R se define la lgebra de Borel, BR como aquella generada por
los intervalos abiertos
BR = {( a, b) : a, b R, a < b} .
La definicin de BR tambin funciona con intervalos cerrados, semi abiertos o incluso infinitos como
[ a, ) .
Definicin 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
CAPTULO 1. INTEGRAL DE LEBESGUE
2
1.
f ( x ) = const. = c.
f
(( 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) =
vindose que, A A A ( x ) es medible,
1,
0,
x A,
x
/ A,
R si a < 0
1
A a [0, 1) .
A (( a, )) =
a1
Lema 1.1.2 Dada f : X R, Amedible, la familia

n
o
M f = B R : f 1 ( B ) A
es una lgebra en R. Por lo tanto contiene a BR ya que ( a, ) M f , a R por definicin.
Observacin 1.1.2 La definicin de funcin medible es equivalente a pedir que:
{x X :
{x X :
{x X :
{x X : a <
f ( x ) < b } A,
f ( x ) a } A,
f ( x ) b } A,
f ( x ) < b } A,
b,
a,
b,
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 definidas por
f ( x ) si
f (x) 0
+
,
f =
0
si
f (x) < 0
0
si
f ( x ) si
f (x) > 0
.
f (x) 0
Ntese que f + = max ( 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
max f n ,
mn f n ,
sup f n ,
inf f n ,
lm sup f n ,
lm inf f n .
1.1. ESPACIO DE MEDIDA.
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.
Definicin 1.1.4 Medida. Dada una lgebra A en X, se dice que : A [0, ] es una medida sobre A si
se verifican:
1.
() = 0,

2. Para toda familia numerable A j j1 de A cuyos elementos son disjuntos dos a dos se tiene
j 1
Aj =
j 1
Aj .
Definicin 1.1.5 Espacio de Medida. Llamaremos espacio de medida a toda terna ( X, A, ).

Diremos que la medida sobre A es finita si ( X ) < , y finita si podemos escribir
X = n 1 Xn ,
con Xn A y ( Xn ) < .
Ejemplo 1.1.2 Veamos algunos ejemplos de medidas

1. En R, A = P (R ), fijamos x0 R, definimos para A R
1 x0 A
x0 ( A ) =
0 resto
comocida como la Delta de Dirac.
2. En R, A = P (R ),
( A) =
3. En Z, A = P (Z ),
card( A) si card( A) <

.
en caso contrario
( A) =
1 + |n| .
Antes de terminar esta seccin enunciaremos una proposicin (necesaria para el teorema de convergencia 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 A1 A2 .... An An+1 ..., An A, n, entonces
[

A j = lm A j .
j
j =1
3. Si A1 A2 .... An An+1 ..., An A, n, y ( A1 ) < , entonces
\

A j = lm A j .
j
j =1
1.2. Integracin de funciones medibles.

Definicin 1.2.1 Funcin indicatriz. Dado un conjunto A, se define la funcin indictriz de A como
1,
x A,
A =
.
0,
x
/ A,
Definicin 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 finita de funciones caractersticas de conjuntos
de A, i.e.
n
s=
cj A ,
j
j =1
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.
Definicin 1.2.3 Integral.
1. Para funciones simples tenemos
Z
sd =
f d = sup
cj
j =1
donde estamos suponiendo que A j < .

2. Para una funcin medible y positiva
donde el supremo puede valer .
Aj ,
sd : 0 s f
1.2. INTEGRACIN DE FUNCIONES MEDIBLES.
Observacin 1.2.2 Se observa trivialmente que:

1. si f , g son simples entonces
Z
( f + g) d =
f d +
gd.
2. si f , g son medibles tales que 0 f g, entonces

Z
3.
f 0, entonces f = 0
f d
gd.
f d = 0.
Ejemplo 1.2.1 Sea

Q ( x ) =
vemos que
Z
1 si x Q
0 resto,
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
Z
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 lmi f i = f , entonces
Z
Z
lm f i d =
f i d .
f d = lm
X
Corolario 1.2.1 Sea ( gn )

n=1 una sucesin de funciones medibles y positivas, entonces
!
gn
d =
n =1
n =1
gn d .
Lema 1.2.1 Lema Tcnico. Sea f medible y positiva. Entonces existe una sucesin montona creciente de funciones simples si si+1 tales que
lm sn ( x ) = f ( x ),
x.
n
Como consecuencia del TCM se tiene adems que

Z
Z
Z
sn ( x )d .
f d = lm
lm sn ( x ) d =
X
6
Proposicin 1.2.1 Si f , g 0, medibles, entonces
Z
( f + g) d =
f d +
gd.
Lema 1.2.2 Fatou. Sea ( f n )

n=1 una sucesin de funciones medibles y positivas, entonces
Z
Z
f i d .
lm inf ( f i ) d lm inf
X
Ejemplo 1.2.2 Sea

f n = [n,n+1] ,
entonces
pero vemos que
f n d = 1,
n,
lm inf f n = lm f n = 0,
por lo que
Z
X
lm ( f n ) d 6= lm
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 + = max ( f , 0) y f = mn ( f , 0) .
Definicin 1.3.1 Se dice que f es integrable si
Z
f d =
f+ < y
Z
f d
f < , y escribimos
f d.
Observacin 1.3.1 Si f es medible y f = f + f , entonces
| f | = f + + f ,
y por lo tanto
As que f ser integrable sii
| f | d =
f + d +
f d.
| f | d < . Adems
Z
Z
f d | f | d.
1.3. INTEGRACIN PARA UNA FUNCIN MEDIBLE ARBITRARIA.
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
Z
( f + g) d =
f d +
, R.
gd,
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
In ,
n =1
y dado un > 0, entonces
l ( In ) < .
n =1
Por ejemplo si A = { x } entonces
I1 = x , x +
4
4
por lo que
l ( I1 ) =
< 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 ) 6= g( x )) = 0.
2. En la definicin 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 sucepuntualmente a una funcin f ( x ) y adems | f n ( x )| F ( x ),
sin de funciones medibles { f n ( x )}
n=1 converge
R
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
Z
X
lm f n ( x ) d =
f d = lm
f n ( x )d .
Corolario 1.3.1 (Beppo-Levi). Si { f n ( x )}

n=1 , son medibles y
Z
| f n ( x )| d < ,
n =1
entonces la serie f ( x ) =
n=1 f n ( x ) converge en c.t.p. y
!
Z
f n (x)
d =
n =1
Ejemplo 1.3.1 Sabemos que
n =1
f n ( x )d .
nxn1 = (1 x)2 ,
n =1
entonces el coro de B-L nos ayuda a evaluar la siguiente integral
Z 1
log x 2
dx,
1x
0
para ello definimos
f n = nx n1 (log x )2 ,
viendo que f n 0. Se observa que
fn =
n =1
log x
1x
n 1, x (0, 1) ,
= f (x) ,
x (0, 1) ,
por lo tanto
Z
n =1
f n (x)
d =
Z 1
log x 2
1x
dx =
n =1
f n ( x )d
Z 1
n =1 0
f n dx,
de esta forma (integrando sucesivamente por partes) vemos que

Z 1
0
f n dx =
Z 1
0
nx n1 (log x )2 dx =
2
,
n2
donde
Z
nx
n 1
(log x ) dx = 2x
con
por lo tanto
n 1
log x 2
x n1 log xdx =
n 1
log xdx = 2 x
1 n
1
x log x
n
n
Z 1
0
recordar que (Euler)
x n1 dx =
2
1
=
n2 3 ,
n =1
f dx = 2
2
1
.
=
n2
6
n =1
n 1
log x
1
1 n
x log x 2 x n
n
n
1 n
1
x log x 2 x n ,
n
n
1.4. SOBRE LAS FUNCIONES SIMPLES Y SU INTEGRAL
1.4. Sobre las funciones simples y su integral

Algunos libros exigen en la definicin de fucin simple la condicion adicional de que los conjuntos que
la definen sean todos de medida finita. 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. Definimos la lgebra M = {, A, Ac , X } y la medida : M [0, ] por () = 0, ( Ac ) = , ( A) = ( X ) =
. Sea f = A . Con la condicin adicional, f no sera Rsimple porque ( A) = . Adems la nica
funcin simple s con 0 < s < f sera s = c , por lo que sd = 0 y por tanto
Z
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 -finita esta situacin no se dara porque si ( X1 , X2 , ..., Xn , ...) tales que
1.
X = Xn (podemos suponer que la unin es disjunta)
2.
( Xn ) < ,
entonces A M con ( A) = se tiene incluso en esta situacin ms restrictiva
A d = 1.
An admitiendo que las medidas -finitas son las que con ms frecuencia aparecen, no debemos olvidar el caso, entre otros, de la medida de contar en un espacio no numerable que claramente no es
-finita. Por ello, y para evitar la patologa descrita, es conveniente dar la definicin 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 finita.
Definicin 1.4.1 Dado un espacio de medida ( X, , M) se define la clase de funciones integrablescomo
L(d) = { f : X C : medibe y tal que
| f ( x )| d < }.
Tambin se denota como L1 ( X, d), o simplemente L1 .
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.
10
Solucin. Tenemos que comprobar las propiedades descritas en la definicin i.e. si verifica:
1.
X A,
2.
A es cerrada por complementacin i.e. A A = Ac A,
3.
A es cerrada por uniones numerables, finitas o no, i.e.

An A =
n 1
A n A.
La primera de las propiedades se verifica trivialmente, i.e. X A,

Con respecto a la segunda, i.e. si A A = Ac A, vemos que:
A = , = Ac = X A,
A = { a} , = Ac = {b, c, d} A,
A = {b} , = Ac = { a, c, d} A,
A = { a, b} , = Ac = {c, d} A,
A = {c, d} , = Ac = { a, b} A,
A = { a, c, d} , = Ac = {b} A,
A = {b, c, d} , = Ac = { a} A,
A = { a, b, c, d} , = Ac = {} A.
Por ltimo, la tercera de las propiedades, vemos que: An A, =
A1 = {} ,
A2 = { a } ,
n 1
A3 = { b } ,
An A, as, si
etc....
vemos que
A1 A2 = {, a} A,
A1 A3 = {, b} A,
A2 A2 = { a, b} A,
A1 A2 A3 = {, 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}} ,
= {{ a} , {b}} .
1.5. EJERCICIOS.
11
Solucin. X, la lgebra generada por se define como:
A = {A / A a lgebra,
por lo tanto, si = {{ a}} , entonces:
A}
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

n
o
B = E Y : g 1 ( E ) A
es una lgebra en Y.
Solucin. Tenemos que comprobar las propiedades descritas en la definicin i.e.

g 1 ( ) = A ,
1. B ;
2.
E B = Ec B ,
c
g 1 ( E c ) = g 1 ( E )
/ E} ,
{ x X, g( x ) Ec } = { x X, g( x )
3.
En B
g1 ( En ) = g1 ( En ) 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.
E1 E2 ... En ...., tales que En A.
Solucin. = Es obvio, ya que la unin es numerable.
= Sean ( Bn ) A, Bn A, si
n =1
( Bn ) =
n =1
nj=1

Bj

pero nj=1 Bj = En A, por lo que tenemos E1 E2 ... En ... por lo que En A.
12
Ejercicio 1.5.5 Determinar la lgebra engendrada por la coleccin de los subconjuntos finitos de un conjunto X no-numerable.
Solucin. X no numerable, = { A / A f inito } , lgebra engendrada por ,
A = { A / A numerable Ac 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 ( Ac )c = A es numerable y por lo

tanto Ac A, bien Ac es numerable y en cuyo caso Ac A.
3. Si An A, n = 1, 2, .., entonces o bien todos los An son numerables (en cuyo caso la unin
tambin ser numerable y por lo tanto An A) bien algn An es tal que Acn es numerable
en cuyo caso ( An )c es numerable ya que ( An )c Acn , 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 A1 A2 .... es un lgebra. Pero
dar ejemplos de:
1. La unin de dos lgebras puede no ser lgebra, y
2. la unin de sucesiones A1 A2 .... de lgebras puede no ser una lgebra.
Solucin. Tenemos que comprobar las propiedades descritas en la definicin i.e.
1. A (ya que A1 ),
2. Si A A entonces existe n0 tal que A An0 y por lo tanto Ac An0 y Ac A,
3. si ( Ai )in=1 A (un nmero finito), entonces j = 1, 2, ..n j / A j An j . Sea ahora m = max (n1 , n2 , ..., nn ),
se tiene que A j Am (porque An j Am ) como Am es lgebra y la unin de A j Am entonces
A j A.
Con respecto al segundo apartado vemos que (un contra-ejemplo):
X = { a, b, c} y sean
A1 = {, { a} , {b, c} , { a, b, c}}
A2 = {, {b} , { a, c} , { a, b, c}}
1.5. EJERCICIOS.
13
lgebras, pero vemos que A1 A2 no es un lgebra ya que

/ A1 A2 ,
{ a} , {b} A1 A2 pero { a} {b}
Ejercicio 1.5.7 Dado un conjunto X y fijado A X definimos la clase

HA = { B X : B A
Bc A} .
1. Probar que H A es una lgebra sobre X.

2. Si X = R, An = [n, n] y Hn = H An , n = 1, 2... comprobar que
n=1 Hn 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 ( Bc )c = B A, o bien Bc A. En ambos casos se

deduce que Bc H A .
3. Sean ( Bi ) H A . Si Bi A i entonces i Bi A. En caso contrario j0 tal que Bcj0 A y por lo
tanto (i Bi )c = i Bic Bcj0 A. Por lo tanto i Bi H A .
Con respecto al segundo apartado vemos que para cada m N, sea Bm = [0, m] . Entonces Bm Hm
(ya que Bm = Am ) y por lo tanto Bm n Hn . Sin embargo m Bm = [0, )
/ n Hn ya que no se cumple
[0, ) An ni tampoco, [0, )c = (, 0) An por lo que [0, )
/ Hn , 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
de esta forma vemos que
E F = ( E\ F ) ( F \ E) ( E F ) ,
( E) = ( E\ F ) + ( E F ) ,
( F ) = ( F \ E) + ( F E) ,
14
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 M fijo, definimos

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
verifican:
1.
() = 0,

j 1
Aj =
j 1
Aj .
Por lo tanto tenemos que probar estos dos puntos i.e.:

1.
E () = ( E) = () = 0,
2. Sean ( An ) M, n = 1, 2, ... disjuntos, entonces
E (n An ) = E ((n An ) E) = E (n ( An E)) =
E ( An E) = E ( An )
n
n =1
donde observamos que (n ( An E)) es una unin disjunta. Esto demuestra que E es una medida.
1.5. EJERCICIOS.
15
Ejercicio 1.5.10 Sea X un conjunto infinito numerable. Consideremos la lgebra M = P ( X ). Definimos

para A M
0 si A es finito
( A) =
,
si A es infinito
1. Probar que es finitamente aditiva, pero no numerablemente aditiva.
2. Probar que X = lmn An , para cierta sucesin creciente de conjuntos { An }, tales que ( An ) =
0, n N.
Solucin. Vemos que con respecto al primer punto:
(a) Tenemos que probar como en el ejercicio anterior que se verifican las propiedades de medida i.e.
1.
() = 0,

j 1
Aj =

A j es finito
j1 A j = 0
.
j1 A j = A j0 infinito
por lo tanto no puede ser medida ya que al ser X un conjunto infinito numerable i.e. X = { a1 , a2 , ...., an , ...} ,
llamando An = { an }, entonces podemos expresar X =
elemento y por lo tanto ser finito, pero
An , pero ( An ) = 0, al tener un solo
( X ) = 6=
( An ) = 0.
n =1
(b) Se define
lm inf Ej =
se dice que que existe el lmite si
Ej ,
lm sup Ej :=
Ej .
lm inf Ej = lm sup Ej
por ejemplo si tenemos E1 E2 .... En En+1 ..., existe lm Ej =
Ej , y si E1 E2
.... En En+1 .., existe lm Ej = Ej , entonces con respecto a nuestro ejercicio sean ahora
Bn = { a1 , a2 , ...., an } , y donde B1 B2 .... Bn Bn+1 ..., donde X = Bn pero
( X ) = 6= lm ( Bn ) = 0.
n
16
Ejercicio 1.5.11 Sea ( X, M, ) un espacio de medida. Se definen las operaciones de conjuntos

lm inf Ej :=
[\
Ej ,
lm sup Ej :=
n j>n
\[
Ej .
n j>n
Sean Ej M, j 1. Probar que si ( Ej ) < :
En particular si ( X ) < entonces:

1.

(lm inf Ej ) lm inf Ej ,

(lm sup Ej ) lm sup Ej ,

(lm inf Ej ) lm inf Ej lm sup Ej (lm sup Ej ),
2. Si existe lm Ej , entonces (lm Ej ) = lm ( Ej ).

Solucin. Vemos que

(lm inf Ej ) lm inf Ej
al ser An = Ej , cumplen A1 A2 .... An An+1 ..., y por el teorema de TCM para conjuntos,
tenemos que
TCM
(lm inf Ej ) = ( An ) = lm ( An ) lm inf ( En )

n
la ltima desigualdad se da ya que ( An ) ( En ).

De momento no hemos tenido que usar la condicin ( Ej ) < , esta condicin la emplearemos para
demostrar la segunda parte i.e.

lm sup Ej (lm sup Ej )
o equivalentemente

(lm sup Ej ) lm sup Ej .
Para ello definimos Bn =

j=n E j , donde B1 B2 .... Bn Bn+1 .., y por hiptesis tenemos
( B1 ) < , ya que B1 = j=1 Ej . Por TCM para conjuntos

(lm sup Ej ) = ( Bn ) = lm ( Bn ) lm sup ( En )
n
Ejercicio 1.5.12 Sea X = { a1 , a2 , a3 }, sea M = P ( X ). Sea una medida que verifica ( a1 ) = ( a2 ) =

( a3 ) = 1/3. Consideremos la sucesin de conjuntos
An = { a1 , a2 }, si n es par,
A n = { a3 },
si n es impar,
Probar que (lm inf An ) < lm inf ( An ) < lm sup ( An ) < (lm sup An ).
1.5. EJERCICIOS.
17
Solucin. Vemos que

( An ) =
por lo que
lm( An ) =
2/3 si n es par,
1/3 si n es impar,
2
,
3
lm( An ) =
1
,
3
as que
lm( An ) < lm( An ).
Por otro lado vemos que
lm sup( An ) = X = { a1 , a2 , a3 },
lm inf( An ) = ,
luego
0 = (lm inf An ) <
1
2
= lm( An ) < = lm( An ) < 1 = (lm sup An )
3
3
Ejercicio 1.5.13 Sean X = N, M = P (N ), la medida de contar. Construir una sucesin An P (N ) tal

que lmn An = ; pero lmn ( An ) 6= 0.
Solucin. Vemos que (RECORDATORIO)
y si
entonces
E1 E2 .... En En+1 ..., = lm Ej =
E1 E2 .... En En+1 .., = lm Ej =
lm ( An )
( A1 )<
Ej ,
Ej ,
lm ( An )
por lo que tendremos que buscar un ejemplo que no verifique tal condicin i.e. ( A1 ) < ,
A1 = {1, 2, 3, ....} ,
A2 = {2, 3, ......} ,
..
.
An = {n, n + 1, ..} ,
vindose que
as que
A1 A2 A3 A4 ......... An An+1 .....,

lm An = An = ,
y sin embargo
lm ( An ) 6= 0,
tal y como queramoshacer ver.
18
Ejercicio 1.5.14 Sean { An } conjuntos medibles tales que nn=

=1 ( An ) < . Demostrar que cada elemento
x pertenece a un nmero finito de An para c.t.p. x. (Dicho de otra manera el conjunto de los puntos x que
pertenecen a infinitos de los An , es decir, lm sup An , 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 finito de An .
Sea A = { x X : x, pertenece a los An } , queremos ver que ( A) = 0, x A n, n N, tal
que x An x
An = lm sup An . Debemos probar que
N =1n = N
An
N =1n = N
= 0,
para ello seguiremos la siguiente argumentacin: Si

Bn =
An ,
n= N
una familia decreciente i.e. .. BN BN +1 .., y con

( B1 ) =
n= N
por lo que por el TCM tenemos que

!
(lm sup An ) = lm
N
BN
N =1
An
( An ) < ,
n =1
= lm ( BN ) = lm
N
n= N
An
lm
n= N
( An )
= 0,
Ejercicio 1.5.15 Sea ( X1 , M1 , 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 : X1 X2 una aplicacin, M2 = { A X2 : g1 ( A) M1 },
2 ( A) = 1 ( g1 ( A)). Comprobar que ( X2 , M2 , 2 ) es un espacio de medida completo.
Solucin. Temos que ver:
1.
M2 es un lgebra:
i) M2 ya que g1 () = ,
ii) Si A M2 , i.e. g1 ( A) M1 entonces se tiene que Ac M2 , ya que

h
ic
g 1 ( A c ) = g 1 ( A ) M1 ,
1.5. EJERCICIOS.
19
c
iii) Si An M2 , n = 1, 2,.i.e. g1 ( An ) M1 entonces se tiene que
n=1 An M2 , ya que
1
g1 (
n =1 A n ) = n =1 g ( A n ) M1
2.
2 es una medida i.e.
i) 2 () = 1 g1 () = 1 () = 0,
ii) Sean An M2 , n = 1, 2,.disjuntos.
(
)
=
A
=
2 (
g
A
A
g
=
)
(
)
n
n
n
n =1
n =1
n =1
1
1
n =1
1 g 1 ( A n ) =
2 ( A n ) ,
n =1
Ejercicio 1.5.16 Sea ( X, A, ) un espacio de medida y sea f : X R una funcin medible y positiva.
Definimos para cada A A
Z
f ( 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) =
por lo tanto:
1.
f () =
f A d
f d = () = 0 (ya que f = ),
2. Si ( Ai ) A son disjuntos
f (
Ai ) =
f i Ai d =
f A d =
i
f i Ai d =
f ( Ai )
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 ) =
f ( x )d( x ) =
n =1
f (n) =
n:n=2k
f (n) =
k =1
f ( 2k ) =
2k
k =1
=1
20
Ejercicio 1.5.17 Sea ( X, M, ) un espacio de medida
1. Dado A M, definimos
A ( B) = ( A B) ,
probar que A es una medida sobre M.

2. Dada s : X R una funcin simple y positiva. Definimos para cada B M
s ( B) =
s( x )d( x ),
probar que s es una medida sobre M.

Solucin. Vemos que
i) A () = ( A ) = () = 0.
ii) Sean Bn M, n = 1, 2, .. conjuntos disjuntos. Entonces A Bn son disjuntos
A ( Bn ) = ( ( A Bn )) =
( A Bn ) = A ( Bn ) .
n
por lo tanto es una medida.

Con respecto al segundo apartado vemos que si
N
s=
ci A ,
i =1
con ci > 0, y Ai M, n = 1, 2, .. entonces

s ( B) =
s( x )d( x ) =
ci ( Ai B )
i =1
y podemos aplicar el resultado anterior a cada ( Ai B) para deducir que s tambin es una medida
sobre M.
Ejercicio 1.5.18 Sean an R, con an 0, n N, tales que

n=0 an < . Definimos
: P (N ) [0, )
mediante
si
0
( E) =
nE an si
si
probar que NO es un medida en (N, P (N )) .
E=
card( E) < ,
card( E) =
1.5. EJERCICIOS.
21
Solucin. Si fuese una medida, eligiendo

An = {n} ,
n = 0, 1, 2, ..
como
N=
An ,
y la unin es disjunta y numerable, se debera cumplir
(N ) =
( An ) ,
n =0
pero tal y como vemos (N ) = , ya que card(N ) = , mientras que ( An ) = an y por lo tanto
( An ) =
n =0
an < ,
n =0
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
definida mediante
0 x (, 0]
1 x (0, 1]
f (x) =
2 x (1, )
Es f medible?. Cmo son en general las funciones medibles f : (R, M) (R, BR )?
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
/ M,
f 1 ({1}) = (0, 1]
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 ) = C1 (,0] + C2 (0,) ,
Ejercicio 1.5.20 Para funciones f : ( X, M) (R, BR ), cules de las siguientes afirmaciones son ciertas?
22
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 = Ac (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 = Ac , 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, BR ) una funcin medible no-negativa, una medida -finita en
M. Probar que f ( x ) = lm tn ( x ) siendo {tn }n una sucesin creciente de funciones simples no negativas, tales
que tn toma valores distintos de cero solamente en un conjunto de medida finita.
Sugerencia: Construir B1 B2 ..... Bn , ..., (Bn } < , tomar tn = sn Bn , siendo sn una sucesin
creciente de funciones simples no-negativas con lmite f .
Solucin. Sea f 0, medible. Sea 0 s1 s2 ..... sn .... f , tal que lm sn = f . Las sn son
simples i.e.
mn
sn =
cnj A
j =1
n
j
podemos tomarlas de medida finita si la medida subyacente es -finita en M, escribir X = Xn , con

( Xn ) < , y Bn = X j con tn = sn Bn sucesin creciente ya que tanto las sn como Bn son crecientes
y por lo tanto f ( x ) = lm tn ( x ).
Ejercicio 1.5.22 Si f n : ( X, M) (R, BR ), n = 1, 2, .., son medibles, probar que el conjunto

A = { x X : lm f n ( x )}
n
es un elemento de M.
1.5. EJERCICIOS.
23
Solucin. Tenemos que probar que A es medible. Para ello observamos que si lm sup f n = hn , y
lm inf 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 definicin.
Ejercicio 1.5.23 Sea (, M, P) un espacio de probabilidad. Sean X1 , X2 dos funciones medibles de (, M, P)

(R, BR ) y sean FX1 , FX2 las funciones de distribucin de las medidas de probabilidad inducidas por X1 , X2 respectivamente ( FXj ( x ) = P{ : X j ( ) x }, j = 1, 2). Probar que si P{ : X1 ( ) X2 ( )} = 1,
entonces FX1 = FX2 , x R.
Solucin. Si A = { : X1 ( ) 6= X2 ( )}, P( A) = 0,
{ : X1 ( ) x } { : X2 ( ) x } A
tomando medidas en ambos lados
FX1 FX2 + P( A)
FX1 FX2
y por simetra llegamos a

FX1 FX2
por consiguiente FX1 = FX2 , x R.
Ejercicio 1.5.24 Se considera el espacio de probabilidad (R, BR , P), donde P( A) =

la funcin de densidad
1 x [0, 1]
,
f (x) =
0 x
/ [0, 1]
f ( x )dx viene dada por
Sea X : (R, BR , P) (R, BR ) definida mediante
2 log x x > 0
X (x) =
,
0
resto
Hallar FX , la funcin de distribucin de la probabilidad inducida por X.

Solucin.
FX =
donde FX = X 1 .
1.5.4.
0
x0
,
1 e x/2 x > 0
Sobre integracin y teoremas de convergencia.
Ejercicio 1.5.25 Sea f ( x ) : [0, 1] R + definida mediante f ( x ) = 0, si x es racional, f ( x ) = n, si n es

el nmeroR 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.
24
Solucin. Vemos que por ejemplo
f (1) = 0,
f (0,099999) = 1,
f (0,3701) = 0,
f (0, 00103) = 2,
entonces
f =
nh
n =1
es una funcin medible y que

Z
T.C.M
f ( x )dm =
n =1
1
, 1n
10n+1 10
nh
1
, 1n
10n+1 10
n 10n+1
n =1
9 n
1
= ,
n
10 n=1 10
9
Ejercicio 1.5.26 Sea f ( x ) = 0 en cada punto del conjunto ternario de Cantor en [0, 1].RSea 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
p 1
I p,j
2 p 1
f (x) =
p =1 j =1
p Ip,j = lm
N 2 p 1
p =1 j =1
p Ip,j
que es una funcin simple, por lo tanto

Z
T.C.M
f ( x )dm =
2 p 1
p =1 j =1
observar que

p I p,j =
p =1
1
2 p 1
=
p
3
2
p =1
2
1
2p
3
=
=3
3p
2 1 2 2
3
nrn = (1 r)2
Ejercicio 1.5.27 Sea f ( x ) la funcin definida en (0, 1) mediante f ( x ) = 0, si x es racional, f ( x ) =

R

es irracional ( 1x es la parte entera de 1x ). Calcular f ( x )dm siendo m la medida de Lebesgue.
Solucin. Vemos que
f =
0,
x Q [0, 1]
1
x (0, 1) \Q
x
1
x
, si x
1.5. EJERCICIOS.
25
donde I = R \Q, y
si x
1
1
n +1 , n
1
1
<x< ,
n+1
n
1
< n + 1,
x
= In ,
f = n I ,
por lo que
Z
f dm =
f =
n =1
n | In I | = n
n =1
n I I
n =1
1
1
n n+1
1
= ,
n+1
n =1

Veamos ahora una variente de este ejercicio. En esta ocasin
(
0,
x Q [0, 1]
1 1
f =
x (0, 1) \Q
x
queremos estudiar si esta funcin es integrable y calcular

Vemos que f = g c.t.p. donde g : (0, 1] R, g( x ) =
1
,
n
g( x ) =
i.e. si x
1
1
n +1 , n
R1
0
1 1
x
f dm.
, y por lo tanto
1
< n + 1,
x
, (como antes).
La sucesin de funciones simples
gn =
1
,
n In I
n =1
gn g,
converge puntualmente y es creciente, entonces f es integrable al serlo g.

Ahora observamos que
Z 1
0
1
1
gn dm = m( En ) =
n
n
n =1
n =1
1
1
n n+1
1
1
2
,
2
n
n +n
n =1
donde
2
1
=
n2
6
n =1
1
1
1
1
1
=
=
= 1
,
2
n +n
n n + 1)
n n+1
n+1
n =1 (
n =1
n =1
por lo tanto
Z 1
0
f dm =
2
1,
6
26
Ejercicio 1.5.28 Llamemos di ( x ) a los digitos del desarrollo decimal 0.d1 , d2 , ... de un x (0, 1). Decir por qu
son convergentes las siguientes series:
f (x) =
y hallar
R1
0
f,
R1
0
di ( x )
,
2i
g (x) =
(1)di (x)
2i
i
g , expresndolas como sumas de series. Por qu son vlidas esas expresiones?.
Solucin. Se observa que

9
d1 ( x ) =
Ij1
j I ,
1
j
j =0
j j+1
=
,
10 10
de esta forma cada di ( x ) es una funcin simple

9
di ( x ) =
jE ,
i
j
j =0

donde Eij es la unin de intervalos con medida Eij =
1
10 .
Definimos ahora
di ( x )
f =
= lm
N
2i
i =1
di ( x )
2i
i =1
1
45
= ,
10
10
funcin medible, y por lo tanto

Z
1
f dm = i
2
i =1
1
di ( x ) dx = i
2
i =1
j
j =0
y de forma anloga vemos que
(1)di (x)
2i ,
i =1
g( x ) =
entonces
Z
ya que
gdm =
1
2i
i =1
(1)di (x) dx = 0,
(1)di (x) dx = 0, observar que * lo podemos hacer ya que
Z 1
Z 1
(1)di (x)
1
dx
=
= 1 < ,
i
i
2
0
0 i =1 2
Ejercicio 1.5.29 Sea f 2n1 = [0,1] , f 2n = [1,2] , n = 1, 2, .... Comprobar que se verifica la desigualdad de
Fatou estrctamente.
1.5. EJERCICIOS.
27
Solucin. Claramente se observa que

Z
Ejercicio 1.5.30 Comprobar

Solucin. Sea
R
1
lm inf ( f n ) = 0 < lm inf
1
x dm
fn
1
,
j ( j1,j)
j =2
sn
1
,
x
= 1.
x (0, 1) ,
vindose que
Z
= , siendo m la medida de Lebesgue.
sn =
f dm sup
n
1
=
j
j =2
sn dm = sup
n
1
= .
j
j =2
Ejercicio 1.5.31 Sea f n 0, medible, lm f n = f , f n f , n. Comprobar que

R
R
(Sugerencia: Usar el lema de Fatou y que f n d f d).
Solucin.
y por lo tanto
f =
lm f n lm inf
Fatou
lm sup
f n lm sup
f n = lm inf
Fatou
fn
f d = lm
f n f n+1 ..... f ,
por el TCM (funciones medibles y positivas)
lm
fn =
f.
f n d
f,
f n,
Ejercicio 1.5.32 Sea f n ( x ) = mn( f ( x ), n) siendo f ( x ) 0 y medible. Demostrar que

Solucin. Tenemos la siguiente situacin
f nd lm
f d.
28
Ejercicio 1.5.33 Sea g : ( X, M, ) R (R, BR ) integrable. Sea { En } una sucesin decreciente de conjuntos
tal que En = . Probar que lmn En gd = 0.
Solucin. Tenemos la siguiente situacin
E1 E2 ..... En ...,
En = ,
con g L1 , gn = g En , tal que gn 0,

lm
gn = lm
g=
lm gn = 0.
Ejercicio
1.5.34 Sea f : R [0, 1) medible y f L1 (m). Sea F : R R definida mediante F ( x ) =
Rx
f ( t ) dm. Probar que F ( x ) es continua. (Sugerencia: Usar teoremas de convergencia).
Probar que dados x1 < x2 < x3 < ... nmeros reales, se tiene
| F (xk+1 ) F (xk )|
k
Solucin. Sea F ( x ) =
Rx
| f | dm.
f (t)dm tomamos h > 0,
F ( x + h) F ( x ) =
Z x+h
x
f (t) dm =
f (t)(x,x+h) 0,
ya que cuando h 0, (x,x+h) 0.
| F (xk+1 ) F (xk )|
k
Z x+h
x
f (t) dm
|f|
donde los Ik = ( xk , xk+1 ) son disjuntos.
Ejercicio 1.5.35 Sea ( X ) < . Sean {Rf n } una sucesin

de funciones de L1 (), con f n ( x ) f ( x ) uniformeR
mente. Demostrar que f L1 () 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 ) L1 () lo que quiere decir que son funciones integrables, por lo que tenemos que f L1 () y adems se verifica
Z
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 L1 (d)
Z
Fd =
| f N | d +
1d =
| f N | d + ( X ) <
por lo tanto f n ( x ) f ( x ), x, | f n | F ( x ) L1 (), n N.
Ejercicio 1.5.36 Demostrar que
lm
n 0
Sugerencia: Usar que para n > 1, 1 + nx
x2
4.
1+
dx
x n
n
xn
= 1.
Solucin. El primer paso consiste en calcular

lm
x n
n
1+
1
= e x ,
ex
1
n
n
1
ya que 1 + nx e x , mientras que x n 1. Es montona creciente cuando x pequea y decreciente
cuando x > 1. Bajo estas consideraciones podemos usar el TCD
lm
fn =
lm f n =
Z
0
e x dx = 1,
La miga de todo el problema est en buscar la funcin dominante. Desarrollamos
1+
x n
n2 /2 x2
x2
,
1+
=
1
+
n
2 n2
4
tenemos que buscar la funcin que sea integrable, la funcin

dx
1+
x2
4
4
dx < ,
4 + x2
Z
0
de esta forma aseguramos que si x < 1

Z
1
En conclusin:
1+
dx
x n
n
F(x) =
por lo que
Z
0
Fdx =
Z 1
0
1
n
(
1
Z
1
1
x1/2
4
4+ x 2
dx +
1/2
4
dx < .
4 + x2
x (0, 1)
,
x>1
Z
1
4
dx < ,
4 + x2
30
Ejercicio 1.5.37 Sea
f n (x) =
nx 1
,
x
log
n
+
1
(
) (1 + nx2 log n)
con x (0, 1] . Comprobar que lmn f n = 0, y sin embargo

lm
Sugerencia:
fn =
fn =
1
.
2
1
nx
+
.
x log n + 1 1 + x2 (n log n)
Solucin. Vemos que

lm f n = 0,
mientras que
1
1
1
dx =
ln
( x ln n + 1) = 0,
x log (n) + 1
ln n
ln n
0
Z
1
nx
1
1
1
2
dx =
ln
n (ln n) x + 1 = ,
2
1 + x (n log n)
2 ln n
n ln n
2
0
Z
por lo que
lm
Ejercicio 1.5.38 Calcular
fn =
1
,
2
n
dx.
1 + n2 x 2
estudiando los casos a < 0, a = 0, a > 0. Qu teoremas de convergencia son aplicables?.
lm
n a
Solucin. Haremos el siguiente cv (nx = y, ndx = dy)

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

lm
0 a > 0,
n
a < 0,
dx
=

1 + n2 x 2
a = 0,
2
n 0
Ejercicio 1.5.39 Calcular

lm
Z
1 + nx2
(1 + x 2 ) n
n 0
dx.
Solucin. Actuamos como en el ejercicio anterior i.e.

fn =
1 + nx2
,
(1 + x 2 ) n
lm f n = 0
Vemos que para

n = 1,
f 1 = 1,
n = 2,
f2 =
1 + 2x2
(1 + x 2 )2
1 + 2x2
x4 + 2x2 + 1
entonces a partir de esta expresin y empleando el binomio de Newton vemos que
por lo que
1 + a2
1 + na2 +
n ( n 1) 4
a
2
1 + na2
1 + na2
=
n
n ( n 1)
(1 + a2 )
1 + na2 + 2 a4
Queremos justficar
lm
Z
1 + nx2
n 0
(1 + x 2 ) n
1
n
1
n
a2
+ a2
+
( n 1) 4
2 a
dx = 0,
para ello usaremos el TCD, ya que x

1 + nx2
1 + nx2
1
n
n ( n 1)
(1 + x 2 )
1 + nx2 + 2 x4
por lo que la funcin mayorante ser
F(x) =
4
x2
x (0, 1)
x [1, )
vemos que cuando x > 1,

1 + nx2
x 2 (1 + n )
1 2 (1 + n )
4 1
4
1 + nx2
= 2
2
n
2
n
n
1
n
n
1
2
(
)
(
)
2
4
4
x
n
n
1
n
1
x
x
(
)
(1 + x )
n 2
1 + nx + 2 x
x
2
32
ahora solo falta ver que
Z
0
Fdx =
Ejercicio 1.5.40 Sabemos que la serie
Z 1
0
dx +
Z
4
x2
dx <
(1)n n + 1 ,
n =0
es convergente.
1. Justificar
Z 1
0 n =0
2. Deducir
( x )n dx =
Z 1
n =0 0
( x )n dx.
(1)n n + 1 = ln 2.
n =0
Solucin. Si llamamos
SN (x) =
( x )n =
n =0
observamos que para 0 < x < 1
|S N ( x )|
1 ( x ) N +1
,
1+x
2
< 2.
1+x
Por el T.C.M. (ya que las constantes son integrables en (0, 1) con respecto a la medida de eLebesgue
dx)
Z 1
(x)
0 n =0
dx =
Z 1
lm S N ( x )dx = lm
0 N
Z 1
N 0
S N ( x )dx = lm
Z 1
n =0 0
( x ) dx =
Z 1
n =0 0
( x )n dx.
Adems, la parte izquierda de las igualdades anteriores nos da

Z 1
(x)
0 n =0
dx =
Z 1
0
1
dx = ln 2,
1+x
mientras que la parte derecha es
Z 1
n =0 0
( x )n dx =
(1)n n + 1 ,
n =0
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 definen los conjuntos

Em = { x X : f ( x ) > 1/m} .
Demostrar la identidad
lm
f d =
m Em
b) Probar que si
f d.
f d < , entonces > 0, A M de medida finita ( ( A) < ) tal que

Z
f d <
f d + .
Solucin. Claramente Em Em , si m < m y que

E=
[
m
Em = { x X : f ( x ) > 0} .
En particular la sucesin de funciones positivas gm = f Em es montona creciente con

lm gm ( x ) = f ( x ) Em ( x ) .
Teniendo en cuenta el T.C.M. deducimos que el lmite pedido existe y vale

lm
m Em
f d = lm
gm d =
Con respecto al segundo apartado vemos que si

tal que
Z
X
f d <
lm gm d =
f d =
f d.
f d < , dado , por lo anterior, entonces existe m
Em
f d + .
Ahora slo hace falta recordar que cada Em es de medida finita en este caso ya que por la desigualdad
de Chebychev tenemos que
( Em ) = ({ x X : f ( x ) > 1/m}) m
f d,
Ejercicio 1.5.42 Justificar la existencia del siguiente lmite y encontrar su valor:

lm
n 0
ent
Solucin. Sea
sin t
.
t
sin t
,
t
entonces f n es continua y por lo tanto medible respecto a la medida de Lebesgue.
f n (t) = ent
Por otro lado, vemos que
34
1.
| f n (t)| ent et = F (t), n = 1, 2, ... y t 0.
2. lmn f n (t) = 0, t 0, ya que
lm ent = 0,
3. por ltimo
Z
0
F (t)dt =
Z
0
et dt < .
El T.C.D. nos asegura entonces que el lmite pedido existe y vale

lm
n 0
ent
sin t
=
t
Z
0
lm 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
/ L1 (R, dx ) .
Solucin. Sea gn ( x ) = g ( x n) . Entonces gn ( x ) 0, n, x y
Z
gn ( x ) dx =
g ( x n) dx =
g ( x ) dx > 0,
ya que g ( x ) > 0 en un entorno de cero debido a su continuidad.

Adems
lm gn ( x ) = lm gn (y) = 0.
Si h L1 (R, dx ) , entonces podramos usar el TCD y concluir

lm
n R
gn ( x ) dx =
lm gn ( x ) dx = 0,
R n
pero
tal y como hemos mostrado, la parte izquierda es el lmite de una sucesin constante de valor
R
/ L1 (R, dx ) .
g x dx > 0, entonces h
R ( )
Captulo 2
Espacios de Medida
2.1. Espacios de medida.
Asumimos todos los resultados expuestos en el primer captulo.
Definicin 2.1.1 Espacio de Medida. Llamaremos espacio de medida a toda terna ( X, M, ).
Definicin 2.1.2 Medida completa. Una medida sobre una lgebra M se dice completa si M contiene
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 M y ( E) = 0
Forma de completar medidas.
Teorema 2.1.1 Sea ( X, M, ) un espacio de medida, definimos
M= { E X : A, B M,
A E B,
( B \ A ) = 0}
si E M con A E B y ( B\ A) = 0, definimos ( E) = ( A) . Entonces

1.
M es 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
CAPTULO 2. ESPACIOS DE MEDIDA
36
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. Definimos 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 6= g} = {1, 2}
3.
g no es medible porque g1 ((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)
Definicin 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.
Ai
i =1
( Ai )
i =1
Definicin 2.1.4 Pre-medida. Dada una lgebra B0 P ( X ) se dice que 0 : B0 [0, ] es una premedida
si verifica:
1.
0 () = 0,
2. Si Bi B0 son disjuntos y
i =1
Bi B0 , entonces
0
i =1
Bi
0 ( Bi )
i =1
tal y como se ve, 0 sera una medida si B0 fuese una lgebra.
2.1. ESPACIOS DE MEDIDA.
37
La medida exterior asociada es entonces:

( A) = inf
0 ( A i ) : A i B0
i =1
Ai
i =1
Definicin 2.1.5 medible. Dada una medida exterior sobre X se dice que A X es medible si
( E) = ( E A) + ( E Ac ) ,
Denotamos por
E X.
M = { A X : A es medible}
Observacin 2.1.1 Como siempre se tiene

( E) ( E A) + ( E Ac ) ,
entonces A es medible sii
( E) ( E A) + ( E Ac )
Teorema 2.1.2 (Teorema 1 de Caratheodory). Si es una medida exterior sobre X y definimos 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 B0 y definamos una medida exterior y M como antes. Entonces:
1.
M es una lgebra que contiene a B0 .
2.
= |M es una medida completa que extiende a 0 .
Ejemplo 2.1.3 Construccin de la medida de Lebesgue.

Sea el lgebra B0 generada por los intervalos de la forma ( a, b], (a < b : a, b R). Es decir, B0 est formada por
las uniones finitas de esos intervalos y sus complementarios. Definimos
0 = (( a, b]) = b a
y extendemos la definicin a B0 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).
38
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 definir 0 = F sobre el
lgebra B0 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 finita, entonces M = M
Observacin 2.1.3 Si 0 es una pre-medida sobre B0 , y M es la mnima -lgebra que contiene a B0 entonces
hay una extensin de 0 a una medida sobre M. (Simplemente tomamos |M porque M M ).
Si 0 es -finita, 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) + ( Ac ) = ( X )}
(Recordar aqu la definicin 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.
Ejemplo 2.2.2 F ( x ) = e x .
39
F (( a, b]) = eb e a ; A M ,
F ( A) =
e x dm( x ).
Ejemplo 2.2.3 F ( x ) C 1 (R ) y f = F ; A M , se tiene

dF ( A) =
f ( x ) dm( x ) =
F ( x ) dm( x ).
donde se observa que (dF = F dx ) , adems

F (( a, b]) = F (b) F ( a) =
Z 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 x0
0 x<0
entonces
H (( a, b]) =
1
a<0<b
0 b<0a0
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.
40
2.3. Medidas de Borel.

Definicin 2.3.1 Se dice que es una medida de Borel en R si est definida sobre la lgebra de los conjuntos de Borel BR .
Toda premedida F definida como antes sobre B0 se puede extender (de forma nica) a una medida
de Borel. Esto es inmediato porque BR es la mnima lgebra que contiene a B0 y por tanto B0
BR M . La extensin viene dada por la restriccin de dF = F|M a BR . Recordatorio: Su extensin
a todo M se denomina la medida de Lebesgue-Stieltjes asociada, denotada por dF.
En general no es cierto que BR y M coincidan.
Lema 2.3.1 si m es la medida de Lebesgue y denotamos por L los conjuntos medibles de Lebesgue entonces
BR L P (R )
los contenidos son estrictos.
Proposicin 2.3.1 Si es una medida de Borel finita sobre conjuntos acotados, entonces proviene de cierta
pre-medida F sobre B0 .
Ejemplo 2.3.1 Veremos dos ejemplos

1.
= m BR ,
2.
= 0|BR ,
x x>0
0 x=0
=x
F(x) =
x x < 0
F(x) =
0 x0
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 B0 . 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

Definicin 2.4.1 Dado (R, M, ) espacio de medida se dice que es regular (en R) si verifica:
2.5. DOS RESULATADOS SOBRE LA MEDIDA E INTEGRAL DE LEBESGUE.

1.
41
BR 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 BR , tales que
UAV
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, x0 + E M, rE M, donde m ( x0 + 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
Z b
a
f dx =
f dm.
2.6. Ejercicios.
2.6.1.
Medidas exteriores
Ejercicio 2.6.1 Sea X un conjunto no vaco. Definimos : 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 verificar las siguientes propiedades:
1.
() = 0,
42
2.
( A) ( B) , si A B,
3.
Ai
i =1
( Ai )
i =1
De esta forma vemos que la primera de las propiedades se verifica trivialmente (por hiptesis) mientras
que con respecto a la segunda de las propiedades tenemos que hacer las siguiente observacin. Sea
B 6= , 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
!
[
0 i=1 ( Ai ) Ai = ,
Ai =
1 i=1 ( Ai ) si A j 6= ,
i =1
luego i=1 ( Ai ) 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 Ac )}
queremos determinar los conjuntos medibles. En este caso en el que ( A) = 1, A X, si

tomamos E = X entonces:
( X ) ( A) + ( Ac )
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 Ac y al igual que antes
( E) ( E A) + ( E Ac )
( E) ( A) + ( Ac )
1 1+1
llegando as a la misma contradiccin
Ejercicio 2.6.2 Sea X un conjunto no vaco. Definimos mediante () = 0, ( A) = 1 y ( X ) = 2, si

6= A 6= X. Comprobar que es una medida exterior y determinar el lgebra de los conjuntos medibles.
Solucin. En este cas tenemos que
0 E=
1 EX
( E) =
2 E=X
tendremos que comprobar que se verifican las propiedades de la medida exterior i.e.
2.6. EJERCICIOS.
43
1.
() = 0,
2.
( A) ( B) , si A B,
3.
(i=1 Ai ) i=1 ( Ai ) ,
Por lo tanto la primera de las propiedades se verifica por hiptesis, con respecto a la segunda de las
propiedades veremos que si A B, ( A) ( B) , distinguiremos los siguientes casos
( A) = ( B) = 0
0 B=
1 B X ( A) = 1 = ( B)
( B) =
2 B=X
( A) = 1 ( B) = 2
Con
respecto
a la tercera de las propiedades veremos que si tomamos ( Ai )in=1 y comprobamos que
in=1 Ai in=1 ( Ai ) haciendo las siguientes distinciones:

An = ,
An = X
n,
=
(in=1 Ai ) = 0
(in=1 Ai )
( Ai ) = 0
i =1
( Ai ) 2,
i =1
in=1 Ai 6= X,
n0 , tal que An0 6=
in=1 Ai = X,
n, tal que n An 6=
=
=
(in=1 Ai )
( Ai ) 1,
i =1
(in=1 Ai ) = 2
( Ai ) .
i =1
Para calcular la lgebra de los conjuntos medibles tendremos en cuenta la construccin de Caratheodory
M = { A / E X,
( E) ( E A) + ( E Ac )}
queremos determinar los conjuntos medibles. Si seguimos los mismos pasos que en el ejercicio
anterior vemos que, sea A X tal que A, Ac 6= , * A X, y supongamos que cardX > 2. Esto
quiere decir que o bien A o Ac o los dos contienen ms de un elemento. Supongamos que { x, y} A.
/ E) entonces:
Entonces A no es medible porque si E = { x } Ac , ({y}
( E A) + ( E Ac ) ( E) ,
({ x }) + ( Ac ) ( E) ,
1 + 1 ( E) = 1
llegando as a una contradiccin ya que E 6= X. Por lo tanto M = P ( X ). Si seguimos este razonamiento 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 fintamente aditiva entonces es numerablemente
aditiva.
44
Solucin. Tenemos que probar que si es una medida exterior fintamente aditiva entonces es
aditiva i.e.
!
!
N
[
i =1
Ai
( Ai ) =
i =1
Ai
i =1
( Ai )
i =1
para ello tomamos los ( Ai )i=1 disjuntos, tales que A = i=1 Ai , queremos ver que
( A) =
( Ai )
i =1
pero observamos que es cierta al tratarse de una medida exterior (por definicin), por lo que slo
tendremos que probar la implicacin para ello observamos que N ( A) (i=1 Ai ) =
iN=1 ( Ai ) tomando el lmite entonces obtenemos que ( A) i=1 ( Ai ) , 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
definimos 0 ( B) = ( B H ) , 0 es una medida exterior en P ( H ), tomamos los { Ai } P ( H ) etc.....
Con respecto al segundo de los apartados tenemos que una medida exterior y H M , definimos
0 = |P ( H ) (i.e. medida exterior sobre P ( H )), podemos considerar los conjuntos 0 medibles M0
tenemos que probar que A H, A M0 A M .
= Supongamos A M0 , sea E X,
0 ( E A) + 0 ( E Ac ) = 0 ( E Ac )
( E A H ) + ( E Ac H ) = ( E H )
ahora si escribimos Ac = ( H \ A) H c , entonces
0 ( E Ac ) ( 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 Ac ) =
( E A H ) + ( E Ac H ) = ( E)
por lo que A M0 .
Ejercicio 2.6.5 Sea X un conjunto con un nmero infinito de elementos. Tomemos como clase recubridora C , la
formada por el vaco, el total y los conjuntos con un nico elemento. Definimos () = 0, ( X ) = , ( E) = 1,
si E C , E 6= , 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 definido
() = 0,
por lo que tomamos
( A) = inf
vindose que:
( E) = 1,
( X ) = ,
( A j ) : A
Aj

1. Si A es finito i.e. A = { x1 , ..., xn } , A = n A j , entonces

( A) = inf ( A j ) : A A j = n = cardA,

2. Si A es infinito pero numerable, A = { x1 , ..., xn , ....} , 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 <
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, ] definida mediante ( E) = cardE, si E es finito y ( E) = en otro caso.
1. Probar que es una medida completa C .
2. Estudiar la medida construida a partir de C y .
46
Solucin. Con respecto al primer apartado vemos que para probar que es una medida completa:
Observacin 2.6.1 Una medida sobre una lgebra M se dice completa si M contiene 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 M y ( E) = 0
Queremos probar que si A C y ( A) = 0 (= A = ), entonces todo B A C , pero esto es as
por definicin de ( E)
cardE E <
( E) =
E
Con respecto al segundo apartado tenemos que definir la medida exterior asociada a (C , )
)
(
cardB B <
( B) = inf ( A j ) : B A j
=
B
j =1
as vuelve a ser una medida en todo P ( X ) i.e. M = P ( X ).
Recordamos que para completar una medida tenamos dos formas:

completando con subconjuntos de medida cero

X, M,
( X, M, )
Caratheodory
( X, M , )
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 Ec (ya que si x A y x E, entonces x B por

/ E). Por lo tanto
hiptesis; luego x A\ B entonces x
( A\ B)c E
y de la definicin de medida exterior asociada se sigue que:
( A\ B)c ( E) = 1.
Como ( X ) = 1, tambin se tiene
de aqu ( A\ B) = 0. Usando que

se concluye que
( A\ B)c = 1
A = ( A B) ( A\ B)
( 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 definidas en P ( X ), tales que 1 ( X ) < y 2 < . Sean
M1 y M2 las lgebras de los conjuntos medibles para 1 y 2 respectivamente. Definimos
( A) = 1 ( A) + 2 ( A),
A X.
1. Comprobar que es una medida exterior.

2. Comprobar que las lgebras de M de los conjuntos medibles para viene dada por
M = M1 M2 .
Solucin. En primer lugar vemos que es una medida exterior ya que
() = 1 () + 2 () = 0
y dados An X, n = 1, 2, 3...
( An ) = 1 ( An ) + 2 ( An )
1 ( An ) + 2 ( An ) = 1 ( An ) + 2 ( An ) = ( An ),
n

Con respecto al segundo apartado vemos que M = M1 M2 . Sea A M1 M2 , entonces E X,
tenemos
1 ( E) = 1 ( E A) + 1 ( E Ac ),
y
2 ( E) = 2 ( E A) + 2 ( E Ac ),
sumando ambas igualdades queda
( E ) = ( E A ) + ( E A c ),
y por lo tanto A M.
Por otro lado, sea A M y E X. Usando que
j ( E) = j ( E A) + j ( E Ac ),
j = 1, 2,
por ser cada j una medida exterior y que adems

1 ( A) = ( A) 2 ( A),
por cada j finitas, deducimos
1 ( E) 1 ( E A) + 1 ( E Ac ) = ( E A) 2 ( E A) + ( E Ac ) 2 ( E Ac )
= ( E) (2 ( E A) + 2 ( E Ac )) ( E) 2 ( E) = 1 ( E).
Luego
1 ( E A) + 1 ( E Ac ) = 1 ( E),
lo que nos da A M1 . De forma anloga, A M2 .
48
2.6.2.
Medidas de Lebesgue-Stieltjes (L-S)
Ejercicio 2.6.9 Definimos
0 x < 1,
x 1 x 3,
F(x) =
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) ,
lmn F b n1 F ( a) = F (b ) F ( a)
( a, b) = ( a, b n1 ]
dF (( a, b)) =
,
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 ),
1
1
dF ({ a}) = lm dF ( a , a] = lm F ( a) F a
= F ( a ) F ( a ),
n
n
n
n
donde F ( a ) significa 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 fijado A R, definimos ( 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 afirmativo hallar su funcin de distribucin.
2. Si A = 1, 21 , 13 , ...., n1 , ... es una medida de L-S?. En caso afirmativo 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 finita sobre intervalos finitos,

entonces s es de L-S y
0
x<0
0
x<0
F (x) =
F(x) =
k1 k1 x k
[x] x 0
2. A = 1, 12 , 31 , ...., n1 , ... , en este caso , no es de L-S, ya que si tomamos B = (0, ]
1
( B) = ( B A) = card n N, ,
y esta medida es siempre infinita ya que esta medida cuenta el nmero de puntos en ese intervalo
y claro, es siempre infinita por muy pequeo que se tome .
Ejercicio 2.6.11 Definimos
1+x
F(x) =
2 + x2
x
x
x
x
Sea dF la medida de L-S asociada a F. Calcular
1
dF [ , 3) ,
dF ((1, 0] (1, 2)) ,
dF ({2}) ,
2
(, 1)
[1, 0)
[0, 2)
[2, )
1
dF [0, ) (1, 2] ,
2
dF
Solucin. Seguiremos el esquema del primer ejercicio (ver 2.1) por lo que
1.
2.
3.
4.
5.
dF ({2}) = F (2) F (2 ) = 9 (2 + 4) = 3,
dF [ 12 , 3) = F (3) F (1/2) = 9 1/2 =
17
2,
dF ((1, 0] (1, 2)) = ( F (0) F (1)) + ( F (2 ) F (1)) = (2 0) + (6 3) = 5,
dF [0, 12 ) (1, 2] = ( F (1/2) F (0)) + ( F (2) F (1)) = 2 + 14 2 + (9 3) = 25

4,
dF | x | + 2x2 sencillamente vemos que
2x2 x 1 > 0 x = 1, 1/2 x < 0

A=
2x2 + 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.
| x | + 2x2
50
Ejercicio 2.6.12 Sea f : R R no negativa e integrable Riemann, sobre cada intervalo finito tal que
1. Probar que
Z
F(x) =
f (y)dy
f dx =
es una funcin de distribucin de probabilidad y adems F es continua. Si
1 x [0, 1]
f (x) =
0 resto
hallar F.
Solucin. Vemos que F es creciente
Z x
0
f dx
Z x
f dx,
y que adems es continua por la derecha, lo vemos defoma inmediata ya si tomamos hn 0, vemos
que F ( x + hn ) F ( x ) 0 (cuando n )
Z x + hn
F ( x + hn ) F ( x ) =
definiendo
In =
entonces
f dx
( x, x + hn ) hn > 0
( x + hn , x ) hn < 0
Z x+h
n

TCD
f dx =
f In 0
| F ( x + hn ) F ( x )| =
n
x
I
n
ya que gn = f In 0, | gn | f integrable, de esta forma vemosR que dF est bien definida

R 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) = Pf ( A) =
f dx
ya que si definimos
f ( A) =
f = dF en ( a, b] ya que
dF (( a, b]) = F (b) F ( a) =
f dx
Z b
a
f (y)dy = f (( a, b]) .
Aplicamos al ejemplo donde f = [0,1] y calculamos
x < 0,
Z x
0R
x
f dy =
F(x) =
1dy = x x (0, 1)
0
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 ) =
f dx = F () F () = 1
por lo que
F(x) =
Z x
f dy =
x<0
R x0
f dy x [0, 1]
0
por lo tanto
Z 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
1
3
F(x) =
1
12
x 2
10
x
x
x
x
(,1)
[1, 2)
[ 2, 5)
[5, )
Sea dF la medida de probabilidad correspondiente. Calcular

dF (R ) ,
dF
h
ii
,
(R \Q ) 2, 2
dF
(R \Q )
2, 5
ii
dF (Q [1, 6]) .
Solucin. Siquiendo
pasos expuestos en el primero de los ejercicos se trata de encontrar los puntos
los
de discontinuidad 1, 2, 5 y calcular la medida de cada uno de los conjuntos, por lo tanto:
1.
2.
dF (R ) = 1, ya que se trata de una funcin de distribucin,

h
h
ii
para calcular este conjunto vemos que
dF (R \Q ) 2, 2
dF
h
ii
dF ((, 1)) = 0
(R \Q ) 2, 2
52
3.
dF
(R \Q )
dF
2, 5
ii
(R \Q )
, vemos que
2, 5
ii
= dF

n o

2
+ dF
2, 5 dF Q
2, 5
=
y calculamos cada uno de estos conjuntos
n o

1 1
2
= F
2 F
2
=
2 3

2 1
2, 5
= F 5 F
2 = 1
dF
10
3

dF Q
2, 5
= 0
dF
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 fijamos en las
singularidades
Ejercicio 2.6.15 Para cada conjunto de Borel A R se define

1
1
.
( A) = n A
2
n
n =1
Probar que coincide con la medida de L-S sobre la lgebra de Borel BR y encontrar su funcin de distribucin.
Solucin. En primer lugar mostraremos que se trata de una medida i.e.
(i) () = 0, ya que ( x ) = 0, x,
(ii) Si ( Ai ) son disjuntos dos a dos, usando que
i Ai ( x ) =
A (x)
i
(i Ai ) =
1
2n i Ai
n =1
1
1
= n
n
2
n =1
Ai
i

1
=
n
1
2n Ai
i n =1

1
=
n
obsrvese que, de hecho, est bien definida sobre la lgebra total P (R ).

Adems, es finita i.e.
(R ) =
1
=1
2n
n =1
( Ai ) .
i
2.6. EJERCICIOS.
53
i.e. es una medida de probabilidad y por lo tanto coincide con una medida de L-S sobre BR .
En este caso, su funcin de distribucin viene dada por
0
1
=
F ( x ) = ((, x ]) =
i = n + 1 2i
1
1
2n
x0
1
n +1 x <
1 x.
1
n
54
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.
Definicin 3.1.1 Rectngulo R, en R n ,
R = J1 .... Jn ,
donde los definimos los Ji R como intervalos (finitos o no) ydefinimos su volumen como:
n
| R| = vol (R n ) = | Ji |
i =1
donde || significa 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 finita de rectngulos se puede escribir como la unin disjunta y finita de rectngulos.
Lema 3.1.3 La clase B0 = {uniones finitas de rectngulos} es un lgebra.
Definicin 3.1.2 Sea B B0 , entonces podemos escribir B =
elementos de B0 , por lo tanto el volumen de B ser:
N
vol ( B) =
de esta forma vemos que || es una premedida
55
i =1
| Ri | ,
i =1
n
]
Ri i.e. como uniones disjuntas y finitas de
CAPTULO 3. LOS TEOREMAS DEL CAMBIO DE VARIABLE Y DE FUBINI.
56
Definicin 3.1.3 Medida de Lebesgue de R n .

La extensin de Caratheodory de la terna (R n , B0 , ||) nos da el espacio de medida (R n , Ln , m) donde m ( R) =
| R| , R. Esta extensin es nica (|| es finita). Ln es la lgebra de Lebesgue en R n y m = dx la medida
de Lebesgue.
Propiedades
1.
Ln contiene a los abiertos de R n .
2.
A Ln ,
m ( A) = inf
| Ri | ,
Ri rectngulo
i =1
i=1
Ri A
3. La medida de Lebesgue en R n es regular i.e.

m ( A) = inf {m (U ) ,
m ( A) = inf {m (K ) ,
A U, U abierto} ,
K A, K compacto} .
4. La medida de Lebesgue es invariante por traslaciones

Teorema 3.1.1 A Ln , x0 R n , = A + x0 Ln
1.
m ( A + x0 ) = m ( A ) ,
2.
f : R n R, tal que f 0, f L1 (R n , dm) , = x0 R n

Z
f ( x + x0 ) 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.
N
f =
c i Ai ( x ),
f ( x + x0 ) =
i =1
entonces
Z
f ( x + x0 ) dm =
c i Ai ( x + x0 ) =
i =1
N
i =1
i =1
ci m(x0 + Ai ) = ci m( Ai ) =
ci x + A ( x )
i =1
f ( x ) dm
y por lo tanto al ser cierto para funciones simples lo extendemos a funciones normales teniendo en cuenta los teoremas de convergencia dominada etc....
Generalizamos este teorema para transformaciones afines 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 6=
0, por lo que M ( T, B) GL (n, R ) . Entonces:
1. Si A Ln , entonces T ( A) Ln y m( T ( A)) = |det T | m( A).
2. Sea f : R n R, tal que f 0, f L1 (R n , dm) , =

Z
f ( x ) dm = |det T |
f ( T ( x )) dm.
Corolario 3.1.1 En las condiciones del teorema anterior si D es medible entonces:

Z
T (D)
f ( x ) dm = |det T |
f ( T ( x )) dm.
El teorema de cambio de variable general, permite substituir la aplicacin T (lineal) por cualquier
difeomorfismo de forma que si J ( x ) = det D (x) es el jacobiano de en x, entonces
Z
( D )
f ( x ) dm =
f ( x ) | J ( x )| dm.
pero antes de enunciarlo formalmente necesitamos algo ms de artillera.
3.2. Medidas inducidas.

Definicin 3.2.1 Dados dos espacios X, Y dotados de ciertas lgebras (M X , MY ) se dice que la aplicacin
: X Y es medible si 1 ( B) M X , para todo B MY .
Definicin 3.2.2 Si es una medida sobre la lgebra M X , entonces induce una medida sobre MY de la
siguiente forma:
( B ) = 1 ( B ) .
Teniendo en cuenta estas dos definiciones podemos ahora formular el siguiente teorema:
Teorema 3.2.1 Sean (M X , MY ) y ( B) = 1 ( B) . Si f : Y R, es medible y f 0, f
L1 d , =
Z
f ( x ) d =
f d.
Llegamos as a formular el teorema de cambio de variable general:

Teorema 3.2.2 Sea : R n R n un difeomorfismo regular C 1 y sea f : () R medible Lebesgue.
Si f 0, f L1 (dx ) , entonces:
Z
()
f ( x ) dx =
f ( x ) | J ( x )| dx.
58
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)
Z
()
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, MY , ) dos espacios de medida y sean A MX , B MY . Entonces, definimos 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 finita de rectngulos se puede escribir como la unin disjunta y finita de rectngulos.
Lema 3.3.3 La clase
es un lgebra.
Lema 3.3.4 Sea R = A B,
n
A = iN=1 Ai Bi ,
Ai M X , Bi MY
A M X , B MY .
0 ( R) = 0 ( A B) = ( A) ( B)
Sea U =
( Ai Bi ) , with Ai MX , Bi MY
N
0 (U ) =
( Ai ) ( Bi )
i =1
0 es una premedida.
Observacin 3.3.1 La mnima lgebra que contiene a A se denota por M X MY y se verifica que
M X MY A M X MY .
Definicin 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 definiciones al producto de n medidas. De

esta forma tenemos que si ( Xi , Mi , i )in=1 son n espacios de medida entonces definimos la lgebra
O
producto como el producto de sus respectivas lgebras i.e.
Mi etc... y de esta forma obte
O
O
O
di como la extensin de Caratheodory de la premedida 0 sobre
mos el espacio
Xi ,
Mi ,
A (lgebra de uniones finitas de rectngulos medibles) donde si R = A1 ... An , Ai Mi entonces
0 = i ( Ai ) .
3.4. Teorema de Fubini.

Definicin 3.4.1 Dado E X Y y fijado x X se define la x-seccin de E como
Ex = {y Y : ( x, y) E} ,
y la y-seccin
Ey = { x X : ( x, y) E} .
Sea f : X Y R, definimos la x-seccin de f como
f x : Y R
: y 7 f x (y) = f ( x, y)
y de forma anloga la y-seccin de f como

f y : X R
: x 7 f y ( x ) = f ( x, y).
Proposicin 3.4.1 Sean ( X, M X , ), (Y, MY , ) dos espacios de medida, entonces:

1. Si E M X MY , entonces Ex M X , Ey MY .
2.
f : X Y R es M X MY medible entonces f x es MY 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 definir
g( x ) =
f x (y) d(y)
y de forma anloga definimos la funcin

h(y) =
f y ( x )d( x ).
Por lo tanto tanto g como h son medibles y positivas y por lo tanto

Z
si y son finitas.
g( x )d( x ) =
h (y) d(y) =
X Y
f ( x, y)d ( )
60
Teorema 3.4.1 Fubini. Sean ( X, M X , ), (Y, MY , ) dos espacios de medida finitos, entonces:
1. Si f : X Y R es medible y positiva entonces tanto g como h son medibles y adems se verifica:
Z
X Y
f ( x, y)d ( ) =
Z Z
X
Z Z
f d d =
f d d
Y
(3.1)
2. Si f L1 (d ( )) , = f x L1 (d) ctp, f y L1 (d) ctp, por lo tanto g, h estn definidas ctp y

son integrables adems se verifica (3.1).
Para la demostracin de este teorema se necesitan los siguientes ingredientes:
Proposicin 3.4.2 Sean ( X, M X , ), (Y, MY , ) dos espacios de medida finitos, y E M X MY , entonces
x 7 ( Ex ) M X ,
y 7 ( Ey ) MY ,
i.e. son medibles en X e Y respectivamente y

( E) =
( Ex ) d( x ) =
( Ey ) d(y).
Para demostrar esta proposicin se necesita la siguiente definicin y el siguiente lema.

Definicin 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.
E1 .... En ... C ,
K1 .... Kn ... C ,
= Ei C ,
= Ki 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 (N N ). Si definimos
si m = n
1
1 si m = n + 1
f (m, n) =
0
resto
R
R R
R R
comprobar que | f | d ( ) = y que existen

f d d,
f d d, y son distintas.
Solucin. Tenemos la siguiente situacin:
M = N = P (N )
d = d medidas de contar,
M N = P (N N )
M N M N P (N N )
X = Y = N,
pero observamos que P (N N ) m, n N, {m} , {n} M, N , donde {m} {n} = {m, n} es medible
y cualquier combinacin numerable tambin (por lo tanto P (N N )) luego
M N = M N = P (N N ).
d d es la medida de contar en N N ya que
({m, n}) = ({m} {n}) = ({m}) ({n}) = 1.
Ahora consideramos la funcin dada i.e.
si m = n
1
1 si m = n + 1
f (m, n) =
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
Z
f (m, n) = 0,
f (m, n) d (m) =
m =1
siempre encontramos 1 que se anulan mutuamente.

Si ahora integramos
Z
f (m, n) d (n) =
f (m, n) =
n =1
Igualmente vemos que

por lo que f
/ L1 .
Z Z
Z
1 m=1
.
0 m 6= 0
f (m, n) d (n) d (m) = 1
N N
| f | d ( ) =
m,n=1
| f (m, n)| =
62
Ejercicio 3.5.2 Probar que un producto de una Msimple s : X R, por una N simple r : Y R
es (M N )-simple. Probar tambin que si f : X R es Mmedible, g : Y R, es N medible, y
h : R R R continua la funcin H ( x, y) = h ( f ( x ) , g (y)) es (M N )-medible.
Solucin. Tenemos los espacios de medida ( X, M, ) , (Y, N , ) y las funciones f : X R, M
medible, g : Y R, N medible y la funcin h : R R R continua. Consideramos la funcin
H ( x, y) = h ( f ( x ) , g (y)) queremos probar que es (M N )-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, N simples respectivamente) entonces s ( x ) r (y) es (M N )-simple.
Definimos:
n
s (x) =
c j A ( x ),
j =1
c j R, A j M,
r (y) =
d j B ( y ),
j =1
entonces
s ( x ) r (y) =
d j R, Bj N ,
c j di Aj (x)Bi (y) =
j =1 i =1
c j di A B (x, y),
j =1 i =1
que es simple, ya que c j di R y A j ( x ) Bi (y) = A j Bi ( x, y)

Sea ahora h : R R R
h (s ( x ) , r (y)) =
h
j =1 i =1
c j , di A j Bi ( x, y)
Por ltimo. teenmos que f : X R,Mmedible, y g : Y R, N medible i.e. existen (respectivamente) {sl } y {rl } de funciones simples tales que
f ( x ) = lm sl ( x ),
l
g(y) = lm rl (y)
l
al ser h continua, entonces

H ( x, y) = h ( f ( x ) , g (y)) = lm (sl ( x ), rl (y))
l
por lo tanto (M N )-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 M B (donde B es la lgebra de Borel).
R
2. Dada una medida en ( X, M) finita 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 =
Z 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
Z
d dx A f =
f d
X
donde A f X R donde la medida es (d dx ) .
R
Queremos probar que A f es M B 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) =
c j R + , A j M,
c j A ( x ),
j
j =1
simple y positiva y tomamos los A j disjuntos y sea

As = {( x, y) X R : 0 y s ( x )}
por lo tanto
As =
m
[
j =1
adems
A j 0, c j M B
m

d dx A f =
Z
c
j A j = sd.
X
j =1
Para una funcin general vemos que existe una sucesin de funciones simples creciente {sl } si si+1
y convergente a f i.e. lml sl = f ( x ). Adems
Af =
As j
j =1
unin creciente por lo que Al M B y adems por el TCM tenemos que
d dx A f
TCM
= lm d dx ( Asl )
l
simples
lm
l X
TCM
sl d =
f d.
Ejercicio 3.5.4 Si damos a X = [0, 1] [0, 1] R2 la medida de rea, dx = dx1 dx2 , si ( x ) = x1 + x2 ,

= | x1 x2 | dar expresiones para las medidas dx , dx inducidas en R.
64
Solucin. En este caso vemos que X = [0, 1] [0, 1] R2 , y : X R tal que ( x ) = x1 + x2

donde la medida de Lebesgue en [0, 1] [0, 1] viene dada por dx1 dx2 . 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]) = {( x1 , x2 ) : a < x1 + x2 b}
curvas de nivel de , x1 + x2 = const. Vemos tres casos:
1. 0 a < b 1.
m ( A) =
b2
a2
.
2
2
2. 0 a < 1 < b < 2.

a2
(2 b )2
=
m ( A) = 1
2
2
3. 1 a < b 2
m ( A) =
Z 1
a
tdt +
(2 a )2 (2 b )2
=
2
2
Z b
a
Z b
1
(2 t) dt.
(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 = R2 \ {(0, 0)} y dm = dxdy la medida de Lebesgue en X. Definimos

: X R
: ( x, y) ln( x2 + y2 )
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 definicin
m ([0, 1]) = m 1 ([0, 1]) .
Ahora bien:
1 ([0, 1]) = {( x, y) : ( x, y) [0, 1]} = ( x, y) : 0 ln x2 + y2 1 = ( x, y) : 1 < x2 + y2 e ,
se trata por lo tanto del anillo con radio interior 1 y exterior e, as que
m ([0, 1]) = m 1 ([0, 1]) = R2 r2 = e = (e 1) .
Con respecto al segundo apartado

Z
f (y)dm (y) =
Z Z
= 2
donde r = ey/2 ,
cv
f ln( x2 + y2 ) dxdy =
f ln r
rdr
y=ln r2
2
0
Z
0
f ln r2 rdrd =
1
f (y) ey/2 ey/2 dy =
2
f (y) ey dy,
dr = 12 ey/2 dy y por lo tanto
dm (y) = W (y)dy = ey dy,
Aplicaciones del teorema de Fubini

Ejercicio 3.5.6 Sea
f ( x, y) =
x 2 y2
2
( x 2 + y2 )
comprobar que
1
1
f dydx 6=
=
4
0
0
Qu hiptesis no se verifica en el teorema de Fubini?.
( x, y) 6= (0, 0)
( x, y) = (0, 0)
Z 1Z 1
0
f dxdy = ,
4
Solucin. Vemos que

Z
Z
Z
x 2 y2
( x 2 + y2 )
x 2 y2
( x2
+ y2 )
dx
2
dy =
dy
2
dx =
y
x
dx = arctan
x 2 + y2
y
x2
y
x
dy = arctan
2
+y
x
de esta forma tenemos que

Z 1Z 1
0
f dydx =
Z 1Z 1
0
f dxdy =
para llegar a este resultado hemos tenido en cuenta el CV antes expuesto. f

/ L1 (dx dy).
66
Ejercicio 3.5.7 Sea
f ( x, y) =
xy
2
( x 2 + y2 )
x [1, 1] , y [1, 1]
( x, y) = (0, 0)
comprobar que
Z 1 Z 1
1 1
f dydx =
Z 1 Z 1
1 1
f dxdy,
pero sin embargo f no es integrable en [1, 1] [1, 1] . Qu hiptesis no se verifica en el teorema de Fubini?.
Solucin. Sabemos por el teorema de Fubini que si
Z Z
f dxdy 6=
Z Z
f dydx
entonces f
/ L1 (dx dy). Pero este teorema no dice sii, por lo que puede ocurrir que
Z Z
f dxdy =
Z Z
f dydx
y sin embargo f no sea integrable i.e. f

/ L1 (dx dy). Este ejercicio va de eso precisamente.
Sea
f =
xy
( x 2 + y2 )2
x [1, 1] , y [1, 1]
x2 + y2 6= 0, sabemos que f es medible ya que es continua salvo en un punto (medida cero). Veremos
que
Z Z
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
Z Z
f dydx = 0,
ya que f x (y) = f x (y). Ademas podemos ver que:

Z 1 Z 1
xy
1 1
Z 1 Z 1
( x 2 + y2 )2
xy
1 1
( x 2 + y2 )2
dxdy =
dydx =
Sin embargo f
/ L1 (dx dy) i.e.
Z 1
"
Z 1
"
Z 1 Z 1
1 1
y
2 ( x 2 + y2 )
x
2 ( x 2 + y2 )
#1
1
#1
dy =
Z 1
0dy = 0,
dy =
Z 1
0dx = 0.
| f | dydx =
para verlo haremos un c.v. de tal forma que

Z 1 Z 1
1 1
| f | dydx
Z 1 Z 2
|sin cos |
0
ddr = 2
Z 1
dr
0
3.5. EJERCICIOS.
67
donde (dydx = rddr )o de forma anloga, por simetra

Z 1 Z 1
1 1
| f | dydx 4
Z 1Z 1
0
f dydx = 4
Z 1Z 1 2
x
0
x4
dxdy = 4
Z 1Z 1
1
0
x2
dxdy =
Ejercicio 3.5.8 Integrando f = ey sin 2xy con respecto a x, y calcular que

Z
0
ey
sin2 y
1
dy = log 5
y
4
Sugerencia: Comprobar en primer lugar que f ( x, y) = ey sin (2xy) , es integrable en [0, 1] [0, ] . Luego
aplicar Fubini comprobando que
Z 1
0
f dx =
ey
sin2 y,
y
Solucin. Vemos que
f dy =
2x
1 + 4x2
f = ey sin (2xy)
Z Z 1
0
observar que
f dxdy =
Z Z 1
0
sin (2xy) dx =
ey sin (2xy) dxdy =
1
cos 2xy,
2y
Z y
e
0
sin2 y =
sin2 ydy =??
1
(1 cos 2y)
2
mientras que por otro lado

Z 1Z
0
donde
f dydx =
Z
0
Z 1Z
0
sin (2xy) dydx =
Z 1
0
1
1
2x
1
2
= log 5
dx =
ln 1 + 4x
2
4x + 1
4
4
0
ey
sin (2xy) dy = 2
(2x cos (2xy) + sin (2xy))
4x + 1
lo vemos de forma algo ms detallada

Z
1
sin (2xy) dy = ey cos (2xy)
2x
1
= ey cos (2xy)
2x
2x
4x2 + 1
Z
1 1 y
1
y
e sin (2xy) dy =
e sin (2xy) +
2x 2x
2x
Z
1 y
1
e sin (2xy) 2 ey sin (2xy) dy,
4x2
4x
viendo as que
1
1+ 2
4x
ey sin (2xy) dy =
1 y
1
e cos (2xy) 2 ey sin (2xy) ,
2x
4x
llegando al resultado anteriormente expuesto, por lo tanto conclumos que

Z
0
ey
sin2 y
1
dy = log 5,
y
4
68
slo resta probar que se puede aplicar el teorema de Fubini, para ello debemos comprobar que f
L1 (dx dy) i.e.
Z Z
Z Z 1
Z Z 1
Z
y
y
e sin (2xy) dxdy

ey dy <
e dxdy
| f | dydx =
0
esta aclaracin es esencial, pues sin ella no podramos asegurar el resultado.
Ejercicio 3.5.9 Sea d la medida de Lebesgue sobre

Borel de [0, 1] y sea d la medida de contar en P (R ).
los
n
Definimos G : [0, 1] N R, por G ( x, n) = 2x .
1. Demostrar que para 0 < a 1 se tiene G 1 ((, a)) = n [0, 2a1/n ) {n} ,
2. Deducir que G es d d-medible,
3. Usar Fubini para probar la identidad
1
= 2 ln 2 1.
n
+
1 ) 2n
(
n =1
Solucin. Vemos que:

1. Con respecto al primer apartado tenemos que:
x n
< a x < 2a1/n ( x, n) [0, 2a1/n ) {n} .
( x, n) G 1 ((, a)) G ( x, n) =
2
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

Z
[0,1]N
Gd d =
donde
Z
Z 1Z
0
donde
x n
2
[0,1]
x n
2
d(n)dx =
[0,1]
dxd(n) =
0 n =1
n =1
Z 1 n
x
x n
1
n+1
dx =
x n
2
dxd(n) =
x n
2
d(n)dx,
1
1
,
d(n) =
2
n + 1 ) 2n
n =1 (
Z 1
Z 1Z
x/2
dx =
1 x/2
x/2
,
1 x/2
Z 1
0
x
dx = 2 ln 2 1,
2x
3.5. EJERCICIOS.
69
al tratarse de una geomtrica, de esta forma vemos que
1
= 2 ln 2 1,
n + 1 ) 2n
n =1 (
Ejercicio 3.5.10 Definimos la funcin f : [0, 1] [0, 1] R
1 x Q [0, 1] ,
f ( x, y) =
0 x [0, 1] \ Q,
y [0, 1]
,
y [0, 1]
1. Probar que f es medible con respecto a la medida de Lebesgue en R2 , dm = dx dy,

2. Calcular la integral
Z Z
[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
Z Z
[0,1]2
f ( x, y) dxdy = m ( A [0, 1]) = m1 ( A) m1 ([0, 1]) = m1 ( A) = 0,
donde m1 denota la medida de Lebesgue de R y donde m1 ( A) = 0, al ser A numerable.
Ejercicio 3.5.11 Definimos la funcin f : [0, 1] [0, 1] R
1 ( x, y) [0, 1] [0, 1] ,
f ( x, y) =
0 en caso contrario
xy Q
1. Probar que f es medible con respecto a la medida de Lebesgue en R2 , dm = dx dy,

2. Calcular la integral
Z Z
[0,1]2
f ( x, y) dxdy.
70
Solucin. Sea {rk }k una enumeracin de los nmeros racionales de [0, 1] y sean
Ek = {( x, y) [0, 1] [0, 1] : x y = rk } ,
k = 1, 2, 3, ...
si
E=
Ek ,
unin disjunta, entonces
f = E ,
como se puede comprobar.
Definimos ahora
G : [0, 1] [0, 1] R
:
( x, y) x y,
donde G es continua y por lo tanto Ek = G 1 ({rk }) es un cerrado. Deducimos por lo tanto que Ek 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 ( Ek ) = 0, entonces la integral pedida ser nula. Para
probarlo, vemos que por Fubini (podemos usarlo al tratarse de una funcin positiva y medible) que
Z 1 Z 1
Z 1
m ( Ek ) =
m1 (( Ek ) x ) dx,
Ek dy dx =
0
donde m1 representa la medida de Lebesgue de R.

Pero si rk 6= 0,
( Ek ) x = {y [0, 1] : ( x, y) Ek } = {rk /x } ,
consta de un nico punto. Luego m1 (( Ek ) x ) = 0.

El caso rk = 0, es inmediato ya que
Ek = [0, 1] {0} {0} [0, 1] ,

que tambin tiene medida cero por la definicin de medida producto.
Ejercicio 3.5.12 Consideramos el espacio de medida ([0, 1] [0, 1] , L, m2 ) , donde L representa la clase d econjuntos edibles Lebesgue y m2 la medida de Lebesgue. Dado E L denotamos
Ex = {y [0, 1] : ( x, y) E} ,
Ey = { x [0, 1] : ( x, y) E} .
Sea por otro lado m1 la medida de Lebesgue en [0, 1] . Demostrar que si E L cumple m1 ( Ex ) 1/2, c.t.p. x,
entonces se tiene tambin
m1 ({y [0, 1] : m1 ( Ey ) = 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
m2 ( E ) =
Z 1
0
m1 ( Ex ) dx =
Z 1
0
m1 ( Ey ) dy.
De la hiptesis se deduce que

m2 ( E ) =
Z 1
0
m1 ( Ex ) dx
Z 1
1
0
dx =
1
.
2
Sea por otro lado

entonces
por lo tanto
A = {y [0, 1] : m1 ( Ey ) = 1} ,
1
Z 1
0
m1 ( Ey ) dy
m1 ( Ey ) dy =
m1 ( A )
tal y como queramos probar.
1
,
2
1dy = m1 ( A) ,
72
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:
Z
x
F(x) =
FC
f (u) du,
i.e. es una fucin continua y por el TFC sabemos que
F ( x0 ) = f ( x0 )
y que si F C 1 , F : [ a, b] R, entonces:
F ( a) +
Z 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 L1 (d),

t, definimos
Z
F (t) =
f t d ( x )

1. Si f x es continua en t0 , x y g L1 (d) : f t g, t, entonces F es continua en t0 .
2. Si t f , t y g L1 (d) : |t f | g, t, entonces existe F (t) :
Z
Z
F (t) = t
f ( x, t)d =
t f d.
X
Idea de la demostracin. La idea consiste en tomar una sucesin {tn } t0 . Definir gn ( x ) = f tn

lm gn ( x ) = lm f ( x, tn ) = f ( x, t0 )
las funciones gn ( x ) estn acotadas i.e. | gn ( x )| g L1 (d), entonces por el teorema TCD tenemos
que
Z
Z
gn d ( x ) =
f ( x, t0 )d ( x ) = F (t0 )
lm F (tn ) = lm
n
por lo que F es continua en t0 , etc....
n X
73
CAPTULO 4. MEDIDAS Y DERIVADAS.
74
4.2. Diferenciacin de Lebesgue

Definicin 4.2.1 Dada f L1 (d), se define el conjunto de puntos de Lebesgue de f , y lo denotamos por L f
como:
Z
1 x0 + h
L f = x R : lm
| f ( x ) f ( x0 )| d = 0 .
h0 2h x0 h
Definicin 4.2.2 Operador de Hardy-Littlewood.
1
M f ( x ) = sup
2h
h >0
Z x+h
xh
| f (u)| du
Desigualdad: Si f L1 y > 0, entonces:
|{ x R : M f ( x ) > }|
| f | dx.
Lema 4.2.1 Aproximacin por funciones continuas. Si f L1 (R, dx ) dado > 0, g L1 (R, dx )
continua tal que
Z
| f g| dx <
R
Tanto la definicin 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 L1 (R, dx ) definimos
F(x) =
Z 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.

Definicin 4.2.3 Se dice que una funcin medible, f ( x ) es localmente integrable si para todo conjunto acotado D, la restriccin de f a D, i.e. f D es integrable. Se escribe f L1loc (R, dx ) .
Observacin 4.2.1 Ejemplos de este tipo de funciones son f = x2 ,
vlido para este tipo de funciones.
f = e x . El teorema de diferenciacin es
Teorema 4.2.2 Diferenciacin en R n . Si f L1 (R, dx ) , entonces

1
r 0 | Br ( x )|
lm
donde Br ( x ) = {y R n : | x y| < r } .
Br
f (y)dy = f ( x ),
c.t.p.
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) +
Z x
a
F (u) du.
Definicin 4.2.4 Se dice que F es absolutamente continua, escribimos F AC, si > 0, > 0, tal que
toda coleccin de intervalos disjuntos { Ii }i1 , Ii = ( ai , bi ) con | Ii | < , entonces:
| F (bi ) F (ai )| < .
i 1
Se dice que F es localmente absolutamente continua, escribimos F ACloc , si FD AC, D conjunto

medible acotado.
Rx
Si f L1loc (R, dx ) y F ( x ) = a f (u) du entonces F ACloc . De esta forma tenemos el segundo teorema
fundamental del clculo para la teora de Lebesgue.
Teorema 4.2.4 Son equivalentes:
1.
2.
3.
F ACloc ,
f L1loc (R ) tal que
F ( x ) = F ( a) +
Z x
f (u) du,
x, a R.
Z x
F (u) du,
x, a R.
F tiene derivada en c.t.p. F L1loc (R ) y

F ( x ) = F ( a) +
4.3. Teorema de Radon-Nikodym-Lebesgue.

Definicin 4.3.1 Dadas dos medidas y , definidas sobre la misma lgebra M decimos que es absolutamente continua con respeto a (escribimos ) si para todo E M, ( E) = 0, entonces ( E) = 0.
Proposicin 4.3.1 Si dadas dos medidas y , definidas sobre la misma lgebra M tales que y
f inita entonces > 0, > 0 : si E M y ( E) < , entonces ( E) < .
Tenemos as una primera versin del teorema de RN.
Teorema 4.3.1 Si y son dos medidas definidas en M tal que es f inita y f inita. Si
entonces existe una funcin f L1 () tal que
d = f d
i.e.
( E) =
E M.
f d
76
Sea f L1 (d) si definimos
( A) =
entonces:
1.
f d
() = 0,
2. si { Ai } son medibles disjuntos, entonces:

( Ai ) =
f d =
Ai
f d =
( Ai )
i
pero no es medida a menos que f 0.

Definicin 4.3.2 Dada una lgebra M, decimos que : M [, ] es una medida con signo si
verifica:
1.
() = 0,
2.
( A) < , ( A) > , A M.
3.
( Ai ) = i ( Ai ) , { Ai } son medibles disjuntos.
Definicin 4.3.3 Sea una medida con signo en M. Se die que A M es 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, verificndose 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.

2. Jordan. Si definimos
77
( A) = ( A N ) ,
+ ( A) = ( A P) ,
entonces + y son medidas positivas y = + .
Definicin 4.3.4 + y se denominan la variacin positiva y negativa de . Si definimos || = + + 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, 12 , i.e.
1
( A) = m A 0,
2
y es Lebesgue en 21 , 1 , i.e.
1
( A) = m A , 1
2
1
1

entonces , donde E = 0, 2 , y F = 2 , 1 . Este ejemplo funciona bien ya que m 21 = 0. Veamos
ahora la definicin formal.
Definicin 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.
Definicin 4.3.6 Dada medida positiva y con signo se dice que es absolutamente continua con respecto
a ( ) si dado A M con ( A) = 0 se tiene ( A) = 0.
Teorema 4.3.3 Sea una medida f inita y una medida con signo finita, ambas definidas sobre una
lgebra M P ( X ). Entonces
1.
se puede descomponer como

= + ,
tales que y son medidas finitas con signo con
2. Adems f L1 (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
f0 =
d
.
d
78
4.4. Ejercicios
Ejercicio 4.4.1 Sea m la medida de Lebesgue en R. Para E B(R ) definimos ( E) =
conjuntos positivos, negativos y nulos para la medida .
xe x dx. Hallar los
Solucin. Vemos que dm = dx, y que hemos definido

( E) =
se escribe
d = xe x dx,
xe x dx,
2
f = xe x ,
d = f dx,
y vemos que es una medida ya que f L1 (dx ) (recordamos de teora que si es una medida y
f L1 (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
donde
f
de esta forma
xe x
0
f = f + f ,
x>0
,
x0
xex
0
x<0
,
x0
= + ,
donde
d = f dx,
d+ = f + dx,
R = (, 0) [0, ),
entonces
(R ) =
ya que la funcin es impar, mientras que
| | (R ) = + (R ) + (R ) =
xe x dx = 0,
Z
R
x2
xe
=
2
dx
xe x dx = 1,
Ejercicio 4.4.2 Comprobar que un conjunto es nulo sii es || nulo.

Comprobar que sii || .
Comprobar que sii + y .
Solucin. M lgebra, A M es nulo B A, B M se 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 M esto 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 M entonces F = Ec

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 { an } R, n N. Para E N definimos ( E) = nE an . Qu condiciones debe

cumplir an para que sea una medida con signo?. Demostrar que si an 6= 0, n y es una medida con signo la
descomposicin de Hahn para es nica.
Solucin. Sea { an } R, n N. Para E N definimos ( E) = nE an . Supongamos que
an =
(1)n
n
por lo tanto
([0, 2]) =
n E
(R ) =
an =
1
1
(1)n
n = 1 + 2 = 2 ,
n =1
(1)n
= log 2,
n
n =1
an =
n E
80
mientras que si tomamos
(1)2n
2n = ,
n =1
(n : n par ) =
(n : n impar ) =
1
=
2n
1
n =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
an <
a n >0
y tomamos
+ ( A) =
a n <0
an
an >
( A) =
a n >0
an
a n <0
Ejercicio 4.4.4 Sea X = N, M = P (N ), la medida de contar en N, ( E) = nE 21n . Comprobar que

, sin embargo no se verifica 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) =
por ejemplo,
(N ) =
luego es una probabilidad.
1
2n
n E
1
=1
2n
n E
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 finita, no
es finita, de hecho , N :
1
1
({ N, N + 1, ....}) = n = N +1 <
2
2
n N
y sin embargo
({ N, N + 1, ....}) =
Ejercicio 4.4.5 Sea X = [0, 1] , M = B [0,1] , m la medida de Lebesgue en M y la medida de contar en M.
4.4. EJERCICIOS
81
( a) m pero dm 6= 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
dm = f d
i.e.
para alguna f , pero esto no es cierto sea quien sea f , ya que no es verdad que
m( 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 6= 0 entonces existe x0 [0, 1] tal que f ( x0 ) 6= 0. Sea A = { x0 }
m( A) = m ({ x0 }) = 0
pero
Z
f d =
{ x0 }
f d = f ( x0 ) 6= 0
pero entoces qu falla?. debe ser finita para que se cumplan las hiptesis del teorema, para ello
[0, 1] = i Xi ,
( Xi ) <
donde Xi es finita, i Xi es finita o numerable pero [0, 1] no es numerable, por lo tanto [0, 1] 6= i Xi
viendo as que no es finita.
Ejercicio 4.4.6 Sea ( X, M, ) un espacio de medida f inito. Sea N una subalgebra

de MRy la restriccin
R
1
1
de a N . Si f L () demostrar que existe g N -medible, g L () 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 ).
82
Solucin. Que f sea Mmedible y g N medible 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 ). Supongamos
A = { x : f ( x ) 0} N
B N
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
entonces
f d A = 0
A ( B) = A ( B) = 0,
B N
esto implica que existe g L1 (d A ) tal que

Z
f d =
f d A =
gd A =
gd

Ejercicio 4.4.7 Probar que si una medida en R es 0en 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 = Ac con B nulo. Entonces
( E) =
c j E
j
entonces si tomamos c j =

xj =
c j x ( E)
j

x j con j = 1, 2, ... vemos que E R

( E) = ( E A) = j E x j = j x j =
c j = c j E
j

xj
Ejercicio 4.4.8 Sea una medida positiva y una medida con signo definidas 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 = Ec 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) =
eat
sin t
dt,
t
1. Probar que
lm 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)
Z
0
lm eat
sin t
dt =
t
Z
0
0dt = 0.
Vemos que
sin t
0,
t a
| ga (t)| g(t), integrable en (0, )
ga (t) = eat
cunado a , podemos suponer que a > 1 y que por lo tanto
at sin t
et
| ga (t)| = e
t
i.e. podemos tomar como funcin dominante g(t) = et . donde como sabemos
Con respecto al segundo apartado
d
f ( a) =
da
at sin t
dt
at sin t
=
e
dt,
?
nos ponemos a hecharnos unas cuentecillas i.e.
sin t
at sin t
e
= teat
= eat sin t,
a
t
t
por lo tanto
Z
0
at
eat
sin tdt = 2
(cos t + a sin t)
a +1
a2
1
,
+1
R
0
et dt = 1.
84
se integra por partes varias veces y de forma tediosa se llega a este pesado resultado. Vemoslo con un
poco de detalle:
Z
Z
Z
1 at
1
1 at
1
1 at
1
at
at
at
e cos tdt = e sin t
e sin tdt ,
e sin tdt = e sin t
e cos t
a
a
a
a
a
a
donde
1
1
eat cos tdt = eat cos t
a
a
1
1+ 2
a
eat sin tdt,
1
1
eat sin tdt = eat sin t + 2 eat cos t,
a
a
as que simplificando llegamos

Z
eat sin tdt =
a2
1
eat (cos t + a sin t) .
+1
Por lo tanto
f ( a) =
a2
1
.
+1
El problema est en justificar el paso bajo el signo de la integral la derivada parcial. Para ello se debe
justificar que
1.
ga (t) es integrable para todo a,
= eat sin t,
2. Que existe
a g a ( t )
3. y por ltimo que
g a ( t ) g ( t ),
a
a > 0
Pero para ver esto basta tomar > 0, entonces a >
ga (t) = eat sin t et

a
que es integrable. Por lo tanto podemos usar el teoremita a > , > 0 = a > 0.
Observar que
f ( a ) = f (0) +
Z a
0
f (u)du.
f ( x, y) = log x2 + y2 ,
4.4. EJERCICIOS
85
con y (0, 1) y x > 0. Probar que

( x ) =
est bien definida, es continua, que
Z 1
0
Z 1
( x ) =
y calcular explcitamente ( x ).
f ( x, y)dy,
x f ( x, y)dy,
Solucin. Vemos que f es integrable en y x > 0, y que | x f ( x, y)| g, con g integrable,

y 7 f x (y)
es continua y acotada x > 0. Adems

2x 2x
= 2
| x f ( x, y)| 2
2
x + y x2
x
fijamos un > 0 muy pequeo entonces x >
| x f ( x, y)|
integrable en [0, 1] . Por lo tanto existe x >

( x ) =
Z 1
0
f ( x, y)dy,
y de esta forma deducimos que tambin exsite x > 0.

( x ) =
Z 1
= 2
Z 1/x
0
donde el CV viene dado por
Z 1
2
2x
dy =
2
2
x
0 x +y

1
1
du = 2 arctan
2
1+u
x
x f ( x, y)dy =
y
= u,
x
dy = xdu
Ejercicio 4.4.11 Para x R, se define

( x ) =
probar que
Z
0
ey cos xydy,
1
( x ) = x ( x ) ,
2
y que
( x ) =
x2 /4
.
e
2
Z 1
0
1+
1
CV
y 2 dy =
x
86
Solucin. Sabemos que
Z
y2
dy =
entonces si
( x ) =
tenemos que
(x) =
justificado ya que f = e
integrable para todo x.
y2
dy =
,
2
ey cos xydy,
y2
2
x ey cos xy dy,
2
cos xy es continua | f | ey integrable por lo tanto
2
2
| x f | = yey sin xy yey ,
As llegamos a que
( x ) =
y por lo tanto
y2
cos xy dy,
e
(x) =
y queremos probar que
( x )
Z
0
yey sin xydy,
12 x ( x ) , por lo tanto si integramos por partes otenemos el resultado.
Ahora queremos integrar la ODE
1
y = xy,
2
as que
= y = y0 e x
2 /4
pero si tenemos en cuenta que

y0 =
entonces llegamos al resultado deseado
Z
0
( x ) =
y2
dy =
,
2
x2 /4
,
e
2
tal y como queramo hacer ver.
Ejercicio 4.4.12 Definimos la funcin (creciente y continua por la derecha etc...)

x
e
x<0
.
F(x) =
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 + d0 ,
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) = arctan 1 =
dF ((2, 0]) = F (0) F (2) = 2 e2 ,
,
4
dF ({0}) = F (0) F (0 ) = 2 e0 = 1,
dF (R ) = F () F () = 2 + .
2
Con respecto al segundo apartado, sean

x
e
x<0
F1 ( x ) =
,
1 + arctan x x 0
F2 ( x ) =
0 x<0
,
1 x0
entonces F1 y F2 son crecientes, continuas por la derecha y se cumple

F = F1 + F2 ,
por lo tanto
dF = dF1 + dF2 .
Por otro lado, F2 es la funcin de Heavyside (ver segundo captulo) y se deduce que
dF2 = 0 .
Adems, F1 C 1 con
de donde se deduce que
F1 ( x )
ex
1
1+ x 2
x<0
,
x0
dF1 = F1 ( x ) dx,
con lo que se tiene

dF = f ( x )dx + d0 ,
con f ( x ) = F1 ( 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 e0 = 1,
por lo tanto existe = 1, de forma que > 0 encontramos un conjunto medible E con dx ( E) < pero
dF ( E) .
88
Ejercicio 4.4.13 Sea ( X, M, ) un espacio de medida y sea f L1 (d) , f ( x ) 0. Recordamos que se puede
definir sobre M la medida f como
f ( A) =
f ( x ) d ( x ) ,
A M,
i.e.
d f ( x ) = f ( x )d ( x ) .
Probar que > 0, > 0 tal que A M con ( 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, An M
con ( An ) < 1/2n pero f ( A) > . Si Fn =
Ak , se tiene
k=n
( Fn )
( A k ) < 2n .
k=n
Como F1 F2 F3 ..... Fn .... por el TCM (para conjuntos) decreciente
Fn
= lm ( Fn ) = 0,
n
n =1
y por lo tanto
f
Sin embargo
f
lo cual es una contradiccin.
n =1
Fn
Fn
n =1
Fn
f d = 0.
= lm f ( Fn ) lm sup f ( An ) ,
n
Ejercicio 4.4.14 Denotanto por [ x ] la parte entera del nmero x, se define la funcin
F ( x ) = max {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]),
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+n
x<0
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 F ( x ) = 2n = F (n).
x 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 6= 0.
Ejercicio 4.4.15 Sea dF la medida de LS asociada a la funcin
0 x<0
x 0x<1 ,
F(x) =
1 1x
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
si a < b.
F (b) b F ( a) a,
Esto nos dice que F AC ya que
F (b j ) F ( a j )
j
entonces dF dm (por lo resultados expuestos en teora).
bj a j ,
90
Tambin de forma directa usando que
(
dF ( A) = inf
[
dF Ij : Ij A,
Ij = ( 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 finita (dF (R ) = 1) y dm es f inita, entonces
podemos usar el TRN y concluir que f L1 (dx ) tal que dF = f dm. Adems, por el TDL (teorema de
diferenciacin de Lebesgue)
1 0<x<1
f (x) = F (x) =
= (0,1) ( x ) ,
c.t.p.
0
resto
Por ltimo, con respecto al tercer apartado, vemos que por definicin 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, definimos la funcin

gh ( x ) =
y la medida dh = gh dx. Probar que
(x) ,
2h [h,h]
lm h = 0 ,
h 0+
i.e.
lm
h 0+
f dh =
Solucin. Por un lado se tiene, si

F(x) =
entonces
Z
f dh =
cuando h 0+ , por el TFC.
1
2h
Z h
f ( x )dx =
f d0 ,
Z x
0
f continua.
f (t)dt,
F (h) F (h)
F (0) = f (0),
2h
4.4. EJERCICIOS
91
Por otro lado, como ya sabemos,

Z
esto nos da la igualdad pedida.
f d0 = f (0),
Ejercicio 4.4.17 Se considera la funcin

F(x) =
1 2
2x
x<0
0x<1 ,
1x
y sea dF la medida de LS definida 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 L1 (dm) y dm.
Solucin. Vemos que dF no es absolutamente continua con respecto a dm ya que dm ({1}) = 0, mientras que
1
1
dF ({1}) = F (1+ ) F (1 ) = 1 = 6= 0.
2
2
Observar que
Z 1
0
xdx =
1 2 1
1
x = .
2 0
2
Definimos para A B , d( A) = 1/2, si 1 A y d( A) = 0 caso contrario. Sea tambin
x 0<x<1
f (x) =
,
0 x
/ [0, 1]
observndose que
f ( x ) = F ( x ),
Entonces
x R \ {1} .
dF = f dm + d
es la descomposicin de RN buscada ya que f L1 (dm) , tiene soporte en el conjunto {1} y por lo
tanto dm cumplindose as
dF (( a, b]) =
Z b
a
f ( x )dx + d(( a, b]),

Apuntes Teoria Medida

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes Teoria Medida

Cargado por

Copyright:

Formatos disponibles

Apuntes de Teora de la Medida

1.1. Espacio de Medida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Integracin de funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Integracin para una funcin medible arbitraria. . . . . . . . . . . . . . . . . . . . . . . .

1.4. Sobre las funciones simples y su integral . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5.1. Sobre lgebras. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5.2. Sobre medidas y cojuntos medibles. . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5.3. Sobre funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5.4. Sobre integracin y teoremas de convergencia. . . . . . . . . . . . . . . . . . . . .

2.1. Espacios de medida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Ejemplos de medida de Lebesgue-Stieljes. . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Medidas de Borel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4. Medidas regulares en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5. Dos resulatados sobre la medida e integral de Lebesgue. . . . . . . . . . . . . . . . . . .

2.6.1. Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6.2. Medidas de Lebesgue-Stieltjes (L-S) . . . . . . . . . . . . . . . . . . . . . . . . . .

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 . . . . . . . . . . . . . . .

3.2. Medidas inducidas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3. Medidas producto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4. Teorema de Fubini. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4.1. Aplicaciones del teorema de Fubini. . . . . . . . . . . . . . . . . . . . . . . . . . .

4.2. Diferenciacin de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.3. Teorema de Radon-Nikodym-Lebesgue. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A es cerrada por complementacin i.e. A A = Ac A,

A es cerrada por uniones numerables, finitas o no, i.e.

Observacin 1.1.1 A = P ( X ), es siempre lgebra.

Ejemplo 1.1.1 Veamos unos cuantos ejemplos.

CAPTULO 1. INTEGRAL DE LEBESGUE

Lema 1.1.2 Dada f : X R, Amedible, la familia

es una lgebra en R. Por lo tanto contiene a BR ya que ( a, ) M f , a R por definicin.

Observacin 1.1.2 La definicin de funcin medible es equivalente a pedir que:

Ntese que f + = max ( f , 0) y f = mn ( f , 0) .

1.1. ESPACIO DE MEDIDA.

De igual forma se comprueba que si { f n } es una sucesin de funciones medibles entonces

Definicin 1.1.5 Espacio de Medida. Llamaremos espacio de medida a toda terna ( X, A, ).

Ejemplo 1.1.2 Veamos algunos ejemplos de medidas

card( A) si card( A) <

CAPTULO 1. INTEGRAL DE LEBESGUE

1. Si A, B A, tal que A B, entonces ( A) ( B) . Adems si ( B) < , se tiene que

3. Si A1 A2 .... An An+1 ..., An A, n, y ( A1 ) < , entonces

1.2. Integracin de funciones medibles.

donde estamos suponiendo que A j < .

donde el supremo puede valer .

1.2. INTEGRACIN DE FUNCIONES MEDIBLES.

Observacin 1.2.2 Se observa trivialmente que:

2. si f , g son medibles tales que 0 f g, entonces

Ejemplo 1.2.1 Sea

donde C representa la funcin indicatriz del conjunto de Cantor.

Corolario 1.2.1 Sea ( gn )

Como consecuencia del TCM se tiene adems que

CAPTULO 1. INTEGRAL DE LEBESGUE

Lema 1.2.2 Fatou. Sea ( f n )

Ejemplo 1.2.2 Sea

pero vemos que

1.3. Integracin para una funcin medible arbitraria.

Observacin 1.3.1 Si f es medible y f = f + f , entonces

As que f ser integrable sii

1.3. INTEGRACIN PARA UNA FUNCIN MEDIBLE ARBITRARIA.

Observacin 1.3.2 Propiedades de la integral.

Observacin 1.3.3 Conjuntos de medida cero.

y dado un > 0, entonces

Por ejemplo si A = { x } entonces