Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tarea Teoriadela Medida
Tarea Teoriadela Medida
Avilés Garduño
1 Lista 5
Ejercicio 1 (7) a)Sea α > 0.Pruebe que
Z ∞
Γ(α) : = e−x xα−1 dx
0
b) Z n x n α−1
lim 1− x dx = Γ(α)
n→∞ 0 n
c)α > 1 Pruebe que
∞ ∞
e−x
Z
α−1
X 1
x dx = Γ(α)
0 1 − e−x n=1
nα
existe pues
e−x xα−1 ≤ 1
Entonces
Z 1
e−x xα−1 ≤ 1
0
f 0 (n) = ln 1 − x n
n
+ x
1− n
1 n
= −ln x
1− n
+ x
1− n
1 1 n−1
= x
1− n
− ln x
1− n
+ x
1− n
x n
Notando que x ≥ ln(x) vemos que f 0 (n) > 0, con lo cual f es creciente y entonces 1 −
n
tambien es
creciente en n, con lo cual n+1
x n x
1− ≤ 1−
n n+1
De esta manera n+1
x n x
1− I[0,n) ≤ 1 − I[0,n+1)
n n+1
Usando el teorema de convergencia monotona
Z n
x n α−1 n
1 − nx I[0,n) xα−1 dx
R
limn→∞ 1− x dx = limn→∞
0 n
n
limn→∞ 1 − nx I[0,n) xα−1 dx
R
=
Inciso c)
Recordando que si 0 < r < 1 ∞ n r
considerando 0 < r = e−x < 1
P
n=1 r = 1−r
,
∞ ∞
X
−nx
X e−x
e = (e−x )n =
n=1 n=1
1 − e−x
Entonces ∞
∞ ∞X
e−x
Z Z
−x
xα−1 dx = e−nx xα−1 dx
0 1−e 0 n=1
Z ∞ m
X
= lim e−nx xα−1 dx
0 m→∞
n=1
Usando
Pm −nx el teorema de convergencia monotona para
n=1 e xα−1 que es creciente
Z ∞X m
= lim e−nx xα−1 dx
m→∞ 0 n=1
m Z
X ∞
= lim e−nx xα−1 dx
m→∞ 0
n=1
∞ Z
X ∞
= e−nx xα−1 dx
n=1 0
∞ Z ∞
X 1
= e−u uα−1 du
n=1 0 nα
∞ Z ∞
X 1
= α
e−u uα−1 du
n=1
n 0
∞
X 1
= Γ(α)
n=1
nα
∞
X 1
= Γ(α)
n=1
nα
2 Lista 6
Ejercicio 2 (Ejercicio 3) Sea p ∈ [1, ∞).Si (fn )n∈N ⊆ Lp (X, Σ, µ) tal que fn → f c.d.-µcon f ∈ M (X, Σ) y
ademas Z Z
|fn | dµ → |f |p dµ
p
R R
La convergencia dominada se puede usar pues |f |p dµ, |f |p dµ < ∞∗
Observamos que
|fn − f |p ≤ (|fn | + |f |)p
≤ (2max(|fn |, |f |))p
≤ 2p (max(|fn |, |f |))p
Observamos que
lim inf gn = 2p ((lim inf |fn |)p + (|f |)p ) − lim inf |fn − f |p
R
≤ lim inf gn dµ
R
= lim inf 2p ((|fn |)p + (|f |)p ) − |fn − f |p dµ
R R R
= lim inf 2p (|fn |)p dµ + 2p (|f |)p dµ − |fn − f |p dµ
R R R
= lim inf 2p (|fn |)p dµ + 2p (|f |)p dµ − lim inf |fn − f |p dµ
R R R
= 2p (|f |)p dµ + 2p (|f |)p dµ − lim inf |fn − f |p dµ
R R
= 2p+1 (|f |)p dµ − lim inf |fn − f |p dµ
R R R
Cancelando 2p+1 (|f |)p dµ obtenemos 0 ≤ − lim inf |fn − f |p dµ, con lo cual 0 ≥ lim inf |fn − f |p dµ y por lo
R R k→∞ R
tanto 0 = lim inf |fn − f |p dµ, luego existe una subsucesion |fnk − f |p dµ −−−→ 0, por lo que |f |p dµ < ∞
lo cual termina de probar
R *.
Por lo que limn→∞ |fn − f |p dµ = 0
Proof. Supongamos f ∼ g, f 0 ∼ g 0 entonces existen A, B de medida cero tal que f (x) = f 0 (x)∀x ∈ /
0 0 0
A, g(x) = g (x)∀x ∈
/ B, con lo cual f (x) = f (x), g(x) = g (x)∀x ∈
/ A ∪ B que por subaditividad µ(A ∪ B) ≤
µ(A) + µ(B) = 0 + 0 = 0 Z
d(f, g) = max(1, |f − g|)dµ
Z
= max(1, |f − g|)dµ
X\(A∪B)
Z
= max(1, |f 0 − g 0 |)dµ
X\(A∪B)
Z
= max(1, |f 0 − g 0 |)dµ = d(f 0 , g 0 )
Z
0 = d(f, g) = max(1, |f − g|)dµ
⇔
Z
0 = max(1, |f − g|)dµ
⇔
0 = max(1, |f − g|) c.d.
⇔
0 = |f − g| c.d.
⇔
g = f c.d.
⇔
g ∼ f
Z
d(f, g) = max(1, |f − g|)dµ
Z
= max(1, | − (f − g)|)dµ
Z
= max(1, |g − f )|)dµ
= d(g, f )
Z Z
= max(1, |f − g|)dµ + max(1, |f − g|)dµ
C X−C
Z Z
= dµ + |f − g|dµ
C X−C
Z Z
= dµ + |f − h + h − g|dµ
C X−C
Z Z
≤ dµ + |f − h| + |h − g|dµ
C X−C
Z Z Z
≤ dµ + |f − h|dµ + |h − g|dµ
C X−C X−C
Consideramos
Z Z 1<Z |f − g| ≤ |f − h|Z+ |h − g|
≤ dµ + dµ + |f − h|dµ + |h − g|dµ
C C X−C X−C
Z Z Z Z
≤ max(1, |f − h|)dµ + max(1, |h − g|)dµ + |f − h|dµ + |h − g|dµ
C C X−C X−C
Z Z Z Z
≤ max(1, |f − h|)dµ + max(1, |h − g|)dµ + max(1, |f − h|)dµ + max(1, |h − g|)dµ
C C X−C X−C
Z Z Z Z
≤ max(1, |f − h|)dµ + max(1, |f − h|)dµ + max(1, |h − g|)dµ + max(1, |h − g|)dµ
C X−C C X−C
Z Z
≤ max(1, |f − h|)dµ + max(1, |h − g|)dµ = d(f, h) + d(h, g)
Z Z
= max(1, |fn − f |)dµ + max(1, |fn − f |)dµ
|fn −f |> |fn −f |≤
Z
≥ max(1, |fn − f |)dµ
|fn −f |>
Z
≥ dµ = µ(x||fn (x) − f (x)| > )
|fn −f |>
n→∞
Como d(fn , f ) → 0 entonces µ(x||fn (x) − f (x)| > ) → 0, por lo tanto fn −−−→ f ⇐) Por otro lado si su
µ
Z
d(fn , f ) = max(1, |fn − f |)dµ
Z Z
= max(1, |fn − f |)dµ + max(1, |fn − f |)dµ
|fn −f |>1 |fn −f |≤1
Z Z
= |fn − f |dµ + dµ
|fn −f |>1 |fn −f |≤1
Z
= |fn − f |dµ + µ(x||fn (x) − f (x)| ≤ 1)
|fn −f |>1
Ademas
limn→∞ µ(x||fn (x) − f (x)| ≤ 1) = limn→∞ µ(x| < |fn (x) − f (x)| ≤ 1) + µ(x||fn (x) − f (x)| ≤ )
→0
= 0 + lim µ(x||fn (x) − f (x)| ≤ ) −−→ 0
n→∞