INTEGRAL DE LEBESGUE

 Sea f : A ⊂ R → R , donde A=[ 0 ,1 ], para f ( x )=x 2 + x +6, integrar por medio de la

integral de Lebesgue.

Consideremos: Sn : A= [ 0 , 1 ] → R

Sn ( x i )=S1 ( x 1) + S 2 ( x 2 ) +…+ S n ( x ¿ )

→ f ( x )=x 2+ x +6

S1 ( x1 ) =x 2

S2 ( x 2) =x

S3 ( x 3 )=6
n−1
Si ( x i) =∑ ( S 1 ( x 1 ) + S2 ( x 2) + S 3 ( x 3 ) ) X
k=0 [ k k +1
,
n n ]
n−1

k=0 (
¿ ∑ S 1 ( x1 ) X
[ k k+1
,
n n ]
+ S2 ( x 2 ) X
[ k k +1
,
n n ]
+ S3( x3) X
[ k k+1
,
n n ])
n−1 n−1 n−1
¿ ∑ S1 ( x 1 ) X k +1 ∑ 2 ( 2 )
+ S x X +∑ S 3 ( x 3 ) X
k=0 [ k
,
n n ] k=0 [ k k+1
,
n n ] k=0 [ k k+1
,
n n ]

Las medidas de Lebesgue:

1
→X ⇒
[ k k+1
,
n n ] n

k +1 k k +1−k 1
− = =
n n n n

( )
2
2 k
→ S 1 ( x 1 )=x →
n2

→ S 2 ( x 2 )=x → ( kn )
→ S 3 ( x 3 ) =6

( )( ) ( )( ) ( )
n−1 n−1 n−1
k2 1 k 1 1
S3 ( x 3 )= ∑ +∑ + ∑ (6)
k=0 n2 n k=0 n n k=0 n

) ∑( ) ∑( ) ∑( )
n−1 2 n−1 n−1
k k 6
S3 ( x 3 = + +
n k=0 n k=0 n
3 2
k=0
 ( ) ( ) ( )∑ 1¿
n −1 n−1 n−1
1 1 6
¿
n
3 ∑ (k ¿ ¿2)+ n
2 ∑ (k )+ n
k=0 k=0 k =0

S ( x )=
3 3 [
(n ) 6
1 n ( n−1 ) (2 n−1 )
3 ] + [
(n ) 2 n
1 n ( n−1 )
] +( ) ( n−1 )
6
2

S3 ( x 3 )= ( 61 )[ n(n−1)(2
n
n−1)
] 2[ n ] n )
+( )
1 n( n−1)
3
+ (6 ) (
n−1
2

S3 ( x 3 )= ( )[ 1 2 n3 −2 n2+ n
6 n3
+
1
2 ] ( )[ ] ( ) n2−n
n 2
+( 6 )
n−1
n

• Teorema Fundamental de Convergencia Monótona de Lebesgue

❑ ❑

∫ f dm=lim
n→∞
∫ S n ( x ) dm
A A

S3 ( x 3 )=lim
n→∞ {( 1 2 n3 2n 2 n 1 n2 n
6 n 3
− 3 + 3 +
n n 2 n n
2
n 1
− 2 +6 −
n n ) ( ) ( )}
¿ lim
n→∞ {(
1
6
2 1 1 1
2− + 2 + 1− +6 1−
n n 2 n
1
n ) ( ) ( )}
Evaluamos n = ∞

S3 ( x 3 )=
{(
1
6
2 1 1 1
2− + + 1− +6 1−
∞ ∞ 2 ∞
1
∞ ) ( ) ( )}
S3 ( x 3 )= {61 ( 2) + 12 ( 1)+ 6 ( 1)}= 13 + 12 +6= 416 ≅ 6.83u 2

Comprobación por integrales

1 1
→∫ f ( x ) dx=∫ ( x + x +6 ) dx
2

0 0

| |
1 1 1 1 1
x3 x2
¿ ∫ x dx +∫ xdx +∫ 6 dx=
1
+ 6 x|0
2
+
0 0 0 3 0 2 0

(
13 03 12 02
2 2 )( 1 1
3 2
41
)
¿ − + − + ( 6 ( 1 )−6 ( 0 ) )= + +6= ≅ 6.83 u2
3 3 6
Comprobación usando el GeoGebra:
 Sea f : A ⊂ R → R , donde A= [ 0 ,1 ], para f ( x )=x π + x e, integrar por medio de la
integral de Lebesgue.

Consideremos: Sn : A= [ 0 , 1 ] → R

Sn ( x i )=S1 ( x 1) + S 2 ( x 2 ) +…+ S n ( x ¿ )

→ f ( x )=x π + x e

S1 ( x1 ) =x π

S2 ( x 2) =x e
n−1
Si ( x i) =∑ ( S 1 ( x 1 ) + S2 ( x 2) ) X
k=0 [ k k+1
,
n n ]
n−1 n−1 n −1

(
¿ ∑ S 1 ( x1 ) X
])
=∑ S 1 ( x1 ) X +∑ S 2 ( x 2 ) X
2
+ S ( x2 ) X
k=0 [ k k+1
,
n n ] [ k k +1
,
n n k=0 [ k k+1
,
n n ] k=0 [ k k+1
,
n n ]

Las medidas de Lebesgue:

k
→X ⇒
[ k k+1
,
n n ] n

( ) ( ) n)
n−1 n−1

( ) (
π e
k 1 1 k
S2 ( x 2 ) = ∑ +∑ e
k=0 nπ n k=0 n

( ) ( )( )
n−1 n −1 n −1 n−1
S2 ( x 2) =∑
k=0 n
kπ
π +1
+ ∑
k=0 n
ke
e+1
1
= π +1
n
∑ (k ¿ ¿ π )+
k=0
( )∑ ( k ) ¿
1
n e+1 k=0
e
 ( n )[ ] ( )[ ]
2 2
1 n ( n−1 ) 1 n ( n−1 ) ( 2 n−1 )
S2 ( x 2 ) = π +1
+ e+1
4 n 6

S2 ( x 2) =( n )[
1
π +1
n4−2n 3+ n2
4 n
1
+ e+1 ] ( )[ 2 n3−3 n2 +n
6 ]
S2 ( x 2 ) =( )[
1
4
n4 −2 n3 +n2
n π +1
+
1
6 ] ( )[ 2 n3−3 n2+ n
ne+1 ]
• Teorema Fundamental de Convergencia Monótona de Lebesgue
❑ ❑

∫ f dm=lim ∫ S n ( x ) dm
n→∞ A
A

{( ) ( )}
4 3 2 3 2
1 n 2n n 1 2n 3 n n
S3 ( x 3 )=lim − π +1 + π +1 + − e+1 + e+1
n→∞ 4 n 6 n
π +1 e+1
n n n n

¿ lim
n→∞ {(
1
4
2 1 1 3 1
1− + 2 + 2− + e
n n 6 n n ) ( )}
Evaluamos n = ∞

S2 ( x 2 ) =
{(
1
4
2 1 1 3 1
1− + 2 + 2− + e
∞ ∞ 6 ∞ ∞ ) ( )}
S2 ( x 2 ) = { 14 ( 1) + 16 ( 2)}= 14 + 13 = 127 ≅ 0 .58 u 2

Comprobación por integrales

1 1
→∫ f ( x ) dx=∫ ( x + x ) dx
π e

0 0

e+ π +2 2
¿ =0.51 u
( π +1)( e+1)

 Sea f : A ⊂ R → R , donde A=[ 0 ,1 ], para f ( x )=x 9 + x , integrar por medio de la

integral de Lebesgue.

Consideremos: Sn : A= [ 0 , 1 ] → R

Sn ( x i )=S1 ( x 1) + S 2 ( x 2 ) +…+ S n ( x ¿ )
π e
→ f ( x )=x + x
9
S1 ( x1 ) =x

S2 ( x 2) =x
 n−1
Si ( x i) =∑ ( S 1 ( x 1 ) + S2 ( x 2) ) X
k=0 [ k k+1
,
n n ]
n−1 n−1 n −1

(
¿ ∑ S 1 ( x1 ) X
])
=∑ S 1 ( x1 ) X +∑ S 2 ( x 2 ) X
2
+ S ( x2 ) X
k=0 [ k k+1
,
n n ] [ k k +1
,
n n k=0 [ k k+1
,
n n ] k=0 [ k k+1
,
n n ]

Las medidas de Lebesgue:

k
→X ⇒
[ k k+1
,
n n ] n

( )( ) ( )( )
n−1 n−1
k9 1 k 1
S2 ( x 2 ) = ∑ +∑
k=0 n9 n k=0 n n

( ) ( )( )
n−1 n−1 n−1 n−1
S2 ( x 2) = ∑
k=0
k9
n
10
k
k=0 n n
1
+ ∑ 2 = 10 ∑ (k ¿¿ 9)+ n12
k=0
( )∑ ( k ) ¿
k=0

( )[
1 n ( n−1 ) ( n −n−1 ) (2n −4 n −n +3 n+3)
] ( )[ n (n−1
2 ]
2 2 4 23 2
1 )
S2 ( x 2) = 10 + 2
n 20 n

( n1 ) [ 2 n −10 n +15 n 20−14 n +10 n −3 n ]+( n1 )[ n −n

2 ]
10 9 8 6 4 2 2
S ( x )=
2 2 10 2

S2 ( x 2) = ( )[
1
20
2 n10−10 n9 +15 n 8−14 n6 +10 n 4−3 n 2
n
10
+
1 n2 −n
2 n
2 ] ( )[ ]
• Teorema Fundamental de Convergencia Monótona de Lebesgue
❑ ❑

∫ f dm=lim
n→∞
∫ S n ( x ) dm
A A

S2 ( x 2) =lim
n→∞ { (1 2n 10 10 n9 15 n8 14 n 6 10 n4 3 n2 1 n2 n
20 n10
− 10 + 10 − 10 + 10 − 10 +
n n n n n
−
2 n2 n2 ) ( )}
¿ lim
n→∞ { ( 1
20
10 1 5 14 10 3 1
2− + 2 − 4 + 6 − 8 + 1−
n n n n n 2
1
n ) ( )}
Evaluamos n = ∞

S2 ( x 2 ) =
{ (1
20
10 15 14 10 3 1
2− + 2 − 4 + 6 − 8 + 1−
∞ ∞ ∞ ∞ ∞ 2
1
∞ ) ( )}
 S2 ( x 2 ) = {201 ( 2)+ 12 ( 1) }= 101 + 12 = 1222 ≅ 0 . 5 4 u 2

Comprobación por integrales

1 1
→∫ f ( x ) dx=∫ ( x + x ) dx
9

0 0

| |
1 1 1 1
x 10 x 2
¿ ∫ x dx+∫ xdx=
9
+
0 0 10 0 2 0

( )( )
10 10 2 2
1 0 1 0 1 1 12
¿ − + − = + = ≅ 0.54 u 2
10 10 2 2 10 2 22