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

Parcial 3
Soluciones

1. a- Sean (X, M, µ) un espacio de medida y fn , f : X → R funciones medibles.

Se dice que fn → f en norma si fn , f ∈ L1 (dµ) y ∃ limn→∞ X |fn − f |dµ = 0
R

Se dice que fn → f en medida si ∀λ > 0 se tiene limn→∞ µ({x : |fn (x) − f (x)| > λ}) = 0

b- La convergencia en norma implica la convergencia en medida porque, por la desigualdad

de Chebyshev, se tiene
Z
1
µ({x : |fn (x) − f (x)| > λ}) ≤ |fn − f |dµ,
λ X

y por tanto si la parte derecha de la desigualdad tiende a cero, la parte izquierda también. Por
otro lado, la sucesón de funciones fn (x) = nχ(0, 1 ] (x) tiende a cero en medida con respecto a la
n
medida de Lebesgue en R, dµ(t) = dt, porque
1
µ({x : |fn (x)| > λ}) = , si n > λ,
n
R R
pero no es convergente en norma porque |fn − 0|dx = fn dx = 1, ∀n.

...

2. Por definición, mφ (A) = m(φ−1 (A)), ∀A Borel de (0, 1].

En particular, como
2 2
φ−1 ([a, b]) = {(x, y) : a ≤ e−(x +y ) ≤ b} = {(x, y) : log 1b ≤ x2 + y 2 ≤ log a1 }
q q
es el anillo de radio interior log b y radio exterior log a1 , se tiene
1

1 1 b
dmφ ([a, b]) = π log − π log = π log .
a b a

Llamando dν(t) = π 1t dt tenemos que tanto dmφ como dν son σ-finitas sobre los Borel de
(0, 1] y coinciden en los intervalos de la forma [a, b] puesto que
Z b
1 b
dν([a, b]) = π dt = π log .
a t a

Por lo tanto coinciden en la mı́nima σ-álgebra que los contiene. Esto prueba el tercer apartado,
que también podemos obtener de forma analı́tica usando la propiedades de la medida inducida
y el teorema del cambio de variables: Dada f medible y positiva
Z Z Z 2π Z ∞
−(x2 +y 2 ) 2
f dmφ = f (e ) dxdy = f (e−r )rdrdθ
(0,1] R2 0 0

Z ∞ Z 1
2 1
= 2π f (e−r )rdr = π f (t) dt,
0 o t
2
donde, en la última igualdad, hemos hecho el cambio t = e−r .