ANLISIS MATEMTICO II

UNIDAD 4.INTEGRAL DE LEBESGUE

EVIDENCIA DE APRENDIZAJE.
APLICACIONES DE LA INTEGRAL DE
LEBESGUE

Evidencia de aprendizaje. Aplicaciones de la Integral

de Lebesgue.
Introduccin.
Instrucciones: Resuelve correctamente lo que se solicita
cada ejercicio.
1. Sea

(f k )

una sucesin de funciones en

M + (X , S )

y sea

f ( x )= f k ( x ) . Demostrar que
k=1

fd= f k d para todo E S .

k=1 E

Para dar resolucin a este problema, se tiene el Teorema 7.

Sea { fn } una secuencia de funciones integrables no negativas tal que

f n d<
n=1

Entonces f n define una funcin integrable y

n=i

( )

fn
n=1

d= f n d
n=1

La forma ms fcil de demostrar es por linealidad de la integral,

esto es:
f ( x )=f 1 ( x ) + f 2 ( x ) ++ f k ( x ) +

Entonces:

fd= f 1 d+ f 2 d++ f k d+ = ( f 1+ f 2 ++ f k + ) d=

( )

fk
E

k=1

(f k )

Podemos ver que como cada

es integrable, entonces

f ( x )= f k ( x )

es una funcin integrable y aplicando el teorema 7,

k=1

tenemos:

( )

fd= f k
k=1

d= f k d para todo E S Q . E . D .
k=1 E

2. De acuerdo a lo estudiado en el curso realiza lo que se

pide en los siguientes incisos:
a) Sean
1

X =[0,1]

, S=B[0,1] ,

> 0 . Sea

f :XR

la medida de Lebesgue,

continua dada por:

1

f ( x )=

x
,

1+ x

demostrar que la integral:

(1 )
fd= 1+n .
n=0
[0,1 ]

Hint: Expresar la funcin como

f ( x )=x
x

( 1x + x 2 x 3 + )= f n (n) , donde f n ( x )=( 1x ) x 1+2 n si

n=0

y recordar la integral de Riemann.

Hint: Expresa estas funciones con y apropiados.

Tenemos entonces que:

x 1
f ( x )=
= f n (n)
1+ x n=0

Entonces:

fd= f n ( x )
[0,1] n=0

[0,1]

fn

Como cada

es positivo e integrable

f ( x)

es integrable y

adems:

( ( 1x ) x1+2 n ) d=

[0,1]

f n (x )

[0,1] n=0

d=

f n d=

n=0 [ 0,1]

n=0

( x 1 +2n )( x 1+ (2 n +1) ) d
n=0 [0,1 ]

Notemos que:
f n ( x )=( x 1+2 n ) ( x 1 + ( 2 n+1 ))
f 0 ( x )=x

f 1 ( x )=x

1+2

1+

1 +3

Entonces:

f n ( x ) =x 1x 1+ + x 1+2 x 1+3 + + ( x 1+2 n ) ( x 1 + ( 2 n+1) )

n=0

Pero esta suma la podemos escribir como:

x 1 x 1+ + x 1+2 x 1+3 ++ ( x 1+2 n ) ( x 1+ (2 n+1 )) = (1)n x 1+n

n=0

De modo que:

f n ( x ) d=

[0,1 ] n=0

[0,1 ] n=0

(1)n x 1 +n d

Ahora

X =[0,1]

como

S=B[0,1]

podemos

recordar

la

equivalencia entre la integral de Riemann y entonces:

(1)n x 1+n d=

[0,1 ] n=0

n=0

n=0 [0,1 ]

(1)n x 1+n dx = (1 )n
n=0

Como 1 y > 0

n 1+n
dx=
( f n ) d= (1) x
n=0 0

+ n

+n

x
1
= (1 )n
+n 0 n =0
+n

+ n> 0

y por tanto:

(1 )
fd= + n , Q. E . D.
n=0
[0,1 ]

b) Usando el inciso anterior da una expresin en series

para:
i)

ln 2

Considerando la expansin en serie de

converge si

|x|1

podemos hacer

1+ x=2, x =1

n+1

(1) x
n
n=1

ln(1+ x )=

que

que est en el

radio de convergencia de la serie y entonces:

n+1

(1)
n
n =1

ln 2=

ahora, haciendo una expansin de Taylor alrededor de 0

tenemos:
(n )

f (x 0)
(xx 0)n
n!
f (1) ( x0 ) =

1
=1
1+x 0

f (2) ( x 0) =

1
=1
2
( x 0+1 )

f ( 3 ) ( x 0 )=

2
=2
( x 0 +1)3

f (4 ) ( x 0 ) =

6
=6
4
( x 0 +1 )

Entonces:
1
x=x
1!
1 2 1 2
x=
x
2!
2
2 3 1 3
x= x
3!
3
6 4 1 4
x=
x
4!
4

La expansin es:

(1 )n x n+1
1
1
1
f ( x )=ln (1+ x)=x x 2 + x 3 x 4 +=
, si x
2
3
4
n+1
n=0

Haciendo

1+ x=2, x =1

el cual est en el radio de convergencia,

se deduce:

ln 2=
n=0

(1 )n
n+1

ii) 4

Considerando la funcin

f ( x )=

x 1
1+ x

escogemos =1 y =2 ,

y resulta
f ( x )=

1
1+ x2

Ahora bien,

tan 1 ( 1 )= /4

; si x< 1 se tiene:

1+ x2 =tan1 x
Luego:
n+1 2 n +2
x
1
n 2 n (1)
2
4
=1x + x + (1 ) x +
2
1+ x
1+ x 2

Integrando de 0 a 1 tenemos:
n

(1 )

1 1
x 2 n+2
=1 + +
+(1)n+1
dx
2
4
3 5
2 n+1
0 1+ x

A medida que n la integral de la derecha tiende a 0 pues:

1

x 2 n+ 2
1
=0
1+ x2 dx< x 2 n+2 dx=lim
n 2 n+3
0
0

Y como resultado, tenemos que para cualquier

(1 )n

1 1
=1 + =
4
3 5
n=0 2 n+1

3. Demostrar que si la funcin f

es una funcin medible,

entonces para cada > 0 el conjunto {x X :|f ( x )| } tiene

medida finita.
Recordemos que dada { x n } una sucesin acotada de R , ellmite superior de { x n }
se define co mo:

x n=inf [ k n x k ]
lim

y el lmite inferior de { x n } por:

inf

x n= [ k n x k ]
n
lim inf
n

f
Por lo tanto, lim ( x ) y lim inf f n ( x ) , ambos existen en R .
n

f
Por consiguiente, lim y lim inf f n , de la sucesin de funciones
n

fn

{fn} est definido para cada

x X

como

lim

( lim inf f n ) ( x )=lim inf f n ( x ) .

Para demostrar, tenemos que

f :X R

Consideramos que la funcin es medible, aunque si tenemos la

funcin identidad de
es

|f ( x )|=|x| ,

conjunto

los nmeros reales enlos reales cuyo valor absoluto

vemos que es medible,

{ x X :|f ( x )| } es

( ,a ] [ a , )

para cada

>0

el

, el cual es de medida

infinita pues sabemos que en el conjunto de los

nmeros reales , la medida de un intervalo es su longitud. QED.

4. a) Sea

un conjunto, y sea

numerable como
conjunto infinito y

:S [0, ]

S=P( x ) . Define la medida

por

( A )=n , donde

elementos contenidos en

( A )=
n

si

es un

es el nmero de

cuando ste es finito.

Demostrar que (X , S , ) es un espacio de medida.

Tenemos que
conjunto

potencia

es un conjunto y como
X,

de

es

S=P( x )

es el

-lgebra

una

de

subconjuntos de X , por tanto, ( X , S ) es un espacio medible.

Ahora mostremos que
efecto, al ser

S=P( x )

es una medida definida sobre

y por tanto una

-lgebra,

S.

En
S

como la medida numerable asigna como medida la cantidad de

( )=0 . Tambin

elementos de cada subconjunto, se tiene que

por cmo est definida esta medida, es evidente que para

cualquier

E S

se tiene que

( E ) 0, luego notemos que una

sucesin de elementos disjuntos entre s

En

de S , por ser ste

un conjunto potencia, estar formada por conjuntos de cada

elemento de X, por tanto:
n=1
k

( k E n )= E n=n
n=1

Se d esto, debido a que la medida de cada

la medida numerable y por ser

X

adems de suponer

En

En

sera 1 por ser

disjuntos entre s,

finito; ahora bien, en el caso de que

no es finito, sera de todas formas numerable, entonces:

n=1

( En ) = En =
n=1

En conclusin,
(X , S)

es una medida definida sobre

es un espacio medible, por lo tanto la terna

un espacio de medida

Q.E.D.

y que

(X , S , )

es

b) Sea

la medida numerable en

N . Demostrar que

la funcin

f :N R

|f ( n )|<

es integrable si y slo si

n=1

. Tambin demostrar en este caso que

fd= f ( n ) .
n=1

En primer trmino, para poder demostrar que la funcin es

integrable, podemos proceder de manera anloga como lo
hacemos para integrar un rea bajo la curva, es decir,
donde est definida f, al particionar el conjunto de nmeros
naturales y obtener el rectngulo por cada natural, cuya
medida es 0. De este modo las sumas por defecto y por
exceso coinciden, pero stas slo representan la altura de
los rectngulos, expresemos matemticamente:

fd= f ( n )
n=1

f d=
f d=

Bueno, parece que aqu se ha llegado a la demostracin

Q.E.D.
5) Sea {f n } una sucesin de funciones integrables
0 f n +1 f n

c.d.q. para cada n . Demostrar que f n 0

c.d.q. si y slo si

fnd0

se tiene:

lim inf f n d lim inf f n d , 0 lim inf f n d

Por tanto:

f n d 0,
f n d 0 . Entonces

En otro sentido, supongamos que

lim inf f n d=0

y observemos que como f n+1 f n ,

entonces, es decir, a medida que

aumenta

Entonces si tomamos la integral de cada

f n d=0
tanto,

f n+1 d f n d

fn

en el lmite

pero esto es posible slo si en el lmite

la sucesin es decreciente y

lim inf f n=0

f n d 0.

0 f n +1 f n

f n=0

por lo

es decir

y entonces se puede concluir que f n 0 Q. E . D.

Fuente consultadas:
Curso Anlisis Matemtico II, Depto. de Ciencias Exactas,
UNADM, 2014.
Funciones medibles, Beatriz Porras.
Anlisis Matemtico, Tom Apstol.