Prueba de la proposicin 6.

5:

() : [, ]

Dado x en [, ] se definen:

=
[, ]

=
{ [, ]

De modo que una particin P de [, ] induce P en [, ] y P en [, ], de modo que:

(, ) = (, ) + (, ) ()

Por hiptesis como (, ) converge a ( ()) cuando IPmI>0 entonces

(, ) (, )

() ()

Pero por (I), estos son () () y luego aplicando limite a (II)

Se tiene:

() + () = ()

Prueba del teorema 6.1:

PARTE 1

(+)()
Para lim+
= ( + )
0

Sea x fijo arbitrario en [, [ > 0 < + < + < implica

, + [, [ , por ser abierto a la derecha. Usando la definicin de : [, ] / () =

() dada en la hiptesis del teorema:

+
( + ) () () ()
| ( + ) | = | ( + ) |

+
() ()
= | ( + ) |

+
= |
() () ( + ) |


+
= |
() () ( + ) |


+ +
() () ( + )
= |
|

+ + +
1 + )
1
= | | | () ( | = | | | (() ( + )) |

Adems por (4) del teorema (6.1) se tiene que como x<x+h<b entonces IhI=h y

+
1 1
| | | (() ( + )) | (x + h x)sup|f(t) f( + )| = sup|f(t) f( + )|

[, + ]

Como h puede volverse tan pequeo como se desee, pues (x+h) es arbitrario a la derecha de x
en [, [ entonces sup|f(t) f( + )| puede tomar cualquier valor no nulo y positivo

Entonces se tiene:
 > 0 > 0 < +
1 ( + ) ()
< + | | | ( + ) | sup|f(t) f( + )|

< , [, + ]

O equivalentemente:

( + ) ()
lim+ = ( + )
0

PARTE 2

(+)()
Para lim
= ( )
0

Sea x fijo arbitrario en] , ] > 0 < < + < implica

, ] , ] , por ser abierto a la derecha. Usando la definicin de : [, ] / () =

() dada en la hiptesis del teorema:

+
( + ) () () ()
| ( ) | = | ( ) |

+
() ()
= | ( ) |

+
= |
() () ( ) |


+
= |
() () ( ) |


+ +
() () ( )
= |
|

+ + +
1 1
= | | | () ( ) | = | | | (() ( )) |


1
= | | | (() ( )) |
+

Adems por (4) del teorema (6.1) se tiene que como a<x+h<x (h<0) entonces IhI=-h y

1 1
| | | (() ( )) | (x x h)sup|f(t) f( )| = sup|f(t) f( )|
+
[, + ]

Como h puede volverse tan pequeo como se desee, pues (x+h) es arbitrario a la derecha de x
en [, [ entonces sup|f(t) f( + )| puede tomar cualquier valor no nulo y positivo

Entonces se tiene:

( + ) ()
> 0 > 0 < + < + | ( ) |


1
=| | | (() ( )) | sup|f(t) f( )| < , [, + ]
+

O equivalentemente:

( + ) ()
lim+ = ( )
0

PARTE 3

Ver la continuidad de F:

Como [, ], () = (), t [, ]

Entonces por teorema fundamental del clculo para funciones de R en Rn
() = ()

Entonces si F es diferenciable entonces F es continua en [, ]

Prueba del corolario 1:

Si f es continua en x arbitrario en [, ] entonces f es regulado pues todo punto posee lmites

laterales, adems como f es continua en [, ] entonces f es integrable en dicho intervalo y se

puede definir () = (), t [, ] con F: [, ] , de modo que por el teorema 6.1

Existen los lmites laterales

( + ) () ( + ) ()
lim+ = ( + ) , lim = ( )
0 0

De modo que por continuidad de f en x se cumple:

) +)
( = ( = ( )

Luego:

( + ) () ( + ) ()
lim+ = ( + ) = ( ) = lim
0 0

(+)()
Obtenindose lim
= () entonces F(x)=f(x)
0
Prueba corolario 2

Como 1

Por el corolario 1 aplicado a : [, ] se obtiene () = (), tal que () = ().
Entonces (f(x) -F(x))=0 esto se verifica si y solo si f(x) F(x) =

Si y solo si f(x) = F(x) + (1)

Adems () = () = (2)

Luego de (2) en (1): f(a) = F(a) + = 0 + = (3)

De (3) en (1) se tiene: f(x) = F(x) + f() F(x) = f() f(x)

Entonces (x) = () = f() f(x)

En particular si x=b: (b) = () = f() f(b)
Prueba del corolario 3:

: () = () = (()) = ( + ) , [0,1]

1 1 = 1 (1)

, : (1) = ( + ) (0) = () (2)

Adems :
(+)
() = (( + )) (3)

Entonces:

Por (1) y aplicando el corolario 2 a () sobre [0,1] se tiene:

1
(1) (0) = () = f() f(b)
0

1
Equivalentemente por (1), (2), (3) ( + ) () = 0 ( + ). = f() f(b)

Luego:
1
f() f(b)
( + ) =
0
Prueba de la proposicin 6.7

Si x0

Entonces > 0 [, ]( ) / (x,t) U |(, ) (0 , )| < , (b>a)

Adems U es tal que {x0}x[a,b]cU luego por propiedad debida a la compacidad de [a,b],
(0 , ) (0 , )[a, b]cU entonces (0 , ), [a, b]

|(, ) (0 , )| <

Entonces |(, ) (0 , )| <

| (, ) (0 , )| = | (, ) (0 , )|



|(, ) (0 , )| <

Usando la definicin () = (, ) se tiene entonces:

| (, ) (0 , ) | < , > 0

Con (0 , ) si y solo si 0 (0 )
 ()

(0) = ((0))

(1) = ((1))

([0,1]) = ([0,1]) = (([0,1])) = ([, + ])

: () = () = (()) = ( + ) , [0,1]

X

X+h

() = + , [0,1]