Integral de LEBESGUE:
Sea E , un conjunto medible y S: E → , función
simple medible talque S(x) 0,x E.
Escribimos S(E)= 1 , 2 , 3 ,..., n y A i = x E; S ( ) = i / i = 1n
Entonces se define la integral de LEBESGUE de S sobre E, Sdm, por
E
n −1
el número real extendido y se denota: fdm = m(A )
E k =0
i i
Teorema de Convergencia Monótona de LEBESGUE :
Sea A , un conjunto medible f n n =1
una sucesión de funciones medibles no
negativas definidas en A y f:A → ,
una función, supongamos que:
a) f n (x) f n+1 ( x), x A, n
b) lim f n (x) = f (x), x A
n→ fdm = lim fdm , A E
E
n→
E
Sea f: 0,1 →
11 2
x f(x) = 2x 3 + 2x 2 + x + 2, pruebe que fdm =
3
u
0,1
Usando la intetgral de LEBESGUE
Consideremos: S: 0,1 →
Sn (x i ) = S1 (x1 ) + S2 (x 2 ) + S3 (x 3 ) + .... + Sn (x in ).
Resolución
S1 (x1 ) = 2x 3
S2 (x 2 ) = 2x
2
Para:
S3 (x 3 ) = x
S (x ) = 2
3 3
Consideremos: S: 0,1 →
n −1
S4 (x i ) = (S1 (x1 ) + S2 (x 2 ) + S3 (x 3 ) + S4 (x 4 ))X k k + 1
k =0 n , n
n −1 n −1 n −1 n −1
= S1 (x1 )X k k+1 + S2 (x 2 )X k k+1 + S3 (x 3 )X k k+1 + S4 (x 4 )X k k+1
k =0 n , n k =0 n , n k =0 n , n k =0 n , n
n −1
2k 3 1 n −1 2k 2 1 n −1 k 1 n −1 1
S4 (x 4 ) = ( 3 )( ) + ( 2 )( ) + ( )( ) + (2)( )
k =0 n n k =0 n n k =0 n n k =0 n
2 n −1 3 2 n −1 2 1 n −1 2 n −1
= ( 4 ) (k ) + ( 3 ) (k ) + ( 2 ) (k) + ( ) (1)
n k =0 n k =0 n k =0 n k =0
k k+1 k+1 k 1
Nota:X k k+1 := Medida de Lebesgue: , = − =
n , n n n n n n
2 (n − 1)(n) 2 (n − 1)(n)(2n − 1) 1 (n − 1)(n) 2
2
S4 (x 4 ) = ( 4 ) +( 3) +( 2) + ( )(n − 1)
n 2 n 6 n 2 n
1 (n − 1) 2 (n) 2 1 2n 3 − 2n 2 + n) 1 (n 2 − n) n −1
S4 (x 4 ) = ( ) 2 + ( ) 3 + ( ) + (2)( )
2 n 3 n 2 2 n
Por el Teorema Fundamental de Convergencia
Monótona de LEBESGUE
fdm = lim
A
n→
A
Sn (x) dm
1 2 1 1 3 1 1 1 1
S4 (x 4 ) = lim (1 + + 2 ) + (2 + + 2 ) + (1 − ) + 2(1 − )
n→ 2 n n 3 n n 2 n n
1 2
0
1
0
1 3
0
1
0
1 1
0 0
1
S4 (x 4 ) = (1 + + ) + (2 + + ) + (1 − ) + 2(1 − )
2 3 2
1 1 1 2 11
S4 (x 4 ) = (1) + (2) + (1) + 2(1) = 1 + 2 + = u 2
2 3 2 3 3
Comprobando su resultado usando el
2do. Teorema Fundamental del Cálculo
1
11 2
0 (2x + 2x + x + 2)dx = 3 u , comprobando con el GEOGEBRA
3 2
[Link]
Microsoft
Teams
[Link]
[Link]