定律定義
緻密性定理:有界數列必有收斂子列。
先介紹子列的概念:在數列{x}中任意抽取無限多項並保持這些項在原數列中的先後次序,這樣得到的一個數列稱為原數列的子列。
根據極限的性質,數列有界是收斂的必要條件,即如果數列收斂,那它一定有界,但反之不一定成立。可是緻密性定理卻告訴我們,只要一個數列有界,那么它一定會有收斂的子數列。
由於子列收斂,設收斂到常數A,根據極限的幾何意義,在A的ε鄰域內總有子列的無數個點。而ε是任意正數,這就意味著在A的任何鄰域內都有子列的無數個點。所以從點集的角度來描述該定理,則是:有界點集至少有一個聚點(即聚點定理)。
推導過程
緻密性定理體現了實數的連續性,與其他體現實數連續性的命題等價。特別地,聚點定理可以看做緻密性定理在點集拓撲論中的體現,或者說緻密性定理是聚點定理在實數理論中的體現,所以有的書上把這兩個定理等同來看待。
下面用實數公理——戴德金定理來證明緻密性定理。
設數列{x}有界,即存在M>0,|x|≤M。若{x}中有無窮多項相等,取這無窮多項構成{x}的一個子列,則該子列為一常數列,而常數列總是收斂的。
若{x}中只有有限項相等,定義數集A,A中任一元素c滿足:在區間(-∞,c]上最多只有{x}的有限項(注意用詞“最多”,這意味著(-∞,c]上可以有{x}的0項),而區間(c,+∞)上有{x}的無窮多項。並把A在R中的補集記為B。顯然:
①-M-1∈A,M∈B,因此A、B非空;
②A∪B=R;
③對任意p∈A,存在某個x∈{x},滿足p<x。而對任意q∈B,都有x≤q。即p<q。
根據戴德金定理,存在唯一實數ξ,要么它是A中的最大值,要么它是B中的最小值。
取任意ε>0,有ξ-ε∈A,ξ+ε∈B,因此區間(ξ-ε,ξ+ε)有{x}的無窮多項。這是因為假設(ξ-ε,ξ+ε)只有{x}的有限項,則根據數集A的構造,在(-∞,ξ-ε]上只有{x}的有限項,而數列中等於ξ+ε的項最多也只有有限個,於是(-∞,ξ-ε]∪(ξ-ε,ξ+ε)∪{ξ+ε}=(-∞,ξ+ε]上只有{x}的有限項。所以ξ+ε∈A,矛盾。
由於(-∞,ξ-ε]上只有{x}的有限項,當ε逐漸減小時,(ξ-ε,ξ+ε)之外的項將逐漸增多。要使(ξ-ε,ξ+ε)仍有{x}的無窮多項,則n需要足夠大,即n越大越可能留在(ξ-ε,ξ+ε)之內,n越小越可能落在(ξ-ε,ξ+ε)之外。
![波爾查諾-維爾斯特拉斯定理](/img/b/3b1/wZwpmLwczM5EzM1kzNzYTN1UTM1QDN5MjM5ADMwAjMwUzL5czLxAzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/7/f80/wZwpmLyIzN5MDNyEDMyADN0UTMyITNykTO0EDMwAjMwUzLxAzL0czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/d/dd8/wZwpmL4QDMwAzM1UjN2YjN1UTM1QDN5MjM5ADMwAjMwUzL1YzL3YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/e/f48/wZwpmLxcTN2MjN2UzN2YjN1UTM1QDN5MjM5ADMwAjMwUzL1czL2MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
於是,取 ,則存在正整數 ,使 ,即
![波爾查諾-維爾斯特拉斯定理](/img/3/720/wZwpmLxgDOwgjNyUjN2YjN1UTM1QDN5MjM5ADMwAjMwUzL1YzL1gzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/2/5ff/wZwpmLxMDM3UTM4ETN2YjN1UTM1QDN5MjM5ADMwAjMwUzLxUzL4gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/e/c71/wZwpmLwIjM1ETOxQjN2YjN1UTM1QDN5MjM5ADMwAjMwUzL0YzL2gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/d/40c/wZwpmLxQDM5gzMxEzN2YjN1UTM1QDN5MjM5ADMwAjMwUzLxczL1MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
取 ,則存在正整數 ,使 ,即
……
![波爾查諾-維爾斯特拉斯定理](/img/e/bfe/wZwpmL2MDM4cTNycDN2YjN1UTM1QDN5MjM5ADMwAjMwUzL3QzLyczLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/1/a43/wZwpmLxMDO4YTMyEzN2YjN1UTM1QDN5MjM5ADMwAjMwUzLxczLyEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/c/f17/wZwpmL3QjM0IzM4EjN2YjN1UTM1QDN5MjM5ADMwAjMwUzLxYzLxIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
取 ,則存在正整數 ,使
![波爾查諾-維爾斯特拉斯定理](/img/5/047/wZwpmLxIjNxYTOyEjM2EzM1UTM1QDN5MjM5ADMwAjMwUzLxIzLwgzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/4/f58/wZwpmL4YzNwQzN1IjNwYjN1UTM1QDN5MjM5ADMwAjMwUzLyYzLxEzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/9/b2a/wZwpmLzYDN0YzM4kDN2YjN1UTM1QDN5MjM5ADMwAjMwUzL5QzL3gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![波爾查諾-維爾斯特拉斯定理](/img/f/380/wZwpmLwYDMxczM1UjN2YjN1UTM1QDN5MjM5ADMwAjMwUzL1YzLzQzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
於是就得到數列{x}的子列 ,當 時,由夾逼定理得 ,即
這就證明了緻密性定理。