Ejercicios de medida.

2. I. Give an example of a function f on X to R which is not X-measurable, but is

such that the functions |f| and f2 are X-measurable.

2. J If a, b, c are real numbers, let mid (a, b, c) denote the “value in the middle.”
Show that

mid ( a , b , c )=inf { ¿ { a ,b } ,{a ,c } , {b ,c }} .

If f1, f2, f3 are X-measurable functions on X to R and if g is defined for x ∈ X by

g ( x )=mid ( f 1 ( x ) , f 2 ( x ) , f 3 ( x ) )

Then g is X-measurable.

2. K. show directly (without using the preceding exercise) that if f is measurable

and A>0, then the truncation fA defined by

f A ( x )=f ( x ), if |f ( x )|≤ A

¿ A , if f ( x ) > A

¿−A , if f ( x ) ← A

Is measurable.

2. L. Let f be a nonnegative X-measurable function on X which is bounded (that is,

there exists a constant K such that 0 ≤ f ( x ) ≤ K for all x in X). Show that the
sequence ( φ n ) constructed in lemma 2.11 converges uniformly on X to f.

2. M. Let f be a function defined on a set X with values in a set Y. If E is any subset

of Y, let

f ( E )={ x ∈ X : f ( x ) ∈ E }
−1

Show that f −1 ( ∅ ) =∅ , f −1 ( Y )=X . If E and F are subsets of Y, then

f −1 ( E ∖ F )=f −1 ( E ) ∖ f −1 ( F )

If { E∝ } is any nonempty collection of subsets of Y, then

 −1 −1
f ( ¿∝ E∝ )=¿ ∝ f ( E∝ ) , f −1 ( ¿ ∝ E∝ )=¿∝ f −1 ( E ∝ )
In particular it follows that if Y is a σ - algebra of subsets of Y, then { f −1 ( E ) : E ∈ Y } is
a σ - algebra of subsets of X.

2. N. Let f be a function defined on a set X with values in a set Y. Let X be a σ -

algebra of subsets of X and let Y = { E ⊆ Y : f −1 ( E ) ∈ X } . Show that Y is a σ - algebra.

2. O. Let (X, X) be a measurable space and f be defined on X to Y. Let A be a

collection of subsets of Y such that f −1 ( E ) ∈ X for every E ∈ A . Show that f −1 ( F ) ∈ X
for any set F which belongs to the σ - algebra generated by A. (hint: Use the
preceding exercise.)

2. P. Let (X, X) be a measurable space and f be real-valued function defined on X.

Show that f is X-measurable if and only if f −1 ( E ) ∈ X for every Borel set E.

2. Q. Let (X, X) be a measurable space, f be an X-measurable function on X to R

and let φ be a continuous function on R to R. Show that the composition φ ∘ f ,
defined be ( φ ∘ f ) ( x )=φ [ f ( x ) ] , is X-measurable. (Hint: If φ−1 ( E ) ∈ B for each E ∈ B .)

Traducción
2. I. Dé un ejemplo de una función f en X a R que no sea medible en X, pero que
sea tal que las funciones |f| y f2 son medibles en X.

2. J Si a, b, c son números reales, mid (a, b, c) denota el "valor en el medio".

Muestra que
mid ( a , b , c )=inf {¿ { a ,b } , , }
{a ,c } {b ,c }

Si f1, f2, f3 son funciones medibles en X sobre X a R y si g está definida para x ∈

X por
g ( x )=mid ( f 1 ( x ) , f 2 ( x ) , f 3 ( x ) )

Entonces g es medible en X.
2. K. Demuestre directamente (sin usar el ejercicio anterior) que si f es medible y
A>0, entonces el truncamiento fA definido por
f A ( x )=f ( x ), if |f ( x )|≤ A

¿ A , if f ( x ) > A

¿−A , if f ( x ) ← A

Es medible.
2. L. Sea f una función X-medible no negativa en X que está acotada (es decir,
existe una constante K tal que 0 ≤ f(x) ≤ K para todo x en X). Muestre que la
sucesión (φn) construida en el lema 2.11 converge uniformemente en X en f.

2. M. Sea f una función definida sobre un conjunto X con valores en un conjunto Y.

Si E es cualquier subconjunto de Y, sea
f ( E )={ x ∈ X : f ( x ) ∈ E }
−1

Demuestra que f −1 ( ∅ ) =∅ , f −1 ( Y )=X . Si E y F son subconjuntos de Y, entonces

f −1 ( E ∖ F )=f −1 ( E ) ∖ f −1 ( F )

Si { E∝ } es 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 sigue que si Y es un σ - algebra de subconjuntos de Y, entonces

{ f −1 ( E ) : E ∈ Y } es un σ - algebra de subconjuntos de X.

2. N. Sea f una función definida en un conjunto X con valores en un conjunto Y.

Sea X un σ - algebra de subconjuntos de X y sea Y = { E ⊆ Y : f −1 ( E ) ∈ X } . Demuestre
que Y es un σ - algebra.

2. O. Sea (X, X) un espacio medible y f definida en X a Y. Sea A una colección de

subconjuntos de Y tal que f −1 ( E ) ∈ X Para todo E ∈ A . Muestre que f −1 ( F ) ∈ X fpara
cualquier conjunto F que pertenezca a la σ-álgebra generada por A. (sugerencia:
use el ejercicio anterior).
2. P. Sea (X, X) un espacio medible y f una función de valor real definida en X.
Demuestre que f es medible en X si y solo si f −1 ( E ) ∈ X f para cada conjunto de
Borel E.

2. Q. Sea (X, X) un espacio medible, f una función X-medible en X a R y sea φ una

función continua en R a R. Demuestre que la composición φ ∘ f , definida como
( φ ∘ f ) ( x )=φ [ f ( x ) ] , es medible en X. (Pista: Si φ−1 ( E ) ∈ B para cada E ∈ B .)