数分定理上册.docVIP

可列个可列集之并也是可列集。 有理数集Q是可列集。 三角不等式∣∣a∣-∣b∣∣≤∣a+b∣≤∣a∣+∣b∣。 平均值不等式 SKIPIF 1 0 ≥ SKIPIF 1 0 ≥ SKIPIF 1 0 确界存在定理——实数系连续性定理：非空有上界的数集必有上确界；非空有下界的数 集必有下确界。 非空有界数集的上（下）确界是惟一的。 数列极限的性质 （1）极限的唯一性：收敛数列的极限必惟一。 （2）数列的有界性：收敛数列必有界。 （3）数列的保序性：设数列 SKIPIF 1 0 均收敛，若 SKIPIF 1 0 SKIPIF 1 0 且 SKIPIF 1 0 ，则存在正整数N，当nN时，成立 SKIPIF 1 0 。 推论：1）.若 SKIPIF 1 0 0,则存在正整数N，当nN时， SKIPIF 1 0 ； 2）.若 SKIPIF 1 0 0,则存在正整数N，当nN时， SKIPIF 1 0 . （4）极限的夹逼性：若三个数列{ SKIPIF 1 0 }，{ SKIPIF 1 0 }，{ SKIPIF 1 0 }从某项开始成立