Teorı́a de integración - MAT 2535 y 235I

Guı́a N◦ 5: Integrando casi en todas partes

13 de noviembre de 2019

1. Decimos que fn converge a f µ-c.t.p. si existe un subconjunto medible N de X tal que

n→∞
µ(N ) = 0 y x ∈ X \ N ⇒ fn (x) −→ f (x).

2. Muestre que la conclusión del teorema de convergencia dominada se sigue cumpliendo aunque
las fn converjan a f solo µ-c.t.p. Muestre que el teorema también se puede generalizar al caso
en que las funciones fn no están definidas en todo X sino solo en casi todo X (i.e., el caso en
que el dominio de fn es un subconjunto Xn de X tal que Xn ∈ M y µ(X \ Xn ) = 0; los Xn
podrı́an ser distintos para distintos n.)

3. Muestre que el teorema de Egorov también se cumple en el caso en que fn converge a f solo
µ-c.t.p.

4. Sean B y B1 subconjuntos medibles de X tales que

B1 ⊂ B y µ(B \ B1 ) = 0.

Sea f una función de B a R. Muestre que f es µ-medible si y solo si f |B1 (la restricción de f a
B1 ) es µ-medible. Muestre que f es integrable con respecto a µ si y solo si f |B1 es integrable
con respecto a µ y que, en ese caso,
Z Z
f dµ = f dµ.
B B1

5. Diremos que dos funciones f y g son equivalentes, y lo denotaremos por f ∼ g, si

µ({x ∈ X : f (x) 6= g(x)}) = 0.

Esta definición de equivalencia tiene sentido aún si f y g, en vez de estar definidas en todo
X, están definidas solo en casi todo X. Esto es porque podemos suponer que la afirmación

f (x) 6= g(x)

es falsa cuando f ó g se indefine en x (si la expresión f (x) no está definida entonces no puede
ser igual a otra cosa). Más precisamente, si:

A y B son conjuntos medibles;

f es una función µ-medible de A a R;
g es una función µ-medible de B a R;
µ(X \ A) = µ(X \ B) = 0 y
µ({x ∈ A ∩ B : f (x) 6= g(x)}) = 0,
 diremos que f y g son equivalentes. Muestre que f ∼ g efectivamente define una relación
de equivalencia (que la relación es refleja, simétrica y transitiva). Muestre que si f y g son
equivalentes entonces Z Z
f dµ = g dµ.
A B
Muestre que, en general, para todo E ∈ M
Z Z
f dµ = g dµ.
A∩E B∩E

6. Si f es una función medible pero que está definida solo casi en todas partes (si el dominio de
f es un subconjunto A de X tal que A ∈ M y µ(X \ A) = 0), muestre que f puede verse como
una función medible definida en todo X, en el siguiente sentido: muestre que si f se extiende,
de cualquier manera, a una función F : X → R, entonces F es µ-medible, es equivalente a f
y Z Z
F dµ = f dµ
E E∩A
para cualquier conjunto
R medible E en R el queR alguna de las dos integrales esté bien definida
(en donde F + dµ − F − dµ, o bien f + − f − , no sea “infinito menos infinito”). Concluya
R

que es suficiente con que f esté definida casi en todas partes y sea µ-medible (en su respectivo
dominio) para que expresiones tales como
Z
f dµ,
E

o bien Z Z
f ∼g ⇒ f dµ = g dµ para todo E ∈ M,
E E
tengan sentido (aunque E contenga R puntos en donde f ó g no estén definidas). Muestre que
f y g son equivalentes si y solo si |f − g| dµ = 0.

7. Sean f1 , f2 , . . . funciones µ-medibles de X a R. Sea B el conjunto de los x en X para los

cuales el lı́mite
f (x) := lı́m fn (x)
n→∞
existe. Observe que las cantidades

g(x) := lı́m inf fn (x), h(x) := lı́m sup fn (x)

n→∞ n→∞

están bien definidas para todo x en X (aunque pueden valer −∞ ó +∞). Muestre que

B = {x ∈ X : g(x) − h(x) = 0}.

Concluya que f : B → R es µ-medible.

8. Sean f1 , f2 , . . . funciones µ-medibles de X a R. Muestre que si la sucesión {fn } converge

µ-c.t.p. entonces la función f : B → R,

f (x) := lı́m fn (x),

n→∞
 siendo B el conjunto de los x en donde el lı́mite existe, puede verse como una función µ-
medible de X a R (en el sentido de que es equivalente a una función µ-medible de X a
R).

9. Sean f1 , f2 , . . . funciones µ-medibles de X a R. Muestre que si

∞ Z
X
|fk | dµ < ∞
k=1 X

entonces la función
∞
X
f (x) := fk (x)
k=1

está bien definida µ-c.t.p. y es equivalente a una función µ-medible de X a R.

PN
(Considere usar el teorema de convergencia dominada para 1 |fk |; recuerde que si una serie de números
reales converge absolutamente entonces converge. Considere que podrı́a haber puntos en donde las fk valen
−∞ ó +∞.)

10. Muestre que si f es equivalente a una función integrable g : X → R entonces también es

equivalente a una función integrable h : X → R (i.e. a una función finita e integrable).

11. Muestre que si f es equivalente a una función integrable g : X → R y X puede escribirse

como la unión de una familia B1 , B2 , . . . de conjuntos medibles disjuntos, entonces
∞ Z
X Z
f dµ = f dµ.
k=1 Bk X

12. Sean {fn } y {gn } sucesiones de funciones definidas µ-c.t.p. Demuestre que si fn ∼ gn para
todo n natural y si {gn } converge µ-c.t.p. (a una función lı́mite g definida, potencialmente,
solo µ-c.t.p.), entonces
n→∞
fn −→ g µ-c.t.p.

Referencias
[Cohn80] D. L. Cohn: Measure Theory. Birkhäuser, 1980.

[CH07] A. Cofré, D. Henao: La Integral de Lebesgue en Rn . Ediciones UC, 2007.

[EG92] L. C. Evans, R. F. Gariepy: Measure theory and fine properties of functions. CRC Press,
1992.

[Rud70] W. Rudin: Real and Complex Analysis. McGraw-Hill, 1970.