∴数列{cn}收敛,且lim( n→∞) cn=a. 原命题得证。
定理(四则运算):若{an}与{bn}为收敛数列,则{an+bn},{an-bn},{an·bn}也都是收敛数列,且有
lim( n→∞) (an±bn)=lim( n→∞) an±lim( n→∞) bn,lim( n→∞) (an·bn)=lim( n→∞) an·lim( n→∞) bn
当bn为常数c时,有lim( n→∞) (an+c)=lim( n→∞) an+c,
lim( n→∞) (can)=c lim( n→∞) an
若bn≠0及lim( n→∞) bn≠0,则{an/bn }也是收敛数列,且有
lim( n→∞) an/bn =(lim( n→∞) an)/(lim( n→∞) bn )
证:设lim( n→∞) an=a,lim( n→∞) bn=b,则对ε>0,正数N1,N2,
使当n>N1时,有|an-a|<ε; 当n>N2时,有|bn-b|<ε.
取N=max{N1,N2},则当n>N时,有|an-a|+|bn-b|<2ε.
又|(an-a)+(bn-b)|=|(an +bn)-(a+b)|≤|an-a|+|bn-b|<2ε.
∴lim( n→∞) (an+bn)=a+b= lim( n→∞) an+lim( n→∞) bn;
∵an-bn=an+(-1)bn,
∴lim( n→∞) (an-bn)=a-b= lim( n→∞) an-lim( n→∞) bn也成立.
另|anbn-ab|=|bn(an-a)+a(bn-b)| ≤|bn||an-a|+|a||bn-b|<(|bn|+|a|)ε.
由收敛数列的有界性定理,存在正数M,对一切n有|bn|
∴当n>N时,有|anbn-ab|<(M+|a|)ε.
∴lim( n→∞) (an·bn)=lim( n→∞) an·lim( n→∞) bn.
∵an/bn =an·1/bn ,
∴lim( n→∞) an/bn =(lim( n→∞) an)/(lim( n→∞) bn )也成立.
由于lim( n→∞) bn=b≠0,根据收敛数列的保号性,存在正数N3,使得当n>N3时有
|bn|>1/2|b|. 取N’=max{N2,N3},则当n>N’时有
|1/bn -1/b|=|bn-b|/|bn b| <2|bn-b|/b^2 <2ε/b^2 .
∴lim( n→∞) 1/bn =1/b.