LA CLASE DE LAS FUNCIONES MEDIBLES

Abstract. En este capı́tulo introducimos la clase de funciones medibles, en

el sentido de Lebesgue. Se prueba que esta clase de funciones es cerrada bajo
distintos tipos de convergencia más generales que la convergencia uniforme y
que existe una clase de funciones elementales o simples que generan por paso
al lı́mite la clase de las funciones medibles, un poco de la misma forma que
los números racionales generan a los números reales. Finalmente se prueba la
propiedad de Lusin según la cuál las funciones medibles son contı́mnuas, excepto
en conjuntos de medida pequeña.

La integral de Riemann está definida para funciones acotadas. Aún ası́ es fácil
dar ejemplos de funciones acotadas que no son Riemann integrables pero cuya
“área bajo la curva” deberı́a ser, naturalmente, cero. De hecho, funciones Riemann
integrables son contı́nuas, salvo un conjunto de medida cero.
La integral de Lebesgue tiene entre otras ventajas la propiedad de que extiende
el cálculo del “área bajo la curva” para una clase más general que contiene a todas
las funciones Riemann integrables.
En esta sección desarrollaremos una teorı́a elemental de funciones medibles como
paso preliminar para la definición de la integral de Lebesgue y la clase de funciones
Lebesgue integrables.
Veremos que la clase de funciones medibles es cerrada por paso al lı́mite, bajo
tipos de convergencia más generales que la convergencia uniforme. Asi mismo
introducimos la clase de las funciones simples que aproximan uniformemente a las
funciones simples en el mismo sentido que los números racionales aproximan a
cualquier número real.
Finalmente probaremos los teoremas de Egorov y Lusin que ponen de manifiesto
los llamados principios de Littlewood, a saber: 1) que los conjuntos medibles de
medida finita son “casi” uniones finitas disjuntas de intervalos; 2) que la funciones
medibles son “casi” contı́nuas, excepto conjuntos de medida peque na y 3) que las
sucesiones de funciones medibles que convergen puntualmente en casi todo punto
“casi” convergen uniformemente, salvo conjuntos de medida pequeña.

1. Funciones medibles: definiciones y propiedades básicas

Proposición 1.1. Sea f : E → R una función real definida sobre un conjunto
medible E ⊂ R. Entonces, todos los conjuntos
{x ∈ E : f (x) > c}, {x ∈ E : f (x) ≥ c}, {x ∈ E : f (x) < c}, {x ∈ E : f (x) ≤ c}
son medibles para todo c ∈ R si y sólo alguno de ellos es medible para todo c ∈ R.
1
2 LA CLASE DE LAS FUNCIONES MEDIBLES

Proof. Por las propiedades de σ-álgebra la unión e intersección numerables de

conjuntos medibles es medible. Asimismo, edl complemento de conjuntos medibles
es medible.
Ahora, supongamos para fijar ideas que {x ∈ E : f (x) > c} es medible para
todo c ∈ R. Entonces,
\
{x ∈ E : f (x) ≥ c} = {x ∈ E : f (x) > c − 1/n}
n>0

es medible, porque la intersección numerable de conjuntos medibles es medible.

Por tanto,
{x ∈ E : f (x) < c} = {x ∈ E : f (x) ≥ c}c
es medible para todo c ∈ R, porque el complemento de un conjunto medible es
medible. Finalmente,
\
{x ∈ E : f (x) ≤ c} = {x ∈ E : f (x) < c + 1/n}
n>0

es medible para todo c ∈ R porque es la intersección numerable de conjuntos

medibles. 
Definición 1.1. Diremos que una función f : E → R es Lebesgue medible, o
simplemente medible, si {x ∈ E : f (x) > c} es medible para todo c ∈ R.
Proposición 1.2. (1) las combinaciones lineales finitas de funciones medibles
son medibles;
(2) el producto finito de funciones medibles es medible;
(3) el mı́nimo (resp. máximo) de un conjunto finito de funciones medibles es
medible;
(4) si g es igual
S a f salvo un conjunto de medida cero, entonces g es medible;
(5) si E = n En es una descomposición de E en un conjunto numerable
disjunto de subconjuntos medibles dos-a-dos entonces f : E → R es medible
si y sólo si f |En : En → R es medible para todo n > 0.
Proof. 1): sean f y g funciones medibles. Entonces, como f (x) + g(x) > c si y
sólo si existe un número racional q ∈ Q tales que f (x) > q > c − g(x), entonces:
[
{x ∈ E : f (x) + g(x) > c} = {f (x) > q} ∩ {g(x) > c − q}
q∈Q

que es una unión numerable de subconjuntos medibles. Por otro lado, si f es

medible y α > 0 entonces {x ∈ E : αf (x) > c} = {x ∈ E : f (x) > c/α} es medible
para todo c ∈ R, luego αf es medible. De manera análoga se prueba que αf es
medible cuando α < 0. Si α = 0 entonces αf = 0 que es obviamente medible.
Entonces, para todo α, β ∈ R, αf + βg es medible. Inductivamente probamos que
toda combinación lineal finita de funciones medibles es medible.
 LA CLASE DE LAS FUNCIONES MEDIBLES 3

2): como f g = 1/2[(f + g)2 − f 2 − g 2 ] basta probar que si f es medible entonces

f 2 es medible. Si c ≥ 0 entonces
√ √
{f 2 (x) > c} = {f (x) > c} ∪ {f (x) < − c},
es medible, porque es la unión de dos subconjuntos medibles. Si c < 0 entonces,
{f ( x) > c} = E y por tanto f 2 es medible. Inductivamente, el producto finito de
funciones medibles es medible.
3): sean f1 , · · · , fn funciones medibles. Entonces,
n
[
{max{f1 (x), · · · , fn (x) > c} = {fk (x) > c}
k=1
y
n
\
{min{f1 (x), · · · , fn (x) > c} = {fk (x) > c}
k=1
son medibles para todo c ∈ R.
4): sea E0 = {x ∈ E : f (x) 6= g(x)} y supongamos que m(E0 ) = 0. Si f es
medible entonces,
{x ∈ E : g(x) > c} = {x ∈ E − E0 : f (x) > c} ∩ {x ∈ E0 : g(x) > c}
Como m(E0 ) = 0 entonces m{x ∈ E0 : g(x) > c} = 0 y por tanto es medible.
Entonces {x ∈ E : g(x) > c} es un subconjunto medible para todo c ∈ R.
5): se sigue de manera inmediata de las identidades:
[ [
{x ∈ E : f (x) > c} = {x ∈ E : f (x) > c} ∩ En = {x ∈ En : f (x) > c}.
n n

Proposición 1.3. Son equivalentes:
(1) f : E → R es medible;
(2) f −1 (a, b) es medible para todo (a, b);
(3) f −1 [a, b) es medible para todo [a, b);
(4) f −1 (a, b] es medible para todo (a, b];
(5) f −1 [a, b] es medible para todo [a, b];
(6) f −1 (U ) es medible para todo subconjunto abierto U ⊂ R;
(7) f −1 (F ) es medible para todo subconjunto cerrado F ⊂ R.
Proof. Si {x ∈ E : f (x) > c} es medible para todo c ∈ R, entonces
f −1 (a, b) = {x ∈ E : a < f (x) < b} = {x ∈ E : a < f (x)} ∩ {x ∈ E : f (x) < b}
es medible para todo −∞ ≤ a < b ≤ +∞. Recı́procamente, si f −1 (a, b) es medible
para todo intervalo abierto (a, b) ⊂ R entonces
[
{x ∈ E : f (x) > c} = {x ∈ E : c < f (x) < n}
{n∈Z:n>c}
4 LA CLASE DE LAS FUNCIONES MEDIBLES

es una unión numerable de conjuntos medibles y por tanto es medible, por las
propiedades de σ-álgebra.
Los casos [a, b), (a, b] y [a, b] se tratan de manera similar y se dejan al lector
como ejercicios.
U ⊂ R es abierto si y sólo si se puede escribir como una unión numerable de
intervalos abiertos disjuntos. Entonces si f −1 (a, b) es medible para todo intervalo
abierto (a, b) entonces f −1 (U ) es una unión numerable disjunta de subconjuntos
medibles y por tanto es medible, por las propiedades de σ-álgebra. Recı́procamente
si f −1 (U ) es medible para todo abierto U ⊂ R, entonces lo es para todo intervalo
abierto (a, b).
F ⊂ R es cerrado ssi su complemento U = F c es abierto. Entonces f −1 (U ) es
medible para todo U abierto ssi f −1 (F ) = f −1 (F c )c es medible para todo cerrado
F , usando las propiedades de σ-álgebra. 
Las funciones contı́nuas proporcionan los ejemplos más inmediatos de funciones
medibles. De hecho, como veremos más adelante, una función es medible si es
contı́nua sobre un subconjunto cerrado F ⊂ E de medida arbitrariamente grande o,
lo que es lo mismo, con m(E −F ) arbitrariamente pequeña. Esta es la propiedad de
Lusin que forma parte de los llamados principios de Littlewood que serán tratados
más abajo.
Para ver que las funciones contı́nuas son medibles necesitaremos reformular el
concepto de continuidad en términos conjuntistas, es decir, topológicos.
Definición 1.2. f es contı́nua en a si está definida en a y para todo  > 0 existe
δ = δ(a) > 0 tal que
|x − a| < δ implica |f (x) − f (a)| < 
es decir,
(a − δ, a + δ) ⊂ f −1 (f (a) − , f (a) + ).
Sea E ⊂ R un subconjunto de R. Una función f : E → R es contı́nua en E si es
contı́nua para todo x ∈ E.
Observación 1.1. (1) Un conjunto U ⊂ R es abierto si para todo x ∈ U existe
 > 0 tal que (x − , x + ) ⊂ U ;
(2) U ⊂ R es abierto si y sólo si es una unión, a lo sumo numerable, de
intervalos abiertos disjuntos;
(3) la unión de cualquier familia (posiblemente no numerable) de abiertos es
abierta;
(4) la intersección de una familia finita de abiertos es abierta;
(5) F ⊂ R cerrado si y sólo si complemento es abierto;
(6) la intersección de cualquier familia de cerrados es cerrada;
(7) la unión finita de cerrados es cerrada;
(8) F es cerrado si y sólo si para toda sucesión xn ∈ F , si xn → x entonces
x ∈ F , es decir, F contiene todos sus puntos de acumulación.
 LA CLASE DE LAS FUNCIONES MEDIBLES 5

Definición 1.3. Diremos que un subconjunto U ⊂ E es un abierto en E si existe

un abierto Û ⊂ R tal que U = Û ∩ E.
Por ejemplo, {r ∈ Q : a < r < b} es un subconjunto abierto en Q que no es
abierto en R.
Lema 1.1. f : E → R es contı́nua en E si y sólo si para todo abierto U ⊂ R,
f −1 (U ) es un abierto en E.
Proof. Como todo abierto es una unión numerable de intervalos abiertos disjuntos,
basta ver que f −1 (a, b) es un abierto en E, para todo intervalo abierto (a, b) ⊂ R.
Supongamos que f es contı́nua para todo x ∈ E y sea x ∈ f −1 (a, b). Entonces,
f (x) ∈ (a, b). Sea  > 0 tal que (f (x) − , f (x) + ) ⊂ (a, b). Entonces, por la
definición de continuidad, existe δ = δ(x) > 0 tal que
(x − δ, x + δ) ∩ E ⊂ f −1 (f (x) − , f (x) + ) ⊂ f −1 (a, b)
Entonces, [
f −1 (a, b) = (x − δ(x), x + δ) ∩ E
x∈f −1 (a,b)
es un abierto en E, pues la unión de abiertos es abierta. 
Proposición 1.4. (1) f : E → R contı́nua =⇒ f es medible;
(2) f : E → R contı́nua a trozos =⇒ f medible;
(3) f : E → R monótona =⇒ f es medible.
Proof. 1) se sigue de manera inmediata del lema y del hecho de que los conjuntos
abiertos de R son medibles.
2) se sigue inmediatamente de 1), la definición de continuidad a trozos y de la
proposición 1.2.
3) como se sabe una función monótona tiene a lo sumo un conjunto numerable
de discontinuidades. En particular, existe una función contı́nua g tal que f = g
fuera de un conjunto de medida cero. Esto y 4) en la proposición 1.2 completan
la demostración. 

2. Convergencia de sucesiones de funciones medibles

En esta sección estudiamos los distintos tipos de procesos lı́mite que involucran
sucesiones de funciones medibles.
u
Definición 2.1. fn −→ f uniformemente si para todo  > 0 existe N > 0 tal que
∀x∈E: |fn (x) − f (x)| < , ∀ n ≥ N.
p
Definición 2.2. fn −→ f puntualmente si fn (x) → f (x)) para todo x ∈ E. Es
decir, para todo x ∈ E y para todo  > 0 existe N (x) > 0 tal que
|fn (x) − f (x)| < , ∀ n ≥ N (x).
6 LA CLASE DE LAS FUNCIONES MEDIBLES

c.t.p.
Definición 2.3. fn −→ f en m-casi todo punto si fn (x) → f (x) para todo x ∈ E,
salvo un conjunto de medida cero. Es decir, si
E0 = {x ∈ E : fn (x) → f (x)}
entonces m(E − E0 ) = 0.
m
Definición 2.4. fn −→ f en medida si para todo  > 0,
m{x ∈ E : |fn (x) − f (x)| > } → 0+ cuando n → +∞.
La clase de las funciones contı́nuas es cerrada por convergencia uniforme.
u
Proposición 2.1. fn son funciones contı́nuas y fn −→ f entonces f es contı́nua.
Es fácil dar ejemplos de sucesiones de funciones contı́nuas que convergen pun-
tualmente y tales que su lı́mite no es contı́nuo. Una de las razones que hace
especialmente útiles a la clase de las funciones medibles es que es cerrada respecto
a lı́mites puntuales, a diferencia de las funciones contı́nuas.
c.t.p.
Proposición 2.2. Sea fn una sucesión de funciones medibles. Si fn −→ f en-
tonces f es medible.
Proof. Si fn (x) → f (x) entonces f (x) ≤ c si y sólo si
∀ m > 0 ∃ N > 0, tal que fn (x) < c + 1/m, ∀ n ≥ N
Entonces, si E0 = {x ∈ E : fn (x) → f (x)}:
\ [ \
{x ∈ E : f (x) ≤ c} ∩ E0 = {x ∈ E : fn (x) < c + 1/m}
m>0 N >0 n≥N

Como cada fn es medible, entonces {x ∈ E : fn (x) < c + 1/m} es medible para

todo c ∈ R y para todo m > 0. Consecuentemente, {x ∈ E : f (x) ≤ c} ∩ E0 es
medible, porque la familia de subconjuntos medibles es una σ-álgebra.
Por otra parte, como m(E − E0 ) = 0, entonces
m({x ∈ E : f (x) ≤ c} ∩ E − E0 ) = 0
y por tanto es medible. Luego, para todo c ∈ R
{x ∈ E : f (x) ≤ c} = ({x ∈ E : f (x) ≤ c} ∩ E0 ) ∪ ({x ∈ E : f (x) ≤ c} ∩ E − E0 )
es medible. 
Trataremos de aclarar las relaciones entre los distintos tipos de convergencia.
Proposición 2.3.
uniforme ⇒ puntual ⇒ c.t.p. ⇒ medida
 LA CLASE DE LAS FUNCIONES MEDIBLES 7

Proof. Es fácil ver que, por definición,

uniforme ⇒ puntual ⇒ c.t.p.
c.t.p. m
Probemos que si fn −→ f entonces fn −→ f . Por definición, fn (x) 9 f (x) si
existe  > 0 tal que para todo m > 0 existe k ≥ m tal que |fk (x) − f (x)| ≥ . Esto
motiva la introducción de los siguientes conjuntos:
[ \
Em () = {x ∈ E : |fk (x) − f (x)| ≥ } y E0 () = Em ()
k≥m m>0

Claramente Em y E0 son medibles. La sucesión de los Em es no-creciente, es decir,

Em+1 ⊂ Em , para todo m > 0. En particular,
∀>0: m(E0 () = inf m(Em ())
m>0

Por otro lado, si δ <  entonces para todo m > 0, Em () ⊂ Em (δ) y, por tanto,
E0 () ⊂ E0 (δ). Luego,
[
E0 = {x ∈ E : fn (x) 9 f (x)} = E0 (1/n)
n>0

y como n < m implica E0 (1/n) ⊂ E0 (1/m) entonces

m(E0 ) = sup m(E0 (1/n)).
n>0

Como fn → f en m-c.t.p. entonces m(E0 ) = 0. Consecuentemente m(E0 (1/n)) =

0, ∀ n > 0 y, por lo tanto, m(E0 () = 0 para todo  > 0. Luego,
m{x ∈ E : |fm (x) − f (x)| > } ≤ m(Em () ↓ 0+ ,
para todo  > 0. 
En general,
en medida ; c.t.p. ; puntual ; uniforme.
• en medida ; c.t.p.: para todo n > 0 y k = 0, · · · , n − 1 definimos
(
1 k/n ≤ x < k + 1/n
fn,k (x) =
0 caso contrario
m
Claramente fn,k −→ 0: en efecto, para todo  > 0
{x ∈ [0, 1] : |fn,k (x)| > } = [k/n, k + 1/n]
y por tanto, m{x ∈ [0, 1] : |fn,k (x)| > } → 0+ , cuando (n, k) → +∞. Sin
embargo, fn.k (x) no converge a cero, cuando (n, k) → +∞ pues para todo
n > 0 existe 0 ≤ k < n tal que fn,k (x) = 1. Luego,
lim inf fn,k (x) = 0 < 1 = lim sup fn,k (x).
(n,k)→+∞ (n,k)→+∞
8 LA CLASE DE LAS FUNCIONES MEDIBLES

• c.t.p. ; puntual:
(
n x = 1/2
fn (x) =
6 1/2
1/n x =
es una sucesión de funciones medibles que converge puntualmente en [0, 1]−
{1/2} a cero y diverge a +∞ en x = 1/2.
• puntual ; uniforme: sea fn (x) = xn con x ∈ [0, 1], entonces fn converge
puntualmente a (
0 0≤x<1
f (x) =
1 x=1
pero la convergencia no es uniforme: para todo  > 0 y para todo N > 0
existe n ≥ N tal que supx∈[0,1] |fn (x) − f (x)| ≥ .
Aunque los tipos de convergencia son más débiles en orden decreciente, existen
algunos recprocos parciales en cada caso.
Uno de ellos es el teorema de Egorov, que será enunciado y probado más ade-
lante. Por otro lado, tenemos el siguiente recı́proco parcial para la convergencia
en medida y la convergencia en c.t.p.
m c.t.p.
Proposición 2.4. Si fn −→ f entonces existe {fnk } tal que fnk −→ f cuando
k → +∞.
Proof. Comenzamos escogiendo una sucesión
P+∞de números reales n > 0 y tales que
+
n → 0 y una sucesión δn > 0 tal que n=1 δn < +∞.. Ahora construı́mos una
sucesión de nḿeros naturales nk tal que nk → +∞ cuando k → +∞,
n1 < n2 < · · · < nk < nk+1 < · · ·
de la siguiente manera: primero elegimos n1 > 0 tal que
m{x ∈ E : |fn1 (x) − f (x)| > 1 } < δ1
que existe por la definición de convergencia en medida. Luego escogemos n1 < n2
tal que
m{x ∈ E : |fn2 (x) − f (x)| > 2 } < δ2
y ası́ inductivamente una sucesión de naturales n1 < n2 < · · · < nk < nk+1 < tales
que
m{x ∈ E : |fnk (x) − f (x)| > k } < δk , ∀ k > 0.
La sucesión ası́ construı́da cumple nk → +∞ porque para todo  > 0
m{x ∈ E : |fn (x) − f (x)| > } → 0+ cuando n → +∞.
Para todo m > 0 definimos,
[ \
Em = {x ∈ E : |fnk (x) − f (x)| > k } y E0 = Em
k≥m m>0
 LA CLASE DE LAS FUNCIONES MEDIBLES 9

Como,
E1 ⊃ E2 ⊃ · · · ⊃ Em ⊃
por la continuidad de la medida m, m(Em ) → E0 . Por otro lado,
+∞
X
m(Em ) ≤ δk → 0+ cuando m → +∞.
k=m

Luego, m(E0 ) = 0. Probaremos que fnk (x) −→ f (x) para todo x ∈ E − E0 . En

efecto, como
[ \
E0c = c
Em y Em c
= {x : |fnk (x) − f (x)| < k }
m>0 k≥m
c
entonces, si x ∈ E − E0 existe m > 0 tal que x ∈ E − Em , es decir,
|fnk (x) − f (x)| < k ∀k≥m
Como k → 0+ entonces fnk (x) → f (x). 
m
Corolario 2.1. Si fn es una sucesión de funciones medibles y fn −→ f entonces
f es medible.

3. Funciones simples: definición y propiedades básicas

Las funciones simples son una clase particularmente útil de funciones medibles
que desempeñan un papel similar, en el análisis de funciones reales, al de los
números racionales en la construcción de los números reales.
Definición 3.1. Diremos que φ es una función simple si es medible y toma a lo
sumo un conjunto numerable de valores, es decir, existe una sucesión de números
reales φi ∈ R y una descomposición de E en conjuntos medibles disjuntos dos-a-dos
Ei ⊂ E tales que:
X [
(1) φ= φi · χEi , E = Ei , Ei ∩ Ej = ∅, i 6= j.
i i

Observación 3.1. Observe que la representación (1) no es única, es decir, es posible

tener dos representaciones distintas de la misma función simple:
X X
φ= ai · χ A i = bj · χBj ,
i j
S S
donde E = i Ai = j Bj son dos particiones medibles de E. En ese caso,
ai = b j ∀ Bj tal que Ai ∩ Bj 6= ∅
Esto hecho se usará con frecuencia en lo sucesivo.
Proposición 3.1.

(1) las funciones simples son medibles

10 LA CLASE DE LAS FUNCIONES MEDIBLES

(2) las combinaciones lineales finitas de funciones simples son simples;

(3) el producto de funciones simples es simple;
(4) X X
φ= φi · χEi entonces |φ| = |φi | · χEi
i i
(5) el máximo (resp. mı́nimo) de un nı́umero finito de funciones simples es
simple.
Proof. (1): si c ≥ R entonces
[
{x ∈ E : φ(x) ≥ c} = Ei .
φi ≥c

(2): sean φ y ψ simples con representación

X X
φ= φi · χEi y ψ = ψj · χFj .
i j

Entonces, X
φ+ψ = (φi + ψj ) · χEi ∩Fj .
i,j
La multiplicación por un escalar de una función simple es obviamente simple. (3):
X
φ·ψ = (φi · ψj ) · χEi ∩Fj
i,j

(4): X
|φ| = |φi | · χEi ,
i
pues φ(x) = φi si x ∈ Ei . (5):
X
min{φ, ψ} = min{φi , ψj } · χEi ∩Fj .
i,j

Análogamente, X
max{φ, ψ} = max{φi , ψj } · χEi ∩Fj .
i,j


4. Aproximación por funciones simples

En esta sección probaremos que toda función medible es lı́mite uniforme de
funciones simples.
Teorema 4.1. (Teorema de aproximación) Sea f : E → R una función medible.
Entonces, existe una sucesión de funciones simples φn y ψn tales que:
(1) φn ≤ f ≤ ψn , ∀ n > 0;
(2) {φn } es no-decreciente : φn ≤ φn+1 para todo n > 0;
 LA CLASE DE LAS FUNCIONES MEDIBLES 11

(3) {ψn } es no-creciente : ψn+1 ≤ φn para todo n > 0;

u u
(4) φn −→ f y ψn −→ f , convergen uniformemente.
Proof. Sea Pn = {[k/n, k+1/n) : k ∈ Z} la partición de R en intervalos de longitud
1/n. Definimos, para cada n > 0 y k ∈ Z el conjunto
Ekn = {x ∈ E : k/n ≤ f (x) < (k + 1)/n}
{Ekn } es una partición de E en un conjunto numerable de conjuntos medibles
disjuntos. Definamos
Xk Xk+1
φ̂n = · χEkn y ψ̂n = · χEkn
k∈Z
n k∈Z
n
u u
Claramente, φ̂n ≤ f ≤ ψ̂n para todo n > 0. Además, φ̂n −→ f y ψ̂n −→ f ,
convergen uniformemente. En efecto,
1
0 ≤ f (x) − φ̂n (x), ψ̂n (x) − f (x) < , ∀ x ∈ E, ∀ n > 0.
n
Finalmente, definimos,
φn = max{φ̂k : 1 ≤ k ≤ n} y ψn = min{ψ̂k : 1 ≤ k ≤ n}.
{φn } (resp. {ψn }) es una sucesión no-decreciente (resp. no-creciente) de funciones
simples que convergen uniformemente a f desde abajo (resp. desde arriba). 

5. Teorema de Egorov-Lusin: los tres principios de Littlewood

Hablando de la teorı́a de funciones de variable real, J. E. Littlewood decı́a:

”Hay tres Principios, crudamente expresados de la siguiente man-

era: Cada conjunto medible es ”casi” una unión finita de interva-
los; cada función medible es ”casi” continua; cada sucesión puntual-
mente convergente de funciones medibles converge ”casi” uniforme-
mente. La mayorı́a de los resultados de la teorı́a son aplicaciones
bastante intuitivas de estas ideas, y el estudiante deberı́a utilizarlas
cada vez que se confronte con un problema de análisis real.” a
aJ.E. Littlewood, Lectures on the Theory of Functions, Oxford University
Press, 1941, pp-23
El siguiente teorema, que fue probado mientras construı́amos la medida de
Lebesgue, expresa el Primer Principio de Littlewood
Teorema 5.1. E ⊂ R es un subconjunto medible con medida finita si y sólo si
para todo  > 0 existe un conjunto finito de intervalos abiertos disjuntos finitos
Ii = (ai , bi ), i = 1, · · · , n tal que
[
m(E∆ Ii ) < .
i
12 LA CLASE DE LAS FUNCIONES MEDIBLES

El siguiente teorema, debido a Dmitri Egorov (1869-1931) expresa el Tercer

Principio de Littlewood.
Teorema 5.2. (Teorema de Egorov) Sean E un conjunto medible de medida finita
y fn : E → R una sucesión de funciones medibles que converge en c.t.p. a f .
Entonces, para todo  > 0 existe un subconjunto cerrado F ⊂ E con m(E − F ) < 
tal que fn converge uniformemente a f sobre F .
Primero probaremos el siguiente
Lema 5.1. Para todo  > 0 y para todo δ > 0 existe A ⊂ E medible y N > 0 tal
que m(E − A) < δ y
∀x∈A: |fn (x) − f (x)| < , ∀n≥N
Proof. Sea EN = {x ∈ E : |fn (x) − f (x)| < , ∀ n ≥ N }. Entonces EN ⊂ EN +1 y
S c.t.p.
E = N >0 EN pues fn −→ f en E. Luego,
X
µ(E − EN ) ≤ m(En ) → 0+ cuando N → +∞.
n≥N

Sea A = EN el primer N > 0 tal que m(E − EN ) < δ. 

Demostración del teorema de Egorov. Para cada n > 0 sea An ⊂ E y Nn > 0 tales
que
m(E − An ) < /2n+1 , y |fk (x) − f (x)| < 1/n, ∀ k ≥ Nn , ∀ x ∈ An .
Sea A = +∞
T
n=1 An . Entonces,
+∞
!
[
m(E − A) = m E − An
n=1
+∞
X
≤ m(E − An )
n=1
+∞
X
< /2n+1 = /2
n=1
u
y fn |A −→ f |A . En efecto, dado  > 0 sea n > 0 tal que 1/n <  entonces
∀x∈A: |fk (x) − f (x)| < , ∀ k ≥ Nn
pues A ⊂ An .
Sea ahora F ⊂ A cerrado tal que m(A − F ) < /2. Entonces,
m(E − F ) ≤ m(EA ) + m(A − F ) < 
y fn |F converge uniformemente a f |F . 
 LA CLASE DE LAS FUNCIONES MEDIBLES 13

Observación 5.1. Es importante notar que el teorema requiere la finitud de la

medida de E, como muestra el siguiente ejemplo: para todo x ∈ R y para todo
n > 0 sea (
1 n≤x≤n+1
fn (x) =
0 caso contrario
fn es medible y converge puntualmente a cero: para todo x ∈ R existe N > 0 tal
que fn (x) = 0 para todo n ≥ N , pero supx∈R−A fn (x) = 1 para todo subconjunto
A ⊂ R de medida finita.
Ahora vamos a probar el siguiente teorema, debido a Nikolai N. Lusin (1883-
1950), que expresa el Segundo Principio de Littlewood.
Teorema 5.3. (Teorema de Lusin) Sea E un subconjunto medible de medida finita
y f : E → R medible. Entonces, para todo  > 0 existe un subconjunto cerrado
F ⊂ E tal que m(E − F ) <  y f |F es contı́nua.
Por el teorema de aproximación 4.1 existe una suxcesión de funciones simples
que convergen uniformemente a f . Vamos a probar que esas funciones simples son
continuas fuera de un conjunto de medida pequeña. Luego usaremos que el lı́mite
uniforme de funciones contı́nuas es contı́nuo para probar el teorema de Lusin.
Lema 5.2. Sea E un conjunto medible de medida finita y φ : E → R una función
simple. Entonces, para todo  > 0 existe un subconjunto cerrado F ⊂ E con
m(E − F ) <  y una función contı́nua φ̃ : R → R tal que φ̃|F = φ
P S
Proof. Sea φ = i φi · χEi , donde E = i Ei es una partición numerable de E en
subconjuntos medibles disjuntos dos-a-dos. Entonces, para todo i > 0 existe un
subconjunto cerrado Fi ⊂ Ei tal que m(Ei − Fi ) < /2i+1 . Entonces,
[ [ +∞
X
m(E − Fi ) = m( Ei − Fi ) = m(Ei − Fi ) = /2
i i i=1
P Sn
Sea n > 0 tal que i>n m(Ei ) < /2 y F = i=1 Fi . Entonces F es cerrado y
n
X X
m(E − F ) = m(Ei − Fi ) + m(Ei ) < .
i=1 i>n

Observemos que φ|F es contı́nua. En efecto, φ|Fi = φi es contante para todo

i = 1, · · · , n y los conjuntos Fi son cerrados y disjuntos.
Afirmamos S que existe una extensión contı́nua φ̃ : R → R de φ|F . En efecto,
R − F = n (an , bn ) es una unión disjunta de intervalos abiertos. Observemos
que an ∈ F para todo n > 0. En efecto, existen sucesiones xk ∈ F tales que
xk → an cuando k → +∞ y por tanto an ∈ F , porque F es cerrado. Luego, si
−∞ < an < bn < +∞ entonces φ está definida y es contı́nua en an y bn . Ası́
14 LA CLASE DE LAS FUNCIONES MEDIBLES

podemos extender linealmente φ sobre al intervalo [an , bn ]:

φ(bn ) − φ(an )
φ̃(x) = φ(an ) + (x − an ), an ≤ x ≤ bn .
b n − an
Si −∞ < an < bn = +∞ definimos
φ̃(x) = φ(an ), an ≤ x < +∞.
De manera similar, si an = −∞ < bn < +∞, definimos
φ̃(x) = φ(bn ), −∞ ≤ x < bn .
La función φ̃ : R → R está bien definida, es contı́nua y extiende a φ|F . 
Demostración del teorema de Lusin. Por el teorema de aproximación 4.1 existe
una sucesión de funciones simples φn que convergen uniformemente a f . Por
el lema anterior, para cada n > 0 existe un subconjunto cerrado Fn ⊂ E y una
función
T+∞ contı́nua φ̃n : R → R tal que φ̃n |Fn = φn y m(E − Fn ) < /2n . Sea
F = n=1 Fn . Entonces,
+∞
[ +∞
X
m(E − F ) = m( E − Fn ) ≤ m(E − Fn ) = 
n=1 n=1

y φ̃n |F converge uniformemente a f |F , por lo tanto f |F es contı́nua.