Funciones Reales

Práctico 8 2018, FaMAF - UNC

1. Sea (X, M, µ) un espacio de medida tal que µ(X) < ∞. Mostrar los siguientes incisos.
a) Si ν es una medida definida sobre M, entonces la función conjunto λ definida sobre
M por λ(E) = µ(E) + ν(E), es también una medida y denotamos λ = µ + ν.
b) Si ν satisface que ν ≤ µ, entonces existe una medida λ sobre M tal que µ = ν + λ.
c) Si ν es σ-finita, la medida λ en b) es única.
2. Sea (X, M, µ) un espacio de medida, e Y ∈ M. Sea MY = {B ∈ M : B ⊂ Y } y
µY (E) = µ(E) si E ∈ MY . Entonces (Y, MY , µY ) es un espacio de medida. La medida µY
se llama la restricción de µ a Y .
3. Sea (X, M, µ) un espacio de medida. Sea
M0 := {A ∪ B : A ∈ M, B ⊆ C para algún C ∈ M con µ(C) = 0}
y sea µ0 (A ∪ B) := µ(A) para A y B como arriba.
Probar que µ0 está bien definida en M0 y (X, M0 , µ0 ) es un espacio de medida completo.
4. Sea ν una medida signada sobre un espacio medible. Probar que todo subconjunto
medible de un conjunto positivo es positivo, y que la unión contable de conjuntos positivos
también lo es.
5. Sea ν una medida signada sobre el espacio de medida (X, M). Mostrar que si E es un
conjunto medible entonces
−ν − (E) ≤ ν(E) ≤ ν + (E), y |ν(E)| ≤ |ν|(E).
6. Mostrar que si ν, ν1 y ν2 son medidas signadas finitas sobre el espacio de medida
(X, M), entonces también lo es αν1 + βν2 donde α, β ∈ R. Mostrar que
|αν| ≤ |α||ν|, y |ν1 + ν2 | ≤ |ν1 | + |ν2 |.
7. Sea (X, M, µ) un espacio de medida completo y f una función medible. Mostar que si
f = g en casi todo punto, entonces g es medible. Mostrar que la afirmación anterior no
es cierto si la condición de completitud es omitida.
8. Sea (X, M, µ) un espacio de medida que no es completo. Mostar que hay una sucesión
{fn }n∈N de funciones medibles sobre X que converge en casi todo punto sobre X a una
función f que no es medible.
9. Sea (X, M, µ) un espacio de medida completo y g una función medible y no negativa
sobre X.
R
a) Considerar ν(E) = E gdµ para cada E ∈ M. Mostrar que ν es una medida sobre
M.
b) Sea f medible y no negativa sobre X. Entonces
Z Z
f dν = f g dµ.
X X
10. a) Sea (X, M, µ) un espacio de medida y f : X → R una función medible. Para
cada conjunto de Borel A ⊂ R, sea
νf (A) = µ(f −1 (A)).
Mostrar que esta fórmula da una medida νf sobre la σ-álgebra de Borel en R.
b) Sea f : R → R es una función continua, con derivada f 0 continua y positiva sobre
R. Si µ es la medida de Lebesgue sobre R, mostrar que la medida definida en el
inciso a), es de la forma
Z
1
νf (A) = 0 −1
dµ.
A f ◦f

1
 Funciones Reales
Práctico 8 2018, FaMAF - UNC

11. Sea f ∈ L1 (µ). Mostrar que dado  > 0, existe δ > 0 tal que para cada conjunto
medible E con µ(E) < δ se tiene que
Z 
 
 f dµ < .
 
E

12. Sea (X, M) un espacio medible. Si µ y ν son medidas definidas sobre M y f es una
función medible sobre los espacios (X, M, µ) y (X, M, ν), mostrar que
Z Z Z
f d(µ + ν) = f dµ + f dν,
X X X
mientras que el lado derecho de la igualdad tenga sentido.
13. Sea (X, M, µ) un espacio de medida, e Y ∈ M. Sea (Y, MY , µY ) el un espacio de
medida donde µY es la medida de la restricción de µ a Y . Mostrar que
Z Z
f dµY ≤ f dµ,
Y Y
para toda función f no negativa y medible definida en X. ¿Puede darse la desigualdad
estricta?