基本定理 区间套 致密性定理 任何一个有界数列必有收敛的子列 数列有界是数列收敛的必要条件, 数列有界未必收敛 柯西收敛原理 数列 {yn} 有极限的充要条件是 ∀ε>0,∃N>0, 使 m,n>N,∣ym−yn∣>ε. 有限覆盖定理