充分大

充分大的準確定義是,關於給定的命題所給出的條件來說已經足夠大的數,它包括無限和任何滿足條件的非無限。對於不同的命題,它的具體的值可以不同。

定義

關於充分大,王元說:“充分大是一個界線,大於這個界線的數則為充分大。在數學中,這個界線有時可以算出來,有時算不出來。”它的準確定義是,關於給定的命題所給出的條件來說已經足夠大的數,它包括無限和任何滿足條件的非無限。對於不同的命題,它的具體的值可以不同。

特點

充分大它具有對於給定的命題使用計算機與人力演算(主要指窮舉法)所不能解答的特點,它具有限制命題只能用證明的方法所解答的特點。充分大主要用來代替無窮大。 一個不是無窮大的充分大具有時效性。

缺點

如果使用一個不是無窮大的充分大來代替原命題的無窮大可能只能得到關於原命題的弱化結論。如果使用一個小一點的、特殊一點的值作為充分大來代替原命題的無窮大可能會與原命題的差距更大。
此外, 一個不是無窮大的充分大具有時效性:當命題中的某一個充分大(當然是一個不是無窮大的充分大)區間(或是充分大區間中的一個或多個比較靠充分大的數,或充分大本身)可以被計算機與人力演算(主要指窮舉法)不通過證明地被解答,這樣這個充分大就沒有意義了。

相關詞條

相關搜尋

熱門詞條

聯絡我們