FUNCIONES MEDIBLES

1. Preliminares
Toda función f : X → Y induce una función f −1 : P(Y ) → P(X) tal que
f −1 (E) = {x ∈ X : f (x) ∈ E} .
Se puede demostrar que:
• f −1 (Y −1
S) = X ySf −1(∅) = ∅,
−1
• f ( Ei ) = f (Ei ),
i i
• f −1 ( Ei ) = f −1 (Ei ),
T T
i i
• f −1 (E c ) = [f −1 (E)]c ,
• E ⊂ F ⊂ Y ⇒ f −1 (E) ⊂ f −1 (F ).
Tambien sabemos que (ver guı́a de ejercicios) si N es una σ–álgebra sobre Y
entonces {f −1 (E) : E ∈ N)} es una σ–álgebra sobre X.

Definición 1. Si (X, M) e (Y, N) son dos espacios medibles, diremos que una
función f : X → Y es (M, N)—mediblea si para todo E ∈ N se tiene que
f −1 (E) ∈ M.
aSi el contexto es claro (o sea, las σ–álgebras son bien conocidas), se podrá decir que f es
medible

Observación 1. Si utilizamos la notación

f −1 (N) =: f −1 (E) | E ∈ N


tendremos que f es (M, N)–medible si f −1 (N) ⊂ M.

Ejemplo 1. Si (X, M) e (Y, N) son dos espacios medibles, la función constante

f : X → Y definida por f (x) = y0 ∈ Y para todo x ∈ X es (M, N)–medible.
En efecto, dado E ∈ N, tenemos que

 {x ∈ X | f (x) ∈ E} = ∅ si y0 ∈
/E
f −1 (E) =
{x ∈ X | f (x) ∈ E} = X si y0 ∈ E.


Por otro lado, se puede demostrar que si f : X → Y es (M, N)—medible y

g : Y → Z es (N, O)—medible entonces g ◦ f : X → Z es (M, O)—medible.

1
2 INTEGRACIÓN

Proposición 1. Si N es generada por E entonces f : X → Y es (M, N)—medible

si y sólo si f −1 (E) ∈ M para todo E ∈ E.
Demostración. Antes de iniciar la demostración será bueno comentar el resultado:
la definición de función medible dice que para todo E ∈ N entonces se verifica
f −1 (E) ∈ M. Este resultado nos dice que solo basta verificar la propiedad en el
generador E de la σ–álgebra N.
Haremos una demostración diferente a la Folland y nos basaremos en el uso del
Lema fundamental. Antes de comenzar la demostración, el Ejemplo 2 (apunte de
σ–álgebras) nos dice que:
f −1 (N) = f −1 (U ) | U ∈ N .


es una σ–álgebra sobre X.

Como σ(E) = N, el Lema fundamental (ver apunte de σ–álgebras) implica que
f −1 (N) = f −1 (σ(E)) = σ(f −1 (E)).
(⇒ Por hipótesis sabemos que f es (M, N)–medible. Tenemos que demostrar que
f −1 (E) ∈ M para todo E ∈ E
Si f es (M, N)–medible entonces f −1 (N) ⊂ M y por lo tanto
f −1 (N) = f −1 (σ(E)) = σ(f −1 (E)) ⊂ M,
Como E ⊂ σ(E), podemos ver que
f −1 (E) ⊂ f −1 (σ(E)) = σ(f −1 (E)) ⊂ M.
Ahora, como
f −1 (E) =: f −1 (E) | E ∈ E ⊂ M,


esto equivale a decir que f −1 (E) ∈ M para todo E ∈ E.

⇐) Por hipótesis tenemos que f −1 (E) ∈ M para todo E ∈ E, lo cual equivale a
f −1 (E) =: f −1 (E) | E ∈ E ⊂ M


y por lo tanto σ(f −1 (E)) ⊂ M. Recordemos que N = σ(E) y tenemos

f −1 (N) = f −1 (σ(E)) = σ(f −1 (E)) ⊂ M,
por lo tanto, f −1 (N) ⊂ M y eso significa que f es (M, N)–medible.


Corolario 1. Si X e Y son espacios métricos (o topológicos), entonces toda

7 Y es (BX , BY )–medible.
función continua f : X →

Demostración. Si OX y OY denotan respectivamente a las familias de conjuntos

abiertos de X e Y . Se tiene que σ(Ox ) = BX y σ(OY ) = BY , a saber, los borelianos
de X e Y respectivamente.
Para aplicar el Teorema anterior, solo necesitamos verificar que f −1 (E) ∈ Bx
para todo E ∈ OY .
Como f : X → Y es continua sabemos que para todo E ∈ OY se tiene que
f −1 (E) ∈ OX ⊂ σ(OX ) = BX y por lo tanto f es (BX , BY )–medible. 
 INTEGRACIÓN 3

Será útil introducir algunas convenciones en cuanto a notación: Si (X, M) es un

espacio medible y f : X → R (resp. f : X → C), en lugar de decir que f es (M, BR )
o (M, BC ), diremos que f es M–medible o medible.

Definición 2. Sea f : R → C, si
a) f es (L, BC )–medible diremos que f es Medible Lebesgue,
b) f es (BR , BC )–medible diremos que f es Medible Borel,
Adoptaremos la misma convención para las funciones f : R → R.

Proposición 2. Si (X, M) es un espacio medible y f : X → R, las siguientes

afirmaciones son equivalentes:
a) f es (M, BR )–medible,
b) f −1 ((a, +∞)) ∈ M para todo a ∈ R,
c) f −1 ([a, +∞)) ∈ M para todo a ∈ R,
d) f −1 ((−∞, a)) ∈ M para todo a ∈ R,
e) f −1 ((−∞, a]) ∈ M para todo a ∈ R.
Demostración. Por el Teorema 2 (del apunte 1) Sabemos que la tribu boreliana de
R tiene las siguientes caracterizaciones alternativas: La tribu boreliana de R tiene
las siguiente caracterizaciones adicionales:
i) BR = σ({ (−∞, a) : a ∈ R}) = σ(E5 ),
ii) BR = σ({ (−∞, a] : a ∈ R}) = σ(E6 ),
iii) BR = σ({ (a, +∞) : a ∈ R}) = σ(E7 ),
iv) BR = σ({ [a + ∞) : a, ∈ R}) = σ(E8 ).
Ahora como BR = σ(Ei ) (i =, 5, 6, 7, 8) la Proposición 1 afirma que f es (M, BR )–
medible (o M–medible) si y solo si f −1 (E) ∈ M para todo E ∈ Ei , lo cual se verifica
por hipótesis. 

Definición 3. Si (X, M) es un espacio medible, f : X → R y E ∈ M. Diremos

que f es medible sobre E si
f −1 (B) ∩ E ∈ M para todo B ∈ BR .
De manera equivalente, podemos decir que f |E es ME –medible donde
ME = {F ∩ E : F ∈ M}
4 INTEGRACIÓN

Consideremos un conjunto U y una familia de espacios medibles {(Yα , Nα )}α∈A

indexada por A. Dado un α ∈ A fijo, consideremos fα : U → Yα .

¿Como construir una σ–álgebra M sobre U tal que fα sea (M, Nα )–medible?

Notemos que
Dα = fα−1 (Eα ) | Eα ∈ Nα ⊂ U.


y usando la definición de función medible podemos ver que si fα es (M, Nα )–medible,

es necesario que Dα ⊂ M.
Sabemos que
σ(Dα ) = σ fα−1 (Eα ) ∈ U | Eα ∈ Nα ⊂ U.


es la σ–álgebra sobre U más pequeña que contiene a Dα 1.

Podemos ver por construcción que fα es (σ(Dα ), Nα )–medible. En efecto, note-
mos que para todo E ∈ Nα se tiene fα−1 (E) ∈ Dα ⊂ σ(Dα ).
Por otro lado, como σ(Dα ) es la σ–álgebra más pequeña que contiene a Dα
podemos concluir que tambien es la σ–álgebra más pequeña para la cual fα es
medible y la llamaremos la σ–álgebra generada por fα .

El razonamiento anterior se puede generalizar de la siguiente forma: Dados

α1 , α2 ∈ A fijos, consideremos fα1 : U → (Yα1 , Nα1 ) y fα2 : U → (Yα2 , Nα2 ).

¿Como construir una σ–álgebra M sobre U tal que fαi sean (M, Nαi )–medibles?
Procedemos exactamente igual construyendo la familia
Notemos que
Dα = fα−1 (Eα ) | Eα ∈ Nα , α ∈ {α1 , α2 } ⊂ U.


y concluimos que fαi son (σ(Dα ), Nαi )–medibles con la σ–álgebra

σ(Dα ) = σ fα−1 (Eα ) | Eα ∈ Nα , α ∈ {α1 , α2 }


que llamaremos la σ–álgebra generada por {fα1 , fα2 }.

Los comentarios anteriores pueden ser vistos como una preparación a la siguiente
Definición:

Definición 4. Dado un conjunto U , si {(Yα , Nα )}α∈A es una familia de es-

pacios medibles y fα : U → Yα es una función para todo α ∈ A, la σ–álgebra
sobre U generada por
fα (Eα ) ∈ U | Eα ∈ Nα , α ∈ A ,
 −1

se conoce como la σ–álgebra generada por {fα }α y es la σ–álgebra mas pequeña

sobre U con respecto a la cual las funciones fα son medibles.

Un caso particular (pero muy importante) de la Definición anterior viene dado

por:

1En estricto rigor, una lectura cuidadosa del Ejemplo 2 (apunte de σ–álgebras) muestra que
en este caso Dα = σ(Dα ). Sin embargo la generalización de esta idea no permitirá esta igualda
cuando consideremos dos funciones. Agradecimientos a la estudiante que advirtió este importante
detalle
 INTEGRACIÓN 5

Observación 2. En particular si
( )
Y [
U =Y = Yα = g : A → Yα | g(α) ∈ Yα ∀α ∈ A ,
α∈A α∈A
y consideramos las proyecciones πα : Y → Yα para cada α ∈ A definidas por
Y
πα : Y = Yβ → Yα tal que πα (g) = g(α),
β∈A

entonces la σ–álgebra sobre Y generada por

πα (Eα ) ∈ Y | Eα ∈ Nα , α ∈ A ,
 −1

Q la σ–álgebra generada por {πα }α , es la σ–álgebra mas pequeña

se conoce como
sobre Y = Yα con respecto a la cual las proyecciones coordenadas πα son
α∈A
medibles. Sin embargo, tambien sabemos que es la σ–álgebra producto sobre Y
y se denota por ⊗ Nα .
α∈A
Es decir, para todo α ∈ A se tiene que
!  
Y
πα : Yα , ⊗ Nβ → (Yα , Nα ) es ⊗ Nβ , Nα –medible.
β∈A β∈A
α∈A

Proposición 3. Sean (X, M) y {(Yα , Nα )}α∈A espacios medibles, sean

Y
Yα , N = ⊗ Nα = σ( πα−1 (Eα ) ∈ Y | Eα ∈ Nα , α ∈ A ) y πα : Y → Yα .

Y =
α∈A
α∈A

Entonces f : X → Y es (M, N)–medible si y sólo si fα = πα ◦ f : X → Yα es

(M, Nα )–medible para todo α ∈ A.

Demostración. (⇒ Hipótesis: f : X → Y es (M, N)–medible.

Por demostrar: fα = πα ◦ f : X → Yα es (M, Nα )–medible para todo α ∈ A.
Recordemos que si Nα es una σ–álgebra sobre Yα . La σ–álgebra generada por
πα (Eα ) | Eα ∈ Nα , α ∈ A
 −1

se conoce como σ–álgebra producto sobre Y y se denota por N = ⊗ Nα . Por la

α∈A
observación 2 sabemos que πα : Y → Yα es (N, Nα )–medible.
Por hipotesis asumimos que f : X → Y es (M, N)–medible. Como πα : Y → Yα
es (N, Nα )–medible y la composición de funciones medibles es medible concluı́mos
que fα = πα ◦ f : X → Yα es (M, Nα )–medible para todo α.
⇐) Hipótesis: fα = πα ◦ f : X → Yα es (M, Nα )–medible para todo α ∈ A.
Por demostrar:f : X → Y es (M, N)–medible. La idea de la demostración será
aprovechar que N = σ(E). Por lo tanto, bastará demostrar que f −1 (E) ∈ M para
todo E ∈ E.
Si fα = πα ◦ f es (M, Nα )–medible para todo α, esto significa que
fα−1 (Eα ) = f −1 (πα−1 (Eα )) ∈ M ∀Eα ∈ Nα .
Notemos que
f −1 (πα−1 (Eα )) ∈ M ⇐⇒ f −1 (E) ∈ M ∀ E ∈ πα−1 (Eα ) | Eα ∈ Nα , α ∈ A

6 INTEGRACIÓN

Recordemos que
πα−1 (Eα ) | Eα ∈ Nα , α ∈ A = ⊗ Nα = N


σ
α∈A

y usando la Proposición 1 se tiene que f es (M, N)–medible. 

Corolario 2. Sean (X, M) y {(Yi , Ni )}ni=1 espacios medibles, sean

Y = Y1 × · · · Yn , N = ⊗ Ni = σ( πi−1 (Ei ) ∈ Y | Ei ∈ Ni , i = 1, . . . , n}).

α∈A
y las proyecciones
πi : Y → Yi
y = (y1 , . . . , yn ) 7→ πi (y) = yi .
Entonces f : X → Y es (M, N)–medible si y sólo si fi = πi ◦ f : X → Yi es
(M, Nα )–medible para todo i = 1, . . . , n.

Corolario 3. Una función f : X → C es M–medible si y sólo si Ref e Imf

son M–medibles
Demostración. Por la Proposición 1.5 (Folland) sabemos que BR2 = BR ⊗ BR .
Es preciso enfatizar que R × R y C son conjuntos muy diferentes pero tienen
algunas similitudes: en particular son espacios métricos y existe una biyección
φ : R × R → C que es una isometrı́a considerando la distancia euclideana. Por
lo tanto tienen los mismos conjuntos abiertos y podemos decir que
BR2 = BR ⊗ BR = BC .
Aplicaremos la Proposición precedente conservando espacio de medida (X, M) y
la familia {(Yi , Ni∈A )} con A = {1, 2}, Y1 = R, Y2 = R y N1 = N2 = B R .
Por otro lado f (x) = Ref (x)+i Imf (x) para todo x ∈ X. Diremos que f1 = Re f
y f2 = Im f .
Veamos que
f : X → Y1 × Y2
: x 7→ (Re f (x), Im f (x))
π1 :Y1 × Y2 → Y1 π2 : Y1 × Y2 → Y2
y
(y1 , y2 ) 7→ π1 ((y1 , y2 )) = y1 , (y1 , y2 ) 7→ π2 ((y1 , y2 )) = y2 ,
La Proposición anterior se reescribe como sigue:
La función f : X → Y1 × Y2 es (M, N) = (M, BR ⊗ BR )–medible si y sólo si
fi = πi ◦ f : X → Yi es (M, BR )–medible para todo i = 1, 2.
Es resultado sigue al notar que
f1 (x) = π1 (Re f (x), Im f (x)) = Re f (x) y f2 (x) = π2 (Re f (x), Im f (x)) = Im f (x)

 INTEGRACIÓN 7

Proposición 4. Si f, g : X → C son M–medibles entonces f + g y f g son M–

medibles.
Demostración. Definamos las siguientes funciones
F : X →C×C φ : C×C→C ψ : C×C→C
x 7→ (f (x), g(x)), (z, w) 7→ φ(z, w) = z + w, (z, w) 7→ ψ(z, w) = zw.
Por hipótesis sabemos que f y g son (M, BC )–medibles. Usando la Proposición
3 podemos concluir que F es (M, BC ⊗ BC )–medible o (M, BC×C )–medible.
Por otro lado sabemos que las funciones φ y ψ son continuas y que sus dominios
y codominios son espacios métricos por lo tanto φ y ψ son (BC×C , BC )–medibles.
Notemos que
(φ ◦ F )(x) = φ (f (x), g(x)) = f (x) + g(x),
Como F : X → C×C es (M, BC×C )–medible y φ : C×C → C es (BC×C , BC )–medible
se tiene que φ ◦ F : X → C es (M, BC )–medible.
Asimismo, notemos que
(ψ ◦ F )(x) = ψ (f (x), g(x)) = f (x)g(x),
y como F : X → C × C es (M, BC×C )–medible y ψ : C × C → C es (BC×C , BC )–
medible se tiene que ψ ◦ F : X → C es (M, BC )–medible y
(ψ ◦ F )(x) = ψ(f (x), g(x)) = f (x)g(x).


Será muy útil e importante trabajar con funciones f : X → R = [−∞, ∞]. El

libro de Folland define formalmente a los Borelianos de R como:
BR = E ⊂ R : E ∩ R ∈ BR .


y recomendamos la relectura del apunte de σ–álgebras para más detalles.

Proposición 5. Si fj : X → R es una sucesión de funciones (M, BR ) medibles,
entonces
g1 (x) = sup fj (x), g3 (x) = lı́m sup fj (x),
j∈N j→∞

g2 (x) = ı́nf fj (x), g4 (x) = lı́m inf fj (x)

j∈N j→∞
son también (M, BR ) medibles.
Demostración. En primer lugar utilizaremos las siguientes identidades
∞
[ [∞
g1−1 ((a, ∞]) = fj−1 ((a, ∞]) y g2−1 ([−∞, a)) = fj−1 ([−∞, a)),
j=1 j=1

las cuales demostraremos al final.

Como fj es (M, BR )–medible para todo j, se tiene por la Proposición 2 que
fj−1 ((a, ∞]) ∈ M y como M es una σ–álgebra se tiene que
∞
[
g1−1 ((a, ∞]) = fj−1 ((a, ∞]) ∈ M,
j=1

lo cual implica que g1−1 ((a, ∞]) ∈ M y usando nuevamente la Proposición 2 vemos
que g1 es (M, BR )–medible.
8 INTEGRACIÓN

La demostración para g2 sigue ideas totalmente análogas.

Recordemos que
g3 (x) = lı́m sup fj (x) = ı́nf sup {fk (x) : k ≥ j + 1} .
j→∞ j∈N

Entonces, definamos
hj (x) = sup {fk (x) : k ≥ j + 1} ,
la cual es (M, BR )–medible para todo j (se demuestra igual que g1 ).
Entonces tenemos que
g3 (x) = ı́nf hj (x),
j∈N
pero como hj (x) es medible, se procede como en g2 para demostrar que g3 es
medible,

Recordemos que
g4 (x) = lı́m inf fj (x) = sup ı́nf {fk (x) : k ≥ j + 1} .
j→∞ j∈N

Entonces, definamos
mj (x) = ı́nf {fk (x) : k ≥ j + 1} ,
la cual es (M, BR )–medible para todo j (se demuestra igual que g2 ).
Entonces tenemos que
g4 (x) = sup mj (x),
j∈N
pero como hj (x) es medible, se procede como en g1 para demostrar que g4 es
medible,

Ahora consideremos
g3 (x) = ı́nf hj (x),
j∈N
la cual tambien es (M, BR )–medible para todo j (se demuestra igual que g2 ).
Finalmente, demostraremos la primera de las identidades
∞
[ ∞
[
g1−1 ((a, ∞]) = fj−1 ((a, ∞]) y g2−1 ([−∞, a)) = fj−1 ([−∞, a)).
j=1 j=1

En primer lugar notemos que d

fj (x) ≤ sup fj (x) = g1 (x) ∀ j ∈ N
j∈N

y por lo tanto
x ∈ fj−1 ((a, ∞]) ⇒ fj (x) ∈ (a, ∞]

⇒ a < fj (x) ≤ ∞

⇒ a < fj (x) ≤ g1 (x) ≤ ∞

⇒ a < g1 (x) ≤ ∞

⇒ g1 (x) ∈ (a, ∞]
 INTEGRACIÓN 9

lo que es equivalente a
fj−1 ((a, ∞]) ⊂ g1−1 ((a, ∞]) para todo j ∈ N
y por lo tanto
[
fj−1 ((a, ∞]) ⊂ g1−1 (x)((a, ∞])
j∈N

Como g1 (x) = sup fj (x), usando la definición de supremo sabemos que

j∈N

∀ ε > 0 ∃J ∈ N tal que g1 (x) − ε < fJ (x).

1
Elijamos ε = n > 0 tal que
1 1
∃jn ∈ N tal que g1 (x) − < fjn (x) o bien ∃jn ∈ N tal que g1 (x) < fjn (x) + .
n n
Notemos que
x ∈ g1−1 ((a, ∞]) ⇐⇒ g1 (x) ∈ (a, ∞]

⇐⇒ a < g1 (x) ≤ ∞

1
⇐⇒ a < g1 (x) < fjn (x) + n ≤∞

1
⇐⇒ a− n < fjn (x) ≤ ∞

Entonces
1
g1 (x) ∈ (a, ∞] ⇐⇒ fjn (x) ∈ (a − , ∞]
n
y por lo tanto
x ∈ X | fjn (x) ∈ (a − n1 , ∞]

{x ∈ X | g1 (x) ∈ (a, ∞]} =

x ∈ X | fjn (x) ∈ (a − n1 , a] ∪ {x ∈ X | fjn (x) ∈ (a, ∞]} ,


=
lo que puede reescribirse como
g1−1 ((a, ∞]) ⊂ fj−1 (a, a + n1 ] ∪ fj−1


n n
((a, ∞])

fj−1
S −1
(a, a + n1 ] ∪


⊂ n
fj ((a, ∞]).
j∈N

Si n → inf ty entones fn−1

j
((a, a + 1
n ]) → ∅ y por fin se verifica.
∞
[
g1−1 ((a, ∞]) ⊂ fj−1 ((a, ∞]),
j=1

Corolario 4. Si fj : X → R es una sucesión de funciones (M, BR ) medibles

tal que
lı́m fj (x) = f (x), para todo x ∈ X,
j→∞
entonces f también es (M, BR ) medible.
10 INTEGRACIÓN

Demostración. Sabemos que

lı́m fj (x) = lı́m sup fj (x) = lı́m inf fj (x) = f (x) = f (x) = f (x)
j→∞ j→∞ j→∞

y el resultado es una consecuencia del anterior. 

Corolario 5. Si f, g : X → R son (M, BR )–medibles entonces máx{f (x), g(x)}

y mı́n{f (x), g(x)} son (M, BR )–medibles.

Demostración. Aplicamos la Proposición 4 y vemos que

g1 (x) = sup{f (x), g(x)} = máx{f (x), g(x)}
es (M, BR )–medible.
La demostración es parecida para mı́n{f (x), g(x)}. 

Corolario 6. Si fj : X → C es una sucesión funciones (M, BC )–medibles y

lı́m fj (x) = f (x), entonces f es (M, BC )–medible
j→∞

Demostración. Sabemos que

fj (x) = Refj (x) + iImfj (x)
Por el Corolario 3 sabemos que fj es (M, BC )–medible si y sólo si Refj e Imfj
son (M, BR )–medibles.
Ahora usamos la hipótesis
lı́m fj (x) = f (x) ⇐⇒ lı́m (Refj (x), Imfj (x)) = (Ref (x), Imf (x))
j→∞ j→∞
y tenemos que
lı́m Refj (x) = Ref (x) y lı́m Imfj (x) = Imf (x),
j→∞ j→∞

si el lı́mite existe, entonces coincide con los lı́mites superior e inferior y usamos la
Proposición 4 para concluir que Ref e Imf son (M, BR )–medibles.
Finalmente, el Corolario 3 implica que f es (M, BC )–medible. 

Definición 5. Sea f : X → R. Definiremos la parte positiva y la parte

negativa como
f (x) + |f (x)|
f + (x) = máx{f (x), 0} =
2
|f (x)| − f (x)
f − (x) = máx{−f (x), 0} = .
2
Notemos que f (x) = f + (x) − f − (x).

• Notemos que si f es (M, BR )–medible, entonces f + y f − son (M, BR )–medibles.

En efecto, como la función constante igual a cero es (M, BR )–medible, el Corolario
5 implica que f + y f − son (M, BR )–medibles.
• Otra propiedad interesante es que f + (x)f − (x) = 0. En efecto,
|f (x)|2 − f 2 (x)
  
+ − |f (x)| + f (x) |f (x)| − f (x)
f (x)f (x) = = = 0.
2 2 4
 INTEGRACIÓN 11

Definición 6. Sea f : X → C y notemos que

f (x)
f (x) = |f (x)|.
|f (x)|
Definiremos la descomposición polar de f como:
 z
|z| si z=6 0,
f (x) = Sgnf (x)|f (x)| donde Sgn(z) =
0 si z = 0.

• Notemos que si f es (M, BC )–medible, entonces |f | es (M, BR ) medible y Sgn(f (x))

es (M, BC )–medible.
En efecto | · | : C → R es continua y por lo tanto es (BC , BR )–medible.
Por otro lado, veremos que Sgn : C → C es (BC , BC )–medible: Sea U un abierto
/ U se tiene que Sgn−1 (U ) = V es abierto en C pues Sgn es continua en
de C. Si 0 ∈
C \ {0} y Sgn(z) = 0 si y solo si z = 0.
Si 0 ∈ U se tiene que
Sgn−1 (U ) = Sgn−1 (U \ {0}) ∪ Sgn−1 ({0}) = V ∪ {0},
donde V es un boreliano de C.

Definición 7. Sea (X, M) un espacio medible y E ⊂ X. La función carac-

terı́stica asociada a E χE : X 7→ R es

1 si x ∈ E.
χE (x) =
0 si x ∈
/ E.
12 INTEGRACIÓN

Lema 1. La función χE : X 7→ R es (M, BR )–medible si y sólo si E ∈ M.

Demostración. Usando la Proposición 1 y el hecho de que BR = σ(OR ) donde OR
son los conjuntos abiertos de R se tiene que χE es (M, BR )–medible si y sólo si
χ−1 (O) ∈ M para todo O abierto en R.
Demostraremos que
χ−1
E (O) = {x ∈ X | χE (x) ∈ O} ∈ M ⇐⇒ E ∈ M.
/ O entonces χ−1
Paso 1: Si 1 ∈ c
E (O) ⊂ E .
En efecto:
x ∈ χ−1
E (O) = {x ∈ X | χE (x) ∈ O} ⇒ χE (x) 6= 1
⇒ x∈/E
⇒ x ∈ Ec
/ O entonces χ−1
Paso 2: Si 0 ∈ E (O) ⊂ E.
En efecto:
x ∈ χ−1
E (O) = {x ∈ X | χE (x) ∈ O} ⇒ χE (x) 6= 0
⇒ x∈E
Paso 3: Ahora, dado O abierto en R tendremos cuatro posibilidades:

• Caso 1) 0 ∈ / O, en este caso χ−1

/Oy1∈ E (O) = ∅:
χ−1 −1 c −1 c −1
E (O) ⊂ E y χE (O) ⊂ E ⇒ χE (O) ⊂ E ∩ E = ∅ ⇒ χE (O) = ∅.
/ O y 1 ∈ O, en este caso χ−1
• Caso 2) 0 ∈ E (O) = E:
x ∈ E ⇒ χE (x) = 1 ∈ O ⇒ x ∈ χ−1
E (O)
y por lo tanto E ⊂ χ−1
E (O) ⊂ E.
/ O, en este caso χ−1
• Caso 3) 0 ∈ O y 1 ∈ c
E (O) = E :
x ∈ E c ⇒ χE (x) = 0 ⇒ x ∈ χ−1
E (O)
y por lo tanto E c ⊂ χ−1 c
E (O) ⊂ E .
• Caso 4) 0 ∈ O y 1 ∈ O, en este caso
χ−1
E (O) = {x ∈ X | χE (x) ∈ O} = X ∈ M.
Por lo tanto χ−1
E (O) ∈ M para todo O abierto en R si y solo si E, E ∈ M.
c

Paso 4: Si E ∈ M entonces χE es (M, BR )–medible

Si E ∈ M entonces E c ∈ M porque M es una σ–álgebra sobre X y se tiene que
−1
χE (O) ∈ M.

Paso 5: Si E ∈ / M entonces χE no es (M, BR )–medible

Si E ∈ / M existe un abierto O tal que χ−1 / M y no se verifica la
E (O) = E ∈
definición de medibilidad. 
 INTEGRACIÓN 13

Definición 8. Una función simple sobre X es una función f : X → C que

se representa como una combinación lineal finita (con coeficientes complejos)
de funciones caracteristicas asociadas a conjuntos medibles de X. De manera
equivalente f : X → C es simple si es medible y tiene un rango finito de valores
de C. La representación estandar de f es de la forma
Xn
f (x) = zj χEj (x) con zj ∈ C y Ej ∈ M,
j=1
n
S
donde Ei ∩ Ej = ∅ si i 6= j y Ei = X.
j=1

• Como Ei ∩ Ej = ∅ cuando i 6= j podemos ver que el rango de f (x) toma un

numero finito de valores {z1 , . . . , zn }.
• Como χEi es (M, BR )–medible si y sólo si Ei ∈ M, usando las propiedades de las
funciones medibles podemos concluir que si Ei ∈ M para todo i = 1, . . . , n se tiene
que las funciones simples son medibles.
• Si f y g son funciones simples entonces f + g y f g son funciones simples.
Folland enfatiza en la trivialidad de este resultado pero nos parece útil dar una
demostración. En efecto supongamos que
X n m
X
φ= a j χ Ej y ψ = bk χFk .
j=1 k=1

Como X es unión disjunta de {Ej }nj=1 y {Fk }m

k=1 se tiene que Ej y Fk se pueden
escribir como union disjunta
n
[ m
[
Ej = {Ej ∩ Fk } y Fk = {Ej ∩ Fk }.
k=1 k=1
Como las uniones son disjuntas, se tiene que
X m
χ Ei = χ S
n = χEj ∩Fk
{Ej ∩Fk }
k=1 k=1

y de igual forma
n
X
χFk = χ S
n = χEj ∩Fk .
{Ej ∩Fk }
j=1 j=1
Ahora vemos que
n
P n
P
φ+ψ = aj χEj + bk χFk
j=1 k=1

  !
n
P m
P m
P n
P
= aj χEj ∩Fk + bk χEj ∩Fk
j=1 k=1 k=1 j=1

n P
P m m P
P n
= aj χEj ∩Fk + bk χEj ∩Fk .
j=1 k=1 k=1 j=1

El siguiente resultado indica que toda funcion (M, BR )–medible y (M, BC )–

medible puede ser aproximada por funciones simples.
14 INTEGRACIÓN

Teorema 1. Sea (X, M) un espacio de medida.

a) Si f : X → [0, +∞] es (M, BR )–medible, existe una sucesión {φn }n de fun-
ciones simples tales que φ0 ≤ φ1 ≤ · · · ≤ f y φn converge puntualmente a
f cuando n → +∞. Además, la convergencia es uniforme en todo intervalo
donde f sea acotada.
b) Si f : X → C es (M, BC )–medible, existe una sucesión {φn }n de funciones
simples tales que |φ0 | ≤ |φ1 | ≤ · · · ≤ |f | y φn converge puntualmente a f
cuando n → +∞. Además, la convergencia es uniforme en todo intervalo
donde f sea acotada.
Demostración. Primero demostraremos la propiedad a):
Consideremos n = 0, 1, 2, . . . y 0 ≤ k ≤ 22n − 1 y definamos los conjuntos
Enk = f −1 ((k2−n , (k + 1)2−n ]) y Fn = f −1 ((2n , ∞])
y definamos la sucesion de funciones simples
22n
X −1
φn = k2−n χEnk + 2n χFn
k=0
Será util familiarizarnos con los primeros términos:
φ0 = 0 · 1χE00 + χF0 donde E00 = f −1 ([0, 1)) y F0 = f −1 ((1, ∞)
y se tiene que 
0 si 0 < f (x) ≤ 1,
φ0 (x) =
1 si f (x) > 1.
Ahora veamos que
φ1 (x) = 0 · 2−1 χE10 + 1 · 2−1 χE11 + 2 · 2−1 χE12 + 3 · 2−1 χE13 + 2χF1
donde
     
−1 1 −1 1 −1 3
E10 =f (0, ] , E11 =f ( , 1] , E12 =f (1, ] ,
2 2 2
 
3
E13 = f −1 ( , 2] , y F1 = f −1 ((2, ∞)) ,
2
y por lo tanto
0 si 0 ≤ f (x) ≤ 12 ,






 1
si 21 < f (x) ≤ 1,




 2


φ1 (x) = 1 si 1 < f (x) ≤ 23 ,



 3
si 23 < f (x) ≤ 2,




 2



2 si 2 < f (x) < ∞

Una familiarización con este proceso mostrará que φ0 ≤ φ1 ≤ · · · ≤ f . El texto
de Folland enfatiza en la facilidad de esa demostración (pero el autor de este apunte
no comparte esa opinión).
Tras una cuidadosa verificacion de los primeros casos podemos ver que
2k+1 k 2k (2k + 1)
Enk = En+1
2k
∪ En+1 ⇒ χ k ≤ n+1 χEn+1
2k + χE 2k+1 .
2n En 2 2n+1 n+1
 INTEGRACIÓN 15

Ahora demostraremos que φn converge puntualmente a f . En efecto, sea x ∈

[0, ∞) fijo, sin pérdida de generalidad podemos elegir n lo suficientemente grande
para que x ∈ Enk es decir
x ∈ Enk ⇐⇒ x ∈ f −1 ((k2−n , (k + 1)2−n ])

⇐⇒ k2−n < f (x) ≤ (k + 1)2−n

⇐⇒ k2−n − φn (x) ≤ f (x) − φn (x) < (k + 1)2−n − φn (x).

Si recordamos que
22n
X −1
φn = k2−n χEnk + 2n χFn
k=0
y que x ∈ Enk , se tiene que
φn (x) = k2−n

Por lo tanto
k2−n − φn (x) ≤ f (x) − φn (x) < (k + 1)2−n − φn (x),
lo que es equivalente a
0 ≤ f (x) − φn (x) < (k + 1)2−n − k2−n = 2−n ,
de lo cual se deduce la convergencia puntual pues |f (x) − φn (x)| < 2−n .

A continuación, demostraremos la propiedad b): Dada una función M–medible

f : X → C tal que f = g + i h.
Consideremos las descomposiciones de g y h en sus partes positivas y negativas
g = g+ − g− y h = h+ − h− .
Como g + , g − , h+ , h− : X → [0, ∞] podemos aplicar la parte a) y verificar la
existencia de funciones simples y crecientes ψn+ ,ψn− ,ζn+ y ζn− las cuales convergen
puntualmente a g + ,g − ,h+ y h− respectivamente.
Por lo tanto definimos la sucesión:
φn = ψn+ − ψn− + i(ζn+ − ζn− )
y verificamos que
φn = ψn+ − ψn− + i(ζn+ − ζn− ) → g + − g − + i(h+ − h− ) = g + i h = f.
Usando el hecho de que ψn+ ψn− = 0 y ζn+ ζn− = 0 se tiene que:
(ψn+ − ψn− )2 = (ψn+ )2 − 2ψn+ ψn− + (ψn− )2 = (ψn+ )2 + (ψn− )2
y
(ζn+ − ζn− )2 = (ζn+ )2 − 2ζn+ ζn− + (ζn− )2 = (ζn+ )2 + (ζn− )2 .
Como las sucesiones son crecientes y verifican
−
+
0 ≤ ψn+ ≤ ψn+1 y 0 ≤ ψn− ≤ ψn+1
y
−
+
0 ≤ ζn+ ≤ ζn+1 y 0 ≤ ζn− ≤ ζn+1
podemos concluir que
− −
|φn |2 = (ψn+ )2 +(ψn− )2 +(ζn+ )2 +(ζn− )2 ≤ (ψn+1
+
)2 +(ψn+1 +
)2 +(ζn+1 )2 +(ζn+1 )2 = |φn+1 |2
16 INTEGRACIÓN

y por lo tanto verificamos que |φn | ≤ |φn+1 |. 

Proposición 6. Las siguientes afirmaciones son válidas si y solo si µ es una medida
completa:
a) Si f es (M, BR )–medible y f = g µ–c.t.p. entonces g es (M, BR )–medible.
b) Si fn es (M, BR )–medible para todo n ∈ N y fn → f µ–c.t.p., entonces f es
(M, BR )–medible.
Demostración. Es un ejercicio 
 INTEGRACIÓN 17

Teorema 2. Sea (X, M, µ) un espacio de medida y (X, M, µ) su completación. Si

f es M–medible, existe una función M–medible g tal que f = g µ–c.t.p.
Demostración. Antes de iniciar la demostración, recordemos el Teorema 1.9 (Fo-
lland) señala que si (X, M, µ) un espacio de medida y consideremos los conjuntos
N = {N ∈ M : µ(N ) = 0} y M = {E0 ∪ F | E0 ∈ M y F ⊂ N para algun N ∈ N} .
Entonces M es una σ–álgebra sobre X y existe una única medida completa µ sobre
(X, M) tal que µ(E) = µ(E0 ) para todo E0 ∈ M.

Paso 1: En primer lugar, consideraremos la función f = χE con E ∈ M, la cual

es M–medible. Sabemos que E = E0 ∪ F con E0 ∈ M y F ⊂ N ∈ N. Supondremos
además que E0 ∩ F = ∅.
Podemos ver que g = χE0 es M–medible porque E0 ∈ M y además notemos que
f (x) 6= g(x) si y solo si x ∈ F . Como F ⊂ N ∈ N sabemos que
0 ≤ µ(F ) ≤ µ(N ) = µ(N ) = 0
y por lo tanto µ(F ) = 0.

Paso 2: En segundo lugar, consideraremos f una función simple M–medible y

podemos replicar el resultado precedente. Es decir consideramos
Xn
f (x) = zj χEj (x) con zj ∈ C y Ej ∈ M,
j=1

donde Ej = ∪ Fj con Ej0 ∈ M y Fj ⊂ Nj ∈ N tal que µ(Fj ) = 0.

Ej0
Dada la función
n
X
g(x) = zj χEj0 (x) con zj ∈ C y Ej0 ∈ M,
j=1
Sn
se puede verificar que f (x) 6= g(x) si y solo si x ∈ F = j=1 Fj y además por
aditividad finita µ(F ) = µ(Fi ) = 0 para todo i = 1, . . . , n.

Paso 3: Dada una función f M–medible, el Teorema 1 asegura la existencia de

una sucesión φn de funciones M–medibles tal que φn → f puntualmente.
El paso 2 asegura la existencia de funciones ψn M–medibles tales que φn = ψn
con la excepción de un conjunto En ⊂ Nn ∈ N tal que µ(En ) = 0.
Notemos que
∞ ∞
!
[ X
µ En ≤ µ(En ) = 0.
n=1 n=1
∞
Elijamos un conjunto N ∈ M tal que µ(N ) = 0 y
S
En ⊂ N y definamos la
n=1
sucesión gn (x) = χX\N (x)ψn (x) y g = lı́m gn (x).
n→∞
Notemos que como N C ∈ M entonces X \ N es M–medible y por lo tanto χX\N
es M–medible. Como ψn tambien es M–medible se tiene que gn es M–medible.
Ademas, sabemos que gn → g la cual es M–medible por la Proposición 4 y vemos
que f = g con la excepcion del conjunto N el cual verifica µ(N ) = µ(N ) = 0.