Documentos de Académico
Documentos de Profesional
Documentos de Cultura
f =g+h
donde g es absolutamente continua y h es singular (es decir h0 = 0 c.s.).
Solución: Parte (a). Demostrado en clases.
Parte (b). Sabemos que f 0 existe c.s. y que
Z b
|f 0 |dm ≤ f (b) − f (a).
a
1
2
h := f − g.
Luego claramente h es singular y f = g + h.
(3) (1.5pt) Demuestre que el producto de dos funciones absolutamente continuas definidas en
un intervalo [a, b] es absolutamente continua.
Solución: Sean f y g las dos funciones a.c. definidas en un intervalo [a, b]. Tenemos que
probar que para todo > 0 existe un δ > 0 tal que
N
X
|f (yn )g(yn ) − f (xn )g(xn )| ≤ , (1)
n=1
cuando
N
X
(yn − xn ) ≤ δ,
n=1
donde (xn , yn ) es una colección disjunta de intervalos en [a, b]. Ahora, notemos que
|f (yn )g(yn ) − f (xn )g(xn )| ≤ |f (yn )g(yn ) − f (yn )g(xn )| + |f (yn )g(xn ) − f (xn )g(xn )|.
Además, como f y g son a.c., son continuas, y por lo tanto acotadas. Sea M una cota común.
Luego,
N
X N
X N
X
|f (yn )g(yn ) − f (xn )g(xn )| ≤ M |g(yn ) − g(xn )| + M |f (yn ) − f (xn )|.
n=1 n=1 n=1
De aquı́ vemos que (1) se satisface con una elección adecuada de δ ocupando la continuidad
absoluta de f y de g.
(4) (1.5pt) Considere una función de absolutamente continua f : [a, b] → R. Sea E ⊂ [a, b] con
m(E) = 0. Calcule m(f (E)).
Solución: Notemos que como f es absolutamente continua, es c.s. diferenciable, su derivada
es integrable y para todo x ∈ [a, b],
Z x
f (x) = f (a) + f 0 (y)dm.
a
Luego, si efectuamos la descomposición
3
f 0 = f+0 − f−0 ,
donde f+0 es la parte positiva de f 0 y f−0 su parte negativa, vemos que
Z x Z x
0
f (x) = f (a) + f+ (y)dm − f−0 (y)dm.
a a
Como f+ y f− son integrables, de aquı́ concluı́mos que f se puede descomponer como la resta
entre dos funciones absolutamente continuas no-decrecientes.
Luego, sin pérdida de generalidad podemos suponer que f es absolutamente continua y
no-decreciente. Sea > 0. Probaremos que
Finalmente, eligiendo δ de modo que la integral de la derecha sea menor que (lo que se puede
hacer por el hecho de que toda función integrable es uniformemente integrable), concluı́mos
que (2) se satisface.