Captulo 3

Funciones Integrables
Sea (X, A) un espacio medible. Dada una funci on medible f : X R, quedan
denidas las funciones f
+
, f

: X R por medio de la regla

f
+
(x) = sup{f(x), 0} y f

(x) = sup{f(x), 0}.

La funci on f
+
es llamada parte positiva y f

parte negativa de f. Observe que

f
+
y f

son funciones no negativas. Adem as, no es difcil mostrar que

f = f
+
f

y |f| = f
+
+f

.
A partir de esta igualdades se tiene
f
+
=
|f| +f
2
y f

=
|f| f
2
.
Por tanto f es medible si y solo si f
+
y f

son medibles.
DEFINICI ON 3.1. Sea (X, A, ) un espacio de medida. Una funci on medible
f : X R es integrable si
_
f
+
d y
_
f

d son nitos. En este caso, la

integral de f respecto a la medida es denida por
_
f d =
_
f
+
d
_
f

d.
24
Cap. 3: Funciones Integrables 25
Si A es un conjunto medible,
_
A
f d :=
_
A
f
+
d
_
A
f

d.
Observe en la denici on anterior que se est a considerando funciones medibles que
solamente asumen valores reales. Es decir, se excluyen funciones que puedan llegar
a tomar valores o +. En realidad, si se consideraran funciones f : X R
es posible mostrar que el conjunto {x X : |f| = } tiene medida nula.
El siguiente concepto es similar al de medida. La diferencia est a en el hecho que
est a permitido tomar valores positivos y negativos. Lo que no se permite es valores
y +.
DEFINICI ON 3.2. Sea (X, A) un espacio medible. Una funci on : A R se
llama carga si cumple con las siguientes propiedades:
1. () = 0 y
2. Para toda sucesi on disjunta (E
n
) de conjuntos medibles,

_

_
n=1
E
n
_
=

n=1
(E
n
).
Ejercicio 3.1. Demuestre que toda combinaci on lineal nita de cargas en nueva-
mente una carga.
LEMA 3.1. Sea (X, A, ) un espacio de medida y f : X R una funci on inte-
grable. La funci on : A R denida por
(A) =
_
A
f d
es una carga.
Demostraci on. Como f
+
y f

son funciones medibles no negativas, la proposi-

ci on 2.6 asegura que las funciones
+
,

: A R, denidas por

+
(A) =
_
A
f
+
d y

(A) =
_
A
f

d,
son medidas. Como f es integrable entonces
+
(A) y

(A) son nitos para todo

A A. Puesto que =
+

se concluye que es una carga.

Cap. 3: Funciones Integrables 26
La funci on del lema 3.1 es llamada integral indenida de f respecto a . Observe
tambi en que dada una sucesi on disjunta (A
n
) de elementos en A,
_

n=1
An
f d =
_

_
n=1
A
n
_
=

n=1
(A
n
) =

n=1
_
An
f d.
Esta propiedad es referida como aditividad contable de la integral indenida de
una funci on integrable f.
PROPOSICI ON 3.1. Una funci on medible f : X R es integrable si y solo si |f|
es integrable. En este caso

_
f d

_
|f| d.
Demostraci on. Suponiendo que f es integrable entonces por denici on
_
A
f
+
d
y
_
A
f

d son nitos y por tanto

_
A
f
+
d +
_
A
f

d es nito. Como |f| =

f
+
+f

entonces el corolario 2.1(b) asegura que

_
|f| d =
_
f
+
d+
_
f

d,
luego
_
|f| d es nito. Es decir la funci on |f| es integrable.
Recprocamente, como f
+
|f| y f

|f| y adem as suponemos |f| integrable

entonces
_
A
f
+
d y
_
A
f

d y son nitos. Por tanto f es integrable.

Adicional a esto,

_
f d

_
f
+
d
_
f

_
f
+
d +
_
f

d =
_
|f| d,
que es lo armado.
COROLARIO 3.1. Si f : X R es medible, g : X R es integrable y |f| |g|
entonces f es integrable y
_
|f| d
_
|g| d.
Demostraci on. Como |g| es integrable, pues g lo es, entonces
_
|g| d es ni-
ta. Como f
+
|f| |g| y f

|f| |g| entonces

_
f
+
d
_
|g| d
y
_
f

d
_
|g| d. La integrabilidad de |g| implica entonces que
_
f
+
d y
_
f

d son nitos, por tanto f es integrable. La proposici on 3.1 asegura entonces

que |f| es integrable y como |f| |g| entonces
_
|f| d
_
|g| d.
PROPOSICI ON 3.2. Si f, g : X R son funciones integrables y R entonces
f y f +g son integrables. Adem as
_
f d =
_
f d y
_
(f +g) d =
_
f d +
_
g d.
Cap. 3: Funciones Integrables 27
Demostraci on. Puesto que f y g son integrables entonces las siguientes integrales
_
f
+
d ,
_
f

d ,
_
g
+
d y
_
g

d
son nitas.
Sea 0. El corolario 2.1 asegura que
_
f
+
d =
_
f
+
d ,
_
f

d =
_
f

d
y por tanto f es integrable y vale la igualdad
_
f d =
_
f
+
d
_
f

d =
__
f
+
d
_
f

d
_
=
_
f d.
Si < 0 entonces (f)
+
= ()f

y (f)

= ()f
+
entonces nuevamente
por el corolario 2.1
_
f
+
d =
_
f

d ,
_
f

d =
_
f
+
d,
lo cual implica que f es integrable y
_
f d =
_
f
+
d
_
f

d =
_
f

d +
_
f
+
d =
_
f d.
Para demostrar la integrabilidad de f + g observe que al ser f y g integrables
entonces de la proposici on 3.1 resulta que |f| y |g| son tambi en integrables. Del
corolario 2.1 sabemos que
_
|f| d+
_
|g| d =
_
(|f| +|g|) d entonces |f| +|g|
es tambi en integrable. Como |f +g| |f| +|g|, el corolario 3.1 implica que f +g
es integrable. Siendo
f +g = (f
+
+g
+
) (f

+g

)
entonces
_
(f +g) d =
_
(f
+
+g
+
) d
_
(f

+g

) d =
_
f d +
_
g d.
donde la primera igualdad es v alida por el hecho de que si f = f
1
f
2
, donde f
1
y f
2
tienen integral nita, entonces
_
f d =
_
f
1
d
_
f
2
d.
TEOREMA 3.1 (Convergencia dominada de Lebesgue). Sea (f
n
) una sucesi on de
funciones integrables que converge -c.t.p. a una funci on f : X R. Si existe
una funci on integrable g : X R tal que |f
n
| g para todo n, entonces f es
integrable y
_
f d = lm
_
f
n
d.
Cap. 3: Funciones Integrables 28
Demostraci on. Es suciente suponer que la convergencia de (f
n
) a f ocurre en
todo X, pues como la convergencia falla en alg un conjunto A de medida nula el
caso general se obtiene de considerar las funciones (f
n
11
A
) y (f11
A
).
Puesto que (f
n
) es sucesi on de funciones, en particular son medibles, que converge
a f entonces f es medible y como g es integrable y |f| g entonces resulta del
corolario 3.1 que f es integrable.
Adem as de esto, como |f
n
| g entonces g f
n
g de donde g + f
n
0 y
g f
n
0. Siendo f y g integrables, la proposici on 3.2 asegura que f +g y f g
son integrables y valen las igualdades
_
(f g) d =
_
f d
_
g d. Luego,
_
g d +
_
f d =
_
(g +f) d
lminf
_
(g +f
n
) d
= lminf(
_
g d +
_
f
n
d)
=
_
g d + lminf
_
f
n
d
de lo cual resulta
_
f d lminf
_
f
n
d.
Haciendo un procediendo an alogo,
_
g d
_
f d =
_
(g f) d
lminf
_
(g f
n
) d
= lminf(
_
g d
_
f
n
d)
=
_
g d lmsup
_
f
n
d
de donde lmsup
_
f
n
d
_
f d lminf
_
f
n
d.
3.1. Dependencia en un par ametro
Sea (X, A, ) un espacio de medida, f : X[a, b] Runa funci on y asumiremos
que para cada t [a, b], la funci on h
t
: X R denida por h
t
(x) = f(x, t) es
A-medible.
Cap. 3: Funciones Integrables 29
PROPOSICI ON 3.3. Suponga que para alg un t
0
[a, b],
h
t
0
(x) = lm
tt
0
h
t
(x)
para cada x X, y que existe una funci on integrable g : X R tal que |h
t
| g.
Entonces
_
h
t
0
d = lm
tt
0
_
h
t
d.
Demostraci on. Sea (t
n
) una sucesi on en [a, b] que converge a t
0
y considere las
funciones f
n
:= h
tn
. Como |h
t
| g entonces |f
n
| g. Adem as
lm
n
f
n
= lm
n
h
tn
= h
t
0
Como f
n
es medible, g es integrable y |f
n
| g, el corolario 3.1 asegura que f
n
es integrable. Se tiene entonces una sucesi on (f
n
) de funciones integrables que
converge a h
t
0
y |f
n
| g. El teorema de la convergencia dominada de Lebesgue
asegura entonces que h
t
0
es integrable y
_
h
t
0
d = lm
n
_
f
n
d = lm
n
_
h
tn
d
Como la sucesi on (t
n
), que converge a t
0
, es arbitraria entonces
_
h
t
0
d = lm
tt
0
_
h
t
d.
COROLARIO 3.2. Suponga que para cada x X, la funci on t f(x, t) es
continua en [a, b] y que existe una funci on integrable g : X Rtal que |f(x, t)|
g(x) para todo (x, t) X[a, b], entonces la funci on F : [a, b] R denida por
F(t) =
_
f(x, t) d(x)
es continua en [a, b].
Demostraci on. Debemos mostrar que para cada t
0
[a, b] se tiene
F(t
0
) = lm
tt
0
F(t).
La continuidad de t f(x, t) implica que f(x, t
0
) = lm
tt
0
f(x, t), es decir,
h
t
0
= lm
tt
0
h
t
. Puesto que |f(x, t)| g(x) entonces |h
t
(x)| g(x). Entonces,
de acuerdo a la proposici on anterior,
_
h
t
0
(x) d(x) = lm
tt
0
_
h
t
(x) d(x).
Es decir,
_
f(x, t
0
) d(x) = lm
tt
0
_
f(x, t) d(x).

Cap. 3: Funciones Integrables 30

Ejercicios
1. Sean , : X R funciones medibles simples. Muestre que las funciones
f := sup{, }, f :=nf{, }
tambi en son medibles simples.
2. Sea X = N, A la colecci on de todos los subconjuntos de N y la medida
de conteo en A. Si f es no negativa en N entonces f es medible y
_
f d =

n=1
f(n).
3. Sea X = R, B la - algebra de Borel y la medida de Lebesgue en B. Si
f
n
= (1/n)11
[0,+[
, entonces la sucesi on (f
n
) es mon otona decreciente y
converge uniformemente a f = 0, pero
0 =
_
f d = lm
_
f
n
d = +.
4. a) Sea f
n
= (1/n)11
[0,n]
, f = 0. Muestre que la sucesi on (f
n
) converge
uniformemente a f, pero que
_
f d = lm
_
f
n
d.
Porqu e esto no contradice el teorema de la convergencia mon otona?
Es posible aplicar el lema de Fatou?
b) Sea g
n
= n11
[1/n,2/n]
, g = 0. Muestre que
_
g d = lm
_
g
n
d.
La sucesi on (g
n
) converge uniformemente a g? Es posible aplicar el
teorema de convergencia mon otona? Es posible aplicar el lema de Fa-
tou?
c) Extensi on del lema de Fatou al caso cuando los f toman valores ne-
gativos. Sea h : X R una funci on medible no negativa y suponga
que
_
hd < +. Para cada sucesi on de funciones f
n
: X R, si
h f
n
entonces
_
(lminf f
n
)d lminf
_
f
n
d.
Cap. 3: Funciones Integrables 31
5. Sea f : X R una funci on medible no negativa. Si
_
f d < +,
muestre que
({x X : f(x) = +}) = 0.
Sug. Si E
n
= {x X : f(x) n} entonces n11
En
f.
6. Si f : X R es una funci on medible no negativa y
_
f d < +,
entonces para cada > 0 existe un conjunto medible E tal que (E) < y
_
f d
_
E
f d +.
7. Suponga que (f
n
) es una sucesi on de funciones medibles no negativas que
converge a f y que
_
f d = lm
_
f
n
d < +.
Pruebe que
_
E
f d = lm
_
E
f
n
d
para cada conjunto medible E.
8. Sea (X, A, ) un espacio de medida y f : X R una funci on medible.
Muestre que si f(x) = 0 para -c.t.p. x X, entonces f es integrable y
_
f d = 0.
9. Sea (X, A, ) un espacio de medida. Si f : X R es integrable y g :
X R es una funci on medible tal que f(x) = g(x) para casi todo x X,
entonces g es integrable y
_
f d =
_
g d.
10. Sea (X, A, ) un espacio de medida. Si f : X R es integrable y > 0,
entonces existe una funci on medible simple tal que
_
|f | d < .
11. Sea f
n
= n11
[0,1/n]
, donde X = R, B es la - algebra de Borel y es
la medida de Lebesgue. Muestre que la condici on |f
n
| = g no puede ser
ignorada en el teorema de la convergencia dominada de Lebesgue.
Cap. 3: Funciones Integrables 32
12. Sea (f
n
) una sucesi on de funciones integrables y suponga que converge a
una funci on integrable f. Muestre que si
_
|f
n
f| d = 0, entonces
_
|f| d = lm
_
|f
n
| d.
Fecha de presentaci on: El primer da de clases.