Cauchy 數列(sequence)

    • 定義:數列的極限
    • {an} \{a_n\} 為一數列,aR a \in \mathbb{R} .
    • ϵ>0 n0Nnn0, ana<ϵ \forall \epsilon > 0 \ \exists n_0 \in \mathbb{N} \ni n \geq n_0,\ |a_n -a| < \epsilon
    • 稱數列{an} \{a_n\} 收斂於a a ,或稱數列的極限為a a ,記為limnan=a \lim_{n \rightarrow \infty} a_n = a .
    • 極限直觀的想法是只要n n 夠大,則an a_n 可以與a a 接近到任意程度,但是此定義仍然必須先知道收斂值a a 之值。
    • 定義:Cauchy 數列
    • {an} \{ a_n \} 為一數列
    • ϵ>0 n0Nm,nn0, aman<ϵ \forall \epsilon > 0 \ \exists n_0 \in \mathbb{N} \ni m,n \geq n_0,\ |a_m - a_n | < \epsilon
    • {an} \{ a_n \} 為一Cauchy數列。
    • Cauchy數列的功能在於不須知道收斂值,只須檢定數列中元素的接近程度即可判別數列是否收斂。
  • Theorem:收斂數列必為Cauchy數列 (反之不一定成立)

Cauchy數列的性質

  • Theorem:在實數系中的每個Cauchy數列都是有界數列。
    • Proof:
    • {an} \lbrace a_n \rbrace 為Cauchy數列。
    • 依定義,給定正數1,n0Nm,nn0, aman1 \exists n_0 \in \mathbb{N} \ni m,n \geq n_0,\ |a_m - a_n | \leq 1 .
    • 所以當nn0,anan0<1an<an0+1 n \geq n_0, | a_n - a_{n_0} | < 1 \Rightarrow |a_n| < |a_{n_0} | + 1 .
    • r=max{a1,a2,,an01,an0+1} r = \max \lbrace |a_1|, |a_2|, \cdots, |a_{n_0 - 1}| , | a_{n_0}| + 1 \rbrace
    • nN, anr \therefore \forall n \in \mathbb{N},\ |a_n| \leq r .
    • 所以{annN} \{ a_n | n \in \mathbb{N} \} 為有界集合 (QED).
    • Theorem:實數系中的每個Cauchy數列都會收斂於某一實數。
    • 因實數為完備空間,因此定理成立。
    • Proof:[存在性]
    • {an} \lbrace a_n \rbrace 為實數所形成的Cauchy數列,則依上述定理,集合{ammN} \lbrace a_m | m \in \mathbb{N} \rbrace 為有界集合。
    • nN \forall n \in \mathbb{N} ,令Sn={ammN, mn} S_n = \lbrace a_m | m \in \mathbb{N}, \ m \geq n \rbrace .
    • Sn S_n S1={ammN} S_1 = \lbrace a_m | m \in \mathbb{N} \rbrace的子集,所以Sn S_n 也是有界集合。
    • 依實數的完備性,令 bn=supSn, cn=infSn b_n = \sup S_n,\ c_n = \inf S_n ,則cnanbn c_n \leq a_n \leq b_n
    • Sn+1Snbn+1bn, cn+1cn \because S_{n+1} \subset S_n \therefore b_{n+1} \leq b_n, \ c_{n+1} \geq c_n .
    • 根據數學歸納法,m,nN, bnbn+mcn+mcm \forall m,n \in \mathbb{N},\ b_n \leq b_{n+m} \geq c_{n+m} \geq c_m .
    • 因此集合{bnnN} \lbrace b_n | n \in \mathbb{N} \rbrace 的每個元素都大於或等於集合{cmmN \lbrace c_m | m \in \mathbb{N} 的每個元素。
    • 所以集合{bn} \lbrace b_n \rbrace 有下界,且集合{cm} \lbrace c_m \rbrace 有上界。
    • b=inf{bn}, c=sup{cm}bc b = \inf \lbrace b_n \rbrace, \ c = \sup \lbrace c_m \rbrace \Rightarrow b \geq c [1].
    • Proof:[證明b=c b=c , 且數列an | a_n | 收斂]
    • 因為{an} \{ a_n \} 為Cauchy數列,所以epsilon>0 n0Nm,nn0,aman<ϵ\forall epsilon > 0 \ \exists n_0 \in \mathbb{N} \ni m,n \geq n_0, |a_m - a_n | < \epsilon .
    • 可改寫為anϵ<am<an+ϵ a_n - \epsilon < a_m < a_n + \epsilon
    • 令集合{ammN, mn0} \lbrace a_m | m \in \mathbb{N},\ m \geq n_0 \rbrace 的每個元素均小於集合{an+ϵnN,nn0} \lbrace a_n + \epsilon | n \in \mathbb{N}, n \geq n_0 \rbrace的每個元素。
    • 因此可知前一集合的最小上界小於或等於後一集合的最大下界,即bn0cn0+ϵ0bcbn0cn0ϵ b_{n_0} \leq c_{n_0} + \epsilon \Rightarrow 0 \leq b -c \leq b_{n_0} - c_{n_0} \leq \epsilon .
    • epsilon>0, 0bcϵb=c \therefore \forall epsilon > 0, \ 0 \leq b - c \leq \epsilon \Rightarrow b=c.[2]
    • Proof: [證明數列{an} \{ a_n \} 收斂]
    • ϵ>0, b+ϵ\forall \epsilon > 0, \ b+ \epsilon 不是{bn} \{ b_n \} 的下界,於是可以找到n1Nbn1<b+ϵ n_1 \in \mathbb{N} \ni b_{n_1} < b + \epsilon .
    • 同理ϵ>0, bϵ=cϵ \forall \epsilon > 0,\ b- \epsilon = c - \epsilon 不是{cn} \{ c_n \} 的上界,因此可以找到n2Ncn2>bϵ n_2 \in \mathbb{N} \ni c_{n_2} > b - \epsilon .
    • n0=maxn1,n2 n_0 = \max{n_1, n_2} ,則當nn0 n \geq n_0 ,可得bnbn1 and cncn2>bϵ b_n \leq b_{n_1} \text{ and } c_n \geq c_{n_2} > b - \epsilon
    • 因此bϵ<cnanbn<b+ϵanb<ϵ,nn0 b - \epsilon < c_n \leq a_n \leq b_n < b + \epsilon \Rightarrow | a_n - b| < \epsilon, \forall n \geq n_0 .
    • 所以limnan=b \lim_{n \rightarrow \infty} a_n = b .[3]

results matching ""

    No results matching ""