Introduccion a La Teoria de La Medida e
Introduccion a La Teoria de La Medida e
Introduccion a La Teoria de La Medida e
1
Prólogo
El origen de este trabajo fue la necesidad de tener una referencia de carácter ele-
mental, autocontenida y actualizada, que sirva como guía en la implementación
de cursos en la materia o bien para los estudiantes. Las notas están dirigidas
principalmente para aquellos alumnos de los últimos semestres de licenciatura
en matemáticas (aplicadas) o los primeros semestres de maestría en matemáti-
cas (aplicadas). Por lo tanto, se asume una cierta madurez matemática por parte
del alumno, en el manejo de los conceptos básicos del cálculo y de los espacios
métricos.
2
jugado un papel especial en esta tarea Gerardo, Toño, Hernán, Rita y Rogelio
Aarón. Gracias, pues ustedes en alguna medida han contribuido a que un sueño
se convierta en realidad.
El autor
3
Chapter 1
Preliminares
Con el fin de hacer las notas lo más autocontenidas posible en este capítulo se
introduce notación y algunos resultados de la teoría de conjuntos, conjuntos nu-
merables y espacios métricos. En particular, el lema 1.2 y el teorema 1.1 jugarán
un papel importante.
1.1 Conjuntos
Como es costumbre, por
N = {1, 2, 3, ...},
Z = {..., −2, −1, 0, 1, 2, ...},
nm o
Q = : m ∈ Z, n ∈ N
n
y
R = completación de Q
se denotarán los números naturales, enteros, racionales y reales, respectivamente.
Por R+ se indicará el conjunto de los números reales no negativos.
La colección de todos los subconjuntos de un conjunto X se llama conjunto
potencia y se denotará por P (X ). Nótese que el conjunto vacío ∅ es un elemento
de P (X ). Si C es una colección de subconjuntos de X definimos
[
A = {x : x ∈ A para algún A ∈ C } ,
A∈C
\
A = {x : x ∈ A para todo A ∈ C } .
A∈C
1
1.1. Conjuntos
\
Aα = {x : x ∈ Aα para todo α ∈ I} .
α∈I
donde B ⊂ X .
Decimos que una colección {Aα : α ∈ I} es ajena si para cualesquiera α, β ∈ I,
α 6= β, se cumple que Aα ∩ Aβ = ∅.
Una colección ajena {Aα : αS ∈ I} de subconjuntos de X es una partición para
X si Aα 6= ∅, para todo α ∈ I, y α∈I Aα = X .
Sean A, B ⊂ X . La diferencia de A menos B se define como
A\B = {x ∈ A : x ∈
/ B} .
X × Y = {(x, y) : x ∈ X , y ∈ Y } .
c
f −1 (B c ) = f −1 (B) ,
[ [
−1
f Bα = f −1 (Bα ) ,
α∈I α∈I
2
1.1. Conjuntos
\ \
−1
f Bα = f −1 (Bα ) .
α∈I α∈I
Problemas
donde {Aα : α ∈ I} ⊂ P (X ).
3
1.2. Conjuntos numerables y suma de números no negativos
4
1.2. Conjuntos numerables y suma de números no negativos
5
1.2. Conjuntos numerables y suma de números no negativos
Por lo tanto, X XX
aα ≤ aα . (1.5)
α∈I β∈L α∈Pβ
P
Veamos la desigualdad
P contaria a (1.5). Basta considerar el caso α∈I aα <
∞, esto implica que α∈Pβ aα < ∞ para cada β ∈ L. Sea ǫ > 0 y G ⊂ L finito.
Existe Fǫ,β ⊂ Pβ finito tal que
X ǫ X
aα − ≤ aα ,
α∈Pβ
nG α∈F
ǫ,β
Para una versión más general del concepto de suma ver el Capítulo IX de
Jacques Dixmier, General
P P∞ Springer1984. Si {an : n ∈ N} ⊂ R+ , de (1.4)
Topology,
es inmediato que n∈N an = n=1 an .
Una sucesión doble en R es una función f : N × N → R. El valor de (m, n) bajo
f lo denotaremos por amn y representaremos a f por (amn ).
X
∞ X
∞ X
∞ X
∞
ank = ank .
n=1 k=1 k=1 n=1
6
1.2. Conjuntos numerables y suma de números no negativos
Problemas
Problema 12 Sean f : [0, 1] → R y M > 0 tal que si x 1 , ..., x n ∈ [0, 1], entonces
| f (x 1 ) + · · · + f (x n )| ≤ M .
7
1.3. Espacios métricos
Un conjunto A ⊂ X se llama conjunto abierto si para cada a ∈ A existe r > 0 tal que
B (a, r) ⊂ A. La colección de todos los conjuntos abiertos de X la denotaremos por
τ (o por, τX ) y la llamaremos topología. Un conjunto F ⊂ X se llama cerrado si
F c es abierto. Si F ⊂ X , por F denotaremos al mínimo cerrado que contiene a F .
Un conjunto D ⊂ X se dice denso en X si para cualesquiera x ∈ X y r > 0 se tiene
que B (x, r) ∩ D 6= ∅. X se dice separable si existe un conjunto denso contable.
Esto indica que, B (a(x), 1/m(x)) ⊂ B (x, r). Puesto que la colección {B(a, 1/m) :
a ∈ D, m ∈ N} es contable, entonces {B(a(x), 1/m(x)), x ∈ U} es contable, y
U = ∪ x∈U B (a (x) , 1/m (x)). Para cada B (a, 1/m) en {B(a(x), 1/m(x)) : x ∈ U}
tómese un O en C tal que B (a, 1/m) ⊂ O , esto forma una subcolección contable
C ′ de C que cumple lo deseado.
8
1.3. Espacios métricos
Problemas
9
1.3. Espacios métricos
si x = (x 1 , . . . , x n ), y = ( y1 , . . . , yn ).
Problema 21 Sea (x n ) una sucesión en el espacio métrico X , tal que las subsuce-
siones (x 2n ), (x 2n+1 ) y (x 3n ) son convergentes. Demostrar que (x n ) es convergente.
Problema 22 Dar un ejemplo de una sucesión que tenga un único valor adherente
pero que no sea convergente.
Problema 23 Sea (x n ) una sucesión en R. Demostrar que lim inf x n y lim sup x n
son el mínimo y máximo de los valores adherentes de (x n ).
10
Chapter 2
Colecciones de conjuntos
2.1 σ-Álgebras
Definición 2.1 Sea X un conjunto. Una colección de subconjuntos A de X se llama
σ-álgebra si:
(i) X ∈A.
(ii) Si A ∈ A , entonces Ac ∈ A .
(iii) Si (An ) es una sucesión en A , entonces ∪∞n=1 An ∈ A .
La pareja ordenada (X , A ) se llama espacio medible. Un elemento de la colección A
se llama conjunto A -medible o simplemente conjunto medible, si no hay confusión.
11
2.1. σ-Álgebras
A = {A ⊂ X : A es contable o Ac es contable}.
∞ c
[ \
∞
An = Acn ⊂ Acn ,
0
n=1 n=1
es contable. Así ∪∞
n=1 An ∈ A .
Lema 2.1 Sea U un conjunto abierto en R no vacío. Entonces existe una colección
contable de intervalos abiertos ajenos cuya unión es U.
12
2.1. σ-Álgebras
[ [
∞
U= Ix = I x(n) .
x∈U n=1
Teorema 2.2 Denotaremos por C ((a, b)) a la colección de todos los intervalos abier-
tos en R, las colecciones de conjuntos C ([a, b]), C ([a, b)), C ((a, b]), C ((a,+∞)),
C ([a,+∞)), C ((−∞, a)) y C ((−∞, a]) se definen de manera análoga. Entonces
13
2.1. σ-Álgebras
Sea U ∈ τ, entonces U = ∪∞ n=1 (U ∩ (−n, n)). Por el lema 2.1 tenemos que el
abierto U ∩ (−n, n) es unión contable de intervalos abiertos de la forma (a, b),
en consecuencia U ∈ σ (C ((a, b))) . Por lo tanto, τ ⊂ σ (C ((a, b))) . De las ex-
presiones dadas anteriormente, para los diferentes tipos de intervalos, tenemos
que:
Ejemplo 2.6 La σ-álgebra generada por la colección {A, {−∞}, {+∞} : A ∈ B(R)}
se denotará por B(R) y la llamaremos σ-álgebra de Borel extendida.
Problemas
Problema 25 Demostrar que B(R) = σ(C ((a, +∞])) = σ(C ((a, b))).
14
2.2. Clases monótonas y álgebras
15
2.2. Clases monótonas y álgebras
F = {A ⊂ X : A es finito o Ac es finito}.
Nótese que ∅ está en C (R) y que C (R) es cerrada bajo intersecciones, es decir,
si I, J ∈ C (R), entonces I ∩ J ∈ C (R).
es una álgebra en R.
16
2.2. Clases monótonas y álgebras
con {I i : i = 1, ..., n} una colección ajena en C (R). Bajo estas circunstancias, los
intervalos I i son de la forma (ai , bi ], (0, 1) = ∪ni=1 (ai , bi ]. Sea bn = max{bi : i =
1, ..., n}, entonces bn ∈ ∪ni=1 (ai , bi ] = (0, 1). Por lo tanto, 0 < bn < 1. Tomemos
un 0 < bn < x < 1. Así, x ∈ (0, 1) = ∪ni=1 (ai , bi ]. Por ende, existe i0 ∈ {1, ..., n} tal
que x ∈ (ai0 , bi0 ]. En consecuencia, bn < x ≤ bi0 . Lo que contradice la definición
de bn .
La colección F (R) no es una σ-álgebra, puesto que C (R) ⊂ F (R) y
∞
[
1
(0, 1) = 0, 1 − .
n=1
n
Por otra parte, del teorema 2.2 se sigue que σ(F (R)) = B(R). En efecto,
B(R) = σ(C ((a, b])) ⊂ σ(C (R)) ⊂ σ(F (R)) ⊂ σ(B(R)) = B(R).
Lema 2.4 Si F es una álgebra y una clase monótona, entonces F es una σ-álgebra.
Demostración. Para mostrar que F es una σ-álgebra falta ver que se cumple
la condición (iii) de la definición 2.1. Sea (An ) una sucesión en F y definamos
Bn = ∪nk=1 Ak , para cada n ∈ N. Entonces Bn ∈ F , pues F es una álgebra. Además,
por ser (Bn ) una sucesión monótona creciente y F una clase monótona tenemos
que ∪∞ ∞
n=1 An = ∪n=1 Bn ∈ F .
Demostración. Por el lema 2.2 tenemos que σ(F ) es una clase monótona
y además F ⊂ σ(F ), entonces m(F ) ⊂ σ(F ). Para mostrar la otra contención
17
2.3. π-Sistemas y d-sistemas
basta ver que m(F ) es una álgebra, esto por el lema 2.4. Tomemos un E ∈ m(F ),
arbitrario fijo, y definamos la colección
F ∈ M E si y sólo si E ∈ M F . (2.8)
Veamos que M E = m(F ). Para esto basta mostrar que F ⊂ M E . Sea pues
F ∈ F , por ser F una álgebra F ⊂ M F , por lo tanto M F = m(F ). Luego E ∈
m(F ) = M F , implica F ∈ M E , por (2.8).
Sean E, F ∈ m(F ), entonces F ∈ m(F ) = M E , por lo tanto E\F, E ∪ F, F \E ∈
m(F ), es decir, m(F ) es cerrada bajo intersecciones finitas y complementos rela-
tivos (además X ∈ m(F )).
Problemas
Problema 40 Dar un ejemplo de una álgebra numerable (comparar esto con el ejer-
cicio 33).
18
2.3. π-Sistemas y d-sistemas
Corolario 2.1 Si F es una álgebra cerrada bajo uniones numerables crecientes, en-
tonces F es una σ-álgebra.
19
2.3. π-Sistemas y d-sistemas
Para verificar (2.10) es suficiente con mostrar que C ⊂ LA. Sea B ∈ C , entonces
por ser C un π-sistema C ⊂ LB , por lo tanto LB = d(C ). Pero A ∈ d(C ) = LB ,
implica B ∈ LA, por (2.9).
Ahora, si A, B ∈ d(C ), por (2.10) resulta A ∈ d(C ) = LB , así A ∩ B ∈ d(C ).
Problemas
20
Chapter 3
Medidas
es una medida en A .
21
3.1. Propiedades básicas de las medidas
por lo tanto, µ(∅) = 0. Es decir, excepto por las medidas del ejemplo 3.1, todas
las funciones no negativas σ-aditivas cumplen la condición (i) de la definición
3.1.
Ejemplo 3.5 En (R, B(R)) se mostrará (ver la sección 4.4) que existe una medida
λ en B(R) tal que λ((a, b]) = b − a. Esta medida se llama medida de Borel.
Ejemplo 3.6 Sea f : R → R una función creciente. Existe (ver la sección 4.4) una
medida λ f en B(R) tal que λ f ((a, b]) = f (b+) − f (a+). La función λ f se llama
medida de Borel-Stieltjes generada por f .
22
3.1. Propiedades básicas de las medidas
Por lo tanto, µ(F ) ≥ µ(E), ya que µ(F \E) ≥ 0. Si µ(E) < +∞, entonces podemos
despejar µ(F \E) en (3.2).
Proposición 3.1 Sea (En ) una sucesión en P (X ). Además, sean las sucesiones (Bn )
y (An ) definidas por, Bn = ∪ni=1 Ei , n ∈ N y A1 = E1 , An = En \ ∪n−1
i=1 Ei , n ≥ 2.
Entonces (Bn ) es creciente, (An ) es ajena y
[
∞ [
∞ [
∞
Bn = En = An .
n=1 n=1 n=1
23
3.1. Propiedades básicas de las medidas
(ii) : En este caso consideraremos la sucesión creciente (En0 \En )n≥n0 . Por la parte
(i) y el lema 3.1 resulta que
∞
\ \∞
µ(En0 ) − µ En = µ E n0 \ En
n=1 n=n0
[
∞
= µ (En0 \En )
n=n0
= lim µ(En0 \En ) = µ(En0 ) − lim µ(En ).
n→∞ n→∞
λ((n, +∞)) = λ( ∪∞
k=n (n, n + k]) = lim λ((n, n + k]) = lim k = +∞.
k→∞ k→∞
24
3.1. Propiedades básicas de las medidas
Por lo tanto, limk→∞ λ((n, +∞)) = +∞ 6= 0 = λ(∅) = λ( ∩∞ n=1 (n, +∞)). Esto
muestra la necesidad de la hipótesis extra en la parte (ii) del lema precedente.
Sin embargo, tenemos en general que si (X , A , µ) es un espacio de medida y (En )
una sucesión en A , entonces
µ ∩∞n=1 E n ≤ lim inf µ(En ). (3.6)
n→∞
Proposición 3.2 Sea µ una medida σ-finita en (X , A ). Entonces existe una suce-
sión creciente (ajena, respectivamente) (Bn ) en A tal que X = ∪∞
n=1 Bn , con µ(Bn ) <
+∞, para cada n ∈ N.
Problemas
es una medida.
Problema 49 Sea γ una medida en B(R), tal que es invariante bajo traslaciones
(es decir, γ(A + a) = γ(A), ver el ejercicio 27) y γ(R) < +∞. Demostrar que γ = 0.
25
3.2. Medidas finitas y medidas en álgebras
26
3.2. Medidas finitas y medidas en álgebras
27
3.2. Medidas finitas y medidas en álgebras
Problemas
Problema 58 Si lim sup An = lim inf An la sucesión (An ) se dice convergente. De-
mostrar que toda sucesión monótona (An ) es convergente. Dar un ejemplo de una
sucesión (An ) que no sea monótona pero que sea convergente.
28
3.3. Completación de un espacio de medida
Af= A ∪ N = {A ∪ N : A ∈ A , N ∈ N }.
A1 ∪ N1 = A2 ∪ N2 .
29
3.3. Completación de un espacio de medida
A1 ⊂ A1 ∪ N1 = A2 ∪ N2 ⊂ A2 ∪ B2 .
y además
∞ X
[ ∞
µ Bn ≤ µ(Bn ) = 0.
n=1 n=1
De esta forma ∪∞ f
n=1 (An ∪ Nn ) ∈ A .
Veamos que µ e es una medida. Sea (An ∪ Nn ) una sucesión ajena en Afy sea
(Bn ) una sucesión en A , tal que Nn ⊂ Bn y µ(Bn ) = 0, para cada n ∈ N. Puesto
que (An ) es también una sucesión ajena, resulta
∞ ∞
[ [
e
µ (An ∪ Nn ) = µ An
n=1 n=1
X
∞ X
∞
= µ(An ) = e(An ∪ Nn ),
µ
n=1 n=1
e(A ∪ N ) = ν(A ∪ N ).
Por lo tanto, µ
30
3.4. Unicidad de medidas σ-finitas en π-sistemas
Problemas
Lema 3.5 Sean µ y ν dos medidas finitas en (X , σ(C )), donde C es un π-sistema.
Si X ∈ C y µ coincide con ν en C , entonces µ = ν.
Teorema 3.3 Sean µ y ν dos medidas en (X , σ(G )), donde G es un π-sistema cer-
rado bajo uniones finitas. Si µ y ν son σ-finitas en G (es decir, los conjuntos An en
la definición 3.2 están en G ), X ∈ G y µ coincide con ν en G , entonces µ = ν.
31
3.5. Medidas en espacios métricos
= lim µn (Cn ∩ A)
n→∞
= lim νn (Cn ∩ A) = ν(A),
n→∞
es decir, µ = ν.
Problemas
Problema 66 Sea γ una medida definida en B(R), tal que γ((0, 1]) = 1 y γ(A +
b) = γ(A) para cualesquiera A ∈ B(R) y b ∈ R. Demostrar que γ = λ. (Véase el
ejercicio 27.)
Cuando las medidas son finitas podemos dar algunos resultados generales.
Teorema 3.4 Sea µ una medida finita en (X , B(X )). Entonces µ es regular exteri-
ormente, más aún
32
3.5. Medidas en espacios métricos
Demostración. Sea
33
3.5. Medidas en espacios métricos
entonces X = ∪∞
k=1
B(x k , 1/n). Por lo tanto,
[
m
1
µ(X ) = lim µ B xk, ,
m→∞
k=1
n
N (n)
Sea K = ∩∞n=1 ∪k=1 B(x k , 1/n), entonces K es un espacio métrico completo ((3.14.5)
de [13]). Además, de
N[
(m) N[(m) N[(m)
1 1 1
K⊂ B xk, ⊂ B xk, ⊂ B xk, , ∀m ≥ 2.
k=1
m k=1
m k=1
m−1
implica
X
∞
ǫ ǫ
µ(K c ) ≤ n+1
= .
n=1
2 2
Sea A ∈ B(X ). Por (3.13) existe F ⊂ A cerrado tal que µ(A) ≤ µ(F ) + ǫ/2. Sea
F ′ = F ∩ K, entonces F ′ es compacto ((3.17.3) de [13]) y
Problemas
34
3.5. Medidas en espacios métricos
35
Chapter 4
Extensión de medidas
4.1 Longitud
La longitud de un intervalo (a, b] es b − a. Sin embargo, si A ⊂ R no es fácil, en
general, asignarle una longitud, si es que esto es posible. Iniciamos definiendo la
función longitud λ en el π-sistema C (R) (ver la página 16) como
n
Lema 4.1 (i) Sea ((ak , bk ]) Pk=1 una sucesión finita de intervalos ajenos tal que ∪nk=1
n
(ak , bk ] ⊂ (a, b], entonces k=1 λ((ak , bk ]) ≤ λ((a, b]).
(ii) Sea ((ck , dk ])nk=1 una sucesión finita de intervalos,
Pn no necesariamente ajenos, tal
que (c, d] ⊂ ∪nk=1 (ck , dk ], entonces λ((c, d]) ≤ k=1 λ((ck , dk ]).
36
4.1. Longitud
Pn Pn−1
∪n−1 (c , d ]. Por la hipótesis de inducción, k=1 λ((ck , dk ]) = k=1 λ((ck , dk ]) +
k=1 k k
λ((cn , dn ]) ≥ λ((c, cn ]) + λ((cn , dn ]) ≥ λ((c, d]).
Lema 4.2 Sea (I n ) una sucesión ajena en C (R), ∪∞n=1 I n ∈ C (R), entonces
∞ X
[ ∞
λ In = λ(I n ). (4.1)
n=1 n=1
37
4.1. Longitud
Demostración. Sea (Ak ) una sucesión ajena en F (R) tal que ∪∞ A ∈ F (R).
k=1 k
mk k k mk
Por lo tanto, ∪∞ A
k=1 k
= ∪ n
I y A
i=1 i S k = ∪ J , con (I ) n
i i=1 , (J )
j j=1 colecciones
∞ j=1 Pj
n
ajenas en C (R). Por (4.3), λ k=1 Ak = i=1 λ (I i ). Aplicando el lema 1.1
obtenemos
[
∞ n X
X ∞ X mk
λ Ak = λ(I i ∩ J jk )
k=1 i=1 k=1 j=1
X n X
∞ X mk
= λ(I i ∩ J jk )
k=1 i=1 j=1
X
∞ X mk Xn
= λ(I i ∩ J jk )
k=1 j=1 i=1
X
∞ X
mk X
∞
= λ(J jk ) = λ (Ak ) .
k=1 j=1 k=1
Nótese que a conjuntos tan sencillos como (0, 1) aún no les podemos asig-
nar una longitud pues (0, 1) ∈
/ F (R). Así, el objetivo es generar una medida de
longitud, a través de λ, en B(R) que coincida con λ en F (R). De esta forma
(0, 1) ∈ B(R) y por lo tanto tendría una medida de longitud, que sería 1 debido
al ejercicio 47. Veremos que esto es posible en las siguientes secciones.
Problema
38
4.2. Extensión de medidas
A ∗ = {A ⊂ X : µ∗ (E) = µ∗ (E ∩ A) + µ∗ (E ∩ Ac ), ∀E ⊂ X } ,
39
4.2. Extensión de medidas
Lema 4.4 Sea (Ak )nk=1 , n ∈ N ∪ {+∞}, una sucesión en A ∗ ajena. Entonces
[
n X
n
∗
µ E∩ Ak = µ∗ (E ∩ Ak ) (4.5)
k=1 k=1
para cada E ⊂ X .
40
4.2. Extensión de medidas
Demostración. Debido al lema 2.4 basta con mostrar que A ∗ es una clase
monótona. Sea (Bk ) una sucesión creciente en A ∗ y E ⊂ X . La sucesión (An ), con
A1 = B1 y An = Bn \Bn−1 , n ≥ 2, es una sucesión ajena en A ∗ y ∪∞ ∞
n=1 An = ∪n=1 Bn .
Usando la propiedad σ-subaditividad de µ∗ y el lema 4.4, resulta
c
[
∞ [
∞
µ∗ (E) ≤ µ∗ E ∩ Ak + µ∗ E ∩ Ak
k=1 k=1
c
X
∞ [
∞
= µ∗ (E ∩ Ak ) + µ∗ E ∩ Ak
k=1 k=1
c
[
n [
∞
∗ ∗
= lim µ E∩ Ak +µ E∩ Ak
n→∞
k=1 k=1
c
[n [n
∗ ∗
≤ lim µ E∩ Ak +µ E∩ Ak = µ∗ (E).
n→∞
k=1 k=1
Por lo tanto, ∪∞ B = ∪∞
k=1 k
A ∈ A ∗ . Si (Bn ) es una sucesión decreciente en A ∗ ,
k=1 k
entonces (Bnc ) es creciente, por lo tanto (∩∞ c ∞ c ∗
n=1 Bn ) = (∪n=1 Bn ) ∈ A .
∗
Para mostrar que µ es una medida basta tomar E = X en (4.5).
Veamos la completez del espacio de medida (X , A ∗ , µ∗ ). Sea A ⊂ X y B ∈ A ∗ ,
con A ⊂ B, µ∗ (B) = 0 y E ⊂ X arbitrario. Ya que E ∩ A ⊂ E ∩ B, E ∩ Ac ⊂ E, de la
propiedad de σ-subaditividad de µ∗
µ∗ (E) ≤ µ∗ (E ∩ Ac ) + µ∗ (E ∩ A)
≤ µ∗ (E) + µ∗ (E ∩ B) = µ∗ (E).
Por lo tanto, A ∈ A ∗ .
41
4.2. Extensión de medidas
P∞
A n ⊂ ∪∞ H y k=1 µ(H n,k )≤ µ∗ (An ) + ǫ2−n , n ∈ N. Así, ∪∞
k=1 n,k
∞ ∞
n=1 An ⊂ ∪n=1 ∪k=1
H n,k , y el lema 1.1 implica
∞ X
∞ X
[ ∞
∗
µ An ≤ µ(H n,k )
n=1 n=1 k=1
∞
X ǫ X ∗
∞
∗
≤ µ (An ) + = µ (An ) + ǫ.
n=1
2n n=1
Por ser ǫ > 0 arbitrario obtenemos que µ∗ es una medida exterior. Veamos que
A ⊂ A ∗ . Sea A ∈ A P y E ⊂ X arbitrario. Sea ǫ > 0, entonces existe (H n ) en A
∞
tal que E ⊂ ∪∞ H
n=1 n y ∗ ∞
n=1 µ(H n ) ≤ µ (E) + ǫ. Por lo tanto, E ∩ A ⊂ ∪n=1 (H n ∩ A)
y E ∩ Ac ⊂ ∪∞ c c
n=1 (H n ∩ A ), con H n ∩ A, H n ∩ A ∈ A , pues A es una álgebra. Por
∗
la definición de µ y su propiedad de σ-subaditividad resulta,
µ∗ (E) ≤ µ∗ (E ∩ A) + µ∗ (E ∩ Ac )
X
∞ X∞
≤ µ(H n ∩ A) + µ(H n ∩ Ac )
n=1 n=1
X
∞
= (µ(H n ∩ A) + µ(H n ∩ Ac ))
n=1
X
∞
= µ(H n ) ≤ µ∗ (E) + ǫ.
n=1
Teorema 4.4 (Unicidad de la extensión de Hahn) Sea µ una medida σ-finita definida
en una álgebra A . Entonces existe una única extensión de µ a una medida definida
en la σ-álgebra A ∗ .
42
4.2. Extensión de medidas
X
∞ X
∞
≤ ν(H n ) = µ(H n ).
n=1 n=1
µ∗ (B) = µ∗ (X ) − µ∗ (B c )
≤ ν(X ) − ν(B c ) = ν(B).
Esto implica, µ∗ = ν en A ∗ .
Caso µ es σ-finita en A . De la proposición 3.2 tenemos que existe una suce-
sión monótona creciente (Bn ) en A tal que X = ∪∞ n=1 Bn y µ(Bn ) < +∞, para
cada n ∈ N. Para cada n ∈ N defínanse las medidas µn : A ∩ Bn → R+ y
µ∗n , νn : A ∗ ∩ Bn → R+ , como
X
∞ X
∞
∗
(µn ) (A) ≤ µn (Gk ∩ Bn ) ≤ µ(Gk ),
k=1 k=1
por ende (µn )∗ (A) ≤ µ∗ (A) = µ∗n (A). Veamos que A ∗ ∩ Bn = (A ∩ Bn )∗µ , donde el
n
subíndice indica que la σ-álgebra exterior es con respecto a µn . Sea A ∈ A ∗ ∩ Bn
y E ⊂ Bn . Puesto que, µ∗n = (µn )∗ en P (Bn ),
µ∗ (E) = µ∗ (E ∩ A) + µ∗ (E ∩ (X \A))
≤ µ∗ (E ∩ A) + µ∗ (E ∩ (Bn \A)) + µ∗ (E ∩ (X \Bn ))
= µ∗n ((E ∩ Bn ) ∩ A) + µ∗n ((E ∩ Bn ) ∩ (Bn \A))
+µ∗ (E ∩ (X \Bn ))
= µ∗n (E ∩ Bn ) + µ∗ (E ∩ (X \Bn )) = µ∗ (E).
43
4.3. Un resultado de aproximación y la relación entre Afy A ∗
Problemas
Teorema 4.5 Sea µ una medida σ-finita definida en una álgebra F y sea ν una
medida extensión de µ definida en σ(F ). Si A ∈ σ(F ), con ν(A) < +∞, entonces
para cada ǫ > 0 existe B ∈ F tal que ν(A△B) < ǫ.
44
4.3. Un resultado de aproximación y la relación entre Afy A ∗
Veamos que M es una clase monótona. Sea (An ) una sucesión creciente en M y
ǫ > 0. Usando el lema 3.2 y debido a que µ(X ) = ν(X ) < +∞, existe N tal que
ν(∪∞ ∞
n=1 An ) − ν(AN ) = ν((∪n=1 An )\AN ) < ǫ/2. Como AN ∈ M , entonces existe
BN ∈ F tal que ν(AN △BN ) < ǫ/2. En consecuencia, véase el ejercicio 9,
∞ ∞
[ [
ν An △BN ≤ ν An \AN + ν(AN △BN ) < ǫ.
n=1 n=1
Así ∪∞
n=1 An ∈ M . De igual forma se ve que M es cerrada bajo sucesiones decre-
cientes. Puesto que F ⊂ M , entonces por el teorema 2.3 resulta que σ(F ) =
m(F ) ⊂ M ⊂ σ(F ).
Caso µ medida σ-finita. Existe una sucesión (Bn ) en F tal que Bn ↑ X y
µ(Bn ) < +∞, para cada n ∈ N. Sean A ∈ σ(F ), ν(A) < +∞, y ǫ > 0. Ya que
A∩ Bn ↑ A, entonces existe N tal que ν(A) − ν(A∩ BN ) < ǫ/2. Puesto que la medida
νN (C) = ν(C ∩ BN ), C ∈ σ(F ) es finita, por la primera parte existe B ∈ F tal que
νN (A△B) = ν((A△B) ∩ BN ) < ǫ/2. Entonces B ∩ BN ∈ F y
Lo que nos muestra que los valores de la medida extensión ν no están muy lejos
de los valores de la medida extendida µ.
Ahora veamos qué relación existe entre las σ-álgebras Af(ver la sección 3.3)
y A ∗.
45
4.3. Un resultado de aproximación y la relación entre Afy A ∗
X
∞
1 X
∞
1
∗
µ(H n,k ) ≤ µ (B) + , µ(L n,k ) ≤ µ∗ (B c ) + .
k=1
n k=1 n
Sean Cn = ∪∞ H y A n = ∩∞
k=1 n,k
L c . Nótese que An , Cn ∈ A y An ⊂ B ⊂ Cn .
k=1 n,k
Además
X
∞
µ(C) ≤ µn (Cn ) = 0
n=1
Problemas
46
4.4. Medida de Lebesgue
47
4.4. Medida de Lebesgue
Corolario 4.1 Si A ∈ F (R)∗ , con λ∗ (A) < +∞, y ǫ > 0, entonces existe un
conjunto abierto U que es unión finita de intervalos abiertos finitos ajenos tal que
λ∗ (A△U) < ǫ.
Demostración. Supongamos primero que λ∗ (A) < +∞. Sea ǫ > 0. Ya que
∞
[
∗ ∗
λ (A) = λ ([−n, n] ∩ A)
n=1
= lim λ∗ ([−n, n] ∩ A) (4.9)
m→∞
48
4.4. Medida de Lebesgue
= λ∗ (Kǫ ).
Así,
λ∗ (K1 ) ≥ λ∗ (A ∩ [−n, n]) − 1 ≥ (m + 1) − 1 = m,
es decir, sup{λ∗ (K) : K ⊂ A, K compacto} ≥ m. Por ser m ∈ N arbitrario obten-
emos la igualdad (4.8).
Nótese que los límites lim x→−∞ f (x) y lim x→+∞ f (x) pueden ser −∞ y +∞,
respectivamente. Si A ∈ F (R), entonces A = ∪ni=1 I i , I i ∈ C (R) y I i ∩ I j = ∅, si
i 6= j. Definimos en este caso
X
n
λ f (A) = λ f (I i ).
i=1
De esta forma, se obtiene una medida σ-finita definida en la álgebra F (R) (ver el
ejercicio 48). La medida λ f tiene una única extensión λ∗f definida en (R, F (R)∗ ).
La medida λ∗f se llama medida de Lebesgue-Stieltjes generada por f y cuando λ∗f
se restringe a B(R) se llama medida de Borel-Stieltjes generada por f y se denota
por λ f .
Problemas
49
4.4. Medida de Lebesgue
Problema 82 Sea A ∈ F (R)∗ tal que λ∗ (A) > 0. Entonces para cada 0 ≤ k < 1
existe un intervalo abierto I tal que λ∗ (A ∩ I) > kλ∗ (I).
Problema 83 Sea A ∈ F (R)∗ tal que λ∗ (A) > 0. Demostrar que A contiene una
infinidad de pares de puntos tal que su diferencia es un número racional (irracional).
Problema 88 Sea 0 < α < 1. Construir sobre [0, 1] un conjunto A, tal que λ∗ (A) =
α, y para cada segmento [a, b] ⊂ [0, 1] se cumple que 0 < λ∗ (A ∩ [a, b]) < b − a.
50
Chapter 5
Funciones medibles
Al estudiar una teoría de integración es natural comenzar por identificar las fun-
ciones que son factibles de integrar. Éstas serán las funciones medibles, cuya
integral siempre estará definida si la función es no negativa.
51
5.1. Funciones medibles
Problemas
52
5.2. Funciones reales medibles
M r (X , A ) = { f : (X , A ) → (R, B(R))},
M r+ (X , A ) = { f ∈ M r (X , A ) : f ≥ 0}.
53
5.2. Funciones reales medibles
54
5.2. Funciones reales medibles
Recíprocamente, sea α ∈ R,
f −1 ((α, +∞))
f −1 ((α, +∞)), α ≥ 0,
= −1 −1 −1
f ((α, 0)) ∪ f ({0}) ∪ f ((0, +∞)), α < 0,
f r−1 ((α, +∞)), α ≥ 0,
=
f r−1 ((α, 0)) ∪ ( f r−1 ({0})\ f −1 ({−∞, +∞})) ∪ f r−1 ((0, +∞)), α < 0.
Entonces f , g, f ∗ , g ∗ ∈ M (X , A ).
entonces f ∗ , g ∗ ∈ M (X , A ).
55
5.2. Funciones reales medibles
Puesto que
Problemas
56
5.3. Algunas propiedades de las funciones reales medibles
Problema 103 Sea Ω un conjunto de funciones continuas definidas sobre [0, 1].
Demostrar que las funciones
inf f (x) y sup f (x),
f ∈Ω f ∈Ω
1 X
4n
fn = n 1 f −1 ([i/2n ,+∞]) , (5.1)
2 i=1
entonces
(i) cada f n ∈ M (X , A ) y toma un número finito de valores.
(ii) 0 ≤ f n (x) ≤ f n+1 (x), para cualesquiera x ∈ X , n ∈ N (es decir ( f n ) es creciente
y se denota por f n ↑).
(iii) f (x) = limn→∞ f n (x), x ∈ X .
Si además f es acotada, entonces la convergencia de ( f n ) a f es uniforme.
57
5.3. Algunas propiedades de las funciones reales medibles
f
✻
4/2 q ❅q q f1
❅ ❅
3/2 q ❅q q
❅
2/2 q
1/2 q
✲
1 X
4n
fn = 2 × 1 f −1 ([2i/2n+1 ,+∞])
2n+1 i=1
4n
1 X X
4n
= 1 f −1 ([2i/2n+1 ,+∞]) + 1 f −1 ([i/2n ,+∞])
2n+1 i=1 i=1
2×4n
1 X Xn
2×4
≤ 1 f −1 ([2i/2n+1 ,+∞]) + 1 f −1 ([(2i−1)/2n+1 ,+∞])
2n+1 i=1 i=1
1 X
= 1 f −1 ([i/2n+1 ,+∞]) = f n+1 ,
2n+1
i∈{2,4,...,4n+1 }∪{1,3,...,4n+1 −1}
donde hemos usado que f −1 ([(2i − 1)/2n+1 , +∞]) ⊃ f −1 ([i/2n , +∞]). (iii) Sea
x ∈ X tal que 0 ≤ f (x) < +∞, en caso contrario el resultado es inmediato.
Sea ǫ > 0 y elijamos n0 ∈ N tal que 2−n0 < ǫ. Sea n1 un número natural tal
que 2n1 > 2n0 ∨ f (x). Sea n ≥ n1 . Puesto que {[(i − 1)/2n , i/2n ) : i = 1, ..., 4n }
es una partición [0, 2n ) y 0 ≤ f (x) < 2n , entonces existe k ∈ {1, ..., 4n } tal que
f (x) ∈ [(k − 1)/2n , k/2n ). Por ende
k−1 1 1 1
| f n (x) − f (x)| = n
− f (x) < n ≤ n < n < ǫ.
2 2 2 1 2 0
Si f es acotada, entonces n1 no depende de x, lo que implica la convergencia
uniforme.
Lema 5.11 Sea (X , A , µ) un espacio de medida completo y f : X → R una función
A -medible. Si g : X → R y f = g µ-cdq, entonces g es medible.
Demostración. Puesto que f = g µ-cdq, entonces existe N ∈ A tal que
f (x) = g(x), para cada x ∈ N c y µ(N ) = 0. Si A ∈ B(R),
[
g −1 (A) = (g −1 (A) ∩ N c ) (g −1 (A) ∩ N )
58
5.3. Algunas propiedades de las funciones reales medibles
[
= ( f −1 (A) ∩ N c ) (g −1 (A) ∩ N ).
1 X
4n
gn = n 1An .
2 i=1 i
gn ≤ fn ≤
Nótese que f . Sea x ∈ X tal que f n (x) 6= g n (x), entonces k = max{i :
x ∈ f −1 i2−n , +∞ } ≥ 1 (si k = 1, entonces 0 ≤ g n (x) ≤ f n (x) = 0) y
1 X 1 X
k k
k
1 n (x) = g (x) < f (x) = 1 f −1 ([i/2n ,+∞)) (x) = n .
n Ai n n n
2 i=1 2 i=1 2
Por lo tanto, existe al menos un 1 ≤ i ≤ k tal que x ∈ f −1 i2−n , +∞ \Ani .
n n
Así, {x : f n (x) 6= g n (x)} ⊂ ∪4i=1 ( f −1 i2−n , +∞ \Ani ) ⊂ ∪4i=1 Cin . Lo que implica
que, f n = g n µ-cdq (ver la página 29). Sea g = lim sup g n , entonces g ≤ f y g = f
en ∩∞ −1
n=1 ( f n − g n ) ({0}). El caso general se sigue de descomponer la función f
como f = f + − f − .
59
5.3. Algunas propiedades de las funciones reales medibles
Problemas
[2n f (x)]
f n (x) = ∧ n, x ∈ X , n ∈ N,
2n
es una función simple medible y 0 ≤ f n ↑ f , donde [·] es la función mayor entero.
60
Chapter 6
Integral de Lebesgue
61
6.1. Definición de la integral
X
n X
m
αi µ(Ai ) ≤ β j µ(B j ).
i=1 j=1
62
6.1. Definición de la integral
q
donde (C j ) j=1 es una colección ajena y
X
n X
q
αi µ(Ai ) = γ j µ(C j ).
i=1 j=1
y además,
X
n X
q
αi µ(Ai ) = γ j µ(C j ) + αn µ(An )
i=1 j=1
Xq
= γ j µ((C j \An ) ∪ (C j ∩ An ))
j=1
[
q [
q
+αn µ An ∩ Cj ∪ An \ Cj
j=1 j=1
X
q Xq
= γ j µ(C j \An ) + γ j µ(C j ∩ An )
j=1 j=1
X
q [
q
+αn µ(C j ∩ An ) + αn µ An \ Cj
j=1 j=1
X
q X
q
= γ j µ(C j \An ) + (γ j + αn )µ(C j ∩ An )
j=1 j=1
[
q
+αn µ An \ Cj .
j=1
63
6.1. Definición de la integral
(ii) Si f ≤ g, entonces Z Z
f dµ ≤ g dµ.
Entonces
X
n+m
αf + β g = γ k 1 Ck
k=1
R
El hecho que f dµ no dependa de la sucesión que aproxima a f se sigue del:
64
6.1. Definición de la integral
Así,
Z Z
sup ϕdµ : ϕ es una función simple, medible y 0 ≤ ϕ ≤ f ≤ f dµ. (6.4)
65
6.1. Definición de la integral
(ii) Si f ≤ g, entonces Z Z
f dµ ≤ g dµ.
66
6.2. Teorema de la convergencia monótona y sus consecuencias
Problema
Problema 108 Sean f y g dos funciones simples. Demostrar que f ± g y f g son
funciones simples. Más aún, encontrar su representación estándar.
resulta que hk,k ↑ f . De la definición de la integral y del lema 6.4 (ii) obtenemos
Z Z Z Z
f dµ = lim hk,k dµ ≤ lim f k dµ ≤ f dµ. (6.6)
k→∞ k→∞
67
6.2. Teorema de la convergencia monótona y sus consecuencias
Demostración.
Pm Considere la sucesión monótona creciente de sumas parciales
(g m ), g m = i=1 f i . Así, el resultado es consecuencia del teorema de la conver-
gencia monótona.
Corolario
R 6.3 Sea f ∈ M + (X , A ).
(i) f dµ = 0 si y sólo si f = 0 µ-cdq.
R
(ii) Si f dµ < +∞, entonces f < +∞ µ-cdq.
68
6.2. Teorema de la convergencia monótona y sus consecuencias
por lo tanto Z Z
g m dµ ≤ lim inf f n dµ .
Por otra parte, puesto que g m ↑ lim inf( f n ), del teorema de la convergencia monó-
tona resulta que
Z Z Z
lim inf( f n )dµ = lim g m dµ ≤ lim inf f n dµ .
m→∞
Problemas
R
Problema 111 Sea ν (E) = E f dµ, donde E ∈ A y f ∈ M + (X , A ). Mostrar que
R R
g dν = f g dµ para toda función medible g ≥ 0.
P∞ R1
Problema 112 Evaluar n=1 (−1)n+1 n−1 usando la integral 0 (1 + x)−1 d x y el
teorema de la convergencia monótona.
69
6.3. Funciones integrables
Definición
R + 6.4 Una
R función f ∈ M r (X , A ) se dice integrable con respecto a µ si
−
f dµ < +∞ y f dµ < +∞. La integral de f , con respecto a µ, es el número
real Z Z Z
f dµ = f + dµ − f − dµ.
(ii) Si f ≤ g, entonces Z Z
f dµ ≤ g dµ.
70
6.3. Funciones integrables
R que | f | , |g|
Demostración. (i)R: Del lema 6.7 se sigue R ∈ L (X , A , µ).
R Además
del lema 6.2 resulta, |α f + β g|dµ ≤ |α f |dµ + |β g|dµ = |α| | f |dµ +
R
|β| |g|dµ < +∞. Entonces α f + β g ∈ L (X , A , µ). Para demostrar la segunda
afirmación primeramente notemos que
+ α f +, α ≥ 0, − α f −, α ≥ 0,
(α f ) = − (α f ) =
−α f , α < 0, −α f + , α < 0.
Así
Z Z Z
α f dµ = +
(α f ) dµ − (α f )− dµ
R R
R α f +
dµ − αRf − dµ, α≥0
= −
(−α f )dµ − −α f + dµ, α < 0
R R Z
α( Rf + dµ − Rf − dµ), α≥0
= = α f dµ.
−α( f − dµ − f + dµ), α < 0
R R
De igual forma se demuestra que β g dµ = β g dµ. Ya que
(α f + β g)+ − (α f + β g)− = α f + β g = (α f )+ + (β g)+ − (α f )− + (β g)− ,
Por lo tanto,
Z Z Z
(α f + β g) dµ = (α f + β g) dµ − +
(α f + β g)− dµ
Z Z Z Z
−
= +
(α f ) dµ − (α f ) dµ + +
(β g) dµ − (β g)− dµ
Z Z Z Z
= α f dµ + β g dµ = α f dµ + β g dµ.
R R R
(ii) : Puesto que 0 ≤ g − f , entonces 0 ≤ (g − f ) dµ = g dµ − f dµ.
(iii) : Puesto que f 1 E = ( f 1 E )+ −( f 1 E )− = 1 E f + −1 E f − , el resultado se sigue
el lema (iii).
71
6.3. Funciones integrables
por lo tanto, Z
1( f −g)−1 ((0,+∞)) ( f − g) dµ = 0,
Problemas
R R
Problema 113 Sean µ y ν medidas finitas en (R, B(R)) tal que f dµ = f dν
para toda función continua y acotada f . Demostrar que µ = ν.
Problema
R 114R Sea (X , A , µ) un espacio de medida σ-finito y f , g ∈ M r (X , A ).
Si A f dµ = A
g dµ para toda A ∈ A , entonces f = g µ-cdq. (Ayuda, aplicar el
teorema 3.3).
72
6.3. Funciones integrables
R
Problema 117 Sea ( f n ) una sucesión en M + (X , A ) tal que f n ↓ f , y f1 dµ <
R R
+∞. Demostrar que limn→∞ f n dµ = f dµ.
R
Problema 118 Sea ( f n ) una sucesión en M r (X , A ) tal que A sup{| f n | : n ∈ N}dµ <
R R
+∞, con A ∈ A . Demostrar que A lim sup( f n )dµ ≥ lim sup( A f n dµ).
Problema 120 Sea f una función definida en X con valores en los números com-
plejos. Si Re( f ), I m( f ) ∈ L (X , A , µ) decimos que f es integrable y definimos
Z Z Z
f dµ = Re( f )dµ + i I m( f )dµ.
Problema 121 Sea f ∈ L (R, B(R), λ). Demostrar que la función g : [0, +∞) →
R definida por
Z
g(t) = sup | f (x + y) − f (x)| dλ(x) : | y| ≤ t
es continua en t = 0.
R
Problema 122 Sea g una función medible tal que g f dµ < +∞, para toda
función integrable f . Demostrar que g es acotada µ-cdq si µ es σ-finita. El resultado
es falso si µ no es σ-finita.
Problema 123 Sea f ∈ L (X , A , µ). Demostrar que para todo ǫ > 0 existe δ ( f , ǫ) >
0 tal que para todo E ∈ A que cumple µ (E) < δ, se tiene
Z
| f | dµ < ǫ.
E
73
6.4. Teorema de la convergencia dominada
En particular, Z Z
f dµ = lim f n dµ.
n→∞
Así,
Z Z Z
(2g − lim sup (| f − f n |)) dµ ≤ 2 g dµ − lim sup | f − f n | dµ ,
por lo tanto,
Z Z
lim sup | f − f n | dµ ≤ lim sup (| f − f n |) dµ = 0.
74
6.4. Teorema de la convergencia dominada
Z
= lim || f n | − | f | − | f n − f || dµ = 0. (6.7)
n→∞
Si además Z Z
lim | f n | dµ = | f | dµ,
n→∞
entonces Z
lim | f − f n | dµ = 0. (6.8)
n→∞
|| f n | − | f | − | f n − f || ≤ || f n | − | f n − f || + | f |
≤ | f n − ( f n − f )| + | f | = 2 | f | .
Así, (6.7) se sigue del teorema de la convergencia dominada. Por otra parte, de
la desigualdad
Z Z Z Z
| f − f n | dµ ≤ | f − f n | dµ + | f | dµ − | f n | dµ
Z Z
+ | f n | dµ − | f | dµ ,
Problemas
Problema 127 Sea f ∈ L ([a, b], F ([a, b])∗ , λ). Demostrar que
Z
lim [ f (x + h) − f (x)]λ(d x) = 0.
h↓0
[a,b−h]
Problema 128 (Lema de Scheffé) Sea ( f n ) una sucesión en L (X , A , µ)R que con-
verge a f ∈ L (X , A , µ). Demostrar que si f n ≥ 0, n ∈ N, y limn→∞ f n dµ =
R R
f dµ, entonces limn→∞ | f n − f | dµ = 0.
75
6.4. Teorema de la convergencia dominada
R
Problema 129 Sea f ∈ L (X , A , µ) tal que f dµ ≤ M < +∞ siempre que
R E
µ(E) < +∞. Demostrar que f dµ ≤ M .
Problema
R 134 Demostrar las siguientes convergencias:
R
(i) [1,+∞) exp (−t) log (t) d t = limn→∞ [1,n] [1 − (t/n)]n log(t)d t,
R R
(ii) [0,1] exp (−t) log (t) d t = limn→∞ [0,1] [1 − (t/n)]n log(t)d t.
Recíprocamente, si
Z
sup |(( f ∧ n) ∨ (−n))| dµ : n ∈ N < +∞
76
6.5. Algunas aplicaciones del teorema 6.3
Demostrar que Z Z
f dµ = lim f n dµ
n→∞
E E
para cada E ∈ A . Además, demuestre que esto puede fallar si la condición
Z
lim f n dµ < +∞
n→∞
no se cumple.
77
6.5. Algunas aplicaciones del teorema 6.3
Problema
Problema 142 Asúmanse las hipótesis del teorema 6.5, donde (Y, B) = (R, B(R)).
¿Cúal es la relación entre la medida inducida por T en (R, B(R),λ) y la medida de
Borel-Stieltjes generada por la función f (x) = µ T −1 ((−∞, x]) ?.
78
6.5. Algunas aplicaciones del teorema 6.3
donde el ínfimo y el supremo se toman sobre todas las particiones P de [a, b].
El valor común en (6.11) se llama integral de Riemann de f y se denota por
Rb
a
f (x)d x. Recordemos (teorema 13.1 en [29]) que f es Riemann integrable en
[a, b] si y sólo si para toda ǫ > 0 existe una partición Pǫ de [a, b] tal que U Pǫ f −
L Pǫ f < ǫ.
Consideraremos el espacio medible [a, b] , F ([a, b])∗ , λ∗ , F ([a, b])∗ es la
σ-álgebra de Lebesgue y λ∗ es la medida de Lebesgue. Ya que g P y G P son fun-
ciones simples medible, resulta
Z Z
g P dλ∗ = L P f , G P dλ∗ = U P f . (6.12)
[a,b] [a,b]
g P1 ≤ g P2 ≤ · · · ≤ f ≤ · · · ≤ G P2 ≤ G P1 .
79
6.5. Algunas aplicaciones del teorema 6.3
1 1
U Pk f − inf U P f = U Pk f − sup L P f ≤ U Pk f − L Pk f < ≤ < ǫ.
k k0
80
6.5. Algunas aplicaciones del teorema 6.3
k ǫ ǫ
= f (x) − mi 3 + g Pk (x) − g(x) < + = ǫ.
3 2 2
De igual forma se demuestra que f = G en los puntos
de continuidad de f . Puesto
que g, G son medibles y [a, b] , F ([a, b])∗ , λ∗ es un espacio medible completo,
tenemos que f es medible, lema 5.11, más aún integrable, pues está acotada.
Además, Z Z Z
g dλ∗ = f dλ∗ = Gdλ∗ ,
[a,b] [a,b] [a,b]
es decir,
Z Z
∗
lim (U Pk f − L Pk f ) = lim U Pk f − lim L Pk f = Gdλ − g dλ = 0.
k→∞ k→∞ k→∞
[a,b] [a,b]
Problemas
81
6.5. Algunas aplicaciones del teorema 6.3
R
Problema 144 Sea f : [a, b] → R una función Lebesgue integrable y tal que [a,x]
f dλ∗ =
0 para toda a ≤ x ≤ b. Demostrar que f = 0 λ∗ -cdq.
Problema 146 Encuentre una función f : [0, 1] → R que sea Riemann integrable
y su conjunto de discontinuidades no sea numerable.
Problema 147 Una función f : [a, +∞) → R se llama Riemann integrable im-
propiamente si es Riemann integrable en [a, b] para cada b ≥ a y el límite lim b→∞
Rb R +∞
a
f (x) d x, denotado por a f (x) d x, existe. Sea f : [a, +∞) → R una fun-
ción Riemann integrable en [a, b] para toda b ≥ a. Demostrar que f es Lebesgue
R si | f | es Riemann
integrable si y sólo R ∞ integrable impropiamente en [a, +∞). Más
aún, en este caso [a,+∞) f dλ∗ = a f (x) d x.
82
6.5. Algunas aplicaciones del teorema 6.3
Demostración. Hay que mostrar que f (·, t) es integrable. Para ver esto us-
aremos el teorema del valor medio. Sean x ∈ X y t ∈ (a, b) \ {t 0 }. Entonces existe
un s x entre t y t 0 tal que
f (x, t) − f (x, t 0 ) ∂ f
= (x, s x ) ,
t − t0 ∂t
∂f f (x, t n ) − f (x, t)
(x, t) = lim , x ∈ X.
∂t n→∞ tn − t
∂f
Así, la medibilidad de ∂ t (·, t) es consecuencia de la medibilidad de las funciones
((t n − t)−1 ( f (·, t n ) − f (·, t)))n y del corolario 5.1.
Sea t ∈ (a, b) y (t n ) cualquier sucesión en (a, b) \ {t} tal que t n → t. Aplicando
de nuevo el teorema del valor medio, existe un r x entre t n y t tal que
f (x, t n ) − f (x, t) ∂f
= (x, r x ) ≤ g (x) .
tn − t ∂t
R∞ 2 p
Proposición 6.2 (Euler) 0
e−x d x = π/2.
83
6.5. Algunas aplicaciones del teorema 6.3
para cualesquiera t > 0 y 0 < x < 1 (hemos usado que 2−1/2 es el punto máximo
2
de t e−t , t > 0). Del teorema 6.7 se sigue que para toda t > 0
Z1 2 2
′ ∂ e−t (x +1)
g (t) = dx
0 ∂t x2 + 1
Z1
2 2 2
= −2e−t t e−t x
dx
0
Z t
−t 2 2
= −2e e−x d x.
0
Así, calculando la derivada de f es fácil ver que f ′ (t)+ g ′ (t) = 0, para toda t > 0.
En consecuencia
f (t) + g(t) = c, para toda t > 0. (6.17)
Por la continuidad de f y g, se sigue que f (t) + g(t) = c, para toda t ≥ 0. En
particular,
Z1
dx 1 π
c = f (0) + g(0) = 2
= tan−1 x 0 = . (6.18)
0 1+ x 4
Por otra parte, para cualesquiera 0 ≤ x ≤ 1 y t > 0,
2 2
e−t (x +1)
lim = 0.
t→∞ x 2 + 1
84
6.5. Algunas aplicaciones del teorema 6.3
Problemas
Problema 150 Sea f : R → R. Demostrar que lim x→a f (x) = L si y sólo si para
toda sucesión x n → a, n → ∞, se cumple que f (x n ) → L, n → ∞.
Evaluar la función F.
85
Chapter 7
Descomposición de medidas
y
Ei , ν (Ei ) < 0,
Ei− =
∅, ν (Ei ) ¾ 0.
86
7.1. Medidas signadas
Así, ∞ ∞ ∞
[ [ [
ν Ei+ +ν Ei− =ν Ei ∈ R.
i=1 i=1 i=1
El hecho de que ν toma a lo más uno de los valores −∞, +∞, implica que
X ∞
∞
[
ν Ei+ =ν Ei+ < +∞
i=1 i=1
y
X ∞
∞
[
ν Ei− =ν Ei− > −∞.
i=1 i=1
Así
X
∞ X
∞
X∞
|ν (Ei )| = ν Ei+ − ν Ei− < +∞.
i=1 i=1 i=1
P∞
Por lo tanto, la suma i=1 ν (Ei ) no depende del orden de los sumandos (ver el
ejercicio 156).
Las medidas signadas tienen propiedades similares a las de las medidas. Por
ejemplo:
ν (F \E) = ν (F ) − ν (E) .
87
7.1. Medidas signadas
88
7.1. Medidas signadas
Sea B1 = ∪∞ 1
n=1 An . Entonces por el lema 7.1, tenemos que
ν (B1 ) = lim ν A1n ≤ ν A11 = ν E11 < c1 .
n→∞
Sea N = ∩∞
n=1 Bn , entonces (−∞ < ν (Bn ) < cn )
∞
\
c≤ν Bn = lim ν (Bn ) ≤ lim cn .
n→∞ n→∞
n=1
89
7.1. Medidas signadas
ν (E ∩ P1 ) = ν (E ∩ P2 ) , ν (E ∩ N1 ) = ν (E ∩ N2 ) , E ∈ A .
ν+ (E) = ν (E ∩ P) , ν− (E) = −ν (E ∩ N ) , E ∈ A .
90
7.1. Medidas signadas
91
7.1. Medidas signadas
92
7.1. Medidas signadas
1
|µ|(Bn ) + |ν|(Bnc ) ≤ . (7.3)
2n
Sean B = lim sup Bn y A = B c . Por el Lema de Borel-Cantelli |µ|(B) = 0, y además
\
∞
|ν|(A) = lim Bnc ≤ lim |ν|(Bkc ).
k→∞ k→∞
n=k
Por C(X , A ) denotamos al conjunto de todas las medidas signadas real valu-
adas definidas en (X , A ). Notemos que una carga ν es real valuada (finita) si y
sólo si |ν|(X ) < ∞. Con las operaciones
93
7.1. Medidas signadas
94
7.1. Medidas signadas
∞ X
[ m
+|νn0 Ai − νn0 (Ai )|
i=1 i=1
X
m X
m
+ νn0 (Ai ) − ν(Ai )| < ǫ.
i=1 i=1
S∞ P∞
De esta manera ν i=1 A i = i=1 ν(Ai ). Veamos la convergencia en la norma.
De (7.5)
ǫ
(νn − ν)+ (X ) = sup{νn (A) − ν(A) : A ∈ A } ≤ ,
3
ǫ
(νn − ν)− (X ) = sup{ν( A) − νn (A) : A ∈ A } ≤ ,
3
para cada n ≥ n0 . Por ende
Problemas
P∞
Problema 156 Una serie n=1 x n de números reales se llama propiamente conver-
gente
P∞ (o incondicionalmente P∞ si para toda biyección σ : N → N la serie
P∞convergente)
x
n=1 σ(n) converge, y x
n=1 n = n=1 x σ(n) . Demostrar que las siguientes afir-
maciones sonP∞ equivalentes:
i) La serie n=1 x n es propiamente convergente.
P∞
ii) Para toda biyección σ : N → N la serie n=1 x σ(n) converge en R.
P∞
iii) La serie n=1 |x n | converge en R. P∞
iv) Para toda función ζ : N → {−1, 1} la serie Pn=1 ζ(n)x n converge en R.
∞
v) Para toda subsucesión (x nk ) de (x n ) la serie n=1 x nk converge en R.
vi) Para toda ǫ > 0 existe un entero K(ǫ) P tal que para todo conjunto finito S ⊂ N
con min{s : s ∈ S} ≥ K(ǫ), se tiene que n∈S x n < ǫ.
95
7.2. Teorema de Lebesgue-Radon-Nikodym
Problema 165 Sea ν una medida signada en (X , A ). Si ν(E) > 0 demostrar que
existe un conjunto positivo A ⊂ E tal que ν(A) > 0.
ν ≪ µ.
96
7.2. Teorema de Lebesgue-Radon-Nikodym
Lema 7.5 Sean ν1 , ν2 medidas signadas en (X , A ), con al menos una de ellas finita,
y µ una medida en (X , A ). Si ν1 ⊥ µ, ν2 ⊥ µ y ν1 − ν2 ≪ µ, entonces ν1 = ν2 . En
particular, si ν ⊥ µ y ν ≪ µ, entonces ν = 0.
Teorema 7.6 Sean ν una medida signada finita y µ una medida en (X , A ). En-
tonces ν ≪ µ si y sólo si para todo ǫ > 0 existe δ > 0 tal que si µ (E) < δ, entonces
|ν (E)| < ǫ.
Así, del lema 7.4 se sigue que ν no es absolutamente continua con respecto a µ.
El siguiente ejemplo nos muestra que el resultado presedente no se cumple en
general, aún si ν es σ-finita.
97
7.2. Teorema de Lebesgue-Radon-Nikodym
R
Ejemplo 7.2 Sea ν la medida de contar en N y µ(E) = E f dν, con f (x) = 2−x .
Claramente ν ≪ µ (µ ≪ ν). Supongamos que para todo ǫ > 0 existe δ > 0 tal que
si µ (E) < δ, entonces ν (E) < ǫ. Sea ǫ = 1/2, P∞entonces existe δ(1/2) > 0 con la
propiedad antes referida. Puesto que limn→∞ k=n 2−k = 0, existe n0 ∈ N tal que
P ∞ −k
k=n0 2 < δ(1/2). Sea E0 = {n0 , n0 + 1, n0 + 2, ...}. Entonces µ (E0 ) < δ(1/2),
pero ν (E0 ) = +∞.
Demostración. Sea ǫ > 0. Luego, existe δ > 0 tal que si µ (E) < δ, entonces
|ν (E)| < ǫ. Para δ > 0 existe n0 ∈ N tal que si n ≥ n0 , entonces µ (An ) < δ. Por
lo tanto, |ν(An )| < ǫ para toda n ≥ n0 .
Ejemplo 7.3 Si f ∈RL (X , A , µ), entonces para todo ǫ > 0 existe δ > 0 tal que si
µ (E) < δ, entonces E | f | dµ < ǫ.
Lema 7.6 Sean ν y µ medidas finitas en (X , A ). Se cumple sólo una de las siguien-
tes afirmaciones: ν ⊥ µ, o existen ǫ > 0 y E ∈ A tal que µ (E) > 0 y E es un
conjunto positivo para ν − ǫµ.
98
7.2. Teorema de Lebesgue-Radon-Nikodym
Si h = max { f , g} y E ∈ A , entonces
Z Z Z
hdµ = f dµ + g dµ ≤ ν (E ∩ A) + ν (E\A) = ν (E) .
E E∩A E\A
R
Por lo tanto, h ∈ F. Sea a = sup f dµ : f ∈ F . Nótese que a ≤ ν (X ) <
R
+∞. Sea ( f n ) una sucesión en F tal que f n dµ → a, n → ∞. Sean g n =
max { f1 , . . . , f n } y f = sup { f n : n ∈ N}. Puesto que g n ∈ F,
Z Z
lim f n dµ ≤ lim g n dµ ≤ a.
n→∞ n→∞
R
Por lo tanto, a = limn→∞ g n dµ. Ya que g n ↑ f , tenemos por el teorema de la
R
convergencia monótona que f ∈ F y f dµ = a. (De aquí vemos que, 0 ≤ f <
+∞ µ-cdq. Así, f puede tomarse como una función real.) Ya que f ∈ F, entonces
dλ := dν − f dµ es una medida. Veamos que λ ⊥ µ. Si no fuese así, por el lema
7.6, existen ǫ > 0 y E ∈ A tal que µ (E) > 0 y E es un conjunto positivo para
λ − ǫµ. Lo que implica que dν − ( f + ǫ1 E )dµ = dλ R − ǫ1 E dµ ≥ 1 E dλ − ǫ1 E dµ ≥ 0,
es decir, ( f + ǫ1 E ) dµ ≤ dν. As í, f + ǫ1 E ∈ F y ( f + ǫ1 E ) dµ = a + ǫµ (E) > a,
lo que contradice la definición de a. De esta manera, la existencia de λ, f y
dρ = f dµ está demostrada. Veamos la unicidad. Supongamos que λ′ ⊥ µ y
dν = dλ′ + f ′ dµ. Resulta que (λ − λ′ ) ⊥ µ y dλ − dλ′ = f − f ′ dµ ≪ dµ. Del
lema 7.5, se concluye dλ − dλ′ = f − f ′ dµ = 0. Así, λ = λ′ y por el corolario
6.4 (ii), f = f ′ µ-cdq.
Caso ν y µ medidas σ -finitas. Existe una sucesión A j en A de conjuntos
ajenos tal que X = ∪∞ j=1 A j y ν A j < +∞, µ A j < +∞, j ∈ N. Para cada j ∈ N,
definamos las medidas finitas en (X , A )
dµ j = 1A j dµ, dν j = 1A j dν.
99
7.2. Teorema de Lebesgue-Radon-Nikodym
y, de (7.6),
!
X
∞ X
∞ X
∞ X
∞
λ j (F ) ≤ λ j (E cj ∪ Acj ) ≤ λ j (F j ) + λ j (Acj ) = 0.
j=1 j=1 j=1 j=1
Problemas
Problema 172 (i) Sea X un conjunto no contable y A la familia de todos los sub-
conjuntos E de X tales que E o X \E es contable. Sea µ (E) igual al número de ele-
mentos en E si E es finito o +∞ en caso contrario, y sea λ (E) = 0 si E es contable o
100
7.2. Teorema de Lebesgue-Radon-Nikodym
d dλ1 dλ2
(λ1 + λ2 ) = + µ-cdq.
dµ dµ dµ
101
7.2. Teorema de Lebesgue-Radon-Nikodym
102
Chapter 8
Espacios L p
Gráficamente,
la desigualdad
(8.1) significa que para cualesquiera dos puntos
(x ′ , ϕ x ′ ), y ′ , ϕ y ′ el segmento de línea que los une está por encima de la
gráfica de ϕ. Por otra parte, si a < x < u < v < y < b, tomando
u− x v−u ′
t= , x ′ = x, y ′ = v y t = , x = u, y ′ = y,
v−x y −u
en la desigualdad (8.1), resulta (hay que hacer los productos para verificar la
igualdad)
ϕ (u) − ϕ (x) ϕ (v) − ϕ (u) ϕ ( y) − ϕ (u)
≤ ≤ . (8.2)
u− x v−u y −u
Más aún, no es difícil demostrar que la condición (8.2) es suficiente para que ϕ
sea convexa. Si ϕ es diferenciable tenemos, del teorema del valor medio y (8.2),
que ϕ es convexa si y sólo si ϕ ′ es creciente.
103
8.1. Funciones convexas y desigualdades
104
8.1. Funciones convexas y desigualdades
es decir,
X
n X
n
exp f (i)µ({i}) ≤ exp( f (i))µ({i}),
i=1 i=1
Problemas
Problema 181 Sea f (x) = |x| p , x ∈ R. Determinar los valores de p para los cuales:
i) f es convexa,
ii) f ′ (x) existe para toda x ∈ R,
iii) f ′′ (x) existe para toda x ∈ R.
Pn
Problema 182 Sean yi , αi > 0, i = 1, ..., n tal que i=1 αi = 1. Demostrar que
α
y1 1 · · · ynαn ≤ α1 y1 + · · · + αn yn .
Problema 184 (Desigualdad de Young) Sea ϕ una función real continua, estric-
tamente creciente definida en [0, +∞), tal que limu→∞ ϕ (u) = +∞ y ϕ (0) = 0.
Sea ψ = ϕ −1 . Para toda x ∈ [0, +∞) defínanse
Z x Z x
Φ (x) = ϕ (u) du y Ψ (x) = ψ (u) du.
0 0
ab ≤ Φ (a) + Ψ (b) ,
105
8.2. Propiedades básicas de los espacios L p
demostarar que Z Z
′
(N ◦ u)vdµ ≤ (N ′ ◦ u)udµ.
y
L p (X , A , µ) = f : X → R : f es medible y k f k p < +∞ .
Si p = +∞ la norma L ∞ de f se define por
106
8.2. Propiedades básicas de los espacios L p
107
8.2. Propiedades básicas de los espacios L p
R
Demostración. Caso p = 1. Usando la proposición 8.2 resulta, f g dµ ≤
R
kgk∞ k f k1 . Por lo tanto, sup f g dµ : kgk∞ = 1 ≤ k f k1 . La desigualdad
contraria se obtiene al tomar a g = sig( f ), donde
1, x ≥ 0,
sig(x) =
−1 x < 0.
Caso 1 < p < +∞. Por la desigualdad de Hölder k f k p es una cota superior para
R
el conjunto f g dµ : kgkq = 1 . La desigualdad opuesta resulta de notar que
−1 R
la función g = | f | p−1 q | f | p−1 sig( f ) ∈ L q cumple que kgkq = 1 y f g dµ =
k f kp .
R
Caso p = +∞. De la proposición 8.2 tenemos que f g dµ ≤ kgk1 k f k∞ . Por
R
lo tanto, sup f g dµ : kgk1 = 1 ≤ k f k∞ . De la proposición 3.2 se sigue que
existe una sucesión creciente (An ) tal que X = ∪∞ n=1 An , µ(An ) < +∞, n ∈ N.
Sea ǫ > 0, entonces 0 < µ(Aǫ ) = limn→∞ µ(Aǫ ∩ An ), donde Aǫ = {x : | f (x)| >
|| f ||∞ − ǫ}. Existe n0 ∈ N tal que 0 < µ(Aǫ ∩ An0 ) ≤ µ(An0 ) < +∞. Sea gǫ =
µ(Aǫ ∩ An0 )−1 1Aǫ ∩An sig( f ), entonces kgǫ k1 = 1 y
0
Z Z
sup f g dµ : kgk1 = 1 ≥ f gǫ dµ
Z
1
= | f |dµ ≥ || f ||∞ − ǫ.
µ(Aǫ ∩ An0 ) Aǫ ∩An0
108
8.2. Propiedades básicas de los espacios L p
y
X
∞ X
∞
1
k f k1 = | f (n)| = = +∞.
n=1 n=1
n
Proposición 8.4 Sea f una función simple tal que f ∈ L r , 1 ≤ r < +∞, entonces
f ∈ L s , 1 ≤ s < +∞.
Pn
Demostración. Sean {a1 , ..., an } los valores de f . Así, f = k=1 ak 1 f −1 ({ak }) ,
donde podemos suponer que ak 6= 0. Entonces
X
n Z
|ak | r µ( f −1 ({ak })) = | f | r dµ < +∞.
k=1
Por lo tanto, µ( f −1 ({ak })) < +∞, para cada k = 1, ..., n, lo que implica que
Z Xn
| f |s dµ = |ak |s µ( f −1 ({ak })) < +∞.
k=1
pues s − r − br > 1, y
X
∞ X
∞
k f kss = | f (n)|s µ ({n}) = n bs n r−s = +∞,
n=1 n=1
109
8.2. Propiedades básicas de los espacios L p
= k f k p + kgk p .
110
8.2. Propiedades básicas de los espacios L p
α [ f ] = [α f ] , [ f ] + [g] = [ f + g] .
Además, la función
k[ f ]k p = k f k p , f ∈ L p (X , A , µ) ,
111
8.2. Propiedades básicas de los espacios L p
Así, para casi toda x ∈ X , (g k (x)) es una sucesión de Cauchy en R. Por lo tanto,
debido a la primera parte, tenemos que (g k ) converge µ-cdq a una función medi-
ble.
| f n − f | = lim f n − f nk ≤ ǫ µ-cdq.
k→∞
Problemas
112
8.2. Propiedades básicas de los espacios L p
Problema 192 Sean f , g ∈ L p (X , A , µ), 1 < p < +∞. Demostrar que la función
N : R → R, definida por Z
N (t) = | f + t g| p dµ,
es diferenciable en R.
Problema 195 Sea C([0, 1]) el espacio vectorial de las funciones reales continuas
definidas en [0, 1]. Definamos N1 ( f ), f ∈ C([0, 1]), como la integral de Riemann de
| f | sobre [0, 1]. Demuestre que N1 cumple las condiciones (ii) y (iii) de la definición
de norma (ver la página 9). Si f n es definida, para n ≥ 1, por
1−1/n
0, 0≤ x ≤ 2 ,
1−1/n
f n (x) = 2nx − (n − 1) , ≤ x ≤ 12 ,
1
2
1, 2 < x ≤ 1.
113
8.3. Densidad de las funciones simples y separabilidad de L p
Problema
Rx 197 Sea f ∈ L p ([0, 1], B([0, 1]), λ), 1 ≤ p < +∞ y sea F (x) =
0
f (t)d t. Demostrar que lim x↓0 x −1/q F (x) = 0.
|(hn − g n ) − f | p ≤ (|hn − g n | + | f |) p ≤ 2 p | f | p .
X
n
fǫ = t 0 1 f −1 ({t 0 }) + t i 1 f −1 ((t i−1 ,t i ]) .
i=1
Corolario 8.3 SeanPf ∈ L p , 1 ≤ p < +∞, y ǫ > 0. Entonces existe una función
n p
simple medible g = j=1 a j 1A j ∈ L tal que a j 6= 0, µ A j < +∞ y k f − gk p < ǫ.
114
8.3. Densidad de las funciones simples y separabilidad de L p
Demostración. Sea (Bn ) ⊂ A tal que X = ∪∞ n=1 Bn y µ (Bn ) < +∞, n ∈ N. Así,
podemos tomar una familia contable C tal que A = σ (C ) y {Bn : n ∈ N} ⊂ C
(podemos tomar {Bn : n ∈ N} ∪ C ). Sea Cc = {C, C c : C ∈ C } y F la álgebra
generada por C . Nótese que los elementos de F son uniones finitas de conjuntos
de la forma
C1 ∩ C2 ∩ · · · ∩ CN ,
para algún N ∈ N y algunos conjuntos C1 , . . . , CN en Cc . F es numerable (véase
el ejercicio 199). Sea
( )
XN
S= d j 1 D j : N ∈ N, d j ∈ Q, D j ∈ F y µ D j < +∞ .
j=1
X
n X
n X
n
ǫ
a j 1A j − d j 1A j ≤ aj − dj 1A j < .
j=1 j=1 j=1
p 3
p
n
Por el teorema 4.5 resulta que existen D j j=1
∈ F de modo que
X
n X
n X
n Z 1/p
p
d j 1A j − d j 1Dj ≤ dj 1A j − 1 D j dµ
j=1 j=1 p j=1
X
n
1/p ǫ
= d j µ A j △ Dj < .
j=1
3
Lo que implica,
X
n X
n X
n X
n
f − d j 1Dj ≤ k f − gk p + g − d j 1A j + d j 1A j − d j 1Dj < ǫ.
j=1 p j=1 p j=1 j=1 p
Teorema 8.6 Las funciones continuas en R son densas en L p (R, B (R) , λ), 1 ≤
p < +∞.
115
8.3. Densidad de las funciones simples y separabilidad de L p
ǫp ǫp
λ (A1 △U1 ) < p , . . . , λ (An △Un ) < p .
P
n P
n
3 |am | 3 |am |
m=1 m=1
j j j j
Para cada I i = (ai , bi ) existen funciones continuas f i , con gráfica
j
fi
1
❅
❅
❅
❅
❅ ✲
j j j j j j
ai − ηi ai bi bi + ηi
donde
j (p + 1)ǫ p
ηi = p ,
P
n
4 3k j |am |
m=1
tal que
ǫ ǫ
1 I 1 − f11 < , . . . , 1 I 1 − f k1 < ,...,
1 p P
n k1 1 p P
n
3k1 |am | 3k1 |am |
m=1 m=1
ǫ ǫ
1 I1n − f1n < , . . . , 1 I n − f kn < .
p P
n 1 n p P
n
3kn |am | 3kn |am |
m=1 m=1
k f − hk p ≤ k f − gk p + kg − hk p
116
8.4. Teorema de representación de Riesz
ǫ Xn Xn
≤ + a m 1A m − a m 1 Um
3 m=1 m=1 p
!
X
n X
n X
km
+ a m 1 Um − am f im
m=1 m=1 i=1 p
ǫ X
n X
n X
km
≤ + |am | 1Am − 1Um p
+ |am | 1Um − f im
3 m=1 m=1 i=1 p
2 X
n X
km X
km
≤ ǫ+ |am | 1I m − f im
3 m=1 i=1
i
i=1 p
2 X
n X
km
≤ ǫ+ |am | 1 I m − f im < ǫ.
3 m=1 i=1
i p
Problemas
117
8.4. Teorema de representación de Riesz
G (a f + b g) = aG ( f ) + bG (g) .
|G ( f )| ≤ M k f k p , f ∈ L p . (8.6)
|G ( f ) − G (g)| = |G ( f − g)| ≤ M k f − gk p .
Lema 8.3 Sea 1 < p < +∞. Si g ∈ L 1 (X , A , µ) y existe una constante M > 0 tal
que Z
gϕdµ ≤ M kϕk p ,
118
8.4. Teorema de representación de Riesz
Demostración. Caso 1 < p < +∞. Sea (ψn ) una sucesión de funciones
1
simples tal que 0 ≤ ψn ↑ |g|q . Así, |ψn | q ∈ L 1 y de la proposición 8.4 se sigue que
1
|ψn | q ∈ L q , es decir, ψn ∈ L 1 . Por otra parte,
Z Z Z
1 1 1
kψn k1 = ψn dµ = |ψn | |ψn | dµ ≤
q p |g||ψn | p dµ
Z 1
1 1
p
= g sig(g)|ψn | p dµ ≤ M sig(g)|ψn | p = M kψn k1 ,
p
1
q 1− 1p
implica que kψn k1 = kψn k1 ≤ M . Así, del teorema de la convergencia monó-
tona resulta que Z
kgkqq = lim ψn dµ ≤ M q .
n→∞
≤ M 1A∩An sig(g) 1
= M µ (A ∩ An ) .
119
8.4. Teorema de representación de Riesz
X
n X
n
X∞
= lim G 1 E j = lim ν Ej = ν Ej ,
n→∞ n→∞
j=1 j=1 j=1
Así, por el lema 8.3, g ∈ L q y kgkq ≤ kGk. Del ejemplo 8.5 tenemos que la función
R
f → f g dµ es continua y debido a que las funciones simples son densas en L p ,
R
teorema 8.4, entonces G ( f ) = f g dµ para toda f ∈ L p . (Por la desigualdad de
Hölder |G ( f )| ≤ kgkq k f k p , f ∈ L p , resulta kGk = kgkq .)
Caso µ medida σ-finita. Sea (En ) una sucesión creciente en A tal que X =
∪∞ p q
n=1 En y µ (En ) < +∞. Los espacios L (En ) y L (En ) los identificaremos con
p q
los subespacios de L (X ) y L (X ) que consisten de aquellas funciones que se
anulan en Enc . El primer caso muestra que para cada n existe g n ∈ L q (En ) tal
R
que G ( f ) = f g n dµ, f ∈ L p (En ), y kg n kq = G | L p (En ) ≤ kGk. Puesto que las
funciones g n son únicas µ-cdq, tenemos que si n < m, entonces g n = g m µ-cdq
en En . Definamos la función g µ-cdq en X por g = g n en En (g = limn→∞ g n es
medible por el corolario 5.1). Por el Lema de Fatou, kgkq ≤ lim infn→∞ kg n kq ≤
kGk, así g ∈ L q . Más aún, si f ∈ L p , entonces por el teorema de la convergencia
dominada, f 1 En → f , n → ∞, en L p . Lo que implica que
Z Z
G ( f ) = lim G f 1 En = lim f 1 En g n dµ = f g dµ,
n→∞ n→∞
120
8.4. Teorema de representación de Riesz
G ( f ) = G( f 1{x: f (x)6=0} )
Z
= f 1{x: f (x)6=0} g{x: f (x)6=0} dµ
Z
= f 1{x: f (x)6=0} gA dµ
Z Z
= f 1{x: f (x)6=0} g F dµ = f g F dµ.
Problemas
Problema 206 Demostrar que el teorema 8.7 falla para L ∞ ((0, 1], B((0, 1]), λ).
Problema 207 Sea 1 ≤ p < +∞ y µ una medida σ-finita. Sea g una función
medible tal que f g ∈ L 1 para toda f ∈ L p . Demostrar que g ∈ L q .
Problema R208 Sea 1 < p < +∞. Supóngase que ( f n ) es una sucesión en L p (X , A , µ)
y limn→∞ f n g dµ existe para toda g ∈ L q (X , A , µ). Demostrar que existe f ∈ L p
R R
tal que limn→∞ f n g dµ = f g dµ para toda g ∈ L q (X , A , µ).
121
Chapter 9
Tipos de convergencia
Ejemplo 9.1 Sea (X , A , µ) = ([0, 1] , B ([0, 1]) , λ). La sucesión ( f n ) definida por
f n = n1[0,1/n] ,
122
9.1. Tipos de convergencia básicos
f n = 1(n,n+1/n] ,
En particular, Z Z
f dµ = lim f n dµ.
n→∞
123
9.2. Convergencia en L p
Problema
9.2 Convergencia en L p
Recuérdese que un elemento en L p , 1 ≤ p < +∞, es una clase de equivalen-
cia de funciones que son iguales µ-casi donde quiera y cuya potencia p-ésima es
integrable. Vale la pena estudiar el caso p = ∞.
Teorema 9.1 Sea ( f n ) una sucesión en L p que converge µ-casi donde quiera a f ∈
L p . Entonces limn→∞ k f n − f k p = 0 si y sólo si limn→∞ k f n k p = k f k p .
k fnkp − k f kp ≤ k fn − f kp .
g n = 2 p (| f n | p + | f | p ) , g = 2 p+1 | f | p .
R R
Entonces, g n → g µ-cdq y limn→∞ g n dµ = g dµ < +∞. Ya que
| fn − f |p ≤ (| f n | + | f |) p ≤ (2 max {| f n | , | f |}) p
= 2 p max {| f n | p , | f | p } ≤ 2 p (| f n | p + | f | p ) = g n
124
9.2. Convergencia en L p
Por lo tanto, si n ≥ n0 ,
Z 1/p
p
k fn − f kp = | f n (x) − f (x)| µ (d x)
Z p 1/p
ǫ
≤ dµ = ǫ.
(µ (X ))1/p
1
fn = 1(0,n) ,
n1/p
es una sucesión en L p (R, B (R) , λ) que converge uniformemente a 0, pero no lo hace
en L p , pues k f n k p = 1, n ∈ N.
El siguiente ejemplo muestra que aun en un espacio de medida finita de los tres
modos de convergencia introducidos en la Sección 9.1 no se puede pedir menos
que convergencia uniforme para obtener convergencia en L p .
f n = n1/p 1[1/n,2/n] ,
Corolario 9.3 Sea ( f n ) una sucesión en L p (X , A , µ) tal que converge µ-cdq a una
p
función medible f . Si existe una sucesión
R (g n ) en
R L p tal que converge µ-cdq a g,p
p
| f n | ≤ |g n | µ-cdq, n ∈ N y limn→∞ |g n | dµ = |g| dµ < +∞, entonces f ∈ L
y la convergencia es en L p .
125
9.2. Convergencia en L p
Así
| f n − f | p ≤ 2 p (| f n | p + | f | p ) ≤ 2 p (|g n | p + |g| p ) = hn µ-cdq.
Lo que sigue es como en la demostración del teorema 9.1
f n = 1 i
, i+1
.
2k−1 2k−1
es una partición
de (0, 1]. De este modo, si x ∈ (0, 1] existen subsucesiones ( f2k−1 (x))
y f nk (x) que convergen a 0 y a 1, respectivamente.
Problemas
R
Problema 210 Si f n ↓ f µ-cdq, cada f n ∈ L 1 (X , A , µ) y inf f n dµ : n ∈ N >
−∞, demostrar que ( f n ) converge en L 1 a f .
126
9.3. Convergencia en medida y convergencia casi uniforme
127
9.3. Convergencia en medida y convergencia casi uniforme
Demostración. Sea k ∈ N arbitrario fijo. Del lema 9.1 resulta que para todo
n∈N
§ ª § ª
1 1
x : | f (x) − g (x)| ≥ ⊂ x : | f (x) − f n (x)| ≥
k 2k
§ ª
1
∪ x : | f n (x) − g (x)| ≥ ,
2k
por lo tanto,
§ ª § ª
1 1
µ x : | f (x) − g (x)| ≥ ≤ lim µ x : | f (x) − f n (x)| ≥
k n→∞ 2k
§ ª
1
+ lim µ x : | f n (x) − g (x)| ≥
n→∞ 2k
= 0.
De
∞ §
[ ª
1
{x ∈ X : f (x) 6= g (x)} = x ∈ X : | f (x) − g (x)| ≥ ,
k=1
k
y la σ-subaditividad de µ se sigue el resultado.
Teorema 9.3 Sea ( f n ) una sucesión de funciones medibles que converge uniforme-
mente a la función f , entonces ( f n ) converge en medida a f .
f n = 1(n,n+1] ,
128
9.3. Convergencia en medida y convergencia casi uniforme
Demostración. Para cada ǫ > 0 existe Eǫ ∈ A con µ (Eǫ ) < ǫ tal que ( f n )
converge a f uniformemente en Eǫc . Por lo tanto, existe n0 ∈ N tal que si n ≥ n0 ,
entonces
| f n (x) − f (x)| < ǫ, para toda x ∈ Eǫc .
En consecuencia, µ ({x : | f n (x) − f (x)| ≥ ǫ}) ≤ µ (Eǫ ) < ǫ. Es decir, ( f n ) con-
verge en medida a f .
Demostración. Para cada k ∈ N existe Ek ∈ A con µ (Ek ) < 2−k tal que ( f n )
converge uniformemente a f en Ekc . Sea F = lim sup Ek , entonces por el Lema de
Borel Cantelli, µ (F ) = 0. Además, nótese que ( f n ) converge puntualmente en F c .
En efecto, si x ∈ F c = ∪∞ ∩∞ E c , entonces x ∈ Ekc para algún k1 . Así ( f n (x))
k=1 j=k j 1
converge a f (x), pues ( f n ) converge uniformemente en Ekc .
1
129
9.3. Convergencia en medida y convergencia casi uniforme
Definición 9.5 Una sucesión ( f n ) de funciones medibles se dice que es una sucesión
de Cauchy en medida si para cualesquiera ǫ > 0 y η > 0 existe un n0 ∈ N tal que si
m, n ≥ n0 , entonces
µ({x : | f n (x) − f m (x)| ≥ ǫ}) < η.
Es decir, limm,n→∞ µ({x : | f n (x) − f m (x)| ≥ ǫ}) = 0, para cada ǫ > 0.
130
9.3. Convergencia en medida y convergencia casi uniforme
f n j (x) − f (x) ≤ ξ,
131
9.3. Convergencia en medida y convergencia casi uniforme
Teorema 9.9 Sea ( f n ) una sucesión en L p que converge en medida a f . Si existe una
sucesión (g n ) de funciones en L p que convergen µ-casi
R donde quiera
R a una función
medible g, | f n | ≤ |g n | µ-cdq, n ∈ N y limn→∞ |g n | p dµ = |g| p dµ < +∞,
entonces f ∈ L p y ( f n ) converge a f en L p .
Problemas
132
9.4. Convergencia en espacios de medida finita
Problema 213 Si 1 ≤ p1 < p2 < +∞, demostrar que k·k p1 +k·k p2 hace de L p1 ∩ L p2
un espacio vectorial normado completo.
Demostración.
Para cada m, k ∈ N consideremos los conjuntos Ak (m) =
1
∪∞
n=k
x : | f n (x) − f (x)| ≥m . Nótese que Ak (m) es decreciente en k. Veamos
que para toda m ∈ N,
\
∞
lim µ (Ak (m)) = µ Ak (m) = 0. (9.4)
k→∞
k=1
T∞ S∞
Sea C = {x ∈ X : limn→∞ f n (x) = f (x)}, entonces C ⊂ m=1 k=1 (Ak (m))c .
Por otra parte, existe N ∈ A , µ (N ) = 0 y C c ⊂ N . Así ∪∞ ∞ c
m=1 ∩k=1 Ak (m) ⊂ C , por
lo tanto
\∞
µ Ak (m) = 0, ∀m ∈ N.
k=1
133
9.4. Convergencia en espacios de medida finita
Para que (9.4) se cumpla basta con ver que µ (Ak (m)) < ∞, para algún índice k.
El caso a) es claro veamos el caso b). Sea B ∈ A , µ (B) = 0 y tal que
Nótese que
∞ §
[ ª § ª
1 1
Bc ∩ x : | f n (x) − f (x)| ≥ ⊂ x : g (x) ≥
n=1
m 2m
1
| f n (x) − f (x)| < < ǫ.
m0
Corolario 9.4 Sea µ(X ) < +∞. Si ( f n ) es una sucesión de funciones medibles que
converge a una función medible f µ-cdq, entonces ( f n ) converge a f en medida.
Teorema 9.11 Sea µ(X ) < +∞. Una sucesión de funciones medibles ( f n ) converge
a f en medida si y sólo si toda subsucesión f nk de ( f n ) tiene una subsucesión que
converge a f µ-cdq.
Demostración. Si ( f n ) converge
en medida a f , entonces por el lema 9.2 te-
nemos que toda subsucesión f nk de ( f n ) converge en medida a f . Así, por el
teorema 9.8 b), f nk tiene una subsucesión que converge a f µ-cdq.
134
9.4. Convergencia en espacios de medida finita
por ende
| f − g| | f − h| + |g − h|
≤
1 + | f − g| 1 + | f − h| + |g − h|
| f − h| |g − h|
= +
1 + | f − h| + |g − h| 1 + | f − h| + |g − h|
| f − h| |g − h|
≤ + .
1 + | f − h| 1 + |g − h|
ρ ( f , g) ≤ ρ ( f , h) + ρ (h, g) .
Teorema 9.12 Sea µ(X ) < +∞. ( f n ) converge a f en medida si y sólo si limn→∞ ρ ( f n , f ) =
0.
135
9.4. Convergencia en espacios de medida finita
está dominada por la función integrable 1, entonces del teorema 9.9 resulta que
limn→∞ ρ ( f n , f ) = 0.
Recíprocamente, si (| f n − f | / (1 + | f n − f |)) tiende a 0 en L 1 , entonces tiende
a 0 en medida, lo que implica que ( f n ) converge a f en medida.
En las tablas que se dan a continuación se indica la relación que existe entre
los distintos modos de convergencia. Se inicia introduciendo la siguiente nomen-
clatura:
Tabla 1
Caso
u p µ-cdq Lp µ µ-cu
General −−−→ −−−→ −−−→ −−−→ −−−→ −−−→
9.3
u −→ −→ −→ 9.3 −→
−−−→ −→
p 9.2 −→ −→ 9.4 9.2 9.2
−−−→
µ-cdq 9.1 9.1 −→ 9.4 9.2 9.2
−−−→
9.4 9.4
9.4
Lp 9.5 9.5 + 9.8 −→ + ??
−−−→ −→
¹¹Ë ¹¹Ë
9.8 ??
µ 9.5 9.5 9.4 −→
−−−→ ¹¹Ë ¹¹Ë
9.6 9.5
µ-cu 9.4 9.1 9.4 −→
−−−→ −→ −→
136
9.4. Convergencia en espacios de medida finita
Tabla 2
Medida
Lp µ µ-cu
Finita −−−→ −−−→ −−−→
9.2 9.3
u −→
−−−→ −→ −→
9.4 9.10
p 9.4
−−−→ −→ −→
9.4 9.10
µ-cdq 9.4
−−−→ −→ −→
9.4 9.4 + ??
Lp −→
−−−→ −→ ¹¹Ë
??
µ 9.4 −→
−−−→ ¹¹Ë
9.5
µ-cu 9.4 −→
−−−→ −→
Tabla 3
Caso
Lp µ µ-cu
Dominado −−−→ −−−→ −−−→
9.3 9.3
u −→
−−−→ −→ −→
9.3 9.3 + 9.4 6.3 + 9.4 + ??
p
−−−→ −→ −→ ¹¹Ë
9.3 9.3 + 9.4 9.3 + 9.4 + ??
µ-cdq
−−−→ −→ −→ ¹¹Ë
9.4 9.4 + ??
Lp −→
−−−→ −→ ¹¹Ë
9.9 ??
µ −→
−−−→ −→ ¹¹Ë
9.5 + 9.9 9.5
µ-cu −→
−−−→ −→ −→
Problemas
137
9.4. Convergencia en espacios de medida finita
138
9.5. Integrabilidad uniforme
donde E M ,n = {x ∈ X : | f n (x)| ≥ M }.
(iii) continua uniformemente si
Z
lim sup | f n | dµ : n ∈ N = 0.
µ(A)→0
A
(i v) que satisface la condición (C F ) si para cada ǫ > 0 existe Aǫ ∈ A con µ (Aǫ ) <
+∞ tal que ¨Z «
sup | f n | dµ : n ∈ N < ǫ.
Acǫ
Proposición 9.5 Sea ( f n ) una sucesión de funciones medibles tal que | f n | ≤ g µ-cdq,
para cada n ∈ N. Si g ∈ L 1 , entonces ( f n ) es integrable uniformemente.
139
9.5. Integrabilidad uniforme
Por otra parte, ya que ( f n ) es integrable uniformemente, existe M > 0 tal que
¨Z «
sup | f n | dµ : n ∈ N ≤ 1.
E M ,n
140
9.5. Integrabilidad uniforme
Z Z
≤ 1+ | f n | dµ + | f n | dµ
c c c
EM ,n ∩A1 EM ,n ∩A1
Z
c
≤ 1 + Mµ EM ,n ∩ A1 + | f n | dµ ≤ 2 + M µ (A1 ) .
Ac1
Como consecuencia de este lema se tiene que toda sucesión dominada por
una función integrable satisface la condición (CF). Así, de la proposición 9.5 y del
teorema 9.14 se sigue que toda sucesión dominada por una función integrable es
acotada en L 1 y es continua uniformemente.
141
9.5. Integrabilidad uniforme
Si n ≥ n0 ,
Z 1/p
p
| f n | dµ = f n 1Acǫ ≤ ( f n − f ) 1Acǫ + f 1Acǫ
p p p
Acǫ
ǫ ǫ
≤ k f n − f k p + k f 1Ac k p < + = ǫ.
2 2
(| f n | p ) es continua uniformemente. Consideremos las medidas dν1 = | f1 | p dµ,
p
..., dνn0 −1 = f n0 −1 dµ y dν = | f | p dµ, las cuales son absolutamente continuas
con respecto a µ. Debido al teorema 7.6 existen δ1 > 0, . . . , δn0 −1 > 0 y δ0 > 0
tal que si µ (A1 ) < δ1 , . . . , µ An0 −1 < δn0 −1 y µ (A) < δ0 , entonces ν1 (A1 ) <
ǫ p , . . . , νn0 −1 An0 −1 < ǫ p y ν (A) < (ǫ/2) p . Sea δ = min{δ1 , . . . , δn0 −1 , δ0 }. Sea
A ∈ A con µ (A) < δ. Si n < n0 , entonces como µ (A) < δn tenemos que,
Z
| f n | p dµ = νn (A) < ǫ p .
A
Si n ≥ n0 , resulta que
Z 1/p
p
| f n | dµ = k f n 1Ak p ≤ k f n − f k p + k f 1Ak p
A
ǫ ǫ ǫ
< + (ν (A))1/p < + = ǫ.
2 2 2
Como se quería demostrar.
142
9.5. Integrabilidad uniforme
En consecuencia, si m, n ≥ n0 y
ǫ
H mn = x : | f n (x) − f m (x)| ≥ ,
5 (1 + µ (Aǫ ))1/p
k fn − fmkp ≤ ( f n − f m ) 1A ǫ p
+ f n 1Acǫ + f m 1Acǫ
p p
≤ ( f n − f m ) 1Aǫ ∩H mn
c + f n 1Aǫ ∩H mn p
p
2
+ f m 1Aǫ ∩H mn p
+ ǫ
5
Z 1/p
p
≤ | f n − f m | dµ + f n 1H mn p
c
Aǫ ∩H mn
2
+ f m 1H mn p + ǫ
5
Z 1/p
ǫp ǫ ǫ 2
≤ dµ + + + ǫ
5 p (1 + µ (Aǫ )) A c 5 5 5
ǫ ∩H mn
ǫ 4
≤ 1/p
(µ (Aǫ ))1/p + ǫ = ǫ.
5 (1 + µ (Aǫ )) 5
Problemas
143
9.5. Integrabilidad uniforme
Problema 230 Si sup k f n k p : n ∈ N < +∞, 1 < p < +∞, demostrar que ( f n )
es integrable uniformemente.
Problema 235 Sean f n (x) = 1 + cos (2πnx), n ∈ N. Demostrar que para cada
g ∈ L 1 ([0, 1], B([0, 1]), λ)
Z 1 Z 1
lim f n g dλ = g dλ,
n→∞
0 0
144
Chapter 10
Medidas producto
Si A × B, E × F ∈ C p , entonces
(A × B) ∩ (E × F ) = (A ∩ E) × (B ∩ F ) .
Definición 10.2 Sea F p la colección formada por las uniones finitas de rectángulos
medibles ajenos, es decir
n
[
Fp = Di : Di ∈ C p , Di ∩ D j = ;, si i 6= j, n ∈ N .
i=1
145
10.1. σ-Álgebra producto
Demostración. Si E = ∪m n
i=1 (Ai × Bi ) y F = ∪ j=1 C j × D j están en F p , en-
tonces
[m [ n
E∩F = (Ai × Bi ) ∩ C j × D j
i=1 j=1
[m [ n
= Ai ∩ C j × Bi ∩ D j ,
i=1 j=1
146
10.1. σ-Álgebra producto
Puede ocurrir que toda sección sea medible pero el conjunto no sea medible
(ésto pasa con el conjunto de Sierpiński en R2 ). Sea f : R × R → R. En oca-
siones suele ser difícil mostrar que f es B (R) ⊗B (R) medible, pero fácil ver
que es B R2 medible. Por ejemplo, si f es continua es inmediato que f es
B R2 medible. Así, es conveniente conocer qué relación existe entre estas dos
σ-álgebras. Esto lo trataremos en el contexto de espacios métricos. Sean (X 1 , d1 ),
(X 2 , d2 ) dos espacios métricos. La función d3 : (X 1 × X 2 ) × (X 1 × X 2 ) → R+ ,
π1 (x, y) = x, π2 (x, y) = y.
A × B = (A × X 2 ) ∩ (X 1 × B) = π−1 −1
1 (A) ∩ π2 (B) ∈ B (X 1 × X 2 ) .
147
10.1. σ-Álgebra producto
[
∞ [∞
U= B3 (x i , yi ) , r(x i , yi ) = B1 x i , r(x i , yi ) × B2 yi , r(x i , yi ) .
i=1 i=1
por lo tanto, ∪∞
n=1 An ∈ U b . Ya que C ((a, +∞)) ⊂ U b , resulta, U b = B (R).
Sea A ∈ B (R) arbitrario fijo y defínase la colección
UA = {B ∈ B (R) : A × B ∈ σ (C )} .
Por lo tanto, B (R) ⊗B (R) ⊂ σ ({(a, +∞) × (b, +∞) : a, b ∈ R}). La contención
contraria es clara.
148
10.1. σ-Álgebra producto
Demostración. Sea
Z Z
H = h : R × R → R : h es medible, acotada y h (u, v) dµ = h (u, u) dµ .
149
10.2. Medidas producto
Problemas
Problema 239 Sean E y F dos espcios métricos separables. Demostrar que σ(τ E×F ) =
σ(τcE × τcF ) donde τcE × τcF = {A × B : E\A ∈ τ E , F \B ∈ τ F }.
Veamos que π está bien definida. Supongamos que ∪ni=1 [Ai × Bi ] = ∪m j=1 [C j ×
n
m
D j ], siendo (Ai × Bi )i=1 y C j × D j j=1 colecciones ajenas, respectivamente, de
elementos en C p . Nótese que
X
n
1Ai (x) 1Bi ( y) = 1∪n [Ai ×Bi ] (x, y)
i=1
i=1
X
m
= 1∪m [C j ×D j ] (x, y) = 1C j (x) 1 D j ( y) . (10.3)
j=1
j=1
150
10.2. Medidas producto
es decir,
X
n X
m
µ (Ai ) 1Bi ( y) = µ C j 1 D j ( y) .
i=1 j=1
X
m
1C j (x) 1 D j ( y) = 1∪m [C j ×D j ] (x, y)
j=1
j=1
∞ X
X kn
= 1∪ ∞ kn (x, y) = 1An (x) 1B n ( y) .
n=1 ∪i=1 [Ani ×Bin ] i i
n=1 i=1
X
m
∞ X
X kn
µ C j 1 D j ( y) = µ Ani 1B n ( y) .
i
j=1 n=1 i=1
X
m
X
∞ X
kn
µ C j ν Dj = µ Ani ν Bin .
j=1 n=1 i=1
Es decir, de (10.2),
∞
[ [
m X
∞
π En = π C j × Dj = π (En ) .
n=1 j=1 n=1
151
10.2. Medidas producto
+∞, Y = ∪∞ j=1 Bj , ν B j < +∞, entonces (X × Y, A ⊗B, π∗ ) es σ-finito, pues
X ×Y = ∪∞ ∪ ∞
i=1 j=1 A i × B j y π ∗
A i × B j = µ (A i ) ν B j < +∞. En consecuencia,
el teorema de unicidad de Hahn implica que la medida π∗ es única y la llamaremos
medida producto de µ y ν. Esta medida la denotaremos por µ⊗ν.
Ejemplo 10.2 La medida λ2 = λ⊗λ en R2 , B R2 , se obtiene al considerar el
espacio de medida (R, B (R) , λ).
Problemas
Problema 242 Para j = 1, 2, sean µ j , ν j medidas σ-finitas en X j , A j .
(i) Si ν j ≪ µ j , demostrar que ν1 ⊗ν2 ≪ µ1 ⊗µ2 y
d (ν1 ⊗ν2 ) dν1 dν2
(x 1 , x 2 ) = (x 1 ) (x 2 ) .
d (µ1 ⊗µ2 ) dµ1 dµ2
(ii) Si µ1 ⊥ ν1 o µ2 ⊥ ν2 , demostrar que ν1 ⊗ν2 ⊥ µ1 ⊗µ2 .
Problema 243 Sean A, B ∈ B (R) tal que λ (A) > 0 y λ (B) > 0. Demuestre que
existe C ∈ B (R) tal que λ (C) > 0 y λ (A ∩ (B + y)) > 0 para toda y ∈ C.
Problema 244 (Principio de Cavalieri) Suponga que para todo x ∈ X se cumple
que ν({ y : (x, y) ∈ E}) = ν({ y : (x, y) ∈ F }). Demostrar que (µ⊗ν) (E) =
(µ⊗ν) (F ).
Problema 245 Sea (X , A , µ) tal que 1 < µ (X ) < +∞ y sea A ∈ A ⊗A , (µ⊗µ) (A ∩ R) =
(µ⊗µ) (A) (µ⊗µ) (R) para todos los rectángulos medibles R. Demuestre que (µ⊗µ)
(A) = 0.
Problema 246 Sea X = R, A = P (R) y sea µ definida por µ (A) = 0 si A es
contable y µ (A) = +∞ si A es no contable.
(i) Si E ∈ A ⊗A , definase π (E) = 0 en caso de que E pueda expresarse como la
unión E = G ∪ H de dos conjuntos en A ⊗A tales que la x-sección de G es contable
y la y-sección de H es contable. En otro caso, defínase π (E) = +∞. Demostrar
que π es una medida en A ⊗A . Si π (E) = 0, demostrar que E está contenido en
la unión de un conjunto contable de líneas en el plano. Si A, B ∈ X , demostrar que
π (A × B) = µ (A) µ (B).
(ii) Si E ∈ A ⊗A , defínase ρ (E) = 0 en caso de que E pueda expresarse como
la unión E = G ∪ H ∪ K de tres conjuntos en A ⊗A tales que la x-sección de G
sea contable, la y-sección de H sea contable, y la proyección de K en la línea, con
ecuación y = x, sea contable. En otro caso, defínase ρ (E) = +∞. Demostrar que
ρ es una medida en A ⊗A , y si ρ (E) = 0, entonces E está contenido en la unión de
un conjunto contable de líneas. Si A, B ∈ X , demuestre que ρ (A × B) = µ (A) µ (B).
(iii) Sea E = {(x, y) : x + y = 0}; demuestre que E ∈ A ⊗A y que ρ (E) = 0,
π (E) = +∞.
Problema 247 Demostrar que R2 , B R2 , λ2 es un espacio de medida incom-
pleto.
152
10.3. Teorema de Tonelli-Fubini
son medibles y Z Z Z
hdµ = F d (µ⊗ν) = g dν. (10.4)
X X ×Y Y
En otros símbolos,
Z Z Z Z Z
F dν dµ = F d (µ⊗ν) = F dµ dν,
X Y X ×Y Y X
o bien
Z Z Z
F (x, y) ν (d y) µ (d x) = F (x, y) µ⊗ν (d x, d y)
X Y X ×Y
Z Z
= F (x, y) µ (d x) ν (d y) .
Y X
h (x) = ν ((E c ) x ) = ν (Y ) − ν (E x ) ,
g ( y) = µ (E c ) y = µ (X ) − µ (E y ) ,
son medibles y
Z Z
(ν (Y ) − ν (E x )) µ (d x) = ν (Y ) µ (X ) − 1 E (x, y) (µ⊗ν) (d x, d y)
X X ×Y
Z
= (1 − 1 E ) (x, y) (µ⊗ν) (d x, d y)
X ×Y
Z
= 1 E c (x, y) (µ⊗ν) (d x, d y)
X ×Y
Z
= (µ (X ) − µ (E y )) ν (d y) .
Y
153
10.3. Teorema de Tonelli-Fubini
Por lo tanto E c ∈ L . Ahora, sea (En ) una sucesión ajena en L . Debido a que
∞
[
∞ [ Xn
h (x) = ν En =ν (En ) x = lim ν (Ei ) x ,
n→∞
n=1 x n=1 i=1
∞ y ∞ X
[ [ n
y
g ( y) = µ En =µ (En ) = lim µ ((Ei ) y ) ,
n→∞
n=1 n=1 i=1
Así, ∪∞
n=1 En ∈ L , por lo tanto L es un d-sistema.
Además, si A × B ∈ C p , entonces
son medibles y
Z
h (x) µ (d x) = µ (A) ν (B)
X
Z Z
= 1A×B (x, y) (µ⊗ν) (d x, d y) = g ( y) ν (d y) .
Y
Del teorema 2.4 concluimos que A ⊗B = σ C p = L .
Caso µ, ν medidas σ-finitas. Sean (X n ), (Yn ) sucesiones en A y B tal que
X n ↑ X , Yn ↑ Y y µ (X n ) < +∞, ν (Yn ) < +∞, para cada n ∈ N. Así, X j ×Y j ↑ X ×Y .
Definamos las medidas finitas µ j , ν j , como
µ j (A) = µ A ∩ X j , A ∈ A ,
ν j (B) = ν B ∩ Y j , B ∈ B.
154
10.3. Teorema de Tonelli-Fubini
h (x) = ν (E x ) = lim ν j (E x ) ,
j→∞
g ( y) = µ (E ) = lim µ j (E y ) .
y
j→∞
155
10.3. Teorema de Tonelli-Fubini
ϕ (x, y) = x − y.
Por ser ϕ continua, del teorema 10.1 se sigue que ϕ es B (R) ⊗B (R) medible. En
consecuencia D = {(x, y) ∈ R × R : x = y} = ϕ −1 ({0}) es un elemento de B (R) ⊗B (R).
Sea F = 1 D , entonces
Así, Z Z
hdµ = ∞ 6= 0 = g dν.
156
10.3. Teorema de Tonelli-Fubini
= h+ (x) − h− (x) ,
está definida µ-cdq. Lo que implica que, F x ∈ L (Y, B, ν) para casi toda x ∈ X y
h ∈ L (X , A , µ). Además,
Z Z Z
hdµ = h+ dµ − h− dµ
X
ZX X
Z
= +
F d (µ⊗ν) − F − d (µ⊗ν)
ZX ×Y X ×Y
= F d (µ⊗ν) .
X ×Y
Demostración. Sea
157
10.3. Teorema de Tonelli-Fubini
ã
Entonces B ∈ A ⊗B y µß⊗ν (B) = 0. Existe C ∈ A ⊗B tal que B ⊂ C y (µ⊗ν) (C) =
0. Del teorema de Tonelli obtenemos que
Z
ν (C x ) dµ (x) = 0, (10.5)
X
Demostración. Del teorema 5.1 se sigue que existe una función G, A ⊗B-
medible, tal que F = G µ⊗ν-cdq. Del lema 10.4 obtenemos (G también es A ã ⊗B-
y y
medible) que F x = G x ν-cdq para casi toda x ∈ X y F = G µ-cdq para casi toda
y ∈ Y . De esta manera el resultado se obtiene aplicando el teorema 10.5 a G. Par
ello basta ver que G ∈ L (X × Y, A ⊗B, µ⊗ν),
Z Z Z
|G|d(µ⊗ν) = |G|d(µß⊗ν) = ß
|F |d(µ ⊗ν),
X ×Y X ×Y X ×Y
ß
donde hemos usado que F = G µ ⊗ν-cdq.
Problemas
158
10.3. Teorema de Tonelli-Fubini
R1R1
Problema 250 Para cada una de las funciones f : [0, 1]2 → R calcular f (x, y) d x d y,
R1R1 R1R1 R1R1 0 0
f (x, y) d y d x, 0 0 | f (x, y)| d x d y y 0 0 | f (x, y)| d y d x :
0 0 −2
(i) f (x, y) = x 2 − y 2 x 2 + y 2 .
1 −3
x−2 , 0 < y < x − 12 ,
(ii) f (x, y) =
0, en otro caso.
−3/2
(iii) f (x, y) = (x − y) x 2 + y 2 .
(i v) f (x, y) = (1 − x y)−p , p > 0.
Problema 256 Sean f ∈ L 1 (R) y g ∈ L p (R), 1 < p < +∞. Demostrar las
siguientes afirmaciones:
(i) Las funciones y → f (x − y) g ( y) y y → g (x − y) f ( y) están en L 1 (R) para
λ-casi todo x. Para tales x, sean
Z Z
( f ∗ g) (x) = f (x − y) g ( y) d y, (g ∗ f ) (x) = g (x − y) f ( y) d y.
(ii) f ∗ g = g ∗ f λ-cdq.
(iii) f ∗ g ∈ L p (R) y k f ∗ gk p ≤ k f k1 kgk p .
159
10.3. Teorema de Tonelli-Fubini
Problema 257 Sean µ y ν medidas σ-finitas en R2 , B R2 . Se define la medida
convolución de µ y ν por
Z
(µ ∗ ν) (A) = µ (A − x) ν (d x) , A ∈ B R2 .
R2
160
Notas y Referencias
Capítulo 4: Las secciones 4.1 y 4.2 siguen las líneas de [6]. Se pueden mostrar
teoremas de extensión en otras colecciones de conjuntos, por ejemplo, en los anil-
los véase [16]. La demostración del teorema 4.1 usa el lema 1.1, en muy pocos
textos se aprecia este hecho. La demostración de la regularidad de la medida
de Lebesgue es sugerida por [4] en los ejercicios 9.G, 9.H y 9.I. El resultado del
ejercicio 90 se debe a Steinhaus; ver teorema 8.2 de [8].
161
10.3. Teorema de Tonelli-Fubini
162
Bibliography
[6] P. Billingsley. Probability and Measure, Tercera Edición, Wiley, New York
(1995).
[15] G. B. Folland. Real Analysis, Modern Techniques and Their Applications, Se-
gunda Edición, Jhon Wiley & Sons (1999).
163
Bibliography
[16] P. R. Halmos. Measure Theory, Van Nostrand, Princeton, New York (1950).
[18] S. He, J. Wang y J. Yan. Semimartingale Theory and Stochastic Calculus, CRC
Press (1990).
[24] H. L. Royden. Real Analysis, Segunda Edición, Macmillan, New York (1968).
[25] W. Rudin. Real and Complex Analysis, Segunda Edición, Macmillan, New York
(1974).
[31] C. Swartz. Measure, Integration and Function Spaces, World Scientific (1994).
164
Index
A ∗ , 39 puntual, 122
Af, 29 uniforme, 122
acotado en L 1 , 139 C p , 145
álgebra, 15 criterio de integrabilidad de la integral
átomo, 26 de Lebesgue, 70
de Riemann, 79
bola abierta, 8
borelianos, 12 d-sistema, 18
derivada de Radon-Nikodym, 100
C (R), 16 descomposición de
cardinalidad, 4 Hahn, 89
clase de equivalencia, 111 Jordan, 90
clase monótona, 15 Lebesgue, 100
generada por una colección, 15 Desigualdad de
colección ajena, 2 Cauchy-Schwarz, 107
condición (CF), 139 Chebyshev, 66
conjunto Hölder, 107
abierto, 8 Jensen, 104
contable, 4 Markov, 66
de Cantor, 50 Minkowski, 110
denso, 8 Young, 105
Lebesgue medible, 47 diferencia simétrica, 2
medible, 11 diferenciación
negativo, 88 bajo el signo integral, 82
nulo, 88 distancia, 8
numerable, 4
positivo, 88 esencialmente acotado, 106
potencia, 1 espacio de medida, 21
vacío, 1 completo, 29
continua uniformemente, 139 espacio métrico, 8
convergencia completo, 9
en L p , 124 producto, 147
en medida, 127 separable, 8
en probabilidad, 127 espacio medible, 11
µ-casi donde quiera, 122 espacio vectorial normado, 9
µ-casi uniformemente, 129
165
Index
F (R), 16 Fatou, 69
F p , 145 las clases monótonas de Halmos, 17
función Scheffé, 75
biyectiva, 4 leyes de De Morgan, 2
Borel medible, 54
composición, 3 métrica, 8
continua, 9 media aritmética, 105
convexa, 103 media geométrica, 105
identidad, 3 mediana, 73
indicadora, 3 medida, 21
inyectiva, 3 continua en el vacío, 27
Lebesgue medible, 54 de Borel, 22
medible, 51 de Borel-Stieltjes, 22, 49
signo, 108 de contar, 22
simple, 61 de Lebesgue, 47
sobre, 3 de Lebesgue-Stieltjes, 49
funcional lineal, 118 de probabilidad, 26
acotado, 118 en una álgebra, 27
funciones exterior, 39
truncadas, 56 finita, 26
finitamente aditiva, 27
imagen directa, 3 inducida por una aplicación, 77
imagen inversa, 2 no atómica, 26
índices conjugados, 107 producto, 152
integrable uniformemente, 139 regular, 32
integral de exteriormente, 32
Lebesgue, 64 interiormente, 32
Riemann, 79 σ-finita, 25
integral de una función medible signada, 86
positiva, 64 finita, 90
simple, 62 σ-finita, 90
intersección, 1 unidad, 22
invariante bajo traslaciones, 25 medidas
absolutamente continuas, 96
límite inferior de una sucesión singulares, 91
de conjuntos, 26 µ-cdq, 29
de números reales, 5
límite superior de una sucesión números
de conjuntos, 26 enteros, 1
de números reales, 5 naturales, 1
Lema de racionales, 1
Borel-Cantelli, 27 reales, 1
Dynkin, 19 extendidos, 5
para funciones, 59 reales no negativos, 1
166
Index
Tabla 1, 136
Tabla 2, 137
Tabla 3, 137
Teorema de
cambio de variable, 77
Doob, 60
Egoroff, 133
extensión de Caratheodory, 41
Fubini, 156
Hahn, 88
la convergencia dominada, 74
167