柯西極限存在準則(柯西收斂準則)

柯西極限存在準則

柯西收斂準則一般指本詞條

柯西極限存在準則又叫柯西收斂原理,給出了收斂的充分必要條件。

基本介紹

  • 中文名:柯西極限存在準則
  • 外文名:Cauchy's convergence test
  • 數學範疇高等數學-純數學
  • 數學理論極限理論
  • 延生源微積分
  • 別稱:柯西收斂原理
  • 意義:給出了收斂的充分必要條件。
套用方面,數列,數項級數,函式,反常積分,項級數,

套用方面

柯西極限存在準則,又稱柯西收斂準則,是用來判斷某個式子是否收斂的充要條件(不限於數列),主要套用在以下方面:
(1)數列
(2)數項級數
(3)函式
(5)函式列和函式項級數
每個方面都對應一個柯西準則,因此下文將按照不同的方面對準則進行說明。

數列

數列的柯西收斂準則
數列
收斂的充分必要條件是:對於任意給定的正數ε,總存在正整數N,使得當n>N,m>N,m≠n時有
我們把滿足該條件的{xn}稱為柯西序列,那么上述定理可表述成:數列{xn}收斂,若且唯若它是一個柯西序列。
該準則的幾何意義表示,數列{xn}收斂的充分必要條件是:該數列中的元素隨著序數的增加而愈發靠近,即足夠靠後的任意兩項都無限接近。
證明
必要性
,則
,當m,n>N時,有
那么,
充分性
由於數列的柯西收斂準則是實數連續性的體現之一,所以用實數公理——戴德金定理證明{xn}收斂。
首先證明柯西序列是有界的。根據柯西序列的定義,對任意ε>0,存在正整數N,當m,n>N時,有|xn-xm|<ε。
於是取m=N+1,則當n>N時,|xn-xN+1|<ε。
解得xN+1-ε<xn<xN+1+ε,即當n>N時,{xn}既有上界又有下界,所以是有界的。
向上述數列中添加{xn}的前N項得到{xn}本身,則由於前N項都是確定的實數,不會改變{xn}的有界性(即使此時{xn}的上、下界發生變化)。故對任意正整數n,{xn}都是有界的。
其次證明柯西序列收斂。設{xn}⊆[a,b],有一個實數集A,A中的任一元素c滿足:區間(-∞,c)中最多有{xn}中的有限項(注意用詞“最多”,意味著可以有0項),而{xn}中的無限項都落在[c,+∞)。並把A在R中的補集設為B,則:
①由取法可知a∈A,並且顯然b∈B。即A和B都是非空數集。
②A∪B=R。
③根據集合A、B的定義,A中任意元素都小於B中的任意元素。
由戴德金定理得,存在唯一實數η,使η要么是A中的最大值,要么是B中的最小值。
∵η是A和B的分界點
④由A的定義可知,
根據已知條件,當m,n>N時,|xn-xm|<ε
於是xm-ε<xn<xm+ε。聯立④中的不等式,可得到η-2ε<xn<η+2ε。
也就是當n>N時,不等式|xn-η|<2ε成立
套用
作為柯西收斂準則的套用之一,我們可以用來證明實數的確界原理
確界原理:非空有上(下)界數集,必有上(下)確界。
證明:先證非空有上界數集必有上確界。
設S是一個非空有上界的數集,且b1是其一個上界。則由S的非空性及實數的有序性可知,必定存在一個實數a1,使得a1小於S中的某個元素,即a1不是S的上界。
把閉區間[a1,b1]二等分,考慮閉區間中點
,如果
是S的上界,則令
;否則令
重複此步驟,即如果某個閉區間中點
是S的上界,則令
,否則令
。這樣一來得到了一系列閉區間,滿足
①an≤an+1<bn+1≤bn
並且由閉區間的構造方式可知,對任意自然數n,an都不是S的上界,而bn都是S的上界。
下證{an}、{bn}收斂。
極限的定義,根據②可知,
,使得當n>N時,|bn-an|<ε。
並且對任意正整數n和p,根據①可知,an≤an+p<bn+p≤bn
於是當n>N時,0≤|an+p-an|<|bn-an|<ε。
令n+p=m,即可得到{an}是一個柯西序列,由柯西收斂準則知{an}收斂。
,由②得
下證r是S的上確界。
∵bn是S的上界
∴對S中的任一元素x,都有x≤bn
由極限的保序性逆定理可知x≤r,即r是S的上界。
又取任意r’<r,由
及極限保序性可知,存在正整數N,當n>N時,就有an>r'。
∵an不是S的上界
∴r‘不是S的上界
即比r小的數不再是S的上界。根據上確界的定義,r是S的上確界,即非空有上界的數集必有上確界。
其次,再來證明非空有下界數集必有下確界。
設B是一個非空有下界的數集,A是B的所有下界組成的數集。
根據下界的定義,
,都有a≤b。換句話說,B中的所有元素都是A的上界,A是一個非空有上界數集。由於已證得非空有上界數集必有上確界,所以A有上確界,記該上確界為r。
下證r也是B的下確界。
顯然r∈A,這是因為如果r∉A,那么r一定是B中的最小值(根據上確界的定義),即對任意B中的元素b,都有r≤b。根據下界的定義,r也是B的一個下界,這樣一來r∈A,與假設矛盾。
又取任意r''>r,所以r''∉A,即比r大的數不再是B的下界。根據下確界的定義,r是B的下確界,即非空有下界數集必有下確界。

數項級數

數項級數的柯西收斂準則
數項級數
收斂的充要條件是:對於任意給定的正數ε,總存在正整數N,使得當m>n>N時,有
證明
設數項級數
的部分和為Sn,根據級數收斂的定義,
收斂若且唯若
收斂。
顯然,對於確定的n來說,Sn都有唯一一個確定的數值,這樣一來{Sn}就是一個數列。故考慮用數列的柯西收斂準則來證明。
∴由數列的柯西收斂準則可知,數項級數的柯西收斂準則也成立。

函式

考慮到數列是特殊的函式(即定義域為正整數集),可以猜想,函式的斂散性也應當有類似的結論,這就是接下來要說的函式的柯西收斂準則。
函式的柯西收斂準則
(1)x→x0時的準則
收斂的充要條件是:對於任意給定的正數ε,總存在正數δ,使得當0<|x1-x0|<δ,0<|x2-x0|<δ時,有
(2)x→∞時的準則
收斂的充要條件是:對於任意給定的正數ε,總存在正數X,使得當|x1|>X,|x2|>X時,有
x1、x2是f(x)的定義區間上任意兩個實數。
以上準則針對單側極限依然有效。
該準則的充要條件又稱為(函式的)柯西條件,換句話說,函式收斂若且唯若函式滿足柯西條件。
證明
必要性
(1)x→x0 時的準則
,則
,當0<|x1-x0|<δ,0<|x2-x0|<δ 時,有
那么,
(2)x→∞ 時的準則
,則
,當|x1|>X,|x2|>X 時,有
那么,
充分性
由於函式極限和數列極限可以通過歸結原則聯繫起來,所以要證明函式收斂,可以轉化為證明數列收斂。而數列收斂的柯西準則上面已經證明了,所以把已知條件轉化為求數列極限是證明的重心。
歸結原則(或稱海涅定理):設f(x)在x0的某個去心鄰域(或|x|大於某個正數時)有定義,那么
(或
)的充要條件是,對在x0的某個去心鄰域內的任意收斂於x0並且滿足xn≠x0的數列{xn}(或絕對值大於某個正數的任意發散到無窮大的數列{xn}),都有數列{f(xn)}收斂到A,即
這個原則在這裡不證明,只需要注意的是定理中的“任意”二字。另外,如果函式極限是單側極限,則相應的任意數列都是單調數列(右極限對應任意單調遞減數列,左極限對應任意單調遞增數列)。
(1)x→x0 時的準則
設{xn}是x0的某個去心鄰域內的任意收斂到x0並且xn≠x0的數列,由數列極限的定義,
(注意這裡的δ就是柯西條件的δ),當m,n>N時,有
而由0<|xm-x0|<δ,0<|xn-x0|<δ 可知,
換句話說,當m,n>N時,有
這也就是數列的柯西收斂準則,由柯西收斂準則可知數列{f(xn)}收斂。又因為{xn}的任意性,得到任意{xn}的極限都相等。於是根據歸結原則,f(x)收斂。
(2)x→∞ 時的準則
設{xn}是絕對值大於某個正數的任意發散到無窮大的數列,由數列發散到無窮大的定義,
(注意這裡的X就是柯西條件的X),當m,n>N時,有
而由|xm|>X,|xn|>X 可知,
換句話說,當m,n>N時,有
這也就是數列的柯西收斂準則,由柯西收斂準則可知數列{f(xn)}收斂。又因為{xn}的任意性,得到任意{xn}的極限都相等。於是根據歸結原則,f(x)收斂。

反常積分

反常積分分為兩種,一種是積分區間含有無窮大的反常積分(又叫做無窮限的反常積分),另一種是被積函式為無界函式的反常積分(又叫做無界函式的反常積分、瑕積分)。因此相應的柯西收斂準則有兩種,兩種準則的描述有些區別,但都可以根據函式的柯西收斂準則來證明。
反常積分的柯西收斂準則
(1)無窮限的反常積分
無窮限的反常積分
收斂的充要條件是,對於任意給定的正數ε,總存在正數X,使得當q>p>X時,有
無窮限的反常積分
收斂的充要條件是,對於任意給定的正數ε,總存在正數X,使得當p<q<-X時,有
利用ε-N語言,可以精確地定義極限函式:
(3)函式列(函式項級數)的一致收斂
根據(2)中極限函式的定義,我們可以知道函式列{fn}具有極限函式的充要條件是:對任意ε>0,總存在正整數N,使得當n>N時,有|fn(x)-f(x)|<ε。通常這個N不僅與ε有關,也與自變數x有關,就算ε不變,當x發生改變時,N也會隨之改變。但是,如果某一函式列能找到這樣一個正整數N,它只與ε有關,而對定義域(或其某個子集)上的任意一點x這個N都適用。即對任何x∈D(D是函式列的定義域或其某個子集),只要n>N時,就有|fn(x)-f(x)|<ε。對於函式列的這種性質我們給它一個專門的名詞,這就是下面要介紹的一致收斂。
設D是函式列{fn}的定義域(或其某個子集),f是D上有定義的函式。如果對任意ε>0,總存在某一正整數N,使得當n>N時,對一切x∈D,都有|fn(x)-f(x)|<ε,則稱函式列{fn}在D上一致收斂於f。
又設{sn(x)}是函式項級數
的部分和函式列,若{sn(x)}在D上一致收斂於s(x),則稱函式項級數
在D上一致收斂於s(x)。
顯然,函式列在某個數集上即使處處都收斂(又叫逐點收斂),也不一定在該數集上一致收斂。但在數集上一致收斂時,必定在該數集上逐點收斂。逐點收斂和一致收斂的關係可以參考函式連續和一致連續的關係。
函式列和函式項級數的柯西收斂準則
(1)函式列的柯西收斂準則
函式列
在D上一致收斂的充要條件是:對於任意給定的正數ε,總存在正整數N,使得當m,n>N時,對一切x∈D,有
(2)函式項級數的柯西收斂準則
函式項級數
在D上一致收斂的充要條件是:對於任意給定的正數ε,總存在正整數N,使得當m>n>N時,對一切x∈D,有
證明
(1)函式列的柯西收斂準則
必要性
,則
,當m,n>N時,對任意x∈D,有
那么,
充分性
由於對確定的x∈D,{fn}為某一確定的數列,因此根據數列的柯西收斂準則,當x取遍D上的每一點時,函式列{fn}總收斂,設其極限函式為f。
現只需要證明,{fn}一致收斂於f。
事實上,由於已證得
,根據極限的定義,對任意給定的正數ε,總存在正整數N,使得當m>N時,有
於是,當n>N時,
這裡的ε和N都是柯西條件中的,即N只和ε有關,而對一切x∈D都適用。
因此根據一致收斂的定義,{fn}一致收斂於f。
(2)函式項級數的柯西收斂準則
根據函式項級數一致收斂的定義,我們只需要證明部分和函式列{sn(x)}在D上一致收斂於s(x)。顯然,{sn(x)}一致收斂於s(x)的充要條件即是:對於任意給定的正數ε,總存在正整數N,使得當m>n>N時,對一切x∈D,有
那么,函式項級數
一致收斂的充要條件亦即是:對於任意給定的正數ε,總存在正整數N,使得當m>n>N時,對一切x∈D,有

相關詞條

熱門詞條

聯絡我們