1.

Funciones Medibles
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

Hasta ahora hemos estudiado la medida de Lebesgue definida sobre los conjuntos de Rn y sus
propiedades. Vamos a aplicar ahora esta teora al estudio de las funciones escalares de varias
variables .
Definici
on (Funciones medibles Lebesgue). Sea E Rn E M, y f : E R. Se dice que
f es medible Lebesgue si para todo abierto G en R, la imagen inversa
f 1 (G) = {x E, f (x) G}
es un conjunto medible de Rn

Funciones Medibles
Funciones simples

Observaciones:

Integraci
on de . . .
Integral de . . .

1. En primer lugar, E = f 1 (R) debe ser medible. Solo tiene sentido hablar de funciones
medibles si estan definidas en conjuntos medibles.

Funciones . . .

JJ

II

2. Son equivalentes:
(a) f medible Lebesgue
(b) Para todo conjunto C R cerrado, f 1 (C) M

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

En efecto, si f es medible y C es cerrado, el complementario R \ C es abierto, luego

f 1 (R \ C), es medible, y por tanto

Funciones Medibles

Que (2) implica (3) es trivial, porque los rectangulos son cerrados.

Funciones simples

(c) Para todo rectangulo R R, f 1 (R) M

f 1 (C) = E \ f 1 (R \ C)
tambien es medible. As (1) implica (2)

Integral de . . .

Por ultimo, supongamos que se verifica la hipotesis (3). Si G es un abierto, se puede poner

[
como union numerable de rectangulos G =
Rn , de modo que

Funciones . . .

n=1

Integraci
on de . . .

JJ

II

(G) = f

n=1

Rn ) =

f 1 (Rn )

n=1

sera medible. Por tanto f es medible.

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .

3. Un conjunto A Rn es medible si y solo si su funcion caracterstica


0
si x
/A
n
A : R R, A (x) =
1
si x A
es medible.
En efecto, supongamos que A es medible, y sea G un abierto cualquiera en R. Si estudiamos
como es 1
A (G), tenemos

si 0 6 G, 1 6 G

R
\
A
si 0 G, 1 6 G
1
A (G) =
A
si 0 6 G, 1 G

R
si 0 G, 1 G
y en cualquier caso es medible.
Recprocamente, si A es medible, tomando como G un abierto que contenga al 1 y no al
0, como G = (1/2, 3/2), se tiene A = 1
A (G), y por tanto A es medible.

Integral de . . .
Funciones . . .

JJ

II

La familia de las funciones medibles son la base sobre la que construir la integral, como las
funciones continuas lo eran para la construccion de la integral de Cauchy. De hecho, lo primero
que vamos a ver es que toda funcion continua es medible:
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Teorema.
Toda funcion continua definida en un conjunto medible es medible.
Demostracion:
Sea E un conjunto medible en Rn , y f : E R una funcion continua. Si G es un conjunto
abierto en R, sabemos que por las propiedades de las funciones continuas f 1 (G) es abierto en
E, es decir, existe un conjunto abierto U Rn tal que f 1 (G) = E U . As E es medible por
definicion de funcion medible, y U es medible por ser abierto, luego f 1 (G) es medible.
Por tanto f es medible.

Ademas la composicion de una funcion medible con una funcion continua tambien es medible
(ojo, no la composicion de dos funciones medibles); as por ejemplo si f (x) es medible, entonces
g(x) = sen(f (x)) tambien es medible :
Teorema.
Sea E Rn , E M, f : E R una funcion medible, y g : f (E) R continua en f (E).
Entonces g f es medible.

Demostracion:
Sea G un abierto cualquiera en R. Como g : f (E) R es continua, g 1 (G) es abierto de
f (E), es decir, existe una abierto U de R tal que g 1 (G) = U f (E). Y entonces
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

(g f )1 (G) = f 1 (g 1 (G)) = f 1 (U f (E)) = f 1 (U )

es medible. As pues g f es medible.

Vamos a ver tambien que el lmite de una sucesion de funciones medibles es medible, y algunos
otros resultados parecidos. Para ello es util la siguiente caracterizacion de las funciones medibles:
Teorema.
Sea E Rn , E M, y f : E R. Son equivalentes:
1. f es medible
2. Para todo a R, {x E : f (x) < a} M
3. Para todo a R, {x E : f (x) a} M

JJ

II

4. Para todo a R, {x E : f (x) > a} M

5. Para todo a R, {x E : f (x) a} M

Demostracion:
Es claro que (1) implica las propiedades (2), (3), (4) y (5) ya que
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .

{x E : f (x) < a} = f 1 (, a)
{x E : f (x) a} = f 1 (, a]
{x E : f (x) > a} = f 1 (a, )
y
{x E : f (x) a} = f 1 [a, )
son imagenes inversas por f de conjuntos abiertos o cerrados segun el caso.
Vamos a ver ahora que las propiedades (2) a (5) son equivalentes entre si.
En primer lugar, si suponemos que se verifica (2), es decir que los conjuntos del tipo {x
E : f (x) < a} son medibles para todo a R, poniendo

Integral de . . .
Funciones . . .

{x E : f (x) a} =

JJ

II

\
n=1

{x E : f (x) < a +

1
}
n

se tiene que los conjuntos del tipo {x E : f (x) a} son interseccion numerable de conjuntos
medibles, y por tanto son medibles, lo que prueba la propiedad (3).

En segundo lugar,
{x E : f (x) > a} = E \ {x E : f (x) a}
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

luego (3) implica (4).

En tercer lugar, si se verifica (4), razonando como antes y poniendo
{x E : f (x) a} =

{x E : f (x) > a

n=1

1
}
n

se tiene (5).
Y en cuarto lugar, si se verifica (5), como
{x E : f (x) < a} = E \ {x E : f (x) a}
se tiene tambien (1).
Para terminar la demostracion, una vez visto que las ultimas cuatro propiedades son equivalentes entre si, utilizando las propiedades (3) y (5) se tiene que para todo rectangulo R = [a, b]
en R,
f 1 [a, b] = {x E : a f (x) b} = {x E : f (x) < b} {x E : f (x) a}
sera medible, y por tanto f es medible, y se tiene (1).

Corolario 1.
Sea E Rn , E M, y sean fn : E R funciones medibles. Entonces, si existen, las
funciones
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .

g(x) = sup fn (x)

n

h(x) = inf fn (x)

n

j(x) = lim inf fn (x)

n

k(x) = lim sup fn (x)

n

l(x) = lim fn (x)

n

son medibles.
Y tambien el producto de un numero por una funcion medible es una funcion medible.
Corolario 2.
Sea E Rn , E M, y sea f : E R medible. Para todo R se tiene f es medible.

Funciones . . .

JJ

II

Observaciones:

1. El primer corolario se aplica por supuesto tambien a familias finitas de funciones: si

f1 , . . . , fk son funciones medibles en un conjunto E, las funciones f (x) = max{fi (x), 1
i k} y g(x) = min{fi (x), 1 i k} son medibles.
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

2. Como consecuencia, las funciones f + (x) = max{f (x), 0} y f (x) = min{f (x), 0} =
max{f (x), 0} son medibles.
f

f+

Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

2. Funciones simples
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples

El siguiente objetivo es demostrar que la suma de funciones medibles es medible, pero esto es
bastante mas difcil. Para llegar a este resultado, vamos a introducir un tipo especial de funciones,
que vamos a utilizar tambien como base para la construccion de la integral de estas funciones
medibles: las funciones simples.
Definici
on (Funciones Simples). Sea E Rn , E M; se llama funcion simple en E a una
funcion medible s : E R que solo toma un numero finito de valores, es decir, tal que
s(E) = {a0 , a1 , . . . , ak } es finito.
Llamando Ai = s1 ({ai }) = {x E : s(x) = ai }, estos conjuntos son medibles (por ser
imagenes inversas de cerrados), y verifican
Ai Aj = si i 6= j

Integraci
on de . . .
Integral de . . .

E=

Funciones . . .

k
[

Ai

i=0

JJ

II

y se puede escribir s(x) de la forma s(x) =

k
X
i=1

caractersticas de conjuntos Ai ,

ai Ai (x) combinacion lineal de funciones

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .

De hecho, las funciones simples son las combinaciones lineales de funciones caractersticas
de conjuntos medibles: cualquier combinacion lineal de funciones caractersticas de conjuntos
medibles se puede descomponer como otra combinacion lineal respecto a una familia de conjuntos
medibles disjuntos dos a dos cuya union es todo el conjunto E
Es facil verlo con un ejemplo sencillo: si
s(x) = a1 A1 (x) + a2 A2 (x)
con Ai subconjuntos medibles de E, podemos escribir
s(x) = a1 A1 \A2 (x) + a2 A2 \A1 (x) + (a1 + a2 )A1 A2 (x) + 0E\(A1 A2 ) (x)
Una descomposicion de este tipo la llamaremos elemental.
m
X
Si S1 y S2 son dos funciones simples,
S1 =
ai Ai y
i=1

S2 =

k
X

b j Bj ,

(descom-

j=1

posiciones elementales), se puede conseguir una descomposicion elemental de ambas con respecto
a la misma familia de conjuntos, {Bi Aj }i,j

Integral de . . .
Funciones . . .

JJ

II

a2

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

b2

a1
b1
B2
A1

A2

B1

a2

Funciones Medibles
Funciones simples

a1

b2

a2

b2

Integraci
on de . . .
Integral de . . .

a1

Funciones . . .

A1 B2
JJ

II

A1 B1

b1
A2 B2
A2 B1

A1 B2
A1 B1

b1
A2 B2
A2 B1

En general, como los conjuntos Bj son disjuntos dos a dos y kj=1 Bj = E, entonces

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles

E (x) = kj=1 Bj (x) =

y podemos poner

S1 (x) =

m
X

m
X
i=1

k
X
j=1

II

m
X

Ai (x)

i=1

ai

k
X

k
X

Bj (x) =

j=1

Ai (x)Bj (x) =

j=1

m,k
X

ai Ai Bj (x)

i=1,j=1

Y analogamente
S2 (x) =

JJ

Ai (x) =

i=1

Integral de . . .
Funciones . . .

Bj (x) = 1

j=1

Funciones simples
Integraci
on de . . .

k
X

bj Bj (x) =

k,m
X

bj Bj Ai (x)

j=1,i=1

PmAs es facil demostrar

Pm que la suma de dos funciones simples es una funcion simple: si S1 =
i=1 ai Ai y s2 =
i=1 bi Ai , la suma S1 + S2 , es

(S1 + S2 )(x) = S1 (x) + S2 (x) =

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles

m
X

(ai + bi )Ai

i=1

a2 + b2
a1 + b2
a2 + b1
a1 + b1

Funciones simples
Integraci
on de . . .

A1 B2

Integral de . . .
Funciones . . .

A1 B1

JJ

II

A2 B2
A2 B1

P
Pm
Analogamente S1 S2 = m
i=1 ai bi Ai , y S1 /S2 =
i=1 (ai /bi )Ai son funciones simples
(si S2 (x)
6= 0 para todo x E en el caso del cociente). Y evidentemente, para todo R,
Pm
S1 = i=1 ai Ai es tambien una funcion simple.

El siguiente teorema es fundamental para la construccion de la integral:

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

Teorema (Aproximacion de funciones medibles).

Sea E Rn , E M, y f : E R una funcion medible no negativa. Existe una sucesion
{sn }n de funciones simples de E en R, tales que
1. 0 sn (x) sn+1 (x) para todo x E, para todo n N
2. lim sn (x) = f (x) para todo x E
n

Demostracion:
Sea n N fijo. Se definen los conjuntos

Funciones Medibles

E0n = {x E, f (x) n}

Funciones simples
Integraci
on de . . .
Integral de . . .

I (Saltar al final de la demostracion)

y
Ein = {x E, (i 1)2n f (x) < i2n }; 1 i n2n

Funciones . . .

que son conjuntos medibles, disjuntos dos a dos, y se definen las funciones
JJ

II


sn (x) =

(i 1)2n
n

si
si

x Ein ; 1 i n2n
x E0

es decir,
n

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

sn (x) =

n2
X
i1
i=1

2n

Ein (x) + nE0n (x)

Veamos un esquema grafico de la construccion de los conjuntos y de las funciones, para n = 1

yn=2

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

7/4
6/4
5/4

1
3/4

1/2

1/2
1/4

Funciones Medibles
Funciones simples
Integraci
on de . . .

E01

E11
s1 (x)

Integral de . . .
Funciones . . .

JJ

II

E21

E02

E22

E32

E42

E52

E62

E72

E82

s2 (x)

En este caso, el conjunto E12 es vaco.

La idea es dividir el eje vertical en bandas horizontales de anchura 2n , y construir una
funciones escalonadas cuyos escalones estan definidos por estas bandas, que esten siempre por
debajo de la grafica de f , pero lo mas cerca posible.
Es evidente por la definicion que para todo x E y para todo n N, sn (x) 0.

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .

En segundo lugar, dado n N, poniendo el intervalo


 
 
 

(i 1) i
2(i 1) 2i
2(i 1) 2i 1
2i 1 2i
, n =
,
, n+1
,
=
2n
2
2n+1 2n+1
2n+1
2
2n+1 2n+1
se tiene
(i 1)
i
f (x) < n } =
n
2
2
2(i 1)
2i
= {x E,
f (x) < n+1 } =
n+1
2
2
2(i 1)
2i 1
= {x E,
f (x) < n+1 }
2n+1
2
2i
2i 1
{x E, n+1 f (x) < n+1 } =
2
2
n+1
n+1
= E2(i2) E2i1

Ein = {x E,

Funciones . . .

JJ

II

As que si x Ein , para algun i entre 1 y n2n , pueden ocurrir dos cosas:
n+1
O bien x E2(i1)
, y entonces
sn+1 (x) =

2(i 1)
i1
= n = sn (x)
n+1
2
2

n+1
o bien x E2i1
y entonces

sn+1 (x) =
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

2i 1
i1
> n = sn (x)
n+1
2
2

Y si x E0n , es decir, si f (x) n, tambien pueden ocurrir dos cosas:

O bien f (x) (n + 1), en cuyo caso sn+1 (x) = n + 1 > n = sn (x)
O por el contrario n f (x) < n + 1, y entonces
(n+1)2n+1

f (x) [n, n + 1] =

k=n2n+1 +1

k1 k
,
]
2n+1 2n+1

luego
Funciones Medibles
Funciones simples

sn+1 (x) =

Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

k1
n = sn (x)
2n+1

Es decir, siempre sn (x) sn+1 (x)

Para terminar la demostracion falta ver que limn sn (x) = f (x), pero esto es claro: dado
x E, sea n0 un numero natural tal que f (x) < n0 . Por la definicion de las funciones sn , para
todo n n0 la distancia f (x) sn (x) es menor que 2n que es la anchura de los escalones de
sn , luego en efecto
lim |f (x) sn (x)| lim 2n = 0
n

J(Volver al enunciado)

Como consecuencia:
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .

Teorema.
Toda funcion medible es lmite puntual de una sucesion de funciones simples.
Corolario 3.
Sea E Rn , E M, y f, g : E R dos funciones medibles. Entonces:
1. f + g y f g son medibles
2. f g es medible
3. Si g(x) 6= 0 para todo x E, f /g es medible
4. |f | es medible
Una ultima propiedad de las funciones medibles que utilizaremos con frecuencia es la siguiente:
si dos funciones son iguales en casi todos los puntos de E, o ambas son medibles, o ninguna
de las dos lo es.

Integral de . . .
Funciones . . .

JJ

II

Proposici
on.
Sea E Rn , E M, y f, g : E R dos funciones tales que existe un conjunto Z E con
m(Z) = 0 y f (x) = g(x) para todo x E \ Z. Entonces f es medible si y solo si g es medible.

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Demostracion:
Supongamos que f es medible. Para ver que g es medible, sea U un abierto de cualquiera de
R; podemos poner




g 1 (U ) = g 1 (U ) (E \ Z) g 1 (U ) Z
De aqu, el primer conjunto es
g 1 (U ) (E \ Z) = {x E \ Z : g(x) U } =
= {x E \ Z : f (x) U } = f 1 (U ) (E \ Z)
que es medible por ser f medible y Z medible.
Y el segundo conjunto es un subconjunto de Z, luego tambien tiene que tener medida cero,
como Z, y por tanto es medible.
Entonces g 1 (U ) es medible.
As pues g es una funcion medible. Analogamente, cambiando los lugares de f y de g se
prueba que si g es medible, f tambien lo es.

En otras palabras, este resultado muestra que si una funcion f no es medible, no se puede
arreglar cambiando los valores de la funcion en un conjunto de puntos de medida cero; y que,
recprocamente, si f es medible, tampoco se va a estropear si se cambian sus valores en un
conjunto de puntos de medida cero.
El hecho de que una de propiedad se verifique en casi todos los puntos de un conjunto E,
es una caracterstica fundamental de la teora de Lebesgue, y recibe un nombre:

Definici
on (Propiedad en casi todo punto).
Sea E Rn , E M. Se dice que una cierta propiedad P se verifica en casi todo punto de E
si existe un conjunto Z E con m(Z) = 0, tal que P se verifica para todo x E \ Z.
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

3. Integraci
on de funciones simples
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .

Vamos ahora a construir la integral de Lebesgue de funciones medibles. La idea es construir la

integral de Lebesgue primero para funciones simples, luego para funciones medibles no negativas, y por ultimo para funciones medibles cualesquiera. En cada caso demostraremos algunas
propiedades elementales que son necesarias para el paso siguiente, y que van encaminadas a
demostrar las propiedades elementales de cualquier procedimiento de integracion: la linealidad y
la monotona de la integral, es decir, que la integral de la suma es la suma de las integrales, que
la integral de un numero por una funcion es el producto del numero por la integral de la funcion,
y que si una funcion es mayor que otra en el mismo conjunto, su integral es tambien mayor.
Definici
on (Integral de una funcion simple no negativa).
n

Sea E R , E M, y sea s : E R una funcion simple no negativa, s =

ai 0 para todo i, 1 i k, Ai Aj = si i 6= j, y ki=1 Ai = E Se define la integral de s en

E por
Z

II

ai Ai , con

i=1

Funciones . . .

JJ

k
X

s=
E

k
X

ai m(Ai )

i=1

con el convenio de que 0 = 0

Observaciones:

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles

1. La definicion es correcta, en el sentido de que el resultado de la integral no depende de la

descomposicion de s como combinacion lineal de funciones caractersticas, incluso aunque
los conjuntos no sean disjuntos dos a dos.
Vamos a ver que esto es cierto con un ejemplo sencillo: supongamos que s = aA +
bB , donde A y B son subconjuntos medibles de un conjunto E, pero no necesariamente
disjuntos. Podemos obtener una descomposicion elemental de s de la forma
s = aA\B + (a + b)AB + bB\A + 0E\(AB)
Aplicando entonces la definicion de la integral

Funciones simples
Integraci
on de . . .

Z
s = am(A \ B) + (a + b)m(A B) + bm(B \ A)+

Integral de . . .

Funciones . . .

JJ

II

+0m(E \ (A B)) =
= a (m(A \ B) + m(A B)) + b(m(A B) + m(B \ A)) =
= am(A) + bm(B)
(utilizando que A y B son medibles)

2. La
Pmrazon de definir la integral solo para funciones no negativas es asegurar que la suma
e bien definida, que no pueda dar lugar a algo del tipo .
i=1 ai m(Ai ) est
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

3. La integral sera no negativa, pero puede valer infinito

Z
s
0
E

4. Geometricamente, la integral de s es la suma de los volumenes, o mejor habra que decir

la suma de las medidas, de los prismas de base los conjuntos Ai y alturas respectivas ai
a3
a4

Funciones Medibles
Funciones simples

a2

Integraci
on de . . .

a1

Integral de . . .
Funciones . . .

A4

JJ

II

A1

A3
A2

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

Proposici
on.
Sea E Rn , E M, y sean s1 , s2 : E R funciones simples no negativas. Entonces:
Z
Z
Z
1.
(s1 + s2 ) =
s1 +
s2
E

Z
2. Para todo R, 0,

Z
s1 =

s1
E

3. Si
Z existe ZZ E con m(Z) = 0, tal que s1 (x) s2 (x) para todo x E \ Z, entonces
s1
s2
E

Demostracion:
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

ConsideremosPpara s1 y para s2 descomposiciones

elementales respecto a la misma familia de
Pm
conjuntos, s1 = m
a

y
s
=
b

.
2
i=1 i Ai
i=1 i Ai
Las demostraciones de los apartados (1) y (2) son triviales.
Para el apartado (3), sea Z E un conjunto de medida cero tal que s1 (x) s2 (x) para
todo x E \ Z. Entonces para cada conjunto Ai , como Z es medible, se tiene
m(Ai ) = m(Ai Z) + m(Ai \ Z) = m(Ai \ Z)
ya que Ai Z tiene medida cero.

Ademas, si existe algun punto x Ai \ Z, s1 (x) = ai s2 (x) = bi luego

ai m(Ai \ Z) bi m(Ai \ Z)
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

y si Ai \ Z = , tambien trivialmente
ai m(Ai \ Z) = 0 = bi m(Ai \ Z)
Por tanto
Z
m
m
X
X
s1 =
ai m(Ai ) =
ai m(Ai \ Z)
E

i=1

m
X
i=1

i=1

bi m(Ai \ Z) =

m
X
i=1

Z
bi m(Ai ) =

s2
E

4. Integral de funciones no negativas

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Definici
on.
Sea E Rn , E M, y f : E R una funcion medible con f (x) 0 para todo x E. Se
define la integral de f en E por
Z
Z
f = sup{ s, s funcion simple, 0 s f }
E

Observaciones:
1. Se puede sustituir la condicion 0 s f en E, por la condicion 0 s(x) f (x) en casi
todo E.
2. La integral de una funcion medible no negativa sera siempre no negativa tambien, pero
puede ser infinita.
3. Geometricamente el significado de esta integral es similar a las sumas inferiores de Riemann.
La diferencia fundamental esta en los conjuntos Ai que utilizamos para dividir el conjunto
E: podemos escoger cualquier clase de conjuntos medibles, no solamente rectangulos.

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

a2

a4

a3

a1

A1

A2

A3

A4

La proposicion siguiente es consecuencia inmediata de las propiedades de la integral de funciones simples no negativas:
Proposici
on.
Sea E Rn , E M, y sean f, g : E ZR funciones
medibles no negativas. Se tiene:
Z
a) Si f g en casi todo E, entonces
f
g
ZE
ZE
b) Si f = g en casi todo E, entonces
f=
g
E
E
Z
Z
c) Si > 0,
f = f
E

5. Funciones IntegrablesLebesgue. Relaci

on con la Integral
de Riemann.
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann

Aunque la definicion de la integral de Lebesgue es correcta para cualquier funcion medible no

negativa, solo vamos a llamar integrables a las funciones cuya integral es finita; mas exactamente,
Definici
on (Funcion Integrable Lebesgue).
Sea
E

Rn , E M y f : E R. Se dice que f es integrable Lebesgue en E si es medible

Z
y
|f | < . Se define entonces la integral en E de f por
E
Z
Z
Z
+
f=
f
f
E

Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Observaciones:
R
ObseRrvese queR E f esta bien definida, en el sentido de que como R0 f +
R |f |, entonces
+

0 E f E |f | < ; y tambien
0 f |f |, as que 0 E f E |f | < . Si f
es integrable, su integral es un numero.
Proposici
on.
Sea E Rn , E M, y f : E R integrable. Entonces
Z
Z
| f|
|f |
E

Demostracion:

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

R
R
De las desigualdades
0 E f + E |f | <
deduce
Z
Z
Z
Z
+

f
f
|f |
|f |
E

R
E

R
E

|f | <

se

luego en efecto
Z
Z
| f|
|f |
E

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Tendremos que demostrar que esta forma de integrar tiene las propiedades fundamentales
que debe tener cualquier metodo de integracion, alguna de las cuales hemos ido demostrando
en las casos anteriores para funciones simples y funciones medibles no negativas: la linealidad
de la integral, y la aditividad con respecto al dominio. Pero vamos a dejar el estudio de estas
propiedades hasta el proximo captulo.
Antes vamos a ver que la integral de Lebesgue generaliza a la de Riemann, en el sentido
de que si E es un rectangulo y f : E R es integrableRiemann, entonces
R f es medible,
integrableLebesgue, y ademasR las dos integrales coinciden. Llamaremos (R) E f a la integral
de Riemann de f en E, y (L) E f a la integral de Lebesgue.

Teorema (Relacion con la Integral de Riemann).

Sea E un rectangulo en Rn, y f : E R una funcion integrable
Riemann. Entonces f es tambien integrable Lebesgue, y
Z
Z
(R) f = (L) (f )
E
E
Demostracion:
I (Saltar al final de la demostracion)
Observemos en primer lugar que como E es un rectangulo, es un conjunto medible Lebesgue.
Vamos a demostrar que f es medible Lebesgue, que es integrable, y que su integral de Lebesgue
coincide con su integral de Riemann.

Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Como f es integrable Riemann, es acotada, y existe un conjunto Z E con m(Z) = 0 de

modo que la restriccion de f a E \ Z es continua.
Sea G un abierto de R. Podemos poner




f 1 (G) = f 1 (G) Z f 1 (G) (E \ Z)
De estos dos conjuntos f 1 (G) Z Z, luego tiene medida cero y por tanto es medible
Lebesgue.
Y f 1 (G) (E \ Z) = (f |E\Z )1 (G) que es un abierto de E \ Z por la continuidad de f en
ese conjunto, luego existe un abierto U de Rn de modo que
f 1 (G) (E \ Z) = U (E \ Z)
que es medible.
As pues, para todo abierto G de R, f 1 (G) es medible, y por tanto f es medible Lebesgue.
Por otro lado, de la acotacion de F se tiene que existe M > 0 tal que |f (x)| M para
todo x de E, o lo que es lo mismo, |f | M E . Entonces por las propiedades de la integral de
Lebesgue de funciones medibles no negativas,
Z
Z
|f |
M E = M m(E) = M v(E) <
E

Para demostrar la igualdad entre las dos integrales, supongamos primero que f es no negativa.

Para cada particion P de E, definimos la funcion simple

X
MR (f ) R (x)
s(x) =
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .

RRP

Esta funcion verifica

0 f (x) s(x) para todo x E, y por las propiedades de la
integral de Lebesgue de funciones medibles no negativas, entonces
Z
Z
X
(L) f (L) s =
MR (f ) m(R) = S(f, P )
E

RRP

Tomando nfimos entre todas las particiones de E, se tiene

Z
Z
(L) f (R) f
E

Definimos ahora la funcion simple

X
k(x) =
mR (f ) R0 (x)
RRP

Funciones . . .

JJ

II

Esta funcion verifica que 0 k(x) f (x) para todo x E, y por las propiedades de la
integral de Lebesgue de funciones medibles no negativas,
Z
Z
X
mR (f ) m(R0 ) = S(f, P )
(L) f (L) k =
E

RRP

Tomando supremos entre todas las particiones de E, se tiene

Z
Z
(L) f (R) f
Funciones
medibles.
Funciones
integrables
Lebesgue.
Relaci
on con la
integral de
Riemann
Funciones Medibles
Funciones simples
Integraci
on de . . .
Integral de . . .
Funciones . . .

JJ

II

Para terminar, en el caso general (sin suponer que f es no negativa), basta considerar las
funciones f + y f : Si f es integrable Riemann, tambien f + y f son integrables Riemann, y
ademas como f = f + f , se tiene
Z
Z
Z
Z
Z
Z
+

(R) f = (R) f (R) f = (L) f (L) f = (L) f

E

con lo que queda demostrado el teorema.

J(Volver al enunciado)