UNIVERSIDAD DEL VALLE

FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMTICAS

POSGRADO DE MATEMTIMCAS
Curso: Teora de la Integracin
Profesor: Guillermo Restrepo Sierra
_______________________

Plan: Maestra y doctorado de Matemticas

Semestre: agosto-diciembre del 2012

TAREA # 4 (propuesta el 7 de octubre de 2012). Sobre la continuidad de la integral

respecto a la medida , el teorema del cambio de variable, el teorema de la convergencia

dominada de Lebesgue y el teorema de Fubini.
1. Sea un espacio de medida dotado de una medida . La funcion
,
es una pseudomtrica en . Demuestre que si es - integrable, entonces la funcin

de

en

es continua, considerando en la topologa inducida por la pseudomtrica

2. Si se suele escribir en vez de . Demuestre los enunciados siguientes:

. lim .

b. lim .

c. Si es una funcin - integrable, demuestre que

.

3. Muestre con un ejemplo que es posible que una sucesion de funciones - integrables
converja - c. t. p a una funcin y
lim o lim .

4. Sea un espacio de medicin dotado de una medida finita . Demuestre que si

es una sucesin de funciones - integrables que converge a uniformemente, entonces
es - integrable y
lim .

Muestre con un ejemplo que si no es una medida finita, entonces el enunciado anterior no es
cierto.
5. Sea ( un espacio de medicin dotado de una medida finita . Demuestre que toda
funcin - medible y acotada es - integrable.
. [para realizar en clase] (Comparacin de la integral de Riemann con la integral de Lebesgue).
Consideremos el espacio de medida , donde y es la medida de
Lebesgue restringida a . Una particin puntual de es todo
subconjunto finito tal que , y . Las
particiones se pueden ordenar, y as lo haremos, por la relacin de inclusin. Denotaremos por
al intervalo , . Sean una funcin acotada de en , sup y
inf . Las sumas superiores e inferiores de Riemann de esta funcin respecto a la
particin son, respectivamente, los nmeros reales

y
.

La funcin es Riemann- integrable si para todo existe una particin tal que

.
Si es Riemann- integrable, la integral de Riemann de es el nmero real

[Riemann] sup inf

,

donde recorre el conjunto de todas las particiones de .

. Demuestre que el conjunto de las funciones Riemann- integrables es un espacio vectorial sobre
.
. Demuestre que si es Riemann- integrable, entonces es Lebesgue- integrable - integrable y
[Riemann] [Lebesgue].

Sugerencia para demostrar ). Para cada particin considere las funciones elementales

Es claro que . Si , sea una particin tal que

. Se puede
suponer que la sucesin de particiones es no- decreciente, pues de lo contrario uno define
sup . Sean y las funciones correspondientes a la particin .
Entonces
sup inf

[Lebesgue] .

Por tanto 0 - c. t. p. Como , entonces - . Para terminar, las

integrales de Lebesgue y de Riemann de las funciones y son iguales. Justifique todas las
afirmaciones anteriores.
[para realizar en clase]. Demuestre que una funcin es Riemann- integrable si y
slo si el conjunto de puntos en los cuales es discontinua es - nulo.
Sugerencia. Sean un espacio topolgico y un espacio mtrico. Si es una funcin de en ,
su oscilacin en es el nmero
inf

donde sup .
La funcin es semicontinua superiormente y es continua en si y slo si .
Si es , demuestre que si es Riemann- integrable, entonces es nulo y el conjunto de puntos en los cuales es discontinua es . Para demostrar el
enunciado recproco, suponemos que . El conjunto es compacto debido a la
semicontinuidad superior de y - nulo. Por tanto existe una familia finita y disjunta de
intervalos abiertos ] [ tal que ] [. Esto permite escoger una
particin adecuada que contribuya poco a la integral en .

6. Sean , y 2 si . Compruebe que

par todo ,

1 para todo
1
.


1
1
Sin embargo, 1 1 2 . Es decir, no es 2 integrable. Analice este resultado a la luz de las hiptesis del teorema (3.8.7) de Fubini y del
teorema (3.8.8) de Tonelli.

7. Sean y espacios de medida dotados de medidas y respectivamente.

Demuestre que si es - integrable y es - integrable, entonces es
- integrable y

( )

8. Sean un espacio de medida dotado de una medida - finita, med y

.
Demuestre que es - medible y .