MODOS DE CONVERGENCIA

Sea (X, M, µ) un espacio de medida y consideremos una sucesión de funciones

fn : X → C, revisaremos los diversos tipos de convergencia que se resumen (a veces
muy informalmente con la notación fn → f :
• Sabemos que fn → f uniformemente en X si
∀ ε > 0 ∃ N (ε) ∈ N tal que sup |fn (x) − f (x)| < ε (n > N ).
x∈X
• Sabemos que fn → f puntualmente en X si
∀ ε > 0 ∃ N (ε, x) ∈ N tal que |fn (x) − f (x)| < ε (n > N ).
• Sabemos que fn → f (c.t.p.) si el conjunto
n o
E = x ∈ X : lı́m fn (x) = f (x) es tal que µ(E c ) = 0.
n→∞

• Sabemos que fn → f en L1 (X, µ) si fn ∈ L1 (X, µ) para todo n ∈ N y

Z
lı́m |fn − f | dµ = 0.
n→∞

Observación 1. Es claro que

Convergencia uniforme ⇒ Convergencia puntual ⇒ Convergencia c.t.p

Definición 1. Una sucesión {fn }n de funciones medibles fn : X → C donde

(X, M, µ) es un espacio de medida es una sucesión de Cauchy en medida
si
∀ ε > 0 µ({x : |fm (x) − fn (x)| ≥ ε}) → 0 cuando m, n → ∞,

Definición 2. Una sucesión {fn }n de funciones medibles fn : X → C donde

(X, M, µ) es un espacio de medida es una sucesión convergente en medida
a f si
∀ε > 0 µ({x : |fn (x) − f (x)| ≥ ε}) → 0 cuando n → ∞,

Para todos(as) es conocido el resultado siguiente: si una sucesión es convergente,

entonces es de Cauchy. El siguiente resultado extiende esta idea a las dos definiciones
precedentes:

1
2 INTEGRACIÓN

Lema 1. Si una sucesión {fn }n de funciones medibles fn : X → C es una sucesión

convergente en medida a f entonces es una sucesión de Cauchy en medida.
Demostración. Veamos que la desigualdad
ε ≤ |fn (x) − fm (x)| ≤ |fn (x) − f (x)| + |f (x) − fm (x)|
implica que si
y ∈ {x ∈ X : |fn (x) − fm (x)| ≥ ε} ,
entonces
n εo n εo
y ∈ x ∈ X : |fn (x) − f (x)| ≥ ε > o y ∈ x ∈ X : |f (x) − fm (x)| ≥ ε > .
2 2
Es decir
n εo n εo
{x : |fn (x) − fm (x)| ≥ ε} ⊂ x : |fn (x) − f (x)| ≥ ∪ x : |f (x) − fm (x)| ≥ .
2 2
Como fn es convergente a f en medida, tenemos que
n ε o
µ x : |fn (x) − f (x)| ≥ → 0 cuando n → ∞
2
y n ε o
µ x : |f (x) − fm (x)| ≥ → 0 cuando m → ∞.
2
Entonces tenemos que
n ε o
µ x : |fn (x) − fm (x)| ≥ → 0 cuando n, m → ∞.
2
y se verifica que fn es de Cauchy en medida. 
Proposición 1. Si fn → f en L1 (X, µ), entonces fn → f en medida.
Demostración. Dado ε > 0, definamos el conjunto
En,ε = {x ∈ X : |fn (x) − f (x)| ≥ ε}
tenemos que demostrar que su medida tiende a cero cuando n → ∞.
Veamos que Z Z
|fn − f | ≥ |fn − f | ≥ µ(En,ε )ε
En,ε
y tenemos que Z
1
µ(En,ε ) ≤|fn − f |.
ε
R
Como lı́m |fn − f | = 0 tenemos que lı́m µ(En,ε ) = 0. 
n→∞ n→∞

Es importante enfatizar que el converso de este resultado es falso. En efecto

veamos que
1
fn (x) = χ[0,n) (x)
n
verifica la convergencia fn → 0 en medida pero no en L1 (X, µ).
En efecto veamos que dado ε > 0 definimos
 
1
En,ε = {x ∈ R : |fn (x)| ≥ ε} = x ∈ [0, n) : > ε .
n
Por un lado, la propiedad arquimediana nos dice que ∀ε > 0 existe n ∈ N tal
que n1 < ε para todo n > N , lo cual implica que En,ε = ∅ para todo n > N (ε) y
por lo tanto µ(En,ε ) = 0 para todo n > N (ε).
 INTEGRACIÓN 3

Por otro lado, como fn es acotada, sabemos que las integrales de Riemann y
Lebesgue coinciden y se verifica que
Z Z Z Z n
1 1 1
|fn − 0| = χ[0,n) = = = 1 ∀n,
R n [0,n) n 0 n
y por lo tanto fn no converge a 0 en L1 (X, µ).

Tenemos el siguente resumen:

fn → f en L1 (X, µ) ⇒ fn → f en medida ⇒ fn es de Cauchy en medida
Teorema 1. Supongamos que {fn }n es una sucesión de Cauchy en medida. En-
tonces:
a) Existe una función medible f tal que fn → f en medida y existe una subsu-
cesión {fnj } que converge a f c.t.p.
b) Además, si fn → g en medida, entonces f = g c.t.p.
Demostración. Antes de empezar la demostración será util hacer algunos comenta-
rios del resultado.
• El resultado puede verse como un recı́proco de la última implicancia del diagrama
mostrado arriba (habrı́a que justificar la unicidad del lı́mite).
• Por otro lado podemos complementar el diagrama de arriba
fn → f en L1 (X, µ) ⇒ fn → f en medida ⇒ fn es de Cauchy en medida ⇒ fnj → f (c.t.p)
Dividiremos la demostración en varios pasos técnicos.
Paso 1 (Preliminares Técnicos): Por hipótesis sabemos que
∀ ε > 0 µ({x : |fm (x) − fn (x)| > ε}) → 0 cuando m, n → ∞.
Además, toda subsucesión tambien es de Cauchy en medida y por lo tanto existe
una subsucesión {fnj } con nj creciente con respecto a j tal que
∀ε > 0 µ({x : |fnj (x) − fnj+1 (x)| > ε}) → 0 cuando nj → ∞.
Usando la definición de lı́mite, la propiedad precedente puede reescribirse como
la existencia de un conjunto Ej definido por
1 1
Ej = {x : |fnj (x) − fnj+1 (x)| > j } tal que µ(Ej ) ≤ j .
2 2
Paso 2: fnj es de Cauchy puntualmente Definamos el conjunto
∞
[
Fk = Ej
j=k
y notemos que
∞
P
µ(Fk ) ≤ µ(Ej )
j=k

∞
1
P
≤ 2j
j=k

∞
1 1
P
= 2k 2i
i=0

= 21−k .
4 INTEGRACIÓN

Si x ∈
/ Fk entonces, para todo j ∈ {k, k + 1, . . . , i} se tiene que
1
x∈
/ Ej ⇒ |fnj (x) − fnj+1 (x)| ≤
2j
y entonces por desigualdad triangular tenemos que si k ≤ j ≤ i entonces
x∈
/ Fk ⇒ |fnj (x) − fni |

≤ |fnj (x) − fnj+1 | + |fnj+1 (x) − fnj+1 | + . . . + |fni (x) − fni+1 |

1 j 1 j+1 1 i




≤ 2 + 2 + ... + 2

1 j 1 1


≤ 2 1+ 2 + ... + 2i−j

2 1

≤ 2j 1− 2i−j+1

< 21−j
y concluimos que
2
para i > j ≥ k y x ∈ Fkc .
|fnj (x) − fni (x)| <
2j
Es decir, fnj es de Cauchy para todo x ∈ Fkc , o sea es de Cauchy puntualmente.

k
Como 0 < µ(Fk ) ≤ 2 21 no podemos asegurar todavı́a que la sucesión es de
Cauchy c.t.p.
∞
Fkc .
S
Lo que si podemos asegurar es que fnj es de Cauchy para todo x ∈
k=1
Si denotamos
∞
[ ∞
\
Fc = Fkc ⇒ F = Fk ,
k=1 k=1
tendremos que fnj es de Cauchy en todo x ∈
/ F . Es decir, se tendrá que fnj es de
Cauchy c.t.p. si µ(F ) = 0.
Paso 3: fnj converge c.t.p.
Hemos definido F como:
 
\∞ ∞
\ ∞
[
F = Fk =  Ej  = lı́m sup Ej .
j→+∞
k=1 k=1 j=k

Sin embargo, notemos que

 
∞
[ ∞
[
Fk = Ej = Ek ∪  Ej  = Ek ∪ Fk+1 ,
j=k j=k+1

lo cual implica que Fk+1 ⊂ Fk y tenemos

F1 ⊃ F2 ⊃ . . . con µ(F1 ) ≤ 20 = 1
y por la continuidad inferior de la medida (Teorema 1.8d) – Folland) tenemos que
∞
!
\ 2
µ(F ) = µ Fk = lı́m µ(Fk ) = 0 pues µ(Fk ) < k
k→∞ 2
k=1
 INTEGRACIÓN 5

∞
Como F c = Fkc y fnk es de Cauchy en todo Fkc podemos concluir que fnj es
S
k=1
c
de Cauchy en F y como µ(F ) = 0 vemos que fnj es Cauchy c.t.p.
La completitud de C nos dice que fnj (x) converge para todo x ∈ F c , eso nos
permite definir 
 lı́m fnj si x ∈ F c
 j→∞
f (x) =

 0 si x ∈ F
y podemos concluir que fnj → f (c.t.p.)
Paso 4: f es medible.
Por hipótesis fnj es una sucesión de funciones medibles. Por otro lado, acabamos
de verificar que fnj → f (c.t.p). Usando la Proposición 2.11b) de Folland (página
47) se tiene que f es medible.
Paso 5: fnj → f en medida.
En el paso 2 demostramos que
2
|fnj (x) − fni (x)| <
para j ≥ k y x ∈
/ Fk .
2j
Como esta desigualdad depende exclusivamente de j y no depende de i, si hace-
mos tender i → ∞ entonces ni → ∞ y fni → f (c.t.p.) y se tiene la desigualdad
2
|fnj (x) − f (x)| < para j ≥ k y x ∈
/ Fk .
2j
Veamos que
 
2
A= x ∈ X : |fnj (x) − f (x)| ≥ ⊂ Fk ,
2j
en efecto, si k ≤ j < i y x ∈ A entonces x ∈ Fk o x ∈ / Fk , si ocurriese esto último
se tendrı́a que
2
|fnj (x) − f (x)| < j
2
y se tendrı́a que x ∈
/ A lo cual es imposible. Por lo tanto, x ∈ Fk y A ⊂ Fk .
Ahora tenemos que
 
2
µ x ∈ X : |fnj (x) − f (x)| ≥ j ≤ µ(Fk ) → 0 cuando k → ∞
2
y se deduce que fnj → f en medida.
Paso 6: fn → f en medida.
Veamos que la desigualdad
ε ≤ |fn (x) − f (x)| ≤ |fn (x) − fnj (x) | + |fnj (x) − f (x)|
implica que si
x ∈ {x ∈ X : |fn (x) − f (x)| ≥ ε} ,
entonces
n εo n εo
x ∈ x ∈ X : |fn (x) − fnj (x)| ≥ ε > o x ∈ x ∈ X : |fnj (x) − f (x)| ≥ ε > .
2 2
Es decir
n εo n εo
{x : |fn (x) − f (x)| ≥ ε} ⊂ x : |fn (x) − fnj (x)| ≥ ∪ x : |fnj (x) − f (x)| ≥ .
2 2
6 INTEGRACIÓN

Como fn es de Cauchy en medida por hipótesis, tenemos que

n ε o
µ x : |fn (x) − fnj (x)| ≥ → 0 cuando n, nj → ∞
2
Por el Paso 5, sabemos que fnj → f en medida, es decir
n ε o
µ x : |fnj (x) − f (x)| ≥ → 0 cuando nj → ∞
2
y por lo tanto podemos concluir que
µ ({x : |fn (x) − f (x)| ≥ ε}) → 0 cuando n → ∞


Corolario 1. Si fn → f en L1 (X, µ), existe una subsucesión fnj tal que

fnj → f (c.t.p.)

Demostración. Por la proposición 1 sabemos que si fn → f en L1 (X, µ) entonces fn

converge a f en medida. Ahora, usando el Lema 1 sabemos que fn es una sucesión
de Cauchy en medida.
Finalmente, el Teorema 1 nos asegura la existencia de la subsucesión fnj que
converge a f c.t.p. 
 INTEGRACIÓN 7

Figura 1. J.E. Littlewood (Pelı́cula El hombre que conocı́a el in-

finito, 2015)

Los tres principios de Littlewood

En Lectures on the Theory of Functions (Oxford University Press, 1941), J.E.
Littlewood escribe (página 23):
There are three principles, roughly expressible in the following terms:
1.- Every measurable set is nearly a finite union of intervals.
2.- Every Measurable function is nearly continuous.
3.- Every pointwise convergent sequence of measurable functions is nearly uniformly
convergent.
Most of the results of the theory a fairly intuitive applications of these ideas.
Notemos que el primer principio es uno de los resultados de la primera regla de
Littlewood

Notemos que el primer principio de Littlewood es uno de los resultados de la

Primera regla de Littlewood vista anteriormente:
Si µ(E) < ∞, entonces para todo ε > 0 existe una unión finita de intervalos
abiertos U tal que µ(U 4E) < ε.
El segundo y tercer principio de Littlewood son descritos respectivamente por
los Teoremas de Lusin y Egoroff respectivamente. Si bien estos principios tienen en
mente funciones definidas en el espacio de medida (R, L, m), Folland comienza con
una versión general del Teorema de Egoroff.
8 INTEGRACIÓN

Teorema 2 (Teorema de Egoroff). Sea (X, M, µ) un espacio de medida con µ(X) <
∞ Si f1 , f2 , . . . son funciones medibles tal que fn : X → C y fn → f puntualmente.
Entonces para todo ε > 0 existe E ⊂ X tal que µ(E) < ε y fn → f uniformemente
en E c .
Demostración. Paso 1: Consideremos un par de números (n, k) y definamos los
conjuntos
∞  
[ 1
En (k) = x ∈ X : |fm (x) − f (x)| ≥ .
m=n
k
Ahora fijaremos k y notemos que
∞
x ∈ X : |fn (x) − f (x)| ≥ k1 ∪ 1
 S 
En (k) = x ∈ X : |fm (x) − f (x)| ≥ k
m=n+1

1

= x ∈ X : |fn (x) − f (x)| ≥ k ∪ En+1 (k)
lo cual implica que En+1 (k) ⊂ En (k) y por lo tanto:
E1 (k) ⊃ E2 (k) ⊃ . . . ⊃ En (k) ⊃ En+1 (k) ⊃
es decir {En (k)}n es una sucesión decreciente con respecto a n.
Paso 2: Demostraremos que
\∞
En (k) = ∅.
n=1
La demostración se hará por contradicción:
∞
T
x∈ En (k) ⇒ x ∈ En (k) ∀ n
n=1

∞ 
1
S
⇒ x∈ x ∈ X : |fm (x) − f (x)| ≥ k (Por definición de En (k))
m=n

1
⇒ |fm (x) − f (x)| ≥ k (Para algún m ≥ n)

1
⇒ lı́m |fn (x) − f (x)| ≥ k (Paso al lı́mite pues fm → f puntualmente)
m→∞

⇒ |f (x) − f (x)| = 0 > k1 ,

obteniendo una contradicción.
Paso 3: lı́m µ(En (k)) = 0. Como la sucesión En (k) es decreciente y µ(E1 ) < ∞
n→∞
(pues µ(X) < ∞), el Teorema 1.8d) (Folland) nos dice que
∞
!
\
lı́m µ(En (k)) = µ En (k) = µ(∅) = 0.
n→∞
n=1

Paso 4: Como µ(En (k)) tiende a cero cuando n tiende a infinito. Para todo ε > 0
existe nk → ∞ (cuando k → ∞) y creciente tal que
µ(Enk (k)) < ε21−k .
Ahora definamos
∞
[
E= Enk (k)
k=1
 INTEGRACIÓN 9

y por la subaditividad de la medida veamos que

X∞ ∞
X
µ(E) ≤ µ(Enk (k)) ≤ ε 21−k = ε.
k=1 k=1
Paso 4: fn converge a f uniformemente en E c .
Si n > nk entonces se tiene que
En (k) ⊂ Enk (k) porque la sucesión es decreciente,
y luego podemos ver que
∞
[ 1
x∈/E= Enk (k) ⇒ x ∈
/ Enk (k) ⇒ x ∈
/ En (k) ⇒ |fn (x) − f (x)| <
k
k=1
Es decir
1
Si x ∈ E c y n > nk entonces |fn (x) − f (x)| < .
k
1
Dado ε > 0 existe K tal que k < ε para todo k > K y por lo tanto
∀ ε > 0∃nK ∈ N tal que sup |fn (x) − f (x)| < ε cuando n > nK
x∈E c

y se tiene la convergencia uniforme en E c . 

El libro de Folland señala las siguientes consecuencias del Teorema de Egoroff:
• El resultado se puede generalizar cuando la convergencia fn → f es c.t.p. en vez
de puntual.
• La convergencia descrita por el Teorema de Egoroff se conoce como convergencia
casi uniforme: Una sucesión de funciones fn : X → C con µ(X) < ∞ es casi uni-
formemente convergente si para todo ε > 0 existe E ⊂ X tal que fn (x) → f (x)
uniformemente y µ(E) < ε. a f para todo x ∈ E c .
• En el caso de que el espacio de medida sea (X, L, m) y X = [a, b] ⊂ R, en el
Teorema de Egoroff siempre se puede asumir que el conjunto E es cerrado.

Para demostrar el Teorema de Lusin, usaremos algunas ideas: ya sabemos que

una función medible se puede aproximar por funciones simples. Por otro lado, el
resultado de densidad de las funciones continuas de soporte compacto en (L1 (X), ρ)
nos dio ideas de como aproximar funciones simples por funciones continuas. El
siguiente resultado revisita es última idea y nos ayudará en la demostración del
Teorema de Lusin pero enfatizamos que tiene un interés propio por la diversas
técnicas e ideas que se emplean.
Lema 2. Sea φ : R → R una función simple y medible Lebesgue tal que existe un
conjunto medible E ⊂ R con la propiedad
E = {x ∈ R : φ(x) > 0} .
Entonces, para todo ε > 0 existe una función continua g : R → R y un cerrado
F ⊂ E tal que
φ(x) = g(x) para todo x ∈ F y además m(E \ F ) < ε
Demostración. Definamos la función simple en representación estandar
n
X
φ(x) = aj χEj
j=1
10 INTEGRACIÓN

con conjuntos medibles disjuntos Ej . Como Ej es medible Lebesgue, la primera

regla de Littlewood asegura la existencia de un conjunto cerrado Fj ⊂ Ej tal que
m(Ej \ Fj ) < nε .
Será util, escribir Fj = [aj , bj ] y construir el conjunto cerrado
n
[
F = Fj ,
j=1

el cual es una unión disjunta.

Ahora definamos la función
n
X
g(x) = aj gj (x)
j=1

donde gj es una función continua definida por



 0 si x < aj − δ




 1
δ (x − aj ) si x ∈]aj − δ, aj ]






gj (x) = 1 si x ∈ Fj = [aj , bj ]




− 1δ (x − bj ) si x ∈]bj , bj + δ]








0 si x > bj + δ


con δ arbitrariamente pequeño.

Es directo que
n
[
g(x) = φ(x) para todo x ∈ F = Fj .
j=1

Para finalizar la demostración tenemos que demostrar que m(E \ F ) < ε. Recor-
demos que
n
[ n
[
E= Ej , F = Fj con uniones disjuntas y Fj ⊂ Ej
j=1 j=1

Entonces ! !
n
S n
S
E\F = Ej \ Fj
j=1 j=1

n
S
= (Ej \ Fj ).
j=1
ε
Como las uniones son disjuntas y m(Ej \ Fj ) < n se tiene que
n
X
m(E \ F ) = m(Ej \ Fj ) < ε
j=1

y concluye la demostración. 

Comentario: El lema anterior se puede generalizar a funcione simples φ : R → C.

 INTEGRACIÓN 11

Teorema 3 (Teorema de Lusin). Sea f : [a, b] → C una función medible Lebesgue,

entonces para todo ε > 0 existe un cerrado F ⊂ [a, b] tal que m([a, b] \ F ) < ε y
tambien existe una función continua g : [a, b] → C tal que f (x) = g(x) para todo
x ∈ F.
Demostración. Sabemos que existe una sucesión de funciones simples φn que con-
verge puntualmente a f en [a, b].
Podemos aplicar el Lema anterior para cada función simple φn ver que existen
cerrados Fn ⊂ [a, b] y funciones gn : [a, b] → C continuas que verifican φn (x) = gn (x)
para todo x ∈ Fn y además
ε
m([a, b] \ Fn ) < n+1 .
2
Como φn es una sucesión de funciones medibles y converge puntualmente a f ,
podemos aplicar el Teorema de Egoroff, el cual asegura a exitencia de un cerrado
F0 ⊂ [a, b] tal que m([a, b] \ F0 ) < ε/2 y que ademas φn converge uniformemente a
f en F0 .
∞
T
Ahora definamos F = Fn y notemos que
n=0

m([a, b] \ F ) = m([a, b] ∩ F c )
 ∞ c 
T
= m [a, b] ∩ Fn
n=0
 ∞ 
S c
= m [a, b] ∩ Fn
n=0

∞
  
m [a, b] ∩ F0c ∪ Fnc
S
=
n=1

∞
  
m [a, b] ∩ F0c ∪ [a, b] ∩ Fnc
S
=
n=1

∞
 
S
= m [a, b] \ F0 ∪ ([a, b] \ Fn )
n=1

∞
P
≤ m([a, b] \ F0 ) + m([a, b] \ Fn )
n=1

∞
ε ε
P
≤ 2 + 2n+1 < ε.
n=1
Finalmente, notemos que F es cerrado, debido a que es intersección de cerrados.
Como φn = gn en F se tiene que φn es continua en F pues F ⊂ Fn . Como φn
converge uniformente a f en F ⊂ F0 y φn es continua en F se tiene que f es continua
pues el lı́mite uniforme de funciones continuas es una función continua.