Cauchy 數列(sequence)
- 定義:數列的極限
- 為一數列,.
- 若
- 稱數列收斂於,或稱數列的極限為,記為.
- 極限直觀的想法是只要夠大,則可以與接近到任意程度,但是此定義仍然必須先知道收斂值之值。
- 定義:Cauchy 數列
- 為一數列
- 若時
- 稱為一Cauchy數列。
- Cauchy數列的功能在於不須知道收斂值,只須檢定數列中元素的接近程度即可判別數列是否收斂。
- Theorem:收斂數列必為Cauchy數列 (反之不一定成立)
Cauchy數列的性質
- Theorem:在實數系中的每個Cauchy數列都是有界數列。
- Proof:
- 令為Cauchy數列。
- 依定義,給定正數1,.
- 所以當.
- 令.
- .
- 所以為有界集合 (QED).
- Theorem:實數系中的每個Cauchy數列都會收斂於某一實數。
- 因實數為完備空間,因此定理成立。
- Proof:[存在性]
- 令為實數所形成的Cauchy數列,則依上述定理,集合為有界集合。
- ,令.
- 則為的子集,所以 也是有界集合。
- 依實數的完備性,令 ,則。
- .
- 根據數學歸納法,.
- 因此集合的每個元素都大於或等於集合的每個元素。
- 所以集合有下界,且集合有上界。
- 令[1].
- Proof:[證明, 且數列收斂]
- 因為為Cauchy數列,所以.
- 可改寫為。
- 令集合的每個元素均小於集合的每個元素。
- 因此可知前一集合的最小上界小於或等於後一集合的最大下界,即.
- .[2]
- Proof: [證明數列收斂]
- 不是的下界,於是可以找到.
- 同理不是的上界,因此可以找到.
- 令,則當,可得。
- 因此.
- 所以.[3]