UNIVERSIDAD DE CARTAGENA FACULTAD DE CIENCIAS EXACTAS Y NATURALES PROGRAMA DE MATEMTICAS TALLER DE TEORA DE LA MEDIDA 11 DE OCTUBRE DE 2013

Integral de Riemann

1. Si f : [a, b] R es una funcin no acotada, entonces demuestra que f no es Riemann-Integrable. 2. Pruebe que si
f (x) =
b

0 1

si x es irracional si x es racional ,

entonces R
a

f (x)dx = b a y R

f (x)dx = 0
a

Funciones escalonadas

3. Sea [a, b] un intervalo cerrado no trivial. Si a = t0 < t1 < < tn = b es una particin de [a, b], y i , i = 0, . . . , n es una coleccin nita de nmeros reales, entonces decimos que
n

e = 0 {a} +
i=1

i (ti1 ,ti ] es una funcin

escalonada sobre [a, b].

si x Q [0, 1], si x [0, 1] Q.

Denimos f : [0, 1] {0, 1} dada por

f (x) = 1 0

Construye una sucesin en , n 1, de funciones escalonadas denidas en [0, 1], tal que en f . 4. En general, decimos que una funcin e : R R es escalonada, si existe una familia nita de intervalos (no necesariamente acotados) {Ik }n k=1 ajenos dos a dos, y una coleccin nita de nmeros reales {k }n k=1 , tales que e =
n

k Ik . Demuestra que si e y d son escalonadas y R

es una constante, entonces las siguientes son escalonadas

k=1

a) b) c) d) e) f)

|e| 1 , si e(x) = 0 para todo x R. e e + d. e d. m ax{e, d}. m n{e, d}.

5. Sea e : R R una funcin escalonada. Sea > 0. Demuestra que existe una funcin continua : R R, tal que e = , salvo en un conjunto medible de medida menor que .
Sugerencia. Usar una funcin lineal por pedazos es til.

Funciones simples medibles

6. Encuentra la representacin cannica de s(x) = [0,3] (x) + 2(2,4) (x) 3[1,3) (x) + Q(0,1) (x). 7. Sea s : R R una funcin simple medible con soporte acotado. (Ver denicin de soporte en Ejercicio 11). Sea > 0. Demuestra que existe una funcin escalonada e tal que s = e , salvo en un conjunto medible de medida menor a .
Sugerencia. Usar el Primer Principio de Littlewood tiene mucho sentido aqu.

8. Sea s : R R una funcin simple medible con soporte acotado. Sea > 0. Demuestra que existe una funcin continua : R R tal que s = , salvo en un conjunto medible de medida menor a .
Funciones medibles

9. Supongamos que f : R R es una funcin medible. Sea g : R R una funcin y supongamos que f = g , salvo en un conjunto de medida cero, es decir,
({x R : f (x) = g (x)}) = 0.

Demuestra que g es medible. Este ejercicio muestra las ventajas de que el -lgebra de Lebesgue en R sea completa (es decir, que contiene a todos los conjuntos de medida cero). En general, este resultado no es vlido en espacios de medida ms generales. 10. Sea f : R R una funcin montona. Demuestra que f es medible.
Sugerencia. Demuestra que

f 1 ((a, b))

es o bien vaco, o bien un conjunto singular, o bien un intervalo.

11. Segundo Principio de Littlewood. Sea f : R R una funcin medible de soporte acotado. (El soporte de f es el conjunto {x R : f (x) = 0}). Sea > 0.

a)

Demuestra que existe una funcin simple s : R R medible tal que |f s| < , salvo en un conjunto medible de medida menor que . b ) Demuestra que existe una funcin escalonada e : R R medible tal que |f e| < , salvo en un conjunto medible de medida menor que . c ) Demuestra que existe una funcin continua : R R tal que |f | < , salvo en un conjunto medible de medida menor que . Demuestra que existe una sucesin de funciones escalonadas (en )n1 tal que en f , salvo en un conjunto de medida cero. Es decir, muestra que existe un conjunto A R tal que (A) = 0 y si x / A, entonces l m en (x) = f (x).
n

12. Sea f : R R una funcin medible de soporte acotado.

a) b)

Demuestra que existe una sucesin de funciones continuas (n )n1 tal que n f , salvo en un conjunto de medida cero. Es decir, muestra que existe un conjunto A R tal que (A) = 0 y si x / A, entonces l m n (x) = f (x).
n

13. Teorema de Frchet. Sea f : R R una funcin.

a)

Demuestra que f es medible si, y slo si, existe una sucesin de funciones escalonadas en : R R, tal que en f , salvo en un conjunto de medida cero. b ) Demuestra que f es medible si, y slo si, existe una sucesin de funciones continuas n : R R, tal que n f , salvo en un conjunto de medida cero.

14. El -lgebra de Lebesgue es tan grande, que la composicin de funciones medibles no siempre es medible: Encuentra dos funciones f y g medibles tal que f g no sea medible. 2

Funciones Borel-Medibles

15. Supongamos que fn : R R es una sucesin de funciones Borel medibles acotada (es decir, existe una funcin M : R R no negativa tal que |fn | M , para todo n 1). Demuestra que las siguientes funciones son tambin Borel medibles.

a) b) c) d) e)

sup fn .
n1 n1

nf fn .

l m sup fn . l m inf fn . f := l m fn , si tal lmite existe en R.

n

16. Si f, g : R R son funciones Borel medibles y R es una constante, demuestra que las siguientes funciones son tambin Borel medibles.

a) b) c) d)

f f + g. f g. 1 , si f (x) = 0, para todo x R. f

Integral de Lebesgue

17. Sea f : R R dada por

f (x)

1 x 0

si x (0, 1), si x / (0, 1).

Calcula

f d.

18. Sea f : R R una funcin medible. Denimos el soporte de f , Supp(f ) := {x R : f (x) = 0}. Supongamos Supp(f ) es compacto y f es continua, salvo en un conjunto de medida cero, demuestra que f es integrable. 19. Sea f : R R+ una funcin medible no negativa. Si f es integrable, entonces demuestra que el conjunto f 1 ((a, )) tiene medida nita, para todo a > 0. 20.

a) b)

Sea f : R R una funcin medible y supongamos que g es otra funcin tal que f = g , salvo en un conjunto de medida cero. Si f es integrable, demuestra que g es integrable y g d = f d.

Muestra un ejemplo de dos funciones f, g : [0, 1] R, tales que f es Riemann-integrable y f = g salvo en un conjunto de medida cero, pero que g no sea Riemann-integrable. c ) Ser cierto que si f, g : [0, 1] R son dos funciones Riemann-integrables tales que f = g salvo en un conjunto de medida cero, entonces R
0 1 1

f (x)dx = R
0

gd(x)?

21.

a)

Sea fn =

1 , n 1. Existe una funcin g integrable tal que |fn | g , para toda n2 [0,n] n 1? Es cierto que l m fn d = l m fn d?
n n

b)

Las mismas preguntas con fn =

1 , n 2. n log n [0,n]

22. Dominio de integracin. Sea f : R R una funcin medible y E R un conjunto medible. Decimos que la integral sobre E de f est denida si la integral de f E est denida. Decimos que f es integrable sobre E si f E es integrable. En cualquiera de ambos casos, denimos la integral de f sobre E como
f d :=
E

f E d.

a)

Demuestra que si la integral de f est denida entonces la integral de f sobre E est denida. Demuestra que si f es integrable, entonces f es integrable sobre E . b ) Sea f : R R+ una funcin medible no negativa, y sea An , n 1 una coleccin de conjuntos medibles, ajenos dos a dos. Demuestra

n=1

f d =
En n=1 En

f d.

c)

Sea f : R R+ una funcin medible no negativa, y sean A y B dos conjuntos medibles. Si A B , entonces demuestra que
f d
A B

f d.

Demuestra con un ejemplo que lo anterior no es vlido sin la hiptesis f 0. d ) Sea f : R R una funcin medible. Si A es un conjunto de medida cero, entonces demuestra que f es integrable sobre A y
f d = 0.
A

23. Sea R. Denimos f : R R como f (x) = 0 si x 0 y f (x) = x , si x > 0.

a) b) c) d) a) b) c)

Demuestra que f es medible. Demuestra que f es integrable en el intervalo (0, 1] si, y slo si, > 1. Demuestra que f es integrable en el intervalo [1, ) si, y slo si, < 1. Sea p : R R un polinomio. Demuestra que g (x) = p(x) exp{x2 } es integrable.
sin x , si x > 0. x

24. Sea f : R R dada por f (x) = 0 si x 0, y f (x) = Demuestra que f es medible. Demuestra que f no es integrable en (0, ). Demuestra que Riemann.
0

f (x) dx existe (es convergente) como integral impropia de

25. Sea f : R R+ una funcin montona decreciente, no negativa. Sea a > 0. Si f es integrable en [a, ), demuestra que l m xf (x) = 0.
x

26. Determina si las siguientes funciones son integrables en el intervalo sealado

x sin x , si x (0, ). x3 x 1 b ) f (x) = (x + 3 , si x (0, ). 2 1) x 1 c ) f (x) = log , si x (0, 1). x 1 d ) f (x) = log , si x (0, ). x

a)

f (x) =

Integracin

27. Sea (X, F , ) un espacio de medida y sea f : X R una funcin medible. Sea E F . Si la integral de f E est denida, entonces denimos
E

f d =

f E d. Demuestra que si

(E ) = 0, entonces
E

f d = 0.

28. Sea (X, F , ) un espacio de medida. Sea f : X R+ una funcin medible. Denimos f : F
[0, ] como f (E ) =
E

f d, para todo E F . Demuestra que f es una medida.

29. Sea (X, F , ) un espacio de medida y sea f : X R+ una funcin medible. Si f es integrable (es decir,
f d < ), entonces demuestra que el conjunto {x X : f (x) > 0} es -nito.

30. Sea (X, F , ) un espacio de medida. Sean f, g : X R funciones medibles tales que f = g en c.t.p. Demuestra que
f d = gd, siempre que alguna de estas integrales est denida. f d y gd

31. Sea (X, F , ) un espacio de medida. Sean f, g : X R funciones medibles tales estn denidas. Demuestra que si f g en c.t.p., entonces
Teoremas lmite

f d

gd.

32. Sea f una funcin medible no negativa. Muestre que 33. Sea f una funcin medible no negativa.

f = 0 implica f = 0 en c.t.p.

a) b)

Muestre que existe una sucesin creciente {n } de funciones simples no negativas que se anulan por fuera de un conjunto de medida nita tal que f = l m n .
n

Muestre que

f = sup

sobre todas las funciones simles f .

34. Sea f una funcin no negativa integrable. Muestre que la funcin F denida por
x

F (x) =

es una funcin continua usando el teorema de la convergencia montona. 35. Sea {fn } una sucesin de funciones medibles no negativas que convergen a f, y suponga que fn f para cada n. Entonces
f = l m fn .

36.

a) Pruebe que podra tenerse la desigualdad estricta en el Lema de Fatou. (Sugerencia: considere la sucesin {fn } denida por fn (x) = [n,n+1) ). b) Muestre que el teorema de la convergencia montona no necesita cumplirse para sucesiones decrecientes de funciones. Sugerencia, considere fn (x) = [n,) .

37. Pruebe la siguiente generalizacin del Lema de Fatou. Si {fn } es una sucesin de funciones no negativas, entonces
l m inf fn l m inf fn .

38. Sea {fn } una sucesin de funciones medibles no negativas sobre (, ) tal que fn f en casi toda parte y suponga que
fn
E E

fn

f < . Entonces para cada conjunto medible E se tiene

f.

39. Prueba que la conclusin del Lema de Fatou puede fallar si no se requiere que fn 0. 40. Suponga el Lema de Fatou, y prueba el Teorema de convergencia montona (cuando fn 0). 41. Demuestra la siguiente versin del Teorema de Convergencia Montona: Sea (X, F , ) un espacio de medida. Sea fn : X R, n 1, una sucesin de funciones medibles tales que fn fn+1 en c.t.p., para todo n 1. Si
f1 d > entonces l m fn d = l m fn d.

Enuncia y demuestra resultados similares para Lema de Fatou y el Teorema de la Convergencia Dominada. 42. Sea (X, F , ) un espacio de medida. Sea fn : X R, n 1, una sucesin de funciones medibles. Supongamos que existe una funcin g : X R+ integrable tal que fn g en c.t.p. Demuestra que
l m inf fn d l m inf
n n

fn d.

43. Sea (X, F , ) un espacio de medida. Sea fn : X R, n 1, una sucesin de funciones medibles. Supongamos que existe una funcin g : X R+ integrable tal que fn g en c.t.p. Demuestra que
l m sup
n

fn d

l m sup fn d
n

44. Se Sea (X, F , ) un espacio de medida. Sea fn : X R+ , n 1, una sucesin de funciones medibles no negativas tales que fn f , en c.t.p., para alguna funcin f : X R+ integrable. Demuestra que 45.
fn d f d.

Teorema de la convergencia dominada generalizado. Sea (X, F , ) un espacio de medida. Sea gn :

X R+ , n 1, una sucesin de funciones integrables, tal que para alguna funcin g : X R+ gn d

integrable, se tiene que gn g en c.t.p. y

gd. Supongamos que fn : X R,

n 1, es una sucesin de funciones medibles tal que |fn | gn en c.t.p., para todo n 1, y para alguna funcin medible f : X R, se tiene que fn f en c.t.p. Demuestra que f es integrable

y que

fn d

f d.

La integral general de Lebesgue

46.

a) Muestre que si f es integrable sobre E entonces tambin lo es |f | y

f
E E

|f |.

b) La integral impropia de Rieamnn de una funcin puede existir sin que la funcin sea integrasen(x) ble (en el sentido de Lebesgue), por ejemplo, si f (x) = en [0, ). Si f es integrable, x muestre que la integral impropia de Riemann es igual a la integral de Lebesgue siempre que la primera exista. 6

47. Si es una funcin simple, se tienen dos deniciones para , la integral como una funcin simple, y la integral general de Lebesgue. Muestre que son iguales. 48. Sea g una funcin integrable sobre un conjunto E y suponga que {fn } es una sucesin de funciones medibles tal que |fn (x)| g (x) casi en toda parte sobre E. Entonces
l m inf fn l m inf
E E

fn
E

l m sup fn .

49. Sea h una funcin integrable y {fn } una sucesin de funciones medibles con fn h y l m fn = f. Muestre que 50.
fn y f tienen sentido y que f l m inf fn .

a) Muestre que bajo las hiptesis del teorema generalizado de la convergencia dominada se tiene que
|fn f | 0. |f fn | 0 si y slo si

b) Sea {fn } una sucesin de funciones integrables tal que fn f casi en toda parte con f integrable. Entonces 51.
|fn | |f |.

a) Sea f integrable sobre E. Entonces dado > 0, existe una funcin simple tal que
| f | < .
E

Sugerencia trate individualmente la parte positiva y la parte negativa de f. b) Bajo las mismas hiptesis existe una funcin escalonada tal que
|f | < .
E

c) Bajo las mismas hiptesis existe una funcin continua g que se anula por fuera de un intervalo nito tal que
E

|f g | < .

52. Establezca el teorema de Riemann-Lebesgue: Si f es integrable en (, ), entonces

n

l m

f (x) cos(nx)dx = 0

53.

a) b)

Sea f integrable sobre (, ). Entonces Sea g una funcin medible acotada. Entonces
t0

f (x)dx =

f (x + t)dx.

l m

|g (x)[f (x) f (x + t)]| = 0.

Sugerencia: Si f es continua y se anula por fuera de un intervalo nito, este resultado se sigue de la continuidad uniforme de f. Aplique el Ejercicio 51.