Problemas Teoria de La Medida e Integracion Dario Sanchez 2004

Daro Snchez H Teora de la Medida e Integracin 1
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
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
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"
Para toda sucesin de elementos de ( ) & E

8 8

y si para algn , . . . ( ) liminf liminf E E 8 E
8 8
8 8 ! 8
!
entonces limsup limsup . . E E

8 8
( )
En particular si es un espacio de probabilidad T H
E E T E T E
8 8
- - ( ) ( )
( ) ( ) ( )
_
' E E !
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
Si , en esta forma es llamado -anillo H f [ H [ 5 G G T
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

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
Q Obsrvese que para mostrar que es medible basta mostrar que

. . . [ .
-
E E Q E Q aE E
3 Q a8 Q ( )
8 8
A 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
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
Si , se dice un de si y slo si , [ 5 f recubrimiento medible

y para todo tal que , entonces tenemos . G G F E G !
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 [
es la inducida por sobre el -anillo hereditario medida exterior

generado por , es decir, y [ H [ E E F F aE

. .
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
. [ .
d arriba definida es denomida inducida por sobre medida interior

[.
E E E Se observa que si . . .
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
( ) / E Para toda sucesin de elementos de , disyuntos dos a dos y

8 8

para todo , E E F E F [ . .
8 8
8" 8"

_ _
y con tenemos ( ) 0 aF F F F aE E E

. . . [ . .

que E

Para todo tales que ( ) 1 E H E H [

. . . .

E H E H E H
( ) 2 aF aE F E F E F

[ . . .
-
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 -
segn Lebesgue. A se le llama . R - 5 lgebra de Lebesgue

19.OBSERVACION: La familia tambin ( )
_
" H G d G B B d
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.
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
22. Si son espacios medibles y son ( ) ( ) ( ) - - H H H H H H H 0 1

w w ww ww w w ww
funciones medibles, entonces es una funcin medible. 1 0
0 Sean una familia de espacios medibles, un conjunto y ( ) - H H H H
3 3 3 3
3M
a3 M . Sea la -lgebra inicial correspondiente sobre . Sean an un 5 H H ( )
w w
espacio medible y . Entonces es medible si y slo si es medible 0 0 0 0 H H
w
3
-
a3 M.
0 Si en la afirmacin anterior las funciones son las proyecciones H H 1
_
3M
3 3 3
de sobre y es la -lgebra producto entonces es medible si y slo si H H 5
3
0
1
3
0 a3 M es medible .
23.Si es una familia de espacios medibles, es un conjunto y ( ) H H
3 3
3M
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
"
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
0 1 - ( ) H un espacio medible, dos funciones medibles, un nmero real.

Entonces , y , son medibles. -0 0 l0l 0 0 0 1 01
#
0 d ( ) -- H H espacio medible. Entonces es medible si y slo si
0 0 0
0 l0l
! 0
y , es medible.
si
si | |
- d 0 1 ( ) H un espacio medible , y son funciones medibles con valores en

d -0 0 l0l 0 0 01 . Entonces son funciones medibles. Si sobre el conjunto
#
0 1 0 1 0 1 ! 0 1 definimos entonces
es tambin medible.
26.Si es una sucesin de aplicaciones medibles de en entonces 0 d
8 8"#
H
sup inf limsup liminf 0 0 0 0
8 8 8 8
, y , son medibles.
M 0 1 d 0 1 ( ) - Si son medibles entonces H
( ) MM 0 d Si es una sucesin de aplicaciones medibles de en , entonces
8
H
A 0 A H
8 8"#
( ) es convergente .
0 d + + d E E H- se dice una si y slo si existen funcin simple
" 8 " 8
elementos de dos a dos disyuntos tales que . ; 0 +
_
3"
8
3 E
3
Si en la definicin anterior tuviramos una suma enumerable en lugar de
finita decimos que es una 0 funcin elemental.
Observacin; Las funciones simples forman un retculo vectorial (es decir, un
espacio vectorial con respecto a , y , ).
27. Toda funcin medible , es el lmite punto a punto de una sucesin 0 d H-
de funciones simples. Si la sucesin puede ser tomada creciente. 0 !
0 ! 0 8 0 0 Si tomar y observar que
8 8
3"
8#
3"
#
08
_
8
8
0
3" 3
# #
8 8
; ;
]
]
28. Se dice que una propiedad vale en casi toda parte en si el ( ) ->: H
conjunto de los puntos en los que ella no se verifica, es medible y tiene medida
nula. En espacios de probabilidad es comn usar la expresin . casi verdadera
0 0 !
8
converge a si y slo si para todo existe casi uniformemente %
E E 0 0 E . % tal que y uniformemente en .
8
-
-
0 !
8
se dice si y slo si para todo casi uniformemente fundamental %
existe tal que E
( ) 3 E . %
Para todo , existe tal que implica ( ) 33 ! 8 8 7 8 $
! !
l0 A 0 A l aA E
8 7
-
( ) ( ) $
0 0 0 Si las y son finitas se dice que si y slo si
8 8
converge a en medida 0
para cada , . % . % ! l0 0l ! lim
8
8
( )
29.Si converge para uniformemente entonces casi en toda parte. 0 0 0 p0
8 8
PRUEBA: Para todo existe tal que y uniformemente en . 8 E E 0 p0 E
8 8 8
"
8
-
8
.( )
Sea entonces . Dado para algn y por lo E E E ! A E A E 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
\ 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
0 1 - Sean y funciones a valor real, medibles y sea un nmero real. Entonces

las funciones son tambin medibles. -0 0 0 1 01 l0l
#
35. Sea es medible . Sean y, funciones no Q \ 0 \ d0 0 0 ( ) - H

negativas definidas por
0 B 0 B ! 0 B 0 B ! 0 B !

( ) ( ) ( ) ( ) ( ) sup sup inf
se tiene que . 0 0 0 l0l 0 0

0 l0l 0 0 l0l 0 0 Como y se tiene que es medible si y slo si
" "
# #
0 0

y son medibles.
0 \ d d B0 B a d - ( ) es medible si y slo si , y H
constituyen las llamadas funciones a valor real extendidas.
36. Una funcin real extendida es medible si y slo si los conjuntos 0
E B \ 0 B F B \ 0B ( ) pertenecen a y la funcin H
real definida por es medible.
si
si
0 0 B
0 B B E F
! B E F
" "
( )
_
( )
0 Q \ Sea un sucesin en y se definen las funciones ( ) ( )
8
8
H
0 B 0 B J B 0 B ( ) ( ) ( ) ( ) inf sup
8 8
0 B 0 B J B 0 B

8 8
( ) ( ) ( ) ( ) liminf limsup
entonces , y, pertenecen a 0 J 0 J Q \

( ) H
0 Q \ 0 \ 0 Si es una sucesin de que converge para en entonces ( ) ( )
8
8
H
esta en . Q \ ( ) H
37.Para sea la de definida por 8 0 0
8
"truncacion"

si
si
si
0 B
0 B l0 B l 8
8 0 B 8
8 0 B 8
8
( )
_
_
_
( ) ( )
( )
( )
0 Q\ 0 0 Q\ Si entonces la truncacin de , para cualquier H H
R
R .
0 Q\ Si es una funcin no negativa en , entonces existe una sucesin H
( ) : H
8
8
en tal que Q\
para ( ) + ! B B B \ 8 : :
8 8"
para cada ( ) ( ) , 0 B B B \ lim:
8
Cada tiene solamente un nmero finito de valores reales. ( ) - :
8
38. es una funcin a valor real extendida definida en una - Una medida . 5
lgebra de subconjuntos de tal que H \
( ) ( ) 3 ! .
para todo ( ) ( ) 33 I ! I . H
es en el sentido de que si es una ( ) ( ) 333 I . enumerablemente aditiva
8
sucesin disyunta de subconjuntos de , entonces H
. . . I I
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

( )

" - . - . : . : .
. ( ) ( )

# . . . : < . : . < .
42.Si funciones positivas, medibles definimos la integral de 0 Q \ 0
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 .

. .
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
.

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 > .>. . .
\ 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
Si carga tal que entonces existe tal que ( ) ( ) H - H -

es positivo . -( ) I !
54.Descomposicin de Hahn: Si es una carga en , entonces existen - H
conjuntos y con y tal que es positivo y es T R \ T R T R T R
negativo con respecto a . -
\ Sea espacios de medida dos medidas, se dice que ,y, son ( ) H . . . .
" # " #
mutuamente singulares y se nota cuando existen , en . . H
" #
E F
disyuntos tal que adems . \ E F E F ! . .
" #
\ Sea un espacio de medida se dice si existe una sucesin ( ) H . . 5-finita
\ \ \ \ a8
8 8 8
H . tal que , y, ,
55.Sea un espacio de medida medidas en , es ( ) \ H - . H - absolutamente
continua en relacin a y se nota si . O tambin . - . . - ( ) ( ) ( ) I ! I !
como:
tal que . a ! b ! I I % $ % . $ % - %
56.Teorema de Radon-Nikodym: Sean y medidas -finitas tal que es - . 5 -
absolutamente continua con respecto a . Entonces existe una funcin en . 0
Q \
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
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
esencialmente limitados o acotados

. P \ P \
"

( ) ( ) 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 .
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 \
Sea un conjunto cualquiera, si

pertenecen a ( ) " \ J
( ) # F J F J
-
Si pertenecen a entonces ( ) $ F F F J F J
" # 8 3
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"
entonces . En particular es aditiva. . . .

_
\ F \ Dada una lgebra si es un subconjunto arbitrario de , definimos ( ) .
.
4 4
4
F I I inf
_
( )
4"
donde el nfimo es extendido sobre toda subsucesin
de subconjuntos en tal que . Esta funcin as definida es . F I
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 . .
Si es una sucesin de subconjuntos de , entonces ( ) ( ) / F \

8
8
. .

8 8
8"
F F
8 "
_
I \ Un subconjunto de se dice -medible si .

. . .
-
E E I E I
para todo subconjunto de . La coleccin de todos los subconjuntos E \
.

-medibles es un conjunto denotado por .
67.Teorema de extensin de Caratheodory: La coleccin de todos los
conjuntos -medibles es una -lgebra conteniendo a . Adems, si . 5
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 .
1 d d 1 Sea una funcin montona creciente de en . Supongamos que es

continua a la derecha en cada punto, esto es . 1 - 1 - 2 ( ) ( ) lim
2!
Puesto que es montona tambin se sigue que existen, 1 1 B 1 B lim lim

B B
( ) ( )
an que ellos puedan ser - , o, + .
Para tal funcin definimos
.
1
( ) ( ) ( ) + , 1 , 1 +
.
1
B
( ) ( ) ( ) , 1 , 1 B lim
.
1
B
( ) ( ) ( ) + 1 B 1 + lim
. .
1
B B
( ) ( ) ( ) ( ) 1 B 1 B lim lim
Una clase montona es una coleccin de subconjuntos con las
propiedades:
Si entonces para ( ) 3 E F E E F F 3 " #
3 3 3 3" 3 3"

Si , , entonces y . ( ) 33 E E F F E F

3 " 3 "
3 3

69. Teorema de representacin de Riesz: Si es una funcional lineal K
acotada en , entonces existe una medida definida en un subconjunto de G N ( ) #
Borel de tal que para todo en Adems, la norma d K 0 0. 0 G N mKm ( ) ( )
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
!
\ ] 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

clase montona de . As tiene sentido hablar de la menor clase montona \

que contiene una coleccin de subconjuntos de . \
As si es una coleccin de subconjuntos no vaco de , entonces la f
5 f -lgebra engendrada por contiene la clase montona engendrada Q
por .
Lema: Si es una lgebra de conjuntos, entonces la -lgebra generada 5 f
por coincide con la clase montona generada por . Q
\ ] I Lema: Sea y espacios medibles -finitos. Si ( ) ( ) . / 5 m
entonces las funciones definidas por
, 0 B I 1 C I ( ) ( ) ( )

/ .
B
C
son medibles, y

( )
\ ]
0. I 1. . 1 /
73.Teorema de Tonelli: Sea y espacios de medidas - ( ) ( ) \ ] . / 5
finitos y sea una funcin medible no negativa en . Entonces J ^ \ ] d -
las funciones definidas en y por \ ]
0 B J . 1 C J . ( ) ( )

] \
B
C
/ .
son medibles y
.

\ ^ ]
0. J . 1. . 1 /
En otros simbolos
.

\ ] ^ ] \
J. . J. J. . / . 1 . /
74.Teorema de Fubini: Sea y espacios -finitos y sea la ( ) ( ) \ ] . / 5 1
medida en producto de y . Si la funcin en a es m . / J ^ \ ] d
integrable con respecto a , entonces las funciones a valor real extendidas, 1
definida casi en toda parte por
0 B J . 1 C J . ( ) ( )

] \
B
C
/ .
tienen integral finita y

\ ^ ]
0. J. 1. . 1 /
En otros smbolos
.

\ ] ^ ] \
J. . J. J. . / . 1 . /
75. Si es un espacio vectorial entonces una funcin a valor real, en es i i R
llamada una para en el caso que cumpla con: 'norma' i
. para todo 3 R @ ! @ ( ) i
33 R @ ! @ ! ( )
para todo y real 333 R @ l lR @ @ ( ) ( ) i
para todo . 3@ R ? @ R ? R @ ? @ ( ) ( ) ( ) i
Un espacio vectorial normado es un espacio vectorial juntamente con una
norma en . i
76.En se distinguen tres tipos de normas d
8
R ? ? ? l? l l? l l? l
" " # 8 " # 8
( )
R ? ? ? l? l l? l l? l : "
: " # 8 " # 8
: : : ":
( )
R ? ? ? l? l l? l l? l
" # 8 " # 8
( ) sup
\ 0 P\ R 0 l0l. Sea un espacio de medida. Si definimos ( ) ( )

H . H . .
.
Se demuestra que es una semi-morma en el espacio . R P\
.
H .
77.Sea , bajo las operaciones P\ 0 1 B 0 B 1 B 0 B 0 B H . ( )( ) ( ) ( ) ( )( ) ( )
B \ P\ R P\ , es un espacio vectorial y es una semi-norma en . H . H .
.
Adems, si y slo si para -casi todo en R 0 ! 0 B ! B \
.
( ) ( ) .
P P\ Dos funciones en se dicen -equivalentes si ellas son iguales H . .
.-casi en toda parte. La clase de equivalencia determinada por en es al 0 P
mismo tiempo determinado por y consiste del conjunto de todas las 0
funciones en que son -equivalentes a . El espacio de Lebesgue P 0 .
P P \ P 0 P
" " "
( ) H . . consiste de todas las -clases de equivalencia en . Si
definimos su norma por
m0m l0l.
"

.
78.El espacio de Lebesgue es un espacio vectorial normado. P \
"
( ) H .
" : P P \ Si el espacio consiste de todas las clases
: :
( ) H .
. H -equivalentes de funciones -medibles a valor real para las cuales tiene l0l
:
integral finita con respeto a sobre . Dos funciones son . \
. . -equivalentes si ellas son iguales -casi en toda parte. Tenemos
m0m l0l .
:
:
":

.
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
R R ! W R l0 B l B R H . con definimos y ( ) ( ) sup

m0m W R R R ! P

inf ( ) H . . A los elementos de se llaman funciones
esencialmente acotadas.
P El espacio es un espacio vectorial normado completo bajo la norma dada
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 .
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 .
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.
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
96.Sea , una sucesin convergente para en si y slo si 0 P 0 0 P 0 p0

8 : 8 : 8
8
( )

en medida y es equicontinua. ( ) l0 l
8
:
8
P Ntese que para obtener convergencia en es necesario que se tenga
:
convergencia dominada.

97.DERIVACON E INTEGRACIN. Sea una coleccin de intervalos. Entonces I
decimos que es un recubrimiento de en el sentido de Vitali, si para cada I I
% % ! B I M B M M y cada existe un intervalo tal que y . I l( )
I Lema de Vitali: Sea un conjunto de medida exterior finita
( ) esto es y una coleccin de intervalos cerrados los cuales .
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 <
< < !
! < !

0 , 0 + : 8 T : R 8 X > Se tiene que . Sea , donde se ( ) ( ) sup sup sup

toma el supremo sobre las subdivisiones posibles de . Claramente + ,
T X T R T R X . Llamaremos a y las variaciones positiva, negativa y total
respectivamente de sobre . 0 + ,
X X 0 />- Algunas veces se escribe para denotar la dependencia en el
+ +
, ,
intervalo o de la funcin . Si decimos que es de + , 0 X 0 variacin acotada
( ) o limitada sobre . Esta notacin es algunas veces denotada como . + , 0 Z P
101.Si es de variacin acotada en entonces y 0 + , X T R
+ + +
, , ,
0 , 0 + T R ( ) ( )
+ +
, ,
.
0 + , 0 Una funcin es de variacin acotada en , si y slo si, es la diferencia
de dos funciones montonas a valor real en . + ,
0 + , 0 B B Si es de variacin acotada en entonces existe para casi todo en
w
( )
+ ,.
102. . es montona pero no de variacin acotada en Ejemplos: 3 0 B B ( )
todo . d
330 B " / ( ) ( )
lBl
es montona y adems de variacin acotada en
3330 B / ( ) ( )
B
#
es de variacin acotada en .
3@ 0 B
=/8B lBl
! lBl
( ) ( )
"
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
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
2.Sea una sucesin de subconjuntos de un conjunto . Si consiste de ( ) E \ F

8
8
todos los los cuales pertenecen a casi todos los salvo para un nmero B \ E
8
finito de ndices , mostrar que 8 . F E

7 "
8 7

8
SOLUCION:Sea entonces para todo salvo para un nmero finito. Si B F B E 8
8
el conjunto entonces para todo entonces 8 B E B E 8
8 8
B E B E
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
que, de donde , para todo , salvo un nmero ( )( ) b7 a8 7 B E B E 8

8 8
finito, o sea . B F
3.Sea un espacio de medida y una funcin a valor real definida en . ( ) \ 0 \ H

Mostrar que es -medible si y slo si para cualquier conjunto 0 0 I H H
"
( )
boreliano I.
SOLUCION: Como
y 0 E 0 E 0 E 0 E 0 E 0 E
" " " " " - "
3 3 3 3 3
3
-
( ) ( ) ( ) ( )

3 M 3 M 3 M 3 M
basta entonces mostrar la afirmacin para los generadores de la
5-lgebra de Borel, que son los intervalos abiertos.
0 ) Si es medible entonces tenemos que
3 0 + B \+ 0B
"
( ) ( ) H
330 , B \0B ,
"
( ) ( ) H
3330 + , B \+ 0B ,
"
( ) ( )
B \+ 0B B \0B , H
esto equivale a decir que si (donde indica el conjunto de los I
conjuntos borelianos) entonces , ya que es expresado como una 0 I I
"
H
reunin o una interseccin numerable de los intervalos de la forma
( ) ( ) ( ) + , + ,
0 I I Supongamos que para cualquier conjunto boreliano , en
"
( ) H
particular para , tenemos que I + ( )
0 + B \+ 0B
"
( ) ( ) H
entonces esto significa que es medible. 0
4. Dado supongamos que existe , con y ( ) - \ d l H . H H . H . .

w w w w
H
adems es completa en relacin a . H .
w w
Sean , entonces . Si , y , I J I ! I J ! I I ! a8 H . . H . ( ) ( ) ( )
8
entonces . . I !
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"

w w w w
H
w w
Los conjuntos de la forma , donde y , y I J I J ^ ^ ^ !
H H .( )
forman una -lgebra tal que 5 H H
w
.
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 .

w w w w
H
w w
Si adems , prubese que est bien definida y es una . . . ( ) ( ) I J I
w
medida.
SOLUCION:3 esta bien definida, o sea debemos probar que si .
w
I R I R I I R R
" " # # " # " #
, y entonces H m
. .
w w
" " # #
I R I R
o sea que . . . ( ) ( ) I I
" #
Como entonces I R I R
" " # #
( ) ( ) ( ) ( ) I R I R I R I R
" " # # # # # #
- -
es conocida la siguiente identidad en teora de conjuntos:
( ) ( ) ( ) ( ) I R I R I I R R R I
" " # # " # # " # #
-
esta identidad sugiere que
y , I I R R R I
" # # " # #
Si entonces por lo tanto existe tal I I R I I R J
" # # " # # #
m H
que entonces del problema 4 se sigue que I I R J J !
" # # # #
.( )
.( ) I I !
" #
en total tenemos que
I I I I I I !
" # " # " #
H H .( )
Ahora
I I I I I
" " # " #
( ) ( ) H
adems
( ) ( ) I I I I I I I I
" # " # " # "
-
#
as
. . . . ( ) ( ) ( ) ( ) I I I I I ! I I
" " # " # " #
Tambin se tiene que
I I I I I I I I I
# " # # " " # # "
( ) ( ) ( ) ( )
entonces
. . . . ( ) ( ) ( ) I I I I I
# " # # "
Tomando
( ) ( ) I R I R
# # " "
-
se llega a
( ) ( ) I I R R R I
# " " # " "
de donde o sea I I R
# " "
I I R J J
# " " " "
H
tal que
. . . ( ) ( ) J ! I I !
" # "
Por lo tanto
. . ( ) ( ) I I I
# " #
Luego
. . ( ) ( ) I I
" #
33 . H
w w
es una medida en
" ! . . .
w w
( ) ( ) ( )
# I R I ! aF . . H
w w
( ) ( )
Sea una sucesin de conjuntos disyuntos de o sea $ F8 I
8 8
w
m H
F F I ^ I ^
8 7 8 8 7 7
( ) ( )
I ^ I I ^ ^ ( ) ( )
8 8 7 8 8 7
esto es equivalente a que
( ) ( ) I ^ I I ^ ^
8 8 7 8 8 7
pues
( ) ( ) ( ) I ^ I I I ^ I
8 8 7 8 7 8 7
lo cual implica que
y ( ) I I I ^
8 7 7 8
en total . I I 7 7
8 7
As tenemos que
. . .
w w
8 8 8 8

8 " 8 " 8 " 8 "
F I ^ I
I I ^ F
_ _ _
( ) ( ) ( )
8" 8" 8"

8 8 8 8
w w
. . .
.
w
es completa
H H . H
w w w w
es completa entonces aE \ bJ J E J ! E ( )
(y ). .( ) E !
Si entonces existe y tales que F I R
"
H H m
w
" "
F I R I R
" " " " "
H m
Como entonces existe tal que por lo tanto R K K R K !
" " " " "
m H .( )
si entonces J F I R I K I K ! J I K
" " " " " " " " " " "
. . ( ) ( )
( ) I K
" "
H y como
. . . ( ) ( ) ( ) I K I K ! ! !
" " " "
as y , en esta forma (ya J I K I K ! J J
" " " " " " "
w
H . m H ( )
que ) puesto que entonces es completa. ^ I R I R H H H m .
w w w
7.Sea teniendo la representacin donde y : f H : ; \ + + d
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

_ _
( ) ( ) : . . : . . . , 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 :
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"
8.Sea la -lgebra de Borel, una funcin continua y ( ) - d 0 + , d . 5

positiva se tiene . Probar que se tienen las siguiente afirmaciones J \ 0. ( )

+B
.
es derivable y " J J B 0 B aB + ,
w
( ) ( )
Si es cualquier funcin tal que entonces # K K B 0 B aB + ,
w
( ) ( )

( ) ( )
+,
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
. 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
10.Sea un espacio de medida converge uniformemente para , ( ) \ 0 0 H .

8
donde es integrable para cada y ( es decir, dado , 0 8 " # \ !
8
. % ( )
existe tal que si , ) en estas condiciones R 8 R l0 B 0 B l aB \ ( ) ( )
8
%
entonces
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
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 .( ) !
11.Sea la medida de Lebesgue. Para sea \ ! " ! H .

0 ! " d
B
-
"
B
( ) ( ) ( )
+ J . ! J Considere para . Estudie la funcin . .

!"
"
B
( ) , 0 0 Dar un ejemplo de una funcin medible positiva integrable tal que no

#
sea integrable.
( ) - 0 0 Dar un ejemplo de una funcin medible positiva tal que no sea
integrable y sea integrable 0
#
.
SOLUCION: + J Consideremos de acuerdo con el valor dado a , as ( )
Si entonces " !
J ! . . ! " " ( ) ( )

! "
"
B
!"
!
. . .
Si en este caso se afirma que ( ) # ! "

( )
!" !"
" "
B "
0 B . . . .

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
( ) ( )
" " " "

" " " "
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 ! B . 8 8 B . lim lim lim

8 8 8
"
8
" " "
8 "

. . .
"
"
8 "
"

Por un resultado bsico cal? , como es una funcin no negativa en el ( )
"
B
intervalo finito cerrado se tiene por lo tanto 8 "

"
lim lim lim
8 8 8
8 "
" " "
8
"
"
"
8
"

|
"
"
"
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 "
"
"
"
"
Si , se tiene , no es integrable ya que, ( ) ( )

$ " J " .B
!"
"
B

( ) 0 B . . . . : . : .
:
sup lim
8
!"
8
donde es una funcin simple tal que y es una sucesin de : : : ! 0
8
de funciones simples definidas de la siguiente manera: :
8
0
:
8
3" 3"
# #
# 3 #
# 3
I I
( )
_
_
_
_ _
B
0 ! B "
! B !
8 8
8
3 3
8
; ;
donde , entonces se tiene I
3
3" 3
# #
8 8

_ _
( ) : . .
8 3
3" 3"
# #
# # "
3 3 #
. I
8 8
8 8
8
Por lo tanto,
lim lim
8 8
8
3" 3"
#
" "
3 3
_ _
: . .
8
que es divergente por lo tanto
J " . ( )

!"
"
B
.
no es integrable.
Si tenemos que ( ) % "
J . ( )

.
!"
"
B
es divergente, pues tomando la truncacin

si
si
si
0 B
B "
R ! B
! B !
R
" "
B R
"
R
( )
_
"
"
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 "
"
"
"
8 " 8 lim lim

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
"
&
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
#
( )
12.Sea un intervalo finito cerrado de , la coleccin de conjuntos \ + , d H

borelianos de y la medida de Lebesgue en , mostrar que si es una \ 0 - H
funcin continua no negativa en , entonces \

( ) 0. 0 B .B -
+
,
donde el lado derecho indica la integral de Riemann de 0
SOLUCION:Tmese una particin del intervalo + ,
+ B B B B B ,
! " # 8" 8
Sea
: <
8 8
5 5
8 8
( ) ( ) ( ) ( ) B 0 B 7 B 0 B Q min max
B B B B B B
5 5" 5 5"
Como es no negativa , por lo tanto 0 \ : < ` H
8 8

( )
_ _
( ) ( ) : - -
8 5" 5 5 5"
5" 5"
8 8
5 5
8 8
. 7 B B 7 B B
.
_ _
( ) ( ) < - -
8 5" 5 5 5"
5" 5"
8 8
5 5
8 8
. Q B B Q B B
Ahora
lim lim
8 8
8 5 5"
5"
8
5
8
_
( ) : - . 7 B B
. lim lim
8 8
8 5 5"
5"
8
5
8
_
( ) < - . Q B B
De la definicin de integral de Riemann se sigue que
lim lim
8 8
5"
8
5
8
5 5" 8
+
,
_
( ) ( )

7 B B 0 B .B . : -

lim lim
8 8
5"
8
5
8
5 5" 8
+
,
_
( ) ( )

Q B B 0 B .B . < -
Sea y entonces se tiene de donde : : < < : < 0 lim lim
8 8
8 8

: - - < - . 0. .
por lo tanto

( )
+
,
8 8 8
8 8 8
0 B .B . . . 0. . . lim lim lim : - : - : - - < - : -
( ) "
. 0.B
( ) #
lim
8
8
+
,

< -
( ) " Como es una sucesin creciente no negativa, se aplica el teorema de la :
8
convergencia montona.
( ) # <
8
es una sucesin de funciones decrecientes acotadas por
<
"
Q 0 B max ( ) se sigue, la igualdad, de aplicar el teorema de la
convergencia dominada de Lebesgue.
As tenemos que

( )
+ +
, ,
0 B .B 0 . 0.B -
Como por hiptesis es una funcin continua no negativa definida en 0
\ + , 0 \ entonces es acotada pues es compacto por lo tanto existe la
integral de Riemann y se tiene:
=

( ) ( )
+ + +
, , ,
0 B .B 0.B 0 B .B
Por lo tanto .

( ) 0. 0 B .B -
+
,
13.Sean y los subconjuntos borelianos de y la medida \ ! \ H -

de Lebesgue en . Si es una funcin continua no negativa en , mostrar que H 0 \
.

( ) 0. 0 B .B - lim
,
+
,
Por lo tanto, si es una funcin continua no negativa, entonces las integrales 0
impropias de Riemann y Lebesgue coincide.
SOLUCION: Siguiendo el mismo raciocinio del problema anterior aplicado a
intervalos de la forma , dado que ; como es una ! , ! ! , !,
, "
sucesin creciente en entonces H

. - - - ( ) ( ) ! ! , ! ,
, "
lim
,
Ahora
.

( )
! !,
, ,
!
,
0. 0. 0 B .B - - lim lim
14.Si entonces > ! / .B
>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

( )
_
|
!
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 .
15.Pruebe que si es una sucesin de funciones integrables tales que y 0 0 p0

8
8

0 . p 0. 0
8
. .. Siendo integrable entonces
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

( ) ( )
( ) 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! . . .

16.Sea medidas -finitas en . Sean y . - . 5 H - . - . \ 0 . . ( )
Si entonces 1 \ ` H
( )

1. 10. . .
SOLUCION:Sabemos por el teorema de Radon-Nikodym que como son - - . 5

finitas y entonces existe tal que , para todo - . ` H - . 0 \ I 0.
( ) ( )

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
17.Sean mediante -finitas en . Use el problema anterior para - . / 5 H \ ( )

demostrar que si y entonces -casi en toda parte. / - - . .
. . .
. . .
/ / -
. - .
Tambin, si para entonces , -casi en toda - . - - .
4 " #
.
. . .
. .
4 " #
. . .
- -
( )
" #
parte.
SOLUCION:( ) ( ) + 1 \ Si y son -finitas entonces existe tal que / . / - 5 ` H
/ - 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
" "
entonces existe tal que para todo

I
y . 0
.
.
-
.
"
Si entonces existe tal que para todo y - . ` H - . H
# #
1 \ I 1. I ( ) ( )

I
1
.
.
-
.
#
Si y entonces ya que entonces - . - . - - . .
" # " #
I ! ( )
( )( ) ( ) ( ) - - - -
" # " #
I I I !.
( ) ( ) ( )( )

- - . ` H - - .
" # " #
2 \ I 2. entonces existe tal que , para

I
todo y . Luego I 2 H
.
.
( ) - -
.
" #

( ) ( ) ( ) ( )( ) 0 1 . 0. 1. B B B 2. . . . - - - - .
" # " #
entonces -casi en toda parte, esto es 0 1 2 .
-casi en toda parte.
.
. . .
. . ( ) - -
. . .
- - " # " #
.
18.Si y son -finitos y , entonces -casi en toda - . 5 - . . - .

. "
. . .
-
. . -
parte.
SOLUCION:Si entonces existe tal que - . ` H 0 \
( )
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 . . .
. .
-
. . -
19.Si y son medibles, con y entonces - . - . - . - !

SOLUCION: Supongamos que , entonces como - H - - . ! bI I ! ( )
I I E I F E F \ E F E F ( ) ( ) donde son dados tales que
y ya que . - . - . ( ) ( ) E ! F !
Entonces pues es una medida. - - - - ( ) ( ) ( ) I I E I F
Como o sea . I E E I E E ! I E ! - - - ( ) ( ) ( )
As
. - - ( ) ( ) I I F
Por otro lado entonces existe tal que . . . ( ) ( ) ( ) I F F ! I F ! I F
. - - . - ( ) ( ) I F ! I F ! po ! y entonces es falso que . Luego .
20. Si es un subconjunto medible Lebesgue de , y , mostrar que existe E d ! %

K E
%
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 "
Para cada se tiene que . 3 I I + ,

3 3
3 3
5 5

5 "
8
3
( )
Sea , definimos en esta forma . Defnase % ! K + , I K
3 3 3 3
5 5 5 5
"
8 #
3

3
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

( ) ( )
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
21.Si es un subconjunto medible de Lebesgue de , si y si F d ! %

F M 8 8 " O F O
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

que y . Entonces por el problema tenemos que dado existe M F ! K
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
% %
pues es abierto, como todo abierto de la recta es reunin

enumerable de intervalos abiertos disyuntos esto implica que est en .
Evidentemente tenemos que . Como l l

( ) ( ) O F
%
l l l l l l

8
( ) ( ) ( ) ( ) O M K M K M E

% %
%
%
l l l l M E M M F

8 8 8
( ) % %
l l l M M F

8 8
( ) %
l l

( ) ( ) K E
%
pues entonces
l l l l

( ) ( ) ( ) ( ) O F F O
% %
% %
Luego, . l l l

( ) ( ) ( ) O F O
% %
%
22.Si es un conjunto arbitrario medible Lebesgue de aplicar el problema E d

anterior para demostrar que
* abierto l l ( ) ( ) E K E K K
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
23.Sea un conjunto medible de Lebesgue de E d

( ) + d Mostrar que existe un subconjunto medible de Borel de tal que y E F
l
( ) F E !.
( ) , 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
existe abierto tal que . K K E E K E

8 8 8
"
8
l l l ( ) ( ) ( )
Como es abierto de , entonces es reunin enumerable de intervalos K d K
8 8
abiertos disyuntos, luego . K d
8
( )
Si definimos entonces y ; . Luego . F K F d a8 E K E F
8 "
8 8
( )
Ahora para todo tenemos 8
l l l l

8 8
"
8
( ) ( ) ( ) F K K E
8 "
Entonces como , tenemos que l l l

"
8
( ) ( ) ( ) E F E a8
l l
"
8
( ) ( ) F E a8 F E ! luego .
33 E 8 E E M E E Si para todo , sea entonces , donde l
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
Mostrar que si entonces existe tal que y
( ) 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
As es reunin de un conjunto medible de Borel y un conjunto medible de E
Lebesgue de medida cero.
24. Si es un subconjunto de , sea . Si I d I B C d d B C I #( ) ( )

I I 0 # , mostrar que . Use esto para probar que si es una funcin ( )
de Borel medible en por entonces la funcin definida por d d J
J B C 0 B C ( ) ( ) es medible con respecto a .
SOLUCION: Sea y , entonces es continua por lo tanto 0 \ ] d I 0
B C

B C ( )
-
como se sigue que . Ahora , # # ( ) ( ) ( ) I 0 I I I
"
J I B C J B C I B C 0 B C I
"
( ) ( ) ( ) ( ) ( )
. 0 I I
"
( ) ( ) #
25.Sean intervalos unitarios y sean , los subconjuntos de Borel \ ] ! " H H

w
en Sea la medida de Lebesgue sobre y sea la medida del conteo ! " . H /
sobre . Si mostrar que es un subconjunto medible de H
w
H B C B C H ( )
^ \ ] pero

( ) ( ) ( ) ( ) / . . / H . B H . C
B
C
Aqu un resultado bsico cal? puede fallar, a menos que los factores sean ( )
5-finitos.
SOLUCION: El resultado Bsico es el siguiente: Sean y espacios ( ) ( ) \ ] k . l /
5 m k l -finitos de medida. Si , entonces las funciones definidas por I
0 B I 1 C I ( ) ( ) ( ) ( ) / .
B
C
son medibles y
.

\ ]
0. 1. . /
Tomemos definida por tenemos 0 \ ] d 0 B C B C - ( )
H B C B C 0 ! ( ) ( )
"
es la imagen recproca de un conjunto de Borel y como es continua entonces 0
H es medible.
Ahora , entonces y por lo tanto H C ] B C H C H "
B B
( ) ( ) /
\
". " ! " . .
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
]
26. Supngase que y son -finitos y subconjuntos ( ) ( ) \ ] I J H . H / 5

w
pertencientes a . Si , entonces H H / / 1 1 I J aB \ I J
w
B B
( ) ( ) ( ) ( )
SOLUCION: Sean . Como y son 0 B I 0 B J \ ]
" B # B
w
( ) ( ) ( ) ( ) ( ) ( ) / / H . H /
espacios medibles -finitos tenemos por el resultado bsico de arriba que 5
1 / . 1 / . ( ) ( ) ( ) ( )

I I . J J .
] ]
B B
y o sea
1 . 1 . ( ) ( ) ( ) ( )

I 0 B . J 0 B .
] ]
" #
pero por hiptesis tenemos que por lo tanto 0 B 0 B aB \
" #
( ) ( )

( ) ( )
] ]
0 . 0 . I J
" #
. . 1 1
27.Sean y funciones integrables Lebesgue en para . Por el problema 0 1 d d ( )

#% d d d 0 B C 1 C se sigue que la funcin de definida por es medible -- ( ) ( )
con respecto a . Si denota a la medida de Lebesgue en , use el -
teorema de Tonelli y el hecho de que

( ) ( ) ( ) ( )
d d
l0 B C l. B l0 B l. B - -
para demostrar que , definida para por es 2 B d 2 B 0 B C 1 C . 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
- -
28.Sea integrable en sea integrable en y se define en 0 \ 1 ] 2 ^ ( ) ( ) H . H /

w
por . Si es el producto de y mostrar que es - 2 B C 0 B 1 C 2 ( ) ( ) ( ) 1 . / 1
integrable y
.

^ \ ]
2. 0. 1. 1 . /
SOLUCION: Si son funciones caractersticas como en la hiptesis tenemos 3 0 1
que existe tal que entonces . Existe tal que E 0 0. E F ^ H ; . .
E
\
( )
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
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.

\ \ ] ] \ ]

. . / / . /
As de todas maneras tenemos en total que

^ \ ]
2. 0. 1. 1 . /
29. Sea la -gebra de subconjuntos de y sea definida por \ d d H 5 .

. . ( ) ( ) E ! E E E , si es contable y si es no contable. Podemos
construir productos distintos de sobre s mismo. Si , definimos . m H H I
1 m ( ) I ! I I K L en el caso puede ser escrito como de subconjuntos en
tal que la -proyeccin de es contable y la -proyeccin de es B K C L
contable. De otra forma se define . Es evidente que en una 1 1 I
medida en . Si entonces esta contenido en una reunin contable m 1I ! I
de lneas en el plano. Si mostrar que . Entonces E F E F E F H 1 . . 1 ( ) ( ) ( )
es el producto por s mismo 1 .
SOLUCION: se define , de tal manera I I ! I K L K L m H H 1 m
que y son enumerables, de otra forma . En caso contrario 1 1 1
B C
K L I
1 m 1 1 es medible en . , y disyunta. ! I ! I I
8
Si para todo , donde y son I K L 8 I K L K L
8 8 8 8 8 B 8 C 8
( ) ( ) 1 1
enumerables, luego 1( ) I !
Si uno de ellos no puede ser escrito como reunin de y en las condiciones K L
exigidas entonces , pues no puede ser escrito como una suma, 1I I
luego . 1 1 ( ) ( ) I I
"
8
8
Demostremos ahora que . 1 . . ( ) ( ) ( ) E F E F
En efecto, si en medible Borel no enumerable, supongamos que E
E F K L K L E K L L tal que son enumerables y as no 1 1 1 1 1
B C B B B
enumerable, entonces no es enumerable, de donde 1 1 1
B B B
L L K
( ) ( ) 1 1 1 1 1 1 1 1
B B B C B B B C
L L K F E F L L K F L y es
enumerable, tenindose que no es enumerable y lo cual es F F Lpo 1
C
absurdo. En este caso tenemos . E F E F . . 1 ( ) ( ) ( )
Si son enumerables, y E F E F K L E F ! K E , , F . . ( ) ( )
L E F ! luego 1( )
Si es enumerable y no lo es, donde , E F E F K L K F + + E
L K E , entonces es enumerable. 1
B
( )
Luego . 1 . . ( ) ( ) ( ) E F ! E F
30.Mostrar que la familia de todas las reuniones de conjuntos de la forma K

( ) ( ) ( ) ( ) + , , + d no es una lbegra en el conjunto . Sin
embargo la -lgebra generada por es la familia de los conjuntos de Borel 5 K .
SOLUCION:
( ) + + , + ,
+ +
8 "
"
8 8 8 8
8
lim

( )
El intervalo pero = no esta en por lo tanto ( ) ( ) + K + + K K C
d
no es una lgebra.
31.Mostrar que si es la reunin disyunta de conjuntos ( ) + + ,

8 8
entonces
_
( )
8"
8 8
l + ,
SOLUCION: De tenemos que ( )

+ + , + , + , - - - ( ) ( ) ( ) ( )
_ _
8 8 8 8 8 8
8" 8"

l
32.Sea el conjunto de todos los nmeros racionales satisfaciendo la \ <

relacin y sea la familia de todas runiones finitas de intervalos ! < " T
semi-abiertos de la forma donde y < \ + < , ! + , "
+ , \ ! " \ T mostrar que es una lgebra de subconjuntos de .
Adems todo conjunto no vaco de es infinito. Si embargo la -lgebra T 5
generada por consiste de todos los subconjuntos de T \
SOLUCION: 3 \ \ ! " , pues, T T

" "
# #
( ) 33 J J + , T
3 "
8
3 3
J + , + , ! + , "
3 " 3 " 3 "
8 8 8
- -
3 3 3 3 3 3
-
_
( )
! + , "
3 " 3 "
8 8
_ _ 3 3
T
( ) 333 + , Por definicin , las reuniones finitas de intervalos del tipo esta en T T
3 3
por lo tanto,
.
4 "
J
4
T
8 8
J + , + ,
4 " 3 "
7
4
4
4 4 4 4
3 3 3 3
_
0383>+
T
( ) ( ) 3@ J J J ! " Si y , # dado que los nmeros racionales entre T
son densos.
( )

@ ! es una -lgebra pues el intervalo se puede obtener como una T 5
"
#
reunin infinita de intervalos de la forma con , ms + , + , ! "
3 3 3 3

exactamente
. ( )

! < ! < < < < < < <
8 "
<
< " " " "
" 8 8 8 8
"
8
33.Si es un subconjunto contable de , entonces el tiene medida de I d

Lebesgue cero.
SOLUCION:

+ + + + + + + + # ( ) ( ) ( ) % % - - % % % % %
Luego Si es un conjunto enumerable de tenemos .
-( ) + ! I d I B
B I
Luego .
- - - ( ) ( )
_
I B B !
B I
34. Sea para . Si un subconjunto esta M 8 8 " 8 ! " # I

8
contenido en la unin de un nmero finito de intervalos , entonces M
8
l
( ) I I . Sin embargo construya un conjunto medible Lebesgue con

l l

( ) I tal que para cada . Mostrar que un subconjunto de ( ) I M ! 8 I
8
d I M es medible Lebesgue si y slo si es medible Lebesgue para cada
8
8
SOLUCION: 3 I 8 8 "
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
35. Si es un subconjunto medible Lebesgue de y , mostrar que existe E d ! %

un conjunto abierto tal que K E
%
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 %
Tomando en ese caso tenemos y se tiene K M K M
% %
3 "
3 3
3"
l l ( ) ( )
_
l l l

( ) ( ) ( ) E K E
%
%.
36.Si es un subconjunto medible de , si y entonces F d ! F M 8 8 "
%
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
% %
%
37.Si es un conjunto arbitrario medible Lebesgue, aplicando el problema E

precedente, demostrar que
es abierto l l

( ) ( ) E K E K K
inf
es compacto l l

( ) ( ) E O O E O
sup
SOLUCION: ( ) ( ) ( ) 3 E K E K K
Sea y abierto " l l

inf
Por el ejemplo precedente, dado existe abierto y % ! K E K
% %
l l l

( ) ( ) ( ) E K E
%
%
Ahora abierto por la definicin de tenemos dado " 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 + ,
entonces por lo tanto entonces

3
( ) ( ) ( ) ( )
_
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
38.Sea denotando la medida de Lebesgue en , y sea un conjunto - d E l
medible Legesgue con . Si existe un conjunto abierto que es - % ( ) E !

la reunin de un nmero finito de intervalos abiertos tales que
m m l E K l ; ; - - %
E K "
( ) ( ) .
Adems, si existe una funcin continua tal que % ! 0
m 0m l 0l. ; ; - %
E E "

SOLUCION: Si es acotado, sea un intervalo abierto tal que y existen E \ E \
M N
8 8
intervalos tales que

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
$
%
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
_
_
_ ( ) ( )
?
39.Sea un conjunto, un lgebra de subconjuntos de y una medida \ \ T .

en . Si es un subconjunto arbitrario de , sea definida por T . F \ F
w
( )
. . T . . T
w w
( ) ( ) ( ) ( ) F E F E I I I
inf . Mostrar que para todo y que

. . . .
w w
( ) ( ) F F \ . Muestre que en el caso de que es una reunin
numerable de conjuntos con medida -finita. Es enumerablemente aditiva?. . .
w
SOLUCION: " I E I E I I E I

. . T . T .
w
( ) ( ) ( ) ( ) inf inf
. . . .
w
3"
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
esta contenencia se tiene, ya que

donde y . . ( ) ( )
_
E I I E I a3 "
3"
3 " 3
Luego
inf inf E E F E I I F I . T . T ( ) ( )
_
( )
3 3 3
( ) Q R d Q R
Recurdese que si entonces inf inf

Luego . .
w
( ) ( ) F F
# \ \ \ Veamos que si con
8
8 8
w
. . . ( )
Hemos probado en que en general , resta ver que " F F . .
w
( ) ( )
. .
w
( ) ( ) F F o sea que
I I F I E E F E

_
( ) ( ) . T . T
3 3 3
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
40. Sea un subconjunto medible Lebesgue de . Mostrar que existe un E d

conjunto medible Borel de tal que y . Mostrar que F d E F F E !
( )
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 "
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
41.Sea un conjunto no enumerable y sea una coleccin de subconjuntos \ I T

tales que es finito o es finito. Sea en definida as: I I
-
. T

si es finito
si es finito
.( )

I
! I
I
-
Mostrar que es una medida en . Calcule la medida . Calcule la funcin de . T .
conjuntos definida as " " son ellas las . . . T

w w
( ) ( ) F E F E
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
Si es finito, entonces esta en y T . .
33 F F Si es infinito, entonces puede ser infinito enumerable o infinito no

enumerable. Si es infinito no enumerable entonces es finito en ese caso F F
-
F F F T . o infinito no numerable tmese en este caso y tendramos
-
( )
. .
-
F F . Ahora en el caso enumerable entonces es infinito no enumerable.
Sea como as queda , F , , ! F , F ! T . . ( ) ( )
, F

definida . .
$ Clculo de la funcin .
w
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
42. Sea un conjunto y sea la funcin definida para subconjuntos \

arbitrarios de y con valores en , cumpliendo con la desigualdad \ d
! I I J I J I J \ f ( ) ( ) ( ) ( ) donde y son subconjuntos de . Sea
es la coleccin de todos los subconjuntos de tales que I \
( ) ( ) ( ) E E I E I
para cada . Si , entonces es un lgebra y es aditiva en . E \
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 ( ) ( )
" # # # " # #
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 \
SOLUCION: Sea entonces existe entonces f f I

( ) ( ) ( ) ( ) E E J E I " " " po
esto es contradictorio, luego f

44.Sea y dados como en el problema y sea la -lgebra generada \ $# T T 5
"
por . Sea la medida del conteo en y sea . Mostrar que T . T . . . .
" " # " " #
#
en pero no en T T
"
.
SOLUCION: Sea \ ! "
T T c T + ,+ , \ + , \ reuniones finitas de entonces ya que si
"
( )
+ + + + T
"
" "
8 8
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
" # "
45.Si denota el espacio de medida consistente de los nmeros reales ( ) d

junto con los conjuntos de Borel, mostrar que cada subconjunto abierto de
d d pertenece a . En efecto, esta -lgebra es la -lgebra 5 5
generada por los subconjuntos abiertos de (en otras palabras, es d d
el lgebra de Borel de ). d d
SOLUCION: Sea el espacio de la hiptesis, se sabe que en todo ( ) d d
subconjunto abierto es obtenido como una reunin enumerable de intervalos
disyuntos. Por otra parte como un abierto de es obtenido como una d d
reunin de abiertos elementales y cada abierto elemental es el producto de dos
intervalos, entonces trivialmente se sigue el problema.
46. Sean y funciones a valor real en e respectivamente. Suponer que 0 1 \ ] 0

es -medible y que es -medible. Si es definido para en por k l 1 2 B C \ ] ( )
2 B C 0 B 1 C 2 ( ) ( ) ( ), mostrar que es -medible k l .
SOLUCION: Supngase sin perdida de generalidad que son no negativas, Por 0 1
un resultado bsico (cal?) podemos escribir
donde y son funciones simples 0 0 lim
8
8 8 8
: : :

donde y son funciones simples 1 1 lim
8
8 8 8
< < <
Se define tomando . 2 2 B B B B
8
: < : < : <
8 8 8 8 8 8 8
( ) ( )( ) ( ) ( )
Basta mostrar para funciones caractersticas inicialmente: supongamos
para algn conjunto medible 0 E ;
E
para algn conjunto medible 1 F ;
F
Entonces es ese caso es medible 2 B C B B B C 2 ( ) ( ) ( ) ( ) ; ; ; ;
E EF EF F
pues es medible por ser un rectngulo con E F E F k l
Ahora si son funciones simples 0 1
donde 0 + E 0 +
_
( )
3"
8
3 3 3 E
"
;
3
donde 1 , F 1 ,
_
( )
4"
7
4 F 4 4
"
;
4
En ese caso
2 B C 0 B 1 B + B , C + , B C ( ) ( ) ( ) ( ) ( ) ( )
_
_ _ _ _
_ _ _ _
3" 4" 3" 4"
8 7 8 7
3 4 3 4 E
; ; ;
3 F
4
E F
3 4
es una combinacin lineal de funciones medibles entonces es medible. 2
Finalmente tenemos . Afirmamos 2 B C 0 1 B C 0 B 1 C 2 ( ) ( )( ) ( ) ( )
8 8 8
: <
ahora que en efecto 2 p2
8
lim lim lim lim
8 8 8 8
8 8 8 8 8
2 B C B C B C 0 B 1 C ( ) ( )( ) ( ) ( ) ( ) ( ) : < : <
0 1 B C 2 B C ( )( ) ( )
Se sigue de un resultado bsico cal? que es medible. ( ) 2
En el caso general se escribe
y 0 0 0 1 1 1

y se aplica la parte anterior.
47.Sean y subconjuntos de y sea . Mostrar que I J ^ \ ] B I

( ) ( ) I J I J I ^
B
B B
. Si son subconjuntos de , entonces
( ) ( ) 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
48.Sea un espacio de medida en el conjunto de los nmeros naturales ( ) \ k .

\ \ , con la medida del conteo definida en todos los subconjuntos de .
Sea un espacio de medida arbitrario. Mostrar que el conjunto en ( ) ] I l /
Z= pertenece a si y slo si cada seccin de de pertenece \ ] I I m k l
8
a . En este caso existe una nica medida producto y l 1 1 / ( ) ( )
_
I I
8"
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
/ / 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
as coincide con pues lo hace sobre los rectngulos.

8
8
) 1
49.La funcin en de es medible si y slo si cada seccin es 0 ^ \ ] d 0

8
l 1 -medible. Ms an, es integrable con respecto a si y slo si la serie 0
_
8"
]
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]
l0l. l0l. l0l. l0l. 1 1 1 /
( )
( )
#
"
]

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
.
_ _ _
_
] 8" 8" 8"
B]
8"

B]
]
8 8
0. 0. 0. 0 . 0 . 1 1 1 / /
]
50.Sean sucesiones en . Pruebe + ,

8 8
( ) ( ) + + + limsup liminf
8 8
8p
( ) ( ) , + , + , limsup limsup limsup
8 8 8 8
8p 8p
suponiendo que ninguna de las sumas es de la forma o
( ) - + , 8 + , Si para todo entonces .
8 8 8 8
liminf liminf
8p 8p
Muestre que la desigualdad estricta, puede ocurrir en ( ) ,
Sea SOLUCION: ( ) ( ) + , + + E
5 5 5" 5
sup
donde se sigue que . E + + , E
5 5 5" 5 5
inf
Ahora limsup inf inf inf inf inf
8p
+ , , E E F ( ) ( )
8 " # " #
donde
F E E + F + inf inf limsup sup liminf
" # 8 8
8p
8p
( ) ( ).
( ) , G + + G , , Sean se sigue que:
5 5 5" 5 5"
5
w
sup sup
+ G , G a3 5
3 5 3
5
w
por consiguiente + , G G a3 5
3 3 5
5
w
entonces es cota superior de G G + , 3 5
5 3 3
5
w
Como es la mnima cota superior, entonces sup+ , + ,
5 5 5" 5"
. + , + , G G
5 5 5 5" 5" 5
5
w
sup
o sea . G G
5 5
5
w
Por consiguiente
inf inf . . G G G G
" # " #
" #
w w
G G G G inf inf
" #
" #
w w
o sea
limsup limsup limsup
8p 8p 8p
+ , + , ( )
8 8 8 8
Si . , o, . limsup limsup
8p 8p
+ +
8 8
son casos triviales.
( ) - - + + . , , Sean
5 5 5" 5 5 5"
inf inf
ya que . Se sigue que y por consiguiente + , a8 - . a5
8 8 5 5
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

51.Sea
si es impar
si es par
0
8
" 8
8
I
I
;
;
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
. .
52.Supongamos es medible para 0 \ ! 8 " # $

8
-
0 0 ! 0 B p0 B 8p B \ 0 P
" # 8 "
"
( ) ( ) ( ) cuando para cualquier y . .
Pruebe que , es vlida esta condicin en el caso de ser lim
8
8

\ \
0 . 0. . .
omitida la condicin ? 0 P
"
"
( ) .
SOLUCION: ( ) + 0 0 ! ! 0 0 Ya que entonces se sigue que para
" # 8
todo y es medible, luego 8 0

\ \ \
0. 0 . 0 . . . .
8 "
de donde se deduce que 0 0 P a8
8
"
( ) .
Sea sucesiones de funciones medibles tales que 2 0 0
8 " 8
! 2 2
" #
es una sucesin creciente de funciones medibles con recorrido . Por el !
teorema de la convergencia montona de Lebesgue tenemos
lim lim lim
8 8 8
" 8 " 8 " 8 "

( ) ( ) ( )
\ \ \
0 0 . 0 0 . 0 0 . 0 0 . . . . .
Ahora como se sigue que y 0 0 0 P a8 0 0 0 0 P
" 8 " 8 "
" "
( ) ( ) . .
adems

( )
\ \ \
0 0 . 0 . 0 .
" 8 " 8
. . .

( )
\ \ \
0 0 . 0 . 0.
" "
. . .
luego
lim
8
" 8 "
0 . 0 . 0 . 0.

\ \ \ \
. . . .
o sea

\ \ \ \
0 . 0 . 0 . 0.
" 8 "
8
. . . . lim
Como tenemos

\ \ \
0 . 0 . 0.
" 8
8
. . . lim
( ) , 0 \ d 0 Sea donde es una sucesin decreciente,
8 8
"
8
;
8
adems cuando , 0 p ! 8p
8

( )
d d
"
0 . . ". "
"
"
. ; . . .
Ahora y tenemos

d d
lim0 . !. !
8
. .

( )
d d
8
0 . . ". 8
8
"
8
8
. ; . . .
por consiguiente
lim lim
8
8 8

d d
0 . 0 . . .
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
54.Pruebe que el conjunto de los puntos en los cuales una sucesin de

funciones reales converge es un conjunto medible.
SOLUCION: Sea es convergente I B \ 0 B
8
= es sucesin de Cauchy = B \ 0 B
8
B \ a ! bR a7 8 R l0 B 0 B l ( )( )( )( ) ( ) ( ) % %
8 7
B \ a5 ! bR a7 8 R l0 B 0 B l ( )( )( ) ( ) ( )

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

55.Sea un conjunto no contable, la coleccin de todos los subconjuntos \

I \ I I I ! tales que o son a su vez numerables y en el primer caso,
-
.( )
. 5 . ( ) I " \ en el segundo caso. Pruebe que es una -lgebra en y es
una medida sobre .
SOLUCION: 3 \ \ , pues que es numerable.
-
33 E E E Sea esto es equivalente a decir que es contable o es adems
-
numerable, esto es equivalente a decir que es numerable o es E E
- -
-
( )
numerable, esto equivale a decir que E
-
333 E E E
Sea entonces debemos mostrar que y son

8 8 8 8
-

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
ms numerable. Demostremos que este es nico 5

Sea entonces 8 5 E E E E
8 5 8
-
5

Dado que no es a lo ms numerable entonces es a lo ms numerable E E
5
-
5
entonces es a lo ms numerable para todo porque y E 8 E "
8 5
.( )
. ( ) ( ) E ! a8 8 5
8
entonces
. . . ( ) ( )
_
E E " E
5 8 8
8

8
Nota: debe ser numerable para que quede bien definida. \ .

56.Existe una -lgebra infinita la cual tiene solamente un nmero numerable 5
de elementos?
SOLUCION: Sea una -lgebra infinifa la cual es un conjunto numerable. Si 5
\ \ B \ entonces es finita. Suponga que y sea . Sea
"
B I B I
" "
la cual es una interseccin numerable de elementos
de .
( ) 3 E E B B E Se demuestra que si y . Basta mostrar que
" "
B E B B B E
" " " "
ya que es el menor conjunto que contiene a , entonces .
Para ver esto supngase que y entonces , en esta E B B E B E
" " "
-
forma absurdo porque B E po E B
" "
-
( ) 33 E B E \ \ I
Sea , si entonces puesto que si entonces

" " "

I E \ E \ I \ I
" "
lo cual implica que as es finita. Si
\ E B \ E E B E E
" # " # # " #
, sea y denotemos se sigue que ya
que si entonces lo cual es absurdo dado que E E B E E po
" # # "
B E \ E E \ E E
# " " " # " #
. Si entonces el cua es finito ya que si
I I \ E E
" #
y y en esta forma ( ) + I E I E E I E I
" # " #
E E I \ I
" #
o o ( ) , I E I E E I E I
" # " #
( ) 333 Continuando el mismo raciocinio anterior, supngase que existen
B B B \ E E 3 4 E B 5 " 8
" # 8 3 4 5 5
elementos de tales que , . Si
\ E E O " # 8
8
5 " 3 O
5 3
entonces y as es finita. Caso c ( )
contrario podemos formar donde . Adems debe E B B E
8" 8" 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
"
( ) ( )
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
Como cualquier abierto de se puede expresar como unin numerable de d

8
rectngulos abiertos entonces es medible. 0
58.Se conoce el siguiente resultado: Sean y espacios topolgicos y sea ] ^

1 ] ^ \ 0 \ ] - - continua Si es un espacio de medida, si es medible y si
2 1 0 2 \ ^ , entonces es medible. -
Prubese que la conclusin del resultado anterior bajo la hiptesis ms dbil
de que es medible Borel, es decir, pruebe que las funciones medibles Borel 1
de funciones medibles son medibles.
SOLUCION: Sea un abierto de entonces es un conjunto de Borel por Z ^ Z
consiguiente es un conjunto Borel en , como es medible entonces 1 Z ] 0
"
( )
0 1 Z
" "
( ) ( ) es medible, esto se tiene por un resultado bsico (cal?)
59.Supongamos que , una sucesin de funciones complejas .( ) \ 0

8
acotadas medibles sobre y uniformemente sobre Pruebe que \ 0 p0 \
8
lim
8
8

( )
\ \
0 . 0. \ . . . y muestre que la hiptesis no se puede omitir.
SOLUCION: + 0 Ya que la sucesin es acotada entonces
8
( )( )( )( ) a8 bQ ! Q d aB \ l0 l Q
8 8 8 8
Por consiguiente

( )
\ \
l0 l. Q . Q \
8 8 8
. . .
Por lo tanto . Ahora ya que uniformemente entonces 0 P 0 p0
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. . . .
\ \
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
60.Se conoce el siguiente resultado: Sea una sucesin de conjuntos I

5
medibles en , tal que . Entonces casi todo esta en a lo ms \ I B \
_
( )
5"
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
ya que tal que por consiguiente

_ _
( ) ( )
5" 58

5 5
. % . % I a ! b8 I
. % . ( ) ( ) E E !.
61.Suponga que . Pruebe que para cada existe tal que 0 P ! !

"
( ) . % $
( )
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. . . . .
%

_
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
. . . .
l0l. l0l. R R " \ I

_ _
( ) ( )
5" 5"
R
\ I \ I
# # #
R

5 5
. . .
% % %
R R " I ( ) ( ) .
%
#
Sea = entonces si se tiene $ . $
%
#R R" ( )
( ) I
.
I
l0l. . %
62.Sea un espacio de medida una coleccin de subconjuntos ( ) \ H H C

medibles en , tal que \
. 3 E F E F C C
. 33 F F C C
-
. 333 5 H ( ) C
Si y son medibles en donde . . H
" #
en .
_
( ) ( )
( ) ( )
. .
. .
. . H
" #
" #
" #
F F aF
\ \ "

C
SOLUCION: ( ) + Ces un lgebra
En efecto, sea entonces as entonces pero E E E E E E C C C C
- - -
E E
-
, luego . C
Si su complementario tambin pertenece a as . \ C C C C
Sean entonces por la propiedad se sigue que E F E F 3 E F C C C
- - - -
pero por las leyes de Morgan tenemos que , ahora por la C( ) E F E F
- -
C
propiedad se tiene 33 E F E F CC( ) C.
Si es una familia finita de elementos de entonces E E E
# # 8
C
( ) E E E E F E F E E E
" # 8" 8 8 " # 8"
C donde por
hiptesis de induccin esta en entonces es una lgebra. C C
, Sea una medida en , entonces por el teorema de Carathodory podemos . C
extender a una medida a una -lgebra conteniendo a . . . 5

C C
- B B " sonmedibles en y como ellas son -finitas, adems . . H . . 5

" # " #
( ) ( )
. . .
" #
l l
C C
, entonces ellas son extensiones de una medida en que es C
consecuentemente -finita en , luego haciendo uso del teorema de extensin 5 C
de Hahn se sigue que en . . . 5 H
" #

( ) C
63.Sean dos espacios medibles, una funcin tal ( ) ( ) - \ \ X \ \

" " # # " #
H H
que (una tal funcin es llamada medible) X F aF
"
" #
( ) H H
Siendo una medida en defina para . Probar . H - . H
" #
"
F X F F ( ) ( ) ( )
+ - H es una medida en
#
, 1 \ d 1 X \ d Si ; es -medible entonces es -medible
# # " "
- - H H
- 1 X . 1.

( )
H H
" #
. -
SOLUCION: + - H es una medida en
#
3 X - . . ( ) ( ) ( ) ( )
"
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
" " " "

. . . .
64.Considrese donde como siempre =nmeros reales, ( ) d d -

- =Borelianos, =medida de Lebesgue. Suponga que , a d I
- - ( ) ( ) ( ) I I I B CC I donde y probar que
.

( ) ( ) ( )
d d
0 B . B 0 B . - -
SOLUCION: Como es una homotecia por lo tanto es un X d d
B B
-

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 - - - -
65.Consideremos el espacio de medida defnase ( ) d -

para C - ( ) ( )
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 ! "
67. Sea un espacio de medida cualquiera, y una sucesin de ( ) ( ) \ 0 H .

8
8
funciones integrables tales que , y existe integrable tal que | 0 p0 1 0 l 1
8 8
entonces
\
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 ( ) ( ) ( )
esta definida y es finita en c.t.p de , adems y que d 2 P d

"
( )
. m2m m0m m1m
" " "
SOLUCION: Invitamos al navegador que se interese en este tema, para que
muestre la parte y demostremos solamente la parte ( ) ( ) + ,
Supongamos que es -medible, usando el teorema ( ) ( ) ( ) B C 0 B C 1 C C - -
de Tonelli obtenemos

( ) ( ) ( ) ( )

l0 B C ll1 C l.C.B l1 C l l0 B C l.B.C
, l1 C l.C l0 B l.B

( ) ( )

pero

( ) ( )

"

l0 B C l.B l0 B l.B m0m
Por lo tanto podemos aplicar ahora el teorema de Fubini y se tiene que la
aplicacin as para casi todo , y C 0 B C 1 C P d B d 2 B P d ( ) ( ) ( ) ( ) ( )
" "
tenemos
m2 m l 0 B C 1 C .Cl.B l0 B C 1 C l.C.B m0m m1m
" " "

( ) ( ) ( ) ( )

Ahora probemos que es -medible, en efecto es ( ) ( ) ( ) ( ) ( ) B C 0 B C 1 C B C 1 C C
C -medible porque para todo F
B C d 1 B F d 1 F ( ) ( ) ( )
# "

Ahora como es continua, por lo tanto es Borel-medible adems 1 1 F ! C( ) ( )
"
y de donde es medible Lebesgue. - - ( ) F !
69.Sea una funcin acotada en es tal que: 0 E d E ! " ! " -

( ) ( ) - + > ! " B 0 B > ! " Para todo la funcin es medible en .
( ) ( ) ( ) , B > ! " ! " B > Para todo existe .
`0
`>
( ) - E
`0
`>
es acotada en .
Demostrar que para >
!
! "
. l 0 B > .Bl .B
.
.> `>
" " `C
B>

( )
! !
>>
!
!
( )
SOLUCION: 3 > ! " > p> > > Tomemos y sea ; entonces
8 8

`0
`> > >
> >
0 B> 0 B>
( ) B > lim
8
8
8
( ) ( )
Como las funciones y son funciones medibles y como 0 > 0 > > > ( ) ( )
8 8
tambin es medible, el cociente es acotado y medible, y por lo tanto el lmite
es una funcin medible, luego es medible. B B >
`0
`>
( )
33 Usando el siguiente resultado
es medible

1 l1l 0 0 P 1 P
"
"
Entonces es integrable en para todo , pues ella es acotada y B 0 B C ! " > - ( )
.( ) ( ) E 0 O pues es limitada por , digamos .
333 J > 0 B > . B Definamos , tenemos ( ) ( ) ( )
.

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
( ) ( )
70.Sea . Mustrese que " : < P ! " P ! "
: <
SOLUCION: Vamos a probar que si y si , entonces 0 P ! " " < : <
<
0 P ! " P P
: < :
( )
+ < " : 0 P Supongamos inicialmente que y sea . Si ,
entonces existe podemos suponer tal que o sea Q ! Q " l0l Q ! ( ) .

l0l Q : " l0l Q Q " casi en toda parte y entonces para casi en toda
: :
( )
parte. Sea y y entonces tenemos R l0l Q R !
: : -
.( )
m0m l0l . l0l . l0l . l0l . Q . Q R
: : : : : : :
:

_____
( ) . . . . . .
R R R R
-
ll
!

Luego Q 0 P
R ! " " pues . . ( ) ( )

: :
, " < : " : < Suponga ahora que y sea tal que
0 P 0 P 0 0 P 0 P
< < " : < " : <:
( )
<
:
Sea tal que , entonces , o sea se afirma que ; d " " ;
" " " <
; < ; <:
:
<
:
1 ! " d 1 B " 1 P P - ( ) dada por entonces
<
<:
;
m"m l"l . . \ "
<
<:
<
<: \ \
<
<:
( ) . . .
Como y , por la desigualdad de Hlder, tenemos " P 0 P "
; : " "
;
<
:
<
:
m0 "m m0 m m"m; m0 m
: : :
"
< <
: :
as , luego m0 m 0 P 0 P
: : :
" "
Probemos ahora que , si P P < : "
< :

+ < 0 P 0 ! Si , tome definida abajo. Tenemos que y
"
_
!" 8"
"
#
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. ! .

72.Sea una sucesin de funciones reales medibles en la recta, tales que para 0
8
todo . Probar que definida por es medible 8 l0 B l O J J B 0 B
8
8 8
( ) ( ) ( ) sup .
SOLUCION: J B 0 B O d
8
( ) ( ) sup
8
est bien definida. Sea y probemos que
J B dJ B ( ) es medible
Ntese que si , entonces luego existe tal que B J 0 B 8
8
sup
8 !
( )
0 B B 0
8 8
! !
( ) y entonces y por lo tanto
J 0

8 "
8
Recprocamente, si , entonces , luego B 08 B J
8 "

J 08
8 "
Como cada es medible, entonces fue escrito como reunin 0 J

8

enumerable de conjuntos medibles, luego es medible. J
73.Analice si las afirmaciones siguientes son verdaderas o falsas.

( ) ( ) + O B C U Sea una funcin real, medible, en el cuadrado unitario tal que

( ) ( )
! ! ! !
" " " "
O B C .C .B O B C .B .C
entonces y 7 B C U O B C ! ! 7 B C U O B C ! ! ( ) ( ) ( ) ( )
( ) , Existe una sucesin montoma de funciones integrables no negativas
0 d d 0 d d
8
- - que converge para una funcin integrable y tal que
lim
8
8

0 0.
SOLUCION: ( ) + 75 ! 5 ! ->: . Si , entonces y entonces por el Verdadero
teorema de Tonelli tendramos
contradiccin

( )
! ! ! !
" " " "
B
C
O .C .B O.B.C O .B .C po
U
Si , entonces casi en todas partes y y entonces 75 ! ! 5 ! 5 ! ->:
por el teorema de Tonelli nuevamente se tiene

_____________

_______________

M M ! !
5.C .B 5.C .B
ll
ll
" "

( )
! ! ! !
" " " "
5.B .C 5.B .C po
estas ultimas igualdades son contradictorias
( ) , 0 0 ! a8 Verdadera. Tmese la sucesin de funciones
8 8
"
8
8
;
adems es decreciente y es integrable, tenindose 0 0
8 8
y adems . lim
8
8 8

0 . 0 p! 0 0. ! - -

( ) ( ) + Q B C D O Sea una funcin real no negativa, medible, en el cubo unitario
tal que la integral repetida

( )
! ! !
" " "
Q B C D .B .C .D
existe y es finita. Entonces es necesariamente Lebesgue-integrable en . Q O
( ) , 0 Sea una sucesin de funciones medibles en la recta, que converge
8
puntualmente, y sea su lmite puntual. Entonces 0

( ) ( ) ( ) ( )
d d
/ =/8 0 B . p / =/8 0 B .
lBl lBl
8
- -
cuando donde denota la medida de Lebesgue. 8p -
( ) ( ) - P ! " Sea el espacio vectorial de las funciones complejas esencialmente
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
. Tmese la medida concentrada en . Sea se tiene Falso . V

"
#
0

"
#
a0 ! " ? 0 l m0m ? V que | Entonces por el teorema de Hahn-Banach se ( )

puede extender a . Suponga que tal que P ! " 1 P ! " a0 P ! "
"
? 0 01 a0 ! " 01 0 ( )

! !
" "
"
#
. En particular , V
" 1 "
!
"

# 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 , .
75. Dar un ejemplo de una sucesin de funciones medibles que converge en

medida pero no converge puntualmente en casi todo punto.
SOLUCION: Tome E ! " E ! E " E !
! " # $
" " "
# # $
E E " E ! E
% & ' (
" # # " " "
$ $ $ % % #
y as sucesivamente, y sea
0 M 0 ! 8
8 8 E
"
8
8
.
Tenemos que para todo y todo . Luego . % % ( )
. %
.
( ) - 0 p! 0 0 ! 0 0
8 8 8
y entonces Pero no converge casi en toda parte a
pues toma alternativamente los valores y para todo . 0 B ! " B ! "
8
( )
76.Probar que si es una sucesin de funciones positivas y Lebesgue 0

8
integrables tal que converge para en casi toda parte y , entonces 0 0 0 p 0
8 8

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

77.Si y , entonces la aplicacin es una correspondencia 0 Q - ! -
: < :
uno a uno entre funciones simples en con y funciones simples de : : < Q 0
Q -0
con . Use esta observacin para mostrar que <

-0. - 0. . .
SOLUCION: ( ) + 0 Sea funcin simple tal que y Y : :
funciones simples tales que Z < < -0
consideremos la siguiente funcin definida por entonces se 2 2 - Y Z : : - ( )
tiene
2 2 - - ( ) ( ) : : : : : :
" # " # " #
, y : < < Y < < < Z 0 0 2 a
" " "
- - -

as existe tal que . : Y : : < 2 - ( )
( )

, -0. 0 . - . 0 - . 0 . : . : : . : : . : sup sup sup
. - . 0 - 0. sup

: . : .
78.Sean , sea una funcin simple de con y sea la funcin 0 1 Q Q 0 A

: :
simple de tal que . Tomando y . Q A 0 1 A A !
" #
) : ) : 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
79.Sea la medida del conteo es . Si es una funcin no \ \ 0 H . ( )

negativa en , entonces y H 0 Q \ ( )

0. 0 8 .
_
( )
8"
SOLUCION: Sea tal que entonces se tiene 0 d 0 Q \ a d H - ( )
8 0 8 H ( ) , pues;
3 ! 8 0 8 Supngase que , entonces H ( )
33 ! 8 0 8 ! Si entonces . H ( ) ( )
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
.
80.Sea y la medida de Lebesgue en . Si , entonces la \ d 0 H - ;

8
!8
sucesin es montona creciente hacia . Aunque las funciones son 0 ;
!
uniformemente acotadas por y las integrales de las son todas finitas, " 0
8
tenemos: se puede aplicar el teorema de la convergencia
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
81.Sea y la medida de Lebesgue en si , \ d 0 H - H ;

8
"
8
8

entonces la sucesin es montona decreciente y converge uniformemente ( ) 0
8
para pero . 0 ! ! 0. 0 .

- - lim
8
SOLUCION: Hacindolo directamente tenemos como es uniformemente ;
8
acotada por se sigue que as; " ! lim
8
8
;
8

( ) 0 . . . 8
8
" " "
8 8 8
8 8
- ; - ; - -
. 0 . 0. !

( )

"
8
8
lim - -

82.( ) ( ) ( ) + 0 "8 0 ! 0 Sea , . Mostrar que la sucesin converge
8 8 !8
;
uniformemente hacia , pero que . Por que no se contradice 0 0. 0 .

- - lim
8
el teorema de la convergencia montona? Se aplica el lema de Fatou?
( )

, 1 8 1 ! 1. 1 . Sea . Mostrar que . Converge
8 8
" #
8 8
; - - lim
uniformemente para ? Puede aplicarse el teorema de la convergencia 1 1
8
montona? Puede aplicarse el lema de Fatou?
SOLUCION: ( ) + 0 ! 8 Como , entonces
8
"
8
;
( )( ) ( ) ( ) a ! b8 8 8 l B l aB % ; %
! !
"
8
!8
dado que ,
si
si
"
8
"
8
;! 8 B
B ! 8
! B ! 8
( )

para el primer caso, , implica que , basta as tomar . l l 8 8 8
" " " "
8 8
!
%
% %
Ahora .

0. !. ! " 0 . - - -
8
lim lim lim lim lim

0 . . . 8 "
8
" " " "
8 8 8 8
!8 !8 !8
- ; - ; - - ;
esto es contradictorio ya que la sucesin es decreciente y el ( ) po ! 8
"
8
;
teorema de la convergencia montona es para funciones crecientes y no se
puede aplicar. El lema de Fatou no se contradice ya que

( ) liminf liminf 0 . ! " 0 .
8 8
- -
( ) , Se tiene:

1 . 8 . 8 . 8 8 8 "
8
" # " # " # # " "
8 8 8 8 8 8 8 8 8
- ; - ; - -
entonces . Por otro lado lim lim

1 . " 1. !. ! " 1 .
8 8
- - - -
La convergencia no es uniforme ya que
| ( )( ) ( ) ( ) ( ) a ! b8 aB 8 8 1 B l % % %
! ! 8
Ahora
si ( ) ( )

a ! b8 a8 #8 l1 B l B % %
! ! 8
" #
8 8
Basta tomar tal que en ese caso para 8
!
# "
8 8
!

" #
8 8
8 !
! !
" #
8 8
! !
B l1 B l l8 B l a8 #8 ( ) ( ) ; %
Como 1 B 8
8

( ) ; " #
8 8

1 8 "
8"

( ); " #
8" 8"
para tenemos que y . Luego la sucesin de
# #
8" 8
8 8"
B 1 B " 1 B ! ( ) ( )
funciones no es creciente. El lema de Fatou aplicar. se puede
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

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
. .
84. Supngase que tal que converge a y que ( ) ( ) ( ) 0 Q \ 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
85. Mustrese que la conclusin del problema anterior falla si la condicin
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 !
87.Si y entonces el conjunto 0 Q \ 0.
( )

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
88. Si y , mostrar que tiene medida finita. 0 P \ + ! B \ l0 B l + ( ) ( ) H .

En adicin, el conjunto tiene medida -fintita (esto que es la B \ 0 B ! ( ) 5
reunin numerable de una sucesin de conjuntos con medida finita).
SOLUCION:( ) + 0 l0l En primer lugar es integrable si y slo si es integrable.
Sea ahora entonces I B \ l0 B l + + l0 B l l0 B l
+
( ) ( ) ( ) ; ;
I I + +

( ) ( ) + . l0 B l . l0 B l. + . ; . ; . . ; .
I I I + + +
+
I
esto es equivalente a decir que es finita. + I I . . ( ) ( )
+ +
( ) ( ) , B \ 0 B ! El conjunto tiene medida -finita, pues si 5
B \ 0 B ! B \0 B ! B \0 B ! ( ) ( ) ( )
E B \0 B ! B \0 B ( ) ( )
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 . !

. .
como - estas dos afirmaciones se tienen, pues son 0 ! ->: 0 . !

. .
consecuencia del lema de Fatou. En esta forma

.

0. 0 . 0 . ! . . .

90.Si y es una funcin a valor real -medible tal que 0 P \ 1 ( ) H . H

0 B 1 B \ 1 P \ ( ) ( ) ( )

casi en toda parte de , entonces y H . 0. 1. . .
.
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
91.Si y , entonces existe una funcin simple medible tal 0 P \ ! ( ) H . % :

que
l0 l. : . %
SOLUCION:Como esto equivale a afirmar la existencia de 0 P \ ( ) H .

0 . 0 . 0 . .

. . . : . entonces . Ahora sup
! 0 :

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 . .
. < . sup sup

! 0 <

( ) ( )
Dado funcin simple
tal que %
<
< !
b
! 0

"
"
"

0 . # < .
Se define la cual es simple, entonces : : <
" "

( ) ( ) ( ) l0 l. l0 0 l. l 0 0 l. : . : < . : < .

" " " "
l0 l. l0 l. 0 . 0 .

( ) ( )

" " " "
: . < . : . < .
.
% %
# #
%
92.Si y es una funcin medible acotada, entonces el producto 0 P 1 01

tambin pertenece a . P
SOLUCION:| sea la cota de entonces | , adems es 0 1l l0ll1l Q 1 0 1l l0lQ 0 1
medible por lo tanto por un resultado bsico (cal?) se tiene que

l0 1l. Q l0l. 0 1 P . .
93.Supngase que y que su integral indefinida es 0 P \ I 0. ( ) ( )

H . - .
I
I I ! I 0 B ! H - H . Mostrar que para todo si y slo si para casi todo ( ) ( )
B \ I ! I 0 B ! B . Adems, para todo si y slo si para casi todo -( ) ( ) \.
SOLUCION: I B \0 B ! I 0. ! aI ) Sea Si entonces ( ) ( )

- . H
I
para este tenemos que I
0 ! I 0 . ! . ! ; ; - ; . ; .
I I I I
( )

Ahora , donde es una sucesin I B \0 B I I
8 " 8 "

( ) ( )
"
8
8 8
creciente, entonces , ahora para entonces . . ; ; ( ) ( ) I I 0 lim
8
8
"
8
I I8

( ) 0 . . I ; . ; . .
I I 8 8
" "
8 8
8
entonces I 0 . ! I ! a8 I !
I !
"
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 (
(
( )
94.Sean funciones a valor real; supngase que es - 0 \ d 1 ] d 0 H

medible que es -medible. Si esta definido para en por 1 2 B C \ ] G ( )
2 B C 0 B 1 C 2 ( ) ( ) ( ) mostrar que es -medible H G .
SOLUCION: Supongamos que son no-negativos entonces donde 0 1 0 lim
8
8
:
las son funciones simples tales que , y donde son : : < <
8 8 8 8
8
0 1 lim
funciones simples tales que . Se define < : <
8 8 8 8
1 2
2 B B B B a8
8 8 8 8 8
( ) ( )( ) ( ) ( ) : < : < . Basta mostrar el resultado para
funciones caractersticas. Supongamos que para algn conjunto 0 ;
E
medible y supngase que para algn conjunto medible . Entonces E 1 F ;
F
2 B C B C B C 2 2 ( ) ( ) ( ) ( ) ; ; ; ;
E EF EF F
, as y es medible puesto que
E F E F es medible por ser un rectngulo con y . H G
Entonces si son simples donde adems 0 1 0 + E 0 + 1 ,
_ _
( )
3" 4"
8 7
3 3 3 4 F E
"
; ;
3 4
donde . En ese caso F4 1 ,
"
4
( )
2 B C 0 B 1 B + B , C + , B C ( ) ( ) ( ) ( ) ( ) ( )
_
_ _ _ _
_ _ _ _
3" 4" 3" 4"
8 7 8 7
3 4 F 3 4 E E F
; ; ;
3 3 4 4
es una combinacin lineal de funciones medibles entonces es medible. 2
Finalmente , tenemos entonces 2 B C 0 1 B C 0 B 1 C 2 ( ) ( )( ) ( ) ( )
8 8 8
: <
2 p2
8
, adems se tiene
2 B C 2 B C B C B C 0 B 1 B ( ) ( ) ( )( ) ( ) ( ) ( ) ( ) lim lim lim lim
8 8 8 8
8 8 8 8 8
: < : <
y es medible, segn un resultado bsico el cual dice: Si es una funcin no 2 0
negativa en entonces existe una sucesin en tal que Q \ Q \ + ( ) ( ) ( ) ( ) H : H
8
! B B B \ 8 : :
8 8"
( ) ( ) para .
para cada . ( ) ( ) ( ) , 0 B B B \ lim:
8
Cada tiene solamente un nmero finito de valores reales. ( ) - :
8
se tiene que es medible. En el caso general se escribe y 2 0 0 0

1 1 1

y se sigue el mismo raciocinio anterior.

95.Sean y subconjuntos de , y sea . Mostrar que I J ^ \ ] B \
( ) I J
B
B B
I J
SOLUCION: Sea y C I J B C I J B C I B C J ( ) ( ) ( ) ( )
B
C I c B C J C I c C JB C I J
B B B B
( ) ( ) .
96.Sea un espacio de medida sobre los nmeros naturales con ( ) \ \ H .

la medida del conteo en todo subconjunto de . Sea un espacio \ ] G / ( )
de medida arbitrario. Mostrar que un conjunto en pertenece a I ^ \ ]
m H G G I I si y slo si cada seccin de pertenece a : En este caso
8
existe una nica medida producto , y 1
. 1 / m ( ) ( )
_
I I I
8"
8
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"
( ) ( ) ( ) ( ) ( ) 33 E F E F I Sea . Ahora para que basta tomar ) . / G

I 8 I
y entonces coincide con en los rectngulos.

8
8
) 1
( ) 333 0 ^ \ ] d 0 ] Una funcin de en es medible es -medible.
8
Veamos esto ) Por la parte del resultado de arriba es medible. , 0 ( )
8
0 0 ) Si toda seccin es medible, entonces es medible
8
B C 0 B C 0 I ( ) ( ) ( ) ( )
"
esto se reduce a ver que para todo es medible, pero 8 I
8
0 C ] 0 8 C C ] 0 8 C I
8
"
8
( ) ( ) ( ) ( ) ( )
el cual es medible.
97.La funcin es medible si y slo si cada seccin es - 0 ^ \ ] d 0 -

8
G
medible. Ms an, es integrable con respecto a si y slo si la serie 0 1
_
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

_ _
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
] ]
( )
Esta igualdad muestra que es integrable la serie es absolutamente 0

convergente.

( ) + Sea una funcin integrable en la recta. Entonces dado , existe un 0 ! %
Q ! l0 B l B lBl Q tal que para casi todo con . ( ) %
( ) , O Si es un conjunto compacto de la recta, la medida de su frontera es nula.
( ) ( )

- 0 ! " d 0 > .> Sea una funcin continua tal que existe y es finito. lim
%
%
!
"
Entonces es necesariamente integrable Lebesgue en 0 ! "
SOLUCION: + " : Tmese la serie defnase la funcin Falso
_
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 " # !
"
#
.
( ) ( )
_ _
- + " 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
99.Pruebe que si es acotada y medible en el intervalo finito entonces 0 + ,

.
.B +
B
( ) ( ) 0 > .> 0 B B + , para todo

SOLUCION: Defina por es continua y de variacin J + , d J B 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 - +

( ) ( ) ( ) ( ) ( ) ( )
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
( ) ( )
( )
Esta igualdad es justificada por

( ) ( ) ( ) ( ) ( ) ( ) ( )
+ + + +2 +
- - - -2 -
J B 2 J B .B J B 2 .B J B .B J B .B J B .B
J B .B J B .B J B .B J B .B

( ) ( ) ( ) ( )
+2 - + +2
- -2 +2 -
J B .B J B .B

( ) ( )
- +
-2 +2
.
100.Muestre que, si . " " B .B / B .B lim

8
! !
8
B
8
8
" B "

SOLUCION: Tenemos que

!
8
B B B
8 8 8
8 8 8
" " "
" B .B " B . " B .

( )
!8 !
. .
( ) ( )

"
8
B
8
8
esta igualdad es vlida porque es continua en 1 B " B ! 8
siempre y cuando . " " !

Llamemos . Como y como 0 " B M " / " /
8
B B B
8 8 8
8 8 8
" B B
!8
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 !

( ) + Sea una sucesin de conjuntos medibles segn E E E
" # 8
Lebesgue de . Entonces d 7 E 7 E ( )
8 "
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 "
8 " 8 8" " 3 3"

8# 3#
8
8
lim
7 E E E 7 E lim lim
8 8
" 3 3" 7
3#
8
_
_
( ) ( )
( ) , Verdadero; por un resultado bsico y un problema aqu ya mostrado
( ) Cal?
( ) - 0 Falso; en general no existe. Veamos el siguiente contra ejemplo
w
Sea dada por
si
si
0 ! " d 0 >
! >
" > "
( )
_
" "
# #
"
#

0 > 0 ! ! ->: 0 B .B ! ( ) ( ) ( )
es montona y se tiene , entonces y sin

w w
!
"
embargo 0 " 0 ! ! ( ) ( )
"
#
APENDICE
Estoy seguro que si el amable navegante, ha estudiado con cuidado esta
asignatura, est en capacidad de resolver, por cuenta propia, problemas
como los que a continuacin les propongo, los cuales pueden ser
considerados como una prueba para chequearse, con el fin de prepararse para
un examen de estado.
Cuetionario
102.Sea un espacio de medida, una coleccin de subconjuntos ( ) \
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 .
" 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.
- 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

Problemas Teoria de La Medida e Integracion Dario Sanchez 2004

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Problemas Teoria de La Medida e Integracion Dario Sanchez 2004

Cargado por

Copyright:

Formatos disponibles

Daro Snchez H Teora de la Medida e Integracin 1

Para toda sucesin de elementos de ( ) & E

entonces limsup limsup . . E E

Si , en esta forma es llamado -anillo H f [ H [ 5 G G T

Q Obsrvese que para mostrar que es medible basta mostrar que

Si , se dice un de si y slo si , [ 5 f recubrimiento medible

es la inducida por sobre el -anillo hereditario medida exterior

d arriba definida es denomida inducida por sobre medida interior

( ) / E Para toda sucesin de elementos de , disyuntos dos a dos y

Para todo tales que ( ) 1 E H E H [

segn Lebesgue. A se le llama . R - 5 lgebra de Lebesgue

22. Si son espacios medibles y son ( ) ( ) ( ) - - H H H H H H H 0 1

0 1 - ( ) H un espacio medible, dos funciones medibles, un nmero real.

- d 0 1 ( ) H un espacio medible , y son funciones medibles con valores en

0 1 - Sean y funciones a valor real, medibles y sea un nmero real. Entonces

Daro Snchez H Teora de la Medida e Integracin 12

Si carga tal que entonces existe tal que ( ) ( ) H - H -

esencialmente limitados o acotados

Sea un conjunto cualquiera, si

entonces . En particular es aditiva. . . .

donde el nfimo es extendido sobre toda subsucesin

de subconjuntos en tal que . Esta funcin as definida es . F I

Si es una sucesin de subconjuntos de , entonces ( ) ( ) / F \

Daro Snchez H Teora de la Medida e Integracin 17

conjuntos -medibles es una -lgebra conteniendo a . Adems, si . 5

1 d d 1 Sea una funcin montona creciente de en . Supongamos que es

Puesto que es montona tambin se sigue que existen, 1 1 B 1 B lim lim

clase montona de . As tiene sentido hablar de la menor clase montona \

R R ! W R l0 B l B R H . con definimos y ( ) ( ) sup

96.Sea , una sucesin convergente para en si y slo si 0 P 0 0 P 0 p0

0 , 0 + : 8 T : R 8 X > Se tiene que . Sea , donde se ( ) ( ) sup sup sup

2.Sea una sucesin de subconjuntos de un conjunto . Si consiste de ( ) E \ F

que, de donde , para todo , salvo un nmero ( )( ) b7 a8 7 B E B E 8

3.Sea un espacio de medida y una funcin a valor real definida en . ( ) \ 0 \ H

4. Dado supongamos que existe , con y ( ) - \ d l H . H H . H . .

5. Dado supongamos que existe , con y ( ) - \ d l H . H H . H . .

6. Dado supongamos que existe , con y ( ) - \ d l H . H H . H . .

7.Sea teniendo la representacin donde y : f H : ; \ + + d

8.Sea la -lgebra de Borel, una funcin continua y ( ) - d 0 + , d . 5

10.Sea un espacio de medida converge uniformemente para , ( ) \ 0 0 H .

11.Sea la medida de Lebesgue. Para sea \ ! " ! H .

+ J . ! J Considere para . Estudie la funcin . .

( ) , 0 0 Dar un ejemplo de una funcin medible positiva integrable tal que no

8 ! B . 8 8 B . lim lim lim

intervalo finito cerrado se tiene por lo tanto 8 "

Si , se tiene , no es integrable ya que, ( ) ( )

es divergente, pues tomando la truncacin

8 " 8 lim lim

12.Sea un intervalo finito cerrado de , la coleccin de conjuntos \ + , d H

13.Sean y los subconjuntos borelianos de y la medida \ ! \ H -

sucesin creciente en entonces H

14.Si entonces > ! / .B

15.Pruebe que si es una sucesin de funciones integrables tales que y 0 0 p0

Daro Snchez H Teora de la Medida e Integracin 43

SOLUCION:Sabemos por el teorema de Radon-Nikodym que como son - - . 5

17.Sean mediante -finitas en . Use el problema anterior para - . / 5 H \ ( )

entonces existe tal que para todo

2 \ I 2. entonces existe tal que , para

18.Si y son -finitos y , entonces -casi en toda - . 5 - . . - .

19.Si y son medibles, con y entonces - . - . - . - !

20. Si es un subconjunto medible Lebesgue de , y , mostrar que existe E d ! %

Para cada se tiene que . 3 I I + ,

21.Si es un subconjunto medible de Lebesgue de , si y si F d ! %