Documente Academic
Documente Profesional
Documente Cultură
Leonardo Rendn
Pedro Zambrano
ndice general
1. Definiciones preliminares
1.1. -lgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1.
-lgebra de Borel . . . . . . . . . . . . . . . . . . . . .
1.1.2.
Funciones medibles . . . . . . . . . . . . . . . . . . . . .
1.2.1.
1.2.2.
11
1.5.1.
Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
2. La medida de Lebesgue
16
iii
16
22
2.3. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
3. La integral
33
33
Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . .
34
36
42
44
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
4. Medida producto
53
53
59
63
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
5. Espacios Lp
68
5.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
75
77
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
88
6.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
6.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
95
6.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
7. Cargas
101
101
105
109
7.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
117
CAPTULO 1
Definiciones preliminares
1.1.
-lgebras
i=1
An M.
Si A1 , , An M, entonces
Sn
i=1
Ai M: consecuencia de tomar Ak =
1.1. -LGEBRAS
Si {An }nN es una familia de elementos de M, entonces
T
S c c
que
i=1 Ai = ( i=1 Ai ) y de las propiedades 2. y 3.
Si A1 , , An M, entonces
Tn
i=1
i=1
Ai M: ya
Ai M: consecuencia de tomar Ak =
1.1.1.
-lgebra de Borel
Consideremos Rn con su topologa usual. La -lgebra generada por la familia de abiertos en Rn es denominada -lgebra de Borel.
Observacin 1.1.5. No existe una -lgebra con cardinal 0 , cardinal de N.
En efecto. Supongamos que M es una -lgebra sobre el conjunto X , con M
enumerable.
Note que si X es finito entonces P(X) es un conjunto finito y por lo tanto M es
un conjunto finito.
1.1. -LGEBRAS
Supongamos entonces que X es un conjunto infinito y que M es infinito enumerable. Dado x X definimos Ex = EF E donde F = {E M : x E}.
remarkrvese que Ex M, adems dado E M se tiene que x E o x X E
por lo tanto Ex E = o Ex E.
De igual forma dados x, y X, distintos, se tiene que Ex = Ey o Ex Ey = .
Como X es un conjunto infinito y M es infinito enumerable existe G = {x1 , x2 }, xi
X para cada i N, tal que Exi Exj = si i 6= j . Definamos EA = xA Ex para
cada A G. Ntese que EA E.
Ahora si A 6= B entonces EA 6= EB ; esto es, la funcin : P(G) M tal
que (A) = EA es inyectiva. Absurdo, ya que P(G) no es enumrable y M es
enumerable.
1.1.2.
Funciones medibles
A (x) =
si x A,
si x
/ A.
es medible.
Dado un abierto bsico V R tenemos que
3
1.1. -LGEBRAS
si 1, 0 V entonces f1 (V) = X M
si 1 V y 0
/ V entonces f1 (V) = A M
si 1
/ V y 0 V entonces f1 (V) = X A M
si 1, 0
/ V entonces f1 (V) = M
y por lo tanto A es medible.
Proposicin 1.1.7. Sean (Y, TY ), (Z, TZ ) espacios topolgicos, (X, M) un espacio
medible, f : X Y una funcin medible y g : Y Z una funcin continua.
Entonces g f es medible.
Demostracin. Sea V TZ (un abierto en (Z, TZ )). Como g es continua, tenemos
que g1 (V) TY . Adems como f es medible, tenemos que f1 (g1 (V)) = (g
f)1 (V) M. Es decir: g f es medible.
Proposicin 1.1.8. Sean (X, M) espacio medible, (Y, T ) espacio topolgico, u, v :
X R funciones medibles y : R2 (Y) una funcin continua. Se tiene que
(u, v) es medible.
Demostracin. En virtud de la proposicin anterior basta ver que
f = (u, v) : X R2
x 7 (u(x), v(x))
(1.1)
(1.2)
1.1. -LGEBRAS
Como {x X : u(x) I1 } M por ser u medible y {x X : v(x) I2 } M
ya que v es medible, por la definicin de -lgebra tenemos que f1 (R) M.
CONSECUENCIAS:
f:X C
x 7 u(x) + iv(x)
medible. Entonces u, v, |f| :=
(1.3)
(1.4)
x, y2 , y + w, x, y, w R, con x 0
Im(z), Re(z) z C
y usar la proposicin anterior.
3. Siendo (X, M) espacio medible y u, v : X R, se tiene que u + v y u v
son funciones medibles. Basta uilizar la proposicin anterior combinada
con las funciones continuas + : R2 R y : R2 R.
1.2.
La recta extendida
1.2.1.
Puede ser que una sucesin (an )nN de nmeros reales no sea acotada (es
decir, que sup an y/o nf an no existan).
Vamos a anexar dos nuevos elementos (que se notarn por + y ), donde [, ] denotar el conjunto R {+, }. De esta manera se define
sup an := + (si (an ) no es acotada superiormente en R) e nf an := (si
(an ) no es acotada inferiormente en R).
Se define en [, ] un orden parcial que extiende al usual en R, tenindose
que r y r + para todo r R.
1.2.2.
Indeterminado
b+a
+ Indeterminado
En la siguiente tabla, a, b R .
+ 0
b < 0 + 0
+
1.3.
a > 0 +
ba
Ms sobre -lgebras
iN
f1 (Ai ) = f1 (
iN
Ai ) M, por lo tanto
iN
Ai
N.
Demostracin de 2). Veamos que f1 [, ) M y f1 (, ) M para todo
, R. No es necesario estudiar f1 (, ] puesto que pertenece a M por
hiptesis.
Sea (n )nN una sucesin tal que n < para todo n N y n . De esto
S
S
tenemos que [, ) = nN [, n ] = nN (n , +]c (donde notaremos
Ac := X A si A X).
Luego
S
f1 ([, )) = f1 ( nN (n , +]c ) =
S
1
c
nN (f (n , ]) M.
Adems tenemos que f1 (, ) M para todo , R, puesto que f1 (, ) =
f1 ([, ) (, ]) = f1 [, ) f1 (, ].
Definicin 1.3.2. Sean (an ) una sucesin en [, ] , bn := sup{ak : k n} y
cn := nf{ak : k n}. Definimos
nN
nN
{x X : fn (x) a}
1.4.
Funciones simples.
Pn
i=1
a i Ai
Proposicin 1.4.4. Sea f : X [0, ] una funcin medible. Existe {sn }nN sucesin de funciones simples,no negativas, tal que s1 s2 sn f y
sn f puntualmente en X.
Demostracin.
Consideremos los conjuntos
(n)
Ek
k
k+1
x X : n f(x) <
2
2n
, k = 0, 1 , n2n 1
(n)
1.5.
1
2n
Definicin de medida.
iN
Ei ) =
P
i=1
: P(N) [0, ]
card(A)
A 7
(1.5)
si A es finito
(1.6)
en caso contrario
11
: M [0, ]
1 si y A
A 7
0 en caso contrario
(1.7)
(1.8)
1.5.1.
Propiedades.
1. Si Ai , , An M y son disyuntos 2 a 2, (
Sn
i=1
Ai ) =
Pn
i=1
(Ai )
nN
An ) = lmn (Ai ).
12
An ) = (
nN
En )
(1.9)
nN
(1.10)
i=1
=
=
=
lm
n
n
X
lm (
(Ei )
(1.11)
i=1
n
[
Ei )
(1.12)
i=1
lm (Ai ) (pues
n
[
Ei = Ai )
(1.13)
i=1
13
1.6. EJERCICIOS
1.6.
Ejercicios
ni=1 Ai = 1 ni=1 (1 Ai )
ni=1 Ai = ni=1 (Ai )
limsupAn = limsupAn
liminfAn = liminfAn
2. Sean (X, M) un espacio medible y {fn : X [, ]}nN una sucesin
de funciones medibles. Muestre que:
{x X : supfn (x) a, n N} =
nN
nN
{x X : fn (x) a}
.
3. Sean (An )nN una sucesin de conjuntos en X .
Tomando E0 = y En = nk=1 Ak , Fn = An En1 para cada n N.
Muestre que:
En1 En n N , Fi Fj = si i 6= j y
n=1 En = n=1 Fn = n=1 An
14
1.6. EJERCICIOS
limsupAn =
m=1 (n=m An ).
liminfAn =
m=1 (n=m An ).
Muestre que:
liminfAn limsupAn X.
5. Sean (An )nN una sucesin de conjuntos en X tal que Ai Ai+1 i N,
muestre que:
limsupAn =
n=1 An = liminfAn
6. Sean (An )nN una sucesin de conjuntos en X tal que Ai Ai+1 i N,
muestre que:
limsupAn =
n=1 An = liminfAn
7. Sean (X, M, ) un espacio de medida (An )nN una sucesin de conjuntos
medibles . Muestre que:
(liminfAn ) liminf(An )
limsup(An ) (limsupAn ), si (nN An ) <
8. Sean (X, M) un espacio medible y f : X [, ] una funcin entonces
muestre que:
f es medible si y slo si {x X : f(x) = } , {x X : f(x) = } M y
f =
si |f| < ,
0 si |f| = .
es medible.
15
CAPTULO 2
La medida de Lebesgue
2.1.
Medida exterior.
Definicin 2.1.1. Una medida exterior sobre un conjunto X ,no vaco, es una
funcin
: P(X) [0, ]
con las siguientes propiedades
() = 0
si A
kN
Ak entonces (A)
P
k=1
(Ak )
Definamos para E Rn
(E) = inf
X
(Ik ) : Ik es una n-celda y E
Ik
kN
k=1
donde
Y
(Ik ) = ( ak1 , bk1 akn , bkn ) =
(bki aki )
1in
2k
y por lo tanto
(
k=1 Ek )
(Ek ).
k=1
Ek
m=1
Ikm
(Ikm ) (Ek ) +
m=1
2k
luego
(
k=1 Ek )
P P
k=1
k
m=1 (Im )
n=1 ( (Ek ) +
)
2k
P
n=1
(Ek ) +
(C) = (C E) + (C E)
.
Observe que siempre se tiene:
para C, E X, (C) (C E) + (C E).
Note adems que: Si E es -medible, entonces X E es -medible.
19
i
ii A entonces X A
iii Si E, F entonces E F
Como E es medible entonces para cada A Rn tenemos
(A F) = (A F E) + (A F E)
(A) = (A F) + (A F)
20
De lo anterior concluimos
(A) = (A F E) + (A (E F))
S
iv Dados A1 , A2 , ..., An entonces ni=1 Ai
T
S
Basta observar que ni=1 Ai = X ni=n (X Ai ) y por lo tanto como
T
consecuencia de los numerales 2, 3 tenemos que Rn ni=n (Rn Ai )
v Si E, F con E F = entonces (E F) = (E) + (F)
Sabemos que E, F luego
i=1
Ei y (
i=1
Ei ) =
Definamos Fn =
Sn
i=1
Ei
21
(A) A
!
Ei
+ A
i=1
!
Ei
i=1
i=1
n
X
(A Ei ) + A
!
Ei
(2.3)
i=1
i=1
haciendo n tenemos
S
S
P
)
(A
(A
E
(AE
)+
(A)
i
i
i=1 Ei )+ (A
i=1
i=1
S
i=1 Ei )
Con esto probamos que es una -lgebra, adems si tomamos A =
i=1
Ei
2.2.
Medida de Lebesgue
Definicin 2.2.1. El espacio (Rn , , ) es llamado espacio de medida de Lebesgue, y la medida es llamada medida de Lebesgue.
Proposicin 2.2.2. Lema Sean A, B Rn disjuntos tales que
d(A, B) = inf {ka bk : a A, b B} > 0
22
1
n
Ik = x I : dis(x, R I) >
k
como (A Ik ) (A I) A y dis(A Ik , A I)
1
k
anterior tenemos
Ejemplo 2.2.4. Consideremos I = [0, 1] , 0 < 1 removemos de I sucesivamente una coleccin de intervalo abiertos de la siguiente forma:
removemos el intervalo central de longitud 3 ; es decir removemos I11 =
1
( 12 2,3
, 2 + 2,3
) obtenemos por lo tanto dos intervalos cerrados disjuntos,
J11
1
3
2
a saber
= 0,
2 2,3
J12
1
=
+
,1
2 2,3
de los intervalos
2
1
3
9
4
1
2
3
2n
n1
3n
24
3n+1
n1
2[
j=1
Ijn1 , Bn
2
[
Jnk
y C =
k=1
n=1
Bn = [0, 1]
An
n=1
X
n=0
2n
=
3n+1
Lebesgue es 22 0 .
No es dificil intuir que la -lgebra de Borel tiene cardinal c = 20 , para esto
pensemos en la familia de intervalos con extremos racionales, la cual resulta ser
contable, la -lgebra generada por esta familia es justamente la de Borel . Consideremos uniones enumerable de intervalos de la familia con complementos de
intervalos de la familia ,este nuevo conjunto tiene cardinal c = 20 . Si nuevamente hacemos uniones enumerables de conjuntos de la nueva familia con
complementos de conjuntos de la familia obetenemos un conjunto de cardinal
c = 20 . Lo que nos permite intuir que el cardinal de la -lgebra de Borel es
c = 20 y por lo tanto est estrictamente contenida en la -lgebra de Lebesgue.
Para una prueba del cardinal de la -lgebra de Borel presentamos el siguiente
Teorema, sin prueba, que se encuentra en el libro: Real and Abstract Analysis de
25
2.3. PROPIEDADES .
Edwin Hewwit y Karl Stromberg.
Teorema 2.2.5. Sean X un conjunto y A una familia de subconjuntos de X tal que
A. Si MA es la menor -lgebra que contiene a A y el cardinal de A es e, con
e 2, entonces el cardinal de MA es menor o igual que e0
2.3.
Propiedades .
X
(Ik ) : Ik es una n-celda y
Ik E
kN
k=1
dado > 0 existe (Ik )kN cubrimiento de E por n-celdas abiertas tales que
k=1
Si tomamos G =
In
(G) < (E) +
.
Ahora como E es Lebesgue medible tenemos
(G) = (G E) + (G E) = (E) + (G E)
26
2.3. PROPIEDADES .
Luego
(G E) = (G) (E) <
Si (E) = +
Hagamos
E1 = {x E : kxk 1}
..
.
En = {x E : n 1 < kxk n}, n = 2, 3, ...
(Gn En ) <
n=1
""
Dado n N; existe Gn abierto tal que .
Gn E,
hagamos G =
nN
(Gn E) <
1
n
Gn E luego
(G E) (Gn E) <
1
,
n
n N
27
2.3. PROPIEDADES .
Demostracin. si (E) = entonces cada abierto, G, que contiene a E tiene
medida infinita y por lo tanto el infimo del conjunto es infinito. si la medida de
(E) < se razona de la misma manera como en la prueba del Teorema.
Teorema 2.3.3. Sea E Rn
E es Lebesgue medible ( > 0)(F E)(F es cerrado (E F) < )
Demostracin. " " Dado > 0 Existe G abierto G Ec tal que
(G Ec ) <
con Gc E y Gc cerrado .
(E Gc ) = (E G) = (G Ec ) <
1
" " Dado n N, Existe Fn E, Fn cerrado y (E Fn ) <
n
S
Hagamos F = nN Fn
(E F) (E Fn ) <
1
n
As (E F) = 0 y por lo tanto E F y E = E F F L
2.3. PROPIEDADES .
(G Ec ) < .
Ahora Gc E, con Gc cerrado, adems (EGc ) < luego (E) (Gc ) <
, ya que (E) < y por lo tanto (Gc ) < ,de donde se sigue el resultado.
Si (E) = consideremos Dk = {x Rn : 1 kxk < k}. Entonces E =
P
kN Dk E y por lo tanto = (E) = kN (E Dk ).
Como para cada k N se tiene que (Dk E) < . Entonces para cada k N
existe Ck conjunto cerrado tal que Ck Dk E con (Ck ) (Dk E) 21k .
P
P
Ahora limn (nk=1 Ck ) = (kN Ck ) = kN (Ck ) kN [ (Dk
E)
1
]
2k
= .
por teorema anterior, existe C cerrado C En0 tal que (En0 C) <
tanto
(E C) = (E En0 ) + (En0 C) <
29
por lo
2
2.3. PROPIEDADES .
Note que C es cerrado y acotado , por lo tanto compacto
" " Lo mismo que en el caso anterior.
Corolario 2.3.6. Si E Rn , Lebesge medible entonces
(E) = sup{ (E) : K compacto K E})
Demostracin. Si (E) < , dado > 0 existe F conjunto cerrado tal que
F E y (E F) < 2 ; como F es Lebesgue medible y con medida finita, existe
K compacto tal que K F y (F K) < 2 .
Luego (E K) < ; es decir (E) < (K) + .
Si (E) = entonces existe F cerrado tal que F E y (E F) < . Ntese
que necesariamente (F) = (por qu?)
Si consideramos DK == {x F : kxk K} vemos que (F) = limk (Dk )
y que cada Dk es compacto., Esto concluye la prueba.
El siguiente resultado nos muestra que no todo subconjunto de R es Lebesgue medible
Teorema 2.3.7. Si A Rn es Lebesgue medible y todo subconjunto de A es Lebesgue medible, entonces (A) = 0
Corolario 2.3.8. Si (E) > 0 entonces existe B E tal que B
/
Demostracin del Teorema : definamos en Rn la relacin
x y x y Qn
Se puede ver que es una relacin de equivalencia. Escojamos, usando el axioma
de eleccin, un elemento de cada clase de Rn / y denominemos por E dicha
30
2.4. EJERCICIOS
coleccin.
Dados r, s Qn tenemos
i (E + r) (E + s) = si r 6= s
ii x Rn , r Qn tal que x E + r
Hagamos At = A (E + t), t Qn , At medible At A
Sea K At (compacto) Luego
>
K + r =
r[0,1]n Qn
(K + r)
(2.4)
(K)
(2.5)
r[0,1]n Qn
r[0,1]n Qn
entonces (K) = 0.
Luego (At ) = 0 y por lo tanto (A) = 0 pues A =
2.4.
tQn
At
Ejercicios
1. Sea A Rn con (A) < . Muestre que para cada > 0 existe A R
acotado tal que A A y (A A ) <
2. Muetre que el conjunto {E Rn : (E) = 0 o (Rn E) = 0} es una lgebra.
3. Sean M Rn , h Rn y R: Si M es medible muestre que M + h , M
son medibles y que (M + h) = (M) , (M) = ||n (M)
4. Demostrar que si f : R R es monotona entonces es Lebessgue medible
31
2.4. EJERCICIOS
5. Sea f : Rn R Lebesgue medible si
muestre que
df
dx1
df
dx1
es Lebesgue medible.
32
CAPTULO 3
La integral
3.1.
Z
sd :=
E
n
X
ai (Ai E)
i=1
Z
fd :=
E
sd .
sup
0sf,s simple
Tal supremo existe, en virtud del hecho de que existe una sucesin {sn }nN
de funciones simples sobre X, tal que 0 s1 sn f y sn f
puntualmente.
33
3.1.1.
Propiedades.
R
R
1. Si 0 f g y E M, entonces E fd E gd
R
Demostracin. Sean A :=
sd
:
s
es
simple
no
negativa
y
s
f
y
E
R
B :=
sd : s es simple no negativa y s g . De esta manera, como
E
R
R
A B entonces sup A sup B, es decir, E fd E gd.
R
R
fd B fd.
R
R
Demostracin. Del hecho de que A sd B sd si s es simple no
2. Si A, B M, A B y 0 f,
R
E
cfd = c
R
E
fd.
R
E
fd = 0.
R
E
sd = 0,
R
E
fd =
R
X
fE d
34
R
E
sd define una
(E) =
E
n
X
i=1
n
X
iN
Ei .
ai (Ai E)
(3.1)
"
ai
Ai
i=1
n
X
#!!
[
Ej
(3.2)
iN
ai
i=1
j=1
n
X
ai
j=1
!
(Ai Ej )
(3.3)
!
(Ai Ej )
(3.4)
i=1
X
sd
(3.6)
=
=
j=1 Ej
(Ej ).
(3.7)
j=1
R
E
(s + t)d =
Pn
i=1
a i Ai y
35
3.2.
En := {x X : fn (x) s(x)}.
Claramente, E1 E2 En y X =
nN
En (pues si f(x) 6= 0,
s(x) < f(x), luego existe n N tal que s(x) < fn (x) f(x)).
R
R
R
As, X fn d En fn d En sd, para cada n N.
R
R
Tomando n , tenemos que En sd X sd en virtud de la propieR
dad 3 (seccin 5 captulo 1), ya que (E) := E sd define una medida.
R
R
R
Por lo tanto, lmn X fn d X sd = X sd.
R
R
Tomando 1, tenemos que lmn X fn d X sd. Pero como esto vale
R
para toda funcin simple s f, entonces podemos decir que lmn X fn d
R
fd.
X
Luego se tiene el resultado.
Corolario 3.2.2 ((1) Lema de Fatou). Sean (X, M) un espacio de medida y fn :
R
R
X [0, ] funciones medibles (n N). Entonces X lm inf fn d lm inf X fn d.
36
fn : [0, ) [0, ]
1 si n x < n + 1
x 7
0 en caso contrario
(3.8)
(3.9)
x X.
De esta mamera, la sucesin s1n + s2n nN converge puntualmente a f1 + f2 ,
de forma creciente. Por el teorema de la convergencia montona, tenemos que
R
R
R 1
R 2
1
2
)
(f
+
f
d
=
l
m
s
+
s
d
=
l
m
s
d+l
m
s d =
1
2
n
n
n
n
n
X
X n
X n
X
37
f1 d +
R
X
f2 d.
R Pn
Utilizando un argumento inductivo, podemos verificar que X
i=1 fi d =
Pn R
i=1 X fi d.
P
Tomemos gn := ni=1 fi (n N). Claramente, 0 g1 gn
P
i=1 fi .
Finalmente, nuevamente por el teorema de la convergencia montona tenemos
R
R Pn
Pn R
P R
g d =
f
d
=
l
m
f
d
=
l
m
f
d
=
l
m
que
i
n
i
n
n
n
i=1
i=1 X
n=1 X
X n
X
R
R P
lmn gn d = X
n=1 fn d.
X
Corolario 3.2.5 ((3)). Dados (X, M, ) un espacio de medida y f : X [0, +]
R
medible, entonces (E) := E fd (E M) define una medida en (X, M) y
R
R
adems X gd = E fgd (donde g : X [0, +] es medible).
Demostracin.
1. Es evidente que () =
((En )) =
n=1
Z
X
n=1
(3.10)
=
Z
fEn d
!
fEn
d (por el corolario 2)
(3.11)
n=1
fd
(3.13)
!
=
En
nN
38
(3.14)
Z
lm sn d
(3.15)
Z
lm
sn d (por el teorema de la convergencia montona)(3.16)
n X
Z
fsn d (el resultado vale para funciones simples) (3.17)
lm
n X
Z
(3.18)
f lm sn d (por el teorema de la convergencia montona)
n
X
Z
fgd
(3.19)
X
=
=
=
=
R
X
fd = 0
Z
fd =
X
fd
Z
Z
fd +
=
(3.20)
E(XE)
XE
(3.22)
= 0.
(3.23)
(3.24)
" ": Consideremos En := x X : f(x) > n1 (n N). De esta manera teneS
mos que E1 E2 y que E := nN En . Veamos que (En ) = 0 para cada
n N.
R
Si x En tenemos que f(x) > n1 , luego fEn n1 En . Por lo tanto 0 = X fd =
R
R
R 1
R
1
fd
=
f
d
=
En d = n1 (En ) para cada
d
E
E
n
n
n X
En
X
X n
n N. Luego (En ) = 0 para cada n N. Por la propiedad 3 de una medida
S
(seccin 5 captulo 1) tenemos que (E) = nN En = lmn (En ) = 0
Definicin 3.2.8. Sean (X, M, ) un espacio de medida decimos que una propiedad P(x) es vlida para -casi todo x X si ({x X : x no satisface P(x)}) = 0
. As por example dada f : X [0, ] una funcin medible . Diremos que f es
nula en -casi todas partes si ({x X : f(x) 6= 0}) = 0.
40
41
fn d =
lm
n
=
=
=
=
=
Z
lm
fn d (pues (E) = 0)
(3.25)
n
XE
Z
fn XE d
(3.26)
lm
n
X
Z h
i
lm fn XE d (por el teorema de la convergencia montona)
(3.27)
n
X
Z h
i
lm fn XE d
(3.28)
n
X
Z
lm fn d
(3.29)
n
ZXE
lm fn d (pues (E) = 0)
(3.30)
X
3.3.
Definicin 3.3.1. Sea (X, m, ) un espacio de medida. Decimos que una funcin
R
f : X [, ] o f : X C es integrable si f es medible y X |f|d < .
Proposicin 3.3.2. Sean f, g funciones integrables y , C. Entonces f + g
es una funcin integrable.
Demostracin. Se sigue del hecho de que f + g es medible por ser f y g medibles, y de que |f + g| |f| + |g| (como ejercicio completar los detalles)
Definicin 3.3.3. Sean (X, M, ) un espacio de medida y f : X [, ]
42
f+ (x) := max{f(x), 0}
(3.31)
f (x) := max{f(x), 0}
(3.32)
Z
+
fd :=
X
f d
f d
X
Z
fd :=
Z
+
u d
Z
Z
+
v d v d
u d + i
donde f = u + iv
R
R
Proposicin 3.3.4. Sea f una funcin integrable . Entonces X fd X |f|d
Demostracin.
R
1. Supongamos que f : X [, ]. Como f = f+ f , X fd =
R +
R +
R
R
[f f ]d
f d + X f d = X |f|d
X
X
R
R
R
2. Supongamos que f : X C y que f = u+iv. As, X fd = X u+ d X u d +
R
R
i X v+ d X v d .
R
Sean z := X fd y C tales que || = 1 y z = |z| (tal escogencia
se hace de la siguiente manera: si z 6= 0, := |z|/z; si z = 0 se toma
cualquier con la condicin pedida).
Tomemos u = Re(f) y v = Im(f). De esta manera u |u| |f| = |f|.
R
R
R
Como X fd = z = X fd = X fd R, tenemos que
43
R
R
R
R
fd es real. As, X fd = X fd = X ud X |f|d (pues-
to que u |f|).
Teorema 3.3.5 (Teorema de la convergencia dominada). Sean fn : X C (n
N) funciones medibles tales que lmn fn (x) = f(x) para todo x X. Si existe
g integrable tal que para todo x X y todo n N se tiene que |fn (x)| g(x),
R
R
entonces f es integrable y lmn X fn d = X fd.
Demostracin. Fijo x X, se tiene que |f(x)| g(x) (ya que |fn (x)| g(x) para
R
R
todo n), y por lo tanto f es integrable (ya que X fd X |f|d).
Adems, |fn f| 2g. Usando el lema de Fatou tenemos que
R
R
R
(2g
|f
f|)d
. As,
(2g)d
=
l
m
inf[2g
|f
f|]d
m
inf
n
n
X
X
X
R
R
R
R
R
|f
f|d
.
|f
f|d
(2g)dl
m
sup
(2g)d
(2g)d+l
m
inf
n
n
X
X
X
X
X
R
R
por lo tanto lm sup X |fn f|d = 0, luego lmn X |fn f|d = 0.
R
R
R
R
Ahora X fn d X fd = X (fn f)d X |fn f| d.
Luego obtenemos lo deseado.
3.4.
n
X
1=1
44
mi (ti ti1 )
Zb
f(t)dt = infPP([a,b])
a
n
X
Mi (ti ti1 )
1=1
Zb
(b a)inft[a,b] f(t)
Zb
f(t)dt (b a)supt[a,b] f(t)
f(t)dt
a
.
Decimos que f es integrable segn Riemann, lo que escribimos f R
si
Zb
Rb
a
f(t)dt,
Zb
f(t)dt =
f(t)dt
a
Rb
a
Zb
a
Zb
f(t)dt = sup R (t)dt : es una funcin escalonada en [a, b] , f
a
Zb
f(t)dt = inf R (t)dt : es una funcin escalonada en [a, b] , f
a
45
Z
fd = inf
sd : s S(E), s f
fd = sup
E
fd =
R
E
fd si y slo si f es medible
si f es medible entonces
R
E
fd =
fd =
R
E
fd
Demostracin. Sean (sk )kN , (rk )kN sucesiones de funciones simples tales que
sk sk+1 f rk+1 rk k = 1, 2,
sk
Z
rk
fd
E
fd
E
Por qu existen dichas funciones? recurde que si s, r son funciones simples entonces max{s, k} y min{s, k} son funciones simples.
Las funciones f = supsk y f = infrk son medibles. Adems como sk f
f f rk tenemos que f y f son integrables, pus son medibles y acotadas
con (E) < , y vale
Z
sk d
f d
E
f d
E
46
rk d
E
fd
E
f d
E
fd =
E
f d
fd.
E
fd. Entonces
E
R
E
(f f )d = 0 y como
ya que
R
E
(kfk sk )d
fd
E
|f| d kfk (E) < , ntese tambin que kfk sk S(E) y que
Z
(kfksk )d
E
R
E
(kfksk )d
fd = limk
fd
R
E
47
fd
E
fd
f(t)dt
a
Z b
Zb
a
Zb
fd
fdt
a
Z (2n+1)
Z (2n+1)
X
X
X
sent
1
2
f (t)dt =
dt
sentdt =
=
t
(2n
+
1)
(2n
+
1)
2n
2n
n=0
n=0
n=0
+
.
De forma anloga se muestra para la otra integral.
Definicin 3.4.4. Una funcin f : [a, b] R se dice semicontinua inferiormente
(semicontinua superiormente) si para todo x [a, b] y para todo c < f(x) (
c > f(x)) existe una vecindad Vx de x tal que, para todo y Vx se tiene que
c < f(y) (c > f(y)).
Note que el sup (inf) de una familia no vaca de funciones semicontinua
inferiormente (semicontinua superiormente) es semicontinua inferiormente (se48
Tambin podemos suponer que cada sk (tk ) es semicontinua inferiormente ( semicontinua superiormente) bastando para eso que en tkj sea igual al inf (sup) de
los valores en los intervalos adyacentes y del valor f(tjk ).
Tomando f = supsk y f = infrk tenemos
Zb
Z
sk (x)dx
R
a
por lo tanto
Zb
Zb
f d
[a,b]
Zb
f(x)dx =
a
rk (x)dx
f d y R
[a,b]
f d.
f d y
[a,b]
f d =
[a,b]
f d
[a,b]
3.5. EJERCICIOS
Reciprocamente. Si f es continua en x podemos suponer que sk (x) f(x) y
rk (x) f(x).
Por lo tanto si f es continua en -casi todas partes de [a, b] tenemos que f = f
-casi todas partes y por consiguiente
Z
Z
f d
f d =
[a,b]
entonces
Rb
a
3.5.
f(x)dx =
Rb
a
[a,b]
Ejercicios
50
3.5. EJERCICIOS
y que no exista una funcin g integrable segun Riemann tal que f = g
-casi todas partes
5. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin mediR
ble tal que X fd < muestre que ({x X : f(x) = }) = 0
6. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin meR
dible tal que X fd < muestre que el conjunto {x X : f(x) > 0} es
-finito
7. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin mediR
ble tal que X fd < muestre que para todo > 0 existe un conjunto
R
R
E M tal que (E) < y X fd E fd +
8. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin
medible tal que f es integrable muestre que ({x X : |f(x)| })
R
1
|f| d < (desigualdad de Chebyshev)
X
9. Sean (X, M, ) un espacio de medida y f : X[a, b] R tal que la funcin
x f(x, t) es medible para cada t [a, b], suponga tambin que para
algn t0 [a, b] f(x, t0 ) = limtt0 f(x, t), x X y que existe una
R
funcin g integrable tal que |f(x, t)| g(x). Muestre que X f(x, t0 )d =
R
limtt0 X f(x, t)d
10. Sean (X, M, ) un espacio de medida y f : X [a, b] R tal que la funcin x f(x, t) es medible para cada t [a, b], suponga tambin que la
funcin t f(t, x) es continua en [a, b] y que existe una funcin g inteR
grable tal que |f(x, t)| g(x). Muestre que la funcin F(t) = X f(x, t)d
es continua
51
3.5. EJERCICIOS
Rx
11. Sean < a < b y f : [a, b] [0, ] tales que limxb R a f(t)dt <
R
Rx
muestre que f es integrable y [a,b] fd = limxb R a f(t)dt . medida de Lebesgue
52
CAPTULO 4
Medida producto
4.1.
Definicin de lgebra
Sn
i=1
Ei A
53
Ei A entonces (
i=1
Ai ) =
(B) = nf
X
(Ai ) : Ai A, i N y B
i=1
Ai
iN
Restara mostrar que dada (Ek )kN una secuencia de subconjuntos de X tenemos que
(
k=1 Ek )
(Ek ).
k=1
Ek
[
m=1
Akm
(Akm ) (Ek ) +
m=1
54
2k
P P
k=1
m=1
(Akm )
n=1 ( (Ek )
)
2k
P
n=1
(Ek ) +
i A
ii si A A entonces X A A
iii Si E, F A entonces E F A
Como E es -medible entonces para cada A X tenemos
(A F) = (A F E) + (A F E)
(A) = (A F) + (A F)
55
De lo anterior concluimos
(A) = (A F E) + (A F E)
iv Si E, F A con E F = entonces (E F) = (E) + (F)
Sabemos que E, F A luego
i=1
Ei A, (
Si A, B A entonces
(A (E F)) = (A E) + (A F) si E F = ()
.
Definamos Fn =
Sn
i=1
Ei .
56
i=1
Ei ) =
(A) A
!
Ei
+ A
i=1
!
Ei
i=1
i=1
n
X
(A Ei ) + A
!
Fi
(4.3)
i=1
i=1
haciendo n tenemos
S
S
P
)
(A
(A
F
(AE
)+
(A)
i
i
i=1 Ei )+ (A
i=1
i=1
S
i=1 Ei )
(Ai ) (A) +
i=1
Como A
i=1
Ai ; y A B
i=1 (Ai
B), A B
i=1 (Ai
B)
Entonces
(A B)
(Ai B), (A B)
i=1
57
(Ai B)
(A B) + (A B)
(Ai ) (A) +
i=1
i=n
Ai .
Luego
(B)
(Ai ) =
(Ai )
i=1
i=1
58
(B) =
=
lm (B Fi )
(4.4)
lm (B Fi )
(4.5)
= (B)
4.2.
(4.6)
Algunas propiedades
Z=
k
[
Ri : k N, Ri es un rectngulo para cada i = 1, 2, ..., k
i=1
59
i=1 (Ai
Bi ) , con
n=1
(A)(B) =
(An )(Bn )
n=1
(A B) =
X
n=1
60
(An Bn ).
Consideremos una familia {En }nN de elementos de Z disjunta dos a dos y tal que
iN Ei Z. Como cada Ei es union finita de rectngulos, dos a dos disjunta, se
obtiene el resultado por la consideracin ya probada
Por Teorema de la seccin anterior existe una extensin de a la -lgebra
Z que continuaremos denotando por ; adems si suponemos que , son
-finitas entonces la extensin es nica. Ntese que M Z
Definicin 4.2.4. Dado E X Y definimos
Ex = {y Y : (x, y) E}
Ey = {x X : (x, y) E}
Dada f : X Y K definimos fx : Y K : y 7 f(x, y), fy : Y K : x 7
f(x, y)
Proposicin 4.2.5.
Si E M entonces Ex M2 , x X y Ey M1 , y
Y
Sea f : X Y K, K espacio Topolgico. Si f es M- medible entonces
fx es M2 medible y fy es M1 medible
Demostracin. Para mostrar la primera parte veamos que = {E M1 M2 :
(x X)(Ex M2 )} es una -lgebra y que M
61
B si x A,
Rx =
si x
/ A.
luego R
Para ver que es una -lgebra mostremos que:
XY
Si E entonces
(Ec )x = (Ex )c pus
y (Ec )x (x, y) Ec
(4.7)
(x, y)
/E
(4.8)
y (Ex )c
(4.9)
i=1
Ei entonces Ex =
i=1 (Ei )x
M2
fx : Y K : y 7 fx (y) = f(x, y)
1
y U un abierto en K entonces f1
x (U) = (f (U))x M2
4.3.
Teorema de Fubini
iN
Ai C
CF
C donde F =
CA (E) = {F CA : F E CA , E F CA , E F CA }
Observe que:
CA (E) es una clase monotona para todo E X
63
R
X
f(x)d =
R
Y
g(y)d
f(x)d =
X
g(
Y
Fy d
Fx d, g(y) =
f(x) =
fd =
X
gd =
Y
Fd
XY
fn (x) =
(Sn )x d,
Y
(Sn )y d
gn (y) =
X
4.4. EJERCICIOS
nes
f(x) =
Fy d
Fx d, g(y) =
Y
fd =
X
Fd =
XY
gd
Y
4.4.
Ejercicios
R
X
fd = (f )
66
4.4. EJERCICIOS
6. Sean (X, M1 , ) y (Y, M2 , ) espacios de medida -finitos.Muestre que si
E, F M1 M2 (Ex ) = (Fx ), x X entonces (E) = (F)
67
CAPTULO 5
Espacios Lp
5.1.
Definicin
(x) (c)
xc
es creciente.
Demostracin. Sea t1 < t2 y veamos que c (t1 ) < c (t2 ), si es convexa.
Hay que considerar tres casos: t1 < c < t2 , t1 < t2 < c y c < t1 < t2 .
68
(5.1)
(5.2)
5.1. DEFINICIN
Miremos el primer caso, los otros se tratan de manera anloga .
c
1
Como t2 t1 = (c t1 ) + (t2 c), tenemos que tct
+ tt22t
= 1 y que
2 t1
1
ct1
c
t2 + tt22t
t1 = c. Como es convexa,
t2 t1
1
t2 c
ct1
t2 c
ct1
1
(t
)+
(t
),
luego
+
(c)
(t2 )+
(c) tct
2
1
t
t2 t1
t t
t2 t1
t t
2 1
2 1
2 1
t2 c
c
1
(t1 ), de donde tenemos que tct
((t2 )(c))+ tt22t
((t1 )
t2 t1
2 t1
1
(c)) 0, por lo que (c t1 )((t2 ) (c)) (t2 c)((c) (t1 )), luego
(t1 )(c)
t1 c
(t2 )(c)
.
t2 c
(y)(tx+(1+t)y)
.
ytx(1t)y
(y)(tx+(1+t)y)
.
t(yx)
esto es
(tx+(1t)y)(x)
(1t)(yx)
R
X
a < s < t < u < b y puesto que es convexa, tenemos que H(s) =
(u)(t)
ut
(t)(s)
ts
5.1. DEFINICIN
a < s < t} y := nf{H(s) : t < s < b}. As, (u t) (u) (t), es decir,
(u) (u t) + (t) si t u.
Anlogamente tenemos que
(s) (s t) + (t) si s t.
As,
(s) (s t) + (t) para todo s (a, b).
Haciendo s := f(x) (x X), (f(x)) (f(x) t) + (t).
Integrando sobre X, tenemos que
R
R
R
R
(f)d
[f(x)t]d+(t)
=
fd
(ya
que
[f(x)t]d =
X
X
X
X
R
0 y t := X fd).
Definicin 5.1.5. Sean (X, M, ) un espacios de medida y 1 p < definimos
R
p (X, M, ) = {f : X 7 C : fes medible y X |f|p d < }
En p (X, M, ) definimos la siguiente relacin f g f = g en -casi
todas partes de X , no es difl ver que que sta relacin es de equivalencia.
Definicin 5.1.6. Lp (X, M, ) = p (X, M, )/ . 1 < p < los elementos
de Lp (X, M, ) son clases de equivalencia , los representantes de esas clases los
notaremos simplemente por las letras f, g, h
Proposicin 5.1.7. Lp (X, M, ) 1 p < es un espacio vectorial.
Demostracin. Dados f Lp se tiene que c C cf Lp .
Si usamos que la funcin tp , 1 p < , t > 0 es convexa entonces
(x + (1 )y)p xp + (1 )yp
70
5.1. DEFINICIN
1
Si = ,
2
x+y
2
p
xp + yp
As dadas f, g Lp , f + g Lp
2
1 1
+ =
p q
1
Proposicin 5.1.10 (Hlder). Sean p, q exponentes conjugados. Si f Lp (X, M, )yg
Lq (X, M, ) entonces
Z
|fg|d
f.g L (X, M, ) y
1/q
1/p Z
q
|g| d
.
|f| d
.
Z
Como ex es convexa
1
1
, 1t=
p
q
71
5.1. DEFINICIN
x = ln y = ln
1 p 1 q
+ (*) , [0, )
p
q
Si alguna de las funciones f o g es la funcin nula el resulatdo se tiene.Supongamos
+
kfkp kgkq
p kfkpp q kgkqq
Integrando tenemos que
1
kfkp kgkq
Z
|fg|d 1
Z
|fg|d kfkp kgkq
X
72
5.1. DEFINICIN
Usando Hlder,
Z
|f + g| d (kfkp + kgkp )
p
Z
p1 q
|f + g|
1/q
d
R
Si X |f + g|q d = 0 el resultado se tiene .
R
Si X |f + g|q d 6= 0 entonces kf + gkp kfkp + kgkp
Definicin 5.1.12. Sean (X, M, ) espacio de medida, f : X [0, ] medible. f
es esencialmente acotada si existe > 0 tal que (f1 ((, ])) = 0 (|f(x)|
en -casi todo x X).
Definicin 5.1.13. Sea = nf A donde A = : (f1 (, +])) = 0 , =
en el caso en que A = .
es denominado supremo esencial de f.
Ahora A pus
f (, +] =
n=1
1
+ ,
n
73
5.1. DEFINICIN
y se define
(X, M, )/ = L (X, M, )
Proposicin 5.1.15. Dado (X, M, ) espacio de medida entonces L (X, M, ) es
un espacio vectorial, adems la funcin kfk : L (X, M, ) [0, ) donde
kfk = supremo esencial de |f| es una norma
Demostracin. Veamos la desigualdad triangular
kf(x)k = kfk , x X E1
kg(x)k = kgk , x X E2
Luego
Asi
kf + gk kfk + kgk
Z
X
|f|d <
X
Z
r/p
r
|f| d
.((x))1 p <
p
Si p = el resultado es inmediato.
5.2.
1
para i = 1, 2, ...
2i
1
En efecto, para = , existe n1 N tal que si m n1 entonces
2
1
1
kfn1 fm kp < de igual forma vemos que para = i existe
2
2
1
ni N, ni > ni1 tal que si m ni entonces kfni fm kp < i razonando
2
por induccin se garantiza la existencia de
1
(ni )iN tal que |fni +1 fni |p < i
2
Pk
P
Sea gk = i=1 |fni +1 fni | y g =
i=1 |fni +1 fni |
75
fn1 +
i=1
imi fn
i
Definamos f =
0
f es medible. Note que fnk = fn1
si x
/ E,
si x E.
Pk1
+ i=1 (fni +1 fni ) y limi fni (x) = f(x)
para cada x
/E
Veamos que f Lp () y adems que fn f en Lp ()
Dado > 0 N N tal que si n, m N kfn fm kp <
En particular i, m > N, kfni fm kpp eqp .
R
R
Usando el lema de Fatou tenemos que X |f fn |p deqliminf X |fni fm |p deqp .
Luego
kf fm kp < , m N
Es decir, f fm Lp si m N
y por tanto f Lp
y adems fn f en Lp ().
Para el caso p = Si (fn )nN es una sucesin de Cauchy en L () definamos
Ek = {x X : |fk (x)| > kfk k }
Bm,n = {x X : |fm (x) fn (x)| > kfm fn k }.
76
As en X (
Definamos
k,m,n
f
f=
si x X A,
si x A.
f es medible; f L () y fn f en L ()
5.3.
f = f en K y supxResn |f(x)|
supxK |f(x)|
Demostracin. Como f = (f1 , ...., fm ), donde cada funcin fi : K Res, basta
mostrar el resultado para m = 1.
Sea U = Resn K.Para cada x U y s K tomemos
us (x) = max{2
|x s|
, 0}
dist(x, K)
(s) =
j=1
vk (x) =
y definiendo
f(x)
=
2k usk (x)
(x)
f(x)
six K,
k=1 vk (x)f(sk )
six U
78
+ |x sk |,
4
luego
|x sk |
3
> 2|x a| 2dist(x, K).
4
k=1
kg skp 2 p ksk
y el resultado se sigue por la densidad de S
Corolario 5.3.7. Sean 1 p < y u Lp (Rn ) la funcin
: Rn Lp (Rn )
y 7 (y) = uy
80
ku gkp <
.
3
1
3(2(K)) p
3
Demostracin.
Z
|f g|dx
Resn
pus
R
Resn
|f(x y)|dx
Rn
Demostracin.
Z
|(f g)(x)| =
f(x y)g(y)dy
n
Z R
1
1
=
g p (y)g q (y)f(x y)
Rn
Z
1/q
1
p
kgk q
|g(y)||f(x y)| dy
Rn
Z
|f g| dx kgk
p
Rn
p
q
L1
Z
|g(y)|(f(x y))p dydx
Rn
Rn
p
q
(5.3)
(5.4)
(5.5)
1
1
+
=
p
q
1
+ 1. Si f Lp (Resn ), g Lq (Resn ) entonces f g Lr (Resn ). y kf gkr
r
kfkp kgkq
Demostracin. Sin perdida de generalidad supongamos que kfkp = kgkq = 1.
Probaremos el resultado para funciones no negativas , el resultado general se
sigue de este, tomando |f| y |g|.
Usando la desigualdad de Holder para tres funciones, ver ejercicios, tenemos
Z
f g(x) =
p
r
f(y) g(x y)
q
r
Resn
Z
1r Z
f(y)
(1 pr )q 0
10 Z
q
g(x y)
dy
Resn
Resn
Resn
p 0
1 1
1
)q = p( )q 0 = p(1 )q 0 = p;
r
p r
q
(1
q 0
1 1
1
)p = q( )p 0 = q(1 )p 0 = q.
r
q r
p
Luego
Z
f g(x)
f(y) g(x y) dy
Resn
83
1r
,1,1,
0
(1 qr )p
10
p
dy
Z
r
(f g) (x)
Resn
esto es
(f g)r fp gq .
Por proposicin anterior tenemos
Z
Resn
P
Definicin 5.3.12. = (1 , ..., n ) Nn , i N{0}, || = ni=1 i ,
||
x1 1 ...xnn
n
Decimos que C
0 (Res ) si tiene soporte compacto y existe y son continuas las funciones , Nn
Ejemplo 5.3.13.
(x) =
1
2
e 1 kxk
si kxk < 1,
en otros casos.
n
C
0 (R )
Si se define J(x) = R
1
entonces
dx
Rn
J
n
C
0 (R )
Z
y
84
Jdx = 1
x
n
C
0 (R );
para > 0
Z
J dx = 1
SuppJ = B[0, ]
Dada f Lp (Rn ), f J C
(f J ) = f J
Teorema 5.3.14. Si f Lp (Rn ) entonces f J f en Lp (Rn )
Demostracin.
|f J (x) f(x)| =
(5.6)
Z
= f(x y)J (y)dy f(x)
Z
= J (y)(f(x y) f(x))dy
Z
1/q Z
|f J f| dx K( (B[0, ]))
p
q
Rn
luego
1/p
|f(x y) f(x)| dy (5.9)
B[0,]
Z
p
Z
|f(x y) f(x)|p dydx
Rn
B[0,]
Z
|f J f| dx K( (B[0, ]))
p
(5.8)
p
(J (y)) dy
B[0,]
(5.7)
Rn
p
q
Z
kfy fkp dy
B[0,]
85
5.4. EJERCICIOS
n
p
n
Corolario 5.3.15. C
0 (R ) es denso en L (R )
5.4.
Ejercicios
Pn
1
k=1 pk
1 y fk LPk (), k = 1, , N muestre que kf1 .f2 fN k1 kf1 kp1 kf2 kp2 kfN kpN
2. Sean (X, M, ) un espacio de medida con (X) < . Muestre que si
1 p < q < entonces Lq () Lp ()
3. Sean (X, M, ) un espacio de medida ,p, q, r [1, ). Si
1
r
1
p
1
q
5.4. EJERCICIOS
7. Sean (X, M, ) un espacio de medida y f Lp (), 1 p < .Muestre
que el conjunto E = {x X : kf(x)k =
6 0} es -finito, Muestre adems que
limn (En ) = 0 donde En = {x X : kf(x)k n}
8. Suponga que X = N, M = P(N) y la medida de conteo en N.Mostrar
que
si f 0 entonces
R
X
fd =
f L1 () si y slo si
P
n=1
n=1
f(n)
|f(n)| <
kfkp
p
g
kgkp
87
CAPTULO 6
Algunos tipos de convergencia
6.1.
Definiciones
6.1. DEFINICIONES
En medida. Si > 0 , lm {x X : |fn (x) f(x)| } = 0.
n
X[0,n]
, p 1, fn 0 uniformemente en X pero fn no converge a 0 en
n1/p
R
Lp (), 1 p < , R |f|p d = 1 , n N
1
1
1
1 2
2
1
[0, 1], 0,
, , 1 , 0,
, ,
, , 1 , 0,
...
2
2
3
3 3
3
4
y fn = In ,
R
R
De otro lado x [0, 1], existen (fnj (x))jN , tal que fnj (x) = 1, j N
y (fnk (x))kN , tal que fnk (x) = 0, k N. Esto nos dice que para ningn
valor de x se tiene convergencia puntual.
89
6.2. EJEMPLOS
7. De la prueba de la completez de los espacios Lp () 1 p < se vi
que si fn f en Lp () entonces existe una subsucesin (fni )iN tal que
fni f en -casi todas partes.
6.2.
Ejemplos
En
}|
{
z
Demostracin. Dado > 0, veamos que lm {x X : |fn (x) f (x) | } = 0.
n
R
X
Z
p
(En )
En
As,
(En ) <
p
Proposicin 6.2.3. Sean (X, M, ) espacio de medida y (fn )nN una sucesin de
90
6.2. EJEMPLOS
funciones medibles.
Si fn f casi uniformemente entonces fn f en medida.
Demostracin. Dado > 0 y > 0 existe E M (E ) < tal que fn f
uniformemente en X E .
Luego para n suficientemente grande el conjunto {x X : |fn (x) f(x)| }
esta contenido en E
Proposicin 6.2.4. Lema Sea (fn )nN una sucesin de funciones medibles. Si (fn )nN
es de Cauchy en medida, entonces existem (fni )iN y f funcin medible tales que
fni f en medida , en -casi todas partes y casi uniformemente.
Demostracin. (fn )nN de Cauchy en medida,
> 0,
m,n
Ei = {x X : |fni+1 fni | 1 }
2i
(Ei ) < 1
2i
Tomemos Fk =
i=k
Ei , (Fn ) <
1
2k1
91
6.2. EJEMPLOS
Note que si i j k, x
/ Fk entonces
|fni fnj | |fni fni1 | + ... + |fnj+1 fnj |
<
<
1
2i1
1
2j1
+ ... +
1
2j
(6.2)
(6.3)
F M, (F) = lm (Fk ) = 0
k
y
f(x) =
(6.1)
lm fni (x)
si x
/F
si x F
f es medible.
fni f casi todas partes
adems
fni f casi uniformemente
1
2k1
< mn{, }
Para i k
{x X : |fnj (x) f(x)| } (Fk ) <
fni f en medida.
92
6.2. EJEMPLOS
Proposicin 6.2.5. Sea (fn )nN sucesin de funciones medibles, (fn ) de Cauchy
en medida, entonces existe f medible tal que fn f medida. f es nicamente
determinada, excepto por un conjunto de medida nula
Demostracin. Demostracin: Sabemos que existen (fni )iN , f medibles, fni f
en medida.
Veamos que fn f en medida.
Dado > 0
A = {x X : |fn (x) f(x)| }
Bi = {x X : |fn (x) fni (x)|
}
2
}
2
Note que
A Bi Ci i N
de donde se obtiene la convergencia deseada
}
2
}
2
6.2. EJEMPLOS
medible tal que fn f en -casi todas partes y fn f casi uniformemente
Demostracin. Dado k N, Ek M,
1
(Ek ) < k , (fn )nN converge uniformemente en X Ek .
2
S
1
Si Fk = j=k Ej luego, (Fk ) < k1
2
y F1 F2
..., (Fk ) = 0.
lm fn (x) si x X Fk ,
Sea gk (x) =
fn gk uniformemente en X Fk
0
si x Fk .
De otro lado como Fk Fm si k m, entonces gk = gm en X Fk
f(x) =
lm fn (x)
si x X Fk ,
en caso contrario.
6.3.
Teorema de Egoroff
Proposicin 6.3.1. Sean (X, M, ) un espacio de medida y (fn )nN una sucesin
en Lp ()
i Si fn f en -casi todas partes y existe g Lp () tal que |fn | < g entonces
fn f en Lp ()
ii Si fn f en medida y existe g Lp () tal que |fn (x)| g(x) -casi todas
partes entonces f Lp (), fn f en Lp ()
Demostracin.
i Como fn f -casi todas partes entonces |f| g -casi todas partes .
|fn f|p (2|g|)p luego f Lp (). Por Teorema de la convergencia
R
dominada X |fn f|p d 0 cuando n y por lo tanto kfn fkp 0
ii Supongamos que fn no converge a f en LP (). Existe > 0 (fnj )jN , kfnj
fkp > ()
fnj f en medida.
95
Proposicin 6.3.2 (Ergoroff). Sea (X, M, ) espacio de medida., (fn )nN funciones
medibles, (X) <
Si fn f -casi todas partes entonces fn f casi uniformemente.
Demostracin.
En (m) =
k=n
\
En = 0
As lm (En (m)) = 0
n
96
1
}
m
Consideremos F =
m=1
2m
fn f uniformemente en X F.
Sean (X, M, ) un espacio de medida ,con (X) < y (fn )nN una sucesin
de funciones medibles
Ejemplo 6.3.3. Sean (X, m, ) un espacio de medida , (fn )nN una sucesin de
funciones medibles y f medible. Si fn , f Lp ()(1 p < ), n N , fn f
en -casi todas partes y kfn kp kfkp entonces kfn fkp 0.
Como la funcin
xp , x > 0 1 p < es convexa
entonces
x+y
2
p
xp + y p
2
97
Z
2p1 (|fn |p + |f|p ) |fn f|p d
lm inf
X
Z
2
|f| d 2
Z
|f| d lm sup
|fn f|p d
|fn f|p d 0
lm sup
X
1
< |f(x)|p < k}
k
Z
|f(x)| d
|f|p d
Ak
Existe B Ak , (X B) <
Hagamos A = X B
Fatou
Z
|f| d lm inf
|fm |p d
Z
|f| d
|f| d lm inf
Z
|fn | d
|f| d
X
98
Z
p
6.4. EJERCICIOS
Z
|f| d
X
|f| d
|f| d lm sup
|fn |p d
+ k(Ak ) =
2
A
A
Z
Z
Z
p
p
p
p1
|fn | + |f| <
|fn f| d 2
lm sup
|f|p d
|f|p d <
|fn f|p d n 0
B
6.4.
Ejercicios
1. Muestre que el lema de Fatou continua vlido si se en lugar de convergencia en -casi todas partes se usa convergencia en medida
2. Muestre que el teorema de la convergencia dominada continua vlido si
se en lugar de convergencia en -casi todas partes se usa convergencia en
medida
3. Sean (X, M, ) un espacio de medida ,(X) < y f una funcin medible.
Si
r(f) =
|f|
d. Muestre que una sucesin de funciones medibles, (fn )nN ,
X 1+|f|
99
6.4. EJERCICIOS
100
CAPTULO 7
Cargas
7.1.
[
X
Ei =
(Ei )
i=1
i=1
101
R
E
fd
es una carga
Proposicin 7.1.4. Sean M una -lgebra en X y una carga.
Si (Ai )iN es una familia de conjuntos en M tal que A1 A2 A3 ... ,
S
entonces lm (An ) = (
n=1 An )
n
En
nN
(Ei )
(7.1)
i=1
=
=
lm
n
n
X
(Ei )
(7.2)
i=1
lm (An ).
(7.3)
nN
An
Definicin 7.1.6. Sea una carga en X. Decimos que A es positivo con respecto
a si (E A) 0 E M.
Decimos que B es negativo con respecto a si (E B) 0, E M.
Decimos que C es nulo con respecto a , si (E C) = 0, E M.
Teorema 7.1.7 (Descomposicin de Hahn). Dada una carga, existen P, N M,
102
0 (E P) =
!
(An E)
n=1
(E (P2 P1 )) = 0
(E (P1 P2 )) = 0
luego
(E P1 ) = (E P1 P2 ) = (E P2 )
La observacin anterior le da sentido a la siguiente definicin
Definicin 7.1.9. Sean X un conjunto no vaco , M una -lgebra , una carga
y (N, P) una descoposicin de Hahn definimos para cada E M
Observacin 7.1.10.
+ (E) = (E P) = (E P) (E P) (E P) (E)
luego + Anlogamente
(E) = (E N) = (E N) (E N) (E)
luego .
104
Z
+
f d
f d, (E) =
(E) =
E
Z
||(E) =
|f|d
E
Adems
P = {x : f(x) 0}, N = {x : f(x) < 0}
es una descomposicin de Hahn.
7.2.
Teorema de Radon-Nikodym
Absurdo.
(E) =
E
gd (E) , E M}
E
i A 6= ,pues 0 A
ii Si g A entonces g es finita en -casi todas partes
106
max(f, g)d =
fd +
A1 E
gd
(7.4)
A2 E
(7.5)
integrable. Por lo tanto existe una funcin f finita tal que f = f -casi todas
partes.
Veamos que (E) =
R
E
R
fd E M.; esto es fd 0. Supongamos que
no es as.
Como
A tales que
fd por lema anterior existen > 0 y A
>0yA
es positiva con respecto a
(A)
Z
fd
As, dado C M
Z
(C A)
fd + (C A)
CA
107
Z
(C A)
fd
CA
Sumando tenemos
Z
(C)
fd + (C A)
(7.6)
(f + XA )
(7.7)
ZC
f + XA =
X
f+
d > .Absurdo.
fn XAn
n=1
obtenemos lo deseado.
R
Supongamos que existe g tal que para todo E M
gd = (E) luego
E
R
(f g)d = 0 , E M , as f = g en -casi todas partes
E
Definicin 7.2.5. Dos medidas , sobre una -lgebra son singulares si existen
A, B M , X = A B y = A B tales que (A) = 0 = (B) lo que se
denotar por , .
Una carga en M se dice singular con si ||
108
= 1 + 2 1 , 2
y
(E) =
gd , E M
fd y (E) =
E
7.3.
f Lp . Si T es acotado definimos
fgd
X
donde
1 1
+ =1
p q
Ahora
Z
|Tf (g)| = fgd < kfkp kgkp
as Tf es acotado y
kTf k kfkp
Consideremos h = sig(f)|f|p1 , h Lq ya que
Z
q
|h|
Z
|f|
1/q
= kfkp/q
=C<
p
Como f 6= 0 hagamos h =
1
h luego
C
1
|Tf (h)| =
C
Z
|f|p =
X
kfkpp
p/q
kfkp
= kfkp
110
fgd
X
As
|Tf | kfk kgk1
Luego Tf es acotado y kTf k kfk
S
Sea X =
n=1 An con (An ) < (A1 A2 ...)
dado > 0, 0 < < kfk definamos E = {x : |f(x)| kfk } y
h = sig(f)E An
Z
|f|d (kfk )(E An )
|Tf (h)| =
E An
> 0,
h L1 , , h =
h
6= 0 para n suficientemente grande
(An E )
1.
tenemos que khk
kfk .
Luego kTf k |Tf (h)|
Teorema 7.3.5 (Teorema de representacin de Riesz). Sean (X, M, ) espacio de
medida, -finita. T : Lp R (1 p < ) operador lineal acotado. Entonces
!g Lq ( p1 +
1
q
= 1) tal que
Z
fgd, f Lp , con kT k = kgk
T (f) =
X
d
d
= g y se muestra que
g Lq
Se muestra que T (f) =
R
X
fgd ,f Lp
limn
X
tambin
|T (E An )| K k E An kp
y por lo tanto
limn |T (E An )k = 0.
De la linealidad de T se sigue que (E) = T (E ) = limn T (An ) = 0.
P
P
P
Dado que An = nk=1 Ek entonces (E) = limn nk=1 T (Ek ) = limn nk=1 (Ek ) =
P
k=1 (Ek ).
Supongamos ahora que (E) = 0 entonces kE kp = 0 luego
|T (E )| K kE kp = 0
112
d
d
T (E ) =
E
por la linealidad de T vemos que para cada funcin simple no negativa s tenemos
que
Z
sgd
T (s) =
X
Supongamos inicialmente que 1 < p < . Tomemos {sk }kN sucesin de funciones simples tales que s1 s2 |g|p y limk sk = |g|p . Definamos
A = {x X : g(x) 0} y B = {x x : g(x) < 0}.
1
Adems
1
sn d
X
n gd T (n ).
X
113
sn d |T (n )| kT k kn kp = kT k (
X
sn d) p
X
esto es
sn d)1 p kT k
(
x
es decir
Z
sn d kT kq
X
T () =
C
114
Luego
limn
sn gd =
X
fgd
X
y as
Z
T (f) = limn T (sn ) = limn
fgd
sn gd =
X
para ver que kT k = kgkq usaamos los ejemplos anteriores. Veamos la unicidad.
R
Si existe otra funcin g1 tal que T (f) = X fg1 d, f Lp .
R
Como g g1 Lq entonces T(gg1 ) (f) = X (g g1 )fd = 0 f Lp .
entonce
T(gg1 )
= kg g1 kq = 0.
Para finalizar mostremos el caso en que es -finita. Sea {Xn }nN una sucesin
en M tal que X1 X2 , nN Xn = X y (Xn ) < Definamos Tn (f) =
T (f)f Lp (Xn , M Xn , ) donde M Xn = {E Xn : E Xn } donde f es
tratada, en cada caso, como una funcin definida en X con f = 0 en X Xn .
Por el resultado anterior existe gn Lq (Xn , M Xn , ) tal que
Z
T (Xn f) =
fgn d
Xn
1
q
= 1) tal que
Z
fgd, f Lp , con kT k = kgk
T (f) =
X
Demostracin. Dado T : Lp R operador lineal mostraremos que existe unconjunto A con medida -finita tal que Si f Lp y f = 0 en A entonces T (f) = 0;
esto nos permite reducir el resultado al caso anterior, al considerar los espacios
de medida (A, A M, ) que son -finitos.
Sea {fn }nN una sucesin de funciones en Lp tal que
T (fn ) kT k (1
1
) con kfn kp = 1.
n
Usando la desigualdad de Markov se ve que existe A con medida -finita tal que
fn = 0 en X A , n N.
Sea E un conjunto medible , de medida finita, y disjunto con A.
kfn tE k (1 + tp (E)) p , t 0
Ahora
T (fn ) + T (tE ) |T (fn tE |
116
7.4. EJERCICIOS
Luego
1
1
)} , n N
n
(1 + tp (E)) p 1
|T (E )| kT k
t
Haciendo t 0+ ( regla de L Hospital) vemos que T (E ) = 0 . De ahi se sigue el
resulatdo para funciones simples y por densidad para cualquier funcin f Lp
Observacin 7.3.7. El teorema de representacin de Riesz es aplicable tambin
para un operador lineal T : Lp C para ver esto basta considerar los operadores
lineales (ReT )(f) = Re(T (f)) y (ImT )(f) = Im(T (f)) y aplicar el teorema
anterior
7.4.
Ejercicios
+ (E) = sup{(F) : F E, F M}
(E) = inf{(F) : F E, F M}
2. Sea M una -lgebra en X. Defina H = { : es una carga en X} con las
operaciones definidas naturalmente y kk = ||(X). Muestre que H es un
espacio vectorial normado y completo
3. Muetre que. Un conjunto N es nulo en relacin a una carga si y slo si
117
7.4. EJERCICIOS
||(N) = 0
4. Sean 1 , 2 y cargas .Muestre que ,si 1 y 2 entonces (1 +2 )
5. Sean M una -lgebra en X y , , medidas en X. con (X), (X) < ,
y . Muestre que si f =
R
|f g|d
X
d
d
yg=
d
d
entonces k k =
d(1 +2 )
d
d1
d
2
d
d
d
1
d
d
118