一个定理证明的完善

在刘玉琏、傅沛仁编《数学分析讲义》〔Ⅰ〕(以下简称《讲义》)§2.4中,定理7(柯西收敛准则)充分性的证明是不够完善的,从理论上讲是有缺陷的.鉴于《讲义》发行面广,既作为高等师范本科与专科的教材,又作为高等理科院校的函授教材及高等教育自学用书,特别是从1987年起又被选作卫星电视教育、中学教师培训教材,故指出其缺陷,完善其证明是很有必要的。现将定理7及充分性证明摘录如下.定理7(柯西收敛准则)极限(?)(x)存在的必要充分条件是.对任意ε>0,总存在δ>0,对任意 x′与 x″,当0<|x′—a|<δ与0<|x″～a|<δ时,有|f(x′)—f(x″)|<ε证明充分性已知对任意ε>0,总存在δ>0,对任意 x′与 x″,当0<|x′—a|<δ与0<|x″～a|<δ时,有|f(x′)—f(x″)|<ε.