Tarea 1

TEORÍA DE LA MEDIDA – TAREA 1
ALDAIR SAUCEDO
1. Sea (X, A, µ) un espacio de medida y {An }n∈N una familia de conjuntos

medibles. Para m ∈ N, considere Bm como el conjunto de puntos x ∈ X que
pertenecen a al menos m de los conjuntos An . Mostrar que Bm es medible
y que
+∞
1 X
µ(Bm ) ≤ µ(An ).
m n=1
Solución. Sea
f : X → [0, +∞]
+∞
X
x 7→ 1An (x)
n=1
Entonces f es medible (ya que es límite de una sucesión de funciones medibles) y

x ∈ X pertenece a al menos m conjuntos An si y solo si
+∞
X
1An (x) ≥ m.
n=1
Es decir, para cada m ∈ N, Bm = f −1 ([m, +∞)) = {x ∈ X : f (x) ≥ m}; por tanto

Bm es medible, y de la desigualdad de Tchebychev
Z
1
µ(Bm ) = µ({x ∈ X : f (x) ≥ m}) ≤ f dµ,
m X
donde
Z +∞
Z X +∞ Z
X +∞
X
f dµ = 1An dµ = 1An dµ = µ(An ).
X X n=1 n=1 X n=1
2. Sea (X, A) un espacio medible, considere una sucesión (fn )n∈N de funciones
medibles con valores reales (o complejos). Muestre que el conjunto de puntos
x ∈ X tales que (fn (x))n∈N es convergente, es medible.
Solución. Sea
∞ [
\ ∞ \
∞
C= {x ∈ X : |fn (x) − fn+p (x)| < 1/k}.
k=1 n=1 p=1
Probaremos que
C = {x ∈ X : (fn (x))n∈N es de Cauchy}.
Si x ∈ C, entonces, para todo k ∈ N, existe n ∈ N tal que
1
(∗) para todo p ∈ N, |fn (x) − fn+p (x)| <
.
k
Sea ε > 0. Existe k0 ∈ N tal que 1/k0 < ε/2, y como x ∈ C, existe n ∈ N con la
propiedad (∗). Por tanto, si i, j ≥ n, existen p, q ∈ N tales que i = n + p y j = n + q,
1
2 ALDAIR SAUCEDO
con lo que
|fi (x) − fj (x)| ≤ |fn (x) − fi (x)| + |fn (x) − fj (x)|
= |fn (x) − fn+p (x)| + |fn (x) − fn+q (x)|
1 1 ε ε
< + < + = ε.
k0 k0 2 2
Esto demuestra que (fn (x))n∈N es de Cauchy. Recíprocamente, si x ∈ X es tal que
(fn (x))n∈N es de Cauchy, entonces, para todo ε > 0, existe n ∈ N tal que
si i, j ≥ n, entonces |fi (x) − fj (x)| < ε.
En particular, para todo k ∈ N, existe n ∈ N tal que
1
si i, j ≥ n, entonces |fi (x) − fj (x)| < ,
k
y tomando i = n y j = n + p con p ∈ N obtenemos (∗).
Como C es completo:
C = {x ∈ X : (fn (x))n∈N converge}.
Para cada n, p ∈ N definimos gn,p = fn − fn+p . Entonces gn,p es una función
medible, con lo que para cada k ∈ N,
gn,p −1 ((0, 1/k)) = {x ∈ X : |fn (x) − fn+p (x)| < 1/k}
es medible. Por tanto C, que es intersección y unión numerable de conjuntos medi-
bles, es medible.
3. Sea µ la medida de Lebesgue sobre R y A un boreliano de R tal que µ(A) > 1.

Queremos probar que existen x, y ∈ A distintos tales que x−y ∈ Z. Si B ⊂ R,
definimos B + x = {b + xX: b ∈ B}.
a) Mostrar que µ(A) = µ((A − n) ∩ P ), donde P = [0, 1).
n∈Z
b) Mostrar que los conjuntos (A−n)∩P no son disjuntos, y por consiguiente
que los conjuntos A − n no son disjuntos. Concluir.
Solución. a) Probaremos que

[
A= (((A − n) ∩ P ) + n)
n∈Z
y que la unión es disjunta. Si a ∈ A, entonces existe n ∈ Z tal que

n ≤ a < n + 1, con lo que 0 ≤ a − n < 1, y a = (a − n) + n con
a − n ∈ (A − n) ∩ P . Recíprocamente, si b = (a − n) + n = a con
(a − n) ∈ (A − n) ∩ P , entonces b = a ∈ A.
La unión es disjunta: si existen n, m ∈ Z (sin pérdida de generalidad)
con n < m y a, b ∈ A tales que
(a − n) + n = (b − m) + m
donde 0 ≤ a − n < 1 y 0 ≤ b − m < 1, entonces a = b y a < n + 1 ≤
m < b = a, lo cual es absurdo. Por tanto
!
[
µ(A) = µ (((A − n) ∩ P ) + n)
n∈Z
X X
= µ(((A − n) ∩ P ) + n) = µ((A − n) ∩ P ).
n∈Z n∈Z
(Formalmente, debimos separar la unión para aplicar la definición.)

TEORÍA DE LA MEDIDA – TAREA 1 3
b) Por contradicción, supongamos que los conjuntos (A − n) ∩ P son dis-

juntos. Entonces
[
((A − n) ∩ P ) ⊂ P
n∈Z
y por tanto
X
1 < µ(A) = µ((A − n) ∩ P )
n∈Z
!
[
=µ ((A − n) ∩ P ) ≤ µ(P ) = 1,
n∈Z
contradicción. Así pues, si los conjuntos A − n fueran disjuntos, entonces

((A − n) ∩ P ) ∩ ((A − m) ∩ P ) = ∅ si n ̸= m
en contradicción con lo demostrado anteriormente. Por tanto, existen
n, m ∈ Z tales que n ̸= m y (A − n) ∩ (A − m) ̸= ∅, i.e. existen x, y ∈ A
tales que x − n = y − m, con lo que x − y = n − m ∈ Z.
4. Si a > 0, definimos
Z +∞
Γ(a) = ta−1 e−t dt.
0
Determinar lı́m Γ(a).
a→0+
Solución. Espacio de medida: ((0, +∞), B(R), λ). Para cada n ∈ N tenemos
Z n n Z +∞ n
a−1 t a−1 t
t 1− dt = t 1− 1(0,n) (t)dt.
0 n 0 n
La sucesión
fn : (0, +∞) → [0, +∞]
n
t
t 7→ ta−1 1 − 1(0,n) (t)
n
es creciente y cada fn es medible (es producto de funciones medibles). Por el teorema
de Beppo Levi
Z n n Z
t
lı́m ta−1 1 − dt = lı́m fn dλ
n→+∞ 0 n n→+∞ (0,+∞)
Z
= lı́m fn dλ
(0,+∞) n→+∞
Z +∞
a−1 −t
= t e 1(0,+∞) (t)dt
0
Z +∞
= ta−1 e−t dt
0
= Γ(a).
Como
Z 1 Z n n
1 a−1 a−1 t
= t (1 − t)dt ≤ lı́m t 1− dt = Γ(a)
a(a + 1) 0 n→+∞ 0 n
y
1
lı́m+ = +∞
a→0 a(a + 1)
4 ALDAIR SAUCEDO
obtenemos que
lı́m Γ(a) = +∞.
a→0+
5. Mostrar que el Lema de Fatou implica el Teorema de convergencia monótona.
Solución. Sea (X, A, µ) un espacio de medida, fn : X → [0, +∞] una sucesión

creciente de funciones medibles positivas y
f = lı́m fn .
n→+∞
Ya vimos que, como (fn )n∈N es creciente, converge, y la sucesión

Z
fn dµ
X n∈N
también es creciente y converge en [0, +∞]. Por el Lema de Fatou
Z Z Z Z
f dµ = lı́mfn dµ ≤ lı́m fn dµ = lı́m fn dµ.
X X X n→+∞ X
Por otra parte, que (fn )n∈N sea creciente implica que fn ≤ f para todo n ∈ N; por
tanto Z Z
fn dµ ≤ f dµ
X X
para todo n ∈ N y
Z Z Z
lı́m fn dµ = lı́m fn dµ ≤ f dµ.
n→+∞ X X X

Tarea 1

Cargado por

Copyright:

Formatos disponibles

Tarea 1

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 1

Cargado por

Copyright:

Formatos disponibles

TEORÍA DE LA MEDIDA – TAREA 1

1. Sea (X, A, µ) un espacio de medida y {An }n∈N una familia de conjuntos

Entonces f es medible (ya que es límite de una sucesión de funciones medibles) y

Es decir, para cada m ∈ N, Bm = f −1 ([m, +∞)) = {x ∈ X : f (x) ≥ m}; por tanto

3. Sea µ la medida de Lebesgue sobre R y A un boreliano de R tal que µ(A) > 1.

Solución. a) Probaremos que

y que la unión es disjunta. Si a ∈ A, entonces existe n ∈ Z tal que

(Formalmente, debimos separar la unión para aplicar la definición.)

b) Por contradicción, supongamos que los conjuntos (A − n) ∩ P son dis-

contradicción. Así pues, si los conjuntos A − n fueran disjuntos, entonces

5. Mostrar que el Lema de Fatou implica el Teorema de convergencia monótona.

Solución. Sea (X, A, µ) un espacio de medida, fn : X → [0, +∞] una sucesión

Ya vimos que, como (fn )n∈N es creciente, converge, y la sucesión

También podría gustarte