Teorı́a de la Integral y de la Medida. Curso 2008-09.

Parcial 1
SOLUCIONES

Ejercicio 1. (4 puntos) Sean X un conjunto, A ⊂ P(X) y µ : A → [0, ∞].

a- Indicar las propiedades de A para que ésta sea considerada una σ-álgebra.
i) ∅ ∈ A
ii) E ∈ A =⇒ E c ∈ A
iii) E1 , E2 , . . . , En , · · · ∈ A =⇒ ∪∞
n=1 En ∈ A

b- Si A es una σ-álgebra, indicar las propiedades de µ para que ésta sea considerada una medida.
i) µ(∅) = 0
ii) Si E1 , E2 , . . . , En , . . . es una familia numerable de elementos disjuntos de A entonces
∞
[ ∞
X
µ( En ) = µ(En )
n=1 n=1

c- Si A es una σ-álgebra,
• definir la noción de función simple (con respecto a A):
Se dice que s(x) es una función simple si se puede escribir como una combinación P lineal finita
de funciones caracterı́sticas de elementos de A; es decir, si tiene la forma s(x) = m
j=1 cj χAj (x)
para ciertos valores cj ∈ R y ciertos conjuntos Aj ∈ A.

• definir la noción de función medible (con respecto a A):

Se dice que f : X → R es medible si se cumple f −1 ((a, ∞)) ∈ A para todo a ∈ R.

d- Si (X, A, µ) es un espacio de medida, y f : X → R es una función medible y positiva, definir

qué se entiende por la integral de f con respecto a µ.
Z Z 
f dµ = sup s dµ : s simple, 0 ≤ s(x) ≤ f (x) ,
X X
R Pm Pm
siendo X s dµ = j=1 cj µ(Aj ) si s(x) = j=1 cj χAj (x) con cj > 0.

e- Enunciar el Teorema de la Convergencia Dominada.

Sean (X, A, µ) un espacio de medida y f1 , f2 , . . . , fn , . . . funciones medibles tales que el lı́mite
limn→∞ fn (x) existe para cada x. Si existe una función F ∈ L1 (dµ) de forma que |fn (x)| ≤ F (x),
∀n, ∀x, entonces Z Z
∃ lim fn dµ = lim fn dµ
n→∞ X X n→∞
Ejercicio 2.
a- (3 puntos) Definimos los intervalos Jn = [0, 2−n ], n = 1, 2, . . . , y la función
∞
n−1
X Z
−1/n
g(x) = x χJn (x). Calcular g(x) dx.
n R
n=2

b- (3 puntos) Demostrar la existencia del siguiente lı́mite y encontrar su valor:

Z ∞
cos x N
lim dx.
N →∞ 1 x

Solución:

a- Por el TCM para series positivas:

∞ 2−n ∞ 2−n X∞
n−1
Z Z
X X n−1
g(x) dx = x−1/n dx = x = 2−(n−1) = 1.
n

n

R 0 0
n=2 n=2 n=2

cos x N 1 N
N
= 0, ∀x > 1, ya que  cosx x  ≤



b- Por un lado se tiene limN →∞ x x → 0, cuando
N → ∞, para x > 1. Por otro,
 cos x N  1 N 1
 ≤ ≤ 2, ∀N ≥ 2,
 
x x x


cuando x > 1. Observamos que la función mayorante F (x) = x12 es integrable en (1, ∞), ya que
Z ∞
1
2
dx = 1
1 x
R∞
Usando el TCD, deducimos que el lı́mite dado existe y vale 1 0 dx = 0.