Q)

.!:
: ~ f":
I' ,
,. . :'.,: '\."

CAPITULO

§ 7 FUN ClONES f~ E D I B L E S

";l
Y f : t. --_.,:. !R ~::.:~~
un ..
"

:~ i y s'610 si . l'.:·~'-I' ;j \. C·,JL.i

<:,:·,.nJ lJntl,)~ ,,".'

E ( a) "" .(:.( -<:: 0<" I f ( x) ;. a }

r-'"( )21, +'xo( JlH.?d.i b1 e,

_._-_.
';:. ::--::. EJEt1PU,"::--:
-.- ..--------
'7. i:?. 1 Ifled .L 1.:>1 e , furlc16n c oris t a n t.r; i': r.

medlble.

EJ"I ..::1' c-c t o , si a ..=: 0<, (,..~ ,.::u.:'.lqui'.i'J-,:', ::;121 Liol',,;) qu.--)-:

Si c ? ;;. , £,jnl-wncc;?::.;; -(:.;: ~ A / l~(~) > a } = A, que t?::; Jl\.:"d i b.l i? .

Si. c = .0. • t'l'nLonces: {:.( cA/ l' (~.{) ::-. ;d } =: .0, qUI? 8"•.:> IllI'.?'d i bll·~·.

3. enLonc.:::-:;; {cc C »; / f( sc ) :-- a

)
:= £f. que- l':~:';' mud .i l:: 1 l? .
S1 c "-
.' f
tF~',.. y cl,:~ .1'..• ,
'l. Z~.2: ~~l J.-. c. if' : lf~"'--~ !J-~ c<; la fu))cicJn
. A
IJlt'.~d.tb18 ll'JlfJllL:;'l qUt: 't'A .-:::"
,
IJlud1b18.

qut:~ J~I ,;~ . .::; lllt':·d.l 1:::.1 e.

-= ,rto,::;1
1~ si :.< f., I.
Coma If> (::,c)
J. x jL r;
{,: (?

(,;: [Rn /1('(:-<') >:1. - 0,

A

a, enlonC0:-:: I :'1-' (X) > :,}

, J\

I I \
il-- -,....-,-, ------~-\
I

, I
-----_.._----- '.
•... ,

lllt2-dible.

'::.2.3 Si J'. C u:' E:S lIlt':~diblL" y i':t, ---;. lR r:::-scont.inua, [~r,lonr.('=-:-:: f P::::

::...} == r' S ( ]:j, ~(..(.{ >

j'. 2.4 dt::f 1 n i d_~ PC;/,':

.1 , ::: i :.: c.: If.)
r« ."0 '> =
0, .':" 1 r-; .:::. IJ ;::: (F: - \D
\
t·.:. " c' ... -.. ..;. ....
I:'lll', L C'. C=-.: 1l1,'.'CI.\l:..1 ,;- :>' •• C./LIC' L'( ;.,:) =. (Pi~/:'::') Y <[I t'::C: rn,::d ':'1::·1 <:-.

:::::.. i. r. .. 0")" = c..-::: lIl) conJur.l.o )',,'.) 1I.(:dibl.:=- t:-J",toncf.<~ C::1.l I Uf,C ,.~,;:

1:;:ll-;lCl •.
~·I· 1.'.l .. 1.C.;,\ ,,::.'
'"
",.:~ ne. J,,-:::d.1I:,1,,-~. \1t~'I- .;,jl?'r-c ~/..: \.,;:; ('~". '! I ... ,
:2.1 1'. fl,.• ..· ,·:
.'qu ) ").1 I ;:'1', 1..•.•.•

s. 1 f:;\ .--; rr: 0'=: 1/i,::-.:J j L··t '=".

~
__ •
'C;
I •• { ". <-:. "
h
.I r( >: ) ;\ l::::':; »,s·d J b I 1::'

. '3. :i { :~ ,"'- p.,. / CC \ .'

<, .71 ~
:.. :;;
\
mc·d 1bl C'.

. • .:;;. <l (
\ ~.~
C:. ~.I f' ( :~ ) .-. ., f I
C'::: "led LbJ Ca.

rn",:c:li bJ. oS-. (:.,;'1

d •.", c.1<:Jnde cc,me> vH .:-0:: un a-:ilgo?bl-a y

(.\:J
{x E J\ I l' ( :.(,)>. 3.} := (''') {:< IS A I. f ( x )

S t? S i gUt? (7.:-3. 2 ).

R£>'~uJ ta .:h.~'.l·ll!·:::ho cJt~·qua At c:..~:: un cr-'s'l';Je-bl-;;l Y 1;;, r·c,l.::-..clc.,n

{~.( €: A .'" l' ( ;.() -< ;.'1} ;" t. - {:-.-~
E'. J~ / .1'( :<) ;::; a}.
,~ r-I .~ .-;••.. ,
':.-:.....:.-::.:...:.-=~~ ..

co
{:« c-:. 4~, ,I f ( ~.()~: ;'.1} ;:::n {c-c ~~ Po I r (x ) '<.
_ a .1}
.,..~..
n
" c; .1
C ? .!.. ~::...c~2..:::.t- (';-:'!.~:~_~
ft~'~lJl t..;} dl~ qL10 .M ""!;:;: un O'-.;ilr:Jebr-a y la .~gu.ald~ld:
{x. ,,:: ,P, I .f ( ::;() >- a} ::= A - {cc .:: A I .1' ( x) ;.:s a },

.. _._--------------_.
i ,
I
 ---
\

,: "

7, 'L 1 1': 1'. -----; [P ~~ me-d 1.1::>1 e, s1. y ~.C;10 sI, {x ~ A / ~(x) ~ a}
lTI~d i b.l f'",

7. '.3 LD-iA
r
:Si AdP'~ f:J~ --_._-:. [P >' c,J:1'. ----:. Ik. son lIH':'cji.blf'."::. E'nLon':;I,<, le,.::
c orr ) unt 0:,:

/ f ( :<. > > g( .". \• II

·t ,:":' c_ I.• I f ( ~.~ .> l:. ~".l<. :..:. ~ }

r
i
J ,,~
l ,-. ,~ J.•.•.
/ f -(r-e ) + C > .a; C: ~:: lP. f !Jo y
I
{x c t, / If (:-c ) I t- '=II~ ;'l, a > 0, p Co: U~,.} ~

:;;uces.ic.n
,>.? ~de lllJ,;tt:" rc-r:
eo
T'.:>'C 101')"11e::: l.:J1 qut::'

/ r (x > ~: 0 <.. 3-( )} = U {;< t".. A / r ( >:) > "k '.

k "'.1
~onjun~o {x € A / f(x) > g(;.{)} :::

u l{;.\:
co , ;- .
== c.;: A / f ( :.() :-- r } n {x (~~. I J' ::: 9 ( :.() })
k k .
k :: 1
e',:; un c cor i j t.uit.r» Jilt;~dlblE:' de

POt' •.:>\. ";C, p~'J" • s: l!>

t ,,:- t, 1 t~nL? que·:
{~( ..=: A .I r( :<. ) ;:. g(x ) ) - 't: { ;-<. E- r. I n( :.( /\ 1 ( ~, ) }

{ :< E A / 1'( ~'-) + l~ "> ;..;. } .- { :.( F~~ r. I r (:(,\ >- a - c } )'

{cc E. t,I \f ( .c ) I !=. '> a } ". j

\.x e,:: A I r ~:.(..
,1./
> r·} lJ

{;( 1::: p, If ( ;,') -< ·-a'1 'F '}

7. (.:: r:()F~OLt.R r0
:::~i t. c U':;' 1f1,,.,·.libie :" t: p, --\ U:~ ,"(~diL,lC'. Cll\.t:'flCf~~~ If \: P. -'-"-' if'
'.If Ir I 2: J~ ,-- ...• IH:~.LA; 111'"',_1 i \J J ",.:-:;
.

[x,'nc·L~11'1:"Jl;:::.::::: c.·c:·n ..1'.(/"tr' > ;'11 cOI·,.JunLo dc' lc·d:l:: L._l'·:-; ! Ull(; ':_.,I-,L' .•

AI( t., 11< > == {f: J\ --_.-. IF:: / 1 lllt:d.l L .It.' } .

el c c.nj urito ...t\.( r:-.._.IR) (?S UI) e::lxlc in

es un :ilqebr;ll'de- func:lofle::,
,. t " - •

QJ,;:H~-':rR/~L:.lQU
::.:1 f': A ---;. IF: y g: A --!o {R SOli Il\L~dibl~:::. l'!'nlonce·;:: pa r a lorJo

. :..-::::-.::..---:..:.:...-..::---.--
..:....:-.~-=---~-..:...:---.
-
 •
\,1
r I.

a E ~, el cnnjunlo:
{... t:. f. I (f·t q > ( :.,) :. .s } _. {z ~:: s. I f ( ;() t r;;J( ;(;. ';; ~'l}
-- {c-; E A I f(:.:) a:-o. -g(x)}

.\- ~J): s: l~~ t"::-::: roe-cl 1 bl e.

.,

{ .c, (c. - .> ::-,} .- {X

-
..••. ,~
..1 I .-,
I ~
I ,..{ ._.. ',.'
.. I . I" (\,. :(.' •.
-
.\M_ ,r ~;:.'.~. 1)1(:'iJ.l t·! ,- .
,;l
S\ ~, ,\ ;'\ cl..:.-",'.·,':. L " :".: l':'1 i ,.• 's. ~,r,~',1 c.':}.... Y

1· "2 "2
F ,\')~ 1 ml~'1) L to? , come> f,';j ." ..,! ( f -r- 9) (r q) ,)
.:l "
! , CA: t; -,-> If: (,:':: nH:•• d l L.1 1':0' ,

, :] /-'ROP(,:-::r er C.)t'l

E',:; dt;·cil- S.l. r.» .::.:_·H(J'.,(F~), Ct)';Lonce::l~\s'funci()ne~·::

:::up{ ( • C;J}: t. "--,\0 [f~ to:· int' {f, D}: t.• --~ [f~ del' jnid~"l.$ par':

.(inf{f,9})(;<)n-
Csur{ f, CJ (:<) ."

-=
~up{
inf{I'(:'';:),9(X)},
1'(:( >,I;J(~.() L p:'>r;,(
p;:"tl-~
LOUD

Lodo X
x c t•.
0: A,

:~Llp{:f,g} e: .At(A,rr·:) 6 .inf{f,£l} .z .It(/;,.lf")

En p:1rl.icu.l al- !:on rn(~d.i,r)l~':::;l.~~ :::igu.1.f?nt.€.·$ fu)")c.ione-',::::

L::\ 1::1r t. ~'? pos J. L'\ v.<\ de r' d.:onoLada par f'" y def.inida r'or
~f( :.() • sir ( x) 2': 0
{ 0
-, " ,s 1 1- ( :-<) -< 0

-- (::up{f,fl})(x)
d!~.:I',c)L;1d~:.pOI' r y clef lnida pC·I'

.._ f _.
c ( ;.( > , s..1. :1'( x) .;: 0
.. - \ 0 • si f(x) > 0
-= Cs.up { .. r •B }) ( ~< ).
slgui0nt.~s idenLidades:
-1~( X) == ( f t - f -') ( y.) ~ f°f-( ,~•..
,).
.,
_ 1" (.'f')
.••.
<r
J
("
-; \ 'L '; z: -
.l.
-
"
- •

l¥-c~H :: Cr+-\- f~)(~~) ::"., 1~ 1- ( ~~:) + f -( x )

1P}~}!9.~:T~,~&
t, ON
Si f,0 C ..A1(A:.lR), ~-:;!.,. :::~.i9ue qul.c:, 1-",:,;;, 1" uncir':"l',I:;,::':

'..------
G
.-"-.----- ••••• ~,. __ w

w --- "'_ •• -, •••••. - ,.------------- •• --.:---, ••• ,-I- •• !:u•II:MI:zIIII1IIIiIi'

•••••••• ••
lIrIIfIC:lIfIC_aul!ijW.N4tm""'~~~t1
I j
i

/
 -
.. .•.. " ..,...........•..•..•. -..... -.-

:.::up{ r, tJ} ...

.1 "('
<:
,
1 +D " in.f{f.q}
t::•• , , ....
i ~'."-
..
- .; (..( f ~.
C '
Cl "\
'- , I fAn I",

7.9 __R_.
P .__
POPC>SI C J 011
! ,
:':::i. A c; o." e~ nlf.?>d.l.bl £.> Y r r,: 1'~ •...-!- tR £>:.:; !'nL-?d i bl E.' p a r;:\ n . E: o.j T ,

I .
~:c.. L .1'~i~t:· c"j:.Jl:- 1:"1::::!··unc.1.L:,nr2-:';:: n: ,,'. --~ IF: iY 1"1: t. --_.' IF: d.:-( .inlu:ls

l:.or: 9(;() :~ ::;;up{f' '(;<) I ;.(€: A, n € O·jt"}I-:= ~up{l' (;.:) / :~ «: p.}

r, :! Tt . Tt I .
h(:..-:) ""~in1'{r (;,{) 1;( E 1'" n e:;: O'lt'},::-f ini'{r (:<) I ;.( ~~ t.}
n J n TI I
son )ned 1b.t ("So • ! I
Q.E H~.:':::2I~}.
L~.;"~::!,! I

Cs con::;("";.!CUf:-nc la
I
i.nll1odl;iI.La dl? 1.,.::..:; formuJ.as:
if.J
J ., I
t. ."'- €: A I 91.:-<. :> :-:.- a } -- U {:.( ~I It. I r r,(-- ";... :;,. }
. ."'- )
r,=1 t I
C(J I
I
I .-. a .t. I' I' ".l >~). -c' a } -- U {"
,",- G: A I f .." >
(" <- ;1 J
,
T.
T. = 1

S:.i. A c [}~" L?'S lut?dlblc- y r r» : A ---,. fP e~::; Illl"?d iblC? p.•r.:l I) ..z: !tIT.

.....
dt"?f Inid.:l.·::-. ~=.(.x ) - .1 .i l!l r
r•
(x) )'

.1 1 ) 11 r (.:<.) _. r <. :~ \
t,
c~nLonce:::; r.A
~~';~.~-.9..l:£
~:~t1Q?"T~~ J P
t1/\ \\,.'
L;~ r
83.~~ L:'C C) I' cl a 1-
la::;: sigull:"'nlE~::: t'c:"'rnul:,,,::::
t( :.() -- 1 i III r (:.<:) •.. ::;up {1nl' {f n(x)}}
(,--?'IJj
n , - ::::up j
I
r r,. k ( .c ) }
k ,-.": k k
r <.;( ) -- 1 .i In r n (x) .- illf {:::LlP {l'
Tt
(~()}} - lnf{f (:<~}
t,-"J_'O
k T',?= k loo
r. t k t

l'?J) .c € .t •• .l f in f (x) r ( :..:.'

I
n
TI~:()

r: ( x) ~:: f ( .c ) - r..( .:< >.

21j!»W U
'I
r-ri-"f
i,./ i :1
. -~- --- - ---- ---.-
.. .I:
; ,
 /

/' 11 EJr:RCTC.rOS
11. 1. A C (RT. os mediblr". si y s610 Sl., su t'unc:i6".
c a r~·l.C:
l e-r j s;L lc a 'I"> ~.!:: mc-cl.1 b t c«,
A
I 11 . ~~. Prob~r ~l Corolar10 7.4.
.-,
I , 11. 3, de la propo~ici6n 7.7.
S:-,,;, d j ri,' 'lue un::. p r op.! c'c\;:-.cJ s:c~ c umpl t~ ("'.;on ca:;;i t.odo E'.:!,.c~..t.-_£
(;'\brt:vLld~ll\l~nLt.;" p.p.) ,,;1 y :::610 ::i (.-1 conjunLo de PUI'.t..•
-.:,-;

dond0 lA propied~d as verd~d8ra Liene medid3 nula.

I

A'::;'1 1"0)' L'-J ""lnPJ. Cl, So J. eo:=; mod i b1 o , f; A ---;.. [F:

9: J'.--'? IT: :.:;.

0 d .i. c 0 q U 2- f ;-::9 ( p. r:., ), si Y ~ 61 0 :> 1

p( {:.: c: A / r ( ><) ;~ {1( x ) }) -;:::(I.

t' .,: '.J ( p. 1", que- r

t:': r'~
\kt'. dc- func lor.0:':
•
• . 1
<. f ) ....." f ( p, p. ) .:::
l :/ C'.\. c'
~:'. i: 1 t., _.,.t
I,

(I' ("{'\) f(:<.) pa r a to('\c. x ,;r D.

,',
11 . ~.
l.:l. 1. L.'.,~ Pr ob.:"- qU\:t f Co"" "
w,~:d.i b II .,

Si A c. a~T' Dor'cl _ : £e: d i c r.::- q LIt: 1': A -;. [f:

lll.;o':-\ibll2.- y ::-~olo 51,. conJ ur,t Cl

, !
-{.-...:
.:: /\ / l' ( :-<:) :;. :l} 13';;."; lllf.;-d i bl L':' Bar e'l .

CUJl\C> tc'do c:onjunl.o lJ)e'dH:)11:.~ [301"£-1 p-:?';:-,medible

Le-be,:"gue, se-
I b····~
s.1.gu\;,.
qUi? tod.:\ l'unc16n ITH?d.iblC? BDnlell!r~$ medible L.?be:::gu8,
I '
I
10 lnVt"'l'·S(.~. La':; pT'c.pcs: ie ion£-s 7.::3, 7 _4.
'7 ~, 7.9
i
i
iV 7. 3,0
,
v::.J.€m p:-...>.r3.
7.5, 7.6, , . I • 7.:3.
I ~ .
l"uncion",,:.:; y sus. demO~Ll-acion£'i";;; ::-~on
I I '
campi (·?L.amenLc :HJ.1.1uga:;:;.. An:110 }ment.e: , se p : I
define el
concept.o de ~unci0nes equiv::.lenLes Borel: : '
7. 11.5 Pre.b;:i.l' qul:.-; ~;.l t'~ C \Rn lllec.:.llble, 1,;I~~ {R ;nc~dible y A "" rE:
1-, : I

nl0dibl.:? Y s,.i f :r 9 ~~c,n oqu,ivalGflLo::;;; ~n &1 ::;1r'Jnl1deo .:\,.:;.

L"'"b0:-:;gU"-', en t ,(::>nc..:,-,,:Z; t jien

L:.::.m ; I .1
$on eq~llvalent.es; en (?1 sent.ldo
de Bor'el.
i I

., I .,\
' . ,/' t ~f
.h"
J
d' , 'j ,
vl(
I

...•- ttm Mal 3 t_ H~.H

.......
-_..---_-..--=-.~.-. ..--..:-~.;...:.-~.-
'~ ':.:..~.~...=-...:. .
 I •

§ 8. FUN C ONE S MEDIBLES SIMPLES

8.1 .. DEFINICIO~4
Si A' c; (Rn es ,medible y se dice que if> es 1--'

simple. si y s610 si, .1{> ~oma un .numero rini~o de valores

di!'eren~es , o sea. si para Lodo A, tp(:<) = CJ.. , donde \.. "
" ,, .
is: {1.2 •... ,p}.- Son funciones simples las siguient..es:
8. 1. 1. La funci6n consLan~e fex) = c para ~odo A c ~n

8.1.2. La funcion caracl~r{st..ica P de un conjunt..o A c {Rn

A
8.2. PROPOSICION
Si A c L~rt medible Y 1p: A --;. [R medible, e-nt.oric es tp es
siJnple, si Y solo si, exls~e una part..ici6n medible
(A,A., . )A ) de A lal que:
1 ' ~ p
p
IP{ ;.::) = LCVP (x) para t..odox oS A
i, =1 '. A~
DE MOSTRAC IOH
, ~
,. ,
1
Si sp: A --: [R medible simple, enlonce':;;;
tp{A) :::: {()( .CI~,-:-' ..• a ).
1 ..» p
. Luego si ponemos A:::: {x € AI .~x> = a. }"resulla de inmediato
" -. '. ... " co
que A. madible y A;x!
, i.
2J para, i. e: {1, '2, ... , p} y que A :::: IS) A. ,
L
"
o sea exis~e una pa rt Lc Lori medible ."
(A,(AY,.f'.·
1 '~
/' .• A
P
)'de A 1..a1

que si x oS A. ent..oncesexisie un 6nico i.

o
€ {i •...• p} t..al
que X €
A. 10 que impliea quell> (x):::: 1 y IP (!~) ::::
0
>- • A A.
o io "

para lodo i ~ i , de donde

o
P
tp{ x) :::: 0.
L
= '\ 0 In
L.. i' A
(x).
o i.=1 l.
Recip["ocamen~e, si una part..iciof) medible
(A • A , . . . ,A ).d eAt... a1 que, para Lodo X E. A
.1" P
p
tp{ cc) :::: L 1;,( '(> (x). A
. ~ A.
,,=1 " i.=1
result..aque si x € A
\.
ent..onces 'P( c-c ) = Cl,
L

Ss deeir tp{A) :::: {Cl ,Cl.,.,. ,Cl} Y en consecuencia Ip es

1" P

,
--.~'-.~--.-----------~-----'''''---.':'-''''-''''----'''.'''-' ..- ._----_.----_._ .
.......•. - -- -........ '.
t.3. LEMA
S1 A. c [Rn, Cl E: [R. tp: A. --;. [R tp' : A --;. IR son dos \,

\
func iones s impl e s , enlonces exi~~ten part Le i or.es :R. y :ft' '.

para las cuales tp y tp' son simples con respeclo a ~7~~ es

s impl~ con respec-Lo a :1<.'.

DEl'-lOSTR AC I O~~
exist.en par'Liciones :P;(A ,A.,\. ..• •A )
Si. sp -y-tp' son simples, 1 p -

Y'==(A.' ,A'.~ ... )A.') de A tales que

1 J q q
p
-= . [alP\. (x) ::'i' lp' (x) = . [OI'.lpJ A.
• (x)
A.
\.:::1 \. J::: 1 J

Si consider-amos la par-Licion :R.. -= :PnY' result..a que

(A. ,. A
..,Apq ) donde A :: An A'
J( == :J' n 1" == 11
).1""1 ..
\.)
)
ij \. i
) p}, Jl -! ,er} s ier.do algunos de el10s e1
i E: { 1, . j E ...L) ••

conjunlo -..racio.
00 .. r=
Coma A ==
l..
~ rt,
'l.
n A')J y A'
j
== 1.21
'. =.1
(An
, \.
,-.
A ,

j
) ent..onces;
J::: ).

q
y por
'f'A. (:-() = .L.
"p A.flA'
(.'~'.. \ 'P
A.
• ( :-( )
\. J =1 \. J
f! q

tp{ ic ) = '"
1="
. L.
Cl
I.
'/-'
A
< cc ) ="L
P
C(
i.. "'P
L
q

A nA'
,. X
'.
'\
/
==
.
L: •
L C(IP
to A.n""
.• (x), y
to ::: 1.]::: 1· 1.
\.=1 \. i=1 J=1 \. .I

q q v
If>' ( :,)::; L cr ' if> ,(:..:) == L [ a '. Ip , ( :, ) •
j:::l ) Aj j=s. i.=s. ) A\."Aj

igualdades'que ~O$ dicen.que 'f'Y tp'

a :R. :::: :J> n ~p' .
Analogamente se prueba que CAlf' .es simple con respect..o a:?.' =:?
Deno-Laremos con S( A, [R) a L cqnj un-Lo de t..odas las 1~unclones

me'dibles y simples definidas sobr'e A, es decir:

5(A)~) - { tp E JMA,~) I
Se ~iene enLonces la siguien-Le:
B.4. PROPOSICIOH
S1 A c [R" es medible en-Lonces
vo c t.or- 1a1 de .Ai.( A.!R ), mas aun es una sub-~1 gebra y un

:i0l1bezpac 10 de Ries:z .

.----~-----.-----.--.----~----.-.P--... ~.;
 .. ..
.
',
J I •••• . . ~: ~...~ : ; ",
'. J
'

. ",'.
y <p' € 5(A,lR) se t.iene por (B.3) que exist.e una
par-t-ieion (A ,A., ... ,A ) lal que
1 1,. - p
p p
t.p( cc) = L: •
Cl.
1.
tp
A.
(x) y tp' ( x ) = •
L:C(~'P
l. A.
(x).
1. =1 l- \.:::1 \.

Ent-onees

(tptp. )( x) == IP( x )'P' ( x ) =

r,
Ademas, ent.onces t.p( x ) ::: L: Cl. 'P (:<) para t-odo
i =1 \. Ai. .
p
X € A == IdJ A. luego si x € A ent-onces:
. \. i
~=1
n
IIp{x)1 = !C\! = L !C\!'PA (x) para Lodo :-:: € A, 10 que impliea
i.=1 i.
que I If>! € S( A, [R ).

Se sigue finalment.e que:

1~
sup{!p, If")' } = ::>'r'l( tp. + If'>' ) + \tp - <p' \) e: S( A; [R )

int' {'P, tp' } = 2:( 'P + lp'

) - lIP - Ip' I) F.: S< A; IR )

Y por 10 LanLo S(A,~) es un subespaeio de Riesz.

Denolaremos con S+(A,IR) al c:onjunlo de todas las funciones
__ ....0 _
simples no n~galivas. ss decir:
S~(A.fR)_=: {tp:A --7 [R ./.Ip ..simpla, tp{:.<) ;::; 0, '--I. cc e: A}

8.5. PROPCSICIm~
S+(A,fR) as un cono de S( A, [R), es decir- se cumpla:
o
8. 5. 1. Si 'P, ,p' e: S+(A,[R) enlonces IP + lp' e: S+(A.[R).
o o

8.5.2.
DEMOS-rRACION

En virt-ud de (8.3), si 'f> E: S+(A,fR) y ip' ~ S+(A,fR)

o o
ent.onces existe (A , A •... ,A ) una part-ieion de A lal que
1 1,. P
f.'
p
,p( cc ) == '"L- CA. If»
i.' A
(:-::) ,
.
con o Y lp' (x) = L: C('tp
1,. .A
(x) con
i, =1 1. i. :: 1 i.
p

CA.':2:;O, i. EO: {1.2 •... ,p}, luego para A=',tIA, se tiene que
1"'1 I.

r.'
(tp + 'P' )(:< > = tp{:-::) + Ip' ( X ) == Z(C<+ I.
CA.'
i.
) IP
A.
( x )•
\. = 1 .1.

con (C( + CA.~ ) ~ 0, i. € {1, 2, ... , p }.

\. \.

Aruiloga.mente :se demue~tr~ (8. S. 2) .

. -.. ,-.
 EJERCICH ..
)S

J.6.1 Probar que S(A;~) e$ un subespacio vec~orial de A(A;~).

Sea A C ~n medible y ~ € S(A,~) , en~onces:
p
tf,( :..::) -::::
,
L:
Cl, If>
\. A,
( x) .
\,=1 \.
...
donde (A), <'<p as una part..icion de A. y Ct,€ para.
\. i_L ..
:: \.

i....:::{l •..• p ]

Si p a ra c ad a i '€ {1, ... )p} A, as; un inLer·.,ralode !Rn se dlce

l

que tp es una funcian escalera > en est..ecase A € E. Y se denat..a

par:
S (A,£R)
~
= {If> € S(A,fR) I 'p escalera }

~.0.2 Probar que e1 conjunlo S ... (A,~) gS un subespacio vecLorial

rj~ =( A, tR ).
s~ dice Q'.Je la r uric Lor, simple 'p:)'... --, 0< dada par
p
If>'.. cc ) = L Cl, Ip
\. J
(x)
l:; 1 ~

as escalera racional 'si y s610 si Cl, E 1:l y J.1. as un

\.

Lnt.e r v a I a r ac Lor.a I de lRn (Lodo:;: sus vert.ices punt..

:;::on 0:;::

ra c i oria Le-s de (Rn) t"odo

p3 ..ra_ .. .i E: t~, .. ,p} , y se denola
por:

~.0.3 Probar que &1 conjunLo S (A.lR) as un subespac io vect..er

ia1
ElT

de S (A, [R).
Et '

'::>.6.4 Probar que e1 conjunt..o

-~----------
•..
 § 9. LEMA FUN 0 A MEN TAL o E L A S

FUN ClONES MEDIBLES

9.1. LEMA FUHDPu"1ENT AL

Si A c ~n es medible. f.E A(A.~) Y f ~ 0 se ~iene:

9. 1. 1. Exis~e una sucesi6n (tp) no decreclenLe t..aL que
tp
"0
E S •.(A, IR ). ° S tp
n
$ tpn •.1.
"par a n EO"" Y (tp.)
n
converge
I punLualmenLe a ~, 0 sea 1imlf")(x) = f(x) para ~odo x E A.
" n
n-;OO

9.1.2. Si f' as acolada, 0 sea f(x) < K para Lodo x E A,

ent..onces ('P ) converge unil'ormement-e a f.
9. .i . 3. Si 9 €:
"
.At( A., [R), 9 (>'J 0, (rp') converge punt..ualmenle a 9 y
-·,r.) ., n

r @ 9 enLonces tp S e; 'para n E 0"+.

" n
!= '\
DEMOSTRACIOH
8.1.1 :
Para cada n dividamos el int..ervalo (O,n[ de en
1-nt-er-valos - -dlsjunt.os de' la forma.
[i-1, ~[, i E {1. 2, .. ,n2"} as dlS'cLr- , consideramos la part..i-
2n 2n
ci6n IT de [O,n[ dada por:
"
IT=
n [C O.-
1
2"
[
1
[--n' --n [
2
2
2
,. .... , [
1-1

2"
._i_[
2
n
,. . . ,

[J
Y
n2"-1 n2
.... [ '
y
2" 2"
del'inamos 105 conjunLos
1-1 i
A = {x E: A /
n
S f(x) < }• 1 € Jl1 2
••..• n2n} y
r•.
\. 2 2n
B == {x E A / :f( x) ~ n} que son medibles por S91-10 1'.
"
Result-a ent.onces que 10::;; conjunLo::;; A son dJ.- junt..os
n.1.

dos a dos, t.amb1en son disjunt.os los A con los B y

n.
n
1. "
"2
A ==
l !gl
=1.
\~ B ,
n
pa I' a n E IN +- f i j o.

• r
 CClI\''..'.);} de (0
. 4 c
I
------ ~
('.
<;:I. - - 1)( I
A·- :'L t (.) .;
L ! y f ~{ Ut(~J I ~((J
I
c
(J:1.11[l\·Ctr: A ~.f. \u Cc.~
I . : {
f ~ ,.
't
c "
s v \JlfJiJ~ 0(,,)
/
P~(~:·L.t;J~c'j ;,;."\(e- <tU!l' ~e prcJJ(,c2 cll 0(~l'~P.'(,~V_'i,'}\O ;o":'{'("'Js;;..G.,~~,'

b.:: fJ
·•
lc;(I\..l'.1' \t,,,J,l{<l~ SC>L,' z,'iUi"(f.;..:: p~'(•....I~.:: (u~.( ••.! Sa" f·)V•• J~ ,.t?:;~"·I'r
le- ~v.-L ~Ci(;d';.:l~ J( -1C'~rs io': <""c"-'\':\(> C;~I(<1'lI\OS: dd lipCl C\':: {(t<;l-=- ':.' I

c. v <- \ '1" i ({r <- i U -Z OS <I ;;.. \ \ 0:, G·, ,1'.s ,.l <I. ; '( I (G '-< Cl c : .; '" .L <7 -f U ',' ( ; c \..\ \,<,' a ,} ; ~ ( (J

a..:. le:, f~j'("l'U I;;'(:'''., . \'

W<!-«["'.u;.·\ic<!-
.,... cc
'( J..C
cO"'c'<r,IO
\'
;\ilU\\\VC
-'. I
<IQ'
.,
'.j;;:.'<'"1c,u
(
e;
r .
e \v.";-:.. \ ,""'( I~ ,

-so -
.' "
 . - .... .. ... ,,',

Si del' in imos If! : A ---!o [R. poniendo

-n
i-1
si X E A i. EO: {1..2, .. _n2n}
it> (x)
c:n n.1-
r.
n si :< E: B
n
n
n2
i-1
se si gue que tp (x)
n
= "
t....
~n
tpA (x) + ntp
:a
(x'), es decir
1.=.1 c. n. n
\.

--If> E: S'l-(A,IR)~ pa r a n E: [}(t- •.

nO"
Para demost-rar que If> (x)
n
~ 'P
rl+J.
ex), observemos primero la
pa.rt-ici6n:

n r,'l-1.
=
•...... ,

, .

se ve de inmediat..o que le5 punt..os medies del Int-ervale

i r
de la part..ieion rrr. ~ sea los punt..os de la
, --r-L 0
?'
c....
1
l'orma +
....,n
c. 21 - 1
= ~n+~
2 c:
pert..eneeen a la part..ielon J1
Tt+.1
luego la part..ielon rr n+l s.e
obt-iene agregando a les punt-os de la p~r~iei6n n,n t..odos 10s

puntos medias de "lo~ lnt_el'vales "de-· nr. Consideremo::- ahora Loz

siguient..es easos:
Si 0.:$ f(x) ~ n:

En est-e caso se present..an dos a1 t..erna t, i '"as exe 1uyent..es:.

1-1 21-'1
Si

ent-onees 'p (~<)

n
=
Si 2i-1 ~ f(x) ~ i

2i-1
tp (x)
n
= < = 'P
n+l
(x).

10 que impl lea, en que: t.p (:-<) If>

n+1-
(;-<).
n
n
n2

para t.odo X EO: l::!/ A

n_
\'=1 t

Si 1'(x) ~ n:

--------'--------~----~-------------.---~-¥~--------------------------..------~ ...
I I :----
 .• .-
••••
, ,1

Se liene par definici6n que tp (:.()

Tt
= n, 1uego para delerminar
([> (:.<) so presenLan dos allernalivas excluyentes:
r.+1
Si f(:.()?: n+1. enlonce:::: tp(:.():::: n -< n+1::: If> (x).
Tt n+1
Si n ::; f(x) ~ 0+1, enloncas exisls un anico j E ~~ lal que

n S 2j -1 S f (x) ~ 2j
2n+1
2j-l
luego tp (x)::: y lP(:.() ::: n ~ 2j-l
= If> (x)~
n+1 2n+ 1. ,-, 2n ". 1. • n .•.1

es declr) If> (x) S tp (;.<) para todo cc E B .

n n+l n

En consecuenc la, tp (x) S 'P (x) para t.ocio cc E A.

n n+l
Probemos ahora que (tp ) converge puntualmenle a f.
n
Notemos que si x € A es tal que 0 ~ f(~) < 00 exisle
i-1 i
n
o
E' G-I + tal que s r Cx ) < entonces
2'-'0

o ~ l' ( x ) - rp (x) <

i _.1._-_1_ =
n rl
2 o 2no
Esto implica que para todo c: :> O~ existe n e:: IN + t.a I que
o
para n :> n se ti~ne que !r.'(x) - tp (x)1 < c: .Y po I' t.arrt.o
o n
lim tp (:..c) ::: f(:...:).
Tt
n~CO

Si x E A as t.al 1'( x) ::: +00, ent.onces se def ine tp (x) ::: n

n
para c ada n £ IN" y en conSC:CLlfil'nC
J;:).

.1 i In tp (:<) ::: l:i.. m n -= 00 = f ( :.() .

• ri_CO n . n-,OO
as .dec 1r (If> ) converge ...punt..ua.lment.e- a. f...
_.
n
8.:1. .2:

S1 r as acotada I entonces exist e n e:: G-,'" tal que f (x) < n

n
n2
para todo x E' A Y en con::::ecuencia A = . ~ A
n.\.
pues B
n
= ;?J~
\.=1.
luago teniendo en cuenta. que
1-1
:S f(x) ~

resulta

o ~ 1'( X) tp (x) <

1 i-1 ::: 1
para lodo x € 10 que
n 2n 2" 2Tl
prueba que (tp ) converge unii'ormemenle a 1'.
n
8.1.3:
Para cada n E 0-( se definen 10s conjunlos:

7+

~-- --
--.,...... _.
-~·-------·~~·--'~----·-·I~.
.•... ••..•........
 ~ t.·
,

.• ,_ .•

A = { X € A I i-1 ~ r () i}
x <---
n
2n
Tt.
\. 2
B.,.=.,{ cc € A I .f(x) ~ n }
Tt

i-1 .s
A' = { x
n.\.
€ A I --n
g(x) < _i_}
2Tr-
2
B'
n
= { x € A I g(x) ~ n }
ceme gn la- p~rtQg. 1.1, adQmas

i-1 •.si n
X € A , i, e: {1.2•...•n2 }
en n,
L

0 , si x € B
n

i-1
, si X € A'
n,
, i. € {1.2•..~n2n }
n
2 \.

0 , si x e: B'
.' Si cc € A
n1.
Y X € A'
n.
~
as: clare qua
n
I.f' (x)
... = I.f" (x).
n

Si x E: A Y X € A' i ~ J se Liena qua

Tt Tr.
i.
J
i~ 1 j-1
rpn ( :.C) :::
......
n
'P'(:")
n
= ...•
n
C. C.

i-1 J-1
si
lu'="?ge suponemos que I.f'n (x) > 'Pt (x) resulla >
/
/ n
2
n
2n
i-1 > _J_ > 9 ( cc ) :;:: l' ( r-e ); as decir,
dende i > j implica
n
2

1'( x) < i-1 , 1 0 que es una conJra

t di eel 6 n.
2n
En consec'uenc ia"'tpCx ) ::;;p' (:,,),;
, n n
Si x € B se' ~iene que f(x) ~ n y ip (x) :::
n , anLonces coma
Tt n
f(x) S g(x) resulLa n S g(x), 10 qua implica que x € S' y
n
rp'(x)
Tt
= ri , es decir .p (x)
•••
= 'P'(x).
n

y 'p' (:-<) =
Si x € A n....
Y
\.
X € B' ze l.iene que ...
If' (x) = n
n,

as de-cir rp (x)
n
< v:n(x).
PGr Gons iguient-e, If' (x) ;:,;rp' (x) para Lodo x €: A. n E: IN .
I "I n
/9.2
....-- . FOROLARIOj
Toda funci6n medible f es el limite de una sucesi6n (tp Tt
) da
1'unciones madiblas simples.

1Y

, ~---- __----__------------,--------------~------~--a ----.a~N.-.~¥----------------

__~ __ &••
 . ..:. ". ;

DE l'-1OSTRAC I OH
i-
De 7.9 se t.iene que f = fi- f Y puest.o que 1: y f son

fUnciones no negaLivas, exisLen sucesiones de ~unciones med~

bIes simples (i.p ) y ('p') Lales qlIe Cl{> ) --+ t,i-y (.p') --+ t ;
n n n n
Luego coma C~ n- ~.n ) as una funci6n medible simple. para eada
ne;: [}I~. !',;Q t. iQnG
.
qUQ
..
('P
n
- 'P')
n
--r r " - 1:- ::: 1:.
~I. 3. PROPOSICION
f € A(A~fR) si y s610 si f == lim tp donde. rp n e: S( A, lR ) •
n n
n e: IN+.

Es conseeuencia de (7.10.).
OBSERVACION
L.~ propoc ,\C 16n (9.::3) n03 pel"mH_~' erar o t.r a de!' inie ion de
func16n medlble. es deeir la definicion (7.1) es equivalent.e

a decir que:
f = 1 im
n
tp
n
dande tp
n
E S( A, [R) • n E o-t.
Es t.a segunda dt:?finie ion t, iene e1 .~igu iente sent. ida:

Primero se define que la funcion c a r-a c t.e-r-fs t.d c a ~A es

medible, si y s610 ~i. 10 as e1 conjunto A. luego se define
que tp as medible si puede obLenersa a partir de Lales tpA

mediant.e sumas .finiLas y paso al limiLe. Coma el canjunLo A

pUli>dQ ":1.dent.if' icar:;;e" •••.la f'unc;::
i60 . 'PA ya ..que .~;<ist,e una
biyecc i6n ent:re L'a s f amil ias de conj urrt.ces y sus respect, i vas-
t'unciones caract.erist.icas se puede deeir que "1a5 runciones

medibles se obLienen a parLir de 10s canjunt,os medibles

et'ect.uanda oparaciones ariLmet.icas y de pasa a1 limit-a".
En cambio la primera definici6n est.a inspirada en la noc1on
de variable a1ea~oria de la Teoria de las Probabilidades. Si
f' est.a det~ inida' en un c ori j urrt.o , se pueden considerar 10s
punLos x E: A como "aconLecimienLos elemenLalesll y cada va10r
f(x) coma un numera que se apuest.a S1 sale el
aconLec imienLa :< e:nt,onees sa "paga" la canLidad r( cc )',
El numero f(x) es una v;).ria.b1e a Le a.t.or La que depende del
aconLecimient.o x que se produzca.

Tiene ent.onces inLeres saber la prababilldad para que el

i
numaro que salga esLe c ompr-e-rsci Loo en un int..ervalo (a,b)
da.do, por eJemp10 la probabilidad para que sea a < r(x) $ b.
 ;
' ..
. ,

§ 10. TEOREMAS D E EGO R 0 F F

y D E L U SIN

10.1. LEMA (EC-0ROFF).

Sea A c [Rn medib1e 1:-a1 que- /-leA) -c cc y sea (t.' ) una suces16n
Tt

de 1'unciones medibles y l'init-as que convergen en A a .la

C. > y .r- > 0,
1'uncion
exist-en
f'

un
l'

conjunt-o
ini 1:-a en A.
B c A medible
Enl.onces,
y n
dados
€: D"~ t.a1
°
que
rJ

/-l(A-B) < c y 11'(x)-.r (x)1

n
< 8, para t-ado cc E: B y t-odo n > n
0

DE MCr..:;TRACI OH

FiJando S >- 0 y > 0, del'inamos para cada n €: 0" ". el

'=-
conjunt-o
C
n
= {x / I f( x) - f
n
(x) I -< <:: }.
..
Como f
n
es medible para cada n e:: fr'+- y exist..e 1im cn = ;1'
, -.- ~-. un conjunt..o
ent.once:;: por (9.3) f es med ib1 e y c ada C es
n
medible.
Sea A ::: C r") en ... n en. .. , es decir
m m m+i rn+rs
A
m
= {cc e: A / I f( cc ) - f
n
(x) I -< z m}.
co
1uego si X E: A exist.e un A
TO
t..301 que x E: A , 0 sea A",,= U A
, m=.1 m
+-
Ademas se sigue que A c A para m E: 0'1 , 1uego
co TfI rn+1 .

/-l( UA m
) = /-l(lim
m
A
m
) = lim
m
)J.(A
m
) Y par 10 t..~nt.o dado & > 0,
m= 1
eX i s t.. e u~ noE: B,+
u 'a1
~ que para m :> n
o
se liene
J..1(A) - /-l(A
m
) = /-l(A - A
m
) -< ~.
Poniendo B y
A :::: m ~ n result..a quP exist-e B c A medible
m o
1:-al que J..1(A - B) -c B y para t..odo :< E: e, If(x) - f (x)1 -< ;:;
r.

para n > n .
o
 J" .~" _ _ •• "\ ; ~._

I.

10.2. TEOREMA (EGOROFF)

~-ea A c (Rn medible tal que, ).J( A) < 00 Y sea r rn ) una
sucesl6n de funclones medlbles y finlLas que convergan an A
a la funci6n f finiLa en A. Enlonco~, dado 8 > 0,. exisLe un
sUbconjunLo B c A medible t~al que ')-1.( A-B) < c y la sucesi6n
ef ) converge uniformemenLe a f en B.
n
DEMOSTRACION
Debemos hall a r un Bet.. med lble tal que ).J( t..-B) -c c y t..a L
quu qado e >- 0 Goxlst..eno6: IN+ t.a I que It'(x) - l'n(x)1 < <::
para n ~ n y t.ocio >< E B. Para .ello sea e'= Z-P y 0'= c2-P•
o
enLonces en virLud de (10.1) podemos seleccionar B c A
p
P € £N't' y enLeros n c que ciependen de p y c, Lal que,
P.v
)-I.(A-B ) -<
P
c2-P y I r ( cc ) - I'
n
(x) I para Lodo x e: B
p
y
Lodo n > n c
o::f'.v
Sea B =IIB, enLonces dado > o Lomando <
P=j, P

exist-e n
o
= n c Lal que, I l' ( x )- r r. (x)! < 2 para Lodo
Po'

B as dacir (1' ) con·.rerge uniformemanLe a r an B.

ro
Solo t'a1La. ver que )-1.( A-B) < c. En et'ect-o:
eo 00 00 00··
)..J( f....-B )
= )-I.(A - nB ) = )-1.( U (A - B
p
») ~ L: )-1.( A - B
p
) < L: c2-P•
p. ,:.t _~ . p=.t p=J. .. p=1.
-
Es declr )-I.(A-B) < c.
TEOREMA(EGOROFF SEGill4DAFORMA)
Si lim l' (x) == f(x) para Loda x E: A, Y si 1as f' y f' son
n n
medib1es y finiLas en A. enL0nces A puede expresarse come:
oo
A = 0 u CUA)
k
Glonde ,1.1(0) = 0 y donda la sucesi6n (f' )
lc=.t T1

converge uniformemenLe a f en cada Ak .

DEMOSTRACI O~~

C'.•
->.1 A = A
p
n S
p
, donde s= {x € [RnlI/xII .s pL resu1La que
p
00

A = UA Y )-I.(A ) ;$ ,u(S ) < 00, l1.1ego basLa probar

p=1. p P P
e1 Leorema

para. cada. A ya que si dernosLrall'los t..

p que cada se pueda
eo p
expresar coma A = 0 u (U A~) ,donde ,u(D
p P
) = 0 Y (1' )
k=J. X P n
 converge unil'ormemenle a :f en cada APk ~ se t,iene que
I
eo eo eo 00 eo co
A = UA = U (D LI ( U A~))
P
= (UD) u ( U ( U A~))
p=.1 P P=.1 k=.1 p=1. P p=.1 k=1.
de donde
00 oo 00

A = D u ( U A.) D = UD == U A:.'con )J(D) == o y (1'

n
)
le:: 1. p=.1 p p ==.1
converge' unlrormemenle sabre cada Ak.
-I-
Por (10.2) , para cada k € m. exisle un Bk"lal que
)J( A - B ) < ilk Y (f') converge unif'ormemeonle a l' en B,.;
p le n I<

es decir, para lodo 8 :> 0 exislen n.t para B , n2 para

1

B2•••· .nk para B

k
, " enleros posilivos. lales que
I r ( c-c )- c n(x) I -< 8 para n :> nle z-c <EO Bk dendG> le .:;;: IN'" per ~o

por 10 t.a n t.o , si ponemos A

~
= B Lt
1.
B u ... Lt
2
B
le
se liene que
exisle n o == m..a:<{n
.1
.n2 •....'le
n } lal que \f(:<)-1'
n
(x)1 < '::: para

n > n 0 sea (r ) converge unlformemenle a f en cada Ale"

o n
Luego come (A - Ale) C (Ap- Ble) se liene que
p

1
)J( A - )J.(A Ble) < iZ para X: E: 0'1 + por conslgulenLe
p p
c.o
)J(A - LIA) == 0 ,
P k",J. k
00 00

Poniendo D == AU A se tiene que, A == Du ( U }.\k' ) dande

P P x=1 k P P k=.l
)J(D )
p
= 0 Y (f
n·
) converge unlformemenle a f en cad a

10.4. DEFINICION
Diremos que la runc16n f de1'lnlda sobre el conJunto medible
A verlrica la propiedad (c) sobre A 3i dado 2 > 0 exisle un
conjunlo eerrado F c A lal que:
10.4. 1. )J(A-F) < 8.

10.4.2. r as conlinua sobre F.

10.5. .,
Las rune iones s imples def inldas ::;obl"et. c [Rn medible
verifican la propiedad (c)
DD10STRACIott

Si 'P € S( A ~[R ). enlonces. exisle una particion medible

(A •.. A1. •..• A)n de A y numeros reales dlfel-enles

.t.
 \.
"

CI.. • CI.'J"'JCI. Lal es qua. rp( X) :::: I::: Cl.i.If> A (:<) para t.ocio cc e: t.. ,.
1 \. n i. '~1 i. "

(5. 5) dado c: > 0 pede-mes esceger para cada A\. un

Por

carrado F.\. c A\. que J-1( A - F. ) < Luego poniendo

\. I. n
n
F ::::(fF., resul La que- F es c e r r ado ,
. \.
\::1.
Tt n Tt

.- A. - F == Il:JA \10\1.( A-""'-F. ) -y

i. . L 1-
i.=1
T. Tt
~l- _8
~(A-P) -s L ~(A - P.) ~
n
:;:; C; •
i.= 1 \. \. \.;;t

Ahora nos rest..a probal~ que <p es cont..

inua sobre F. Para

allot sea (:< ) una z uc e sLori d~~ punt..osen F y (x ) ~ :z

n Tt

con :z Eo: F. Como los F son cer'l~ados y d isj unt..os, claro

i.

que perLenece a un unico F i. Y que a parlir de un n

'Z o
suiicient..ement..e
grande. X
n
€ F
i.
para n > n0
') 0

Por 10 t..ant..o
para Lodo n :::- n se Liene tp{x ) :::: Cl.
i.
= f{><.z).
0 r.
0

decir y..--< >;: ) convol'ge a 'f'( :z ) ~ 0 $ ea. p es cont..inua sabre- F

es
n

:10.6 TEOREMA (LUSUS)

A c ~n medib1e y f: A ~ ~. Ent..onces f as medible. si

y s610 si. ~ verifica la propiedad Cc) sabre A.

DE~10STRACION

Si l' es medible, ent..onces por (9.1) f(x) = lim V' (x).

n-?CO n

donde If> e: S( A; (R) y por (10.5) cada If> veri~ica la pro-

n n

piedad (c), as.decir dado 8 > 0, exist..en cerrados F c A

n.

lal que ~(A- P Tt) -< <:: 2 -n-l y 'Po es corrt, inua sabre F
n )....:
~:.'~

£'-eaarrora , j.J( A) < 00. En virt-ud de (10.2) exist-a un 1~ ..- c A

o
~
con ~(A - Fo) < ~ t..alqUE.' la sucesi6n (If
n
) converge uni-
formement..e a f sobre F evidenlement-e pedemes t..emar F
o o
cerr.do.
00

Poniendo F = F
o
n ( n F
n
) se t..ianaque F es cerrado
0=1
y la sucesi6n (t.f'n) conver-ge t.mil'ormement-ea f sebre F.
luego f es cont..inua sabre F. Ademas, dade que

'" ...-_.fle
 .• 4 •.• I

eo oo
A - F = A - (F
o
n ( n F r.» -' (A - F
0
> .L, ( U (A F ».
n
rr=i TI =.1

se Liene que

).J( A-F ) + .< + € 2-J')-~ c..,

o 2 /

/-l( A) :::.:00, sea A :::.: A n (S· - s ) para p I}'" .

P P '1"-.1

£s claro que cada A es de medJda flnila y por 10 probado

P

exisLe un cerrado F c A Lal que y

p p

t.a I que f' es cont_lnua sobl'e F .

I"
eo
Poniendo F = I!;ll F se liene que:
r-
1"'=.1

iJ( A-F) ~ - F
r-
) -c c:: 21'" = e;

y C es continua sabre F.
Ahora supongamos que F as abiert_o. Como F == InL( F) u Fr( F)
:;e liene que:
Si Fr( F) == 'P. ent.onc!?s F P.S ;-.bierlo y c o r r a do .
Si FrCF) 7- rp, enLonces exisLI.? z " E: F"(F) par 10 tanlo
z ' 9!:.. F, 0 ::;ea. :z' RC F pal'~" todo p €.[}/', pUe?" F as abiarLo.
P "
Enlonce?s para Lodo c:: ::> 0
oo
que d(z.z') < I:', coma F = \!21 F
I" = 1.. I"

que Z E: F pere F = F
f.'
y c omo d(::,z') .-.::
:::: enLonces
Po Po Cl

la c u a L as una conll-adicclon. Pal' consigulenLe F

es cer rado. Recf p r c-ca mon t o , si f -'!er if Le a 1a pl'opiedad (c)

sobre A, se t.iene- que n e: 11I+ c A t..!'\l

.1 00

Y f es contlnua sobl's- F
n
Si H == u F ,
n
n = I

,,"nLonce::; H c A y al conJunlo Z = A H t..lene mfi?dida

cera. De donde
{x E: A I r (:.t;) > A} = {cc e: H / F( =~) ::- x ) l..' {:< G: 2/ l' ( :<) :;:. a}
 '.

I x ~
/ I,.
, \'"•. ·..,!((I')~.'
-- 1 1

:( \,

U
1\ ~ I
'\

- " . .
A
I
( ~ • ;"4 , - ,,,
, I
I
I
"
e 1 ,. I , ,/ .7
, J
,
" \' ( (1 VI J (hI I (J .: .' .' ',. ( -:
'I--{ 'I..-
I

..t~ (CU
rr-
(I
.,
\1 d ~ " \' \., ( r l,.tt
, I
.. "(
:
.J
I 1! .•••) z- .:. f
f
'-,. r
\11 e •..
, I
Lfl I
f .j .'
4 ' !" f ) , ' ..
I
., I

.'.
,
 CAPITULO II1

§ ,11_ L At I 'N T E G R A L o E L E 8 E S G U E D E

.,F'U N C ION' E S SIMPLES

11. 1. -DEFI1HCIO)'4
~an A c [RT. medible y :.J> (A
.1
,A
2
t. , ••
'p
A > un.::. p.::. I~ t- i c: i 6n
p
medible de ....•.
• S-+-(A,IR)
e-
o sea = [C(I{> (~) con
. ~ A,
1.= 1 t

C(,~
~
0, , . ' se define la integral de Lebesgue de
I[> sobre A con respect,o .a la part..ici6n J> y se denot..a por
P
I(I[>. Y) 301 numero real L cq..J( A,); \-:?s dec i r
i.= 1 ~ I.

p
I('P,Y) = ,
L ~ ).l( A ) l. ~
t;
\.=.1

La definici6n anterior depende de la part..ici6n medible

1> = CA l ) L..:1.~p -c": ~ de A, luego hay que p r ob.ar- la independenci..a de,
I('p)·respect..o de e:;ta p;;u~.l,ic:.i6n.
Es decir, si :,P' = (A',
J
) <,,<'
L...:J.....:q
es olra p a r t Lc Lors medible de A~

enlonces de las relaciones

p q
L Cf. ip (0<) y ,(.,>( x ):= , [ C( j 'p,\ " ( )( ) con
\.=1 1. '''t, J ::: 1. J

cc, ~ 0, i. .;;:{1, ' . , . ,p} y Cl' ?:: 0, it { 1~. . ,. •q }

L j
se sigue que I(ip,:J» ,= I ( ';".
:.P' )
En elect..o t si consideramos la p;)'J-l.ic 16n

.'P~ = :r n;P' = (A
.11
, .• A " ...•
1.)
A
r..q
)

donde A =: An A' e: {l, .. , .. ,p} vJ'.::;:]l

"' - l ••.•..•
q} ~
\.j L j
siendo alguno de ellos. £01 conj trrrt.o vacio; de las relaciones
q p
A=: ,\2) (A n A' ) y A'=\2J(A nA')
L J= l. 1. j j i.= s : 1. j

:;;e sigue

- 01
 ,..,_.
!...II': L

q
11. 1. 1. -
L Clitf>A n A'.'
(x\
,
j =: 1. \.
J
q q p
11.1.2.- lp{:of) -= L ~. tp • ( ,..) ::::L
(x)
i= l. j A j j= l.
.L~jtpA,n A'
t =: 1 \. j
Si en (11. 1. 1) Y (11. 1. 2) Lomamo::;; A \n '-A" j ";·nt..once:s
:of e: ""
If' ',(:I«) -::; 1 y =:> 0 :i1
A, nA. , If)
TA nA'
( ,..)
x f'?! AnA, 10' que Lrnp I Le a
\. J ~ j t J.
que C(. Y tp(:-<)::::aj -:(
\., en consecuenc'"ia <t z:
I

~j
p q q
L .
L a \.,uCA \.,tv». J~ ) = L
i::; J. J:: 1. j=.1

o sea I ( tp, ~?) == I ( If'. Y' ).

asi der1nida una ap11c3ci6n I: S •.( A, IR ) u {co}
dada par •
p
I ( 'P) ::: f Ifdf-! -= L C\~J( At ) p.'),rZL Loda.
A \.=.1

Ademas ~e cumple:
11.1.3 Para Lode I.,.') €
letf') ~ 00.

11.2. -EJElv1PLOS

11.2.1. - S1 1(>: [0,1] -+ IR t?::>ta del'inJ.de por

tp( :-<) == ltp (x > + 2tp ( =< ) + 3y.~ . (=< )

[0 ~[ [~ ~[
, 3 ::f' 3 [;-,.1..] __ .
se sigue que
.-1 '-, 1 2·
- f!.fd,Ll :::: l,Ll\ (0, §[) + 2,u( [3' 3[ )
[0 . .1)

= 11 ~ + ~
_1
3" +
31_.::,
3" - ~
11. 2. 2.- Se-an A c [Rn medible, (AJ., .. , .. , Ap) una pal-t.iclon medinle

medible de A, C( ~ 0 f'ijo y tp( x) = cc, Ent.onces para Lodo

x e: A, se Liene que
p
f !f'd,u ::::
.
L C(,u( A, )
1.
= C(}.1( A ).
A 1.=.1

En part.iculal'. para et:::: O. fOd}.1 == 0 pues O. 00 :::: 0 y

para Cl = 1,
A

11. 2. 3. - S1 if>: (0, 1 J -? fR e s t a de!' inida par

:::: if>Q(X) donde Q:::: ~ n [O,lJ e I = [0, 1) - Q. 0 sea.

:::: ltpa(x) + OtpI(:-c), se t..iel'e que

- !::12 -
 tp{x):: 1tp (:<) + O,p (oX). se t, i.ene que.
a I.
JtfdJ.1 =
l,u(Q) + 0/-1(1) = 1.0 ~ 0.1 ::0
[ 0 • .1 }

11;2.4:.-Si A c {Rn es medible, IJ( A) < eo Y If' : [Rn -:' [R &:;:\.,3, de!'inid3.
r
par .r.!)
.'t'~x .. = tpA ()X para -t 0 d 0 X E: rc , 0 sea L;" ••

tp{~) :: 1!f> (~) + O.p (x), se sigue que

A CA
f'eA d/-l :: 1,uC t, ) + O,uC 'eA) = J.1( A >
!Rn
puesLo que J.1(~A):: 00.
11. 3. -PRCPCSICICN , .
. ~t \' 4'~ c :

Si tp E ST(A,{R) se Liene que

'"
11.3. 1. -Si J.1( A) :: 0 enLonces flpd/-1= 0
A
El reciproco no es cier~o ~1.2.3)
11.3.2.-S1 0 ~ ~ (A) < 00 enLonces
DEt10STRACI CH
.J :,-.
.•.. 'r: r:-
(A, p. ) 'entonces Ip :: L C( 'PA con et.
\.
?:: 0,
1. =.1 l l

F'
= t, 1uaoo = .L
r et u< A \
i,' ' c :
-= (I
i.= 1 ~= 1
11. 3. 1. -Si ,u( A) = o c omo A.t, c ft.• Y entonce:::
para i. E: {1 •..•. . p}
p
1 uego I ( IF') =
•
L: C(
'..
p( A. )
1.
:: 0
\.=.1

11.3.2 Come para i E {1 •..,...• p} se tiene que O~ J.1(A. ) < cv

\.

1='
o :S I ( tp) = L: ~. /-1(
. 1
A > <
\.
C.6
\.=.1

11. 4. -DEF'INICION

Si A c ~n medible y tp E S:(A~~), se define la exLensi6n

,,,- +(lc:TI
•.... In)
Liene enLonc:~:!: que 't''' C:: 'u'" ,IT. Y
f' F'
IrAp
T" A
+ O'p
CA
-= [ Cl.
t
tp
A
tp + Olp
A CA
"'" [eti.tpA nA + OrpCA
i.=.1 i. 1.=.1 i,
P
= ,L l=.1
C\'P A, +
1
OIPeA

- 93 -
;:C.\r:lt=iC!"\ L.:.'IIVE:;SIC..\D CXiCLlC..\ cz , ?E?\U

La inteeraL de Lebes8'le de /"Un.ciones m..edibLes

po
PfXI)J = L Ct/l( Ai.) + OjJ( CA) ==
eR r. i.;:.1

11. 5. -COROLA.~IO
Si .A c [RI'. med.ible enton.-:::es f1p",d,u::: ,u(A).
(Rn

DS".l0::::.:--:TRACI
ON

Como tp : (Rn---'\-!R es la exLens; ion de tp: A ---,\- (R de!'inida per

A

~x) :::
1 para x E A, se sigue de la definici6n anLerlor que

ftpAd)J = fld)J = ,u(t.)

~;-, A
11. 6. -CORt."L.ARIO

Si A c ~n y 9 c ~n son med1bles y A n 9 ~~. se Llene que

f!pn d.u ::: )J( AnB )

A

DEMOSTRACION

S1 t.nB y:!1', coma B == <. AnD) \2.' (9 - :..) se s1gue que

si ~ € AnB enLonces:

If' (:.c)
B .
= If'
AnD
(:.<) + [ if' n
n
_ A( ~() de donde

'rB d.u = l.u( AnB)

Jr,,., .-\- O.u( B - A) = .u( AnS )
A

11. 7. -PROPOSICION (ADITIV1Dt.D Y HOl-iOGEtsE1Dt.D)

Si t. C con
I.I\. es medib1e, v> .::,.+ I.'.. J-t,U"rn)
E: .r
Co
•• tp • E::S +
•
(A.!.R)! y et z O. se

t.iene que la. ap1icaclon derlnida per

.'[(1{» == flfd)J es adil·iva y homo£jenea. es; decir:

A ,"

11.7.1.- rctp + if") = ICIf') + I(t.p') (.AdiLividad)

11.7.2.- 1(Cf7O) == l...~1(if') (Homogeneidad)
DEMOST.RACION

Si tp,t.p'E S:(A,~) enLences exlsLe una parLiclon (Ai~SiSp

medible de A para la cual ~ Y tp' son simples con respecLo a.
(A. )
l.
<,,' < ,
1....::1.-=p
es dee i r

- g.1,
 La i.ntegraL de Lebesgv.e de f1.J"n.ci..on.~smed.i.bLes

I{> = i. L: =,tp A- y I{>' = L: C( ~ If' A ~ de donde

:1. i. i. : j. i.

p p
_.;=-L: (et, + .o ' )J-1( A. ) ::: L: c<. J-1( A) +
i=J. '-. i. ~ i= J. \, ~

I"
11.7.2.- Si C( 2::0, ent-once:=; (Cltp)(:..::) ==
.
L: CIC( If'
1. A.
(;.::) de donde
t.=J. \.

p D
.I.( C<'f' ) ::::
L c<C<vu( '\.) ::: ce.,£: ce.1-'(A,)
. \. I-
== ce1(.,.: .•)
i.=1. I- =.1.

11. 8. -COROLARIO (}'.lONOTONIA >

c:
...,j,L ,,)
•. '.. If'}' -
f:::. e"c
.:» » <- •••••• , £R \/ 'y' .f)
r ~ lp' ent-onces

Si JP ~ 'pr I{>'- p ~ 0 de donde I{>':::: ~ + (tp'- p) luego

I ( lp' ) = I ( If) > + I ( '!" + '/-") ?!: I( If> )
o :=;ea l('!" ) 2:: I(,!,>
11. 9. - PRCPC'SI eT eN

as una parlicion medible de'A se

t..iene que·

f 'f"dJ--! == + f tpdJ--! /
A A
2

DE~-10$TRher O}J
Si (A' .....• A', ... ,A' ) e~ una. pal't..icion medible de A.
1 I- P
ent-onces :P == (A' nA .1 ) . ,A~nA
\..1.
, .. ,A'nA)
f-' 1.
y
1.

Q = CA' nA
·1.2
, . • A ~nA,
\. 2
, A' nA
f.' 2
>
son part-ieiones medible:; d~ A Y A rg-PQc~ivam
1 - 2

una pa.rt-icion medible de A. luego

p 21"
.'
If>:::: <'" Cl 11.)' + <'" Cl 'f'A' de donde \
L iT A' nA L i. nA
i:: 1 1..1 i. :: pt-1 \. 2

f.' 21"
L ct./.A A~ nA ) + L: cl).J(A~nA
I. I- 2
),
i.= 1 I. \. 1.
i. = p-rl
o sea ::::
f tfC).J + f yx:i).J
A A
1. 2

- 95 -
,. ?o~rr:r!C:A U~II'lE:1SICAD CATCL:C). D::!...,.'~:-1U
La inteeraL de Lebes8'le de [urvc i c-rve-s: mod i b l ee

11.10.-COROLARIO

Si ~ £ S·(A.~) Y B c A as medible, resul~a

~
< fifd~
A
11. 11.-COROLARIO

11.11.1.-Si 0 ::::Cf:::: t.p{:-<:) :.S {3 p3.'~~ 'Lodo r-e € A, ent-onces

~I-I( A) ::; f -.pd~ ::S (1~( A )

A
11. 11. 2. -Sea <:: :> 0 ~al que tp(:-<.) > 2 par a Lodo x e: A. Si del' in imos

resulLa que ~ e: SP(A.~)

.. y

f'l-'(J)..I - ':}-J( A )
A

8~st.;a.aplicar (11.8) Y (11.7.1).

11- 12. -LE}1A

S~4).n A c (R'''' JnQdiblw., (If"> ) un~ SUCGS 10n no docroc.ient.e,
n
de rune iones simples no f)l:::gaLi-,r;::,.s
0 sea If"' y
ro
~ n :.S If' n t-1 pa r a n c O'l~, V 1.i m ~ = r punLua1mont.e.
• 1', 1'",
Entonces si ,-~T( A JP \
sat.. is:fa.ce
l.).J E ..,j ~ ,....) ,-1'- , la
se Lie-ne que

()tJCIu
J'f" , <: .till! Iq:> d~
n J n
A A
DEr-10STR ACI OH
-----
Como tp:.S
n
If>
n ..•..
1.
pa r a n £ (t)", Se:,. sigue- que Jr~ ndJ..J~ ftpd/J
n+1.

para n £ ~T Y en consecuencia la sucesi6n de n6meros reales

[fA
tf>n d,1..1 ) es convergent-e. 0:::> S E~a e~<ist.e-
e1 1 imit.e punt.ual. as

dec ir .1imflp d,u ::S co ,

n n
A

Consideremos los dos casos siguien~es:

11.12.1.- Sea /-1(/,) = a < 00, ent.cnc:esdado Z > O~ ex-isLe par' el
Teorema de Egorof'r (10.2) un conjunt.o B cA t.al que
,u(A B) -c y 1 f,m 1f'1'"'= l' uniformemen~e en B. 1uego
If> (x)
n t;
?:: f ( ;,) -
o
8y Lode x a part.ir d~ un cier~o n = n € B.
Como r ?:: VI se slgue que ep (x) ?:: wC:=.<) - <:: para n ~ n y ~odo
'. r, o
x € B, de donde aplicando (11.10) y (11.9) result.a:

95
I •

La i.n.tes:raL de Lli>beS6ue de /1..I.nciones medibte-s

,... ftp n
d,u ~ ftp d,u ?:
r.
f(~ - ~!d,u == f~,u - 2,u(B).
A D H B

= f VJd,u f vxJ,u 2,u( B) ~ f ~Jd/-l - }-1,u(A - B) - c,u( B )

A A-D' A
donde M repJ~esent-.a el maximo de '11' en A.

Como ,u( A - B) < 2 Y M. ).l( B) son eonst.anles se ,sigue que ..

ftP,nd/-l ~f~.u - ~(M + ,uCB»

A A
10 que impliea que fV/d,u ~ lim ftpnd,u.
A' n+c'O A

11. 12.2_-2..ea ,u(A) = w, eomo VJ E. S+(A.rR)

•.. se liene que

00

== L C( If' ( :-<) donde (A

3. '
•. •t•.•.
1.
,A )
p
es una pa r t, le ion
i.=1. 1. Ai
p
medible de A. o sea A = ~I A
\.'" 1 i.
'_f C~
\.
?: 0 p.a r a i. E: {1.", P },
Si para algun A., 1p t..orn.2L e-l v.a Lo r- c e r o J' eOI~dt?nando. s1
1.

es. neeesario, las subindiees podemos suponer que

s
a = 0 y

obt.ener -< C(, lUQgo ',I.'(:<);?:' Cl.> 0 par~ t·ede:< ~ B

p L

== i.=~ 2
A.
i.
Consideramos ahora los dos subeasos.

11.12,2. i.-Que ,u(B) < 00, ent.onces; como V'(:-':) = 0 para :< EO: A,
1
::;;e
'\:.-
iene que:

fl,1)d}.J == fl,lJd,u + J\"dJJ = J\,vdJJ

A A n B
1-

1uego como JJ(B) < 00 por e1 caso 1 result.a.

fB';.>d,u ~ 1i mJ'1f' dJJ

n
B
n
~ 1i mftp
n
A
n
dJJ

o sea J'II'dJJ 5 1 imftp dJJ

n r.
A A
11. 12. 2. 2 . -Si ,u(S) == 00, por el Teorema de Egoro.ff'( 10.3)

B = Du
00

\i! B donde JJ<~;J

e, = B n B(?, n ) donde ,u( B n) < 00 Y
n=.1 Tt

tp ~ f un i r or memerit.e . Luego e~iste C = en c 9 de medida lan

ri o
c e r-caria a ,u( B) Y en c orusec u en c la a r o It, I-aI' iament-e gl'ande; eos

decir. dado M > 0 ~an grande como ~e quiera exist.e C c B ~a1

que }-l( C) >- M y ,(, (x) --; f(:<;) par'~ l.odo :< G. C (unil'ormemenLe).
r.
, 11.. ~
Como f(x) '> )I'(x) ?: a > 0 para t.ocio x e: C ex~st..e n € Ul
2 0

t.al que para n ~ n se t, iene que If' Cx ) '» = ex > 0 para

o r.

- 97 -
 '"

'\
,~"t~# ",
1
l,i.

.'::C~ITI;:lCl.'\ U:-IlVc.:::'SID ..l,D C•.\"70LlCA DEL ?!:RU

,
" La integral de Lebes8~e de f~ncion9s medibles '.

t.odo cc E: C.

Luego para n ~ n r es u Lt.a que:

o
f'P T.
d.u :c f~ 1")
d.u >
A C

esto impl iea que -1 imf~

n n
d,u = eo que
C

11. 13.-COROLARIO
Si (cp ) y (1p ) son sueesiones no decrecient.es de f"unciones
n n
sirnp1es y no negativas sobre A y que
(tp ) ~ l' Y (1p ) -;. l' punt.u.dlment.es.e tiene qu~
n n

1 irnftt:. <'1)...1
r, r r, .
A
DE HO"--::1RACI Ori

Para cada n £ ~~ fljo se Li~ne que lue-go

o

aplicando el lema anterior rosu1ta

J"y; r,
A 0
d,u ~ 1;,mJlp,.,~,u
A
de delide cencluye que

lim rV' d)..J = 1~mflPr,d.u

r, J Y.
A A
manera, an~roga ~~prueba' la ot_-r a des i gual dac:r:

- !,;18 -

-. - ..... ----_ ..-.- - - -.- .. ,-

 -§ 12- . L A INTEGRAL o E L E 8 E S G U E D E
,

I
.~
h
FUN C I '0 N E S MED I 8. L E S

,
],
}
12. 1. -DEF'INICION

Sean A c!R
n
medible y .f: A ---+ [R medible ~ 0 :::ea A Ei: ,At j'

I.,
I enlonce::: por el lema :fundamenla1 de La s
Iuncienes medibles, exisle una sueesion no deereeienle
(tp r, ) de Iune iones medibl es :: impl es no negat. i vas def in.idas
sobre A lal que lim ~ = 1 punLualment..e.
Tt '"
091' inimos enlonce:;; La Inleoral de Lebe:;;gue de la j'une ion
I

medib1e i: sabre A y la d",,·not.amo:;;p-o r- Jl'd,u 6 1(1') a1 numere

A
real cS 00 dado por In siguienle 19ualdad

Jfd,u := .lim J'Pr.,d/J 6 rc r» "'"lim ICtp )

A
n A. n n

En virt..ud de (11. 13)' Gst~ derinici6ri 95 independient.5 dD la

sueesi6n (pr. ) que converge a r y en eensecueneia la inLegra1

ffd,u esl.:i bie-n definida.

A

Se s igue- de" 1 a de-I'in Le itSn qU!2' 0 ~ ffd,u ~ 00 y se dice que

A
~ es integrable- sobre~, si y solo si, 0 5 ffd)..! <:: eo,
A
Si f.t'd/-l = cc de-cimc:;; que l' e:s: inle-g)'abl e en £01 :;;ent.ido
A
generali:zado.

C9 la def>nieion y de (11.2.2) se sigue inmediaLamenLe que

si f(x) = 0 j:Jara t.cdo cc c:: t. ~e Li '~l que J .fd,u 0::: 0

A
12.2 -LEJ'1P.
Si i' .lA. .•. .At""
€
0
(A; [R ). 9 a:
0
( A; [R ) Y r ...l
0<"
g 9nLonc9S
ffd,u S fgdJ..l
A A

- to I

, .
 DEl'-10STRACIOtl

Por (9.f:3)· da.da.s f y 9 exi~len sucesiones no

decrecient-es (I.{> ) Y ('1)1 ) de !'unciones medibles simples no
n n
nega.tiva.s tales que
lim
r. If>n ::;;.1', llm
T,
\I'
rv
-. 9 Y 'P,., -"
-e-
V',., para n e:: 0"+ luego
·a.pl icando. (-:1.-1. a) swe t...i.;;n~
J'P,.,df-J ~ f~,..d)..J Y ·-Lom.o:.ndo
A A
1itn! t.@s r-QStJl t..~ fl:d)..J;!;. J9dJ..l
A A
12.3. -DEFINICION .J
Si l' € .M( A, eR) enlonees .f = !"r _ t: dond8o 1'+€ .M+(A, eRJ Y
'"
eonsecuene ia 1as int-egral es If+ dl-l y
A

fr-dl-l esL~n bien definidas y se cumple que

A

o ~ 1'1'+ d.u ::S eo Y 0 ::S Jf·dl-l ~ eo.

A A
::;; j f
~ + d/J Jl~-d)..J
Se de!' fne e rrt.oric e s
fA 1'd.u A
- dIce que
A
80S int.egl~able sobl'e- A. .-. ,.L y
..::.•• s610 y son
inLegrable-s o sea o :::;ff'" d,Li -< 00
Y o ~ jf-d)..J < CD, 10
A A
que- .implica que -(,0 < f.r'd)..J < +(,0,

A
"Si fr,1- d)..J = 00' 6 .. -
J!'=d).J =.CO·
se dice que. r es. integrable sabre
A A
A en el senLico generallzado,lu8ogo +00 6 = -co

SI las do::; ul Limas int.egral es son iguales a + cc 6 -00 se

dice que no es integrable sobre A.

f".,.e la de.t'inieicSn y de (11. 3.1) :;;e sigue inmedlat..amenLa que

si )...I(A) = 0 y f E A(A;~)
enLonees f as integrable sabre A
Y Il'd)..J = O.
A
12.4. LEMA

....
Si l' E .At+ ( A; fR) y
o g e: Ato( A;fR) ::;;on integrables sabre A y si'

a ~ 0 se tiene que l' + 9 Y ~ f

son integrables sabre A y
se cumple que fer + g)d).J = f!'d,l-J + J9dJ-l y
A A A
fC Cd' )d)..J = et !fdp.
A A

• C'

'~::·'lo'
 ®

GATCLe,)"

DEHQ::,-rRACION 1

En eIec~o, si I ~ 0 y 9 ~ 0 exis~en. en vir~ud de (9.1),

sucesiones
negativas
no
Lales
decrecientes
que' Ifm ~
n r.
de
= I,
funciones
Ifm
rr
Vi
rr
n:edible::;;
:;imples no
J
0 ~ Jl~dJ.J
A
- 1 t,m. fe;dt-J <
A
C·;)
Y o ~ fgdt-J
A
= 1j,m fl,lJn dt-J< eo
A
de donde, como (tp + ¥'.Tt ) ...
es una sucesi6n no decree ien~e. de
Tt

-f"unciones medibles; simples no negaLivas Lal. que._

lim
Tt
(~
n
+ e.>
n
:: I + 9
se sigue de (12.1) y (11.7) que
-
o ~ f(1' + 9 )djJ = 1 Lrn
n
f( 'P
n
+ 'I-'
1"1
)d,u = 1 Lrn
Yt
j't('
r,
d,u +
AA A
= Jfd/-l + fgd,u -< 00
A A
10 que prueba que +'
J. + g: es integrable y que
r,.
J"J. +'
+ g/'d J.J = JLr., d t-J + J9
r d P-
A A A
An;ilog.3.men~e se demuesLra que et!' es lntegl-able sobre A y que
f< ea: )df-l
A
12. 6. -LE~1A

Sl f € ~(A;~) se Liene que f es integrable sobre A, si y

s610 z L,
DEt10STRAC I OH
Si f ~s inLegrable sobre A, entonces 10 son 1'~ y f ,luego

I coma \1' \ = 1'+- + f se sigue. en virtud de (12. od), que

.1
fl1'ldJ.J' = fU'+ + f-)dJJ = ff·~dJ.J + Jr-df-l < eo
10 que impllca que \r\ es integrable sobre A.
Reciprocamen~e si If\ es inLegrable sobre A, 0 sea flf\df-l <.: co
A

como 0 ~ 1'+ ~ y 0 ~ f \r I~ se sigue de (12. a) .que

o ~ f1'~dJ.1 -c eo y o $ ff-dJJ <.: (0 10 que prueba que r~ y r-
A A
son inLegrable~ sobre A y en consecuencia 10 es r -= r ' ...•.
r ".
12. 6. -DEFIHICIOt-~

Si A c. {RTI es medlble, denoLemo:; con X(t.,L~) 3.1 conjunLo de

t.odas 1as f'unciones int_egra.bles :;;obreA, es decil-:

x; t.. fR) = {1~ € ",jI.( A, IR)/ -co < ffdf-l < +oo}.
A
Se ~iene enLonce:; la siguienLe:

12.7.-PROPOSICION
.:e(A,rR) eo:;;. un e::;;p~cio
vec;t_ori3.1
con La s oper.::l.ciones
definidas

- 10.3 -

! I
?O~JTI;::CI)' UmVE::1SID;1.0 C;\TOLlC,-\ D~L ?E:;,U

puntualmente y 1:1 :lplicacion I::e(A,tR) ~ !R def inida par

I( i· ) .; ft'd.u e;' lineal, es decir:
A
~2. 7. ~ .r(
A.
l' + Q
-
)d.u = Sfd
A .u + Sgd.u
A (adiLividad)

12.7.2 f< cd )d.u = Cl f fd.u ( homageneidad )

A A
DEMOSTRACIOH
Para proba.l- que :e(A,IR) e$ un t?sp.:lcio··vecLoria.l real con las:
opel-aCl.Ones def .1..nida:s pUl"'lt...ual mo n t o , ba.sLa·· con probar que si
r £ ~CA.!R) y 9 E ~(A.!R) enLonces f + 9 E Z(A,!R) y
00' e: XC A.!R).
12.7. 1 Sean .1' y 9 inlegL:lbles .sobre A. Como

If I I9 ,. !1'! ~ y ?: 0,
se sigue
+ 9

de (12.2) Y (12.4)
+

que
0
°
o $ f11' + gld.u $ fe [f!+!g!)d/J = flfld.u + flgld.u < 00 10 que
A A
implica que If + 9 I €: :e( ~. [R ). luego en virtud de (12.5) se
:r:igue que f + 9 €: :t( A. !R ).

Para demosLrar la aditividad de la in~egral recordemos que

r - .'~
.. = 2:
si integrables sobl'e A, r f" y
.. Y- 9 SOl')

~-..•. >-
= donde - .•.. 0, f ?; 0, ;:: 0
9 9 - 9
°
. .~ &""". 9 Y 9
son inLegrable~ sobre A.
Se Liene enLonces que
t: + 9 = (t' .•..
- 1.' -) + (g ~-. 9 -) = (.f'" + g.r) - (.f' - + g- )

Por oLra parLe como f + 9 =(f + g)+ - (f + g)

se sigue que. (l~ + g)+ - (r + g)- = (:f++ g+) - (r-+ g-)

o sea (1' + g)" + (t' -+ 9 -) = (f + + 9 +) + (1' + g)-

igualdad en la. que t..odos 10s stlJnandos: son mayores 0 igua1es

que cero e inLegrables sobre A, de donde. en vir~ud de
(12.3) y (12.4) se sigue que
JU' + g)+d.u + Jc:r-+ g- )d.u = J(f'+ + g+ )d.u +
r«
A A A A
6 t.ambien
J(f' + g)+ d.u fer + 9 )-d.u = JC 1'''·+ g+ )d.u - f(1'-+ g- )d.u
A A A A

::;
(f!'+dt-l
A
f1' - dJ.11
A. )
+ rJ
"A
9 +dt-l fg
A
-d.u J
es: de-cir

J( f + g )d.u ::; Igd.u

A A

10 que prueba la aditividad.

- I tl 4-

. "":
 ---'-

12.7.2 Sea l' int...egrable sobre A. ent..once~ f = f+ - f con

-~~ 2: 0 Y f' 2: 0 int...egrable~sabre A.
Si ex 2: 0 ent..onces cct'=(Ctf)+--(Clf)- y

Clf = Cl(f+-- f-) == Cd,+- ca'

10 que implica que (cd.' )+-+ cd: - ~Cd' ).+ Cd'+-,

donde cada uno de los sumandos e~ no F1egat...ivo

e int...egrable
sobre--A, lu~go

f(~ ..(~.}J + + f ex!' +- dJ.1

A .It.

o sea
J( Cd' )"" d,t....t- J( CIf >* d,.., == J e<1'""d,.., - f Cif ·dJ.1
A A A A
que en virt...udde (12.3) y (12.4), se puede escribir
J( ctf )dJ.1 :: Cl 1'1'+ d,.., - c~fl'-d,..,
A A A
es decir
f ( Cif" )d,.., "" ex fi'
dJ.J
A A
S1 C( -< 0 ent...onces-Cl >- O. luego (ctf)""= (-Cl).f y

dondl? Lodo::;: los ::;;umandos :s:on no n gat-l ',10:" Q inLGgr.-;).bl

QS,

sobre A, la q~e implica que.

f< Cl1' )+- dl-J - feCt.!' fdl-' = fC -OI;l'-d,w - J< -01 )1'" d,u 0 :"Q~
A A .It. A

J( cif )dJ.J - = (-;)fr-d,t....t -"(-ex)Ji'+dl-J

A A A
decir S( CIf )d)..! = ccfr" dJ.J - ccf r -d}J
A A A
de donde result...afinalmenle que

.rC C(l' )d}J == erffd}J

A A
12.8. - C:ORCLARIO
•
enL.ooncS's j.t'd')r- _-<".'

12.9.- COROLARIO
Si f € ~(A.~) se cumple que

12.10.- COROLARIO
Si 0 S Cl S f(x) S ~ para lodo X € A, enlonces
cc)..!(.A) S SfdJ.1 S ~J..1( A)
A
12, 11. -COROLARIO
Si f € ~(A~~), h € ~(A,~) Y If 1 < h, enl6nces f € 2(A,~).

- 105' -
 -
12. 12. -COROLAR 10
Si f e: .:e( A, !R ). 9 E: .AI( A. IR) Y para t.ocio :< e: A.

ent-onces 1'g e: x; A,!R ).

12.·13. -CCROLARIO (Desiguald.l.d de Chevi0he',r)

y {x & A / If(x)1 > ~}, ent.once::;:

.
lt~v:..~~: .L-iv ~, ;1./::' - ';.".
-~ .'"=-''
. /. , !-l(: cc) ~ ~ f Ir I d)J I, r-'
('..!. ••~,~.
A

12. 14. - PROPOSICION

J.Cd)J r
t.-
Si A -::::.A \.SI A anLonce::;: == f1d)J + fl'djJ
1 2
A A A
.1 2
l.l. ~
12.15.- COROLARIO
Si A c B, entonces

'12. 16. -DEFIHICION

Si r E: At(A; !R) y 9 € AI(A, [R), se d ice que
f == 9 en ca::;:! Lodo punto 0 ~al~o medida nula y se denoLa
r = 9 (p.p. ),:si jI :solo si, f(:,<:) == g(~<:) para t.odo x to: A-D.
donde DcA Y !-l(D) = O.

Por ejemplo, si 1': (0,1) -;. [R y g: (0, 1 ] -;. !R e::;tan

def inidas por r(:<) = 0 p.•.ra t.e-do c-c E: [0. 1) Y g( x) :::
tf>o. (x)

donde Q = ID r. [0,1), entonces :::

9 (p. p) pue::;
S.l. X € Q
= si x g Q
)..l( Q) == 0

12. 17. - PROPOSICION

Si l' e: ~1t (A.rR) Y 9 E: ~1t(A.!R), se tiene:
12.17.1. Si :to == 9 (p.p.) 0 sea 1(:<) = g(x), para t-odo x € A-D,
donde DcA Y !-leD) == 0 y si !~ e: :e(A.!R). ent-onces
9 E: ~(A.IR) Y fgd)J = ffd)..l.
A A
12.17.2. S1 l' E: .'e(A.IR) ent-onces f es l'inita (p.p.), es decir
rang(:t') = { f(:<) I r-e e: A} c J-oo,+oo[
12.17.3. S1 f e: :e(A,!R). )J(A) > 0 y flfld)..l = 0 0nt.onces f = 0 (p.p)
DEMa:,"'TRACI OH

12. 17. 1. En e1ect.o en virt.ud de (12./4) Y (12.:1) se t-iene

Jfd)J = f fdi-J + fJ.'d!-l = f t'dp = f gd)..l = f gdjJ + fgd)J =
A A-D D A-D A-D A-D D

= fgd!-l
A

12.17.2. Si D = {x EO: A I If(:.:;)1 = eo } ent-onces !f'(x)! :> C(~ para

Lodo cc e: D y cualquiera que sea cx , luego aplicando
( 12. 13) resul t.a que:

- 106 -

•
...!'
 ;::O!'ITI;:lCIA U?-JlVERSIDAD CATOLlCA eEL PERU

o ~ tJ( D ) ~ ~I1 1' I dtJ

A
de donde. c'omo I!!'ldtJ es: un numero l-ea1 f'ijo y cc GS

a r b Lt.r a r- iamenLe grande r e s u Ila' que J.1( D) ·=-'0 y... 1'· e s

f' inl t.a (p.p):

12. 17.3. Sean D = {x € A / l' ( x)

'~
> 0 } Y D = {cc € A I l' ( x ),_>
n
1 }
para n E fN+- •. Se Liene ent.onces que D c D para" ri € [1'1+, y
00 rr n+l.
-,
, "I
.r I ri'
•.."<1 1-[( .: D U D r, = l1m
D .= n-J. D r,
1-. . n

Aplicando (12. 13) re~ulta que O.s ~<D~) come

I
:, • I
-I"

".:. - - I!
f

Id.u =
r

/1. ~ I:".
-e- :;
: ..
'>, ',0("
r 0 r esiu l t.a que J.1(D ) = o. luego ~e sigue que
n
A
}.l(D) ,= 1 im tJ( D )
n r,
= o en consecut?ncia l' <:<) = 0 para

Lodo x € A-D 6 ~ea f' = 0 (p.p).

I
12. 18 PROPOSIcr OH
!
'I
I: Si ·r E ~(A;~). dado 19:<1::::: Le If' € S( A; [R > tal que

.f [f - tp [d,u < z.
A

DEW~--rRACI OH

r 2: 0 ent.onces fl'd}.l = 1~ID ftp ndtJ ..:: 00 donde (If'" ) es

n
A A
una sucesi6n no decrec.ient.e de func iones medibles: simples
no negat.ivas, o sea +
'-P
n
€: S (A; IR)
0
y tp n ::; r para n 0;; IN".
Luego~ dado O. exi:sle n € 0'''' lal que ::.:1 n 2: n se
o o
liene que

I! r - 'Pn I dJ.1 = f< f - 'Pn )dJ.1 = f.fdJ.1 - f 'Pn d}.l < Z

A A A A

poniendo tp = tp
rr "1
resulla 10 que quer1amos probar.
o
l' E :e( A; [R ) CU.:l.lquiera.se Liene que = l' + - f'
con 2: 0 y f ~ 0 inLegrable:s~ luego por el c,a-=-
anLerior exi:::::Len Ip' € S:C A; LR) j' tplt G S~( A; IR ) t,..:;>.l.:>s qu~

f If + - 'P' IdJ.J < Z 12 y f If - - tplt I < 8/2

A A

Poniendo 'P = 'P' - 'P" resul t.a que (p e: S( A; IR ) y

f If - 'P dJ.J I ~ f! r " - tp' IdJ.J + f! r - - tp" I d}.l < :;; .

A A A
., . ,',,;'.'
f - {, - f -,' ',: ' -:!.-
... .';/{~.~, I 'J- ')" » :": £..~

/:
12. 19 PROPOSICION
d.ado 'P E: S .. (A; [R). exisle 1f>' E: S
Err
(A; [R ) t.al que

flIP
A

DEMOSTRACIOH

dondQ y

J i. ay un inlervalo de i E: {1, ...• p}. Ahora

bien. d;ado C( E: fR S iempl-e e::<ic::;t.e et' E: Q lal que
L i.
r=>:
I et.L - CI.~
L
I < --/ c:/p pa r-a i €:: {i •. , p}. y dado J. exIsteo
L

un inlervalo - i.
r' r.acional t, 3.1 que I-J(J.- J') < .J2/
t \. P luego
p
dei' .'..r.i_endo tp' == f' C< ~ If) • r e s u Lt.a rp' €: S (A, IR) y
~ t'J Err
i.=! i.

If' - rp'

de donde
p
- tp' ! d,u ~ Je L ! C\- C(~ I rpJ _J,)d.u =
A i.=! i. 1.

p
== L ! et, - \.
Cl ~
'.
! /-l( J~_. J.' )
l. 1.
< Go

i.:::J.

o sea • Ip ~ S (A.,fR) e:<ist·~- 'rp' E: S (A,iR) t_al

•• &r que

f! If> - If" t dI-J < c-

A

- (Oil -

- -- ~.------~ ------ ..... -.-._-----_ ....-

.•- ...•. :'....•• ,...•~- -~ .•••....
:; .-.~ .. : .-;-",;.~~.-.-~- ... '''' ,..;;~-.:.- -.-.---. _. . .7-=_ . ....:=;:: .••.•.••
---- -----------._--_._--_._ .._-_.- -.--, ..~-.------ ---_._--- .._._--------------:.:::,-_. _._- ..--- ----.~:::::
~NTJFIC:A U:-JIVERSIDAD CATOLlC,.\ DE!.. ?S;:\U

§ 13 TEOREMAS SOB R E PAS 0 A L L I M I T E

8 A J 0 E L S I G N 0 D E INTEGRAL

13.1 NOTA
La gran ven~aja de la in~egral de Lebesgue sobre la
in~egral de Riemann. .. es que en la pl'imera se cumplen
Leoremas que permit.en efec~uar 1imi ~es de sucesiones:
in~inl~as de ~unciones in~egrables sin salirse del campo de
las: funciones: inLegl'ableos (Vel' Teorema de Weiel'~ras:s:). Sin
embargo~ e::;;Lo
es: posible t·an solo baJo cierLas: Condicione::;;
S1..1plement..arias
que al no veriI'ieal-se no se cumpl e el
Leorema. Cada vez que se quiera inlegrar l6rmino a l6rmino
una sucesi6n 0 una serie se debS" t..enerla precauci6n de
obsel-var si se cumplen las eondieiones de algunos de 105

~eoremas: que permi len tal .P'~so aI 1.1mile. _por eso

reunlremos eri esl~ secc16n·los·t..eoremas 'n~s i~porlant..e~ que
dan condieiones bajo 10::;; euales se puede int..egrarl~rmino a
~6rmino una suces16n 6 una serie. Si ~stas condiciones no
se respet..an pueden obtenerse conlradiccienes. As5..·por
ejemplo, si I- J-OO~OO( ~ ~ est..~definida por
n
nIt-
f' - if> donde J == In, n + 1[ para n EO: U', • o sea
TI J n
n
1 ::;;i:x J
== [
€
f' (x)
n·· 1.0 six p!. In
n
-tiene que pal-a cada .'" €:

lim ~ (x)
n n
= ~(x) == 0 puntualmenle. m~::;; aun l!m f Cx) == fCx)
n
uniformemenle en lodo inter'"ralo f 1nl to J c {R.
co
Ahor a come f f (x )dfJ == f tp ( x )dfJ = J.J.( J
n
) = 1
-00 n IR J n

;:;e -tiene que l.lm f f (x )d/-l 1. =

n IR n

111
 \

?C~ril.-:;C!.~ U~JI'J:::1SIDAD C)'TCL!C ..\

,
I

En c arnb Lo , f[R f(:<:)dl-J== fIR lim f (x)dl-J =

r. n
0, 'luego

lim
n
f IR f
n
dJ-l ~ f IR Lf m f dJ-1.
n· n

Ss pues necesario ~ener un conocimien~o cabal de .10:5:.

cri~erios·fundam.nLales que 3seguren la posibilidad del paso
.
~~_..
limit·~ bajo e1 signo d e- la integral) 10s c ua Le-a pa::iamos'a
es;tudiar a contintl3cion.

13.2 LEMA
Sean e: ~H1-( A; !R) y
9 (g) una s:uces:i6n no decrecienle de
o n
funciones medibles no negaLivas :;:;obre
A; +
o sea gn e:.At o (A'IR)
•
y 9 :$ q para n e: 0'(
n - n1".1

EnLonces si 9 = lim
n
9
n
punLualmen~e si lJl e: S (A; IR )
1-

o
es lal que 9 se cumple que lim
n
f
A.
9 dl-J
n

DEMOSTRACIOH
9 e: A1.'"( .:".• ;!R), per e1
Lema. rundament:d (9.11).
no'
::iuces
16n no dec r e-clent.e (If> ) de !'unciones
Tlk

simples no negaL!va:£; +
tpnk e: S:(A;IR) para k e: 0"
+
y 1~m If' nk == 9 11( :( ) punlualmenLe para cada n e: ~ .
De la ul L 1ma igual dad ::.:e ::; i.gue que para. cada
. --- . + ...- . gn
n e: D" • y que dado -:.. ::> 0, exist.e k 0'/+
.::: tal que para
0_ i
k ?: k se Liene que l<p ex) < z/2'.
o I nk - 9.,.,(x)1
Si. del'inimos

If'~ = !f>J.J.' tp'2 = tpzz •....• 1(>'

n tp~ +J. = if'n+J. , n+J. •
-I-
se sigue, en vir~ud de (9.11), que r'n
/f)' <" ID'
....: rn+J. pa ran c: 0" y
que I 'P'n ( cc ) - 9 n Ccc ) I < c:/2 pa r a n ~ n .
o
Adem~s por hip6~es1:5: < <=.;/2para n 2: n'
o
luego t.om.ando n" == m:?x{n •n' } J SE: t, ip-ne que
0 o 0
I <p'n ( cc ) g(x )1 ..-:
lIP ' ( cc ) - 9 (:..() I + Ig (x) - g(:.<)! < ~
Co
TI ro T,
para n ~ nU 10 que impl .i c a
0 que lim
n
'P'
n
= 9
puntualment.e.
Por ot.rz-part-e, come 1p .s 9 Y ·l.lm 'P' = 9
n n se s~gue de
( 11. 12) que f"fldJ.-l lim flf"dl-J
,. n
A A
Pera coma t.ambi~n lim !pi t"€:'sulLa que 11)' :$ 9
n n . n n
n e: O~+ de donde y en cens:ecuencia

112

. ~··"-I~"a
 @

r<):-ITIFICIA UI'iIVERSIDAD CATOLlC;l. D2L PE~'1U

f 1,IJCl).l :$ lim
n
fg d).l
n
A' "
A

13.3 TEOREMA (Beppo Levy)

+ +
Sean 9 E: .MD(A; IR ) ~ gn E: .MD (A; IR) y gn ~ gnH para n
Si 9 = lim gn puntualmente, ~nt~n~~s

lim'
n f . 9 nd).l=·f gr;:l).l,
'-0. , sea

A A

lirn
f gn d).l= f lirn
n
9 d).l.
,n
A A

DEt-10STRACICN
Prebarernes en primer lugar que

f gd,u
A A

En efecte, por del'inie ion de integl'al de 9 sobre A, se

tiene:
+
I gd~ = .l~m Ipnd).l, donde E: S
o
(A;rR) y
A A
+
n E: frl , y l.lm tf'n= g.
n
Coma 1 in.
n
9
n
= 9 Y 11In
n 'Pn = g, re-sult.a 'Pn ~ 9 para
cada n E: !N+ y , en vi r t.trcl de ( 13.2), que

l.lm- Ig d).l +
n T,
para cada n € frl , de donde
A

lim Ip n d.u 1.1m o sea

n r,
A

f gd).l ~ 1~tm Ign d).l.

A A
Probaremes fina1ment.e que

Lf m f9nd).l ~ fgd).l
n
A A
+
Como 9 ~ g. para cada n E ~ , se t.iene que
n

r9 d).l ~ I9d).l, de dondE' I9d).l

J n
A A A

13.4.

El Teorem.a de Beppo Levy nos asegura que s iempre se puede

inlegrar t~rrnine a l~rmlno una suces16n no decreeient.e de

l'unciones no negativas. De esle primer c:-ilerio ded1..1Ciremos:

olres teoremas b~~icos.

113
 1"\-:1
v_"- •~C".:lp
_ .. _

En , pr imer 1v'gar • como t.ooa s uc ez 16n no decree ient.e de

l'unciones o ~ l'
.1
~ f
2
~ ,1'
n+1
.. . .
equivale a una serie de Lerminos no negat.ivos (f
n
).(g
n
»
n
donde 9n = ~L. f i
i :::.1.

El Te-o r ema de Beppo Le-vy puede enunc lar::;e en la s iguienLe

,1'orma equivalenLe.

13.5 TEOREMA (Beppo Levy par~ series)

Se an f E ~~+ ( A; !R ) Y f € _~+ ( t.•
; !R ) p~ ran € IN+ .
onO
co
Si r = L f
n
ent.Ollces:
n=.1
00 co
fld)..!
A
;:
r
A
L
n:::1.
f
n
d)..! =
n
L
=1
ft'
A
r.
d,u

eo
PuedE.·.suceder que ffd,u = co .- L }'f TI
d,..1
A r.;:1 A

DE1~OSTRACION
En erecLD, si deflnimos,

..'
T,

9 1. = f .1. 92 = .1
+ r'
:!
I 9
n
= '"
L. r\. , result-a
1.:::1

o S 91 S 92 ::; ~ r;; ~~ 9 ::; ~ f, luego en virt~ud

I. nt-1.

de (13.3) se Liene:

l.tm
n
fg n
d.u == f"fd,u
.J
es.'to es:,-
A ". A
oo
L{m
T.
fe
A
~r
i. =1.
l
)d,u = fC L fn)d.u. de donde en v Lr t.trd de? \ 12,7 ),
A t1"'1.
Tt eo
lim
n f L r nc)J (' :;;e:,.
A n=1
eo
r n::1.
L I d.u
n

13.6 COROLARIO '

r E ~1\: ( A; (R ) y f
n
e: .hl+ eA; !R ) para n e: D-'+
0
co 00
Si l' = l'
n
y si L Jfnd,u .< 00 ent..onces la serie
n=1 n=1 A
eo
l'uncional I :: l' es convergent..e (p.p), 0 sea exist-e
n::.1
n
D c:: .~ lal que la serie as convergenle en A D con
,ueD) = O.

114
~
~:;, ?Q;.JTI::1CIA U~'1I'/Ei1S1DAD CATOLICA DEL PERU
,~.J~
~;J
DEMOSTRACIOH
De (13.5) y de la hip6t-e5is-l-esult..aque

If'dJ.1 = L _. If'n dJ.1

__ .s co , de donde ffdJ.1~ c~o que implica
A n=1 A A
que f int..egrable sobre A Y en vir-tud de ( 3. 17.3). c es;
1'init..a
(p.p)~. 0 5ea
'--'00
l' ~n
e5 f'"init..a A - D con )..J( D) = o. y
en con5ecuenr:::ia Zf' n
=f' e5 60nve~gente (p.p).
n= !
eo
(Hay que t.enel- en cuent.a que la z uma f = L l'
n
e5t...:i
n= 1

siempr~ definida. pudiendo ser eo • y que l' 2: 0 para

Tt

00
+
n luego para probar la convergencia de ba5t..~
E ~ •
n=1
"
L.. f'
Tt

tan solo probar que est-a suma e5 flnlt..a).

13 ..7 CBSERVACIOH
cc
Una serie funcional I' sabre A equl vale a un ricime-r o
n
n=J.
infinito de series num~rlcas. una para cacla _ € A. Cuando
cc
af i rrrt3.mOS '-iue "
L. r Tt en convel-gent..e
Tt=!
(p ..p), es tamos a1'irmandc. que in1'init..a::::
. .
'.
series
~numericas son
.--cor.vergent_~s.- ~)ora la h~p6t..esl£ del Corolario (13.~) d~ce
que la serie nwner ic.a (pues 1as integral es son numeros)
cc
es convergent..e~ :r de esta hip6tesis se deduce
co
~ •... Por t..anto
que la ::::erie
funcional L. ' Tt
n=J.
proporciona un va110so er it..el-
io de
convergenci.a de series: t'uncionales, Le.minos no
negat..ivos.

13.8 -COROLARIO {o - adit..ividad)

co
l' E ..M( A, IR ) y A = ~ donde A
n
es medible para
n=1
+
cada n E: 0'1 •
S1 f' ~ 0 6 1- int..egrable sobre A. se liene que:
00

= L f fdJ-l .
rr=J. A
n

115

(f!J
\.
;'

.:c:r;i;:iC:,~ U~lI'/::;:;SJG,l.i) CATOLlCA oz; :':::;U

DE MOSTRA C I OH
eo
Sea I' <:: O. Cciil\o A:::: \.21 A
00

eo Y,=.l
n • enl,onces: !f>A = L !f>A , de
donde 1'1f"> - L 1'lp •
1\1ego
1'1 1'1=1 1'1
A A en vlrLud de
to,:::1 1", ( 13.5) se

00
co
f1'·,I.">A dJ.J =" J L fif>. ri,l ;;0 't"
L-
.
A A 1'1'-"1
A
n c sen
1",::: 1
cc
fI'd)..J:::: [ J1'd~L
A n=.1 A

pudiendo ser ambos miembros iguales a 00.

- Si l' es integrable S(,::>bl'e

A, 0 sea
ent..onces
fI'" d,U < eo Y f.t' -d)..J < eo
con t:" <:: 0
A

por e1
-, y
lU&go
resulLado anlurior t..enemo::;
co
= ,-
L.
f r ' d.u < cc if- d.u
00

n=l A
Y = L f s: -d.u < eo
de donde
1", A T,= .1 A
1",

co
cc
= [
1",::: 1
)",:::
1 A
L f t: d.u
eo ri

L: Cf 1".d:,u -f r - d.u)
To::! A
1", A
)",

= L f I'd)..J
1",::;.1 A
13_9 1'1
TEOREMA (Fat-ou)
+
Sir E: .At (A; [R ) +
1'1 0 para n e: 0" se cumple que
J'
An'
l.f m l' d)..J . :$
- 1", lim fl'nC,u
1", A

DEMOSTRACION
Si de!'inimos
9 (x) -- in:f{r (x),
1",
n f' ,(x), ... } =
para n e: fN"', k e: 1'1.•." .i pi' {s: ( x )}
y .c n .•.lc
X A; res:ult..aque
€
(g ) es: una
sucesi6n no decrecient..e de f'unciones mediblas 1'1

tal que no negat..iva:::

1r m 9 =..!.l.!ll s: :::: 9
n n 1",
n
Si ponemos I
n
::::

A
f .f
1'1
dI.J Y
3 :::
inr'{ J ,
11 I n..,.j
r, .' I
fH·k'
... } para n e: fN1-
• result..a que

116
 ;:C~Ij"L:ICIA UNIVERSIDAD CATOLICA DeL i'snu

lim
T,
_T
To
= lint In = lirn Il' To
d.u = J
n To A

Debemos probar que

I
A
J

Cc-mo o para n € iN+ = 9 en virt-ud. de

(13.3) ~e sigue que f gd.u = lim
TI
f 9 n d,u
_ I luego basta probar
A A

que llm
n
J
A .__ To
9 d,u S J.

En efect-c, como 9 S l' pa r a k € ~+- se si~ue que

! Tt n +k

'J i S
gTod,u; If To+k
d,u = I
n+k
pa r-.a k € 0"+
A I A
de donde l'e:::ul
t.a que

Ignd,u , S i~f { I rr+x } = J

T,
0 sea
A

lim
1",
IgTod,u s lim
rr
J
TI
= J = lim Jfnd,u. es decir
A n A

fgd/-l -< lim ",r en consecuencia

Jfnd/-l J
A T. A

r l.tm f ciu 1.1 m CJ1l' d)..1).

J To To
A 1"1 To A

13. 10 COROLARIO
+
$ean f
n-
o£..M
0
(A; [R )
.
y f
A
l'
T.
dJ.-J -c k par:a. n E:

Si .-, .-
• lim l' ent-once::: f es integra.ble sobre A y Jfd,u -c le::.
n )",
A

DEHOSTRACION
Come> l?xi:;Le f' -::: l.lm
n
f'
)",
, en\:"onces

l.l:m f = l.l:m t = l.lm f'

To To To To n
n
Luego, por ( 13.9), se Lieno qt,Jo

ff'd,u ~ ll!i1 fi'ndl-l 4!'

"'" le
A n A

7 1 TEOREHA'
Sean
Si f
l'

=
(Beppo
E

l{m
A\(A;

r»
r
[R),

T,
Levy
..
.l-

pun\:"ualmenLe,
general

T,
E ~1t (A; fk)
i:zado )

h
y
EO: .:e(
rn ~
A, IR )
s Tt+.1.

Y
para
h .:S f'
n

n
€

para
0'1 + .

n E 0'( , ent-once:::

If,m If' nd)J = If'd,u

A A

,!
(Para h(x) = 0, se t-iene e-l Teorema de Beppo-Lev-y).

117
 \
'"
·/
DEl-jOSTRACION

De la hip6tesi::: resulta que o S l!m(f

n n
- h) = f - h. luego

por e1 Teorema de Beppo- Lev"y se t.1ene

_.
lim
n
S< r n- h )d!-J ;0
J( r h>d;...: )- 0 ~ea
A A

1im
n
ff
TI
d,u fhd,u = - f' '-'Fl
..
1 fhd,u y cama por bipot.esis:
A A A A

- 00 < fhd!-J < + (0 r'e'sul La que--

A

1 l.n. rr' d;...:

n ,J n
.A.

TEOREMA (FaLou gene-ral i:zado)

S1 rn e: .At( A; !R ) para n e: {}I+ ). si h e: »c r., !R )

h ::! f para f) €: :J't, :;:e t,iOl\e que
n
f
r_
.
A
f1 i m n
.,
d,u ~ ll:m \1' d,u
--,
r- ",~I
T.
.

(Pal'a h(:~) = 0, ::::2 t.1enE.' e1 Teorema de Fat.ou).

DEM0STRACIOI-.f
---------
De 1;\ hip6t..esJs result-a que o ~ f'
T,
- h e: .ht( A;!R) 1uego,
por e1 Teorema de Fa Lou, l-esu1 La

fl --
i m (1'
T.
-- h~d!J -c 1 .
~~ JrC>'~ T, -
h)d ,u o sea
A n n A~

1i m Jr.f d,u-
fAIimTI
f-d,u----
r,
n A
n

y como par hipoLes is, -00 < fnd,u -< 00 se obt..iene

.JI.

r inalmenLe fl i!l! 1~r,dl-J .:S :1 i m j:1' n d,u

A n r: 1\

TEORE~·jA < Dual del Teorema de Beppo-Levy)

Sean l' e: .A{( A; (P. ). c T.

e: JA.( A; (R ) y l'
n
~ f'
n+1.
para
Si = lim l' y h E: ,~( A; fR ) que f' para
n TI n
n E: se L it:,ne que

= Lf
n
m Sf' TJ
dp
A

DEt10STIZP,CIOH

De 1'3. hlpoLesis resulLa que h f - f luego,

n
en virt.ud de (13_11), se Liene

l~m f(-fn)d,u - fC -1' )d,u o ::.ea

A A

1.18

~~~
)I~~
 ";;t 1:bC

;=ONTIF1CIA U;"llVERSiDAD CATOLlCA DEL PERU

lim
n
Ir T.
d].J
A

J.3.14 TEOREMA (Dual dal Teorama de- Fat.ou)

Si h € 2( Aj (R), 1,' € .AKAj IR) y l' ~ h pal'a
I
n n
I t.iene
J :;:;: lim
n
J:1' n dJ.1
I --A -A

I"·i DEMOSTRACION
.. -.
I.

i
I
~.J:.a
lu~gc~
hip6tesis
an
.
virlud
resulla,
de (13.12). se t..i&ne
-h ~ -i'
n
€ ~+I.(A; (R )~ -h € 2( A; IR)

I' film (-f'n)dJ.1 ~ lim f( -l'n )d/-J o sea

I f
A

1i m f dJ.1
T.
rr

n
?::: 1i m
n
f
n A
\
A .A "

13.15 PROPOSICION
c: .
~~ h E: :e( A; IR ). h E: :e (A.IR ). rn E: .At (A.IR)'
.1
y
2
hJ- 5 r ~ h para n ~ IN'" ze t,iene que
Tt 2

A
r
J lim
n
.•.+'
Tt
d,u ~ lim
n
J'"
A
r+,
n
dJ-,J ~ Ilm
Tt r-,
A
dJ-,J ~~
JA lim
n
l'
n
dJ-,J.

DEMOSTRACIOH

De h .1
€:t?( A; [R ). h .1 :S f
r.
para n € 0'1" y de (13, 12)

.. fllm f dJ-,J
T,
1..LT!l -Jf TtdJ-,J

A n ro A
,t...,.:ilogament.a de h e: .::e(A;IR). ~ h para n e: 0'1" y
2 2

de (13.14) resulla

I lim
T.
r ndJ.1 ?: lim
n
If Tt
dJ.J
A A

Finalmenle si recordamos que lim

.n
Ifn dJ.1
A

/'13.16 TEOREMt. (Convergencia Dominada de Lebesg'Je)

Sean f
n
E:..;\{( Aj IR) para n e: "0'/+, 1 im
n
f
n
= f puntualmenle

y h e: :e( A; [R ).
Si la sucQsi6n (f"
n
) as t..a.l qUG 11' I ~ Tt
h
n c;;;: [1'1•. ,

ent-onces f' lE: .:e(A;!R) pal-a n e: IN", f e: .:e(Aj!R) y Se

n

cumple que

119

fp,
lLI

, I
 -
"u ,',-• ..j.-_-""',
I
, tJ~li'i~:;3ji),'\D. C;.\TOLlC...\
11... n
eEL ?=:1U
,
.'
DEM<..'\STRAC I O~I
De l~s hip6tp.sis se slgue que
lim
n
~ T. =- --lim f
n
= l~m f
','. rs :
y
n
h € ;e( A; {R ). luego
que -h ::; f ~ h para n €: fr'+- donde
n
aplicando (13,15), S9 tlene

_,\Srn f dJ,J ~ l.im ff'!!-l.u

.' f n -.-- T.
Ann A

y como
A
r li]2! f'ndt-J71 A
n,:i':;ul t.a

o sea lim
T,
Jf T,
dt-J=- IIlm
r,
r du
Tt'
= .ffdt-J.
A A A
A C [RT. medible
Todos 10:; teoremas anteriore:; valen para

cualquiera 0 sea t-J(A)::;

~

y l.lm i:
S1 r r,
E:'::£ (A; eR > para T, n

uniformemente sobre A,entonces f € 2(A;{R) Y se cumple que

== 11 r,\
71
If T,
d,w,
A

DEl-10STRACION
< 00,
~-e '1.1.( cc ) ::: 1 p:.;o.r'8. .t_oc:C.'._:-< E: A. luegc --Ju.d.u 1== t-J(A) =..a
A +
=- f uniformement.e, dadc ~ > Oexi~le no € frl
Coma lim
y,
r T;

tal que para n 2: n se cumple que

o
11'71(;.c) - f(x)1 -c z u(x) para t.odo x € A, de donde

r I dt-J< f u dt-J= ~ ~(A) = E a < 10 quo implica

fit'
00
~
T.
A A
y f r son int..egrables sabre A, Y en
que 11' n - f! 71

f = (1' - f
71
) + f
n
es int.egrable sabre A.
Per et.ra p~rt.e, came

I Jrr n d·..l I f(!' !

- ffdp!.::; 71 - :f )d.u S f' If
I T.' - fld'l r- < € ?-
' A
A A A

se sigue que

1 im
71
f1' Tt
dt-J - ffdp,
A A

120
 . _._. ~"""""-""~_'__ ~"~ ¥l er s'!

POi\JTl.=IClA Um'lE:.:ISIDAD C...l.TOL1CA DEL PERU

13. -19 DEF Hn Cl ON

Si ~ E-X(A;~) Y B c A medible, se sabe que f E X(B;~).
luego si :J>,./ A) '= {B cA/ B medible} y definimos la

apl,icaci6n :7::P (A) -.,. [R poniendo l' (B) = ft'd)..!para Lode

" D
B E:: :P
w
(A) resul't.. que a: F:J>
~
(A) ~ Ip. es 'una f'unc.1.6n de
conjunLo.qu~.recibe el nambre de InLeoral Inde1'inida de 1'.

13.1.9 PROPOSICIO~~ (Cont:inuiciad-'de 1:<1.

int.egralinde1' inida)
x; A; <:; :-> 0, °
---
Si f" E IR).· dado exist,e er :-> La1 que si

B c A medible y )../(B) < G, enLonces F(B) = f\f'ld.u < 8. Es

D
deeir, ")../(B) ~ 0 impliea pea) -.,. 0".

DE1-<iOSTRAC I O~f
r <=: :e( A; IR ) pcr (12.18), dade s :> O. exist.e

tp e: S(A;[R ) t.al que

r
A
! r - ,pi d,u -< 8/2

Como tp <=: S( A; IR ), If> es acoLada, 0 z e-a Itp{x)! < k para

Lodo ::.<: E: A. Luego s1 B c t.. medible cualquiera :::e

Liene que

f t r !dfJ
B
~
'B"
f Ir
Si ponemos resu1ta'que. ::::1 s, ent.onces

f <
\f'\d)..! 8 10 que prueba la Propo::::iei6n.
B

13.20 OBSERVACIOtl
Si f € :e(A;IR). por (13.19), dado 8 > 0 existe, 5 > 0

t.a L que si B c A medible y fJ( B) < c enLonces Jlt' ~d.u < 8.

,n
En est.e caso 8 depende de Y f.

Si 'Lanemos p f'uncione$ f' , f' •... f. . . .• f' 1nt.a'grab1es

2. • 2 L P
'sabre A. dado 8 > 0 a cad:.a 1.' lQ cor responde, un S, > 0
l L

tal que .)..!(

B ) < si. impllca fl!\ IdfJ < 8 de, dond~ poniendo
D

C = min t s /1
1.
~ i -< p} re$ulLa. que c.: :>- 0 depende, de £

para as: a1 mi:;;mo para 10:;; p t"Jneiono:s; c 1- , . •f, , ... ,f'

\ P

1 2~1
 \,
'En cambio, si 1:-enemos una familia 1n1'1n11:-a de 1'unciones

i~Legrable$ sabre A, . (:~. ). ~ no podemos asegurar que

l. I.e.:!

9:<151:-9 un c:::- 0 comun ::.Lodos l::.s f".:

1.
~s1:-~ observaci6n

nos. permi1:-e dar la sigtiienLe

13. 21 .Q~FIt~ICIOH
$0 die.., que tin:::.. f':;"l1\ 1..1 i;'\ ir,f in.it.3 (F. >';"'1 de f"unci'onas
\. 1..1'j

inLagrables sdbr~ .A. Liens ~n~~'1.~!..~ .equiconLinuas. si y

s610 ~i, dado E > 0 axJsLo un c > 0 (dependien1:-e solo de

qth~ pal' •• LoUo B c: A

J[fJd}.../ ..•.<; p3.ra t.odo \. <::: 1.

a

Sean A c [Rn medible. ,LI( A ) < co r r, E: X( I.•.; {!i' ') par;:-:.

Lal que 1im

r,
r r, (:.::) = r ( cc ) .•.....
" Si la
f :amil la (f) .•. t.. Jen;;:. int..egt·abl es equiconLinuas, ent..onces
n r,>=;fl'/
f E: .:e(A~fR) y se c ump l e QW.7

- .l ..lm ._rt' d,L1

-
A
r, ;}
A
,",

DEl'o.!OSTRACIOU

Supongamos que f ~ 0 par~ ~ ~ ~9 Y piobem02 qUe

n
l' . e:: ;e( A; (R ). En efec:t.o, Dor_ I?J. (13. 10) basLa proba.r .que
exisLe una const.ant.e k > 0 Lal que
.:

[1' d,LI -< Y. para Lodo n E. (J.;+

. r.
A

Para ello, por e! Teorema. de E0oro1'!', dado C ::> 0 . existA"

B c A med ibl e t.al que ,LI(A B) < c y
n
lim f
n == f'
unit'ormemen1:-e sobre B, 0 en :t'orma equivalent.e, dado 0 ::>

exisLe A - B c A medible Lal que ~(B) = ,LI(A -(A - B» < 8- y

°
lim f =:f uni1'ormemenLe &~nA - B, luego por (13.17) s:e
n n
S igue que l' es int.egrabl IS' en A B Y 1 f,m I !'n dJ.J == J f'd,LI
A-B A-B
10 que implica que, ex1sLe k::> 0 ~al que I :fndJ.J < k para
A-B

Por oLra parte de la hjp6Lesi~ se sigu~ que, dado 8 > 0,

122
. ~
 " "

.' exis·-Le· S >-J'O -Lal que s J. B 'c A medlble con ·.~(B) < 8 se

"' ,HLien"", qu~:,Ji:- n9j.J <. c:

6 ••••••.
Jl
J

fl'd~ -< k' ,

A . ,

f" E: :e( A; [R) es eualquiera poniendQ 9 ='1' 'f'" ':s:~ sigt.le

. n n
·.qUe g .-€ .:e,(A;-IR·) para' n:e: fN+c·:-y ..·ciuEt····il~·g- = 0 punt,ual-:-
n .' n n
merit_e/· ..lue~O:<·la Prdpc-s:·lc·i.,5n queda';a denios:l.'rada :si probamos:

.qu~ . :'l'im" f g'~d:~= 0,

' .. " ,n .' A .1'.. '...

,...-c:.I? t:;',l:.ect;o~·.- la . l' am i 1la :: . i~ s: (g ;:"1+ :

)rt'!,..u- ·'·t....iene .int..egl-ales:
n
equicon-L inuas, pues dado 8 > Q.. exis:t..en "
. c > 0 para la
....
.
:- , .t .
•...
l~amil La (.1' ) y o > (I para 1', luego lomando
n nc:D'1 1
"
O2 = rm n
' J
l e .... }" C 1.. ' ~sle ~irve para la familia (q
: r. _ r.8(}1
) +,

La . Propos:ici6n redLlc~ ent.onc~$ . a probar .. que s1

lim' 9 ;'·0>: )(".la 1';imil'ia ( 9 - '> " . .;.
n r. r. • n2!}!
conLinua~:enlonces: ·1.tln
rr
'''Jq rl
d,u = O.
,". A;.."
Para p r-c-c a r La , PO)- TE~Drem.a e1
. ...• . . ,~
d8- Ego}' of f , dado c > 0,
existe B c: A med ibl e L.::t1 que <. 8 y Iim 9 r• ::::
0
. .. , . n'
en' A -. 8<..'.dt;;;.:.donclo:d. por. <. 13. 17 ) se ·s:igue

l~m f grrdJ.1. =·G 10 que· imp·l·lea··

que
A-B

f gr.dp t -< 8/2 para. ' n ;;:n

o '.'-
A-B
.Luego 901-' l:-g·
..tendo c. > () 'co·J..;·.r"eni'~nlemenL·e
• :se Lendra que
~(B) -c S ent.C'l')ce~·

Ifg1)dJ.11 <.
I I g r, dJ.1.\ + IIg r, dIJI -c c: para 'n ~ n
0
10 que
A
pruG-ba. 1.-
.in~lm~nlo
A-D n
1••.P""opc.~ le iC.'I"l,·
.,-

,f ~ •

..•.

-. "

. "

, '

123