Práctico 4 - Ejercicio 1

Manuel Hernández

Ejercicio 1

R
a) Decimos que fn converge en L1 a f si |fn − f | → 0. Dado  > 0, llamemos An := {x :
|fn (x) − f (x)| > }.

1
R R R
Rd |f n − f | ≥ An
|f n − f | ≥  Rd {An }
=  · m(An ). para todo .
R
|fn −f |
Por lo tanto lı́m m(An ) ≤ Rd

→ 0 si fn converge a f en L1

b) Si en R, con la medida de Lebesgue, definimos fn = n1{[0,1/n]} , y tomamos como candidata

a lı́mite la función nula, para todo  > 0, {x : |fn (x)| > } = {x : fn (x) = n} = [0, 1/n] y
m([0, 1/n]) → 0.

Sin embargo Rd |fn | = Rd n1{[0,1/n]} = 1 para todo n

R R

c) Si consideramos en R fn = 1{[n,+∞)} se tiene que para todo x ∈ R a partir de un ı́ndice

fn (x) = 0 por tanto fn → 0 ctp. Sin embargo fn (x) = 1 en [n, +∞) que tiene medida
infinita. Si el espacio fuera de medida finita, entonces la convergencia en casi todo punto
implica necesariamente convergencia en medida.

d) El ejemplo de la parte b) sirve para esto también. Se vio que fn no converge en L1 a 0, pero
fn converge a 0 para todo x ∈ R\{0} y m({0}) = 0

e) El ejemplo que conozco en un espacio de medida infinita es el de la clase. Definiendo las

funciones fn,i (x) = 1{[ i , i+1 ]} para i = 0, 1, . . . , n y n ≥ 1. Si hay una candidata a lı́mite, esta
n n

es la función nula. Sin embargo para todo x ∈ [0, 1] x ∈ [ ni , i+1

n
] para infinitos n, i por tanto
lı́m supn,i {x : fn,i (x) = 1} = [0, 1]

f) Mostrar que convergencia en medida implica que hay una subsucesión que converge m-ctp.
m
Si fn → f entonces para todo  > 0, m({x : |fn (x) − f (x)| > }) → 0, entonces po-
demos definir fnk de forma tal que m({x : |fnk (x) − f (x)| > 1/2k }) < 1/2k . Ahora como

1
 P∞
k=1 m({x : |fnk (x) − f (x)| > 1/2k }) < ∞ por el Lema de Borel Cantelli
m(lı́m supk {x : |fnk (x) − f (x)| > 1/2k }) = 0. Se puede ver que {x : fnk 6→ f (x)} ⊂
lı́m sup{x : |fnk (x) − f (x)| > 1/2k } por tanto la medida del primero es menor o igual a la del
segundo que es nula.

g) Mostrar que si en vez de Rd , tomamos como dominio [0, 1]d , convergencia m-ctp implica
convergencia en medida.
m−ctp
fn → f ⇔ m({x : fn (x) 6→ f (x)}) = 0 lo cual implica que para todo  ∈ Q+
m(∩n>0 ∪k>n {|fk − f | > }) = 0

Veamos que Bn := ∪k>n {|fk − f | > } es una sucesión decreciente: Bn ⊃ Bn+1 . Como Bn ⊂
[0, 1]d de medida finita, podemos usar la continuidad de la medida, entonces: lı́mn m(Bn ) =
m(∩n Bn ) = 0 por definición de los Bn y por la convergencia ctp.

Entonces para todo  > 0,

m({|fn − f | > }) ≤ m(∪k>n {|fk − f | > }) = m(Bn )

m
y tomando lı́mite se tiene que lı́mn m({|fn − f | > }) = 0 por tanto fn → f .