Parte 4: Teoremas de convergencia.

Como siempre, si no se dice lo contrario, se supone que (X, M, µ) es un

espacio de medida y trabajamos con funciones de dominio X y recorrido
contenido en C o R o R.
Empezamos con otro corolario del TCM, que se llama Lema de Fatou:

Teorema 1 Sea fn una sucesión de funciones medibles no negativas. En-

tonces Z Z
lı́m inf fn dµ ≥ lı́m inf fn dµ
X X

La prueba es muy fácil usando TCM con la sucesion gn definida por

gn = ı́nf k≥n fk que es creciente y no negativa, y cuyo lı́mite puntual es el
liminf de las fn .

Ejercicio 1. Generalizar Fatou a funciones que puedan ser negativas, a

limsup en vez de liminf, y poner ejemplo de que no vale el igual en la de-
sigualdad.

La siguiente propiedad ya se probó para funciones sumables que van a

R: vale también cuando f : X → C es sumable:
Proposición 1 Si f es sumable, entonces
Z  Z
 
 f dµ ≤ |f |dµ
 
X X

Otro de los teoremas fundamentales de este curso es el Teorema de con-

vergencia dominada de Lebesgue, en adelante TCD:

Teorema 2 Sea fn una sucesión de funciones medibles definidas en X que

converge puntualmente a una función f . Se supone además que existe una
función g ∈ L1 (µ) tal que |fn | ≤ g para todo n. Entonces fn → f en la
métrica de L1 (µ). En particular, se cumple:
Z Z
lı́m fn dµ = f
n X X

Para la prueba hacer el siguiente ejercicio

Ejercicio 2. Notar primero que parte de la conclusión (al decir fn tiende a
f en L1 ) es que tanto las fn como la f son sumables. Probar eso.
Luego notar que |fn − f | ≤ 2g con lo que Fatou se aplica a la sucesión

1
2g − |fn − f |. Concluir la prueba del teorema desde ahı́.
R
Ejercicio 3. Calcular lı́m X f dm donde X = [0, +∞), m es la medida de
√ √
Lebesgue y f (x) = ( x + 1)(x + n)−2 .

Ejercicio 4. Sea fn : [0, 1] → [0, 1] una sucesión de funciones continuas

tales Rque fn (x) → 0 para todo x. Trate de probar sin usar el TCD que
1
lı́mn 0 fn (x)dx = 0.

Ejercicio 5. Calcular los lı́mites cuando n → +∞:

Z n Z n
(1 − x/n)n ex/2 dx, y (1 + x/n)n e−2x dx
0 0

Sobre las propiedades ctp.

Una medida se llama completa cuando todo subconjunto de un conjunto

de medida 0 es medible. Por ejemplo recordar que la medida de Lebesgue
en R definida en los conjuntos medibles Lebesgue es completa (recordar que
m∗ (X) = 0 implica que X es medible Lebesgue). Pero si se restringe m a
los Borelianos, deja de ser completa (por ejemplo adentro del conjunto de
Cantor hay conjuntos que no son Borelianos, por un tema de cardinalidad).
En realidad, como dice este ejemplo, el problema de no ser completa una
medida es que la σ − álgebra que se considera tiene pocos conjuntos, ya que
dada cualquier medida se pueden agregar conjuntos a la σ − álgebra, ex-
tendiendo ası́ el dominio de la medida para que sea completa. Este sencillo
proceso se llama completación de una medida:

Ejercicio 6. Sea µ una medida en una σ − álgebra M. Sea M0 la clase de

conjuntos E ⊂ X tales que existen A y B en M tales que A ⊂ E ⊂ B y
µ(B \ A) = 0. Probar que M0 es una σ − álgebra y que µ se extiende a una
medida completa en M0 .

Ejercicio 7. Sea f : X → C una función medible, donde µ es una medida

completa, y sea E un conjunto de medida 0. Sea f 0 una función cualquiera
que coincide con f en el complemento de E, o sea, que es igual a f µ-ctp.
Entonces f 0 es medible.

2
 Esto dice que perfectamente podrı́amos cambiar la definición de función
medible, diciendo que f es medible si es µ-ctp igual a una función medible
f 0 . La integral de la f se define como la integral de f 0 . En realidad los teo-
remas de convergencia valen con la hipótesis más débil de convergencia ctp.
Por ejemplo:

Ejercicio 8. Probar que vale TCM con menos hipótesis (sólo convergencia
en casi todo punto): es decir, probar que si fn es una sucesión creciente de
funciones medibles
R Rno negativas tales que fn → f ctp, entonces f es medible
y vale que fn → f .

La completitud de L1

Recordar los ejemplos hechos en clase por Mauro y Andrés: Ni las con-
tinuas ni las integrables Riemann son un espacio completo cuando se consi-
deran con la norma ||.||1 . Se plantean dos preguntas:
1. Si L1 (m) es completo,
2. Cual será la clausura del conjunto de funciones continuas o de integrables
Riemann en L1 (m).
En los próximos ejercicios se indica un camino para la prueba de la comple-
titud de L1 (µ) cualquiera sea la medida µ.

Ejercicio 9. Probar que la convergencia en L1 no implica la convergencia

puntual. Para n > 0 y 0 ≤ j < 2n , sea
 
j j+1
A2n +j = n , n
2 2

Estudiar el problema anterior relativo a la sucesión χAk .

Ejercicio 10. Probar que si {fn } es una sucesión de Cauchy en L1 (µ),

entonces tiene una subsucesión que converge puntualmente. La sugerencia
es:

1. Probar que existe una subsucesión fni tal que

||fni − fni+1 ||1 < 2−i

2. Se define g = ∞
P
i=1 |fni − fni+1 |. Probar que g está bien definida (ctp),
que es medible y que está en L1 (µ).

3
 3. Definir
∞
X
f = fn1 + fni − fni+1
i=1

Probar que está bien definida ctp, que es medible y que está en L1 (µ).
Además probar que f = lı́mi fni .
Ejercicio 11. En las condiciones del ejercicio anterior, probar que fn con-
verge a f en L1 (µ) y concluir que L1 (µ) es completo. Se sugiere aplicar Fatou
a la sucesión |fn − f | = lı́mi |fn − fni |.

Ejercicio 12. Probar el siguiente corolario de los ejercicios anteriores: Si

{fn } es una sucesión convergente a f en la norma L1 , entonces existe una
subsucesión que converge puntualmente a una función h. Además h = f .
Comparar con el ejercicio 9; hallar subsucesiones convergentes puntualmen-
te de la sucesión dada en dicho ejercicio.

Otros espacios de funciones.

Los espacios Lp . Para cada 1 ≤ p < +∞ se define el espacio Lp (µ) como

el conjunto de las funciones medibles tales que
Z
|f |p dµ < +∞
X

Se demuestra que son espacios vectoriales y que la raı́z p-ésima de la inte-

gral de arriba es una seminorma (una norma en el espacio cociente de las
funciones iguales ctp). Pero este resultado probablemente no lo veremos en
este curso, se deduce de la desigualdad de Minkowski.
Por ahora sólo se trabaja en este curso con p = 1 y p = 2. La particularidad
de L2 (µ) es que su norma proviene de un producto interno, definido por:
Z
hf, gi = f gdµ.
X

Ejercicio 13. Probar que L2 (µ) es un espacio vectorial (notar primero que
2f g ≤ f 2 + g 2 y por lo tanto f g ∈ L1 (µ) si f y g están en L2 (µ)). Probar
que la fórmula de arriba define un producto interno en L2 (µ) Escribir la de-
sigualdad de Cauchy-Schwarz para este producto interno. Esa desigualdad
se llama también desigualdad de Holder.

4
Ejercicio 14. Probar que si µ(X) < +∞, entonces L2 ⊂ L1 y que la con-
vergencia en L2 implica convergencia en L1 . Pero en general no son iguales.
Además no son comparables en general cuando µ(X) = ∞. Probar que sin
embargo, f acotada y en L1 implica f ∈ L2 . Y si {fn }n es una sucesión
convergente en L1 , se cumple que entonces fn converge a f en L2 ?

Definición 1 Sea (X, M, µ) un espacio de medida. Una función medible f

definida en X es esencialmente acotada si existe K tal que {x : |f (x)| ≥ K}
tiene medida cero. El conjunto de todas las funciones esencialmente acotadas
se denota L∞ (µ). El ı́nfimo de tales K se llama el supremo esencial de f y
se denota ||f ||∞ .
Ejercicio 15. Demostrar que L∞ es un espacio vectorial y que ||.||∞ es una
seminorma. Probar que si f está en L∞ y µ(X) < ∞ entonces f ∈ L2 .
Probar que convergencia en L∞ implica convergencia puntual pero no en L1
en general.

Ejercicio 16. Probar que L2 (µ) y que L∞ (µ) es completo.

Queda un problema: ver si las continuas o integrables Riemann son densas

en L1 (m) donde m es la medida de Lebesgue. Porque si no son, habrı́a un
espacio en el medio que también es completo con la norma ||.||1 .

Ejercicio 17. Sea S el conjunto de las medibles simples s tales que µ{x :
s(x) 6= 0} < ∞. Demostrar que S es denso en L1 y en L2 . Se sugiere empezar
probando que cada f ≥ 0 está en la clausura de S.

Notar que las definiciones y propiedades anteriores se establecen en es-

pacios de medida (X, M, µ). Para el próximo ejercicio la medida es Lebesgue.

Ejercicio 18. Probar que las funciones continuas son densas en L1 (m) y
también en L2 (m) y en L∞ (m), donde m es la medida de Lebesgue en el
intervalo [0, 1]. Cuando m es la medida de Lebesgue en la recta entonces las
funciones continuas no están contenidas en los espacios de Lebesgue Lp (m). .

Ejercicio 19. Sea Cc (R) el conjunto de las funciones continuas de soporte

compacto, es decir f ∈ Cc (R) si y sólo si el conjunto de puntos x donde
f (x) no se anula es acotado. Probar que Cc (R) es subespacio de todos los
espacios de Lebesgue y que es denso en L1 (m) y L2 (m) pero no en L∞ (m).
Caracterizar la clausura de Cc (m) en L∞ (m)