Medida, Soluciones Tarea 6

Fecha de Entrega: Jueves 10 de Noviembre

Iván C Montes - 201518640

Punto 2:
a. Sea A ∈ A tal que µ(A) = 0, entonces |A| = 0 y por lo tanto A = ∅. Luego A es finito y ası́
ν(A) = 0. Concluimos que ν ≪ µ.

b. No existe f ∈ L1 (X, A, µ) tal que

Z
ν(E) = f dµ, ∀E ∈ A.
E

Pues si sı́ existiera, tendrı́amos que

Z
ν(X) = f dµ,
X

pero esto no puede ocurrir porque ν(X) = ∞ (ya que X C = ∅ es finito) y

Z
f dµ < ∞,
X

pues f ∈ L1 .

Punto 3:
Lemma: Si A ∈ A es enumerable, entonces
Z X
f dµ = f (x)µ({x}).
A x∈A

Prueba: Comience notando que

!
[ X
µ(A) = µ {x} = µ({x}). (∗)
x∈A x∈A

Sabiendo esto, calcule Sea A = {ai }i∈I y considere todas las disecciones medibles de A de la
forma
{ai1 , ..., ain , B},
donde B = {ai1 , ..., ain }C , para ver que
( n )
X X
sup f (aik )µ({a( ik )}) + inf f (x)µ(B) = f (x)µ({x}).
x∈B
k=1 x∈A

Ahora, tome A1 , ..., An una disección medible cualquiera de A, y defina

• xk ∈ Ak tal que f (xk ) = inf x∈Ak f (x),

• Bk = Ak \ {xk }, B = nk=1 Bk ,
S
 • yk ∈ Bk tal quef (yk ) = inf y∈Bk f (y), y ∈ {y1 , .., yn } tal que f (y) ≤ f (yk ),

– note que ∀ k f (xk ) ≤ f (y).

Luego, {x1 }, ..., {xk }, B es una partición como la que queremos, tal que
n
X n
X
inf f (x)µ(Ak ) = f (xk )µ(Ak )
x∈Ak
k=1 k=1
n
X X
= f (xk ) µ({x}) por (∗)
k=1 x∈A
Xn X
= f (xk )µ({x})
k=1 x∈Ak
n
X X
= f (x1 )µ({x1 }) + · · · + f (xn )µ({xn }) + f (xk )µ({x})
k=1 x∈Ak \{xk }
Xn X
≤ f (x1 )µ({x1 }) + · · · + f (xn )µ({xn }) + f (y)µ({x})
k=1 x∈B
Xn X
= f (x1 )µ({x1 }) + · · · + f (xn )µ({xn }) + f (y) µ({x})
k=1 x∈B
= f (x1 )µ({x1 }) + · · · + f (xn )µ({xn }) + f (y)µ(B)
= f (x1 )µ({x1 }) + · · · + f (xn )µ({xn }) + f (y)µ(B)
Xn
= inf f (x)µ({xk }) + inf f (x)µ(B)
x∈{xk } x∈B
k=1

Y asi podemos concluir que

Z ( n
)
X X
f dµ = sup inf f (x)µ(Ak )|A1 , ..., An es una disección medible = f (x)µ({x}).
A x∈Ak
k=1 x∈A

a. Tenemos que fn → f débilmente en L1 , luego

Z Z
lim fn gdµ = f gdµ
n→∞ X X

para toda g A-medible acotada, en particular para g = ξ{x} con x ∈ X, luego

Z Z Z Z
lim fn (x)µ({x}) = lim fn dµ = lim fn ξ{x} dµ = f ξ{x} dµ = f dµ = f (x)µ({x}).
n→∞ n→∞ {x} n→∞ X X {x}

Note que si, para algún x ∈ X, µ({x}) = ∞ entonces para f ̸= 0

Z Z
∞ = f dµ ≤ f dµ
x X

y entonces no habrı́a nada que probar pues f ∈ L1 ⇒ f = 0.

Asumamos entonces que para todo x ∈ X, µ({x}) < ∞ para concluir que

∀x∈X lim fn (x) = f (x).

n→∞
 □
b. Suponga que X = {x1 , ..., xn } y que fn → f puntualmente. Sea g A-medible acotada,
entonces
Z Xn
lim fn gdµ = lim fn (xk )g(xk )µ({xk })
n→∞ X n→∞
k=1
n
X
= lim fn (xk )g(xk )µ({xk })
n→∞
k=1
Xn
= f (xk )g(xk )µ({xk })
Zk=1
= f gdµ
X
i.e. fn → f débilmente en L1 .
Ahora vea que esto no es necesariamente cierto cuando X es infinito.
Sea X = N y µ la medida que cuenta i.e. µ({x}) = 1 para todo x ∈ N.
Considere las funciones
1
fn = ξ{1,...,n} ,
n
luego fn → 0 puntualmente (pues 1/n → 0 ) pero no débilmente. Para ver esto tome g = ξX ,
que es A-medible y acotada, y note que
Z
lim fn gdµ ̸= 0,
n→∞ X
porque
Z Z Z
1 1 1
lim fn gdµ = lim fn dµ = lim ξ{1,...,n} µ = lim µ({1, ..., n}) = lim n = 1.
n→∞ X n→∞ X n→∞ X n n→∞ n n→∞ n

c. No logre sacar el punto pero esto es lo que se me ocurrio.

El conjunto
[∞
A= {x ∈ X|fn (x) ̸= 0}
n=0
es enumerable, pues si no lo fuera, habrı́a un n para el que
{x ∈ X|fn (x) ̸= 0} > ω
pero si esto pasara entonces Z
fn dµ = ∞.
X
Entonces,
Z
lim ||fn ||1 = lim |fn |dµ
n→∞ n→∞
ZX
= lim |fn |dµ
n→∞ A
X
= lim |fn (x)|µ({x})
n→∞
x∈A
X
= lim |fn (x)|µ({x})
n→∞
x∈A
X
= |f (x)|µ({x})
x∈A
Z
= |f |dµ = ||f ||1
X
 P
No supe como justificar ese intercambio de lim y .

d. Como vimos en el numeral anterior, f ∈ ℓp deben tener un soporte enumerable. Sea

D ⊆ X un conjunto enumerable D = {x1 , ..., xn , ...} y defina

fn = ξ{xn } .

Primero vea que

!1/p
X
||fn ||p = |fn (x)|p = |fn (xn )|p/p = 1.
x∈X

Ahora tome g ∈ ℓp′ con soporte D′ = {y1 , y2 , ...} luego,

!1/p′
p′
X
||g(x)| < ∞,
x∈D′

por lo tanto
′
lim |g(yn )|p = 0 =⇒ lim g(yn ) = 0.
n→∞ n→∞

Suponga que D ∩ D′ = {z1 , z2 , ...}, para notar que

Z X
fn gdµ = fn (x)g(x) = g(zn ) −→ 0
X x∈D∩D′

ası́, fn → 0 débilmente pero ||fn ||p ̸→ 0.

Punto 4:
Note que Z x
dµ
µ([0, x]) = dλ,
0 dλ
dµ
pero como dλ
es continua, es Riemann integrable y entonces
Z x
dµ
µ([0, x]) = (t)dt.
0 dλ

Invocando el teorema fundamental del calculo, concluimos que

Z x !′
d dµ dµ
µ([0, x]) = (t)dt = (x).
dx 0 dλ dλ