Denici on y existencia de la integral de funciones acotadas con un n umero nito de discontinuidades Proposici on 1. Sea f : [a, b] R acotada.

. Supongamos adem as que f es continua en [a, b]\{c}, donde c es un punto en (a, b). Entonces para todo > 0 existe > 0 tal que P P ([a, b]) y P < U (P ) L(P ) < . La exposici on de la demostraci on se dividir a en pasos para mayor claridad. 1. Sea > 0 arbitrario. 2. Sean M y m una cota superior y una cota inferior de f respectivamente. 3. Consideremos primeramente un > 0 lo sucientemente peque no para que el intervalo [c , c + ] est e contenido en [a, b]. 4. Como f es continua en [a, c ] y en [c + , b], podemos encontrar 1 > 0 y 2 > 0 tales que P P ([a, c ]) y y P P ([c + , b]) y 5. Denamos = min{1 , 2 , }. 6. Sea P = {x0 , x1 , . . . , xn } P ([a, b]) tal que P < . 7. Escojamos los puntos xj y xk en la partici on P de tal forma que xj c < xj +1 xj xj +1 c y xk1 < c + xk 1 xk c+ xk . P < 2 U (P ) L(P ) < . 4 P < 1 U (P ) L(P ) < , 4

8. Si denotamos P1 = {x0 , . . . , xj } y P2 = {xk , . . . , xn }, podemos descomponer U (P ) L(P ) = U (P1 ) L(P1 ) + S + U (P2 ) L(P2 ), donde S=
k

(Mi mi )(xi xi1 ).

i=j +1

9. Entonces P1 = {x0 , . . . , xj , c } es partici on del intervalo [a, c ] y P2 = {c + , xk , . . . , xn } es partici on del intervalo [c + , b] y y por lo tanto U (P1 ) L(P1 ) < 10. Claramente si M = sup{f (x) : x [xj , c ]} y m = min{f (x) : x [xj , c ]} entonces U (P1 ) L(P1 ) = U (P1 ) L(P1 ) + (M m )((c ) xj ) An alogamente, si K = sup{f (x) : x [xk , c + ]} y k = min{f (x) : x [xk , c + ]} entonces U (P2 ) L(P2 ) = U (P2 ) L(P2 ) + (K k )(xk (c + )) 11. En consecuencia, U (P1 ) L(P1 ) y U (P2 ) L(P2 ) 12. Adem as,
k

P1 < , P2 < ,

y U (P2 ) L(P2 ) < . 4

U (P1 ) L(P1 ) <

U (P2 ) L(P2 ) < . 4

S=

(Mi mi )(xi xi1 )

i=j +1

(M m)(xk xj )

(M m)( + 2 )

(M m)3

13. Obs ervese que todas las igualdades y desigualdades establecidas en los puntos anteriores tienen sentido y son tambi en v alidas en el caso en que xj = c o xk = c + . 14. Tomando en cuenta los puntos (8), (11) y (12), deducimos que U (P ) L(P ) < 2 + (M m)(3).

15. Finalmente, si en el punto (3), dada la > 0 requerimos tambi en que < , entonces concluimos que 6(M m) U (P ) L(P ) < 2 + 2 = .

Nota 1. La conclusi on de la Proposici on 1 se puede obtener an alogamente para una funci on continua en [a, b) y discontinua en {b} o tambi en una continua en (a, b] y discontinua en {a}. Tal como se hace para funciones continuas, de la Proposici on 1 se desprende la existencia de la integral de f en [a, b]: Proposici on 2. Sea f : [a, b] R acotada. Supongamos adem as que f es continua en [a, b]\{c}, donde c es un punto en (a, b). Entonces existe un n umero I con la propiedad siguiente: Para todo > 0 podemos encontrar > 0 tal que P P ([a, b]), P < y TP compatible con P |S (P, TP ) I | < . As como en el caso continuo, este n umero I se dene como la integral de f en [a, b]. Nota 2. Las Proposiciones 1 y 2 se pueden extender facilmente al caso en que la funci on sea acotada y continua excepto en un subconjunto nito del intervalo.