Teora de la Integral y de la Medida.

Hoja de Problemas n.o 1: Integral de Riemann. Medida de Lebesgue en R

( )

E N ESTA HOJA m C REPRESENTA LA MEDIDA DE L EBESGUE DEL CONJUNTO C .

1.- Demuestra que el valor absoluto de una funcin integrable Riemann es tambien integrable
Riemann.

[ ]

( ) = max ( ) ( )g

2.- Sean f; g funciones integrables Riemann en el intervalo a; b . Demuestra que h x

ff x ; h x
es integrable Riemann. Este resultado se extiende con facilidad al mximo de un nmero finito de
funciones. Muestra que en general no es cierto para una sucesin.

3.- Sea fq1 ; q2 ; q3 ; : : : g I \ Q una enumeracin de los racionales de un intervalo cerrado I

A n B.
Para cada k
; ; ; : : : , sea

=1 2 3
8
>< 1 si 2 f 1 2
(k ) = >:
0 si 2 n f 1
x

q ; q ; : : : ; qk

=[ ]
a; b

g
g

q ; q ; : : : ; qk :

Demuestra que Yk es integrable Riemann.

Sea Y x
k Yk x . Demuestra que Y no es integrable Riemann.

( ) = lm ( )

4.- Con la notacin de ejercicio anterior, sea

81
>< k
( ) = >:
0

si

si

Z x

qk

2 nQ
I

Demuestra que la funcin Z as definida es integrable Riemann en I y calcula

( )

Rb ( )
a

Z x dx

=[ ]

5.- Sea fn una sucesin de funciones integrables Riemann en un intervalo I

a; b . Demuestra que
si f es lmite uniforme de dicha sucesin (i.e.
f x j
) entonces f es integrable
n
x2I jfn x
Riemann y adems

lnm

lm sup

Zb

() =

fn x dx

Zb
a

()

( ) =0

()

f x dx:

( )

6.- Sea fn una sucesin montona creciente de funciones continuas en un intervalo I

converge en dicho intervalo a otra funcin continua f . Demuestra que entonces

lnm
7.- Si fIk
I

Zb
a

() =

fn x dx

=(

ak ; bk

Zb
a

= [ ], demuestra que

a; b

()

f x dx:

)g , = 1 2
k

= [ ] que

;:::;N

es un recubrimiento por intervalos abiertos del intervalo cerrado

a; b

N
X
k

(k

=1

ak :

I NDICACIN : Aunque puede demostrarse directamente por induccin resulta ms secillo recurrir al clculo de las integrales de Riemann de las
funciones caractersticas (indicatrices) de Ik y de I .

8.- Demuestra que si O

m

 ( ) es unin disjunta de los intervalos abiertos f ngn2N entonces

a; b

(O ) = j n j
I

9.- Sea K un conjunto compacto de R. Demuestra que si K 

( ) entonces (K)
a; b

< b

10.- Sea Cn una sucesin creciente (es decir: C1  C2  : : : ) de subconjuntos medibles de

C
[Cn. Demuestra que m Sn es una sucesin creciente con lmite m S .

( )

( )

( ). Sea
a; b

11.- Sea Cn una sucesin decreciente (es decir: C1  C2  : : : ) de subconjuntos medibles de

Sea C \Cn . Demuestra que m Sn es una sucesin decreciente con lmite m S .

( )

( )

( ).
a; b

12.- Sea Cn una sucesin creciente de subconjuntos medibles de R. Demuetra que

lnm ( n) " ([n n)

m C

Sea Cn un sucesin decreciente de subconjuntos medibles de R. Demuestra que si existe n0 tal que
m Cn0 <
1 entonces

( ) +
lnm ( n) # ([n n)
m C

Da un contaejemplo que muestre que sin la condicin de la finitud de al menos una de las medidas
el resultado puede ser falso.

f ngn2N una coleccin numerable de conjuntos medibles del intervalo ( ). Demuestra

S
: Dados dos conjuntos A, B , la expresin A
B representa la diferencia simtrica de ambos, definida como (A n B ) (B n A).

13.- Sea
que si

a; b

lmn ( n
0) = 0 entonces lmn ( n) = ( 0).

N OTA

m A

m A

m A

= [0 1]

14.- Conjunto ternario de Cantor. Construye el conjunto K de la siguiente manera: K0

;
. K1
se obtiene a partir de K0 suprimiendo el intervalo abierto central de longitud r
= . K1 es entonces
la unin de dos intervalos cerrados de longitud = . K2 se obtiene suprimiendo de cada uno de los
dos intervalos de K1 su intervalo abierto central de longitud r2
= . Si se contina el proceso see
obtiene una sucesin de cerrados Kn en la que cada uno de ellos es unin de n intervalos cerrados,
cada uno de longitud n :

=1 3

13

0  K1  K2 


& K =

\
n

=1 9

Kn :

Demuestra que K es compacto en R (y por tanto medible), que no contiene intervalos abiertos, que
no tiene puntos aislados, y que m K
.

( )=0

15.- Una modificacin de la construccin anterior suprimiendo intervalos abiertos centrales de lonn
gitud rn
=
da una sucesin L0  L1  L2 


en la que Ln , n > se ha obtenido a partir
de L0
;
suprimiendo un intervalo abierto de longitud = , dos intervalos abiertos de longitud
2 cada uno de ellos, . . . , n 1 intervalos abiertos de longitud = n . Demuestra que L Tn Ln
=
es compacto, que no contiene intervalos abiertos, que no tiene puntos aislados, y que m L > .

(1 5)

= (1 5)
= [0 1]

( n L).

I NDICACIN : Halla m L0

15

(1 5)

( ) 0