0.1.

EJERCICIOS DE FUNCIONES MEDIBLES-FOLLAND 1

0.1. Ejercicios de Funciones Medibles-Folland

L+ = L+ (X, M) = {f : X → [0, ∞] : f es medible }

12. Si f ∈ L+ y f < ∞ entonces {x ∈ X : f (x) = ∞} es un conjunto nulo y {x ∈ X :
R

f (x) > 0} es un conjunto σ -nito

Solución

Sea E∞ = {x ∈ X : f (x) = ∞} = f −1 (∞) , ya que f es medible, entonces E∞ ∈ A.

Supongamos que µ (E∞ ) > 0, sabemos que X ⊃ E∞ entonces f > f χE∞ > nχE∞ para
todo n , ya que f en el conjunto E∞ es innito , integramos extremos, y tenemos:
Z Z
f> nχE∞ = nµ (E∞ ) 6= 0

aplicando limite n → ∞ entonces f = ∞ , lo cual es una contradiccion

R

∴ µ (E∞ ) = 0

Para la segunda parte es necesario saber que un conjunto es σ -nito si esta formado por
conjuntos de medida nita.

Sea En = {x ∈ X : f (x) > 1/n},S

∀n ∈ N, es claro que son conjuntos medibles y E = {x ∈
X : f (x) > 0} , entonces E = ∞ n=1 En , solo queda probar que µ (En ) < ∞, ∀n ∈ N .
Asumimos por el absurdo que µ (En ) = ∞, para algun n . entonces f > f χEn > (1/n)χEn ,
al integrar los extremos tenemos:
Z Z
f> (1/n)χEn = (1/n)µ (En ) = ∞

lo cual es una contradicción,

∴ µ (En ) < ∞

13. Suponga {fn } ⊂ L+ , fn → f puntualmente y f = lı́m fn < ∞ R , entonces

R R R
R Ef =
lı́m E fn ∀E ∈ M , sin embargo esto no e necesariamente verdad si f = lı́m fn = ∞
R

Solución

por el lema de Fatou , y como fn → f puntualmete entonces fn χE → f χE , por lo tanto

Z Z
f 6 lı́m inf fn
E E

si podemos probar que lı́m sup f , quedaría demostrado.

R R
E
fn 6 E

Como E ⊂ M tenemos que f χE 6 f , integramos.

Z Z Z
f= f χE 6 f <∞
E

por lo tanto E f < ∞, ∀E ∈ M. Ademas sabemos f = f χE + f χE c y fn = fn χE + fn χEc

R

. se tiene Z Z Z Z Z Z
f= f+ f y fn = fn + fn ∀n ∈ N
E Ec E Ec
2
Z Z Z Z Z Z
f− f= f y fn − fn = fn ∀n ∈ N
E Ec E Ec
Se sabe tambien que E c ∈ M entonces fn χE c → f χE c por el lema de Fatou
Z Z
f 6 lı́m Inf fn
Ec Ec
Z Z Z Z 
f− f 6 lı́m Inf fn − fn
E
Z Z Z Z
f− f 6 f − lı́m Sup fn
Z E Z E

lı́m Sup fn 6 f
E E
Z Z Z Z
∴ lı́m Sup fn 6 f y f 6 lı́m inf fn
E E E E
con lo cual ya queda demostrado(revisar el teorema 5.6 echo en clases)

Ahora probaremos que este resultado puede fallar si f = lı́mn→∞ fn = ∞. Supon-

R R

ga X = R y µ la medida de Lebesgue. Consideremos f = χ[2,∞)R y fn =

R χ[2,∞) + nχ(0,1/n]
,consideramos E = (0, 1], es claro que fn → f puntualmente, y f = fn = ∞ ∀n ∈ N
Z Z
fn = nχ(0,1/n] = nµ((0, 1/n]) = 1 ∀n ∈ N
E

pero
R
E
f =0
Z
14. si f ∈ L , λ(E) =
+
f dµ para E ∈ M . Entonces λ es una medida en M y para cualquier
Z Z E

g ∈ L+ , gdλ = gf dµ (Supongamos primero que g es simple)

Demostración

Como χ∅ (x) = 0 ∀x ∈ X entonces λ(∅) =

R R
∅
f dµ = f χ∅ dµ = 0
Z Z
Si E ∈ M ⇒ λ(E) = f dµ = f χE dµ ≥ 0
E
∞
Sea {Aj } una secuencia disjunta por partes en M y A = . Entonces como
[

j=1
∞
χAn tenemos
X
χA =
n=1
Z Z ∞ Z
X ∞ Z
X ∞
X
λ(A) = f dµ = f χA dµ = f χAj dµ = f dµ = λ(Aj )
A j=1 j=1 Aj j=1

Por lo que λ es una medida sobre M .

n n
Ahora supongamos que g ∈ L una función simples con g = aj χEj y sea X =
X [
+
Ej
j=1 j=1
y {Ej }nj una secuencia nita disjunta por pares.Entonces
Z n
X n
X Z n
Z X Z n
X Z
gdλ = aj λ(Ej ) = aj f dµ = aj χEj f dµ = f aj χEj dµ = f gdµ
j=1 j=1 Ej j=1 j=1
0.1. EJERCICIOS DE FUNCIONES MEDIBLES-FOLLAND 3

Ahora si g ∈ L+ y dejamos que {∅j } sea una secuencia en L+ de funciones simples que
converge a g .Entonces,usando el lema1 y el T.C.M tenemos
Z Z Z Z
gdλ = lı́m ∅j dλ = lı́m ∅j f dµ = gf dµ
j→∞ j→∞

Y la ultima igualdad se desprende también del T.C.M , ya que ∅j f aumenta a f g

Z Z Z
15. Si{fn } ⊂ L fn disminuye puntualmente a f , y
+
f1 < ∞, entonces f = lı́m fn

Demostración

Observamos primero que f ≤ fn ≤ f1 ∀n tenemos :

Z Z Z
f≤ fn ≤ f1 < ∞

por lo cual todos los integrales son

Z nitas. Z
Por el lema de Fatou, tenemos f ≤ lı́mı́nf fn . La prueba esta completa si podemos
Z Z
demostrar que lı́m sup fn ≤ f.

Con este n denimos gn = f1 − fn . Entonces {gn } ⊂ L+ y gn aumenta puntualmente

hasta f1 − f Por el T.C.M tenemos
Z Z  Z  Z Z
(f1 − f ) = lı́m (f1 − fn ) = lı́mı́nf f 1 − fn = f1 − lı́m sup fn

Ahora bien, teniendo en cuenta que g = f1 − f y que f1 = g + f y

R R R
f1 = g+ f
tenemos que todos los integrales son nitas:
Z Z Z
f , es decir (f1 − f ) = f1 − f así tenemos
R R R
g= f1 −
Z Z Z Z Z
f1 − f= (f1 − f ) =
f1 − lı́m sup fn
Z Z
∴ f = lı́m sup fn

16. Si f ∈ M+ y f < ∞ para cada  > 0 existe E ∈ A tal que µ(E) < ∞ y
R R R
E
f > ( f)−

Resolución

Como f ∈ M+ y f < ∞ entonces el conjunto denotado por A = {x ∈ X : f (x) > 0} es

R

σ -nito, por lo que podemos escribir:

∞
Aj con, µ(Aj ) < ∞ ∀j
[
A=
j=1
.
Sin perdida de generalidad podemos suponer que : Aj ⊂ Aj+1 ∀j ,
4

j
Tomando Bj = Ak si es necesario, para así tener que B ∈ A ⇒ λ(B) = f dµ es una
[ R
B
k=1
media (por corolario 4.9) .
y como f = fXA , luego de la continuidad desde abajo de la medida λ , tenemos :
Z Z Z
f= f = λ(A) = lı́m λ(Aj ) = lı́m f
A j→∞ j→∞ A

Ademas fXAj ≤ f y Aj f ≤ f . Ya que f < ∞, dado  > 0 podemos elegir un j

R R R

sucientemente grande para que:

Z Z
0≤ f− f <
Aj

Por lo tanto, tomando E = Aj tenemos

Z Z
f −< f
E

17. Asumir el lema de Fatou y deducir el TCM de él.

Resolución

Sea {fn } ⊂ M+ una sucesison de funciones que tiende a f .

Ya que fn ≤ f ∀n y aplicando la integral a la desigualdad nos queda: f ∀n y
R R
fn ≤
aplicando limite del supremo a esta tenemos :
Z Z
lı́m sup fn ≤ f.........(1)
n→∞

Por otro lado, del lema de Fatou tenemos:

Z Z
lı́m ı́nf fn dµ ≤ lı́m ı́nf fn dµ...........(2)
n→∞ n→∞

como fn tiene a f quiere decir que

lı́m sup fn = lı́m ı́nf fn = lı́m fn = f

n→∞ n→∞ n→∞

Por lo que Z Z
lı́m ı́nf fn dµ = f
n→∞

Aplicando en (2) tenemos:

Z Z
f ≤ lı́m ı́nf fn dµ.........(3)
n→∞

de (1) y (3) tenemos :

Z Z
lı́m sup fn ≤ lı́m ı́nf fn dµ...........(4)
n→∞ n→∞
0.2. EJERCICIOS DE FUNCIONES MEDIBLES-BARTLE 5

pero por denicion sabemos que

Z Z
lı́m ı́nf fn dµ ≤ lı́m sup fn dµ...........(5)
n→∞ n→∞

De (4) y (5) Z Z
lı́m ı́nf fn dµ = lı́m sup fn dµ...........(6)
n→∞ n→∞

Por lo que Z Z
lı́m fn = f
n→∞

lo que viene a ser el resultado del teorema de convergencia monótona.

0.2. Ejercicios de Funciones Medibles-Bartle

5A Si f ∈ L(X, F, µ) y a > 0, mostrar que el conjunto {x ∈ X : |f (x)| ≥ a} tiene medida

nita. Además, el conjunto {x ∈ X : f (x) 6= 0} tiene medida σ -nita.

Demostración
Sabemos que si f ∈ L, entonces |f | ∈ L. Es decir
R
|f |dµ = A < +∞

Ahora, dado a > 0, llamemos E = {x ∈ X : |f (x)| ≥ a}

Si a = +∞, entonces E = {x ∈ X : |f (x)| = +∞}. Luego, como |f (x)| ≥ 0 ∀x ∈

X , entonces µ(E) = 0. (Por el ejercicio 4.Q)

Si 0 < a < +∞, entonces Ea = {x ∈ X : |f (x)| ≥ a}

Luego, como: |f | = |f |χEa + |f |χEac ≥ aχEa + |f |χEac
Emtonces: Z Z
A= |f |dµ ≥ aµ (Ea ) + |f |dµ ≥ aµ (Ea ) .
Eac

∴ µ (Ea ) ≤ A/a

Ahora, como f (x) = 0 ⇔ |f (x)| = 0, entonces:

{x ∈ X : f (x) 6= 0} = {x ∈ X : |f (x)| =
6 0}
= {x ∈ X : |f (x)| > 0}
+∞
[
= En
η=1

Donde En = {x ∈ X : |f (x)| ≥ n1 }

Luego, como µ(En ) < +∞ para cada n ∈ N, entonces {x ∈ x; f (x) 6= 0} tiene medida
σ− nita.
6

5B Si f es una función
R de valor real F -medible, y si f (x) = 0 µ-c.t.p en X , entonces
f ∈ L(X, F, µ) y f dµ = 0.

Demostración
Notemos que |f | ∈ M+ es µ-c.t.p a 0, por tanto |f |dµ = 0.
R

Lo que implica que |f | ∈ L, y de esto se sigue que f ∈ L.

Luego, como: Z Z
0≤| f dµ| ≤ |f |dµ = 0

Entonces: Z
| f dµ| = 0

Y por lo tanto: Z
f dµ = 0

5C Si f ∈ L(X, X, µ) y g es una función X -medible tal que f (x) = g(x) c.t.p en X , entonces
g ∈ L(X, X, µ) y Z Z
f dµ = gdµ

Solución:

Sabemos que f ∈ L, g ∈ M y f (x) = g(x) c.t.p

Sea
h(x) = g(x) − f (x)
Entonces por hipótesis
h(x) = 0 c.t.p
y como f ∈ M, g ∈ M entonces h = g − f es medible
Ejercicio (5.B)
Si f es una función X -medible de valor real y si f (x) = 0 µ c.t.p en X , entonces f ∈
L(X, X, µ) y Z
f dµ = 0

Ahora aplicando el resultado del ejercicio anterior (5.B)

como h es medible y h(x) = 0 c.t.p es fácil ver que h ∈ L
entonces g = h + f ∈ L ya que f ∈ L
También tenemos que
Z Z Z Z
0= hdµ = (g − f )dµ = gdµ − tdµ

concluyendo Z Z
f dµ = gdµ
0.2. EJERCICIOS DE FUNCIONES MEDIBLES-BARTLE 7

5D Si f ∈ L(X, X, µ) y ε > 0, entonces existe una función simple medible ϕ tal que
Z
|f − ϕ|dµ < ε

Solución:

Como
f + , f − ∈ M + (x, x) = M +
así mismo Z Z Z Z
+
f dµ = sup ϕ̄dµ y −
f dµ = sup ψ̄dµ

donde
0 ≤ ϕ̄(x) ≤ f + (x) y 0 ≤ ψ̄ ≤ f − (x) ∀x ∈ X
Ya que ambas integrales son supremos de las integrales variando en funciones simples:
ε
R + R
f
R − dµ − R ϕdµ < 2
ε
f dµ − ψdµ < 2
ya que
0 ≤ ϕ(x) ≤ f + (x) ≤ |f (x)| y 0 ≤ ψ(x) ≤ f − (x) ≤ |f (x)|
como f es integrable y además f + , f − , ϕ, ψ son medibles entonces f + , f − , ϕ, ψ ∈ L.
Por eso tenemos que
Z Z
ε ε
+
(f − ϕ)dµ < y (f − − ψ)dµ <
2 2
Sea λ = ϕ − ψ , entonces λ ∈ L y λ es una funcion simple
Así f − λ ∈ L =⇒ |f − λ| ∈ L y
Z Z
f − f − − ϕ + ψ  dµ
 + 
|f − λ|dµ =
Z Z
≤ f − ϕ dµ + |f − − ψ|dµ
 + 

Z Z
= f − ϕdµ + f − − ψdµ
+

ε ε
< + =ε
2 2
5E Si f ∈ L y g es una función medible acotada, entonces el producto f g también pertenece
a L.

Solución:

Usaremos el siguiente resultado:

corolario 5,4 Si f es medible, g es integrable, y |f | ≤ |g|, entonces f es integrable y
Z Z
|f |dµ 6 |g|dµ.

ya que g es acotada entonces ∃ m /|g| ≤ m de donde se obtiene la siguiente desigualdad

multiplicando por |f |
|f g| ≤ |mf |
Sabiendo que mf es integrable y f g es medible por el corolario 5.4 se concluye que f g es
integrable
8

5F Si f pertenece a L no podemos concluir que f 2 pertenezca a L.

Solución:

Particularizando la noción de integral con la integral de Riemman.

Sea
1
f = √ en [0, 1]
x
Entonces tenemos que
Z Z 1 √ 1
1
f dλ = √ dx = 2 x0 = 2
[0,1] 0 x

Sin embargo, f 2 = 1
x
no tiene integral nita en [0, 1], entonces f 2 ∈
/L

5G Suponga que f está en L(X, A, µ) y que su integral indenida es:

Z
λ(E) = f dµ, E∈A
E

Demuestre que λ(E) ≥ 0, para todo E ∈ A si y solo si f (x) ≥ 0 para casi todo x ∈ X
además λ(E) = 0 para todo E si y solo si f (x) = 0 para casi todo x ∈ X

Solución:

⇒ Dado que f ∈ L entonces f es medible y f + dµ, f − dµ < ∞

R R

Sea E ∈ A tenemos:
Z Z Z
λ(E) = f dµ = +
f µ+ f − dµ ≥ 0
E E E
Z Z
f +µ ≥ f − dµ
E E
Z Z
f + XE dµ ≥ f − XE dµ

f + µ(E) ≥ f − µ(E)
f+ ≥ f− → f+ − f− ≥ 0
f+ − f− = f ≥ 0
para casi todo x ∈ X
⇐ Como f (x) ≥ 0 entonces f (x) = f + − f − ≥ 0 y como f + , f − ≥ 0 y dado que f es
medible, f ∈ L, entonces:
Z Z
0≤ +
f dµ − f − dµ < ∞

y sea E ∈ A tenemos: Z Z
0≤ +
f dµ − f − dµ < ∞
E E
Z
0≤ f dµ = λ(E)
E
0.2. EJERCICIOS DE FUNCIONES MEDIBLES-BARTLE 9

⇒ Si λ(E) = 0
Z Z Z Z Z
−
0 = λ(E) = f dµ = +
f dµ − f dµ → +
f dµ = f − dµ → f + = f −
E E E E E

Sabemos que: f = f + − f − → f = 0
⇐ Z Z Z
0 = f =→ f dµ = 0 dµ = 0 f dµ = 0, f ∈L
E E E

5H Suponga que f1 y f2 están en L(X, A, µ) y deja que λ1 y λ2 sean sus integrales indenidas.
Muestre que: λ1 (E) = λ2 (E) para todo E ∈ A si y solo si f1 (x) = f2 (x) para casi todo
x∈X Solución

⇒ Tenemos que f1 y f2 están en L(X, A, µ) entonces f1 y f2 son medibles, además: f1+ ,

f1− , f2+ y f2− son funciones positivas y E ∈ A:
Z Z
λ1 (E) = f1 dµ λ2 (E) = f2 dµ
E E
Z Z
λ1 (E) = λ2 (E) → f1 dµ = f2 dµ
E E

Z Z
f1 dµ = f2 dµ
E E
Z Z
f1 dµ − f2 dµ = 0
E E
Z
(f1 − f2 ) dµ = 0
E
Z
(f1 − f2 ) XE dµ = 0, → f1 − f2 = 0 → f1 = f2

⇐ si f1 (x) = f2 (x) para casi todo x ∈ X entonces f1+ −f1− = f2+ −f2− → f1+ −f2+ = f1− −f2− .
y sea E ∈ A Z Z
+ +
f1− − f2− dµ



f1 − f2 dµ =
E E
Z Z Z Z
f1+ dµ − f2+ dµ = f1− dµ − f2− dµ
E E E E

Además como f + dµ, E f2+ dµ, E f1− dµ, E f2− dµ < ∞ tenemos:
R R R R
E 1

Z Z Z Z
f1+ dµ − f1− dµ = f2+ dµ − f2− dµ
E E E E

λ+
1 (E) − λ−
1 (E) = λ+
2 (E) − λ−
2 (E)

λ1 (E) = λ2 (E)
10

0.3. Corolarios

Corolario
Z 0.1 Supongamos que f pertenece a M+ y denimos λ en A por la ecuación λ(E) =
f dµ .Entonces la medida λ es absolutamente continua con respecto a µ en el sentido de que
E
si E ∈ A y µ(E) = 0 entonces λ(E) = 0

Demostración

Si µ(E) = 0 para algunos E ∈ A entonces f χE ∈ A (f χE ∈ M+ ) desaparece µC .T.P por

el corolario 4.10 se tiene: Z
λ(E) = f χE dµ = 0

Corolario 0.2 Si (fn ) es una secuencia monótona creciente de funciones en M+ (X, A) que
converge µ − C.T.P en X a una funcion f en M+ , entonces:
Z Z
f dµ = lim fn dµ

Demostración

Sea N ∈ A tal que µ(N ) = 0 y (fn ) converge a f en cada punto de M = X \ N

⇒ (fn χM ) converge a f χM en X y como es una secuencia monotona creciendo aplicamos el

Teorema de la Convergencia Monotona:
Z Z
f χM dµ = lim fn χM dµ

Como µ(N ) = 0 las funciones f χN y fn χN desaparece µ − C.T.P por el corolario 4.10

tenemos
R
f χN dµ = 0
R
fn χN dµ = 0
Luego , f = f χM + f χN y fn = fn χM + fn χN se tiene que :
Z Z Z Z
f dµ = f χM dµ = lim fn χM dµ = lim fn dµ

Corolario 0.3 Sea (gn ) una secuencia en M + entonces

∞
Z ! ∞ Z 
X X
gn dµ = gn dµ
n=1 n=1

Demostración

Sea fn = g1 +g2 +.....+gn convergente y claramente es una secuencia monótona creciente ya que

fm+1 = fm + gm+1 ⇒ fm+1 − fm = gm+1 ⇒ fm+1 − fm ≥ 0 ⇒ fm+1 ≥ fm aplicando el T.C.M

Z n
Z X ∞
Z X ∞ Z
X
lı́m fn dµ = lı́m gn dµ = gn dµ = gn dµ
n→∞ n→∞
n=1 n=1 n=1