Teora de la Medida

Escuela Profesional de Matem

atica
Facultad de Ciencias
Universidad Nacional de Ingeniera

La Integral
Tema: Construcci
on de la integral, T.C.M. y T.C.D.

Ciclo: 2015-2

En lo sucesivo, (, A, ) ser
a un espacio de medida -finito; empleamos la siguiente convencion: 0 (+) =
(+) 0 = 0; definimos
S := { f : R ; f es medible y f () es finito },
S + := { f S ; f 0 },
M := { X : R ; X es medible } y
M+ := { X M ; X 0 };
y decimos que una cierta propiedad se cumple en casi todo punto (c.t.p.) si existe un N A de medida
nula donde dicha propiedad se cumple en todo punto de N c .
Sea f S + . Si
f=

m
X

i 1Ai

(1)

i=1

para alg
un m N y 1 , . . . , m ]0, +[ , y para conjuntos mutuamente disjuntos A1 , . . . , Am A, luego (1)
es llamada de una representaci
on normal de f .
Lema 1. Sea f S + . Si f =

m
P

i 1Ai y f =

i=1

m
P

i 1Bi son dos representaciones normales de f , entonces

i=1
m
X

i (Ai ) =

i=1

m
X

i (Bi ).

i=1

Prueba Ejercicio!
Este lema nos permite hacer la siguiente definicion.
Definici
on 2. Sea f S + . Luego, definimos la integral de f con respecto a por
Z
f d :=

m
X

i (Ai )

i=1

si f tiene la representaci
on normal f =

m
P

i 1Ai .

i=1

Lema 3. Sean f, g S + y [0, +[ . Luego, se cumplen las siguientes afirmaciones.

R
R
(i) (f )d = f d.
R
R
R
(ii) (f + g)d = f d + gd.
R
R
(iii) f g f d gd

Prueba Ejercicio!
Lema 4.
M+ = { X : [0, +] ; X es medible }
Prueba Ejercicio!
Definici
on 5. Sea X M+ . Luego, definimos la integral de X con respecto a por
Z
Z
Xd := sup{ f d ; f S + , f X }.

Se verifica que esta u

ltima defici
on de integral extiende la anterior (Ejercicio!)
Lema 6. Sean X, Y, X1 , X2 , . . . M+ y , [0, +] . Luego, se cumplen las siguientes afirmaciones.
R
R
(i) X Y Xd Y d
R
R
(ii) [Teorema de la Convergencia Mon
otona (T.C.M.)] Xn X Xn d Xd.
R
R
R
(iii) (X + Y )d = Xd + Y d.
Prueba Ejercicio!
Lema 7 (Lema de Fatou). Sean X1 , X2 , . . . M+ . Entonces,
Z
Z
lim inf Xn d lim inf Xn d.
Prueba Para cada n N sea Yn = inf{ Xk ; k n }. Por un lado tenemos que Yn M+ para todo n y
Yn lim inf Xn ; entonces, por el T.C.M.,
Z
Z
Yn d lim inf Xn d.
(2)
Por otro lado tenemos que Yn Xn para todo n; entonces,
Z
Z
lim inf Yn d lim inf Xn d.

(3)

Finalmente, de (2) y (3) tenemos la desigualdad deseada.

No es difcil verificar que el Lema de Fatou implica el T.C.M. (Ejercicio!) Finalmente, damos nuestra
u
ltima definici
on de integral para funciones medibles.
R
Definici
on 8. Decimos que X M es -integrable si |X|d < +. Luego, definimos
Z
1
1
L () := L (, A, ) := { X M ;
|X|d < + }.
Sea X L1 (). Luego, definimos la integral de X con respecto a por
Z
Z
Z
+
Xd := X d X d.

(4)

R
R
R
Si s
olo tenemos que X + d < + o bien X d < +, entonces definimos Xd por (4). Finalmente,
para cada A A definimos
Z
Z
Xd := (X1A )d.
A

Teorema 9. Sea X M.
R
(i) X = 0 c.t.p. Xd = 0.
R
(ii) Xd < + X < + c.t.p.
Prueba Ejercicio!
Teorema 10 (Propiedades de la integral). Sean X, Y L1 () y , R.
R
R
(i) R[Monotonicidad]
Si X Y c.t.p., entonces Xd Y d. En particular, si X = Y c.t.p., entonces
R
Xd = Y d.
R
R
(ii) [Desigualdad triangular] | f d| |X|d.
(iii) [Linealidad] X + Y L1 () y
Z

Z
(X + Y )d =

Z
Xd +

Esta ecuaci
on tambien se cumple si a lo mas una de las integrales:

Y d.
R

Xd,

Y d es infinita.

Prueba Ejercicio!
Teorema 11 (Teorma de la Convergencia Dominada (T.C.D.)). Sean X, X1 , X2 , . . . M y
Y, Y1 , Y2 , . . . L1 () tales que
(i) Xn X c.t.p.,
(ii) |Xn | Yn para todo n,
(iii) Yn Y c.t.p. y
R
R
(iv) Yn d Y d.
Entonces, X, X1 , X2 , . . . L1 () y

Xn d

Xd.

Prueba Est
a claro que X1 , X2 , . . . L (); veamos que X L1 (), por el lema de Fatou,
Z
Z
|X|d lim inf |Xn |d
Z
lim inf |Xn |d
Z
lim inf Yn d
Z
Y d.
Por un lado, Yn + Xn M+ para cada n; por el lema de Fatou,
Z
Z
Z
Y d + Xd (Y + X)d
Z
lim inf(Yn + Xn )d
Z
lim inf (Yn + Xn )d
Z

Z
lim inf
Yn d + Xn d
Z
Z
lim inf Yn d + lim inf Xn d
Z
Z
Y d + lim inf Xn d,

y as,
Z

Z
Xd lim inf

Xn d.

Por otro lado, Yn Xn M+ para cada n; y por el lema de Fatou, analogamente, tenemos que
Z
Z
lim sup Xn d Xd.

(5)

(6)

Finalmente, de (5) y (6), concluimos la ecuaci

on deseada.
No es difcil verificar que esta versi
on del T.C.D. es mas fuerte que la version clasica (Ejercicio!)
Propiedad 12. Sean X, Y : R dos funciones integrables. Pruebe que X = Y c.t.p. sii para todo A A:
Z
Z
Xd =
Y d.
(7)
A

Prueba () Sea A A y sea N A de medida nula tal que X = Y sobre N c . Luego, 1A X = 1A Y sobre
N c Ac ; es decir 1A X = 1A Y c.t.p.; ya que, (N A) = 0. As, tenemos la ecuacion (7).
() Como es -finita, sean A1 , A2 , . . . A tales que An . Para cada n, sean Xn := 1An X y fn := 1An |X|.
Sea f := |X|. Luego, afirmamos que
(i) Xn X,
(ii) |Xn | fn para todo n,
(iii) fn f y
R
R
(iv) fn d f d,
donde la u
ltima afirmaci
on se sigue del T.C.D.; ya que, f, f1 , f2 , . . . M+ y fn f . As, por el T.C.D.,
Z
Z
Xd Xd.

(8)

An

An
alogamente, tenemos que
Z

Z
Y d

Y d.

An

Luego, de (7), (8) y (9), concluimos que

Z

Z
Xd =

Y d.

As, como (X Y ) L1 , tenemos que

Z
(X Y )d = 0.
Finalmente, concluimos que X = Y c.t.p.

(9)