定理 2.8
数列 { a n } \left\{a_{n}\right\} { an} 收敛的充要条件是: { a n } \left\{a_{n}\right\} { an} 的任何子列都收敛.
证
充分性
因为 { a n } \left\{a_{n}\right\} {
an}也是自身的一个子列,所以结论是显然的.
必要性
设 lim n → ∞ a n = a , { a n k } \lim \limits_{n \rightarrow \infty} a_{n}=a,\left\{a_{n_{k}}\right\} n→∞liman=a,{
ank}是 { a n } \left\{a_{n}\right\} {
an} 的任一个子列. 对任给的正数 ε \varepsilon