Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria Integracion Dario Sanchez 2004
Teoria Integracion Dario Sanchez 2004
Teora
de la
Medida e Integracin
Jos Daro Snchez Hernndez
Bogot-Colombia, Junio del 2005
danojuanos@hotmail.com
danojuanos@tutopia.com
El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuacin encontrar ms
de cien resultados bsicos, entre los cuales se hallan definiciones, teoremas, corolarios y algunos
ejemplos, es posible que encuentre la manera de volver a redactar algunos, entonces hgalo de forma
que los pueda recordar despus. Para las demostraciones es indispensable el uso de una biblioteca
con un buen nmero de textos sobre teora de la medida e Integracin, en esta forma el estudiante
utiliza tcticas de investigacin y emplear la biblioteca. Luego encontrar resultados en donde se ha
dado una posible demostracin, la cual se supone es correcta, sin descartar la posibilidad de que haya
algunos errores; el lector deber revisarlas analizando cual de los resultados bsicos se han utilizado
en la prueba.
1. RESULTADOS BASICOS
Medida y Convergencia.
1.Sea un conjunto y tal que , es un si y slo si H f H f f
semi-anillo
( ) WE E F E F
"
f f
, ( )
_
WE E F E F G
# 3
3"
8
f
para algn y para algn 8 G " 3 8
3
f
(el smbolo se usa para denotar una reunin disyunta)
_
f f H f es una si y slo si es un semi-anillo y . semi-lgebra
f es una semi-lgebra si y slo si
( ) 3 E F E F f f
( )
_
33 E E G G f f
-
3"
8
3 3
( ) 333 H f
2.Las siguientes afirmaciones son equivalentes;
Res cerrada con respecto a
Daro Snchez H Teora de la Medida e Integracin 2
Unin finita y diferencia. ( ) 3
Unin finita y diferencia propia. ( ) 33
Diferencia simtrica e interseccin finita. ( ) 333
Unin finita disyunta, diferencia propia e interseccin finita. ( ) 3@
R es un si satisface alguna de las condiciones anteriores (y anillo
consecuentemente las cuatro). es una lgebra si es un anillo y . R R R H
R es una si y slo si es cerrado por reuniones finitas y lgebra
complementos.
3.Si es un semi-anillo resp. semi-lgebra entonces la familia de las f f ( ) R
sumas finitas distintas de elementos de es un anillo resp. lgebra y concide f ( )
con el anillo resp. lgebra generado por . ( ) f
5 es un -anillo si y slo si es cerrado por diferencia y por uniones
enumerables. Si es un -anillo, se dice una -gebra si 5 5 H
5 es un -anillo si y slo si es cerrado por interseccin finita, diferencia
propia y suma enumerable.
4. 5 es una clase -aditiva si y slo si es cerrado por diferencia propia, suma
finita y unin creciente,
(es decir, E E E E E
3 "
" # 8 3 3
Si es una clase no vaca de conjuntos cerrados por interseccin finita g
entonces la clase -aditiva generada por es igual a 5 g 5 g ( )
5. es una si es cerrada por unin enumerable creciente y por clase montona
interseccin enumerable decreciente.
Si es un anillo entonces la clase montona generada por es . R R R 5( )
Una funcin es llamada una funcin de conjunto. . -
E E Sea una funcin de conjunto, es si y slo si . . finitamente aditiva
_
3"
8
3
8 E E E E . . y ,
3 3
3"
8
_
6. Si es un semi-anillo es una aditiva si y slo f . f ! - medida finitamente
si y es finitamente aditiva. . . ( ) !
Una medida finitamente aditiva que es -aditiva es llamada una . 5 medida
La definicin de medida sobre semi-lgebras, anillos, lgebras,
5 5 . -anillos, y -lgebras es la misma, excepto en el caso que toma a en
los casos de -anillos y -lgebras. 5 5
7.Sea una medida sobre un semi-anillo . Entonces . f
( ) 3 E F E F aE F
. . f
( )
_
33 E E E E E E
8 "
8 8 8
8"
. . f
Daro Snchez H Teora de la Medida e Integracin 3
Una tripla , donde es un conjunto, es un -anillo contenido en ( ) H . H 5
H . y es una medida sobre , es llamada un . Al par espacio de medida
( ) H es llamada un . espacio medible
Un espacio de medida tal que es una -lgebra, o sea, y ( ) H . 5 H
. H " es llamado un . espacio de probabilidad
8.Sea un espacio de medida, se tienen las siguientes afirmaciones: ( ) H .
( ) " E F F F E F E
. . . .
(en forma creciente ) ( ) # E E E E E E
8 8 8
8
. . lim
en forma decreciente y existe tal que ( ) ( ) $ E E E E 8
8 8 !
entonces . . . E E E
8 8
8
!
lim
( )
_
% E E
8 "
. .
8 8
8"
8 8
8 8 ! 8
!
8 8
. . limsup
9.Sea una medida finitamente aditiva sobre el semianillo . Entonces existe . f
una nica medida finitamente aditiva sobre el anillo generado por que es . f
una extensin de . .
Sea un semi-anillo, es una medida sobre y f . f
para alguna sucesin [ H f E E G G G a8
8 "
8 8 8
8
( )
[ 5 [ [ es un -anillo. Si F E E F
8 "
8 8
hereditario.
E E G E G G a8
8 "
Para cada , definimos [ . . f
8"
8 8 8
( ) ( )
_
inf
. [
d d d
- .
G G a8 G G Dada una sucesin , existe una sucesin
8 8 8 8
8 8
w w
f f
a8 G G
8 "
tal que .
8
8"
w
8
_
Sea como se defini arriba, se tiene entonces .
( ) " E E E f . .
( ) ( ) # ! ! E E . . [
( ) $ E F E F aE F
. . [
. ( ) % E E aE E a8
8 "
. . [
8 8 8 8 8
Daro Snchez H Teora de la Medida e Integracin 4
10.Dado un -anillo hereditario , una funcin de en la cual 5 [ . [
d
satisface las condiciones de la afirmacin anterior, es llamada una # $ % medida
exterior sobre . [
Q aE E E Q E Q [ [ . . . se dice si , medible
-
11.Se denota es medible . A [ Q Q
3 Q Q Q Q ( )
" # " #
A A
, y , se tiene ( ) 33 Q Q Q Q aE
" # " #
A [
. . .
" # " #
E Q Q E Q E Q
( ) 333 Q Q Q Q Q Q Q Q
" # " # " # " #
A . . .
( ) 3@ Q Q Q Q
" # " #
A A
( ) @ Q ! Q Q . [ A
8 "
( ) 33 E Q 8 Q [ A
8 8
para todo los disyuntos dos a dos, entonces
. .
8" 8"
8 8 8
E Q E Q
_ _
( ) 333 Q a8 Q
8 8
A los , son disyuntos dos a dos, entonces
. .
8" 8"
8 8
Q Q
_ _
f A
12.Una medida sobre un -anillo se dice si y slo si . 5 completa
, , F E E E ! F
.
Dada una medida sobre un semi-anillo , existen un -anillo tal que . f 5 A
A f A 5 f . A
(y por lo tanto ) y una medida completa sobre la cual es una
extensin de . .
Si es -finita, entonces la extensin a es nica. . 5 5 f ( )
13. Sea un espacio de medida, se define ( ) H .
para algn . E R E R Q Q Q !
.
.
d
E R
E
-
( )
tenemos que es un espacio de medida compacto. En estas condiciones
H .
se dice que es el de con respecto a . El completado de una . completado
medida sobre un espacio de medida completo, es nico.
14.Una familia de subconjuntos de se dice una si y slosi 7 H clase compacta
para toda sucesin tal que tenemos - - - a8 -
8
3 "
3 "
8 8 8 3 3
7
Si es una clase compacta entonces la familia de las uniones finitas de 7 C
0
elementos de es una clase compacta. 7,
PRUEBA E E a8
8
3 "
Sea una sucesin de elementos de tal que
8 8 0 3
C
Daro Snchez H Teora de la Medida e Integracin 5
para algn para algn a4 E - 5 - " 3 5 M
5
3 "
4 34 4 34 4
4
7 ( )
Sea el cual hacemos un espacio topolgico con la topologa
4 4
" # 5
discreta. es compacto . ( )
4
Sea = , es compacto Teorema de Tychonoff .
_
( )
4"
4
Sea J B B - B 8 " #
8
4 "
8 " # 4 4
( )
De se tiene y cada es cerrado porque es unin finita de ( ) M J a8 J
8 8
conjuntos del tipo con Adems B B B " 4 8
" 8 8" 4 4
se tiene que . Como cada es compacto (cerrado contenido en un J J J
" # 8
compacto) se tiene que . Sea pues .
8 " 8 "
J + + + J
8 " # 8 8
Entonces para todo . Como es una clase compacta tenemos
8
4 "
- + 8
4 4
7
4 " 4 "
- + - + E a4 E
4 4 4 4 4 4
. Como tenemos que .
Sea una medida finita finitamente aditiva, sobre un anillo . Si para toda . ( ) R
sucesin de elementos de tal que en forma decreciente vale E E p
8 8 8
R ( )
que entonces es una medida. . . ( ) E p!
8
15.Sea una medida finita finitamente aditiva sobre un semi-anillo y una . f ( ) C
clase compacta, , . Entonces es una C C E G G E G
f . . . ( ) ( ) sup
medida.
E Para todo se tiene [
. . A . 5 f
( ) E F E F F E F
inf inf
aqu indica la restriccin de a . . . 5 f
E F E F E F
5 f .( )
E E Para todo existe un recubrimiento medible de . [
A 5 f . A 5 f es el de con respecto a o sea . completado
E Si es el anillo generado por entonces para todo tal que R f 5 f
. % . % E ! F E F y para todo existe tal que . R ( )
16. es un , es decir, tal que ( ) H . aE bE espacio de medida finito - 5
8
E E E E 8
8 "
8 8 8
. y para todo : ( )
( ) 3 . . 5 [
E F E F
inf .
( ) 33 5 . . es el -anillo obtenido por el completado de con respecto de , es la
extensin de a . .
E E F F E F
Dado definimos . [ . .
( ) ( ) sup
Daro Snchez H Teora de la Medida e Integracin 6
. [ .
17. ( ) + ! ! E aE . . [
( ) , E F E F aE F
. . [
( ) - E F F F E
. . sup
tal que , y, con tenemos ( ) . aE bF F E aG G E F
[
.G ! F E . En estas condiciones se dice un de , y como en ncleo medible
el caso del recubrimiento medible, tenemos . . F E
-
18.Sea un espacio topolgico. Entonces se dice una -lgebra de ( ) ( ) I C C 5 5
Borel borelianos en inducida por . Los elementos de son llamados . I C C 5( )
W Sea una familia de conjuntos y sea una semi-lgebra en para H H
3 3M 3 3
cada . Entonces 3 M
f H F F F W
_
3M
3 3 3 3 3
salvoparaunnmerofinitode ndices en los cuales
es una semi-lgebra en = H H
_
3M
3
d 5 f 5 R R donde denota la -lgebra de Borel en
8
Usaremos la letra para indicar la medida extensin de la medida de -
Lebesgue a . 5 f R
Los elementos de la -lgebra (completado de con respecto a que 5 - R R
coincide con la clase de los -medibles) son llamados conjuntos medibles -
8
3"
3 3
genera en el sentido de que . R R 5( ) H
( ) # G G G l+l G d f : f - : - f y siendo el semi-anillo usual en .
( ) ( ) ( ) $
: : R R R R , .
"
( ) % + ! : : : es -medible si , tiene inversa y es -medible. R R
"
3 E d E l+l E E l+l E
( ) Para todo y - : - - : -
( ) 33 E E E l+l E Si entonces , y, . A : A - : -
+ " En particular si , es invariante por translaciones bajo . - A
d Existen subconjuntos de no medibles Lebesgue.
Daro Snchez H Teora de la Medida e Integracin 7
20.Sean y espacios medibles se dice medible si para ( ) ( ) - H H H H \
w w w
todo E \ E
w w " w
( )
\ Si y es una clase de subconjuntos de por definicin H H H -
w w
C
\ \ G G
" "
( ) ( ) C C
\ \ Si y es una -lgebra en entonces es una - H H 5 H 5 - ( )
w w "
T T
lgebra en . H
\ Si y es una clase de subconjuntos de entonces H H H -
w w
T
\ \
" "
( ) ( ) ( ) ( ) 5 5 T T .
21. Sea y espacios medibles y una clase de ( ) ( ) - H H H H \
w w w
T
subconjuntos de tales que . En estas condiciones si H 5
w w "
( ) ( ) T T \
entonces es medible. \
3 M Sean un conjunto, una familia de espacios medibles y H H ( )
3 3
0 3 M 0
3 3 3
H H 5 H - , . La menor -lgebra de que vuelve todas las medibles, es
llamada -lgebra . 5 inicial
3 M En las condiciones de la definicin anterior, si para cada , es una clase T
3
de subconjuntos de tal que entonces la -lgebra inicial coincide H 5 5
3 3 3
( ) T
con la -lgebra generada por la familia 5
H 0 G G 34 M 4 " # 8
8
4 "
34
"
34 34 34
( ) T
0 Sean y las son las proyecciones naturales de sobre , la H H H H
_
3M
3 3 3
5 5 -lgebra es llamada . Si es una -lgebra inicial - 5 lgebra producto
producto es denotada por .
_
3M
3
0 3 M
3 3
H H - entonces
H F 0 F
3 M
"
3
3
es la menor -lgebra en que vuelven las medibles, es llamada la 5 H 0
3
5- . lgebra final
El par donde es una -lgebra, es llamado espacio medible. ( ) H 5
0 d 0 d
H -
se dice si y slo si . medible
"
Daro Snchez H Teora de la Medida e Integracin 8
0 d H d D H 0 D Sean y un conjunto denso en . Si para todo H - ( )
entonces es medible. Donde . 0 0 D 0 D ( ) ( )
"
24. Sea un espacio topolgicoy sea la -lgebra de Borel ( ) ( ) \ C C B 5 5
correspondiente. Toda aplicacin es continua superiormente (o 0 \ d -
continua inferiormente) y - -medible. En particular, toda aplicacin continua B R
es medible.
PRUEBA: Si es continua superiormente entonces es abierto o sea 0 0 D
pertenece a y por lo tanto pertenece a , para todo . En el caso C C B D d 5( )
de ser continua inferiormente lo mismo ocurre para los puntos del tipo 0
0 D.
25. Si indica la -lgebra de Borel de entonces . R R R R R
8 8
5 d
8
0 0 d ( ) H un espacio medible y funciones a valor en . Entonces ellas
" 8
son medibles si y slo si la funcin es A 0 A 0 A 0 A ( ) ( ) ( ) ( )
" # 8
- medible. R
8
8 "
8 8
-
.
tanto , es decir, . 0 A p0 A 0 p0 ->:
8 8
( ) ( ) ( )
30.Si converge a casi uniformemente, entonces 0 0 0 0
8 8
.
TEOREMA: Supongamos que es un espacio de medida totalmente finito, ( ) H .
es decir, , y son finitas. Si entonces casi . H 0 0 0 p0 ->: 0 p0
8 8 8
( )
uniformemente.
0 p0 ->: 0 p0 En las condiciones del teorema anterior, si entonces en
8 8
( )
.
medida.
0 !
8
es una sucesin si y slo si para todo y fundamental en medida %
para todo existe tal que implican . $ . % $ ! 8 7 8 8 l0 0 l
! ! 8 7
+ 0 0 0 ( ) Si entonces es una sucesin fundamental en medida.
8
8
.
Si es medible, y , entonces . ( ) ( ) - , 1 d 0 0 0 1 0 1 ->: H
. .
8 8
31. Si es una sucesin fundamental en medida, entonces admite una 0
8
subsucesin casi uniformemente fundamental. 0
8
5
0 0 0 0 p0 ->: Si entonces existe una subsucesin tal que .
8 8 8
( )
.
5 5
0 Si es una sucesin fundamental en medida, entonces existe una funcin
8
medible tal que . 0 d 0 0 H
.
-
8
0 1 d Sea un conjunto un espacio medible , entonces H H H H H ( ) - -
w w w
1 0 2 d es -medible si y slo si, existe -medible de manera que
" w w w
( ) - H
1 20.
32.Sea un conjunto y una coleccin de subconjuntos de , se dice que \ \ H H
es una -lgebra en si 5 \
( ) " \ H
( ) # E E H H
-
( ) $ E E
8 "
8 8
H H
Daro Snchez H Teora de la Medida e Integracin 10
\ La pareja ordenada formada de un conjunto y una -lgebra de ( ) H 5 H
subconjuntos de es llamado un . \ espacio de medida
Los conjuntos en son llamados -medibles. H H
\ \ Sea un conjunto dos -lgebras de , sea entonces es H H 5 H H H H
" # " #
una -lgebra. 5
33.Sea un conjunto y una familia de -lgebras en entonces \ \ H 5
0 0F
H H 5
0 F
0
es una -lgebra.
\ E \ Sea un conjunto y una coleccin cualesquiera de subconjuntos de .
Entonces existe la menor -lgebra conteniendo a , que es la interseccin 5 H E
de todas las -lgebras conteniendo a . es llamada -lgebra 5 H 5 E generada
por . E
\ 0 \ d 0 Sea un conjunto, una -lgebra, una funcin a valor real, es H 5 -
medible si para todo , . H d B \ 0B
34.Las siguientes afirmaciones son equivalentes para una funcin 0 \ d -
medible:
( ) + a d E B \ 0B H
( ) , a d F B \ 0B H
( ) - a d G B \ 0B H
. ( ) . a d H B \ 0B H
8 "
8 8
8"
_
I J Sea una medida definida en una -lgebra . Si y pertenecen a y . 5 H H
I J I J I
, de donde . Si + entonces . . . ( )
. . . . ( ) ( ) ( ) J I J I
39.Sea una medida definida en una -lgebra . . 5 H
Si es una sucesin creciente en , entonces ( ) ( ) + I
8
8
H
. .
_
( )
8 "
I I
8 8
8
lim
( ) ( ) ( ) , J J Si es una sucesin decreciente en y si entonces
8 "
8
H .
. . .
_
( )
8 "
J8 J lim
8
8
40. Sea un espacio de medida. Se define ( ) \ H .
( ) ; . .
I
. I
0 0 es una funcin simple; cuando es una funcin medible real, tomando un
nmero finito de valores
0 + 0 + I a3
_
( )
3 3 3
"
;
I
3
41.Sea es simple positiva con la representacin cannica : f H : : \
: ; : . +
_
4"
8
4
I
4
definimos de con respecto a la medida como el integral
nmero real
.
_
( ) : . . . + I
4"
8
4 4
\ - ! Sean , entonces < : f H
H
respecto a por el nmero real extendido .
0. . . : . sup
donde el supremo es extendido sobre toda funcin simple tal que : f H \
! B 0B B : H para todo .
0 1 Q \ 0 1 0. 1. Sean si entonces
H . .
0 I 0. 0 . La integral de sobre un conjunto es
I
. ; .
I
0 Q \ I J I J 0. 0.
I J
H H . . entonces .
43.Sea un espacio de medida, se define ( ) \ J H . H
. - . H ( ) I I J aI
Entonces es una medida en . - H
\ + + + ! + Sea medidas en y , entonces ( )
_
H . . . H . .
" # 8 " # 8 3 3
3"
8
es una medida en . H
\ I . I Sea se define . Entonces as definido es : f H - : . H -
I
( )
una medida en . H
44.Teorema de la convergencia montoma: Sean una 0 Q \
8
( ) H
sucesin creciente. Sea , entonces 0 0 0 0. 0 . lim sup lim
8 8
8 8 8
. .
El teorema de la convergencia montona para una sucesin no es verdadero
de funciones decrecientes, como se puede ver en el siguiente ejemplo:
0 0 ! 0. ! 0 . 8
8 8 8
" "
8 8
8
8 8
; . . . y
( ) lim lim
45.Sean , entonces , 0 1 Q \ - ! 0 1 . 0. 1.
H . . .
( )
-. - 0. . .
1 Q \ 1 . 1 . Sea entonces
8 8 8
H . .
_ _
8" 8"
0 Q \ I 0. I Sea defnase entonces es una medida
I
H - . H -
en . H
46. Decir que son funciones tales que -casi en toda 0 1 Q \ 0 1
H .
parte - , significa que . ( ) ( ) ( ) ( ) . . ->: B \0 B 1 B !
\ 0 Q \ Sea un espacio de medida ( ) H . H
- .
0. ! 0 ! ->:
. .
0 1 Q \ 0 1 ->: 0. 1. Sean si - entonces .
H . . . ( )
47. Dado , es una aplicacin tal que ( ) - \ d H - H una carga
( ) " ! -
es una familia disyunta, entonces . ( )( ) ( ) ( )
_
# I I I
8 8 8
8"
H - -
0 Q\ Una funcin es integrable si H
. ! 0 . ! 0 .
. .
Daro Snchez H Teora de la Medida e Integracin 13
0. 0 . 0 . Se define .
. . .
I 0. 0 . 0 . Si se define . H . . .
I I I
48.Sea cargas en entonces es una - - - H - -
" # 8 " # 8 3 3
3"
8
+ + + d +
_
carga en . H
0 I 0. I Sea una funcin integrable , entonces es una carga - . H - ( )
I
en . H
49.Lema de Fatou: Sea una sucesin entonces 0 Q \
8
H
.
( ) liminf liminf 0 . 0 .
8 8
. .
El resultado del lema de Fatou no es vlido en general, en el caso de
funciones no positivas, como se ve en el siguiente ejemplo:
0 0 ! 0 . "
8 8 8
"
8
!"
8
; . entonces , y, , ahora lim
.
liminf liminf 0 . ! 0 .
8 8
. .
0 El lema de Fatou puede ser extendido a funciones tomando valores
8
negativos. Sea y supongamos que . Si la sucesin 2 Q \ 2.
H .
( ) 0 Q\ 2 0 a8
8 8
en es tal que entonces H
.
( ) liminf liminf 0 . 0 .
8 8
. .
50.Si existe integrable tal que , entonces 1 l0 l 1 a8
8
.
liminf liminf 0 . 0 .
8 8
. .
0 Q \ d 0 . I B \0B Sea tal que si entonces
.
.( ) I !.
0 l0l Una funcin medible es integrable si y slo si es integrable.
0 1 0 0 1 son funciones integrables, entonces tambin son integrables.
0 0 0 0 ->: 0 0 Q \ Sea integrable , e integrables, entonces
" # " #
( ) . H
0. 0 . 0 . . . .
" #
.
51.Teorema de la convergencia dominada de Lebesgue: Sea una ( ) 0
8
8
sucesin de funciones integrables, que converge en casi toda parte para una
funcin a valor real medible . Si existe una funcin integrable tal que 0 l0 l 1
8
para todo , entonces es integrable y . 8 0 0. 0 .
. . lim
8
8
0 \ + , d 0 > + , > + , 0 Sea medible para todo , existe tal que -
> ! >
!
es integrable, para todo , es derivable adems B \ 0 0 1 B 1
B B
.
.>
| | ( )
integrable entonces .
.
.> .>
.0 >
( ) ( ) 0 B > . . B . .
B
( )
52.Sea y un intervalo, una funcin continua tal ( ) - \ + , 0 \ + , d H .
que
sea medible para todo ( ) ( ) - " 0 > \ d > + ,
sea continua para todo ( ) ( ) - # 0 B + , d B \
Existe integrable tal que . ( ) ( ) ( ) -- $ 1 \ d l0 B > l 1 B
Entonces
( ) ( )
+ +
, ,
0 B > . .> 0 B > .>. . .
Daro Snchez H Teora de la Medida e Integracin 14
\ d Sea un espacio de medida tal que ( ) - H - H
( ) ( ) " ! -
disyuntos . ( ) # I I3 I3
3
H - - D
Entonces es llamado una . - carga
53.Si es una carga en entonces un conjunto en se dice con - H H T positivo
respecto a cuando para todo en . Por dualidad un conjunto - - H I T ! I
R I T ! en se dice con respecto a cuando para todo H - - negativo
I ^ I ^ ! H H - - . Un conjunto en se dice con respecto a cuando , nulo
aI H.
E E E
3 "
Sea una sucesin de elementos de positivos entonces es
8 3
H
positivo. (Tmese ) E E E E E E E
8 "
w w
8 4 " 8 3
8 " 8
4 " 3 "
\ E E ! I E I
H tal que
- . H ( )
I 0. aI
I
Ms an, la funcin esta unvocamente determinada -casi en toda parte, 0 .
esto es si = . 1. 0 1 ->: - . .
( )
0 La funcin cuya existencia fue establecida en el teorema de Radon-
Nikodym es con frecuencia llamada la de con derivada de Radon-Nikodym -
respecto a y es denotada por . .
.
.
-
.
57.Sea una sucecin de funciones convergentes para una funcin en 0 0 P
8 "
se denota
0 0 0 0 0 0 0 0 0
8 8 8 8 8
sup ( )
0 0 0 0 0 0 0 0 0
8 8 8 8
inf ( )
y se tiene
. 0 0 0 0 0 0
8 8 8
Daro Snchez H Teora de la Medida e Integracin 15
58.Teorema de descomposicin de Lebesgue: Sean y medidas - - . 5
finitas en . Entonces existe una medida que es singular con respecto a y H - .
"
una medida que es absolutamente continua con respecto a tal que - .
#
- - - - -
" # " #
, adems y son nicas.
0 : l0l . " : Una funcin es -integrable cuando .
:
.
0 1 0 1 ->: Dos funciones se dicen -equivalentes si y slo si . . . ( )
" : P \ Si el espacio consiste de todas las -clases de
:
( ) H . .
equivalencia de las funciones a valor real -medible para las cuales tiene H 0 l0l
:
integral respecto a . .
59.El espacio consiste de todas las clases de equivalencia de P P \
( ) H .
las funciones a valor real -medibles que son acotadas en casi toda parte, dos H
funciones son equivalentes cuando ellas son iguales -casi en toda parte. Si .
0 P R R !
y con definimos H .
y . W R l0 B l B R m0m W R R R ! ( ) ( ) ( ) sup inf
H .
P Los elementos de son llamados
"
( ) ( ) H . H .
60.Si y son descomposiciones de Hahn de una carga y , T R T R I
" " # #
- H
entonces . - - - - ( ) ( ) ( ) ( ) I T I T I R I R
" # " #
\ T R Si es una carga en y sea descomposiciones de Hahn para . Las - -
variaciones negativas y positivas de son funciones medibles , definidas - - -
para en por I H
, - - - -
( ) ( ) ( ) ( ) I I T I I R
l l I La de es la medida definida para en por variacin total - - H
l l I I I - - - ( ) ( ) ( )
61. Si es una carga en , ella es Teorema de descomposicin de Jordan: - H
diferencia de dos medidas finitas en . En particular es diferencia de y . H - - -
Ms an, si donde son medidas finitas en entonces - . / . / H
. - / - I I I I
para todo . I H
0 P \ Si pertenece a y esta definida por la ecuacin ( ) H . -
- . ( )
I 0.
I
entonces y son dadas para en por - - - H
l l I
. - . - . - .
I I I
( ) ( ) ( )
I 0 . I 0 . l l I l0l.
62.Una carga es con respecto a una carga cuando la - . absolutamente continua
variacin total de es absolutamente continua con respecto a . l l l l - - .
0 Observacin: La funcin dada por el teorema de Rodan-Nikodym no
necesariamente es integrable; en efecto es -equivalente a una funcin 0 ( ) .
integrable si slo si es una medida finita. -
63.Teorema de representacin de Riesz a : Si es un espacio de P \
;
( ) H .
medida y es una funcional lineal acotada en , entonces K P \ " :
:
( ) H .
existe un en , donde tal que la ecuacin 1 P \ ;
;
:
:"
( ) H .
Daro Snchez H Teora de la Medida e Integracin 16
K 0 01 ( )
.
se tiene para todo en . Adems . 0 P mKm m1m
: :
P \ K P d Una funcional lineal en es una aplicacin de en tal que
: :
( ) H .
K +0 ,1 +K 0 ,K 1 + , d 0 1 P ( ) ( ) ( ) para todo en y en . Una funcional
:
lineal es acotada si existe una constante tal que para todo K Q lK 0 l Qm0m ( )
:
0 P en .
:
K P Sea una funcional lineal acotada en . Entonces existen dos funciones
:
lineales positivas acotadas tal que para todo K K K 0 K 0 K 0
( ) ( ) ( )
0 P
:
.
64. Si es un espacio de Teorema de representacin de Riesz: ( ) \ H .
medida -finito y una funcional lineal acotada en entonces 5 H . K P \
"
( )
existe una funcin en tal que , se tiene para todo 1 P \ K 0 01. 0
( ) ( )
H . .
en . Adems si es una funcional lineal positiva, entonces y P K mKm m1m
"
1 !.
\ J \
3 "
8
entonces con estas propiedades es llamado un . J lgebra
65.Si es una lgebra de conjuntos de entonces una medida en es una J \ J
funcin real extendida definida en tal que . J
( ) ( ) " ! .
( ) ( ) # E ! aE J .
Si es una sucesin de subconjuntos disyuntos de tal que ( ) $ F J J
8
8 " 8 "
F J F F
8 8 8
8"
4 4
4
F I I inf
_
( )
4"
4 "
4
usualmente llamada la generada por . medida exterior .
66.La funcin de la definicin satisface las siguientes propiedades: .
( ) ( ) + ! .
, para . ( ) ( ) , F ! F \
Si entonces ( ) - E F E F
. .
Si entonces ( ) . F F F . .
F F
8 "
_
I \ Un subconjunto de se dice -medible si .
8
8
( ) I
es una sucesin disyunta en , entonces . .
8 8
8"
8 "
I I
El teorema de Caratheodory muestra que una medida en la lgebra .
puede siempre ser extendida a una medida en una -lgebra . 5
conteniendo . La -lgebra as formada es automticamente completa en el 5
sentido que si con y si entonces y . I I ! F I F F !
. .
( )
68.Teorema de extensin de Hahn: Supngase que es una medida - . 5
finita en una lgebra . Entonces existe una nica extensin de a una medida .
en .
N
#
de es igual a . K N #( )
Donde / | , es continua es un espacio G N 0 N + , d m0m 0 B l 0 ( ) ( ) - sup
B N
de Banach.
70.Producto de medidas: Si y son espacios de medida, ( ) ( ) \ ]
entonces el conjunto de la forma con y es llamado E F E F
rectngulo medible, o simplemente rectngulo, en . Denotaremos las ^ \ ]
reuniones finitas de todos los rectngulos por . m
!
^ La coleccin es una lgebra de subconjuntos de m
!
Daro Snchez H Teora de la Medida e Integracin 18
\ ] Si y son espacios medibles, entonces denota la ( ) ( ) m
5-lgebra de subconjuntos de generado por los rectngulos ^ \ ] E F
con y . Se resear a los conjuntos de como a los conjuntos E F m
m-medibles o como los subconjuntos medibles de ^
\ ] Si y son espacios medibles. Entonces existe una medida ( ) ( ) . / 1
definida en tal que para todo y m 1 . / E F E F E ( )
F 5 1 . Si estos espacios son -finitos entonces existe una nica medida
teniendo la propiedad . ( )
71.Si es un subconjunto de y , entonces la -seccin de es I ^ \ ] B \ B I
el conjunto
I C ] B C I
B
Anlogamente, si entonces la -seccin de es el conjunto C ] C I
I B \ B C I
C
0 ^ d B \ B 0 Si es una funcin definida en y , entonces la -seccin de es -
la funcin definida por , 0 ] d 0 C 0 B C aC ]
B B
- ( ) ( )
Anlogamente, si entonces la -seccin de es la funcin C ] C 0 0 \ d
C
-
definida por 0 B 0 B C aB \
C
( ) ( )
+ I ^ I Lema: Si es un subconjunto medible de , entonces cada seccin de ( )
es medible.
( ) - , 0 ^ d 0 Si es una funcin medible, entonces cada seccin de es medible.
72.Una clase montona esta formada por subconjuntos en tales Q J Q
8
que y de subconjuntos en . J Q J Q J Q
8 8 8
Si es una coleccin de clases montonas entonces tambin es una Q \ Q
.
Daro Snchez H Teora de la Medida e Integracin 20
79.Desigualdad de Hlder:Sea y donde y 0 P 1 P : "
: ;
( ) ( ) ": "; " 01 P m01m m0m m1m . Entonces y .
" " : ;
0 1 P Desigualdad de Cauchy-Bunyakovskii-Schwarz. Si y recorren
#
entonces es integrable y 01 01. l01l.? m0m m1m | |
.
# #
80.Desigualdad de Minkowski. Si y recorren a entonces 0 2 P : " 0 2
:
recorre a y P m0 2m m0m m2m
: : : :
0 P P Una sucesin en es una secuencia de Cauchy en si para cada ( )
8 : :
nmero existe tal que si entonces . La % % % % ! Q 7 8 Q m0 0 m ( ) ( )
7 8 :
secuencia en es convergente a en si para cada nmero ( ) 0 P 0 P !
8 : :
8
%
existe un tal que si entonces . Un espacio lineal R 8 R m0 0 m ( ) % % %
8
normado es si cada sucesin de Cauchy converge a algn elemento completo
del espacio.
0 0 P Si la sucesin converge para en , entonces es una sucesin de ( )
8 :
8
Cauchy.
81.Teorema de completez: Si , entonces el espacio es un espacio " : P
:
vectorial normado completo con la norma m0m l0l .
:
: ":
.
P P \ El espacio consiste de todas las clases de funciones
( ) H .
H-medibles a valor real que son acotadas casi en toda parte, dos funciones se
dicen equivalentes cuando ellas son iguales -casi en toda parte . Si y . 0 P
por . m0m W R R R !
inf ( ) H .
82.La sucesin de funciones a valor real definidas en un espacio de ( ) 0
8
8
medida fijo para si para todo existe un ( ) \ 0 ! H . % converge uniformemente
nmero natural tal que si y , entonces | . R 8 R B \ 0 B 0 B l % % %
8
( ) ( )
0 0 ! B \ Una sucesin para si para cada y ( )
8
8
converge puntualmente %
existe un nmero tal que si , entonces . R B 8 R B l0 B 0 B l ( ) ( ) ( ) % % %
8
83.Una sucesin para si existe un conjunto ( ) 0 0
8
8
converge casi en toda parte
Q Q ! ! B \ Q en con tal que para cada y existe un nmero H . % ( )
natural , tal que si , entonces . R B 8 R B l0 B 0 B l % % %
8
( ) ( )
0 P P \ 0 P Una sucesin en para si para ( ) ( )
8 : : :
8
H . converge en P
:
cada existe un nmero natural tal que si entonces % % % ! R 8 R
m08 0m l0 0l .
: 8
: ":
. %.
0 P En el caso de que una sucesin converge en indicamos tambin ( )
8 :
8
este hecho diciendo que ( ) 0
8
8
converge en medida.
84.Supongamos que y que es una sucesin en que .\ 0 P ( )
8 :
8
converge uniformemente en para . Entonces pertence a y la sucesin \ 0 0 P
:
( ) 0 P 0
8 :
8
converge en para .
Daro Snchez H Teora de la Medida e Integracin 21
0 P Sea una sucesin en que converge casi en toda parte para una ( )
8 :
8
funcin medible . Si existe un funcin en tal que 0 1 P
:
l0 B l 1 B B \ 8
8
( ) ( )
entonces pertenece a y converge en para . 0 P 0 P 0
: 8 :
8
( )
\ 0 P Sea y sea una sucesin en que converge casi en toda . ( )
8 :
8
parte para una funcin medible . Si existe una constante tal que 0 O
l0 B l O B \ 8 0 P 0 P
8 : 8 :
8
( ) ( ) entonces pertenece a y converge en
para 0
85.Una sucesin de funcin medible a valor real se dice ( ) 0
8
8
convergente en
medida para la funcin medible a valor real cuando 0
lim
8
8
. ( ) ( ) ( ) B \ l0 B 0 B l !
0 Una sucesin se dice cuando ( )
8
8
una sucesin de Cauchy en medida
lim
78
7 8
. ( ) ( ) ( ) B \ l0 B 0 B l !
para cada . !
0 0 Si converge uniformemente para entonces el conjunto ( )
8
8
{ ; | B \ 0 B 0 B l
8
( ) ( )
es vaco para suficientemente grande, por tanto convergencia uniforme 8
implica convergencia en medida.
86. La sucesin , donde , la cual converge en casi toda parte ( ) 0 0
8 8
8
88"
;
para la funcin muestra que convergencia puntual no implica necesariamente !
convergencia en medida a menos que el espacio tenga medida finita.
P Obsrvese, sin embargo que convergencia en implica convergencia en
:
medida. Pues entonces I B \ l0 B 0 B l
8 8
( ) ( )
( ) ( ) l0 0l . l0 0l . I
8 8 8
: : :
I
. . .
8
( )
87.( ) ( ) F.Riesz Si una sucesin converge en medida para , entonces 0 0
8
8
alguna subsucesin converge -casi en toda parte para . . 0
0 Sea una sucesin de funciones medibles a valor real la cual es de ( )
8
8
Cauchy en medida. Entonces existe una subsucesin que converge -casi en .
toda parte y en medida hacia una funcin medible a valor real . 0
0 Sea una sucesin de funciones medible a valor real la cual es de ( )
8
8
Cauchy en medida. Entonces existe una funcin medible a valor real para la 0
cual la sucesin converge en medida. Esta funcin lmite es unvocamente 0
determinado -casi en toda parte. .
88.Tomando vemos que la sucesin converge 0 8 0
8 8
8
; " #
8 8
( )
uniformemente para la funcin y nos muestra adems que convergencia en !
medida no implica convergencia en . P
:
0 P Sin embargo sea una sucesin de funciones en la cual converge en ( )
8 :
8
medida para y sea tal que . Entonces y 0 1 P l0 B l 1 B ->: 0 P
: 8 :
( ) ( ) ( ) .
( ) 0 P 0
8 :
8
converge en a .
Daro Snchez H Teora de la Medida e Integracin 22
89.Una sucesin de funciones medibles se dice convergente ( ) 0
8
8
casi-
uniformemente para una funcin medible si para cada existe un conjunto 0 ! $
I \ I 0 0 \
$ $
en con tal que converge uniformemente para en . $ ( )
8
8
I
$
.
0 Una sucesin se dice si ( )
8
8
casi-uniformemente de Cauchy
para cada existe un conjunto en con tal que es $ . $ ! I \ I 0
$ $
( )
8
8
uniformemente convergente en . \ I
$
Es claro que convergencia casi-uniformemente es implicada por
convergencia uniformemente.
90. Sea una sucesin casi-uniformemente de Cauchy. Entonces existe ( ) 0
8
8
una funcin medible tal que converge casi-uniformemente y en casi 0 0 ( )
8
8
toda parte para . En consecuencia convergencia uniforme implica 0
convergencia casi en toda parte.
0 0 Si una sucesin converge casi-uniformemente para , entonces ( )
8
8
converge en medida. Inversamente, si la sucesin converge en medida ( ) 2
8
8
para entonces alguna subsucesin converge casi-uniformemente para . 2 2
P Se sigue que si una sucesin converge en , entonces tiene una subsucesin
:
la cual converge casi-uniformemente.
0 8 ! La sucesin la cual converge, en casi toda parte para la funcin ,
8
; " #
8 8
muestra, que convergencia casi-uniformemente no implica convergencia en . P
:
0 La sucesin muestra que convergencia en casi toda parte, no
8 88"
;
implica convergencia casi-uniformemente.
91.Teorema de Egoroff: Supngase que y que es una .( ) ( ) \ 0
8
8
sucesin de funciones medibles a valor real la cual converge casi en toda parte
en a una funcin medible a valor real . Entonces la sucesin \ 0 0 ( )
8
8
converge casi-uniformemente y en medida para . 0
EI EY =convergencia en casi toda parte. =convergencia casi-uniforme
=convergencia en =convergencia en medida. Se tiene: P P Q
: :
> Subsucesiones convergente
implicacin
Caso general Espacio tiene medida finita Convergencia dominada
El lema de Fatou contina vlido si en casi toda parte es convergecia
reemplazada por . convergencia en medida
El teorema de la convergencia dominada de Lebesgue contina verdadera, si
convergencia en casi toda parte, es reemplazada por convergencia en medida.
Daro Snchez H Teora de la Medida e Integracin 23
92.Teorema de convergencia de Vitali: Sea una sucesin en ( ) 0
8
8
P \ " :
:
( ) H . . Entonces las siguientes afirmaciones son necesarias y
suficientes para que la sucesin converja en para ( ) 0 P 0
8 :
8
converge en medida para 3 0 0 ( )
8
8
Para cada existe un conjunto con tal que si 33 ! I I % H .
% %
( )
J J I l0 l . 8 H . % y , entonces para todo
%
8
: :
Para cada existe un , tal que si y 333 ! ! I I % $ % H . $ % ( ) ( ) ( )
entonces para todo .
l0 l . 8
8
: :
. %
93.Sea una sucesin de funciones en , decimos que es ( ) ( ) 0 P 0
8 : 8
8 8
equicontinua, si dada una sucesin de conjuntos decreciente tal que ( ) I
8
H
I ! R a5 R
5
y dado existe tal que %
I
8
5
l0 l. a8 . %
94.Una sucesin es si dado existe ( ) 0 !
8
8
uniforme absolutamente continua, %
$ H ! aI tal que , se tiene
. $ . % I l0 l. a8
I
8
95.Una familia es si para existe , ( ) ( ) 0 ! 5 5
8
8
uniformemente integrable, % %
tal que
0 5
8
8
l0 l. a8 . %
0 0 Si es una sucesin equicontinua entonces es uniforme ( ) ( )
8 8
8 8
absolutamente continua.
0 \ Si es una sucesin uniforme, absolutamente continua, y ( )
8
8
.
sup
8
l0 l. 0
( )
8 8
8
. entonces es equicontinua y uniformemente integrable.
\ Si entonces .
es uniforme absolutamente continua
es equicontinua
( )
( )
0
0
8
8
8
8
I I
cubren a en el sentido de Vitali. Entonces dado existe una coleccin I ! %
disyunta finita de intervalos en tal que M M M
" # R
I
. 7 I M
8 "
R
%
98.Con el objeto de hablar de derivada de una funcin, primero definimos un
conjunto de cuatro cocientes llamados las de en como sigue: derivadas 0 B
H 0 B H 0 B
0 B2 0 B 0 B 0 B2
2 2
( ) ( ) lim lim
2! 2!
( ) ( ) ( ) ( )
H 0 B H 0 B
0 B2 0 B 0 B 0 B2
2 2
( ) ( ) lim
2!
2!
( ) ( ) ( ) ( )
lim
Claramente tenemos y . H 0 B H 0 B H 0 B H 0 B
( ) ( ) ( ) ( )
H 0 B H 0 B H 0 B H 0 B 0 Si , entonces decimos que es
( ) ( ) ( ) ( )
diferenciable en y define como el valor comn de las derivadas en . B 0 B B
w
( )
99.Sea una funcin a valor real montona creciente en el intervalo . 0 + ,
Entonces es diferenciable en casi toda parte. La derivada es medible y 0 0
w
.
( ) ( ) ( )
+
,
w
0 B .B 0 , 0 +
100.Sea una funcin a valor real definida en el intervalo y sea 0 + ,
+ B B B , + ,
! " 5
cualquier subdivisin de .
Se define
: 0 B 0B 8 0 B 0 B
_ _
( ) ( ) ( )
3" 3"
5 5
3 3" 3 3"
, > 8 : l0 B 0 B l
_
( ) ( )
3"
5
3 3"
donde = y siendo .
si
si
< < l<l <
< < !
! < !
"
B
#
si
si
es de variacin acotada en
1
1
@ 0 B
B=/8 B !
! B !
( )
"
B
si
si
es acotada pero no es de variacin acotada
103.Si es una funcin integrable en entonces la funcin definida por 0 + , J
J B 0 > .> + , ( ) ( )
+
B
, es continua, de variacin acotada en .
0 + , J B 0 > .> J + Si es una funcin acotada y medible en y ( ) ( ) ( )
+
B
entonces , para casi todo en . J B 0 B B + ,
w
( ) ( )
0 + , Si es una funcin integrable en , y si se supone que
J B J + 0 > .> J B 0 B B + , ( ) ( ) ( ) ( ) ( )
+
B
w
, entonces , para casi todo en .
104.Una funcin a valor real definida en es si dado + , absolutamente continua
% $ ! ! , existe un tal que
_
( ) ( )
3"
8
3
w
3
l0 B 0 B l %
para cada coleccin finita de intervalos con B B ( )
3
3
w
.
_
3"
8
3
w
3
lB B l $
Una funcin absolutamente continua es continua y se sigue que la integral
indefinida es absolutamente continua.
0 + , Si es absolutamente continua en entonces es de variacinacotada en
+ ,.
0 0 Si es absolutamente continua, entonces tiene derivada casi en toda parte.
105. Si es absolutamente continua en y en casi toda parte 0 + , 0 B !
w
( )
entonces es constante. 0
J Una funcin es una integral indefinida si y slo si es absolutamente
continua.
Una funcin absolutamente continua, es la integral indefinida de su derivada.
J + , Sea una funcin continua a derecha, montona creciente en defina .
J
en el intervalo por . Entonces es absolutamente + , + , J , J + J .
J
w w w w
( ) ( ) ( )
continua si y slo si , siendo la medida de Lebesgue. . - -
J
2. RESULTADOS PROBADOS
Daro Snchez H Teora de la Medida e Integracin 26
1.Sea una sucesin de subconjuntos de un conjunto . Si consiste de ( ) E \ E
8
8
todo tal que pertenece a infinidad de los conjuntos , mostrar que B \ B E
8
E E
7 "
8 7
8
.
SOLUCION:3 B E 7 " B E Si entonces para todo , o sea que
7 "
8 7
8 7
8 8
( ) ( )
a7 " b8 7 7 B E B E tal que , lo cual es equivalente a para
8 7 8 ( )
infinitos o sea . 8 B E
33 B E B E 8 Si entonces para infinitos , por lo tanto
8
. ( ) ( )
a7 b8 7 8B E B E
8 7 8 ( )
7 "
8 7
7 "
7 "
8 7
8 8
.
Si entonces existe de donde 8 B E 7 8 B E B E
8 ! 8 8
min
para todo , por consiguiente, tal que o sea 8 7 " 7 b7 B E
! " " 8
8 7
"
que . B E
7 "
8 7
8
Recprocamente, si entonces tal que o sea B E b7 B E
7 "
8 7
7 "
8 8
8 "
8
SOLUCION:Se tiene que entonces de la monotona de se recibe I J I
.
. . . ( ) ( ) ( ) I J I ! I J ! o sea que .
Para cada , sea , obtengamos una sucesin creciente de 8 E I
8 5
8
5 "
subconjuntos as con las siguientes propiedades J E E I
8 8 8" 8
3 J J 8 7 , ya que si se tiene
8 7
J J E E E E E E
8 7 8 7 7
8" 7" 8"
- - -
E E E E E E
7 8 8 7
- - - -
8" 7"
E E E E
E E E E E
7 8" 7 7 8"
7 8" 8
-
8"
33 J ! .
8
, en efecto,
entonces J I J I J !
8 8 8 8 8
. . .
333 J I , en efecto
8 " 8 "
8 8
sea existe ; esto implica que as B I 8 B I 8 B I
8 "
8 8 8
existe entonces se tiene 7 8 B I min
8
y , , B I B I a< " # 7"
7 <
por lo tanto
. B I I J B J
7 7"
5 " 5 " 8 "
5 5 8 8
3@ I ! .
8 "
8
En efecto, . . .
_
( )
8 " 8 "
I J J !
8 8 8
8"
H H .( )
forman una -lgebra tal que 5 H H
w
.
Daro Snchez H Teora de la Medida e Integracin 28
SOLUCION: Sea y formemos m H . J \b^ J ^ ^ !
H H m
w
I J I J
Se tiene:
, en efecto ya que 3 ! H H m .
w
( ) J ^ aI I I \ H H H
w w
Si entonces veamos que 33 F F H H
w - w
F bI bR F I R I H H m H
w -
tal que entonces .
Basta mostrar que para todo y todo se tiene que I R I R H m H
w
Si esto equivale a que existe , (ntese que ) R ^ R ^ ^ ! ^ R m H .
- -
donde , ahora I R I ^ I Q Q ^ R ^ R
( )
( ) ( )
-
I ^ I ^
-
H
I Q I ^ R ^ R ^ R ^ ( )
-
entonces
. . . . I Q ^ ! I Q !
Luego entonces I Q I R m H
w
( ) Vemoslo
( ) ( ) ( ) ( ) ( ) I ^ I Q I ^ I Q I ^ Q I ^ ^ R =
- - -
I ^ ^ R I ^ ^ ^ R I \ ^ R
- - - - - - -
( ) ( ) ( ) ( )
I ^ R I R I R
- - -
^ R
- -
.
Sea tal que para cada entonces 333 F F8 8 R F I ^ ( )
8 8 8 8
8R
w
H
con y . Ahora I ^
8 8
H m
8 " 8 " 8 " 8 "
F I ^ I ^
8 8 8 8 8
( )
es claro que ; esto equivale a que existe tal que
8 "
I ^ J
8 8 8
H m H
^ J J !
8 8 8
y as siguiendo el problema 4 de arriba, .( )
8 " 8 " 8 !
^ J J !
? 8 8
y .
entonces
8 " 8 "
^ F
? 8
w
m H as .
5"
7
5 5
( )
_
E
5
E
5
H probar que .
_
( ) : . . . + E
5"
7
5 5
SOLUCION: Como es simple, entonces toma un nmero finito de valores, : :
sea los valores distintos que toma la funcin donde , , , , 7
" # $ 7
:
, , 3 4 , !
3 4 3
para todo y ( )
:
"
3 3 3 4
( ) , I I I ! a3 4
entonces la representacin es la cannica de , tenemos : ; : ,
_
3"
7
3
I
3
Supongamos que donde los son disyuntos, " + E E : ; H
_
5"
8
5 5 5
E
5
( ) es decir, y (aqu los no necesariamente todos diferentes) E E 8 7 +
5 4 5
entonces
_
( ) ( ) : . . . + E "
5"
8
5 5
En efecto, en este caso tenemos que
I , E + ,
2 2 5 5 2
"
: ( )
8
5 "
puesto que si entonces existe un tal que B , B , 5 : :
"
2 2
( ) ( )
:( ) B + , B E B E + ,
5 2 5 5 5 2
para entonces
8
5 "
Ahora sea tal que entonces C E + , b5 C E 0 C + ,
8
5 "
5 5 2 5 5 2
( )
C , I :
"
2 2
( ) .
Por lo tanto
_ _ _
( ) ( )
2" 2" 5"
7 7 8
2 2 2 5 5 2 5 5
, I , E + , + E
8
. . .
5 "
Ahora
Daro Snchez H Teora de la Medida e Integracin 31
_ _
( ) ( ) : . . : . . . , I . + E
2" 5"
7 8
2 2 5 5
Probemos ahora que si y con los # Q \ + E : H : ;
" " 5 5
5"
8
E
( )
_
5
disyuntos y si entonces es simple y se + d C d C ! E +
" E
H : ;
tiene
( ) ( ) ( ) ( )
_
: ; . : . . . .
" " 5 5 E
5"
8
+ . . + E + E + E
" ( )
En efecto, es evidente que es simple : ;
" E
+
: ; ; ; ; ; ; ;
" 5 5 5 E E E E E
5" 5" 5"
8 8 8
E
BE
+ + + + + +
_ _ _
( )
5 5 5
( )
( )
+ + + + + ; ; ; ; ;
E EE E E
\ E
8
5"
5" 5"
8 8
5 5
E E
8
_
5
5 5
-
-
5
_ _
( )
5"
.
( ) Dado que
_
5"
8
5 E E
+ + ; ;
5
+ + + " + + " +
_ _ _ _ _
5" 5" 5" 5" 5"
8 8 8 8 8
5 5 E E E E E E E E E E
; ; ; ; ; ; ; ; ; ;
5 5 5 5 5 5
+ + + + + +
" ;
; ; ; ; ; ; ; ; ; ;
\
5 5 5 \
_ _ _
( )
5" 5" 5"
5 5 5 \ E E E E E E E
8 8
E
8
5" 5
8
+ + + +
_ _
( ) ( )
5" 5"
8 8
5 5 E E E E E
E
8 ; ; ; ; ; ; ; ;
5 5 \ \
5
5"
+ + + +
_ _
( )
5" 5"
8 8
5 5 E E E E
\ E
8 ; ; ; ; ; ;
5 5 \E
5
5"
.
Ahora son disyuntos dos a dos (para todo E E E E E E
5 5
- -
5
8
5 "
O " # 8 " ) entonces es posible aplicar la parte entonces ( )
( ) ( ) ( ) ( )
_ _
: ; . . . .
" 5 5 5 5 E
5" 5"
8 8
- -
5
+ . + + E E + E E + E E
8
5 "
+ E E E E + E E E E
_ _
( ) ( ) ( ) ( )
5" 5"
8 8
5 5 5 5
- -
5
. . . .
8
5 "
+ E + E . + E
_
( ) ( ) ( )
5"
8
5 5 "
. . : . .
Entonces ahora por induccin
: ; ; ; H
" " H # H : H 3 4
. . . . d H 4 " # :
" # :
es simple donde y ,
entonces
_
( ) ( ) : ; ; ; : . .
" " H # H : H " 4 4
4"
:
. . . . . H $
" # :
Esto permite concluir la afirmacin ya que es es una : ; -
_
3"
8
3 J
3
representacin cualquiera de obtenemos :
Daro Snchez H Teora de la Medida e Integracin 32
entonces donde y 3 a3 a4 3 4 J J - !
3 4 " 3 J "
3"
8
: : ; :
_
3
: ; ;
" " J = J
- -
" =
es simple y
( ) ( ) ( ) : . ; ; . . . . . ! - - . !. - J - J
" J = J " " = =
" =
- J
_
( )
3"
=
3 3
.
Si existen intersecciones no vacias entre los podemos suponer sin 33 J
3
perder generalidad por ejemplo para los son disyuntos dos a 3 " # 5 J
3
dos si no se reindiza y para entonces se puede escribir en la ( )
_
: ; : +
3"
8
3 J
3
forma donde donde si : : ; ; : ; + + + J J
" 5" J 8 J " 3 J 3 4
3"
5
5" 8 3
_
3 3 3 4 " # 5 $ entonces aplicando tenemos que ( )
( ) ( )
_
: . : ; ; . : . . . + + . . + J
" 5" J 8 J " 3 3
35"
8
5" 8
Como , entonces
_
( ) : . .
" 4 4
4"
5
. + J
.
_ _ _ _
( ) ( ) ( ) ( ) : . : . . . . . . . + J + J + J + J
" 3 3 4 4 3 3 3 3
35" 35"
8 5 8 8
4" 3"
( ) ( )
+,
0. K , K + .
SOLUCION: Consideremos el cociente diferencial "
J B2 J B
2 2 2
0. 0.
"
+B2 +B
( ) ( )
0 . 0 .
+B2 +B
. .
; . ; .
0 0 . 0 . "
( )
" "
2 2
+B2 +B +B2 +B
; ; . ; ; .
Sea entonces ahora E + B F B B 2 E F B E F + B 2
, ; ; ; ; ; ; ; ;
EF E EF EF E EF F F
o sea
; ; ; ;
BB2 +B2 +B B
por lo tanto
" "
2 2
+B2 +B BB2 B
0 . 0 . ; ; . ; ; .
, 0 . 0 . 0 .
" " "
2 2 2
BB2 B BB2
; . ; . ; .
ya que . Como es continua y positiva se
( ) ( ) 0 . 0. 0 B ! 0 ; . . .
B
B
sup
tiene
Daro Snchez H Teora de la Medida e Integracin 33
. inf sup
0 0 0
B B 2 B B 2
Por la monotona de la integral se tiene
" " "
2 2 2
BB2 BB2 BB2
inf sup
0 . 0 . 0 .
B B 2 B B 2
; . ; . ; .
[
de donde se tiene que
inf sup
B B B 2
B B B 2
0 B J B 2 J B 0 B ( ) ( ) ( ) ( ) ( )
"
2
Pasando al lmite cuando se tiene: 2 !
y inf sup
B B B 2
B B B 2
0 B 0 B 0 B 0 B ( ) ( ) ( ) ( )
o sea que
0 B 0 B ( ) ( ) lim
2!
J B2 J B
2
( ) ( )
por lo tanto . J B 0 B
w
( ) ( )
# K B 0 B Sea entonces segn un resultado bsico (cul?)
w
( ) ( )
K B 0. 5 aB + , 5 B + ( )
+B
. , por lo tanto para calcular hacemos y se
tiene , de donde K + 0. 5 5 ( )
++
.
K B 0. K + aB + , ( ) ( )
+B
.
Por lo tanto
K , 0. K + ( ) ( )
+,
.
o sea que
( ) ( )
+,
0. K , 1 + .
9. Si entonces es medible. 0 1 Q \ B \0 B 1 B
( ) ( ) ( ) H
SOLUCION: Si entonces y por una de las propiedades 0 B 1 B 0 B 1 B ! ( ) ( ) ( ) ( )
de los nmeros reales, se tiene que
0 B 1 B ! 0 B 1 B ! ( ) ( ) ( ) ( )
as tenemos que
B \0 B 1 B B \ 0 B 1 B ! B \0 B 1 B ! ( ) ( ) ( ) ( ) ( ) ( )
Como y son funciones medibles, por un resultado bsico Cal? 0 1 ( )
, y B \ 0 B 1 B ! B \0 B 1 B ! ( ) ( ) ( ) ( ) H H
entonces como es una -lgebra se tiene que H 5
B \0 B 1 B ( ) ( )
=B \ 0 B 1 B ! B \0 B 1 B ! ( ) ( ) ( ) ( ) H
de donde el resultado, o sea . B \0 B 1 B ( ) ( ) es medible
0. 0 . . . lim
8
8
SOLUCION: es integrable ( ) ( ) 3 0 B
l0 B l l0 B 0 B 0 B l l0 B 0 B l l0 B l l0 B l ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
8 8 8 8 8
%
o sea que
l0 B l l0 B l aB \ ( ) ( ) %
8
Por lo tanto
.
( ) ( ) ( ) ( ) l0 B l. l0 B l . . l0 B l. . % . % . .
8 8
De aqu se tiene
( ) ( ) ( ) l0 B l. \ l0 B l. . %. .
8
como y es integrable para todo se sigue que .( ) ( ) \ 0 B 8
8
( ) l0 B l. .
por lo tanto es integrable o sea que es integrable. l0 B l 0 ( )
( )
33 0. 0 . . . lim
8
8
Por hiptesis converge uniformemente para , esto es dado , existe 0 0 ! R
8
%
tal que , o sea que para el dado, se tiene 8 R l0 B 0 B l aB \ !
8
( ) ( ) % %
! l0 B 0 B l aB \ %
8
( ) ( )
aplicando el lema de Fatou a la funcin , esto se puede hacer ya que % l0 0l
8
0 es integrable, tenemos
( ) ( ) % . % . % . . . l0 0l . . l0 0l.
8p
liminf liminf
8
8 8
o sea
%. %. . ( ) ( )
\ \ l0 0l.
8p
limsup
8
como entonces es finito y se puede simplificar, obteniendose . %. ( ) ( ) B \
que
limsup
8p
l0 0l. !
8
.
Si una sucesin de nmeros reales no negativos tiende para cero su lmite
superior es positivo por lo tanto
. limsup
8p
l0 0l. !
8
.
Luego
lim
8
8
l0 0l. ! .
pero
, l 0 B 0 B . l l0 0l.
( ) ( )
8 8
. .
esto implica que
lim
8
8
( ) 0 0 . ! .
o sea que
lim
8
8
0 . 0. . .
No es verdadero el problema cuando ( ) ( ) 333 \ .
Consideremos el siguiente ejemplo
Daro Snchez H Teora de la Medida e Integracin 35
Sea , esta sucesin de funciones converge uniformemente para 0 0 !
8
"
8
!8
;
en el intervalo . B !
Sin embargo
( ) 0 . ! 8 8 "
8
" "
8 8
. .
por otra parte Obtenindose que
0. ! .
lim
8
8
0 . 0. . .
Es de notar que .( ) !
( ) ( ) ( )
Se considera para tal fin la siguiente truncacin para 0
si
si
si
0 B
B "
R ! B
! B !
R
" "
B R
"
R
( )
_
"
"
0 B B " B "
R
" "
R
8"
( ) es creciente, pues si entonces
" "
( )
en este caso 0 B 0 B
8 8"
"
B
( ) ( )
si , entonces, si as para B 0 B 8 ! B 0 B 8 ( ) ( )
" " " "
8"
8 8
8 8
B
( )
" " "
todo porque si entonces B B
" " " "
8" 8"
8 8
( ) ( )
" " " "
Daro Snchez H Teora de la Medida e Integracin 36
" " " "
8"
8 B B
"
"
( )
" "
B 8 " 8 ( )
de donde tenemos que , entonces
" "
B B
8 " 8
para 0 B 8 0 B B
8 8"
" " "
B
8"
8
( ) ( )
( )
" "
Si , entonces ! B 0 B 8 " 8 0 B
"
8"
8" 8
( )
"
( ) ( )
Si entonces . B ! 0 B ! 0 B
8 8"
( ) ( )
De todo la anterior se sigue que
0 B 0 B aB ! " a8
8 8"
( ) ( )
Luego es una sucesin creciente. Cuando las entonces por la 0 B 8p
8
( )
construccin de se sigue que . 0 0 0
8 8
Como las son funciones no negativas medibles, por el teorema de la 0
8
convergencia montona, se sigue
J 0. 0 . !. 8. B . ( )
. . . . . lim lim
8 8
8
"
!8 8 "
" "
8 "
"
Por un resultado bsico cal? , como es una funcin no negativa en el ( )
"
B
B . B B
.
" 8 8 lim lim
8 8
" " "
" " "
"
"
"
" " " "
" " "
88
lim
"
( )
( ) : ! ! ya que y .
" "
8
8
lim
:
Luego J B . ( )
. lim lim
8
" "
8 8
8 "
"
"
"
"
"
"
tenemos como se vio en que , y por lo tanto por el teorema de ( ) # 0 0 0 !
R 8
la convergencia montona
J 0. 0 . 8 B . ( )
. . . lim lim lim
8 8 8
8
8 "
"
"
"
-1
como se sigue que, , por lo tanto no es integrable
"
8
! 8 J lim
"
( )
para "
En resumen se tiene;
para
para
para
J ! "
" !
"
( )
_
_
_
"
"
( ) , Tomando
si
si
0 B
! B "
! B !
( )
_
"
B
%
&
tenemos entonces
J .
% "
&
!"
B
%&
.
es integrable, ya que segn la parte y . ( ) + ! "
%
&
Ahora
si
si
0 B
! B "
! B !
#
" "
B B
#
( )
_
%& )&
en este caso no es integrable, ya que es tal que y J . "
) " )
& &
!"
B
)&
.
segn la parte . ( ) ( ) + J
( ) - Tomemos la siguiente funcin
si
si
0 B
& B
! B &
( )
_
"
B
"
&
Daro Snchez H Teora de la Medida e Integracin 38
esta funcin as definida no es integrable. Para mostrar esta afirmacin
supongamos que es integrable, entonces se tiene 0 B ( )
! !
0. 0 . . .
como es una funcin no negativa, continua podemos aplicar un resultado 0 B ( )
( ) cal? y obtenemos
( ) ( )
|
!
, , ,
! ! &
, & ,
" " "
& B & &
,
0 B . 0 B . .B .B & B . . lim lim lim log
" , & " & , lim log log log limlog
, ,
( ) ( )
Luego es contradictorio se sigue que
( )
! !
0. 0. po 0. . . .
no es integrable.
Consideremos ahora el cuadrado de es decir, 0
si
si
0 B
& B
! B &
# B
"
"
#&
( )
_
#
tenemos aqu que es una funcin continua y acotada pues 0 B
#
( )
l0 B l 0 B " aB ! 0 B ( ) ( ) ( ) , por lo tanto es integrable Riemann. Como
#
0 B
#
( ) ( ) es positiva y continua se tiene por resultado cal? que
( ) ( )
!
# #
, ,
! ! &
, & ,
" "
#& B
0 B . 0 B .B .B .B . lim lim
& l lim lim lim
, , ,
" " " " " # " #
#& B & & , & , & &
,
Luego
( ) ( )
! !
# #
0 B . 0 . . .
y es integrable. 0 B
#
( )
, "
, "
lim
,
Ahora
.
( )
! !,
, ,
!
,
0. 0. 0 B .B - - lim lim
>B "
>
Adems, si , entonces . Use esto y el problema anterior para > + ! / /
>B +B
justificar la diferenciacin bajo el signo integral y obtener la frmula
8 B
B / .B 8x
SOLUCION:Si entonces del estudio de las integrales de Riemann se sigue > !
que
_
|
! +
,
>B >B >B ,>
, , ,
" " "
> > >
,
!
/ .B / .B / / lim lim lim
" " " "
> > >
,
/
lim
,>
La funcin es creciente por lo tanto , de donde o sea / / /
B >B +B " "
/ /
+B >B
/ /
>B +B
Para tenemos > !
( )
!
,
8 >B 8 >B 8 >B
,
!
!
B / .B B / .B B / . B lim
( )
.
( ) B / ! Se tiene haciendo uso del problema anterior, pues y es continua
8 >B
ya que es el producto de dos funciones continuas.
Ahora
( ) ( )
!
8 >B 8"
B / . B 8x> " .
( )
Para probar esta afirmacin, seguiremos el mtodo de induccin sobre . 8
Para tenemos 8 !
( ) ( )
! !
! >B >B >B !"
,
!
,
"
>
B / . B / . B / .B !x> . . lim
( )
obtenindose verdadero para . 8 !
Supngase que la frmula es vlida para , esto es 8 "
( ) ( )
!
8 " >B 8
B / . B 8 " x>
-
.
Llamando vemos que por hiptesis de induccin para 0 B > B / > ! ( )
8" >B
0 B > \ ! ( ) es integrable en y se tiene
para | | ( )
`0
`>
8 >B 8 B
B > l B / l B / ! >
La funcin ; ya que B /
8 B
es integrable
Daro Snchez H Teora de la Medida e Integracin 41
( )
_
|
!
8 >B 8 B 8 B 8" B
, ,
! !
, ,
" 8
!
,
B / . B B / .B B / B / .B . lim lim
( ) 3
, / B / .B 8 " x 8x lim lim
, ,
" 8 8 8 , 8" B 8 8"
!
,
( )
( ) 33
( )
( ) 3 Aqu se aplica integracin por partes as
! !
, ,
8 B
B / .B ?.@ ?@ @.?
? B
.@ / .B
8
B
B / B / .B
.? 8B .B
@ /
8"
" B
" 8 8 B 8" B
!
,
!
,
|
( ) 33 Aqu se hace uso de la hiptesis de induccin y del hecho de que
lim lim
, ,
, 8" B 8" > 8
!
,
!
/ ! B / .B B / 8 " x
!
( ) .
Ahora aplicando un resultado bsico cal? para : ( ) > !
.
.> `>
!
`0
( ) ( ) 0 B > . B > . . .
o sea que
. `
.> `>
!
8" >B
_ _
( ) ( )
( )
!
8" >B
B / . B . B / . B .
por hiptesis de induccin
( ) ( )
!
8 >B 8
B / . B 8 " x> . , as
.
.>
8 8 >B
!
( ) ( ) ( )
8 " x> B / . B .
o sea que
8 8 " x> B / . B ( ) ( )
8" 8 >B
!
.
por consiguiente para 8
( )
!
8 >B 8"
B / . B 8x> .
( )
lo que prueba la validez de la frmula para todo . ( ) " 8
En particular para tenemos > "
( )
!
8 B 8 B
!
B / .B B / . B 8x .
l0 0l. p !
8
.
SOLUCION: 3 0 0 0 0 0 0 0 0 ( ) ( )
8 8
8
y
En efecto;
( ) ( )( ) ( ) ( ) 0 0 0 0 B ! 0 B 0 B !
8 8 8
sup sup
0 B ! 0 B ! 0 0 sup sup
8
( ) ( )
( ) ( )( ) ( ) ( ) 0 0 0 0 B ! 0 B 0 B !
8 8 8
sup sup
. 0 B ! 0 B ! 0 0 sup sup
8
( ) ( )
Daro Snchez H Teora de la Medida e Integracin 42
( ) 33 0 0 Sabemos de la hiptesis que esto equivale a que lim
8
8
lim lim
8 8
8 8 8
( ) ( ) ( ) 0 0 ! 0 0 0 0 ! o sea de donde
lim lim
8 8
8 8
( ) ( ) ( ) 0 0 0 0 ! "
En efecto; si existe tal que entonces B 0 0 B !
! 8 !
8
lim ( ) ( )
lim
8
8 ! !
( ) ( ) ( ) 0 B 0 B ! en cuyo caso
lim lim
8 8
8 ! ! 8 ! ! 8 ! !
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 B 0 B 0 B 0 B 0 B 0 B ! po lo
cual es contradictorio. En forma anloga se muestra que , de lim
8
8
( ) 0 0 !
donde se tiene la veracidad de ( ) "
( )
333 0 . 0. Tambin sabemos de la hiptesis general que , esto lim
8
8
. .
equivale a escribir que
lim lim
8 8
8 8
( ) ( )
0 . 0. 0 0 . ! . . .
o sea que
lim
8
8 8
( ) ( ) 0 0 0 0 . ! .
de donde tenemos
lim lim
8 8
8 8
( ) ( ) 0 0 . 0 0 . ! . .
as se obtiene
lim lim
8 8
8 8
( ) ( ) ( ) 0 0 . 0 0 . # . .
( ) 3@ 0 8 Sabemos tambin de la hiptesis que es positiva para todo , por lo
8
tanto es positiva y de la parte tenemos 0 3 ( )
ya que y ( ) 0 0 0 0 0 0 ! 0 0
8 8 8
8 8
ya que y ( ) 0 0 0 0 0 0 0 0 !
8
8 8
entonces
lim
8
8
l0 0l. . lim
8
8 8
( ) ( ) 0 0 0 0 ..
0 0 . 0 0 . lim lim
8 8
8 8
( ) ( ) . .
# 0 0 .
# ( )
lim
8
8
( ) .
( ) @ Afirmacin: lim
8
8
( ) 0 0 . ! .
En efecto, de la parte tenemos ( ) 3
( ) 0 0 0 0 0
8
8
entonces la sucesin es integrable para todo y 1 0 0 8 1 0 a8 0
8 8 8
( )
integrable, se sigue del teorema de la convergencia dominada de Lebesgue que
lim lim
8 8
8 8
1 . 1 . . .
Como entonces lim lim lim lim
8 8 8 8
8 8 8 8
1 0 0 ! 1 . 0 0 . ! ( ) ( )
. .
Luego o sea . lim lim
8 8
8 8 8
( ) l0 0 l. # 0 0 . l0 0 l. p! . . .
( )
1. 10. . .
( ) ( )
I 1 \ H ` H Supongamos que es una funcin simple, esto es existen
( )
+ + + 1 + I B \1 B +
" # < 3 I 3 3
3"
<
distintos tales que donde , los
_
( ) ; H
3
I \ I
3 "
<
3 3
son disyuntos y se tiene .
Luego en ese caso,
_ _ _ _
( )
_
1. + I + 0. + 0 . + 0. 10. - - . ; . ; . .
3" 3" 3" 3"
< < < <
3 3 3 3 I 3 I
I
3
3 3
Si no es simple, por un resultado bsico cal? se tiene la 1 \ ` H
( ) ( )
existencia de funciones simples en tales que ; como ` H :
8
( ) \ 1
0 \ 0 10 ` H :
8
( ) se sigue que . Luego
1. . 0. 0. 10. - : - : . : . . lim lim lim
8 8 8
8 8 8
.
.
-
.
( )
( ) 0 10 Aplicando el teorema de la convergencia montona, ya que . :
8
/ - H - . - . 5 ( )
I 1. aI 1
I
y ; , y son -finitas entonces existe
.
.
/
-
0 \ I 0. aI 0 ` H - . H
I
.
.
( ) ( )
tal que y .
-
.
Si y entonces . Por lo tanto existe tal que / - - . / . ` H 2 \
( )
/ . H ( )
I 2. aI 2
I
y . Entonces
.
.
/
.
, entonces
( ) 2. \ 1. 10. 2. 10. . / - . . .
( )
( ) "' se tiene por el problema
Entonces -casi en toda parte, esto es, -casi en toda parte. 2 10 . .
. . .
. . .
/ / -
. - .
( ) ( ) ( )
, 0 \ I 0. I - . ` H - . H
" "
1 \ I 1. I ( ) ( )
I
1
.
.
-
.
#
Si y entonces ya que entonces - . - . - - . .
" # " #
I ! ( )
( )( ) ( ) ( ) - - - -
" # " #
I I I !.
Daro Snchez H Teora de la Medida e Integracin 44
( ) ( ) ( )( )
- - . ` H - - .
" # " #
( )
y - . H ( )
I 0. aI 0
I
.
.
-
.
. - ` H 1 \ entonces existe tal que
( )
para todo y . - H ( )
I 1. I 1
I
.
.
.
-
supongamos que , por el problema por otro lado 1 ! "' 1. 10.
- .
( ) ". B 1. 10. ". 10 " . . - . . . entonces -casi en toda parte
entonces -casi entoda parte -casi en toda parte. 0
" . "
1 . . .
. .
-
. . -
%
abierto tal que l l l
( ) ( ) ( ) E K E
%
%
SOLUCION: Supongamos que . l
( ) E
Sea y y . E E I I E I
3"
3 3 3
l l
( ) ( )
_
inf
3 "
5 "
8
3
ahora , vemos que es abierto y que , es claro que K K K K
% % %
3 "
8
5 "
_
3
3
5
E I K E K
3 "
3 % %
y que . l l
( ) ( )
Daro Snchez H Teora de la Medida e Integracin 45
Como por lo tanto K + , + , , ,
3 3 3 3 3 3 3
5 5 5 5 5 5 5
" "
8 # 8 #
( )
3 3
3 6
% %
5 " 5 " 5 "
8 8 8
3 3 3
K + , , ,
3 3 3 3 3
5 5 5 5 5
"
8 #
( )
3
6
%
donde l
I 7 I , ,
3 3 3
" "
7 # # 8
3 3
5 5 #
3 3
3 3 6
% % % HIJ
5 "
8
3
adems I + ,
3
3 3
5 5
5 "
8
3
( )
l l l l l
3 3 3
3"
( )
_ _
K K
%
3 "
8
5 "
3
3
5
_
( )
3 "
l
I I I I
l l
l l l l I I I I
_ _ _ _ _
( ) ( ) ( )
6"
3 3 3 3
3" 3" 3" 3"
# #
% %
3
entonces esto para toda tal que l l
3"
3
#
( ) ( )
_
K I
%
%
3 " 3 "
I E I
3 3
entonces . l l l
3
# #
( ) ( ) ( )
_
_
K I E
3 "
%
% %
inf
8
entonces existe compacto tal que
% %
( )
l l l
( ) ( ) ( ) O F O
% %
%
SOLUCION: Sea y defnase ya F M 8 8 " M 8 8 " E M F E
8 8
8
%
#!
%
abierto tal que y as E K E K
% %
l l
( ) ( )
l l l
( ) ( ) ( ) E K E
%
%
Sea ; es compacto, pues es acotado y cerrado en O K M O d
% % %
C C ( )
8
( ) K
%
cerrado ( =complemento de ) y C( ) K
%
K
%
O M K M E M M F F
% % 8 8 8 8
E K
%
O \ O
% %
inf
compacto l l
( ) ( ) E O O E O
sup
SOLUCION:Para todo abierto tal que tenemos que por el K E K E K
l l
( ) ( )
problema dado , existe abierto, tal que #! ! K E K
%
+ %
l l
( ) ( ) K E
%
%
Entonces por la definicin de tenemos que inf
es abierto . l l
( ) ( ) E K E K K
inf
Mostremos ahora que
es compacto l l
( ) ( ) E O O E O
sup
E E E M 8 ! " # M 8 8 " E
8 8 8 8
, sea , entonces y
E M #" O
8 8 8 8
#
entonces por el problema dado = , existe compacto, %
%
l8l
O E O E O 8 O E M
8 8 8 8 8 8 8
#
tal que para todo , l l l ( ) ( ) ( )
%
l8l
entonces . a8 O E O E
8 8
8
Si para cada y es compacto pues es reunin L O E 5 L L
5 8 5 5
l8l "
5
de compactos ( finita). 5 " 5
Adems, para todo tenemos 8 7 8 7
O O E M E M E M M
8 7 8 8 7 8 7
( ) ( ) ( )
M M ya que
8 7
Luego es una sucesin disyunta montona creciente, dado , ( ) L 5
5
5
l l l l
5 8 8
l8l!
5
( ) ( ) ( )
_
_
L O O E
l8l !
5
Luego sup
5
L E " l l
5
( ) ( ) ( )
Como y sup lim lim L L O O E E M l l l l
5 5 8 8 8 8
5 5
l8l! l8l!
5
( ) ( ) ( ) ( )
_ _
tenemos que (reunin distinta, pues los son disyuntos)
8
E E M
8 8
l l l l l l
8 8! 8! 8! 8!
8 8 8 8
# #
( ) ( ) ( ) ( ) ( ) ( )
_ _ _ _ _
E E E E O O
% %
; . O L a
_
( ) ( )
8
8 5
l l % % % sup
Luego l l
5
( ) ( ) ( ) E L #
5
sup
De y se recibe que ( ) ( ) " #
compacto l l l
5
( ) ( ) ( ) E L O O E O
5
sup sup
( ) F E !.
Daro Snchez H Teora de la Medida e Integracin 47
( ) , Mostrar que todo subconjunto medible de Lebesgue es la reunin de un
conjunto medible de Borel (con la misma medida) y un conjunto de Lebesgue
de medida cero.
SOLUCION:( ) ( ) + 3 E 8 #! Supongamos que . Para por el problema l
8 "
8 8
( )
Ahora para todo tenemos 8
l l l l
8 8
"
8
( ) ( ) ( ) F K K E
8 "
8 8 8
( )
8
para todo , y . 8 E E
8
l ( )
Por la parte existe y . Sea 3 F d E F F E !
8 8 8 8 8
( ) ( ) l
F F d E F a8 E F
8
8 8 8
( ), pues ,
l l l l
8 8 8 8 8 8
8
( ) ( )
_
F E F E F E F E !
8 8 8
pues . l
8 8
( ) F E !
( ) ( ) , E O d O E
( ) E O !
, E
"
Caso l ( )
Si entonces para cada , existe compacto tal que E 8 O O E
8 8
l l
8 8 8
"
8
( ) ( ) ( ) E O O O d . Como es compacto entonces
Sea y como para todo se sigue que y O O d 8 O E O E
8 "
8 8
( )
l l l l l l
8 8
" "
8 8
( ) ( ) ( ) ( ) ( ) O O O E E O
8 "
entonces como
l l l l
"
8
( ) ( ) ( ) ( ) E O E O a8 E O ! entonces
, E
#
l ( ) .
Para cada , sea . Para cada , 8 E E M E E 8 E
8 8 8
8
l ( )
entonces existe y . O E O d E O !
8 8 8 8 8
( ) ( ) l
Sea y tal que , O O d O E a8 O E
8 "
8 8 8
( )
l l
8 8
( ) E O E O
8 8
l l
8 8 8 8
8
( ) ( )
_
8
E O !
E O E O !
8 8
( )
Luego si tal que y E bF d F E E F !
( ) ( ) l
l
( ) ( ) E F ! E F E F entonces
Daro Snchez H Teora de la Medida e Integracin 48
As es reunin de un conjunto medible de Borel y un conjunto medible de E
Lebesgue de medida cero.
\
". " ! " . .
Por otra parte , de donde y por lo tanto H B \ B C H B H !
C C
( ) ( ) .
]
!. ! / . As
( ) ( ) ( ) ( )
\
B
C
/ . . / H . B " ! H . C
]
d
-
finita casi en toda parte. Adems
l2l. l0l. l1l. - - -
La funcin de arriba es llamada de y , y se denota por 2 0 1 convolucin
01.
SOLUCION: Sean y , por la hiptesis son integrables Lebesgue 0 B C 1 C ( ) ( )
entonces sabemos que es finita tomando 2 B ->: ( ) -
J l0 B C 1 C l J B C ( ) ( ) ( )
aplicando el teorema de Tonelli tenemos:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
d d d d dd
l l0 B C 1 B l. C l. B l0 B C 1 C l. C . B J. - - - - - -
l0 B C ll1 C l. B . C l1 C l l0 B C l. B . C
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
d d d d
- - - -
l1 C l l0 B l. B . C l0 B l. B l1 C l. C
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
d d d d
- - - -
Por otra parte tenemos
( ) ( ) ( ) ( ) ( ) ( ) l2l. l 0 B C 1 C . C l. l l0 B C 1 C l. C l . - - - - -
d d
. l0 B l. B l1 C l. C
( ) ( ) ( ) ( )
d d
- -
( )
1 1. F ; / /
F
]
( ). Luego
( ) ( ) ( )
\] \] \] \]
E EF F
2. 01. . . E F E F 1 1 ; ; 1 ; 1 1 . /
. . 0. 1. ( )( )
; . ; / . /
E F
\ ]
33 0 + E 0 + 0 Ahora supongamos que , donde esto es simple y la
_
( )
3"
8
3 3 3 E
"
;
3
representacin an cannica, para algn entonces tenemos 1 F ^ ;
F
Daro Snchez H Teora de la Medida e Integracin 50
2 0 1 + + +
_
_ _ _
3"
8
3 F 3 F 3 E E E F
; ; ; ; ;
3 3 3
entonces tenemos que
_ _ _
( ) ( ) ( )
\] \]
3 3 3 3 E F E F
3"
8
2. 01. + . + . + E F 1 1 ; 1 ; 1 . /
3 3
+ E F + . . 0. 1.
_ _
_ _
( ) ( ) ( )
3 3 3 F
\ ] \ ]
E
. / ; . ; / . /
3
Anlogamente si 2 , ; ;
E
3"
8
3 F _
_
3
333 0 + 1 , E 0 + F 1 , Si donde , tenemos
_ _
( ) ( )
3" 4"
5 8
3 4 3 3 4 4 E
" "
; ;
3 F
4
2 0 1 + , + ,
_
_ _ _ _
_ _ _ _
3" 4" 3" 4"
5 8 5 8
3 4 F 3 4 E E
; ; ; ;
3 3 4 F
4
entonces se tiene
_ _ _ _
_ _
_
^
3" 4" 4" 3"
5 8 8 5
3 4 F 4 3 F E E
2. + , . , + . 1 ; ; 1 ; ; 1
^
3 3 4 4
, + . . + . , .
5
_ _ _ _
_ _
_ _
4" 3" 4"
8 8
4 3 F 3 4 F E E
\ ] \ ]
3 3 4 4
; . ; / ; . ; /
+ . , . 0. 1.
_
_ _
_ _
\ ] \ ]
3 4
3" 4"
5 8
3 4 F E
; . ; / . /
3@ 2 0 1 0 ! 1 ! Sea ahora con (medible en relacin a y . /
respectivamente). Por un resultado bsico (cal?) existen en y ( ) ( ) : ` H
8
\
existen en tales que ( ) ( ) < ` H
8
w
]
+ ! B B aB \ 8 : :
8 8"
( ) ( )
! C C aC ] 8 < <
8 8"
( ) ( )
, 0 B B B \ ( ) ( ) lim
8
8
:
1 C C C ] ( ) ( ) lim
8
8
<
- 2 : < : < funciones simples y tales que
8 8
Por el teorema de la convergencia montona tenemos
^ ^ \ ]
8 7 8 8
2. . . . 1 : < 1 : . < / lim lim
. . 0. 1.
lim lim
\ ] \ ]
8 8
: . < / . /
XGQ
( ) @ 2 0 1 Generalizando, basta descomponer as
2 0 0 1 1 0 1 0 1 0 1 1 0 ( )( )
donde todos los productos son positivos y por lo tanto se aplica la parte ( ) 3@
para obtener
^ ^ ^ ^ ^
2. 0 1 0 1 . 0 1 . 1 0 . 1 1 1 1 1
\ ] \ ] \ ] \ ]
0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 .
. / . / . / . /
0 . 0 . 1 . 1 . 0. 1.
\ \ ] ] \ ]
. . / / . /
Daro Snchez H Teora de la Medida e Integracin 51
As de todas maneras tenemos en total que
^ \ ]
2. 0. 1. 1 . /
( ) + + , + ,
+ +
8 "
"
8 8 8 8
8
lim
Daro Snchez H Teora de la Medida e Integracin 52
( )
El intervalo pero = no esta en por lo tanto ( ) ( ) + K + + K K C
d
no es una lgebra.
8 8
l + ,
SOLUCION: De tenemos que ( )
+ + , + , + , - - - ( ) ( ) ( ) ( )
_ _
8 8 8 8 8 8
8" 8"
l
8 "
<
< " " " "
" 8 8 8 8
"
8
-( ) + ! I d I B
B I
Luego .
- - - ( ) ( )
_
I B B !
B I
Sea , as
7
5 "
5 5
l l
5" 5" 5
7 7 7
5 5 5 5
( ) ( ) ( )
_ _ _
I 8 8 " 8 " 8 " 7 inf inf inf
( ) ( ) ( ) 33 I I I M ! Construccin de un conjunto tal que y . l l
8
Sea tenemos I 5 5
5 "
" "
# #
5 5
l l
( )
_ _ _
I 5 5 5 5
5" 5" 5"
" " " " "
# # # # #
5 5 5 5 5"
# # #
_
5"
"
# "
5
"
#
"
#
( ) 333 I d I M es medible es medible Lebesgue.
8
I M ) Si es medible Lebesgue, como es medible Lebesgue se sigue que
8
I M
8
es medible Lebesgue.
I M ) Supongamos que es medible Lebesgue
8
8 8
I M I M I d I
8 8
Luego es medible. I
%
l l l
( ) ( ) ( ) E K E
%
%
SOLUCION: Sabemos que donde , entonces dado l l
4"
4 4
( ) ( )
_
E I E I
inf
4 "
% ! M , existe una familia tal que ( )
3
3
l l l
3"
3
( ) ( ) ( )
_
E M E %
Daro Snchez H Teora de la Medida e Integracin 54
Tomando en ese caso tenemos y se tiene K M K M
% %
3 "
3 3
3"
l l ( ) ( )
_
l l l
( ) ( ) ( ) E K E
%
%.
%
8
existe un conjunto compacto tal que O F
%
l l l
( ) ( ) ( ) O F O
% %
%.
SOLUCION: Consideremos y entonces dado existe abierto F E M F ! K
8
%
%
tal que y F K F K F "
% %
%
l l l
#
( ) ( ) ( ) ( )
Anlogamente dado existe tal que y % L M F L
% % 8
l l l
8 8
#
( ) ( ) ( ) ( ) M F L M F #
%
%
Sumando y miembro a miembro obtenemos, que dado existen ( ) ( ) " # ! K %
%
L F K M F L
% % %
abiertos tales que y y adems
8
l l l l l
( ) ( ) ( ) ( ) ( ) K L F M F M
% %
8 8
% %
pero . As hemos probado l l l
8
( ) ( ) ( ) M 8 8 " 8 8 " 8 " 8 "
que
l l
( ) ( ) K L "
% %
%
Definiendo es compacto O M L L O
% % % % 8
C
L F M F L F F O F
% %
%
- - -
8
-
( ) , entonces , as
l l
( ) ( ) ( ) O F $
%
Resta demostrar que l l
( ) ( ) K O
% %
%
Como + tenemos por otro lado que l l l l
( ) ( ) ( ) ( ) K L " O L "
% % % %
%
( )
( ) ( )
M O L O L M L L
M " O L
8 8
8
% % % % % %
% %
l l
de aqu tenemos que , entonces l l l
( ) ( ) ( ) O " L K
% % %
%
l l l l
( ) ( ) ( ) ( ) ( ) K O K K "
% % % %
% , pero ya sabemos que , esto segn por lo
tanto
. l l l
( ) ( ) ( ) O F O
% %
%
inf
Daro Snchez H Teora de la Medida e Integracin 55
es compacto l l
( ) ( ) E O O E O
sup
SOLUCION: ( ) ( ) ( ) 3 E K E K K
inf inf l
( )
% " % % ! K K K ! existe abierto tal que , entonces dado , l l
( ) ( )
% %
existe abierto tal que es abierto tal que K K K E
% % %
" % K E K K E
inf l l l
( ) ( ) ( )
%
entonces como es arbitrario % " E " l
( ) ( )
Recprocamente tenemos . Si es abierto y l l
3 3
( ) ( )
_
E M M E K inf
K E K + , E K + ,
( ) ( ) ( ) ( )
_
3 3 3 3
3
l l l
es abierto l l
( ) ( ) ( ) E K K E K #
inf "
de y tenemos o sea ( ) ( ) " # "
es abierto . l l
( ) ( ) E K K E K
inf
M E N \ E
8 8
adems
_
( ) ( ) ( ) - - M E "
8
$
%
_
( ) ( ) ( ) - - N \ E #
8
$
%
de manera que . Se escoge ahora de tal manera que M \ N \ R
8 8
_ _
( )
8R 8R
8 8
$
- M lM l
%
Definimos ahora y as K L O
K M L M O K N
8
R
8 " 8 R
8 8 8
Se tiene: E K L K E O
E K E K K E L O ? ( ) ( )
de donde - - - - ( ) ( ) ( ) ( ) E K L O L O ?
Como - - ( ) ( )
_ _
L M lM l
8R 8R
8 8
$
%
Daro Snchez H Teora de la Medida e Integracin 56
basta mostrar que . Tenemos que , vemos por lo tanto -( ) ( ) O O K N
#
$
8
%
8
que es
_
( )
8
8
- K N
\ M N K \ M N K $ ( ) ( ) ( ) ( ) ( )
_ _
8 8
8 8 8 8
8 8
entonces - - -
en total de y tenemos ( ) ( ) " #
_ _
( ) ( ) ( )
8
8 8
#
$
lM l lN l E \ E % - -
%
De y deducimos que ( ) ( ) ( ) ( ) ( ) $ % \ E \ E - - -
_ _ _ _
( ) ( )
8 8 8 8
8 8 8 8
#
$
lM l lN l M N K - -
%
o sea
_ _ _ _
( ) ( ) ( )
8 8 8 8
8 8 8 8
# #
$ $
lN l N K lN l N K & - -
% %
Ahora como y se tiene N N K N K O K N
8 8 8 8
( ) ( ) ( )
8
- - - - ( ) ( ) ( ) ( )
_ _ _
O K N N N K
8 8 8
8 8 8
#
$
& ( )
%
entonces donde - % ( ) E K K M ?
R
8 "
8
As
- ; - ; ; - ; ; ( )
E K . l l. m m ?
E K E E K K " ?
( )
( ) ( )( ) ( ) ( )
_
_
> > >
! > E K
! > E F
" > E > K
" > E > K
; ; ; ;
E E K K
. l l > >
! > + K
! > E K
" > K E E K
; ; ;
E E K K
( ) ( )
_
_
j
_
_
_ ( ) ( )
?
3 3
( ) ( ) ( ) ( )
_
F F F I I F ya que donde inf
3 "
E E F E I I F I
. T . T ( ) ( )
_
3"
3 3 3
3 " 3
Daro Snchez H Teora de la Medida e Integracin 57
Luego
inf inf E E F E I I F I . T . T ( ) ( )
_
( )
3 3 3
( ) Q R d Q R
En efecto,
. . . T T ( ) ( )
_
E I I F I E I F E
3 3 3 3
.es finita
3 "
8
por lo tanto tomando se tiene . . T ( ) ( ) E E E F E inf
inf inf I I F I E E E
_
( ) ( ) . T . T
3 3 3
por lo tanto
. .
w
( ) ( ) F F aF \
Luego tenemos en este caso que . . .
w
( )
todo conjunto medible Lebesgue es la reunin de un conjunto medible Borel
( ) con la misma medida y un conjunto de Lebesgue de medida nula.
SOLUCION: 3 d Como es localmente compacto, -compacto de Hausdorff 5
tenemos que donde cada es compacto. As para d O O O O E
" # 8 8
y entonces y existen conjuntos abiertos % ! O E Z O E l
8 8 8
( )
tal que l
8 8
#
( ) ( ) ( ) Z O E 8 " # $ "
%
8"
Si , entonces , as que Z Z Z E Z O E Z E
8 8 8
#
( ) ( ) ( ) l
%
Aplicando esto a en lugar de ; existe un conjunto abierto tal que E E [ E
- -
l
- - -
#
( ) [ E J [ EJ [E
%
. Si , entonces .
Si es cerrada, entonces cada es compacto y J J O J O J ( )
8 8
l l
" # 8
( ) ( ) ( ) - O O O J J 8 cuando .
Si haciendo obtenemos conjuntos cerrados y abiertos % 4 " # J Z
"
4
4 4
( )
tales que y . J E Z Z J
4 4 4 4
"
4
l ( )
Tomando y , entonces es un y es un Q J F Z Q E F Q J F
4 4 5
K F Q ! F E F Q F E F Q
$
, y . Como se sigue que , l l l
( ) ( ) ( )
luego donde abierto . l
4 4
( ) F E ! F Z Z a3
4 "
Daro Snchez H Teora de la Medida e Integracin 58
33 E 3 Sea cualquier conjunto medible Lebesgue entonces de la parte se sigue
que donde , cerrado , as E Q F Q Q J J a4 ( )
4 4
l
( ) F Q ! y
. l l l l l
( ) ( ) ( ) ( ) ( ) ( ) E Q F Q Q F Q Q
inf
mismas?
SOLUCION: " es una medida .
pues es finito 3 ! .( )
Sea , si es finito, , si finito 33 I I I ! I I T . . ( ) ( )
-
I ! .( )
Si , es finito, entonces en ese caso 333 a8 I I ! I ! . .
8 8
( ) ( )
_
I I I I
8 "
8
T es finito ,o, es infinito
Si es finito, entonces existe tal que en ese caso I 8 I a8 8
! 8 !
. . .
_
( )
8 8
I ! I I
8 8 8
8
y se tiene .
Si es infinito I I ! .
8 "
8
En efecto, entonces es un conjunto infinito entonces
8 " 8 "
I I
8 8
T
# # es contradictorio por que no es un conjunto
_
( )
8 "
I \ po \
8
enumerable, luego es finito y concluyndose que
8 " 8 "
I I !
8 8
.
_
. .
_
_
( )
8 "
I I !
8 8
8
# F I I F I
tales que . . T
3"
3 3 3
( ) ( )
_
inf
3 "
3 F F
$ Clculo de la funcin .
w
Daro Snchez H Teora de la Medida e Integracin 59
Si entonces y son no enumerables, entonces F F F T
-
. . T
w
( ) ( ) F E E F E inf
Entonces en ese caso luego . . T
3 3 3
( ) ( )
_
F I I F I inf
3
. .
w
( ) ( ) F F .
Si entonces o son finitos y tenemos F F F T
-
. . T
w
-
( ) ( )
F E E F E
! F
F
inf
si es finito
+ si si es finito
. . T
3 3 3
-
( ) ( )
_
F I I F I
! F
F
inf
3
si es finito
+ si si es finito
As . . .
w
( ) ( ) F F
f f
SOLUCION: ( ) ( ) ( ) ( ) 3 I \ E E I E I f
( ) ( ) ( ) ( ) ( ) E E E E
Solo basta ver que ( ) !
! ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) !
por lo tanto f
( ) ( ) ( ) ( ) ( ) ( ) 33 \ E \ E E \ E \ ya que f f
( ) ( ) ( ) ( ) 333 E F F E F E aF \ f
( ) ( ) ( ) ( ) F E F E F E F E
-
C CC
F E F E F ( ) ( ) ( )
Luego E
-
f
( ) 3@ I I Mostremos que esta en , o sea debemos mostrar que
" #
f
( ) ( ) ( ) ( ) ( ) E E I I E I I
" # " #
I E I E I I E I I
" # " # # "
f ( ) ( ) ( ) ( )
I E E I E I
# # #
f ( ) ( ) ( )
Sea y F E I I F I E I I F I E I ( ) ( )
" # # # " # #
Daro Snchez H Teora de la Medida e Integracin 60
Tenemos, como que I F F I F I
# # #
f ( ) ( ) ( )
( ) ( ) ( ) E I I E I I E I
" # # " #
( )
( ) ( ) ( ) ( ) ( ) ( ) E I I E I I I E I I I
" # " # # " # #
Ahora = ( ) ( ) ( ) E I I I E I I I E I I I
" # # " # # " # #
C C C
E ( ) ( ) C C C C I I I I E I I E I I E I I
" # # # " # # " # "
y tenemos entonces que ( ) E I I I FI E I
" # # # #
( ) ( ) ( ) ( ) E I E I I E I I "
# # " # "
( ) ( ) ( ) ( ) E E I E I #
# #
E I I E I I E I $ ( ) ( ) ( ) ( )
" # # " #
o sea de y tenemos ( ) ( ) ( ) " # $
( ) ( ) ( ) ( ) ( ) E E I I E I I
" # " #
de donde tenemos que . I I
" #
f
Por lo tanto entonces por lo C C C C C I I I I
" # " #
f f ( ) ( ) I I f f ( )
" #
tanto I I I I
" # " #
CC( ) f
Aditividad.
Sean y . Para todo tenemos I I I I E \
" # " #
f
( ) ( ) ( ) ( ) ( ) ( ) E I I E I I I E I I I
" # " # " # "
"
E I E I
( )
( ) ( )
" #
Luego haciendo tenemos ya que E \ I I I I \ I I ( ) ( ) ( )
" # " # " "
\ I I
# #
.
( ) ( ) ( ) ( ) E I I I E I I I I E I
" # " " " # " "
E I I I E I I I I E I I E I ( ) ( ) ( )
" # " # #
- - - -
" " " " #
I I
-
"
#
43.Puede suceder que la coleccin del problema sea vaco. Por ejemplo f %#
sea para todo ( ) I " . I \
8 "
.
Sea donde , y se E E + , + , \ + , B \+ B , T
8
5 "
5 5 5 5 5 5 5 5
tiene entonces en . Claramente en . . . . . T . . T
" # " " # " # "
( ) E #
ya que si y es finito entonces y por lo I I I 8 I #8 T . .
" " #
( ) ( )
tanto en . . . T
" # "
( ) ( ) I I
B B
SOLUCION: ( ) ( ) ( ) ( ) ( ) 3 C I J B C I J B C I B C J
B
C I c B C J C I c C J C I C J
B B B B B
( ) ( ) ( )
C I J
B B
( ) ( ) ( ) ( ) 33 C I B C I b B C I
B
. b C I C I ( ) ( )
B B
8
I m
SOLUCION: ) Es claro por un resultado bsico(cal?)
I 8 I I ) Se obtiene escribiendo . Como es medible entonces el
8
8 8
rectngulo es medible, as es la reunin numerable de una familia 8 I I
8
enumerable de conjuntos medibles, por lo tanto es medible. En este caso I
existe una nica medida y 1
1 / m k l ( ) ( )
_
I I I
8"
8
Sea , E F E F E F E F F
l 1 . / / ( )
_
#( ) E
Daro Snchez H Teora de la Medida e Integracin 63
/ / 1 / ( ) ( ) ( )
_
( ) E F E E F E F
8
8"
8
Sea tal que y para tomando ) ) . / c l ( ) ( ) ( ) E F E F I
I 8 I
]
8
l0 l./ es convergente, en cuyo caso
_ _
^ ] ]
8" 8"
8 8
0. 0 . 0 . 1 / /
SOLUCION: ( ) ( ) 3 + I Recordemos el siguiente resultado bsico Si es un
subconjunto medible de , entonces cada seccin de es medible Si es ^ I , 0 ( )
una funcin medible en por , entonces cada seccin de es medible. Este ^ d 0
resultado nos permite afirmar que es una funcin medible . 0 a8
8
( ) 33 8 0 0 Si para todo , es medible es medible
8
{( ) ( ) ( ) ( ) B C 0 B C 0 I
"
entonces se reduce a ver que , es medible pero a8 I
8
0 C ] 0 8 C C ] 0 8 C I
8
"
8
( ) ( ) ( ) ( ) ( )
el cual es un conjunto medible.
( ) 333 0 l0l Supngase ahora que es integrable es integrable as tenemos
_ _
( )
] 8"
8]
8
8 8]
( )
( )
#
"
]
donde ( )
" l0l. l0l .
8]
B]
1 ; 1
fijo ( ) ( ) # l0l l0l B C 8 ; ;
8] 8]
si
| | si
l0 l C
! B 8
0 8 C B 8
_
( )
( )
8
Luego como ,
_
] 8"
]
8
l0l. l0 l. 1 /
esto muestra que la serie es convergente.
( ) 0 Esta igualdad muestra que es integrable la serie es absolutamente
convergente.
( ) ( ) 3@ 1 Recordemos el siguiente resultado bsico: Sea una sucesin en
8
Q 1 . 1 .
8" 8"
8 8
, entonces Por este resultado podemos afirmar
_
_ _
( ) . .
que | es una sucesin de funciones integrables y positivas por lo tanto ( ) 0 l
8
_ _
8" 8" ]
] ]
8 8
l0 l. l0 l. l0l. / / 1
Entonces
Daro Snchez H Teora de la Medida e Integracin 64
.
_ _ _
_
] 8" 8" 8"
B]
8"
B]
]
8 8
0. 0. 0. 0 . 0 . 1 1 1 / /
]
sup sup - - . .
" # " #
o sea liminf liminf
8p 8p
+ ,
8 8
Tomando entonces por consiguiente + " , " + , !
8 8 8 8
8 8"
( ) ( )
limsup
8p
+ , ! ( )
8 8
limsup limsup
8p 8p
+ " ,
8 8
de donde se deduce que:
limsup limsup limsup
8p 8p 8p
+ , + , ( )
8 8 8 8
;
;
Cal es la importancia de este ejemplo en el lema de Fatou?
SOLUCION: 0
8
" 8
8
;
;
I
I
si es impar
si es par
Integrando, teniendo en cuenta que tenemos " ; ;
I
C( ) I
si es par
si es impar
( )
( )
\
I
I
I
0 .
. I 8
. I 8
8
I
.
; . .
; . .
C
C
( )
( )
C
liminf min
8p
0 . I I
( ) ( )
\
8
. . . C
Adems
, entonces liminf liminf
8p
0 ! 0 . !
8 8
\
.
Si y son mayores que cero se tiene . . ( ) ( ) ( ) I I C
\ \
liminf liminf
8p 8p
0 . 0 .
8 8
. .
53.Pruebe que si es una funcin real sobre un espacio de medida tal que 0 \
B 0 B 5 5 0 ( ) es medible para cualquier racional entonces es una funcin
medible.
SOLUCION: Veamos que es medible para cualquier . Sea y 0 d d
"
( ) ( ) " "
< < p 8p
8 8
un sucesin creciente de nmeros racionales tal que cuando
entonces
0 0 < 0 <
" " "
8
( ) ( )
8 " 8 "
es medible ya que es interseccin enumerable de conjuntos medibles. Por
consiguiente
es medible 0 0 0
" " - "
-
( ) ( ) ( ) ( )
0 0 0
" " " " "
8 8
( ) ( )
" " "
8 " 8 "
es medible ya que es la unin numerable de conjuntos medibles.
Ahora y ( ) ( ) ( ) " "
0 0 0
" " "
( ) ( ) ( ) ( ) ( ) ( ) " "
el cual es medible, se sigue que es medible. 0
8 7
"
5
Sea y , es medible ya I B \ l0 B 0 B l 1 B l0 B 0 B l
785 8 7 87 8 7
"
5
( ) ( ) ( ) ( ) ( )
que es la composicin de una funcin medible con una funcin continua.
Entonces
es medible. I 1 !
5 8 7 R R
_
87
" "
5
333 E E E
8 8
numerables. Sean las siguientes proposiciones abiertas:
o son numerables : a8 E E ( )( )
8
-
8
es numerable ; E
8
8
es numerable < E
8
8
-
Ahora se sabe que : ; < : c; < ( ) ( )
Por consiguiente debemos mostrar que si no es numerable entonces
8
E
8
8
E
8
-
es numerable.
Si no es a lo ms numerable entonces existe un el cual no es a lo
8
E E
8 8
ms numerable, ya que entonces es a lo ms numerable ahora E E
8
-
8
, luego es a lo ms numerable
8 8 8
E E E E
8 8
- -
- -
8 8
, \ . es una medida sobre
Sea una familia enumerable de elementos de tales que E
8
8
E E 3 4 E E
3 4 8 8
8
para . Se debe mostrar que . . .
_
( )
8
Si es alo ms numerable entonces por consiguiente
8 8
E E ! E
8 8 8
.
debe ser a lo ms numerable para todo o sea para todo , 8 E ! 8 . ( )
8
siguindose que
_
( )
8
8 8
. . E ! E
8
Si no es a lo ms numerable entonces .
8 8
E E "
8 8
.
Puesto que no es numerable entonces existe tal que no es a lo
8
E 5 E
8 5
8
5 "
existir un tal que R
\ E E E 5 4
R
5 "
5 5 4
E B 5 " # R
5 5
c E O " # R
5 O
5
( )
En caso en el cual ese proceso no se detenga, entonces
2 R
M
E 2 M
c ( )-
( )
5 M
5
es uno a uno y adems el dominio no es numerable y por hiptesis es c ( )
numerable , absurdo, luego es finito. po
57.Sea 0 \ d
B
0 B 0 B 0 B 0 B
-
( ) ( ) ( ) ( ) ( )
8
" # 8
donde es medible. Sea un rectngulo abierto en es 0 3 " # 8 Z d
3
8
( )
decir, donde demostrar que Z M M M M + , d
" # 8 3 3 3
( ) 0 Z
"
( )
0 Z 0 M
" "
3
3
( ) ( )
8
3 "
SOLUCION: Sea B 0 Z 0 B Z
"
( ) ( )
Daro Snchez H Teora de la Medida e Integracin 69
0 B 0 B 0 B M M M ( ) ( ) ( ) ( )
" # 8 " # 8
0 B M a3 " # 8 B 0 M a3 " # 8 B 0 M
3 3 3 3
3 3
" "
( ) ( ) ( )
8
3 "
.
Como cada es medible para por consiguiente: 0 0 3 " # 8
3
3
"
0 Z 0 M
" "
3
3
( ) ( )
3 "
8
8 8
"
( ) .
( )( )( )( ) ( ) ( ) a ! bR aB a8 R l0 B 0 B l % %
8
Sea entonces existe tal que para todo tenemos % ! R 8 R
| 0 B 0 B l aB \
8
( ) ( ) %
entonces | | . Se supone que 0 Q Q
8
%
o sea
( ) ( )
\ \
l0l. Q. Q \ 0 P . . . .
"
Si entonces . . . ( )
\ ! 0 . . lim
8
8
\ \
Supongamos que y sea como uniformemente entonces . % ( ) \ ! 0 p0
w
\
8
%
.( )
existe y para todo R 8 R
| , 0 B 0 B l aB \
8
B
( ) ( )
%
.( )
Por consiguiente para todo 8 R
\ \
l0 0l. .
8
\
. . %
%
.( )
Como y 0 0 P a8 R l 0 0 . l l0 0l.
8 8 8
"
( ) ( )
. . .
\ \
( )
\
8 8
0 0 . 0 . 0. . . .
\ \
Daro Snchez H Teora de la Medida e Integracin 70
Por consiguiente para todo 8 R
|
\ \
0 . 0. l
8
. . %
o sea . lim
8
8
\ \
0 . 0. . .
, 0 \ d 0 Sea , entonces es una sucesin de funciones medibles
8 8
"
8
;
8
acotadas y uniformemente, y adems 0 p! d
8
.( )
. ! 0. 0 .
d d
. . lim
8
8
5
.
en un nmero finito de conjuntos . I
5
Demuestre que en el resultado en mencin y por consiguiente E I
8 "5 8
5
pruebe ese resultado sin usar cualquier referencia de integracin.
SOLUCION: E B \ B I I I
5 5 5
5
para infinitos y . Demostremos
_
( )
.
que E I
8 "5 8
5
B E I a8 B I a8 " b5 8 B I B I
8 "5 8 5 8
5 5 5 5
, para
infinitos . Ahora , por consiguiente I B E 8 E I
5 5
5 8
a8 E I I . . . ( ) ( )
_
5 8
5 5
58
( )
I
l0l. I . % . $ siempre que .
SOLUCION: Sean , \ B \ 8 l0 B l 8 "
8
( )
\ B \ l0 B l
( )
Entonces
\
3
l0l. l0l. l0l. l0l. . . . .
3
3
\
\ \ \
3
ya que . Entonces por consiguiente
( )
\ \
l0l. l0l. ! \ . . .
_
\ \5
l0l. l0l. l0l. . . .
5"
3
\
3
Sea , existe tal que % ! R
ahora
_
58
#
I \
3 "
I\
\ I
5
3
l0l. l0l. l0l. l0l. . . . .
%
_
Daro Snchez H Teora de la Medida e Integracin 71
ya que . . . ( ) ( ) \ ! \ I !
Por consiguiente
_
I
3
3
5
l0l. l0l. l0l. l0l. l0l. . . . . .
I\
I \
3 "
\ I
3"
5"
\ I
_
l0l. l0l. l0l. l0l.
_ _ _ _
5" 58" 5" 58"
R
\ I \ I \ I
5 5 5
\
5
. . . .
I
l0l. . %
( ) C
X
"
( )
33 I X I ! - . ( ) ( ) ( )
"
X I
"
" "
( ) H . H es -medible
333 I Sea una familia disyunta de elementos de tenemos ( )
3 #
3
H
- . . . - ( ) ( ) ( )
_ _
( )
3 " 3 " 3 "
I X I X I X I I
3 3 3 3 3
" " "
3" 3"
( )
( ) ( ) ( ) ( ) ( ) X I I X I X I X
" " " "
3 4 3 4
, d 1 Sea ahora se sigue que ( ) ( ) ( ) H
"
#
( ) ( ) ( ) ( ) 1 X X 1
"
" "
"
H
Luego es -medible. 1 X H
"
-3 1 F 1 Si es una funcin caracterstica, existe tal que as H ;
# F
( ) ( ) ( )
H H H
# #
"
1. . F X F X. - ; - - . ; .
F F
"
33 1 Para el caso de funciones simples, supongamos que donde
_
5"
7
5 F
;
5
! F 5 3 -
" 7 5
, entonces es finito para todo de tenemos ( )
_ _ _
H H H H
# # # "
5 5 5
1 . . . X. - ; - ; - ; .
5" 5" 5"
7 7 7
5 F 5 F 5 F
X. 1 X.
_
H H
" "
5
5"
7
5 F
; . .
333 1 ! Supongamos ahora que . Por un resultado (cal?) existen en ( ) :
8
Q \ ( )
# #
H tales que
y ( ) ( ) ( ) " ! B B aB \ a8 : :
8 8"
( ) # 1 lim
8
8
:
Por el teorema de la convergencia montona tenemos
H H H H
# # " "
"
1. . X. X. 1 X. - : - : . : . . lim lim lim
8 8 8
H
3@ 1 1 1 1 1. 1 . 1 . Para cualquiera
H H H
# # #
- - -
1 X. 1 X. 1 1 X. 1 X.
( )
H H H H
" " " "
. . . .
Daro Snchez H Teora de la Medida e Integracin 73
homeomorfismo por tanto es una funcin medible, ahora , X F F - - ( ) ( )
aI por lo tanto del problema anterior se tiene
( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( )
d d d d
0 B . B 0 X B . B 0 X B . 0 B . B - - - -
I / . B I
"
#
B #
_
1 I
#
y calclese
( )
d
B. B C
SOLUCION: Sabemos que es una medida absolutamente C - ( )
I / .
"
#
B #
_
1 I
#
continua con respecto a , -finita pues - 5
- - ; - C ( ) ( )
I ! / . / . ! I !
" "
# #
B # B #
I
_ _
1 1 I
# #
esto es
entonces existe la derivada de Radon-Nikodin, as
. "
.
#
B # C
-
1
/
_
#
y
( ) ( )
d d
# #
B. B B / . B B/ . C - -
" "
# #
B # B #
! !
_ _
( )
1 1
B/ . B/ .
" "
# #
!
B # B #
!
_ _
( )
1 1
# #
- -
Como y en este caso coincide con
( ) ! ! ! !
0. 0. 0. 0. - - - -
[ ) !
0.- as tenemos que
( )
d
# #
B. B B/ . B/ . C - -
# #
# #
!
B # B #
,
!,
_ _
1 1
lim
/ / "
# . #
# #
, ,
!
,
.B
B # , #
_ _
1 1
lim lim
# #
# " #
# #
,
/
_ _
1 1
lim
, #
#
66.Probar que no es enumerable usando argumentos de teora de medida ! " .
SOLUCION: Supongamos que es numerable entonces , !" ! " B
3 "
3
tomando medida de Lebesgue tenemos
" ! " B B ! ! - - - ( ) ( )
_ _
3 "
3 3
3" 3"
lo cual es absurdo, por lo tanto no es enumerable. po ! "
Daro Snchez H Teora de la Medida e Integracin 74
\
l0 0l. !
8
.
SOLUCION: Sabemos que | . 0 p0 a8 R 0 0l
8 8
! R
Dado existe
%
%
Ahora por lo tanto esto significa que es integrable, l0 l 1 a8 l0l 1 0
8
por otro lado tenemos
| . 0 0l l0 l l0l #1 a8
8 8
Aplicando el teorema de la convergencia de Lebesgue tenemos
. lim lim
8
8 8
\ \
l0 0l. l0 0l. ! - -
68.Sean . 0 1 P d
"
( )
( ) ( ) ( ) + B C 0 B C Mostrar que la funcin es Lebesgue medible
( ) , 2 Mostrar que la funcin dada por la frmula:
2 B 0 B C 1 C .C ( ) ( ) ( )
.
J > J > 0 B> 0 B>
> > > >
( ) ( ) ( ) ( )
8 8
8 8
. B Q. B Q ! " Q
( ) ( ) ( ) . . .
( )
aqu es tal que | . Q l Q
`0
`>
( ) ( ) ( ) ( ) ( ) ( ) 0 B > 0 B > B > > > > > >
8 8 8
`0
`>
w w
donde , entonces
.
0 B> 0 B>
> > `>
`0
w
( ) ( )
8
8
B > Q ( )
As , tomando lmite y usando el teorema de la convergencia
J > J >
> >
( ) ( )
8
8
Q
dominada de Lebesgue, tenemos
_________________________
! !
8 8
8 8
" "
8 8
0 B> 0 B> 0 B> 0 B>
> > > >
lim lim
( ) ( ) ( ) ( )
.B .B
ll
.
( ) ( ) ( )
! !
8
8
" " `0
`> > > .> .>
8
J > J >
. .
B > .B J > 0 B > .B lim
( ) ( )
: <
SOLUCION: Vamos a probar que si y si , entonces 0 P ! " " < : <
<
0 P ! " P P
: < :
( )
+ < " : 0 P Supongamos inicialmente que y sea . Si ,
"
#
0. " l0l Q .
8
y sin embargo siempre contiene intervalos, luego
.( ) l0l Q !.
o tambin
si
si
si
si
0 B 0 B
B !
! B !
B !
! B !
( ) ( )
_
"
B
"
B
_ "#:
Entonces y , Luego pero 0 P 0 P P P P P
" " "
, " < 0 ! " d 0 B B ! 0 ! ! Si , defina , , si , y tenemos que ( ) ( )
"
B
<
0 P " : <
:
( ) ( ) |
% %
" "
: " " B B
B "
"
<: B
"
l0 B l .B .B 1 B l
:<
"
:
<
: :<
<
<
%
%
%
( )
Si pero esto no se puede tener : < : < !
Si y cuando tomamos luego tambin es : < : < ! 1 : < lim
%!
( ) %
imposible. Entonces y entonces , pero . 0 P " : < P P P P
: < : < :
71.Sea . Calcular .
si
si
0 B 0 B .B
! B "
" B !
8 8
=/88B
8 B
8
"
( ) ( )
_
_
lim
!
SOLUCION: 0 ! " d 0 ! p" 0 B p! B ! 0 p!
8 8 8 8
-- ( ) ( ) . Tenemos que si , luego
->: a8 . Tenemos tambin que , esto vale casi en toda
l=/88Bl
8 B 8 B B
" "
_ _ _
parte de . Entonces, por el teorema de la convergencia dominada de ! "
Lebesgue, tenemos que
lim lim
8
" " "
8 8
( ) ( )
! ! !
0 B .B 0 B .B 0. ! .
8 "
8
Recprocamente, si , entonces , luego B 08 B J
8 "
J 08
8 "
acotadas en provisto de la norma . Sea una funcin ! " m0m /= l0 > l K sup
> ! "
( )
lineal acotada en Entonces existe una funcin donde P ! " 1 P ! "
( ) ( ) -
es una medida de Lebesgue.
( ) . 0 Una sucesin de funciones Lebesgue integrables en la recta es tal que
8
liminf liminf liminf 0 0 ! 0 0
8 8 8
y . Entonces si se debe tener que
7B 0 B ! ! 7B 0 B ! ! ( ) ( ) y .
SOLUCION: ( ) + Q Verdadero.Pues si es real no negativa y medible, vale el
teorema de Tonelli, y se recibe que
( ) ( )
O
Q B C D .B.C.D Q B C D .B .C .D
! ! !
" " "
Luego es necesariamente Lebesgue integrable. Q
( ) ( ) ( ) ( ) ( ) , / =/8 0 B p/ =/8 0 B =/8 Verdadero. Pues puesto que es una funcin
lBl lBl
8
continua; tambin vale que que es integrable. Por el l/ =/8 0 B l /
lBl lBl
8
( ) ( )
teorema de la convergencia dominada de Lebesgue, tenemos
.
( ) ( ) ( ) ( )
d d
/ =/8 0 B . / =/8 0 B .
lBl lBl
8
- -
( ) - ? ! "
0
!
"
Daro Snchez H Teora de la Medida e Integracin 79
# 0 1 " m" 0 m "
!
"
% %
as " l 1 0 1l " 0 1 l1lp! po
| | ( ) ( )
% %
% %
" "
# #
" "
# #
% %
lo cual es contradictorio
( ) . 70 ! ! 0 ! . Pues si entonces casi en toda parte y por el Verdadero
lema de Fatou se tiene
( ) ( ) liminf liminf 0 . 0 po
8 8
.
Por otra parte si , se sigue que y entonces 70 ! ! 0 ! ->:
( ) liminf0 . 0 po
8
. no puede ser , .
l0 0lp!
8
SOLUCION: Ntese primeramente que y que es integrable pues 0 ! ->: 0
0 p 0 0 0 l " 8
8 8 !
implica que | para algn y entonces
!
0 0 "
8
!
.
Defnase ahora y ntese que 2 0 0 l0 0l
8 8 8
( ) ( ) 3 2 ! ->: 0 0l l0 l l0l 0 0 ->:
8 8 8 8
pues | y entonces
2 0 0 0 0 ! ->:
8 8 8
( ) 33 Tenemos an que
|2 l 2 0 0 l0 0l 0 l0 0 0l 0 l0l #l0l 2 #l0l
8 8 8 8 8 8 8
( ) ( ) ( ) 333 2 0 0 l0 0l #0 ->: 2 p #0 as . lim lim
8 8
8 8 8 8
->:
Entonces por el teorema de la convergencia dominada de Lebesgue, tenemos
lim lim
2 . 2 . # 0.
8 8
. . .
Por otro lado
2 0 0 l0 0l
8 8 8
y tomando en ambos lados lmite, tenemos
# 0. 0. 0. l0 0l.
. . . . lim
8
Luego, como tenemos
0. l0 0l. ! . . lim
8
: < :
uno a uno entre funciones simples en con y funciones simples de : : < Q 0
Q -0
" #
) : ) : inf sup
Muestre que y que A 0 1 ) ) ) )
" # " #
SOLUCION: Tenemos ) ) : :
" #
A A ! inf sup
" A A A ! A Si entonces inf sup : : : :
Entonces ) ) : :
" #
A A
# A A A ! A ! ! Si , entonces as se tiene inf sup : : : :
) ) ) )
" # " #
A ! A A . Luego
$ A A 0 1 De la hiptesis se recibe que y tambin ) : )
" "
) : )
# #
A !. En esta forma
A 1 0 A 0 1 A 0 )
#
Puesto que as de donde A 0 1 A 0 A A
0 :
: : )
#
ahora A 0 0 0 ) : ) : )
# # "
Sabemos que . Si entonces as ) : ) :
# #
A ! ! A ! 1 Q sup
) ) : : )
# # #
1 A ! A 0 A A 0 1 . Por otro lado si , pero , luego
)
#
1
0. 0 8 .
_
( )
8"
8 0 8 H ( ) , pues;
3 ! 8 0 8 Supngase que , entonces H ( )
33 ! 8 0 8 ! Si entonces . H ( ) ( )
Daro Snchez H Teora de la Medida e Integracin 81
Mostremos que , con este fin definamos las siguientes
_
( ) 0. 0 8 .
8"
funciones:
si si
si si
: :
" #
( ) ( )
( ) ( )
8 8
0 " 8 " 0 # 8 #
! 8 " ! 8 #
:
3
( )
( )
8
0 3 8 3
! 8 3
si
si
.
Dado se tienen la siguiente sucesin de conjutos: 5
I 7 7 " "
" 3
: ( )
I 7 7 # #
# 3
:
I 7 7 8 8
8 3
: ( )
Adems entonces I " I 0 7 7
" 7
8 8
" "
: : ( ) ( ) ( )
_______
_
( ) ( ) lim
8
8 7
7"
: . . . 0 7 I
ll
_
( ) 0. . 0 7 . : . lim
8
7"
I 7 " . . ( ) ( )
7
.
0. -
montona?
SOLUCION: Sabemos por hiptesis se tiene , donde 0 0
8 8"
0 B B B 8 8 " B 8 "
" B ! 8
! B ! 8
8 !8
( ) ( )
;
si
si
o entonces se sigue que B ! 0 0 0 0 l0 B l " a8
8 8" 8 8
( )
lim
8
8 !
0 ; . Luego aplicar el teorema de la convergencia si podemos
montona y se recibe:
( ) ; - ; - -
! !8
8 8 8
. . ! 8 8 lim lim lim
83.El lema de Fatou tiene una extensin al caso donde las funciones toman 0
8
valores negativos. Sea en y supngase que Si es 2 Q \ 2. 0
8
( ) ( )
H .
una sucesin en y si entonces Q \ 2 0 ( ) H
8
Daro Snchez H Teora de la Medida e Integracin 83
( ) liminf liminf 0 . 0 .
8 8
. .
SOLUCION: Tenemos inicialmente
! 2 0 2 2 Q \
8 8 8
( ) H
Aplicando el lema de Fatou tenemos
( ) ( ) liminf liminf 0 2 . 0 2 .
8 8
. .
lo cual es equivalente a
liminf liminf 0 . 2. 0 . 2.
8 8
. . . .
como tenemos
2. .
liminf liminf 0 . 0 .
8 8
. .
H
.
0. 0 . . . lim
8
Probar que para cada .
I I
0. 0 . I . . H lim
8
SOLUCION: Como es integrable sobre todo entonces es integrable sobre 0 \ 0
sus subconjuntos medibles. Tenemos que por el lema de 0 0 aI
8
; ; H
I I
Fatou
=
( ) ( ) ( ) liminf liminf liminf 0 . 0 . 0 . 0 .
8 I 8 8 I
; . ; . ; . ; .
I I
as
( ) ( ) 0 . 0 . " ; . ; .
I I
liminf
8
Adems segn la hiptesis
=
_____
lim 0 . 0.
8
. .
ll
liminf limsup 0 . 0 .
8 8
. .
Sabemos tambin
0 0 ! 0 0 Q \
8 8 8 8
; ; H
I I
( )
aplicando el lema de Fatou tenemos que
_______________________
( ) ( ) liminf liminf 0 0 . 0 0 .
8 8 8 8
; . ; .
I I
ll
___________
( ) ( ) liminf liminf liminf liminf 0 . 0 . 0 . 0 .
8 8 8 8
. ; . . ; .
ll
I I
( ) ( ) 0. 0 . 0 . 0 . . ; . . ; . limsup lim liminf
8 8 8
I I
0 . 0 .
( ) limsup liminf
8 8
; . ; .
I I
0 0 . 0 . 0 . #
( ) ; ; . ; . ; .
I I I I
limsup limsup
8 8
Como ya fue visto en tenemos que ( ) "
0 . 0 . ; . ; .
I I
liminf
8
pero siempre liminf limsup 0 . 0 .
8 8
; . ; .
I I
De y tenemos que ( ) ( ) " #
0 . 0 . 0 . ; . ; . ; .
I I I
liminf limsup
8
8
entonces
.
I I
I I
0. 0 . 0 . 0 . . ; . ; . . lim lim
8 8
Daro Snchez H Teora de la Medida e Integracin 84
0 .
8
. es eliminada.
SOLUCION: Consideremos el siguiente ejemplo
si
si
0 B
B 8 8 "
! B ! "
8
"
8
( )
_ _ _ _
( ) 0. 0. 0. . 8 " . . . .
8"
88"
8" 8" 8" 8"
88" 88"
" "
8 8
Ahora
( )
88" 88"
8
" "
8 8
0 . . 8 8 " " . . .
entonces
lim
8
8
I I
0 . 0. . .
86.Si y , entonces 0 Q \ 0.
( )
H . . .( ) ( ) B \ 0 B !
SOLUCION: I B \ 0 B B \ 0 B 8 I ( ) ( )
8 8
8
donde , entonces I B \ 0 B 8 B \ 0 B 8 " I
8 8"
( ) ( )
. . . ( ) ( ) I I I
8
8 8
8
lim
pues ya que para todo , , ahora I 8 8 0 . ; ( )
"
I8
8 0 8 . 0 . 0. 0. ; ; ; . ; . . .
I I I I 8 8 8 8
I8
As , donde , entonces
8 . a8 0. ; . .
I8
( ) ; . .
I8
. I
8 8
8
en particular para se tiene 8 "
y . . ( ) ( ) I I !
" 8
8
lim
por lo tanto . .( ) I !
( )
H .
R B \ 0 B ! ( )
es -finito. 5
SOLUCION: R B \ 0 B ! B \ 0 B ( ) ( )
8 "
"
8
.
Sea entonces es una sucesin creciente, por lo tanto J B \ 0 B J
8 8
"
8
( )
. . . ( ) ( ) R J J
8 "
8 8
8
lim
Mostremos que .( ) J
8
" "
8 8
; ; ; . ; . .
J J J J 8 8 8 8
\
0 . 0 . 0.
entonces donde , en esta forma se tiene
"
8
; . .
J8
\
. 0.
" "
8 8
8 8
( ) ( ) ; . . .
J8
. J J 8
as es finito y es -finito. . 5 ( ) J R
8
Daro Snchez H Teora de la Medida e Integracin 85
8 "
"
8
Sea entonces as J B \0 B J J a8 J E
8 8 8" 8
"
8
( )
8 "
es -finito.
. . 5
. .
( ) ( )
( ) ( )
E J E
J B \0 B
lim
8
8
8
"
8
Anlogamente es -finito B 0B ! 5
89.Si es una funcin a valor real, -medible y - para casi todo 0 0 B ! ->: H . ( )
B \ 0 P \ , entonces y ( ) H . .
0. ! .
SOLUCION: , aqu y existen y claramente - 0 0 0 ! ->: 0 0 0 !
. .
->: 0 ! ->: 0 0 0 y - . Como es medible, y son por lo tanto tambin
.
medibles y pertenecen a . Como - , anlogamente Q 0 ! ->: 0 . !
. .
.
SOLUCION:Por el problema anterior se tiene que - , entonces 0 1 ! ->: .
( ) ( ) ( ) ( ) 0 1 P \ 1 0 P \ 0 P \ H . H . H . , esto implica que
1 1 0 0 P \ 0 1 . ! 0. 1. ( ) ( )
H . . . . , por otra parte
l0 l. : . %
SOLUCION:Como esto equivale a afirmar la existencia de 0 P \ ( ) H .
0 . 0 . 0 . .
. . . : . entonces . Ahora sup
! 0 :
Daro Snchez H Teora de la Medida e Integracin 86
aplicando la definicin de es simple y sup
dado existe
>0 0 % : 0
"
"
:
( ) ( ) 0 . . 0 . "
# #
" "
. : . : .
% %
o sea
Anlogamente por definicin de se tiene que
0 . .
"
8
8 8
8
. ; . . .
-
( ) ( ) ( )
_____
( )
I8
ll
. \ d
Luego para casi todo 0 B ! B \ ( )
0 B ! B \ B \0 B ! ) Supongamos que para casi todo , sea , ( ) ( ) (
as
- . . . .
.
. (
( )
( )
I 0. 0. 0. 0. !
0. !
!
I
I I ( (
(
(
I 0 B !
aB I
En (
(
( )
8
Daro Snchez H Teora de la Medida e Integracin 88
SOLUCION: ) Se sigue claramente del siguiente resultado: Si es un + I ( )
subconjunto medible de , entonces cada seccin de es medible. Si es m I , 0 ( )
una funcin medible de en , entonces cada seccin de es medible. ^ d 0
I 8 I I ) Se obtiene escribiendo . Como cada es medible
8
8 8
entonces el rectngulo es medible, as es la reunin numerable de 8 I I
8
una familia enumerable de conjuntos medibles , por lo tanto es medible. En I
este caso existe una nica medida producto y 1
1 / m ( ) ( )
_
I I I
8"
8
Ahora sea y E F E F E F E F F G 1 . / / ( ) ( ) ( ) ( )
_
#( ) E
( ) ( ) ( ) ( ) ( ) ( ) ( )
_
3 E F E E F E F / / 1 /
8 8
8"
8
]
l0 l./ es convergente, en cuyo caso
_ _
^ ] ]
0. 0 . 0 . 1 / /
8" 8"
8 8
SOLUCION: ) Supongamos que es integrable es integrable as, 0 l0l
_ _
( )
] 8" 8] 8] 8
8
l0l. l0l. l0l. l0 l.
3
33
1 1 1 /
8
]
Ahora 3 l0l. l0l .
8]
8]
1 ; 1
, siendo fijo 33 l0l B C l0l B C B C 8 ; ;
8] 8]
( ) ( ) ( )
=
si
| si
_
( )
( )
! B 8
0l 8 C B 8
l0l C
Luego como < , esto es, la serie es convergente.
_
] 8"
8
l0l. l0 l. 1 /
]
1 Q ) Se conoce el siguiente resultado:Sea una sucesin en , entonces ( )
8
_
_ _
( )
8" 8"
8 8 8
1 . 1 . 0 l . . , as las | son integrables y positivas por lo tanto
Daro Snchez H Teora de la Medida e Integracin 89
_ _
8" 8" ]
8 8
] ]
l0 l. l0 l. l0l. / / 1
Entonces
_ _ _
_
] 8" 8" 8" 8] 8]
8 8
0. 0. 0. 0 . 0 . 1 1 1 / /
8
] ]
( )
"
#
8
0 d d la cual tiene como grfico
Tenemos | Luego es integrable. Pero para
_
l0 . 0. " 0 - -
8"
"
#
8
todo tenemos que donde cada es un intervalo de ! " l0l M M % %
8 "
8 8
d aQ ! lBl Q . Se deduce que y , tenemos
. % ( ) l0l lBl Q !
( ) , B B B ! " ! Falso: Tmese y tmese tambin ,
" # 8
"
%
%
adems y es cerrado y compacto. Entonces E B B J ! " E
8 8 8 8 8
# #
% %
8 8
J J ! " E
8 " 8 "
8 8
es compacto.
Adems pues no contiene nmeros racionales. Como para todo 38>J J
cerrado vale tenemos que y J 38> J 0< J J 0< J ( ) ( ) ( ) ( ) ( )
. . % ( ) ( ) ( ) 0< J J " # !
"
#
.
Daro Snchez H Teora de la Medida e Integracin 90
( ) ( )
_ _
- + " l+ l Falso: Sea y se tiene
8 8
8"
" "
8 8
_ _
( ) + " 0 ! " d
8
8"
"
8
y se define la funcin continua cuyo
grfico es dado por:
Tenemos y sin embargo lim
%
%
!
"
8"
( )
_
0 B .B +
_
!"
l0l. l+ l -
8"
8
Luego no es Lebesgue integrable. 0
+
B
acotada sobre entonces por un resultado bsico cual? tenemos que + , ( )
existe para casi todo . J B B + ,
w
( )
Supngase y consideremos la siguiente sucesin l0l 5
0 B
8
J B J B
( )
( )
"
8
"
8
y se tiene que
0 B 2
8
0 > .> 0 > .>
2 8
"
( )
( ) ( )
+ +
B2 B
l0 B l 8 5 5
8
"
8
( )
Como , tenemos 8p p !
"
8
lim lim
8
8
2!
J B2 J B
2
w
0 B J B ->: ( ) ( )
( ) ( )
Entonces por el teorema de la convergencia dominada de Lebesgue tenemos
( ) ( ) ( )
+ + +
- - -
w
8 8
8 8
J B .B 0 B .B 0 B .B lim lim
Luego
( ) ( ) ( ) ( ) ( )
+ + +
- - -
w
8
8
2!
J B .B 0 B .B J B 2 J B .B lim lim
J B .B J B .B J - J + 0 > .> 0 > .>
( )
lim
2!
" "
2 2 - + + +
-2 +2 - +
( ) ( ) ( ) ( ) ( ) ( )
Daro Snchez H Teora de la Medida e Integracin 91
0 > .>
( )
+
-
Entonces para todo . Luego en
( ) ( ) ( ) ( ) ( )
+
-
w w
J B 0 B .B ! - + , J B 0 B !
casi toda parte, o lo que es lo mismo . J B 0 B ->:
w
( ) ( )
( )
!8 !
. .
( ) ( )
"
8
B
8
8
esta igualdad es vlida porque es continua en 1 B " B ! 8
lim
a8 ! 0 0 0 B / B tenemos que , donde . Luego por el teorema de la
8
B "
( )
convergencia montona, tenemos
lim lim
8 8
! ! !
8
B
8
8
" B "
8
" B .B 0 . 0. / B .
- - -
!
/ B .B / B .B
( ) 3
lim
,
! !
,
B " B "
HJ
la igualdad es vlida puesto que es continua en , . ( ) 3 0 !
8 8
8
lim
( ) , 0 E d l0l Sea unafuncin real definida en un conjunto medible , tal que
sea medible. Entonces es medible. 0
( ) - 0 + , Sea una funcin montona definida en un intervalo compacto
Entonces
( ) ( )
+
,
w
0 0 , 0 +
SOLUCION: ( ) + E E E E ; pues entonces Verdadero
8 " 8 #
8 " 8 8"
7 E 7 E 7 E E 7 E 7 E E ( ) ( ) ( ) ( )
_ _
_
8 "
H H C
medibles de tal que \
" E F E F C C
# 5 H ( ) C
$ F F C C
-
Si y son medidas en donde . . H
" #
en .
y
_
( ) ( )
( ) ( )
. .
. .
. . H
" #
" #
"
#
F F aF
\ \ "
C
103.( ) ( ) \ \
" " # #
H . H . y dos espacios de medida completos. Muestre que
( ) \ \
" # " # " #
H H . . no es necesariamente completo.
Sugerencia: Se puede admitir que bE \ E
" " " "
H
104. Sea la recta con los Borelianos. Sea : una medida tal que ( ) d d .
Daro Snchez H Teora de la Medida e Integracin 93
" F F a d aF . . ( ) ( )
# M para cualquier intervalo acotadoentonces .( )
. . - ( ) ( ) ( ) F ! " F aF
donde es la medida de Lebesgue - .
Sugerencia:
" 0 B C 1 C . C . B 0 C 1 C B . C . B Muestre que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) . - . -
# 0 B . B 0 B . B
( ) ( ) ( ) ( ) - -
$ # 0 B . B 1 C . C 0 C . C 1 B . B Note que implica que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) - . . -
% 0 1 Escoja y de medida adecuada.
DLL
BIBLIOGRAFIA
- Apostol, T.M., , Editorial Revert S.A., Barcelona, 1960. Anlisis Matemtico
- Bachman, G. & Narici, L., , Academic Press, N.Y., 1966. Functional Analysis
- Bartle, R.G., , John Wiley & Sons, Inc., N.Y, 1966. The Elements of Integration
-Bourbaki, N., , Fascicule de Rsultats, Herman, Thorie des ensembles
Pars,1958
- Gatica, J.A., , OEA, Washington, Introduccin a la Integral de Lebesgue en la recta
1977.
- Halmos, P.R., , Van Nostrand Reinhold Company, N.Y., 1969. Measure Theory
- Halmos, P.R., , Cecsa, Mxico D.F., 1965. Teora Intuitiva de Conjuntos
- Hewitt, E. & Stromberg, K., , Springer-Verlag, Real and Abstract Analysis
N.Y., 1975.
- Kolmogrov, A.N. & Fomn, S.V., Elementos de la teora de funciones y
del anlisis funcional, (captulos VI, VII y VIII), Editorial Mir, Mosc, 1975.
- Lang, S., , (partes IV, V), Addison-Wesley Publ. Company, Inc., Analysis II
N.Y., 1969.
- Muoz, M. & Blanco. L., Introduccin a la Teora Avanzada de la
Probabilidad, (captulo I y II), U.N., Bogot, 2002.
- Muoz, J.M., , 4a. Ed., U.N., 2002. Introduccin a la Teora de Conjuntos
- Rudin, W., , McGraw-Hill Book Company, Principles of Mathematical Analysis
N.Y. 1964.
Daro Snchez H Teora de la Medida e Integracin 94
- Suppes, P., , Editorial Norma, Cali, Col. 1968. Teora Axiomtica de Conjuntos
- Wilansky, A., , Blaisdell Publ. Company, N.Y., 1964. Functional Analysis
. .
Espero que el lector se haya beneficiado con este trabajo en el aprendizaje
de la teora de la medida e integracin.
Exitos y bienvenidos a la investigacin por internet.
Cualquier comentario favor hacerlo llegar a:
danojuanos@hotmail.com
danojuanos@tutopia.com
Copyright Daro Snchez Hernndez