CCOMP:Seanf,g:[a,b)->Rlocalmenteintegrablsen[a,b)tq3C*a,b)tq0<=f(x)<=g(x),Vx*c,b)Entoncs:1)Si{a,->b}g(x)dxconverge,entoncs{a,->b}f(x)dxconverge.2)Si{a,->b}g(x)dxnoconverge,entonces{a,->b}f(x)dxnoconverge.

DMSTR:1)Supongoque0<=f(x)<=g(x),Vx*a,b),consideroF,G:*a,b)->RtqF(x)={a,x}
f(t)dtyG(x)=,a,x-g(t)dt.Como0<=f(t)<=g(t),Vt*a,b),demonotoniadintegralsetiene:0<=,a,x-f(t)dt<=,a,x-g(t)dtVx*a,b),esdecir,0<=F(x)<=G(x),Vx*a,b).
FyGcrecientesen*a,b):six,y*a,b),x<y,F(y)=,a,y-f(t)dt=,a,x-f(t)dt+,x,y-f(t)dt>=,a,x-f(t)dt=F(x),con,x,y-f(t)dt>=0pqx<=yyf(t)>=0,Vt*x,y+.Supongoque{a,>b}g(t)dtconverg,esdecir,Lim(x->b-){a,->b}g(t)dt=Lim(x->b-)G(x)3yfinito.ComoGesmonotonacrecient,Lim(x->b-)G(x)=sup(G(x):x*a,b))R.ComoF(x)<=
G(x),Vx*a,b),luego,sup(F(x):x*a,b))<=sup(G(x):x*a,b))<%.ComoFescreciente,Lim(x->b-){a,x}f(t)dt=Lim(x->b-)F(x)=sup(F(x):x*a,b))R,xtanto,{a,->b}
f(t)dtesconvergente.2)Supongoque3C*a,b)tq0<=f(x)<=g(x),Vx*a,b).Vx*a,b)setieneq{a,x}f(t)dt={a,c}f(t)dt+{c,x}f(t)dt.Como{a,c}f(t)dtesconstante,Li
m(x->b-){a,x}f(t)dt3yfinito,<=>,Lim(x->b-){x,c}f(t)dt3yfinito,esdecir,{a,->b}f(x)dxconverge<=>{c,->b}f(x)dxconverge.Dformaanaloga{a,->b}g(x)dxconve
rge<=>{c,->b}g(x)dxconverg.Si{a,->b}g(t)dtconverge,entoncs{c,->b}g(t)dtconverg,nvirtudde1),setieneque:{c,->b}f(t)dtconverge,=>{a,->b}f(t)dtconverg
RCADENA:SeanA,BconjuntosabiertosdeRyf:A>B,g:B>,tq:1)fderivableen(a)A.2)gderivableen(b)=f(a)B.Entonces(gof)derivableen(a),y(gof)(a)=g(
f(a))*f(a)=g(b)*f(a).DMSTR:Comfderivablen(a),setieneque:1)f(x)=f(a)+f(a)*(x-a)+E(x)*(x-a),VxA,dondE:A->R,conLim(x>a)E(x)=E(a)=0.Comgderivbl(b)=f(a),setieneque:2)g(y)=g(b)+g(b)*(y-b)+S(y)*(y-b),VyB,dondeS:B->,conLimS(y)=S(b)=0.Sitenemsy=f(X),xA,sustituims1)en2),tenmsq:(gof)(x)=
g(f(x))=g(b)+g(b)*(f(x)-b)+S(f(x))*(f(x)-b)=g(b)+g(b)*(f(a)+f(a)*(x-a)+E(x)*(x-a)-f(a))+S(f(x))*(f(a)+f(a)*(x-a)+E(x)*(x-a)-f(a))=g(f(a))+g(b)*f(a)*(x-a)+
(x-a)*(E(x)+S(f(x))*f(a)+S(f(x))*E(x)).Siescribimos&:A->,tq,&(x)=E(x)+S(f(x))*f(a)+S(f(x))*E(x),six#ay&(a)=0,setieneque:Lim(x>a)&(x)=&(a)=0pq:Lim
(x->a)E(x)=0yLim(x->a)S(f(x))=0pqScontinuan(b),S(b)=0yLim(x->a)f(x)=b.Lueghemsprobaoq(gof)(x)=(gof)(a)+g(b)*f(a)*(x-a)+&(x)*(x-a),conLim(x->a)
&(x)=&(a)=0.Portanto,fderivableen(a)y(gof)(a)=g(b)*f(a)=g(f(a))*f(a).TFUND.DEL.CALCU:Seaf:[a,b]->R,integrable-Riemann.SedefineF:[a,b]->R,comoF(x)=,a,x-f(t)dt.1)Fcontinuaen*a,b+.2)Sifcontinuaenpunto(c)*a,b+,entoncesFderivableen(c)yF(c)=f(c).DMSTR:Sea(c)*a,b+,Vx*a,b]setieneque:F(x)
-F(c)={a,x}f(t)dt-{a,c}f(t)dt=({a,c}f(t)dt+{c,x}f(t)dt)-{a,c}f(t)dt={c,x}f(t)dt.1)VeamosqFcontinuaen(c):SeaE>0.TomoS=(E/M).Vx*a,b+,|x-c|<S,setieneq:
|F(x)-F(c)|=|{c,x}f(t)dt|<=|{c,x}|f(t)|dt|.Comfintegrabl-Riemannen[a,b],=>acotaden[a,b],sdecr,3M>0,tq,|f(x)|<=M,Vx*a,b+.Lueg,si(x)*a,b+,|x-c|<S,
setieneq:|F(x)-F(c)|<=|{c,x}|f(t)|dt|<=|{c,x}Mdt|=|M(x-c)|=M|x-c|<M*S=M*(E/M)=E.2)Veamsqsifcont.en(c),ntoncsFderivableen(c)yF(c)=f(c).Vx
[a,b],(x)#(c),setienq:|((F(x)-F(c))/(x-c))-f(c)|=|((1/(x-c))*{c,x}f(t)dt)-((1/(x-c))*{c,x}f(c)dt)|=(1/(x-c))*|{c,x}(f(t)-f(c))dt|<=(1/(x-c))*|{c,x}|f(t)-f(c)|dt|.Se
E>0.ComFcont.en(c),3S>0,tq,si(t)*a,b+,|t-c|<S,ntoncs,|f(t) f(c)|<E.Vx*a,b+,0<=|xc|<S,setieneq:si (t)estaentr(c)y(x),((t)*c,x+,si(c)<(x),(t)*x,c+,
si(c)>(x),severific:|t-c|<=|x-c|<S==>|f(t)-f(c)|<ELueg,|((F(x)-F(c))/(x-c))-f(c)|<=(1/(x-c))*|{c,x}|f(t)-f(c)|dt|<=(1/(x-c))*c,x}Edt|=(1/(x-c))*|E(x-c)|=|{E
,esdecr,Lim(x->c)((F(x)-F(c)/(x-c))=f(c),portanto,Fderivableen(c)yF(c)=f(c).