UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICA

ESCUELA PROFESIONAL DE MATEMÁTICA

Cuarta Lista de Ejercicios de Medida e Integración

Fecha 26 de Abril del 2019


 1 1
A) Demostrar que  a, b   a  n , b  n  . Por lo tanto cualquier -álgebra de subconjuntos de R
n 1  
que contiene todos los intervalos abiertos también contiene todos los intervalos cerrados. Del

 1 1
mismo modo,  a, b   a  n , b  n  , de modo que cualquier -álgebra que contiene todos los
n1
intervalos cerrados también contiene todos los intervalos abiertos.

B) Demostrar que el álgebra de Borel B también es generado por la colección de todos los intervalos
de semiabiertos  a , b  x  R : a  x  b. También demostrar que B es generado por la colección
de todos los semirayos de x  R : x  a , a  R .

C) Sea  An  una sucesión de subconjuntos de un conjunto X. Sea E 0   y para n N , sea

n
En  Ak , Fn  Ak  En1. Demostrar que  En  es una sucesión monótona decreciente de
k 1

conjuntos y que  Fn  es una sucesión disjunta de conjuntos (es decir, Fn  Fm   si n  m ) de tal

  
manera que En  Fn  An .
n 1 n 1 n 1

D) Sea  A n  una secuencia de subconjuntos de un conjunto X. Si A se compone de todo x X que

   
pertenecen infinitamente a muchos de los conjuntos A n , demostrar que A   An . El
m1  nm 
conjunto A se llama a menudo límite superior de los conjuntos  A n  y denotado por lim sup A n .

E) Sea  A n  una secuencia de subconjuntos de un conjunto X. Si B se compone de todo x X que

pertenecen a todos menos a un número finito de los conjuntos A n , demostrar que
   
B  An . El conjunto B se llama a menudo límite inferior de los conjuntos  An  y
m1  nm 
denotado por lim inf An .

F) Sea  E n  una sucesión de subconjuntos de un conjunto X, que es monótona creciente (es decir,

E1  E2  E3  ... ), demostrar que lim supEn  En  lim inf E n .
n 1
G) Sea  Fn  una sucesión de subconjuntos de un conjunto X que es monótona decreciente (es decir,

F1  F2  F3  ... ), demostrar que lim supFn  Fn  lim inf Fn .
n1

H) Sea  A n  una sucesión de subconjuntos de X, demostrar que   lim inf An  lim sup A n  X.
 Dé un ejemplo de una sucesión  An  de tal manera que lim inf An  , lim sup A n  X.
 Dé un ejemplo de una sucesión  A n  que no es ni monótona creciente ni decreciente, pero es
tal que lim inf A n  lim sup A n .
Cuando esta igualdad se cumple, el valor común se llama límite de  An  y se denota por
lim A n .

I) Dé un ejemplo de una función f de X a R que no es X-medible, pero es tal que las funciones
f y f 2 son X-medibles.

K) Demostrar que si f es medible y A  0 , entonces el truncamiento f A definido por

 f  x  , si f  x   A

f A  x   A , si f  x   A

A , si f  x   A
es medible.

L) Sea f una función no negativa X-medible en X acotada (es decir, existe una constante K tal que
0  f  x   K para todo x en X). Demostrar que la sucesión n  construido en el Lema 2.11
converge uniformemente de X en f.
Lema 2.11. Sea f una función no negativa en M  X , X  , entonces existe una sucesión
n  en M  X , X  tal que:
(a) 0  n  x   n1  x  para x  X , n  N.
(b) f  x   limn  x  para cada x  X .
(c) Cada n sólo tiene un número finito de valores reales.

M) Sea f una función definida en un conjunto X con valores en un conjunto Y. Si E es cualquier

subconjunto de Y, sea f 1  E   x  X : f  x   E . Demostrar que f 1   , f 1 Y   X .
Sean E y F subconjuntos de Y, entonces f 1  E \ F   f 1  E  \ f 1  F .
Si E  cualquier colección no vacía de subconjuntos de Y, entonces
   
f 1  E   f 1  E , f 1  E   f 1  E . En particular, se deduce que si Y es
     

un -álgebra de subconjuntos de Y, entonces f 1

 E : 
E Y es una -álgebra de
subconjuntos de X.
N) Sea f una función definida en un conjunto X con valores en un conjunto Y. Sea X una -álgebra
 
de subconjuntos de X y sea Y  E  Y: f 1  E   X . Demostrar que Y es una -álgebra.
P) Sea (X,X)un espacio medible y f una función con valores reales definidos en X. Demostrar que f
es X-medible si y solo si f 1  E   X para cada conjunto Borel de E.

R) Sea f una función medible de X a R y sea  una función medible de Borel. Demostrar que  o f
es X-medible.

S) Sea f una función de valor complejo definida en un espacio medible (X, X). Demostrar que f es X-
medible si y solo si x  X : a  Re f  x   b, c  Im f  x   d  pertenece a X para todos los
números reales a, b, c, d. En general, f es X-medible si y solo si f 1 G   X para cada conjunto
abierto G en el plano complejo C.

T) Demuestre que las sumas, los productos y los límites de las funciones medibles de valor complejo
son medibles.

U) Demuestre que una función f de X a R (o R ) es X-medible si y solo si el conjunto A en el

Lema 2.4 (a) pertenece a X para cada número racional  ; o, si y solo si el conjunto B en el
Lema 2.4 (b) pertenece a X para cada número racional  ; etc.

Lema 2.4. Las siguientes afirmaciones son equivalentes para una función f de X a R
(a) Para cada   R, el conjunto A  x  X : f  x     pertenece a X.
(b) Para cada   R, el conjunto B  x  X : f  x     pertenece a X.
(c) Para cada   R, el conjunto C  x  X : f  x     pertenece a X.
(d ) Para cada   R, el conjunto D  x  X : f  x     pertenece a X.