Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria de La Medida
Teoria de La Medida
Temas de matemáticas
Otros títulos de esta
colección: E l lector encontrará, en estas páginas, el material para un curso de teoría de la medida e
integración de Lebesgue. El libro está dirigido a estudiantes que ya han llevado un curso de
análisis real.
Guillermo Grabinsky nació en la Ciudad
de México. Estudió la licenciatura en mate-
Álgebra superior máticas en la Facultad de Ciencias de la
Alejandro Bravo En los primeros tres capítulos se presentan los ingredientes esenciales: clases de subconjuntos de Universidad Nacional Autónoma de México
César Rincón un conjunto dado, las funciones reales que las preservan y una medida definida sobre ellos. (UNAM) y la maestría y doctorado en mate-
Hugo Rincón Los capítulos 4 y 5 contienen los teoremas fundamentales que permiten intercambiar el proceso de
máticas en la Universidad de California en
Álgebra lineal
Hugo Alberto Rincón Mejía
integración con el de toma de límite de una sucesión de funciones. Gran parte del poder de esta teoría
radica en la generalidad de estos resultados los cuales se usarán frecuentemente.
Teoría Berkeley.
Ha sido por muchos años profesor de
El estudio de los espacios de Banach clásicos es abordado en el capítulo 6; como casos especiales se
Introducción a la
geometría avanzada
Ana Irene Ramírez-Galarza
examinan diversos espacios de sucesiones.
La construcción de la medida en abstracto así como sobre subconjuntos de la recta real, es discutida
de la asignatura en la Facultad de Ciencias, don-
de ha dirigido un gran número de tesis de
en los capítulos 7 y 8. Se ha hecho especial énfasis en las peculiaridades y sutilezas de medida de licenciatura en temas de análisis matemá-
José Seade Kuri
Geometría analítica
Ana Irene Ramírez-Galarza
Lebesgue en los reales.
Una parte muy importante del curso consiste en comparar diversas maneras en las que una
medida tico, variable compleja y teoría ergódica.
Sus áreas de interés son la teoría de la
sucesión de funciones podría converger. Su comprensión permite afianzar lo que se ha estudiado en los medida y el análisis matemático clásico.
Cálculo integral de capítulos anteriores. Aquí se presenta con algún detalle en el capítulo 9. Desde hace 20 años es profesor de
varias variables El capítulo 10 se dedica a las medidas con signo, a su descomposición y al teorema de Radon- tiempo completo del Departamento de Ma-
Javier Páez Cárdenas
Nikodym, de gran importancia en temas más avanzados de análisis y probabilidad. temáticas Aplicadas del Instituto Tecnoló-
Teoría de conjuntos. Por último, son analizadas la medida producto y algunas condiciones que permiten reducir una gico Autónomo de México (ITAM).
Teoría de la medida
Curso intermedio integral doble a una integral iterada.
José Alfredo Amor
Gabriela Campero
El texto incluye una selección de 150 ejercicios acompañados en su gran mayoría de alguna guía o
Favio Ezequiel Miranda Perea sugerencia; en muchos de ellos, como una parte crucial del libro, se pide completar una demostración,
proporcionar un ejemplo o desarrollar un poco más la teoría.
Una introducción a la geometría
hiperbólica bidimensional
Antonio Lascurain Orive ISBN: 978-607-02-1041-9
Guillermo Grabinsky
Curso intermedio
de probabilidad
Luis Rincón
9 786070 210419
Pleca pantone 445 w Cuadro vertical pantone 444 w fondo pantone 611
Guillermo Grabinsky
TEORÍA
DE LA MEDIDA
Incluye índice
Bibliografía: páginas 161-163
ISBN 978-607-02-1041-9
Teoría de la medida
1º edición, 9 de noviembre de 2000
3º reimpresión, 2016
ISBN: 978-607-02-1041-9
A Becky,
a Jackie,
a Lisa,
por orden
de aparición.
i i
i i
i i
Contenido
Introducción 1
Glosario de sı́mbolos 3
i i
i i
i i
vi Contenido
i i
i i
i i
Contenido vii
Bibliografı́a 161
Ejercicios 167
í
Índice analitico 211
i i
i i
i i
i i
i i
i i
Introducción
i i
i i
i i
2 Introducción
i i
i i
i i
Glosario de sı́mbolos
C Un π-sistema, página 12
L Un lambda-sistema, página 12
i i
i i
i i
4 Glosario
i i
i i
i i
Capı́tulo 1
Clases de subconjuntos de un con-
junto dado
1. Introducción
En este capı́tulo introducimos importantes clases de subconjuntos de
un conjunto dado no-vacı́o, se examinan diversos ejemplos y se considera la
σ-álgebra generada por una familia dada, en particular se discute brevemen-
te la σ-álgebra de Borel en R. Por último, se prueba el lema de las clases
monótonas (L.C.M.) que proporciona un método, en general más simple,
para comprobar que una familia de conjuntos es una σ-álgebra.
En todo lo que sigue X denota un conjunto no vacı́o fijo y P(X) =
{A : A ⊂ X} denota la clase de todos los subconjuntos de X.
i) E, F ∈ R ⇒ E − F ∈ R.
ii) E, F ∈ R ⇒ E ∪ F ∈ R.
E△F = (E − F ) ∪ (F − E) y (E ∩ F ) = (E ∪ F ) − (E△F ).
i i
i i
i i
E − F = E ∩ (E△F ) y E ∪ F = (E ∩ F )△(E△F ).
i) E, F ∈ S ⇒ E − F ∈ S.
∞
S
ii) Si (En ) es una sucesión de elementos de S, entonces En ∈ S.
n=1
Ejemplos 1.3.
i i
i i
i i
Introducción 7
f −1 (S) = {f −1 (E) : E ∈ S}
{F ⊂ Y : f −1 (F ) ∈ S}
i) E ⊂ S(E).
i i
i i
i i
i) E ⊂ E′ ⇒ S(E) ⊂ S(E′ ).
Demostración.
i) S(E′ ) es una σ-álgebra que contiene a E, ⇒ S(E) ⊂ S(E′ ).
ii) E ⊂ E y es una σ-álgebra, ⇒ S(E) ⊂ E.
iii) Es inmediata de la anterior.
iv) Por los incisos i) y iii) se tiene:
S(E) ⊂ S(S(E′ )) = S(E′ ) y S(E′ ) ⊂ S(S(E)) = S(E) ⇒ S(E) = S(E′ ).
Es claro que las propiedades análogas para R(E), A(E), SR(E) son cier-
tas también. Por otro lado tenemos
i i
i i
i i
Introducción 9
Ejemplo 1.8.
1. Si E = ∅ ó E = {∅}, entonces:
3. Si E es un anillo, entonces:
A(E) = {F ⊂ X : F ∈ E ó X − F ∈ E}.
Si E es un σ-anillo, entonces:
A(E) = {F ⊂ X : F ∈ E ó X − F ∈ E}.
i) R(E) = {E ⊂ X : E es finito}.
ii) A(E) = {E ⊂ X : E ó X − E es finito}.
iii) SR(E) = {E ⊂ X : E es finito o numerable}.
i i
i i
i i
Demostración.
∞
[ ∞
\
1 1
(a, b) = a + ,b y [a, b) = a − ,b
n=1
n n=1
n
i i
i i
i i
i i
i i
i i
Definición 1.10.
a) Una clase no vacı́a C ⊂ P(X), se llama un π-sistema si es cerrada
bajo intersecciones finitas.
b) Una clase L ⊂ P(X) se llama un λ-sistema (o sistema de Dynkin).
Si:
i) X ∈ L.
ii) E, F ∈ L y F ⊂ E ⇒ E − F ∈ L. (Cerradura bajo la diferencia
propia).
iii) Si (En ) es una sucesión creciente de elementos de L, entonces
∞
S
En ∈ L.
n=1
Observaciones 1.11.
i) Si (En ) es una sucesión decreciente de elementos de un λ-sistema L,
∞
T
entonces: En ∈ L.
n=1
i i
i i
i i
y por lo tanto
L(C) ⊂ L′F para todo F ∈ L(C).
Esto prueba que L(C) es un π-sistema además de ser λ-sistema, entonces por
1.12 iii) es una σ-álgebra que contiene a C, por lo tanto S(C) ⊂ L(C) ⊂ L0 .
Corolario 1.13. Si C ⊂ P(X) es un π-sistema, entonces S(C) = L(C).
Demostración. Por el teorema S(C) ⊂ L(C). Inversamente, S(C) es un
λ-sistema que contiene a C y por lo tanto L(C) ⊂ S(C).
i i
i i
i i
i i
i i
i i
Capı́tulo 2
Funciones medibles con respecto a
una sigma álgebra S
1. Introducción
En este capı́tulo se introduce la clase M(X, S) de funciones f : X → R
que son medibles con respecto a una σ-álgebra S de subconjuntos de X. Se
muestra que estas funciones son el lı́mite puntual de funciones que toman
sólo un número finito de valores en elementos de S. Se prueba que M(X, S)
es un espacio vectorial, cerrado bajo una gran variedad de operaciones nu-
merables. Se define la recta real extendida R y se considera la medibilidad
para funciones con valores extendidos y con valores complejos.
Definición 2.1. Un espacio medible es una pareja (X, S) en la que X es
un conjunto no vacı́o y S es una σ-álgebra de subconjuntos de X.
Definición 2.2. Sean (X, S) y (Y, S ′ ) dos espacios medibles. Una función
f : X → Y se llama medible relativa a las σ-álgebras S y S ′ si f −1 (S ′ ) ⊂ S
i.e. : f −1 (E ′ ) ∈ S, para todo E ′ ∈ S ′ . Si Y = R y S ′ = BR , entonces diremos
que f es S-medible si f −1 (BR ) ⊂ S.
Proposición 2.3. Sean (X, S) y (Y, S ′ ) dos espacios medibles y f : X → Y
una función. Supongamos que existe E′ ⊂ P(Y ) tal que S(E′ ) = S ′ . Si
f −1 (E′ ) ⊂ S, entonces f es medible relativa a S y S ′ .
Demostración. Por 1.3.5 K = {F ′ ⊂ Y : f −1 (F ′ ) ∈ S} es una σ-álgebra
que por hipótesis contiene a E′ . Ası́ S ′ = S(E′ ) ⊂ K, por lo tanto f −1 (S ′ ) ⊂
f −1 (K) ⊂ S.
Para el caso especial en el que Y = R y S ′ = BR obtenemos:
Corolario 2.4. Sean (X, S) un espacio medible y f : X → R una función.
Entonces las siguientes afirmaciones son equivalentes:
15
i i
i i
i i
a) f es S-medible.
Demostración.
a) ⇒ b) (c, +∞) ∈ BR .
Ejemplos 2.5.
1
El corolario anterior permanece válido si se considera solamente c ∈ S con S ⊂ R
denso. También cada una de las condiciones implican que {x ∈ X : f (x) = c} para todo
c ∈ R, sin embargo, esta última condición no garantiza la S-medibilidad de f (ver el
ejercicio (21)).
i i
i i
i i
Introducción 17
Entonces: χA es S-medible ⇔ A ∈ S.
Demostración.
⇒]
entonces:
Ei ∈ S, (i = 1, . . . , n), Ei ∩ Ej = ∅ (i 6= j),
n
S n
P (2.1)
X= Ei y s= αi χEi .
i=1 i=1
i i
i i
i i
2 1
Si s y t son S-simples entonces s + t, αS con α ∈ R, st y s
(si s 6= 0) son S-simples
también. (Ejercicio).
i i
i i
i i
Demostración.
i) 0 ≤ sn ≤ sn+1 ≤ f
X kn2n
k
sn (x) = n si x ∈ En (k), o sea: sn = χ
2 2n En (k)
k=0
i i
i i
i i
y ası́
2k 2k + 1 2k + 1 2k + 2
f (x) ∈ n+1 , n+1 ó f (x) ∈ ,
2 2 2n+1 2n+1
de donde:
k 2k
sn (x) = = n+1 ≤ sn+1 (x),
2n 2
por lo tanto sn (x) ≤ sn+1 para todo n ∈ N.
ii) Sea x ∈ X fija, hallamos n = n(x) ∈ N tal que n > f (x), entonces
1
pora todo m ≥ n |sm (x) − f (x)| < ,
2m
por lo tanto, f (x) = lim sn (x).
n→∞
1
para todo m ≥ n |sm (x) − f (x)| < para todo x ∈ X
2m
por lo tanto, sn → f uniformemente.
i i
i i
i i
Notamos que |f | = f + + f − y f = f + − f − .
Claramente:
+ X, si c < 0 ,
{x ∈ X : f > c} =
{x ∈ X : f (x) > c}, si c ≥ 0 ,
0 ≤ sn ≤ sn+1 y 0 ≤ tn ≤ tn+1
s n → f + y tn → f − .
Definimos rn = sn − tn entonces (rn ) es una sucesión de funciones S-simples
con:
i) |rn | = |sn − tn | ≤ sn + tn ≤ f + + f − = |f | (n ∈ N)
ii) f (x) = f + (x) − f − (x) = lim sn (x) − lim tn (x) = lim rn (x) para
n→∞ n→∞ n→∞
todo x ∈ X
La familia de funciones S-medibles es estable bajo una gran variedad de
operaciones de toma de lı́mite, a saber:
Teorema 2.8. Sea (X, S) un espacio medible y (fn ) una sucesión de fun-
ciones S-medibles tal que (fn (x)) es acotada para todo x ∈ X. Definimos:
i i
i i
i i
Corolario 2.9. Sean (X, S) un espacio medible y (fn ) una sucesión conver-
gente de funciones S-medibles, entonces L(x) = lim fn (x) es S-medible.
n→∞
i i
i i
i i
Demostración.
⇒]
Es parte del lema 2.7.
⇐]
Se sigue de Corolario anterior.
Haciendo uso del nuevo criterio de S-medibilidad es fácil establecer la
S-medibilidad de combinaciones algebraicas de funciones S-medibles, explı́ci-
tamente:
i i
i i
i i
c)
±∞, si x > 0,
x · (±∞) = (±∞) · x = 0, si x = 0,
∓∞, si x < 0.
a) f es S-medible.
i i
i i
i i
En donde (c, +∞] = (c, +∞)∪ {+∞} y lo correspondiente para los otros
intervalos extendidos.
Demostración.
⇒]
Escribimos f = f + − f − como en 2.7 y verificamos al igual que en dicho
lema, que f + y f − son funciones S-medibles no-negativas. Note que la
descomposición f + − f − de f no introduce expresiones indeterminadas del
tipo (+∞) + (−∞) ó (−∞) + (+∞). A continuación construimos como en
2.6 dos sucesiones de funciones reales S-simples (rn ) y (tn ) tales que:
[∞ [ ∞ \∞
1
{x ∈ X : f (x) > c} = x ∈ X : sk (x) > c + ∈ S.
r=1 n=1
r
k=n
i i
i i
i i
En efecto,
1
f (x) > c ⇔ f (x) − c > 0 ⇔ existe r ∈ N tal que f (x) − c >
r
⇔ existe r ∈ N y existe n = n(x, r) ∈ N tal que
1
sk (x) − c >para todo k ≥ n
r
[∞ [ ∞ \∞
1
⇔x∈ x ∈ X : sk (x) > c +
r=1 n=1
r
k=n
es S-medible.
Demostración.
⇒]
i i
i i
i i
y si c < 0 entonces:
y si c < 0, entonces:
i i
i i
i i
i) f es S-medible
ii) para todo c, d ∈ R, {x ∈ X : (ℜf )(x) > c, (ℑf )(x) > d} pertenece a S
(ℜf e ℑf denotan la parte real e imaginaria de f ).
i i
i i
i i
Demostración.
{x ∈ X : (ℜf )(x) > c, (ℑf )(x) > d} = f −1 ((c, +∞) × (d, +∞))
pertenece a S
pertenece a S
∞
[
{x ∈ X : (ℑf )(x) > d} = {x ∈ X : (ℜf )(x) > −n, (ℑf )(x) > d}
n=1
pertenece a S
f −1 ((c, +∞) × (d, +∞)) = (ℜf )−1 ((c, +∞)) ∩ (ℑf )−1 ((d, +∞))
Es claro que operaciones algebráicas, toma de lı́mite y conjugación com-
pleja de funciones S-medibles producen funciones S-medibles.
i i
i i
i i
i i
i i
i i
Capı́tulo 3
Medidas sobre sigma álgebras
1. Introducción
Introduciremos la noción de medida sobre una σ-álgebra y veremos al-
gunos ejemplos. Se obtienen las propiedades de continuidad básicas, se con-
sidera el concepto de medida cero y el de que una proposición sea válida
casi dondequiera (c.d.).
i) µ(∅) = 0
Definición 3.2. Sea µ una medida en (X, S). Se dice que µ es finita si
no toma el valor extendido +∞. Si es posible hallar una sucesión (En ) de
∞
S
elementos de S tal que X= En y µ(En ) < +∞ para todo n ∈ N, entonces
n=1
diremos que µ es σ-finita. Claramente toda medida finita es automática-
mente σ-finita.
31
i i
i i
i i
2. Ejemplos
1) Sean (X, S) un espacio medible arbitrario y x0 ∈ X fijo, definimos
µ : S → {0, 1} como sigue:
1 si x0 ∈ E,
µ(E) =
0 si x0 ∈
/ E.
Es claro que µ es una medida finita, llamada la medida unitaria
concentrada en x0 .
i i
i i
i i
Ejemplos 33
∞
P
entonces µ es una medida, la cual es finita si y sólo si an < +∞ y
n=1
es σ-finita si y sólo si an < +∞.
Inversamente, toda medida µ : P(N) → R se obtiene mediante el
método indicado a partir de una única sucesión a = (an ) de números
reales extendidos no-negativos (i.e. µ = µa (Ver el ejercicio (27)).
Observe que la medida de conteo en N corresponde al caso en el que
an = 1 para todo n ∈ N.
µE (F ) = µ(F ) si F ∈ S ∩ E.
i i
i i
i i
Teorema 3.4. Sea µ una medida definida sobre el espacio medible (X, S).
Demostración.
3
De aquı́ en adelante, la notación: lim significa que el lı́mite es el de una sucesión
n↑∞
creciente, análogamente con lim .
n↓∞
i i
i i
i i
Ejemplos 35
y por lo tanto:
∞
[ ∞
[
En = Gk .
n=1 n=1
Usando la σ-aditividad y la sustractividad de µ obtenemos:
∞
! ∞
! ∞ n
[ [ X X
µ En = µ Gn = µ(Gn ) = lim µ(Gk )
n→∞
n=1 n=1 n=1 k=1
n
X
= lim (µ(Ek ) − µ(Ek−1 )) = lim µ(En ).
n→∞ n→∞
k=1
Finalmente, basta observar que por la monotonı́a de µ, el lı́mite es el
de una sucesión creciente.
∞
T
b) Claramente Fk ⊂ Fn para todo n ∈ N, entonces,
k=1
∞
!
\
µ Fk ≤ µ(Fn ) para todo n
k=1
∞
! ∞
!
\ [
µ(Fn0 ) − µ Fn =µ Ek = lim µ(Ek )
k↑∞
n=1 k=1
4
Si µ(Fn ) = +∞ para todo n ∈ N, es posible tener la desigualdad estricta en b)
como lo muestra el siguiente ejemplo: X = N, S = P(N), µ = medida de conteo y
Fn = {n, n + 1, . . . }.
i i
i i
i i
Corolario 3.5. Sean (X, S) un espacio medible, µ : S → R una medida y
(En ) una sucesión arbitraria de elementos de S, entonces:
a) µ( lim En ) ≤ lim µ(En )
n→∞ n→∞
∞
S
b) Si además µ Ek < +∞, entonces:
k=1
5
Claramente toda medida es también finito sub-aditiva.
i i
i i
i i
Espacios de medida 37
3. Espacios de medida
Definición 3.7. Un espacio de medida es una terna (X, S, µ), en la que
(X, S) es una espacio medible y µ : S → R es una medida.
N (µ) = {E ∈ S : µ(E) = 0}
es un σ-anillo de subconjuntos de X.
Definición 3.10. Sea (X, S, µ) un espacio de medida y sea P (x) una pro-
posición referente a x ∈ X. Decimos que P (x) es cierta casi dondequiera
relativa a µ (abreviado (c.d. rel. µ) ) si existe E ∈ N (µ) tal que P (x) es
cierta si x ∈ X − E.
i i
i i
i i
Ejemplo 3.11.
i i
i i
i i
Capı́tulo 4
La integral de funciones medibles
no negativas
1. Introducción
En las páginas anteriores desarrollamos los elementos indispensables pa-
ra definir la integral de Lebesgue para funciones medibles no-negativas, lo
cual hacemos en este cápitulo, asi como establecer algunas de sus propie-
dades fundamentales. Se obtiene el importante teorema de la convergencia
monótona (T.C.M.) que usaremos de manera frecuente en lo que sigue y del
cual se derivarán otros teoremas de convergencia. Se hace una comparación
con la integral de Riemann.
M(X, S) y M+ (X, S)
M(X, S) y M+ (X, S)
39
i i
i i
i i
R
s con respecto a la medida µ, denotada por s dµ, como el número real
no-negativo, posiblemente extendido, dado por:
Z Xn
s dµ = αj µ(Ej ).
j=1
n
X
cαj χEj
j=1
i i
i i
i i
Introducción 41
por lo que
Z p
X p X
X
(s + t)dµ = cl µ(Gl ) = cl µ(Ej ∩ Fk )
l=1 l=1 (l)
p X
X n X
X m
= (αj + βk )µ(Ej ∩ Fk ) = (αj + βk )µ(Ej ∩ Fk )
l=1 (l) j=1 k=1
n
X m
X n
X m
X
= αj µ(Ej ∩ Fk ) + βk µ(Ej ∩ Fk )
j=1 k=1 k=1 j=1
n
X m
X Z Z
= αj µ(Ej ) + βk µ(Fk ) = s dµ + t dµ
j=1 k=1
Por inducción, es posible generalizar 4.3.2 para cualquier número finito
de funciones simples en M+ (X, S).
Pm
Proposición 4.4. Sea s = βk χFk una función s-simple con los βk > 0
k=1
no necesariamente diferentes y los Fk ∈ S no necesariamente disjuntos,
entonces: Z m
X
s dµ = βk µ(Fk ).
k=1
i i
i i
i i
Ejemplo 4.5. Sean X = N, S = P(N) y µ igual a la medida de conteo (ver
3.2.2) y (αn ) una sucesión de números reales no-negativos dada. Para k ∈ N
definimos sk : X → R S-simple como sigue:
αj si 1 ≤ j ≤ k,
sk (j) =
0 si k < j.
k
X
i.e. sk = αj χ{j} + 0χ{k+1,k+2,... } .
j=1
R k
P ∞
P
Asi pues sk dµ = αj (= k-ésima suma parcial de la serie αj ).
j=1 j=1
i i
i i
i i
Introducción 43
n
P
Proposición 4.7. Sea f = αj χEj la descripción canónica de una función
j=1
simple en M+ (X, S), entonces:
Z Xn Z
sup s dµ : s ∈ S(f ) = αj µ(Ej ) (en donde s dµ es como en 4.2)
j=1
βk µ(Ej ∩ Fk ) ≤ αj µ(Ej ∩ Fk ).
El siguiente resultado tiene cierta analogı́a con la integral de Riemann
y aclara cuales son las funciones que son suceptibles de ser integradas, pero
antes:
i i
i i
i i
Demostración.
a) Si s ∈ S(f ) y t ∈ S(f ), entonces s ≤ t y obtenemos que
Z Z
s dµ ≤ t dµ.
Z Z
Por lo tanto, sup s dµ :∈ S(f ) ≤ inf t dµ : t ∈ S(f )
Entonces:
Z Z
0 ≤ inf t dµ : t ∈ S(f ) − sup s dµ : s ∈ S(f )
i i
i i
i i
Introducción 45
Z Z n
MX M
= tn dµ − sn dµ = µ(Ek (n)) = µ(X).
n n
k=1
entonces:
Z Z Z
µ(Nm(n) ) = χNm(n) dµ = m χNm(n) (tn − sn ) dµ ≤ m (tn − sn ) dµ.
i i
i i
i i
m
Ası́ µ(Nm (n)) ≤ n para todo n ∈ N ⇒ µ(Nm ) = 0.
Por lo tanto t∗
= s∗ (c.d. rel. µ) y en consecuencia t∗ = f (c.d. rel.
µ) también. Como (X, S, µ) es completo se sigue de 3.11 b) que f es
S-medible.
i i
i i
i i
Introducción 47
Sea E ⊂ NR no vacı́o P
fijo. Si #(E) < +∞ entonces f · χE es S-simple,
no negativa y f dµ = f (n) (ver 4.5). Si #(E) = +∞, definimos para
E n∈E
cada k ∈ N una función S-simple como sigue: sk = 0 si E ∩ {1, . . . , k} = ∅
y en caso contrario,
Es claro que
sk ∈ S(f · χE ) para todo k ∈ N y
X Z Z
f (j) = sk dµ ≤ f dµ para todo k ∈ N
j∈E∩{1,...,k} E
X Z
ası́ pues f (n) ≤ f dµ.
n∈E E
Para
P la desigualdad que resta, basta considerar sólo el caso en el que
f (n) < +∞. Sea s ∈ S(f · χE ) arbitraria, como s solamente toma un
n∈E
número finito de valores, al menos uno de ellos es tomado un infinidad de
veces i.e. existe F ⊂ E infinito tal que s(n) = α para todo n ∈ F , entonces:
X X X
0 ≤ α#(F ) = α= s(n) ≤ f (n)
n∈F n∈F n∈F
X
≤ f (n) < +∞, de donde α = 0.
n∈E
i i
i i
i i
R
Demostración. Por 2.16 f ∈ M+ (X, S) y f dµ está definida para todo
E
E ∈ S. Por otro lado como fn · χE ≤ fn+1 · χE ≤ f · χE , entonces la sucesión
i i
i i
i i
R R
( fn dµ) es no decreciente y acotada superiormente por f dµ, por lo que
E R R E
sólo resta probar que f dµ ≤ lim fn dµ.
E n↑∞ E
Para α ∈ (0, 1) y s ∈ S(f ) fijas definimos: En = {x ∈ E : fn (x) ≥
αs(x)}, entonces En ∈ S y En ⊂ En+1 , y como αs ≤ f y fn ↑ f se tiene
S∞
que E = En , además:
n=1
Z Z Z Z
α s dµ = αs dµ ≤ fn dµ ≤ fn dµ
En En En E
i i
i i
i i
R R R
ii) (f + g) dµ = f dµ + g dµ.
E E E
R R R
iii) f dµ = f dµ + f dµ para F, G ∈ S ajenos entre sı́.
F ∪G F G
Demostración.
iii) Como f ·χF ∪G = f ·χF +f ·χG , el resultado se sigue del inciso anterior.
Observe que el inciso (iii) es cierto si sólo se tiene µ(F ∩ G) = 0.
Z ∞ Z
X
f dµ = fk dµ para todo E ∈ S.
E k=1 E
Pn
Demostración. Sea gn (x) = con n ∈ N, entonces (gn ) es una
k=1 fk (x)
R Pn R
sucesión no-decreciente tal que f = lim gn y gn dµ = fk (x) dµ de
n→∞ k=1
E
donde se sigue el resultado.
El resultado anterior tiene una aplicación inmediata a series dobles de
números reales extendidos no-negativos tomando a X = N, S = P(N) y µ =
la medida de conteo. (Enúncielo).
i i
i i
i i
El lema de Fatou 51
3. El lema de Fatou
El teorema de la convergencia monótona tiene la desventaja de ser apli-
cable sólo bajo condiciones muy restrictivas (ver el ejercicio (48)), sin em-
bargo un corolario de éste, conocido como el lema de P. Fatou (1878-1929),
puede ser usado con sucesiones de funciones en M+ (X, S) no necesariamente
convergentes, pero su conclusión es más débil que la de 4.13. Es interesante
hacer notar que este resultado fue probado por Fatou (en su tesis doctoral
(1906)) en el contexto de series trigonométricas.
Corolario 4.17. (Lema de Fatou) Sea (fn ) una sucesión de funciones en
M+ (X, S) entonces:
Z Z
lim fn dµ ≤ lim fn dµ para todo E ∈ S
n→∞ n→∞
E E
i i
i i
i i
Demostración.
⇒]
∞
S
Claramente {x ∈ X : f (x) > 0} = En donde En = {x ∈ E : f (x) > n1 }.
n=1
Por σ-subaditividad de µ será suficiente probar que µ(En ) = 0. Por cons-
trucción f · χEn ≥ n1 χEn ≥ 0 y por la monotonı́a de la integral se tiene
que: Z Z
µ(En )
0 = f dµ ≥ f dµ ≥ ≥0
n
E En
i i
i i
i i
donde
Mi = sup{f (t) : t ∈ (ti−1 , ti )} y mi = inf{f (t) : t ∈ (ti−1 , ti )}
(i = 1, . . . , n)
Rb
A continuación definimos la integral superior de Riemann R f dx y a la
a
Rd Rb
integral inferior de Riemann R f dx como sigue: R f dx = inf{S(P, f ) :
c a
Rd
P es una partición finita de [a, b]} y R f dx = sup{S(P, f ) : P es una
c
partición finita de [a, b]}.
En estos términos diremos que f es Riemann-integrable si y sólo si la
integral superior de Riemann es igual a la integral inferior de Riemann.
Rb
En ese caso denotamos por R f (x) dx al valor común y la llamaremos la
a
integral de Riemann de f en [a, b].
i i
i i
i i
Zb Z
R f (x) dx = f dλ.
a [a,b]
Z Zb Zb Z
g dλ = R f (x) dx ≤ R f (x) dx = h dλ.
[a,b] a a [a,b]
6
La σ-álgebra de Lebesgue en [a, b] es la λ-compleción de B[a,b] .
i i
i i
i i
∞
X Z1 ∞
X ∞
X
1 1 (−1)n
= R fn (x) dx = − =
α + 2nβ α + 2(n + 1)β 1 + nβ
n=0 0 n=0 n=0
i i
i i
i i
Z1
dt 1 1
log(2) = = 1 − + − ...
1+x 2 3
0
y si α = 1 y β = 2 entonces:
Z1
π dx 1 1 1
= tan−1 (1) = = 1 − + − + ...
4 1 + x2 3 5 7
0
i i
i i
i i
Capı́tulo 5
El espacio de funciones integrables
1. Introducción
En este capı́tulo introduciremos el concepto de integral para una subclase
de M(X, S). Se establecerá la linealidad de la integral y probaremos varios
resultados en los que es permisible el intercambio de la integral con el lı́mite.
Se extenderá la noción de integral para funciones S-medibles con valores
complejos.
Definición 5.1. Sea (X, S, µ) un espacio de medida dado. Denotaremos
por L1 (X, S, µ) a la clase de funciones f ∈ M(X, S) tales que:
Z Z
f + dµ < +∞ y f − dµ < +∞
E E E
R R
Observamos que f + dµ y f − dµ son finitas para todo E ∈ S también,
E E
por lo que la diferencia tiene sentido y prueba que f · χE ∈ L1 (X, S, µ). Si
f ∈ L1 (X, S, µ) entonces se sigue del ejercicio 43) que f + y f − son finitas
(c.d. rel. µ).
Denotaremos por L1 (X, S, µ) a la subclase de funciones µ-integrables
que toman valores en R.7
7
Si f + dµ = +∞ ó f − dµ =R +∞, la Rdiferencia R f + dµ − f − dµ también
R R R R
+ −
está definida y en ese caso escribimos: f dµ = f dµ − f dµ también, sin embargo
tal f ya no es integrable con respecto a µ.
57
i i
i i
i i
Demostración.
a) ⇒]
|f |+ = |f | = f + + f − y |f |− = 0 las cuales tienen integral finita.
⇐]
R + R
f dµ, f − dµ son ambas, menores o iguales que
Z Z
−
(f + f ) dµ = |f |+ dµ < +∞,
+
Se deja como ejercicio para el lector el comprobar la siguiente afirmación:
Si f ∈ L1 (X, S, µ), entonces
Z Z
f dµ = |f | dµ ⇔ µ ({x ∈ E : f (x) > 0}) = 0 ó
E E
µ ({x ∈ E : f (x) < 0}) = 0
i.e. f es no-negativa (c.d.) ó f es no-positiva (c.d.) en E (ver 4.19).
Antes de mostrar la linealidad de la integral es indispensable tener un
resultado preliminar que elimine, de la definición 5.1 la necesidad de usar
la parte positiva y negativa de la función.
i i
i i
i i
Introducción 59
Teorema 5.4. (Linealidad) Sean f, g ∈ L1 (X, S, µ) y α ∈ R dados, entonces
αf y f + g ∈ L1 (X, S, µ)
y
Z Z Z Z Z
αf dµ = α f dµ y (f +g) dµ = f dµ+ g dµ para todo E ∈ S.
E E E E E
E E E
i i
i i
i i
Demostración.
a) Por hipótesis χF ∪G = χF + χG y por el teorema anterior
Z Z
f dµ = (f · χF + f · χG ) dµ
F ∪G
Z Z
= f · χF dµ + f · χG dµ
Z Z
= f dµ + f dµ.
F G
b) ⇐]
Sea N ∈ N (µ) tal que f (x) ≤ g(x) para todo x ∈ X − N . Como
µ(N ) = 0, entonces
Z Z
f dµ = 0 = g dµ.
N N
i i
i i
i i
⇒] R
Por el teorema anterior, la hipótesis equivale a: (g − f ) dµ ≥ 0 para
E
todo E ∈ S. Sea Nk = x ∈ X : f (x) − g(x) > k1 (k ∈ N) entonces:
Z
1
0 ≤ (g − f ) dµ ≤ − µ(Nk ).
k
Nk
i i
i i
i i
f dµ ≤ lim f dµ.
n→∞
E E
i i
i i
i i
Observaciones 5.7.
i i
i i
i i
Ası́,
|f (x, t)| ≤ |f (x, t0 )| + (b − a)g(x) = g1 (x)
como g1 ∈ L1 (X, S, µ) lo anterior demuestra que f t ∈ L1 (X, S, µ) para todo
t ∈ (a, b).
Ahora sea t ∈ (a, b) arbitraria y (tn ) una sucesion contenida en (a, b) tal
que tn → t y con tn 6= t para todo n ∈ N. Definimos fn : X → R como
sigue:
f tn (x) − f t (x)
fn (x) = ,
tn − t
entonces lim fn (x) = ∂f ∂f
∂t (x, t) para todo x ∈ X por lo tanto ∂t (·, t) : X →
n→∞
R es S-medible y además por una estimación similar a la del párrafo anterior
i i
i i
i i
Si f ∈ LC
1 (X, S, µ), entonces decimos que f es integrable.
Análogamente a 5.2 tenemos:
Teorema 5.11.
2
1
2 2 ∈ L (X, S, µ). En cuyo
a) f ∈ LC1 (X, S, µ) ⇔ |f | = (ℜf ) + (ℑf ) 1
caso: Z Z
f dµ ≤ |f | dµ
i i
i i
i i
Demostración.
a) ⇒]
Claramente |f | ≤ |ℜf |+|ℑf | ∈ L1 (X, S, µ) por lo tanto |f | ∈ L1 (X, S, µ)
por 5.2 b).
⇐]
Es evidente de las relaciones: |ℜf |, |ℑf | ≤ |f |.
R
Si f dµ = 0 no hay nada que hacer,R ası́ es que suponemos que la
integral es diferente de cero. Sea reiθ = f dµ la representacion
R −iθ polar.
Por la definicion 5.10 y por 5.4 tenemos que r = e f dµ asi que:
Z Z Z
f dµ = r = e−iθ f dµ = ℜ(e−iθ f ) dµ
Z Z
−iθ
≤ |e f | dµ = |f | dµ.
(i.e. la función f toma sus valores (c.d.) en E sobre un rayo que parte del
origen)
Demostración.
⇐]
R R −iθ R
Claramente f dµ = e |f | dµ = |f | dµ.
E E E
⇒]R R
Si f dµ 6= 0, escribimos f dµ = reiθ , entonces como en la prueba de 5.11
E E
tenemos:
Z Z Z
−iθ
ℜ(e f ) dµ = f dµ = |f | dµ
E E E
i i
i i
i i
lo que equivale a:
El corolario 5.5 se extiende sin cambio alguno salvo en el inciso b) en el
que ponemos en vez de f y g, sus módulos. El inciso c) se prueba examinando
las partes reales e imaginarias de las integrales. Es claro cómo enunciar la
versión compleja del teorema 5.6 y su prueba se reduce a examinar la partes
reales e imaginarias.
i i
i i
i i
i i
i i
i i
Capı́tulo 6
Los espacios clásicos de Banach
1. Introducción
En este capı́tulo introduciremos los espacios clásicos de Banach Lp (µ)
(1 ≤ p ≤ +∞), ası́ como algunas desigualdades importantes relacionadas
con ellos. Estos espacios poseen propiedades destacadas y son de considera-
ble interés en diversas áreas del análisis. Obtenemos como casos especiales
diversos espacios de sucesiones.
Definición 6.1. Sea (X, S, µ) un espacio de medida y p ∈ (0, +∞) fijo.
Definamos
Claramente
Z
f ∈ Lp (X, S, µ) ⇔ |f |p dµ < +∞ ⇔ |f |p ∈ L1 (X, S, µ).
R
Observe que |f |p dµ = 0 ⇔ f = 0 (c.d.) (4.19).
Si no se presta a confusión escribiremos Lp (µ) en vez de Lp (X, S, µ).
Teorema 6.2. Si f, g ∈ Lp (µ) y α ∈ R, entonces αf y f + g pertenecen a
Lp (µ).
Demostración. La primera afirmación es evidente, para la segunda usa-
mos la siguiente cadena de desigualdades válida para números reales a y
b:
|a + b|p ≤ (2 max{|a|, |b|})p ≤ 2p (|a|p + |b|p ),
ası́ que:
Z Z Z
p p p p
|f + g| dµ ≤ 2 |f | dµ + |g| dµ < +∞,
69
i i
i i
i i
i i
i i
i i
Introducción 71
i) Por lo ya probado,
Z Z Z
1 p 1
|f g| dµ ≤ |f | dµ + |g|q dµ < +∞,
p q
de donde f g ∈ L1 (µ).
R R
ii) Por hipótesis |f |p dµ y |g|q dµ son diferentes de cero.
|f | |g|
Sean h = 1 yk= 1 , entonces por la desigualdad ya
( |f |p dµ) p ( |g|q dµ) q
R R
obtenida:
Z Z Z
1 p 1 1 1
hk dµ ≤ |h| dµ + |k|q dµ = + = 1,
p q p q
equivalentemente:
Z Z 1 Z 1
p q
p q
|f g| dµ ≤ |f | dµ |g| dµ .
R
iii) La igualdad en R(ii) ocurre
si y sólo
R si hk dµ = 1 ⇔ hp = kq (c.d)
(ver 5.5.c)) ⇔ |g|q dµ |f |p = |f |p dµ |g|q (c.d.).
Observe que la prueba del inciso anterior proporciona explı́citamente los
valores de A y de B. Notamos que si f = 0 ó g = 0 (c.d.) el teorema anterior
es cierto también.
Para una generalización de la desigualdad de Hölder ver el ejercicio (61),
y para un recı́proco debido a F. Riesz (1910), (ver el ejercicio (78)). Los
números p y q se llaman exponentes (o ı́ndices) conjugados.
Existe una versión de la desigualdad de Hölder que no usaremos, si
p ∈ (0, 1) (en consecuencia su exponente conjugado q ∈ (−∞, 0), (ver el
ejercicio (72)). El caso p = 1 y q = +∞ se pospone hasta 6.16.
i i
i i
i i
Como |f + g|p ∈ L1 (µ) entonces |f + g|p−1 ∈ Lq (µ), ası́, que por 6.3 obte-
nemos:
Z "Z 1 Z 1 # Z 1
p p q
p p p q(p−1)
|f + g| dµ ≤ |f | dµ + |g| dµ |f + g|
R
Si |f + g|p dµ R= 0 entonces la desigualdad de Minkowski se satisface
trivialmente, y si |f + g|p dµ > 0, entonces dividiendo ambos lados de la
última desigualdad entre este número y como p = q(p − 1), concluimos que:
Z 1 Z 1− 1 Z 1 Z 1
p q p p
p p p p
|f + g| dµ = |f + g| dµ ≤ |f | dµ + |g| dµ .
Examinando los puntos en la prueba anterior en donde aparecen des-
igualdades es fácil concluir, usando 6.3, que la igualdad ocurre en la de-
sigualdad de Minkowski, con p > 1, si y sólo si existen C, D constantes
no-negativas, no ambas cero, tales que:
Cf = Dg (c.d.).
i i
i i
i i
i i
i i
i i
Demostración.
Sea (fn ) una sucesión de Cauchy en Lp (µ). Es suficiente probar que
(fn ) admite una subsucesión (fnk ) para la que existe f ∈ Lp (µ) tales que
kfnk − f kp → 0 cuando k → +∞. Usando la condición de Cauchy, es posible
hallar una sucesión de naturales n1 < n2 < . . . tal que
1
kfnk − fnk+1 kp < .
2k
Sea g ∈ M+ (X, S) dada por:
∞
X
g(x) = |fn1 (x)| + |fnk+1 (x) − fnk (x)|;
k=1
Z 1 Z m
!1
p X p
m
!
X
≤ lim kfn1 kp + kfnk+1 − fnk kp < kfn1 kp +1
m→∞
k=1
i i
i i
i i
Un caso especial 75
Asi pues por el ejercicio (43 i)) µ ({x ∈ X : g(x) = +∞}) = 0 y la serie
que define a g converge (c.d.). Definimos f : X → R poniendo:
f (x) + P f
∞
n1 nk+1 (x) − fnk (x) si g(x) < +∞,
f (x) = k=1
0 si g(x) = +∞.
Es claro que para todo k ∈ N : |fnk | ≤ g (c. d.) y además fnk → f (c.d.)
(k → ∞), en particular |fnk |p → |f |p (c.d.) cuando k → ∞, pero la sucesión
esta dominada (c.d.) por la función integrable gp asi que por 5.6 obtenemos:
Z Z Z
|f |p dµ = lim |fnk |p dµ ≤ gp dµ < +∞
k→∞
Observación 6.9. Notamos que en el curso de la prueba anterior, se cons-
truyó a partir de (fn ), una subsucesión (fnk ) que converge (c.d.) y en norma
k kp a una f ∈ Lp (µ).
De manera similar se prueba que el espacio métrico (Lp (µ), dp ) es com-
pleto también 0 < p < 1.
3. Un caso especial
Sean X = N, S = P(N) y µ = la medida de conteo, en virtud de 4.11
se tiene:
∞
X
Lp (µ) = {f : N → R : |f (n)|p < +∞}
n=1
el cual es costumbre denotarlo por ℓp e identificar a sus elementos con las
sucesiónes reales (xn ) tales que:
∞
X
|xn |p < +∞.
n=1
i i
i i
i i
∞
1/p
P
Demostración. ℓp es un espacio vectorial sobre R y kxkp = |xn |p
n=1
define una norma completa. La desigualdad de Hölder (6.3) adquiere la
siguiente forma:
Sean p y q ∈ (1, +∞) exponentes conjugados. Si x ∈ ℓp y y ∈ ℓq entonces:
además: \
ℓp ℓr (ver el ejercicio (75)).
0<p<r
Volviendo a espacios de medida generales (X, S, µ) pueden ocurrir hechos
muy curiosos, por ejemplo, se pueden construir funciones “razonables” que
no pertenezcan a algún Lp (µ) (p ∈ (0, +∞)) o funciones que pertenezcan
a Lp (µ) (0 < p < +∞) precisamente para un único T valor de p. (Ver el
ejercicio (65)). Si µ(X) < +∞, entonces Lp (µ) ⊂ Lr (µ) en donde la
0<r<p
contención puede ser propia (ver los ejercicios (62) y (63)).
Si µ(X) = 1 entonces: kf kr ≤ kf kp para toda f ∈ Lp (µ),R con 0 < r < p,
además es posible probar que si f ∈ L1 (µ) entonces: exp (log |f |) dµ =
limkf kp (ver el ejercicio (69)); por último, si f es acotada (c.d.), entonces
p↓0
i i
i i
i i
El espacio L∞ (µ) 77
f ∈ Lp (µ) para todo p ∈ (0, ∞) y lim kf kp es finito y opera como una norma
p↑∞
sobre el espacio vectorial de funciones en M(X, S) que son acotadas (c.d.),
el cual se denotará justificadamente por L∞ (µ), mismo que a continuación
examinamos.
4. El espacio L∞ (µ)
Definición 6.10. Sea (X, S, µ) un espacio de medida fijo. Definimos
i) kf k∞ ≥ 0.
ii) If = {a > 0 : µ({x ∈ X : |f (x)| > a}) = 0} es igual al intervalo
[kf k∞ , +∞), si kf k∞ > 0.
iii) |f (x)| ≤ kf k∞ (c.d.)
Demostración.
i) Es evidente.
ii) Es claro que If ⊂ [kf k∞ , +∞).
Inversamente, sea a ≥ kf k∞ arbitraria, como
∞
[
1
{x ∈ X : |f (x)| > a} = x ∈ X : |f (x)| > a + ,
n
n=1
i i
i i
i i
1
y a+ n > kf k∞ para todo n ∈ N entonces
iv) Claramente
Si kf k∞ < b, entonces:
Note que si Jf = {c ≥ 0 : µ ({x ∈ X : |f (x)| ≥ c}) > 0}, entonces
Jf = {0} si y sólo si f = 0 (c.d.) y Jf = [0, kf k∞ ), si kf k∞ > 0.
i i
i i
i i
El espacio L∞ (µ) 79
|f + g| ≤ |f | + |g| ≤ kf k∞ +kgk∞
|f (x)| = lim |fm (x)| ≤ lim |fm (x) − fn (x)| + |fn (x)|
m→∞ m→∞
≤ ε + kfn k∞ para todo x ∈
/E
i i
i i
i i
i.e. kf − fn k∞ ≤ ε si n ≥ N .
Se ha probado que kfn − f k∞ → 0 cuando n → ∞ entonces fn → f
uniformemente (c.d.). El recı́proco es cierto también y es fácil probarlo.
Observación 6.14. Si (X, S, µ) es como en6.10, entonces L∞ (µ) coincide
con el espacio de sucesiones acotadas ℓ∞ = x : N → R : sup |xn | < +∞ .
n∈N
i) f g ∈ L1 (µ).
R
ii) |f g| dµ ≤ kf k1 kgk∞ .
Demostración.
i) y ii). Por 6.11 iii):
Z Z
|f g| dµ ≤ |f |kgk∞ dµ = kf k1 kgk∞ ⇒ f g ∈ L1 (µ).
iii)
Z Z
|f g| dµ = kf k1 kgk∞ ⇔ |f |(kgk∞ −|g|) dµ = 0
Se consideran a p = 1 y q = +∞ como exponentes conjugados.
i i
i i
i i
El espacio L∞ (µ) 81
y
LC
∞ (µ) = {f ∈ MC (X, S) : |f | es acotada (c.d.)}
Todo lo afirmado sin excepción, desde 6.2 hasta 6.16 para Lr (µ) y ℓr
permanece cierto para LC r (µ) y ℓr
C (r ∈ (0, +∞]) (salvo modificaciones
i i
i i
i i
i i
i i
i i
Capı́tulo 7
Medidas exteriores
1. Introducción
En este capı́tulo se introducen las nociones de casi medida y la de medida
exterior. Se proporciona un método de construcción de medidas a partir
del concepto más primitivo de casi medida y se examina la unicidad de
la construcción obtenida. Como caso particular se obtiene la medida de
Lebesgue en R.
Definición 7.1. Sea X = 6 ∅ y A ⊂ P(X) un álgebra. Una casi-medida es
una función conjuntista µ : A → R tal que:
i) µ(∅) = 0.
ii) µ(A) ≥ 0, para toda A ∈ A.
∞
S
iii) Si (An ) es una sucesión de elementos disjuntos de A tal que An ∈
n=1
A, entonces: !
∞
[ ∞
X
µ An = µ(An ).
n=1 n=1
83
i i
i i
i i
84 Medidas exteriores
i) ρ(∅) = 0.
Ejemplo 7.4. Sea (X, d) un espacio métrico separable (si se desea puede
tomarse X = R con la métrica usual). Sea {Un : n ∈ N} una base numerable
para la topologı́a de X; definimos ρ : P(X) → [0, 1] como sigue:
∞
X ρn (E)
ρ(E) =
n=1
2n
en donde:
1 si E ∩ Un =
6 ∅,
ρn (E) = para todo n ∈ N;
0 si E ∩ Un = ∅.
i i
i i
i i
Introducción 85
Teorema 7.6.
µ∗ : P(X) → R
es una medida exterior y es tal que:
µ∗ A = µ
µ∗ (E) ≤ µ∗ (F ).
∞
X ε
(n)
µ Ai ≤ µ∗ (En ) + n .
2
i=1
i i
i i
i i
86 Medidas exteriores
n o ∞
S
(n)
Como Ai : (i, n) ∈ N × N es una A-cubierta de En se tiene que:
n=1
!
∞
[ X X∞ X
∞ ∞
X
(n) (n)
µ∗ En ≤ µ Ai = µ(Ai ) ≤ µ∗ (En ) + ε
n=1 (i,n)∈N×N n=1 i=1 n=1
Por otro lado, µ es σ-finita si y sólo si µ∗ es σ-finita.
Observación 7.7. Es un fácil ejercicio comprobar que una función conjun-
tista que sea: no-negativa, σ-subaditiva, aditiva, que valga 0 en ∅ y esté de-
finida en una σ-álgebra es una medida, en particular una medida exterior ρ
es una medida si y sólo si ρ es aditiva.
i i
i i
i i
en la definición anterior.
i) E ∈ Aρ ⇔ X − E ∈ Aρ .
ii) E ∈ Aρ , si ρ(E) = 0.
Demostración.
i) Es evidente y se omite.
a) Aρ es una σ-álgebra.
b) ρ = ρAρ : Aρ → R es una medida completa.
En caso de que ρ = µ∗ sea la medida exterior generada por una casi
medida µ : A → R, entonces:
c) S(A) ⊂ A∗
i i
i i
i i
88 Medidas exteriores
Demostración.
a) Por 7.10 i) y ii) se tiene que Aρ es cerrada bajo complementación y
contiene a ∅, por lo que será suficiente probar que Aρ es cerrada bajo
uniones numerables.
Empecemos con la unión de dos elementos de Aρ .
Sean E1 , E2 ∈ Aρ ; como E2 ∈ Aρ , entonces para todo B ⊂ X cumplen:
por lo tanto E1 ∪ E2 ∈ Aρ
Usando el ejercicio (2) es suficiente probar que si (En ) es una sucesión
∞
S
de elementos disjuntos en Aρ , entonces Ei ∈ Aρ .
i=1
Notamos que si E1 y E2 son disjuntos, entonces la relación (7.4) se
reduce a:
i i
i i
i i
por lo que:
∞
X
ρ(B) ≥ ρ(B ∩ Ei ) + ρ(B − E)
i=1
≥ ρ(B ∩ E) + ρ(B − E) para todo B ⊂ X (7.7)
∞
X
ρ(E) ≥ ρ(Ei )
i=1
i i
i i
i i
90 Medidas exteriores
µ∗ (B) < +∞. Para ε > 0 dada, hallamos una A-cubierta numerable
(An ) de B tal que:
∞
X
µ(Ai ) ≤ µ∗ (B) + ε
i=1
Como µ∗ A = µ (7.6), por la monotonı́a y la σ-sub-aditividad de µ∗ y
la aditividad de µ obtenemos:
n
X ∞
X
µ∗ (B ∩ A) + µ∗ (B − A) ≤ µ(Ai ∩ A) + µ(Ai − A)
i=1 i=1
X∞
= µ(Ai ) ≤ µ∗ (B) + ε
i=1
Denotaremos µ = µ∗ A∗ . Puede probarse
que si µ es σ-finita, entonces:
(A∗ , µ) es la compleción de (S(A), µS(A) ) (ejercicio (90)).
entonces
asi que es suficiente probar que ν(En ) = µ(En ) para todo n ∈ N donde
En = E ∩ Xn .
i i
i i
i i
La medida de Lebesgue en R 91
ν(Xn − En ) ≤ µ(Xn − En )
y como
ν(En ) + ν(Xn − En ) = µ(En ) + µ(Xn − En )
se sigue de la finitud de cada sumando que ν(En ) = µ(En ).
Un argumento similar prueba que µ(E) = ν(E) para todo E que per-
tenece a S(A), si µ(A) = ν(A) para todo A ∈ A y ν está definida sólo en
S(A).
Ejemplo 7.13. El teorema anterior puede fallar si µ no es σ-finita.
Sea X = Q ∩ (0, 1] y denotemos (a, b]′ = (a, b] ∩ X, con a, b ∈ X y
E = {(a, b]′ : a, b ∈ X}. Es claro que A = A(E) es la colección de uniones
finitas disjuntas de “intervalos” en E.
Definimos µ : A → R poniendo µ(A) = +∞ si A es infinito y 0 si A = ∅.
Por otro lado es inmediato comprobar que A∗ = P(X) y que µ : A∗ → R
está dada por µ(E) = +∞ si E 6= ∅ y 0 si E = ∅.
Si ν : P(X) → R denota la medida de conteo entonces ν A = µ pero
obviamente ν 6= µ en A∗ = P(X).
Existe una manera mas intuitiva y natural (pero más larga) para definir
a los elementos de A∗ y que consiste en aproximar a los subconjuntos de
X “desde adentro”también, dando lugar a la llamada medida interior la
cual tiene propiedades duales a las de µ∗ . (Ver los ejercicios (87) y (88). En
especial (88 ii)).
3. La medida de Lebesgue en R
Emplearemos el método descrito en 7.11 c) y 7.12 para construir la
medida de Lebesgue para subconjuntos de R por lo que necesitaremos un
i i
i i
i i
92 Medidas exteriores
n
X n X
X m m X
X n m
X
λ(Ij ) = λ(Ij ∩ Jk ) = λ(Ij ∩ Jk ) = λ(Jk )
j=1 j=1 k=1 k=1 j=1 k=1
i i
i i
i i
La medida de Lebesgue en R 93
Sea (aj1 , bj1 ], . . . , (ajn , bjn ] una subcolección finita arbitraria; reenume-
rando si es necesario, podemos suponer que:
a ≤ aj1 < bj1 ≤ aj2 < . . . < bjn−1 ≤ ajn < bjn ≤ b,
entonces:
n
X ∞
X
b−a≥ (bji − aji ) por lo tanto b − a ≥ (bj − aj ).
i=1 j=1
i i
i i
i i
94 Medidas exteriores
Asi que supondremos como en el caso 1), que cada An es un intervalo acotado
(an , bn ]. Sea b > a dada y denotamos b′n = min{b, bn } entonces:
∞
[
(a, b] = (a, b] ∩ A = (an , b′n ]
n=1
X ∞
X
b−a = b′n − an ≤ bn − an ,
{n:an <b} n=1
i i
i i
i i
La medida de Lebesgue en R 95
∞
T
Dado que {b} = (b − n1 , b] y que λ es una medida obtenemos que
n=1
1
λ({b}) = lim = 0,
n↓∞ n
de donde λ((a, b)) = λ((a, b]) − λ({b}) = b − a y análogamente con los otros
intervalos.
i i
i i
i i
i i
i i
i i
Capı́tulo 8
La medida de Lebesgue en R
1. Introducción
En este capı́tulo se examina el problema “fácil” y el problema “difı́cil”
de la medida en R y en Rn . Usando el axioma de elección se construyen
subconjuntos de R que no son Lebesgue medibles y se calcula la cardinalidad
de la clase de dichos conjuntos.
Por otro lado se establecen condiciones necesarias y suficientes para que
un subconjunto de R sea Lebesgue-medible y se prueba la propiedad de
regularidad de la medida de Lebesgue. Finalmente usando los métodos del
capı́tulo anterior se construye la medida de Lebesgue-Stieltjes generada por
una función g : R → R no-decreciente y continua por la derecha.
iii) ρ es σ-aditiva.
(Es sencillo comprobar que j(x) = ±x+d con d ∈ R son las únicas isometrı́as
de R).
Tenemos el siguiente resultado:
97
i i
i i
i i
98 La medida de Lebesgue en R
i i
i i
i i
#(P(R) − A∗R ) = 2c .
#(A∗R ) ≤ 2c .
i i
i i
i i
/ A∗R
F ∪V ∈ e
para todo F ⊂ C
i) E ∈ A∗R .
E⊂G y λ∗ (G − E) < ε.
λ∗ (K − E) = 0.
F ⊂E y λ∗ (E − F ) < ε.
λ∗ (E − H) = 0.
i i
i i
i i
Demostración.
i) ⇒ ii)
Caso 1) λ(E) < +∞.
Sea ε > 0. Como λ(E) = λ∗ (E), se sigue de 7.5 que existe una
A-cubierta (Ai ) de E tal que:
∞
X ε
λ(Ai ) ≤ λ(E) + .
2
i=1
∞
X ∞
X ε
λ(G) ≤ λ(Gi ) ≤ λ(Ai ) + ≤ λ(E) + ε
2
i=1 i=1
λ∗ (G − E) = λ(G − E) < ε.
i i
i i
i i
ii) ⇒ iii)
Para cada n ∈ N hallamos Gn un conjunto abierto tal que E ⊂ Gn y
λ∗ (Gn − E) < n1 .
∞
T
Sea K = Gn , entonces K es de tipo Gδ y λ∗ (K − E) ≤ λ∗ (Gn −
n=1
E) < n1 , por lo tanto λ∗ (K − E) = 0.
iii) ⇒ i)
Como E ⊂ K, se tiene que: E = K −(K −E), pero K ∈ Gδ ⊂ BR ⊂ A∗R
y por 7.10 ii), K − E ∈ A∗R por lo tanto E ∈ A∗R .
i) ⇒ iv)
Sea ε > 0, dado que R − E ∈ A∗R se sigue de ii) que existe G = Gε
abierto tal que R − E ⊂ G y λ∗ ((R − G) − E) < ε, entonces F = R − G
satisface los requisitos.
iv) ⇒ v)
Para cada n ∈ N hallamos un conjunto cerrado Fn tal que Fn ⊂ E y
λ∗ (E − Fn ) < n1 .
∞
S
Sea H = Fn entonces H es de tipo Fσ y
n=1
1
λ∗ (E − H) ≤ λ∗ (E − Fn ) ≤ para todo n ∈ N
n
por lo tanto λ∗ (E − H) = 0
i i
i i
i i
v) ⇒ i)
Como H ⊂ E, entonces E = H ∪ (E − H), pero H ∈ Fσ ⊂ BR ⊂ A∗R
y por 7.10 inciso ii), E − H ∈ A∗R , por lo tanto E ∈ A∗R .
Otra caracterización de los elementos de A∗R está dada por el siguiente
teorema:
Teorema 8.7. (Básico de aproximación) Sean E ∈ A∗R con λ(E) < +∞ y
ε > 0, entonces existe A = Aε ∈ A tal que λ(E △ A) < ε.
Inversamente si E ⊂ R es tal que para todo ε > 0 existe A = Aε ∈ A con
λ(E △ A) < ε, entonces E ∈ A∗R (ver el ejercicio (81) en donde se enuncia
este resultado en un contexto más general).
El teorema 8.6 nos dice que los conjuntos Lebesgue-medibles son precisa-
mente aquellos que pueden aproximarse desde “afuera” mediante conjuntos
abiertos y desde “adentro” mediante conjuntos cerrados. Lo que haremos a
continuación es probar que bastan los conjuntos compactos para aproximar
desde adentro. Necesitamos la siguiente definición:
Definición 8.8. Sean (X, τ ) un espacio topológico, S una σ-álgebra que
contenga a la σ-álgebra de Borel generada por τ y µ : S → R una medida.
Decimos que µ es regular en S si para todo E ∈ S se tiene que:
i i
i i
i i
Si λ(E) < +∞, dada ε > 0 arbitraria existe N ∈ N tal que λ(E) <
λ(EN ) + 2ε y como EN ⊂ [−N, N ] hallamos KN ⊂ EN ⊂ E compacto tal
que:
ε
λ(EN ) < λ(KN ) +
2
entonces
λ(E) < λ(KN ) + ε
lo cual establece (8.2). Finalmente si λ(E) = +∞, dada M > 0, hallamos
n ∈ N tal que λ(EN ) > 2M ; a continuación hallamos KN ⊂ EN ⊂ E
compacto tal que:
λ(EN ) < λ(KN ) + M,
entonces λ(KN ) > M , estableciendo (8.2).
En general se puede probar que si (X, d) es un espacio métrico completo
y separable (i.e. un espacio polaco) entonces toda medida finita definida
sobre la σ-álgebra de Borel es regular (S. M. Ulam 1938).
3. La medida de Lebesgue-Stieltjes
Sea g : R → R una función no-decreciente y continua por la derecha.
Como g es monótona se sigue que lim g(x) y lim g(x) existen en R.
x↓−∞ x↑+∞
Sea A el álgebra de subconjuntos de R dada en el ejercicio (7), definimos
λg : A → R extendiendo aditivamente los siguientes valores:
i i
i i
i i
i i
i i
i i
i i
i i
i i
Capı́tulo 9
Modos de convergencia
1. Introducción
En este capı́tulo se introducen diversos modos en los que una sucesión de
funciones medibles converge a una función medible. En los capı́tulos anterio-
res se introdujeron la convergencia casi dondequiera y la convergencia en los
espacios Lp (1 ≤ p ≤ ∞), aquı́ agregamos otros dos tipos de convergencia
y los comparamos todos entre si. Se definen también las correspondientes
nociones de sucesiones de Cauchy para cada tipo y se establecen los teore-
mas de Riesz-Weyl y Egorov. Todas las funciones en cuestión toman valores
reales.
Definición 9.1. Sean (X, S, µ) un espacio de medida y (fn ) ⊂ M(X, S)
una sucesión de funciones. Decimos que:
y lo denotaremos fn −
→ f ó fn → f en µ.
µ
107
i i
i i
i i
por lo que:
Z
p
ε µ(An (ε)) ≤ |fn − f |p dµ ≤k fn − f kpp
An (ε)
o bien
1
µ(An (ε)) ≤ k fn − f kpp de donde fn −
→ f.
εp µ
El recı́proco del teorema anterior es falso, como lo muestra el siguiente:
Ejemplo 9.3. Sean X = [0, 1], S = B[0,1] , λ = medida de Lebesgue sobre
S, p ∈ [1, +∞) fija y (fn ) ⊂ Lp (λ) dada por fn = nχ[0, 1 ] . Sea ε > 0 fija,
n
entonces: 1
0, n si ε ≤ n,
{x ∈ X : |fn (x)| ≥ ε} =
∅ si ε > n,
8
La última desigualdad es un caso particular de la desigualdad de Tchebyshev, ver el
ejercicio (106). También, vea el ejercicio (107) en donde se define una métrica (debida a
F. Riesz) en la que convergencia en medida equivale a convergencia en dicha métrica, si
µ(X) < +∞.
i i
i i
i i
Introducción 109
en cualquier caso:
1
λ ({x ∈ X : |fn (x)| ≥ ε}) ≤
n
lo que prueba que fn −
→ 0. Por otro lado (fn ) no converge en media p a
λ
alguna función, pues de hacerlo serı́a k kp -Cauchy pero:
|fn − f |p ≤ 2p ∈ L1 (µ)
Por otro lado convergencia en media p (p ∈ [1, +∞)) no implica conver-
gencia c.d. como lo demuestra el siguiente
Ejemplo 9.5. Sean X = [0, 1], S = B[0,1] y λ = la medida de Lebesgue en
S. Sean I1 , I2 , . . . la sucesión de intervalos:
1 1 1 1 2 2 1
0, , , 1 , 0, , , , , 1 , 0, ,...
2 2 3 3 3 3 4
i i
i i
i i
2. El teorema de Riesz-Weyl
A pesar de que convergencia en media p (p ∈ [1, +∞)) no implica conver-
gencia c.d., es posible seleccionar una subsucesión que si converja c.d., este
hecho se estableció de manera implı́cita en la prueba de teorema de Riesz-
Fischer (6.8), por lo que se invita al lector a examinarla nuevamente. Esto
también será consecuencia de un teorema más general que se probará en
(9.7).
Definición 9.6. Sea (X, S, µ) un espacio de medida y (fn ) ⊂ M(X, S) una
sucesión. Decimos que (fn ) es de Cauchy en medida (o fundamental en
medida), denotado C. µ. si para todo ε > 0
Observamos que si fn −
→ f , entonces (fn ) es C. µ. Esto se sigue de la
µ
siguiente contención válida para todo ε > 0:
n εo
{x ∈ X : |fm (x) − fn (x)| ≥ ε} ⊂ x ∈ X : |fm (x) − f (x)| ≥
2
n ε o
∪ x ∈ X : |fn (x) − f (x)| ≥
2
la cual es inmediata si se toman complementos y se apela a la desigualdad
del triángulo.
Ahora establecemos uno de los resultados más importantes y útiles de
este capı́tulo
Teorema 9.7. (F. Riesz-H. Weyl) Sean (X, S, µ) un espacio de medida y
(fn ) ⊂ M(X, S) una sucesión C. µ.
Entonces existe f ∈ M(X, S) y una subsucesión (fnk ) de (fn ) tal que:
i i
i i
i i
i) fnk → f (c.d.) y
ii) fn −
→ f.
µ
i i
i i
i i
2. Si fn −
→ f y fn → g c.d., entonces f = g c.d.
µ
3. Si fn −
→ f y gn = fn c.d. para todo n ∈ N, entonces gn −
→ f.
µ µ
Demostración.
∞
S
1
1. Como {x ∈ X : f (x) 6= g(x)} = x ∈ X : |f (x) − g(x)| ≥ k es
n=1
suficiente probar que µ ({x ∈ X : |f (x) − g(x)| ≥ ε}) = 0 para todo
ε > 0. Pero
n εo
{x ∈ X : |f (x) − g(x)| ≥ ε} ⊂ x ∈ X : |f (x) − fn (x)| ≥
2
n εo
∪ x ∈ X : |fn (x) − g(x)| ≥
2
y el resultado se sigue inmediatamente de la hipótesis.
i i
i i
i i
i i
i i
i i
Demostración.
∞
[
−1
{x ∈ X : f (x) < 0} = x ∈ X : f (x) ≤
m
m=1
2. g − fn ≥ 0 c.d. y claramente g − fn −
→ g − f . Por el inciso anterior
µ
g − f ≥ 0 c.d.
Como consecuencia del trabajo previo en convergencia en medida es fácil
establecer el:
Teorema 9.11.
i i
i i
i i
1. fn → f c.d.
2. fn −
→f
µ
Demostración.
1. fn → f c.d.
Para δ = n1 , hallamos Fn ∈ S con µ(Fn ) < 1
n y tal que (fn ) converge
∞
T
uniformemente a f en X − Fn . Sea F0 = Fn entonces µ(F0 ) = 0
n=1
y si x ∈/ F0 existe N = N (x) ∈ N tal que x ∈ X − FN por lo que
fn (x) → f (x).
Ası́ pues, µ ({x ∈ X : |fn (x) − f (x)| ≥ ε}) < δ si n ≥ N . Por lo tanto
fn −→ f.
µ
i i
i i
i i
Teorema 9.14. (F. Riesz - H. Weyl). Sea (fn ) ⊂ M(X, S) una sucesión que
converge a f ∈ M(X, S) en medida, entonces existe una subsucesión (fnk )
de (fn ) tal que fnk → f c.u.
Demostración. Como fn −
→ f , entonces (fn ) es C. µ.. Siguiendo el argu-
µ
mento y la notación del teorema 9.7 y en particular la relación marcada con
(9.1), se deduce que:
Si i > j > p y x ∈ X − Fp entonces:
1
|fni (x) − fnj (x)| < ,
2j−1
lo que prueba que la subsucesión (fnk ) es uniformemente de Cauchy en
1
X − Fp (con µ(Fp ) < 2p−1 ) y en consecuencia converge uniformemente en
˜
X − Fp a cierta función f ∈ M(X, S). Además, por 9.7 i) fnk −
→ f.
µ
→ f también, asi que por 9.8.1) f = f˜ c.d., es claro que
Pero fnk −
µ
entonces fnk → f c.u.
Como es de esperarse diremos que (fn ) ⊂ M(X, S) es de Cauchy casi
uniformemente, lo que será denotado C.c.u. si para todo δ > 0 existe
F ∈ S con µ(F ) < δ tal que (fn ) es uniformemente de Cauchy en X − F . Es
claro que el criterio de Cauchy se satisface para este tipo de convergencia.
3. El teorema de Egorov
Es bien sabido que la convergencia puntual de una sucesión de funciones
no implica la convergencia uniforme y para que esto ocurra las hipótesis son
muy restrictivas (v. gr. el teorema de U. Dini para sucesiones monótonas
de funciones continuas), es por esto que el siguiente teorema debido a D. F.
Egorov (1869-1931) resulta algo sorprendente y de gran utilidad.
Teorema 9.15. (D.F. Egorov, 1913) Sea (X, S, µ) un espacio de medida
finita, (fn ) ⊂ M(X, S) una sucesión y f ∈ M(X, S) tal que fn → f c.d.,
entonces fn → f c.u. (y por lo tanto, fn −
→ f por 9.12).
µ
i i
i i
i i
Claramente
∞ \
[ ∞
A⊂ Ck (ε) = lim Ck (ε) ,
n=1 k=n k→∞
ası́ pues:
∞
!
\
µ(X) = µ(A) ≤ µ lim Ck (ε) ≤ lim µ Ck (ε) ≤ µ(X),
k→∞ n↑∞
k=n
de donde !
∞
\
µ(X) = lim µ Ck (ε)
n↑∞
k=n
o bien dado que µ es finita obtenemos:
∞
! ∞
!
[ \
lim µ {x ∈ X : |fk (x) − f (x)| ≥ ε} = lim µ X − Ck (ε) = 0.
n↓∞ n↓∞
k=n k=n
Sea
∞
[ ∞
[
1
F = x ∈ X : |fk (x) − f (x)| ≥ .
m
m=1 k=nm
1
Entonces µ(F ) < δ y si x ∈
/ F implica |fk (x) − f (x)| < m para todo m ∈ N
y k ≥ nm por lo tanto, fn → f uniformemente en X − F .
Observación 9.16. La conclusión de el teorema de Egorov falla si µ(X) =
+∞, o bien si la función lı́mite toma valores extendidos en un conjunto de
medida positiva (ver el ejercicio (110)).
i i
i i
i i
Por otro lado es posible establecer una versión del teorema de Egorov
sin suponer que µ(X) < +∞, si en su lugar se supone la existencia de una
función en Lp (p ∈ [1, +∞)) que domine una sucesión convergente c.d., a
saber:
entonces:
de donde:
∞
[
Dk (ε) − N ⊂ {x ∈ X : 2g(x) ≥ ε},
k=1
∞
!
[
lim µ Dk (ε) = 0.
n↓∞
k=1
i i
i i
i i
Ejemplo 9.19. La convergencia u.c.d. es más fuerte que los otros tipos de
convergencia aún si µ(X) < +∞.
Sean fn = nχ[0, 1n ] para todo n y f = 0 sobre ([0, 1], B[0,1] , λ) entonces
2
fn → 0 c.d., c.u., en µ y en Lp , pero no converge u.c.d. ya que para todo
n ∈ N :k f2n − fn k∞ = n.
2. fn + gn → f + g (∗).
i i
i i
i i
3. |fn | → |f | (∗).
i i
i i
i i
Capı́tulo 10
Medidas con signo
1. Introducción
En este capı́tulo se generaliza el concepto de medida cuando la función
conjuntista llamada medida con signo toma valores positivos y negativos.
Se demuestra que toda medida con signo es la diferencia de dos medidas
con al menos una de ellas finita. A continuación se introducen los conceptos
de continuidad absoluta y de singularidad en el espacio de las medidas con
signo, se prueban algunas de sus propiedades fundamentales y se establecen
tres de los teoremas más importantes en Teorı́a la Medida: 10.18, 10.22 y
10.23.
Definición 10.1. Sea (X, S) un espacio medible. Una medida con signo
en (X, S) es una función conjuntista ν :→ R tal que:
a) ν(∅) = 0
∞
!
[
ν Ei = +∞ ó − ∞,
i=1
121
i i
i i
i i
Demostración.
i i
i i
i i
Ejemplo 10.3.
1. Sean µ1 , µ2 : S → R dos medidas con alguna de ellas finita, entonces
ν : S → R dada por: ν(E) = µ1 (E) − µ2 (E) (E ∈ S) es una medida
con signo.
i i
i i
i i
Propiedades 10.5.
1. Si A es positivo para ν, entonces:
ν |S∩A : S ∩ A → R
es una medida en (A, S ∩ A). Análogamente si B es negativo para ν,
entonces
−ν |S∩B : S ∩ B → R
es una medida en (B, S ∩ B).
2. Todo subconjunto S-medible de un conjunto positivo, negativo y nulo
para ν es positivo, negativo o nulo para ν (respectivamente).
3. N es nulo para ν si y sólo si N es positivo y negativo para ν.
En el ejemplo 10.3 2), es fácil comprobar que
A = {x ∈ X : f (x) > 0} B = {x ∈ X : f (x) < 0}
y N = {x ∈ X : f (x) = 0}
son un conjunto positivo, negativo y nulo para ν (respectivamente).
Teorema 10.6. Sean (X, S) un espacio medible y ν : S → R una medida
con signo. Si (An ) es una sucesión de subconjuntos positivos para ν, entonces
∞
S
A= An es positivo para ν (análogamente para negativos y nulos para ν).
n=1
Demostración. Como A1 ∪ A2 = (A1 − A2 ) ∪ (A1 ∩ A2 ) ∪ (A2 − A1 ) y
A1 − A2 , A1 ∩ A2 y (A2 − A1 ) son positivos para ν y son ajenos, entonces
para todo E ⊂ A1 ∪ A2 , con E ∈ S, se tiene por la aditividad de ν que:
ν(E) = ν (E ∩ (A1 − A2 )) + ν(E ∩ A1 ∩ A2 ) + ν(E ∩ (A2 − A1 )) ≥ 0 lo que
k
S
prueba que A1 ∪ A2 es positivo. Por inducción se sigue que Ck = An es
n=1
positivo para ν. Claramente C1 ⊂ C2 ⊂ . . ..
∞
S
Sea E ⊂ A, con E ∈ S, arbitrario, entonces E = (Ck ∩ E), y por 10.2
k=1
ii) se tiene que: ν(E) = limk→∞ ν(Ck ∩ E) ≥ 0, por lo tanto, A es positivo
para ν.
Asociada a toda medida con signo existe una descomposición (no única)
X = A ∪ B con A, B ∈ S disjuntos con A positivo y B negativo para ν.
i i
i i
i i
1
ν(E0 − E1 ) = ν(E0 ) − ν(E1 ) ≤ ν(E0 ) − < 0.
k1
Repitiendo el argumento usado para E0 , ahora para E0 − E1 concluimos que
E0 −E1 no puede ser negativo para ν y definimos k2 como el menor natural
tal que E0 −E1 contiene un subconjunto E2 ∈ S con ν(E2 ) ≥ k12 . De manera
inductiva, hallamos subconjuntos ajenos E1 , E2 , . . . , En ∈ S contenidos en
E0 tales que ν(Ej ) ≥ k1j (j = 1, . . . , n) con kj el menor natural tal que
9
La descomposición X = A ∪ B se conoce como una descomposición de Hahn para
ν y la denotaremos como (A | B).
i i
i i
i i
j−1
S
E0 − El contiene algún subconjunto medible con medida mayor igual que
l=1
1
kj . Por σ-aditividad obtenemos:
∞
X ∞
X ∞
[
1
≤ ν(Ej ) = ν Ej < +∞
kj
j=1 j=1 j=1
∞
S
(pues Ej ⊂ E0 y |ν(E0 )| < +∞), por lo que necesariamente kj → +∞
j=1
∞
S
si j → +∞. Sea F0 = E0 − Ei , entonces si F ⊂ F0 , con F ∈ S, se tiene
i=1
que ν(F ) ≤ 0 pues si ν(F ) > 0, existe l ∈ N tal que ν(F ) ≥ 1l y como
∞
S
F ⊂ E0 − Ei se sigue de la definición de kn que kn ≤ l para todo n, lo
i=1
cual no es posible, con lo que se prueba que F0 es negativo para ν y ajeno
a B, asi que B ∪ F0 es negativo para ν y ν(B ∪ F0 ) < β contradiciendo la
definición de β. Por lo tanto A es positivo para ν.
Teorema 10.8. Sean (A1 | B1 ) y (A2 | B2 ) descomposiciones de Hahn para
ν, entonces éstas son ν-esencialmente iguales en el sentido de que A1 △A2 y
B1 △B2 son ν-nulos.
Demostración. Sea E ⊂ A1 △A2 , E ∈ S entonces
ν(E) = ν (E ∩ (A1 − A2 )) + ν (E ∩ (A2 − A1 ))
como E ∩ (A1 − A2 ) ⊂ A1 y E ∩ (A2 − A1 ) ⊂ A2 se sigue que ν(E) ≥ 0. Por
otro lado como
E ∩ (A1 − A2 ) ⊂ B2 y E ∩ (A2 − A1 ) ⊂ B1
se sigue que ν(E) ≤ 0 asi que ν(E) = 0. La prueba de que B1 △B2 es ν-nulo
es totalmente análoga.
Dados un espacio medible (X, S) y una medida con signo ν : S → R es
posible construir a partir de cualquier descomposición de Hahn (A | B)
para ν, dos medidas ν + ν − : S → R alguna de ellas finita tal que ν = ν + −ν − ,
probando de este modo que la forma general de una medida con signo es la
del ejemplo 10.3 i), este hecho es el contenido del siguiente teorema:
i i
i i
i i
Finalmente, si ν(E) = +∞, entonces por 10.1 b), ν(E ∩ B) > −∞, por lo
tanto
ν + (E) = ν(E ∩ A) = +∞ y ν − es finita.
i i
i i
i i
E E
y Z
|ν|(E) = |f | dµ para todo E ∈ S.
E
Extendemos las definiciones anteriores para medidas con signo como si-
gue: ν1 y ν2 son mutuamente singulares (denotado por ν1 ⊥ ν2 ), si sus
variaciones totales lo son (i.e. si |ν1 | ⊥ |ν2 |) y diremos que ν2 es absolu-
tamente continua con respecto a ν1 denotado ν2 ≪ ν1 si ν2 (E) = 0
siempre que |ν1 |(E) = 0 .
Las siguientes son algunas consecuencias de las definiciones.
Propiedades 10.14. Sean (X, S) un espacio medible y ν, ν1 , ν2 medidas
con signo en S, entonces:
a) ν1 ⊥ ν2 ⇔ ν2 ⊥ ν1 .
i i
i i
i i
d) Si ν2 ≪ ν y ν ⊥ ν1 , entonces ν2 ⊥ ν1 .
e) Si ν1 ≪ ν y ν1 ⊥ ν, entonces ν1 ≡ 0.
Demostración.
a) Es inmediata.
y por la hipótesis ν2+ (E) = 0 = ν2− (E) asi que |ν2 |(E) = 0; esto prueba
que |ν2 | ≪ ν1 .
Supongamos que |ν2 | ≪ ν1 y que |ν1 |(E) = 0, entonces
Supongamos que |ν2 | ≪ |ν1 |, entonces como ν2+ , ν2− ≤ |ν2 | es inmedia-
to que ν2+ ≪ |ν1 | y ν2− ≪ |ν1 |. Finalmente, si ν2+ , ν2− ≪ |ν1 | y |ν1 |(E) =
0 entonces ν2+ (E) = 0 = ν2− (E) de donde ν2 (E) = (ν2+ − ν2− )(E) = 0;
por lo tanto ν2 ≪ ν1 .
i i
i i
i i
|ν|(A ∩ C) = 0 = |ν|(B ∩ C)
asi pues |ν1 |(X) = |ν1 |(C) + |ν1 |(D) = 0, pero para todo E ∈ S:
por lo tanto ν1 ≡ 0.
A continuación damos una versión continua de la relación ν2 ≪ ν1 en el
caso de que |ν2 |(X) < +∞. (Ver el ejercicio (123)).
Teorema 10.15. Sean (X, S) un espacio medible y ν1 , ν2 : S → R medidas
con signo tales que |ν2 |(X) < +∞, entonces:
tal que
|ν2 |(E) < ε para todo E ∈ S con |ν1 |(E) < δ.
Demostración.
⇐]
Sea E ∈ S tal que |ν1 |(E) = 0, entonces para todo ε > 0 se tiene que
|ν1 (E)| = 0 < δ(ε), por lo que |ν2 |(E) < ε. Por lo tanto |ν2 |(E) = 0.
i i
i i
i i
⇒]
Supongamos que la conclusión es falsa, entonces existe ε0 > 0 y una sucesión
(En ) de elementos de S tales que |ν1 |(En ) < 21n pero |ν2 |(En ) ≥ ε0 para
todo n ∈ N.
Sea E = lim En , entonces por el lema de Borel-Cantelli (ver el ejercicio
n→∞
(32)) se tiene que |ν1 |(E) = 0, asi pues |ν2 |(E) = 0.
Por otro lado, como |ν2 |(X) < +∞ se sigue de 3.5 b) que
∞
[
|ν2 |(E) = lim |ν2 |( Ek ) ≥ ε0
n↓∞
k=n
lo cual no es posible.
siempre que E ∈ S satisfaga µ(E) < δ(ε). Este hecho es muy útil y es
frecuentemente usado.
3. El teorema de Radon-Nikodým
El ejemplo mencionado 10.3 2) es muy importante, pues se demos-
trará que bajo condiciones muy generales el recı́proco es cierto también,
en consecuencia será esencialmente el único método de generar medidas con
signo absolutamente continuas con respecto a una medida dada, este es el
contenido del teorema de M. J. Radon y O. Nikodým (1930) para el cual
necesitamos el siguiente lema:
i i
i i
i i
1
0 ≤ ν(B0 ) ≤ µ(B0 ) para todo n ∈ N, de donde ν(B0 ) = 0,
n
por lo que ν(A0 ) > 0 (pues ν 6= 0) y por continuidad absoluta µ(A0 ) > 0.
Entonces existe n0 ∈ N tal que µ(An0 ) > 0. Tomamos ε = n10 y A = An0 .
Demostración.
Caso 1) µ y ν son medidas finitas.
Sean
Z
+
K = {f ∈ L1 (µ) : f dµ ≤ ν(E) para todo E ∈ S} y
E
Z
α = sup f dµ : f ∈ K (≤ ν(X) < +∞).
i i
i i
i i
Como f0 ∈ L+ +
1 es posible hallar f ∈ M (X,
R S) tal que f = f0 (c.d.
rel µ) por
R lo que también tendremos f ∈ K y f dµ = α. Se probará
R que
ν(E) = f dµ para todo E ∈ S o bien que la medida: ν0 (E) = ν(E)− f dµ
E E
es idénticamente cero. Si este no es el caso se sigue del 10.17 que existen
ε > 0 y A ∈ S tales que A es positivo para ν0 −εµ y µ(A) > 0, en particular:
Z
εµ(E ∩ A) ≤ ν0 (E ∩ A) = ν(E ∩ A) − f dµ.
E∩A
i i
i i
i i
R
Si f˜ ∈ M+ (X, S) es tal que ν(E) = f˜ dµ para todo E ∈ S, entonces
E
Z
(f − f˜) dµ = 0 para todo E ∈ S por lo que f = f˜(c.d. rel µ).
E
E E
Es claro que f = f (1) − f (2) satisface las condiciones del teorema y que es
única (c.d.rel µ).
Caso 3) µ(X) ≤ +∞ y |ν|(X) ≤ +∞. (Caso general)
Hallamos una sucesión (Xn )n∈N de elementos de S disjuntos tal que:
∞
[
X= Xn y µ(Xn ) < +∞ y |ν|(Xn ) < +∞ para todo n ∈ N.
n=1
X ∞
X Z
+ +
ν (E) = ν (E ∩ Xn ) = fn(1) dµn
n=1 n=1E∩X
n
i i
i i
i i
∞ Z Z !
X
= f (1) dµ = lim f (1) dµ
n↑∞
n=1E∩X n
n S
E∩Xj
j=1
Z
= f (1) dµ
E
R
y analogamente ν − (E) = f (2) dµ para todo E ∈ S. Ponemos f = f (1) −
E
f (2) y dejamos al lector el comprobar que f satisface las condiciones de
unicidad.
Existen otras pruebas del teorema anterior. Vea por ejemplo la de J. von
Neumann que aparece en [Ro] pp. 242-243, ejercicio (37), o la que aparece en
[S-G] pp. 187-189 y que es esencialmente la prueba original de O. Nikodým.
Observaciones 10.19.
i i
i i
i i
1. Si ν1 ≪ µ y ν2 ≪ µ, entonces:
d(ν1 ± ν2 ) dν1 dν2
ν1 ± ν2 ≪ µ y = ± [µ].
dµ dµ dµ
2. Si ρ ≪ ν y ν ≪ µ entonces:
dρ dρ dν
ρ≪µy = [µ].
dµ dν dµ
Demostración.
1. Es inmediata de la [µ]-unicidad de las derivadas en cuestión. (Para
ν1 − ν2 se supone que alguna de las medidas es finita).
dρ dν
2. Sean f = dν y g = dµ . Como ρ, ν, µ son medidas, podemos suponer
(ver el caso 1) de 10.18) que f ≥ 0[ν] y g ≥ 0[µ]. Sea (sn ) una sucesión
de funciones S-simples no-negativas (fn ) tal que sn ↑ f , entonces por
el T.C.M:
Z Z Z Z
f dν = lim sn dν y f g dµ = lim sn g dµ para todo E ∈ S.
n↑∞ n↑∞
E E E E
i i
i i
i i
R R
Asi pues: ρ(E) = f dν = f g dµ para todo E ∈ S y por [µ]-unicidad
E E
se tiene que
dρ
= f g[µ].
dµ
3. La primera parte es el contenido del ejercicio (128 i)) y se omite. Por
otro lado se sigue del punto anterior con ρ = µ que
dµ dµ dν
1= = [µ]
dµ dν dµ
−1
por lo que: dµ
dν = dν
dµ [µ]. Observe finalmente que ν ≡ µ ⇔ [µ] = [ν].
(i.e. µ y ν definen los mismos nulos).
i) ν = ν0 + ν1 .
ii) ν0 ⊥ µ y ν1 ≪ µ.
Demostración.
Caso 1) µ y ν medidas finitas.
dν
Como ν ≤ µ + ν, entonces ν ≪ µ + ν. Si f = d(µ+ν) [µ + ν] entonces
Z Z
ν(E) = f dµ + f dν para todo E ∈ S
E E
i i
i i
i i
′ ′ ′ ′
ν0,n ⊥ µn , ν1,n ≪ µn y νn = νn,o + νn,1 ,
i i
i i
i i
i i
i i
i i
T
Sea S̃p = S̃n,m, con p ∈ N, como (νn (E)) converge para todo E ∈ S̃ se
m,n≥p
∞
S
tiene que S̃ = S̃p , ası́ que por el teorema de Categorı́a de Baire (Ver
p=1
[H-S] p. 68) algún S̃q tiene d-interior no-vacı́o.
Sea A un punto interior de S̃q y r > 0 tal que
ε′
|νn (E) − νm (E)| ≤ para todo m, n ≥ q
3
y para todo E ∈ S̃ con d(A, E) < r. Por 10.15 es posible elegir δ ∈ (0, r) tal
que
ε′
|νn (B)| < para todo n = 1, . . . , q para todo B ∈ S
3
tal que µ(B) < δ y además d(A ∪ B, A) < r, d(A − B, A) < r entonces a
partir de la identidad:
Corolario 10.24. Si a las hipótesis del teorema anterior se agrega µ(X) <
+∞, entonces la función ν(E) = lim νn (E) es una medida absolutamente
n→∞
continua con respecto a µ.
i i
i i
i i
Por el teorema anterior, dada ε > 0 se tiene que: sup{νn (Em − E)} < ε
n∈N
si m es suficientemente grande, de donde obtenemos:
i i
i i
i i
i i
i i
i i
Capı́tulo 11
La medida producto
1. Introducción
En este capı́tulo se construye el producto cartesiano de dos espacios
medibles. Se relaciona la medibilidad de funciones en dos variables con la
medibilidad de cada una de sus secciones. Se obtiene a la medida del produc-
to usando como herramienta fundamental el lema de las clases monótonas
(1.12) y se obtiene el principio de Cavalieri. Se prueban los teoremas de
Tonelli y de Fubini que relacionan la integral doble de una función con las
integrales iteradas.
143
i i
i i
i i
1. Claramente ∅ y X × Y ∈ A1
!
n
[ m
[ [
D ∩ D′ = Ai × Bi ∩ A′j × Bj′ = (Ai × Bi ) ∩ (A′j × Bj′ )
i=1 j=1 i,j
[
= (Ai ∩ A′j ) × (Bi ∩ Bj′ ),
i,j
!
[ \
= Ai × Bi ∩ (X × Y ) − A′j × Bj′
i j
[ \
= (Ai × Bi ) ∩ (X × Y ) − A′j × Bj′
i j
[ \
= (Ai × Bi ) ∩ ((X × Y ) − A′j × Bj′ )
i j
i i
i i
i i
Introducción 145
[\
= (Ai × Bi ) − (A′j × Bj′ )
i j
Teorema 11.4. Sean (X, S) y (Y, T ) dos espacios medibles. Sean E ⊂ P(X)
y E′ ⊂ P(Y ) sub-familias no vacı́as que satisfacen S(E) = S, S(E′ ) = T y
X ∈ E, Y ∈ E′ , entonces:
S ⊗ T = S(E × E′ ).
i) Y ∈ LA , pues Y ∈ E′ .
i i
i i
i i
∞
S
asi pues Bi ∈ L A .
i=1
Por otro lado LA contiene a π(E′ ) = {intersecciones finitas de elemen-
tos de E′ } ya que si F ∈ π(E′ ), entonces
F = B1 ∩ . . . ∩ B n
n
T
con Bi ∈ E′ (i = 1, . . . , n) y A × F = A × Bi ∈ S(E × E′ ).
i=1
Se sigue del L.C.M. que T = S(E′ ) esta contenida en LA para todo
A ∈ E. Ahora fijamos B ∈ T y definimos
LB = {A ⊂ X : A × B ∈ S(E × E′ )}
Con ayuda del teorema anterior es fácil establecer el ejercicio (133).
Definición 11.5. Sea F ⊂ X×Y un subconjunto. Para x ∈ X fijo definimos
la x-sección de F denotada por Fx como el subconjunto de Y definido por:
Fx = {y ∈ Y : (x, y) ∈ F }.
F y = {x ∈ X : (x, y) ∈ F }.
i i
i i
i i
Introducción 147
v) Si F ⊂ H, entonces Fx ⊂ Hx .
{F ⊂ X × Y : Fx = i−1
x (F ) ∈ T },
i i
i i
i i
para todo B ∈ BR
fx−1 (B) = i−1
x f −1 (B) = (f −1 (B))x
el cual pertenece a T por 11.7. La prueba para y-secciones es análoga.
i i
i i
i i
i) Como S × T ⊂ L entonces X × Y ∈ L.
i i
i i
i i
iii) Sea (Fn ) ⊂ L una sucesión creciente de subconjuntos con unión igual
a F , entonces
fF = lim fFn y gF = lim gFn ,
n↑∞ n↑∞
S(S ∩ Xi × T ∩ Yj ) = (S ∩ Xi ) ⊗ (T ∩ Yj ).
i i
i i
i i
P P
Por lo que fF = fFi,j y gF = gFi,j , lo anterior prueba que fF y gF son
i,j i,j
no-negativas y medibles en sus respectivos espacios, además
Z XZ XZ
fF dµ = fFi,j dµ = fFi,j dµi
i,j X i,j
i
XZ XZ
Fi,j
= g dνj = gFi,j dν
i,j i,j Yj
Z
= gF dν.
3. La medida producto µ ⊗ ν
Teorema 11.14. 12 (De la medida producto) Sean (X, S, µ) y (Y, T, ν) dos
espacios de medida σ-finita, entonces la función conjuntista π : S ⊗ T → R
definida por: Z Z
π(F ) = ν(Fx ) dµ = µ(F y ) dν
12
Llamaremos a π la medida producto de µ y ν y la denotaremos por π = µ ⊗ ν.
i i
i i
i i
Z X
∞ ∞ Z
X
= (ν(Fn )x ) dµ = ν ((Fn )x ) dµ
n=1 n=1
∞
X
= π(Fn )
n=1
para todo F ∈ S ⊗ T .
Esto se sigue de 11.14, 11.3 y 7.11.
Lo anterior sugiere otro enfoque para la construcción de la medida pro-
ducto considerando a la medida exterior generada por la casi-medida µ × ν
i i
i i
i i
para todo F ∈ S ⊗ T .
Se sugiere al lector que trate de seguir este método alternativo para la
construcción de la medida producto si X = Y = R y A es el álgebra del
ejercicio (7).
Usando cubiertas medibles (ver el ejercicio (86)) es inclusive posible
probar que (µ × ν)∗ coincide con µ∗ × ν ∗ sobre P(X) × P(Y ). (Vea [Hal]
p.150, ejercicio 9)
Teorema 11.17.
a) Sean E, F ∈ S⊗T tales que ν(Ex ) = ν(Fx ) c.d. rel µ (o µ(E y ) = µ(F y )
c.d. rel ν) entonces π(E) = π(F ). (Principio de B. Cavalieri (1635)).
i) π(F ) = 0.
ii) ν(Fx ) = 0 c.d. rel µ.
iii) µ(F y ) = 0 c.d. rel ν.
Demostración. Se omite.
i i
i i
i i
y análogamente
Z Z
hy dµ dν = µ ⊗ ν ((A × B) ∩ F )
B A
que es igual a Z
χF d(µ ⊗ ν).
A×B
i i
i i
i i
Dos nuevas aplicaciones del T.C.M. y la validez del teorema para cada hn
implica que: Z Z
h d(µ ⊗ ν) = lim hn d(µ ⊗ ν)
n↑∞
A×B A×B
Z Z
= lim (hn )x dν dµ
n↑∞ B
A
Z Z
= (h)x dν dµ,
A B
y análogamente
Z Z Z
h d(µ ⊗ ν) = (h)y dµ dν.
A×B B A
Una aplicación interesante del teorema de Tonelli esta en el ejercicio
(141).
i i
i i
i i
i i
i i
i i
entonces
Z Z1 1 π
dx
f dµ = = (arctan x) = .
x2 + 1 0 4
X 0
R
Pero como h(x, y) = −h(y, x) obtenemos que g dν = − π4 .
Y
Los valores resultan ser diferentes ya que h ∈/ L1 (µR⊗ ν), hecho que
comprobamos a continuación i.e. debemos verificar que |h| d(µ × ν) =
X×Y
+∞ o bien como el integrando es medible no-negativo basta demostrar por
11.18, que:
Z Z
|h| dν dµ = +∞.
X Y
de donde:
Z Z Z
|h| dν dµ ≥ 1 dµ
= +∞
2 x
X Y X
i i
i i
i i
entonces si x 6= 0
Z Z
1
hx dν = =− hx dν
2x
(0,∞) (−∞,0)
R R
por lo que hx dν = 0 y analogamente hy dµ = 0 si y 6= 0, pero
X Y
Z Z Z Z
dµ
|h| dµ ⊗ ν = |h| dν dµ = = +∞.
|x|
X×T X Y X
entonces: Z Z
f G dµ + gF − dµ = F (b)G(b)
[a,b] [a,b]
i i
i i
i i
Z Z
= f (x)γ(x, t) dµ(t) dµ(x).
[a,b] [a,b]
Z Z Z
= f (x)g(t) dµ(x) dµ(t) = g(t) F (b) − F − (t) dµ(t)
[a,b] [t,b] [a,b]
Z
= G(b)F (b) − g(x)F − (x) dµ(x)
[a,b]
i i
i i
i i
En general puede tenerse que F (t) 6= F − (t), esto debido a que µ ({t}) >
0. Por lo que si µ ({t}) = 0 para todo t (como es el caso de la medida
de Lebesgue), la fórmula de integración por partes adquiere su forma más
conocida.
i i
i i
i i
Bibliografı́a
[E-S] “On the Sum of Two Borel Sets”. P. Erdös, A.H. Stone.
Procedings of the American Math. Soc. # 25 pp 304-306 (1970).
161
i i
i i
i i
162 Bibliografı́a
i i
i i
i i
163
i i
i i
i i
i i
i i
i i
Guı́a de ejercicios
Capı́tulo 1) 1, 2, 3, 4, 5 i), 5 ii), 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
18.
Capı́tulo 3) 5 iii), 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41.
Capı́tulo 4) 42, 43, 44, 45, 46, 47, 48, 49, 54, 55.
Capı́tulo 6) 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75,
76, 77, 78, 79.
Capı́tulo 7) 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91.
Capı́tulo 8) 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105.
Capı́tulo 9) 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117,
118, 119, 120.
Capı́tulo 10) 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132.
Capı́tulo 11) 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144,
145, 146, 147, 148, 149, 150.
165
i i
i i
i i
i i
i i
i i
Ejercicios
i) En ⊂ An para todo n.
ii) En ∩ Em = ∅ para todo n 6= m.
m m
∞ ∞
S S S S
iii) En = An para todo m ∈ N por lo tanto En = An
n=1 n=1 n=1 n=1
n−1
S
(Sugerencia: Sea E1 = A1 y En = An − Aj si n ≥ 2).
j=1
5. Sean E1 , . . . , En ⊂ X dados.
167
i i
i i
i i
168 Ejercicios
i i
i i
i i
169
S S
i) A(E) = Ea : D ⊂ {0, 1}n (convenimos en poner Ea = ∅).
a∈D a∈∅
n
ii) Concluya que #(A(E)) ≤ 22
12. Sea E ⊂ P(X) fija. Pruebe que para todo A ∈ S(E), existe una sub-
familia numerable E0 ⊂ E tal que A ∈ S(E0 ).
S
(Sugerencia:13 Sea S = {S(E′ ) : E′ ⊂ E es numerable}. Pruebe que
S es una σ-álgebra y que E ⊂ S = S(E)).
13
En general unión de σ-álgebras puede no ser una σ-álgebra.
i i
i i
i i
170 Ejercicios
14. Sea (En )∞1 una sucesión de subconjuntos de X. Definimos el lı́mite in-
ferior y el lı́mite superior de (En ) denotados por: lim (En ) y lim (En )
n→∞ n→∞
respectivamente como los subconjuntos de X definidos por:
∞ \
[ ∞ ∞ [
\ ∞
lim (En ) = Ek y lim (En ) = Ek (Borel 1905)
n→∞ n→∞
n=1 k=n n=1 k=n
Pruebe que:
i i
i i
i i
171
ii) (χEn )∞
1 converge si y sólo si lim (En ) = lim (En ). En cuyo caso
n→∞ n→∞
lim χEn = lim χEn .
n→∞ n→∞
i i
i i
i i
172 Ejercicios
1
Pruebe que f es S-medible.
Pruebe que
∞ [
\ ∞ \ ∞
1
A= x ∈ X : |fn (x) − fn+p (x)| <
n=1 p=1
k
k=1
i i
i i
i i
173
i) Cm ∈ S.
Pn n
P
ii) µ(Em ) = mµ(Cm ).
m=1 m=1
iii) Si Dm = {x ∈ X : x ∈ Ej para a lo más m ı́ndices j ∈ {1, . . . , n}}
(1 ≤ m ≤ n) entonces:
n
X n
X
µ(Em ) ≤ mµ(Dm ).
m=1 m=1
i i
i i
i i
174 Ejercicios
µ lim An △ lim Bn y µ lim An △ lim Bn
n→∞ n→∞ n→∞ n→∞
i i
i i
i i
175
∞
S
ii) Si µ En < +∞ entonces lim µ(En ) ≤ µ lim En . Dé un
n=1 n→∞ n→∞
ejemplo en el que la desigualdad sea estricta.
iii) Pruebe con un ejemplo que (ii) podrı́a no cumplirse si
∞
!
[
µ En = +∞.
n=1
i i
i i
i i
176 Ejercicios
Pruebe
14
La propiedad (ii) justifica el nombre de µ-compleción que se da al espacio de medida
(X, S, µ).
15
Se supone que (Ak ) es tal que lim Ak = lim Ak y lim Ak denota al conjunto
k→∞ k→∞ k→∞
común.
i i
i i
i i
177
i i
i i
i i
178 Ejercicios
46. Pruebe:
Z Z
f dµ = sup f dµ : E ∈ S, µ(E) < +∞
E
R
para toda f ∈ M + (X, S) con f dµ < +∞.
i i
i i
i i
179
52. Sea (fn ) una sucesión de funciones de L1 (X, S, µ), tal que
X∞ Z
|fn | dµ < +∞.
n=1
∞
P
Pruebe que la serie fn converge a una función f ∈ L1 (X, S, µ) que
n=1
satisface: Z ∞ Z
X
f dµ = fn dµ
n=1
¿Qué significa lo anterior si X = N, S = P (N) y µ es la medida de
conteo?
i i
i i
i i
180 Ejercicios
+
53. Sea (fn ) una R de elementos de M (X, S) tal que: fn → f (c.d.
R sucesión
rel. µ) y fn dµ → f dµ < +∞. Pruebe que
Z Z
fn dµ → f dµ para todo E ∈ S
E E
i) f ∈ L1 (X, S, µ) y
R R
ii) f dµ = lim fn dµ para todo E ∈ S.
n→∞
E E
Pruebe:
i) g y h son Borel-medibles.
(Sugerencia: Pruebe que g−1 ((α, +∞)) y h−1 ((−∞, α)) son abier-
tos relativos de [a, b], para toda α ∈ R).
ii) g ≤ f ≤ h. Además g(t) = f (t) = h(t) ⇔ f es continua en t.
i i
i i
i i
181
i i
i i
i i
182 Ejercicios
(Sugerencia: (1 − nx )n ≤ (1 − x n+1
n+1 ) si x
n < 1).
iii) Pruebe:
Z∞ X 1 ∞
e−x α−1
x dx = Γ(α) si α > 1.
1 − e−x nα
0 n=1
e−x
(Sugerencia: 1−e−x = e−x + e−2x + . . . ).
60. Sea (X, S, µ) un espacio de medida. Si f ∈ Lp1 (µ) ∩ Lp2 (µ) con
1 ≤ p1 < p2 < +∞, entonces f ∈ Lp1 (µ) para todo p ∈ (p1 , p2 ).
1
(Sugerencia: p = αp1 + (1 − α)p2 para cierta α ∈ (0, 1). Note que α y
1
1−α son exponentes conjugados).
i) f1 f2 · · · fn ∈ L1 (µ).
i i
i i
i i
183
R
ii) |f1 f2 · · · fn | dµ ≤ kf1 kp1 kf2 kp2 . . . kfn kpn .
iii) La igualdad ocurre en (ii) si y sólo si existe ϕ ∈ L+ 1 (µ) y cons-
p
tantes no negativas c1 , . . . , cn tales que |fi | = ci ϕ (c.d rel. µ).
(Sugerencia: Inducción matemática).
i i
i i
i i
184 Ejercicios
R ∞
P
i) f ∈ L1 (λ). (De hecho f dλ = 2 ak , por lo que f (x) < +∞
k=1
(c.d. rel. λ)).
ii) f ∈
/ L2 (a, b) si a < b.
67. Sea (X, S, µ) como en el ejercicio (65). Sea p ∈ (0, +∞) fija y pruebe
[
Lq (µ) ( Lp (µ)
p<q
1
(Sugerencia: Considere f1 (x) = x(1+| log x|)2 si p = 1 y modifique f1 si
p 6= 1).
∞
P np
(Sugerencia: 2n < +∞ para toda p ∈ (0, +∞)).
n=1
log(0) = −∞ y exp(−∞) = 0.
i i
i i
i i
185
R R
i) log (|f |) dµ ≤ log |f | dµ . La igualdad ocurre si y sólo si |f |
es constante (c.d. rel. µ).
(Sugerencia: Verifique la desigualdad log(t) ≤ t − 1 si t ∈ [0, +∞)
con la igualdad t = 1. Sustituya t con kf|fk|1 e integre).
R
ii) limkf kr = exp log(|f |) dµ . Compare con el ejercicio (64).
r↓0
r
(Sugerencia: Pruebe que t r−1 ↓ log t(r ↓ 0) para toda t ∈ [0, +∞)
para obtener
Z Z
1
lim |f |r dµ − 1 = log |f | dµ
r↓0 r
i i
i i
i i
186 Ejercicios
71. Sea (X, S, µ) un espacio de medida y f ∈ L1 (µ) tal que µ(Ef ) < ∞
donde
Ef = {x ∈ X : f (x) 6= 0}
entonces: Z
lim |f |1/n dµ = µ(Ef )
n→∞
R
Sea ϕ : J → R dada por ϕ(p) = |f |p dµ. Pruebe:
i i
i i
i i
187
77. Sea (X, S, µ) un espacio de medida, f ∈ Lp (µ), 0 < p < +∞, y ε > 0
dadas. Pruebe que:
i) Existe g ∈ Lp (µ) ∩ L∞ tal que: kf − gkp < ε.
(Sugerencia: Sea (gn ) una sucesión de truncamientos de f con
gn → f . Observe que |gn | ≤ |f | y |f − gn | ≤ |f | para toda n ∈ N).
ii) Existe s ∈ Lp (µ) simple tal que kf − skp < ε.
78. (Recı́proco de la desigualdad de Hölder).
Sean (X, S, µ) un espacio de medida σ-finita y g ∈ M (X, S) tales que
gs ∈ L1 (µ) para toda s simple
R en Lp (µ), p ∈ (1, +∞) fijo. Suponga
que existe A ≥ 0 tal que gs dµ ≤ Akskp para toda s. Pruebe que
g ∈ Lq (µ) con p1 + 1q = 1 y que kgkq ≤ A.
(Sugerencia: Halle una sucesión de funciones simples (tn ) tal que
0 ≤ tn ≤ tn+1 , tn ↑ |g|q y µ({x ∈ X : tn (x) 6= 0}) < +∞ para
todo n. (Ver ejercicio (41).
Si sn = (tn )1/p sgn(g) entonces sn es simple, pertenece a Lp (µ) y
tn ≤ gsn . Use la hipótesis y el teorema de la convergencia monótona
aplicado a la desigualdad anterior).
79. Establezca el siguiente resultado de F. Riesz.
i) Sea p ∈ [1, +∞) fija y (fn ) una sucesión de funciones de Lp (µ)
tal que fn → f (c.d. rel. µ) con f ∈ Lp (µ). Entonces:
kfn − f kp → 0 (n → ∞) ⇔ kfn kp → kf kp (n → ∞).
(Sugerencia: El ejercicio (54) es útil).
i i
i i
i i
188 Ejercicios
i i
i i
i i
189
√
i) λ∗ ( N ) = 0 y λ∗ (N 2 ) = 0.
(Sugerencia: Suponga primero que N ⊂ [0, A] para alguna A > 0.
Ver la propiedad (N ) de N.N. Luzin en [N] Vol. I, página 248).
ii) C + C = [0, 2] donde C es el conjunto clásico de Cantor, por lo
que el inciso anterior no se cumple con la “suma”.
Pruebe que:
λ∗ (E + F ) ≥ λ∗ (E) + λ∗ (F ).
a) Pruebe:
i) Para todo B ⊂ X con µ∗ (B) < +∞, existe C ∈ S(A) tal
que:
a) B ⊂ C
b) Si D ⊂ C − B con D ∈ S(A) entonces µ(D) = 0 (C se
llama una cubierta medible para B) y además µ(C) =
µ∗ (B).
ii) Para todo B ⊂ X con µ∗ (B) < +∞, existe E ∈ S(A) tal
que
a) E ⊂ B
i i
i i
i i
190 Ejercicios
i i
i i
i i
191
89. Hipótesis y notación como en el ejercicio (81). Sea A ∈ A∗ con µ(A) <
+∞ y sea B ⊂ A. Pruebe
Zb Z
R f dt = f dλ (ver el ejercicio (55)).
a [a,b]
16
En particular una función es Lebesgue-medible si y sólo si es igual casi donde quiera
a una función Borel-medible.
i i
i i
i i
192 Ejercicios
17
Existen homeomorfismos tales que h(A∗R ) 6= A∗R (ver el ejercicio (105)).
i i
i i
i i
193
i i
i i
i i
194 Ejercicios
100. Sea E ∈ A∗R . Suponga que λ(E△(E + x)) = 0 para todo x en algún
subconjunto denso de R. Pruebe que λ(E) = 0 ó λ(R − E) = 0.
(Sugerencia: El ejercicio 97 es útil).
i i
i i
i i
195
i) B ∈/ A∗R .
(Sugerencia: Si B ∈ A∗R , entonces λ(B) = sup{λ(C) : C ⊂ B, C
cerrado}).
ii) Pruebe el inciso (ii) del ejercicio anterior usando a B. (Ver [O]
teoremas 5.3 y 5.4).
105. Pruebe:18
18
Puede probarse que #(BR ) = 2ℵ0 y #(A∗R ) = 2c .
i i
i i
i i
196 Ejercicios
i i
i i
i i
197
i i
i i
i i
198 Ejercicios
i i
i i
i i
199
Pruebe:
i) Si I es finito o si existe g ∈ L1 (µ) tal que |fi | ≤ g para toda i ∈ I,
entonces {fi }i∈I es uniformemente integrable.
ii) Si (fn ) es una sucesión de elementos en Lp (µ) (p ∈ [1, +∞) fija)
tal que f −→ f , entonces {|fn |p }n∈N es uniformemente integrable.
Lp
(Sugerencia: Para toda E ∈ S se tiene
Z Z Z
p p p p
|fn | dµ ≤ 2 |fn − f | dµ + 2 |f |p dµ
E E E
i i
i i
i i
200 Ejercicios
y pruebe que dadasR g ∈ Lp (µ) y ε > 0 existe δ(ε) > 0 tal que si
µ(E) < δ entonces |g|p dµ < ε).
E
iii) Dé un ejemplo de una sucesión de funciones en L1 (µ) que no
esté dominada en valor absoluto por una función en L+ 1 (µ), pero
que sea uniformemente integrable.
(Sugerencia: Sean X = [0, 1], S = B[0,1] , µ = medida de Lebesgue
∞
P
y fn = logn n χ[0,1/n] n ≥ 2. Note que 1
n log n = +∞).
n=2
i) Para todo E ∈ S:
ρ+ (E) = sup{ρ(F ) : F ⊂ E, F ∈ S} y
|ν + ρ| ≤ |ν| + |ρ|
122. Sea ρ una medida con signo σ-finita sobre (X, S). Pruebe:19
19
f dρ+ − f dρ− . Observe que f ∈ L1 (|ρ|) si y
R R R
En (ii) se ha definido f dρ como
E E E
sólo si f ∈ L1 (ρ+ ) y f ∈ L1 (ρ− ).
i i
i i
i i
201
∞
P
i) |ρ|(E) = max ρ(Fi ) : {Fi }∞
partición numerable de E, Fi ∈ S
1
i=1
R
ii) |ρ|(E) = sup f dρ : f ∈ L1 (|ρ|), |f | ≤ 1 para toda E ∈ S
E
fijo. Si |ρ|(E) < +∞, entonces en (ii) sup puede reemplazarse
por max.
123. Sean µ y ν medidas con signo sobre (X, S). Pruebe que |ν| ⊥ |µ|
si y sólo si para toda ε > 0 existe F = Fε ∈ S con |ν|(F ) < ε y
|µ|(X − F ) < ε.
124. Sean µ1 y µ2 dos medidas sobre (X, S), alguna de ellas finitas, y sea
ρ = µ1 − µ2 . Pruebe:
ρ+ = µ 1 y ρ− = µ 2 ⇔ µ 1 ⊥ µ 2
125. Sea (X, S) un espacio medible fijo. Denotaremos por M (S) el conjunto
de medidas con signo finitas en (X, S). Pruebe que M (S) es un espacio
de Banach sobre R, con las operaciones: (µ1 +µ2 )(E) = µ1 (E)+µ2 (E),
(αµ)(E) = αµ(E), E ∈ S, y con la norma kµk= |µ|(X).
Pruebe:
i i
i i
i i
202 Ejercicios
128. Sean µ, ν medidas con signo σ-finitas sobre (X, S) tales que: ν ≡ µ.
Pruebe:
dν
i) ν {x ∈ X : dµ (x) = 0} = 0.
R
ii) Si f ∈ L1 (|ν|) y ρ(E) = f dν (E ∈ S), entonces ρ ≪ µ y
E
dρ dν
dµ = f dµ (c.d. rel. µ).
λg ((a, +∞)) = lim g(x)−g(a), λg ((−∞, +∞)) = lim g(x)− lim g(x)
x↑∞ x↑∞ x↓−∞
i i
i i
i i
203
elija δn > 0 de tal modo que g(bn + δn ) − g(bn ) < 2εn (posible pues
g(b+n ) = g(bn )) y considere la cubierta abierta G = {In } de [a + ε, b]
donde In = (an , bn + δn ) para cada n y luego use que g(a+ ) = g(a)).
(Observación: λg es σ-finita y λg es finita si y sólo si g es acotada.
Además λg ({x}) = 0 si y sólo si g es continua en x).
dλ
ii) Si λg ≪ λ, entonces: g′ = dλg (c.d. rel. λ).
(Sugerencia: Si g es no-decreciente, entonces g′ existe (c.d. rel.
λ) y es integrable en cualquier intervalo [a, b] (Teorema de Le-
besgue). Recuerde la siguiente propiedad de las integrales de
Riemann-Stieltjes:
Zb Zb
f dg = f g′ dt, para toda f : [a, b] → R continua.)
a a
i i
i i
i i
204 Ejercicios
R ∞
Q a
a) eax dλΨ = ea/2 cosh 3k
(coseno hiperbólico).
[0,1] k=1
R ∞
Q a
R
b) sen(πx) dλΨ = cos 3k
y cos(πx) dλΨ = 0.
[0,1] k=1 [0,1]
2 k
k
Y a a
p(a) = ea/3 ea/3 . . . ea/3 cosh p k
3j 3
j=1
135. Enuncie y pruebe los resultados análogos a los ejercicios (94) y (95)
para transformaciones afines T : Rn → Rn .
(Sugerencia: Sea T (~x) = A~x + ~b, si det(A) 6= 0, entonces A correspon-
de a una matriz que puede ser llevada a la matriz identidad mediante
una composición de transformaciones elementales aplicadas a sus ren-
glones. Examine el efecto de éstas sobre celdas n-dimensionales).
i i
i i
i i
205
136. Enuncie y pruebe los resultados análogos a los incisos del ejercicio
(100) para subconjuntos de Rn (n > 1).
137. Imitando la construcción de G. Vitali, obtenga un subconjunto no
medible contenido en [0, 1] × · · · × [0, 1] (n factores).
138. Sea (X, S, µ) un espacio de medida y ν : P (N) → R la medida de
conteo. Pruebe:
i) E ∈ S ⊗ P (N) ⇔ E n ∈ S, para toda n ∈ N.
∞
P
ii) µ ⊗ ν(E) = µ(E n ) (E ∈ S ⊗ P (N)).
n=1
iii) f : X × N → R es S ⊗ P (N)-medible si y sólo si f n es S-medible
para todo n ∈ N. (f n denota la n-sección de f ).
P∞ R
iv) f ∈ L1 (µ ⊗ ν) ⇔ |f n |dµ < +∞, en cuyo caso:
n=1
Z ∞ Z
X Z X
∞
n
f d(µ ⊗ ν) = f dµ = f n dµ
X∈N n=1 n=1
i i
i i
i i
206 Ejercicios
(2) R
ii) Pruebe que λ (CA ) = 2π t dλ(t).
A
(Sugerencia: Empiece con A igual a una unión finita y disjunta
de intervalos).
iii) Generalice i) a otras funciones F : R × R → R.
i) O∗ (f ) es S ⊗ BR -medible.
R
ii) f dµ = µ ⊗ λ(O∗ (f )). (Por lo tanto la integral es el “área bajo
la curva”).
iii) γ(f ) = {(x, t) : t = f (x)} es S ⊗ BR -medible y µ ⊗ ν(γ(f )) = 0.
Pruebe:
i) E ∈ S ⊗ BR .
(Sugerencia: Aproxime ϕ1 y ϕ2 con funciones S-simples, acotadas
s y s′ con: s ≤ ϕ1 ≤ ϕ2 ≤ s′ ).
ii) Si F : E → R es S ⊗ BR -medible y F ∈ L1 (µ ⊗ λ), entonces
Z Z Z
F (x, t) d(µ ⊗ λ) = F (x, t) dλdµ
E [ϕ1 (x),ϕ2 (x)] R
i i
i i
i i
207
i i
i i
i i
208 Ejercicios
i) f ∗ g = g ∗ f .
ii) f ∗ (g ∗ h) = (f ∗ g) ∗ h.
iii) f ∗ (g + h) = (f ∗ g) + (f ∗ h).
iv) fn −→ f y gn −→ g (n → +∞) entonces fn ∗ gn −→ f ∗ g
L1 L1 L1
145. Enuncie y pruebe los resultados análogos a los dos ejercicios anteriores
para convoluciones de sucesiones dobles de números reales.
(Sugerencia: En este caso se considera (Z, P (Z), conteo)
P en lugar de
∗
(R, AR , λ) y para x, y : Z → R se define x ∗ y(n) = xn−m ym ).
m∈Z
B̃ = {(x, y) ∈ R2 : x + y ∈ B}.
i i
i i
i i
209
i) Si ν1 ≪ µ1 y ν2 ≪ µ2 , entonces ν1 ⊗ ν2 ≪ µ1 ⊗ µ2 y
ii) Si ν1 ⊥ µ1 y ν2 ⊥ µ2 , entonces ν1 ⊗ ν2 ⊥ µ1 ⊗ µ2 .
i i
i i
i i
210 Ejercicios
es decir
Z
Z
|f (x, y)| dν
≤ kf (x, •)k dν
q
q
R
(Sugerencia: Sea J(x) = |f (x, y)| dν, pruebe que para toda s función
S-simple en Lp (µ) con p1 + 1q = 1 se tiene:
Z Z Z 1
q
Js dµ ≤ Akskp con A= q
|f (x, y)| dµ dν
i i
i i
i i
Índice analítico
211
i i
i i
i i
i i
i i
i i
de la convergencia acotada, 63
de la convergencia dominada de
Egorov, 118
de la convergencia dominada de
Lebesgue, 62
de la convergencia dominada en
Lp , 109
de la convergencia dominada en
medida, 113
de la convergencia monótona, 48
de la descomposición de H. Hahn,
125
de Lebesgue, 181
de Rademacher, 194
de Steinhaus, 193
descomposición de Lebesgue, 137
Vitali-Hahn-Saks, 139
Tietze, H., 197
tipo Fσ , 11
tipo Gδ , 11
Tonelli, L., 154
variación
negativa, 127
positiva, 127
total, 127
Vitali, G., 98, 200
x-sección de F , 146
x-sección de f , 148
y-sección de F , 146
y-sección de f , 148
Young, W.H., 208
i i
i i
Teoría de la medida
editado por la Facultad de Ciencias
de la Universidad Nacional Autónoma de México,
se terminó de imprimir el 10 de noviembre de 2016
en los talleres de Gráfica Premier, S. A. de C. V.
5 de febrero 2309
Col. San Jerónimo Chicahualco, 52170
Metepec, Estado de México, México.