最小上界性質
Let S be a non-empty set of real numbers:
A real number x is called an upper bound for S if x ≥ s for all s ∈ S. A real number x is the least upper bound (or supremum) for S if x is an upper bound for S and x ≤ y for every upper bound y of S.
從『疊套區間』的觀點來看,一個『超實數』 就可以表達成 ,而且說 ,由於它只有『唯一的』一個元素,所以被稱作『單子集合』 singleton set。假使我們思考一個『單調上升有上界』 的『序列』,會發現它一定有『最小上界』。假設 是一個『巨量』,那麼
。這就是『實數』的『基本性質』,任何一有極限的『序列』收斂於一個『唯一』的『實數』,一般稱之為『實數』的『完備性』 completeness,由於我們是站在『超實數』的立場,選擇了『疊套區間』的觀點,加之以『無窮小』量不滿足『實數』的『阿基米德性質』,所以這個『實數』的『完備性』只是從『疊套區間』確定了一個『單子集合』 推導的結論。對比著來看,這一個『有理數』序列 的『極限』 ,它可從求解 得到,然而它並不是『有理數』,所以說『有理數』不具有『完備性』 。那麼對一個『非空有上界』的『集合』 ,也可以用『二分逼近法』論證如下︰
由於 有上界,就說是 吧,因為 不是空集合,一定有一個元素 不是它的上界。這兩個序列可以遞迴的如此定義,計算 ,如果它是 的上界,那麼 ,否則 中必有一個元素 ,而且 ,此時選擇 ,如此 而且 ,所以一定存在一個 ,此為 之最小上界。
同理 的補集 就會有『下界』,而且會有『最大下界』。因此我們將一個有『上界』與『下界』的集合,簡稱之為『有界集合』。
『實數集合』的『最小上界』性質,可以用來證明『實數分析』上的多條定理,在此僅列舉幾條『常用的』︰
【波爾查諾‧魏爾斯特拉斯定理】 任一實數 中的有界序列 至少包含一個收斂的子序列。
讓我們從 中選擇元素,建構一個『峰值集合』 ,假使 的元素是『有限的』,就可將之大小『排序』,建立序列 。如果 的元素是『無限的』,我們依然可以用『下標』 遞增的方式從 中選擇建立『序列』,這兩者都是『單調上升有界』的序列,所以必然會有『最小上界』。
【極值定理】如果實數函數 是閉區間 上的『連續函數』,那麼它在其間一定會有『最大值』和『最小值』。也就是說,存在 兩個『極值』使得 。
假設函數 沒有上界。那麼,根據實數的『阿基米德性質』,對於每一個自然數 ,都可以有一個 ,使得 ,這就構成了一個『有界的序列』 ,然而依據『波爾查諾‧魏爾斯特拉斯定理』,這個 序列至少會有一個收斂的『子序列』 ,就稱它的極限值是 ,此處 是『巨量』。因為 在閉區間 中『連續』,於是 也是『有限量』,然而依據『假設』 ,故而矛盾,所以實數函數 是有『上界的』。只需考慮 ,從它有『上界』,就可以得到 一定有『下界』的吧!也就是說一個實數的『連續』函數,因其『連續性』將一個『定義域』的『閉區間』映射到『對應域』的『閉區間』,所以也必將『無窮小』閉區間 映射到『無窮小』閉區間 的啊!!事實上,『無窮小』閉區間 可以看成 點的『鄰域』,難道說所謂的函數 在 點『連續』, 可能不在這個『無窮小鄰域』裡無限的『逼近』 的嗎??
【羅爾定理】如果一個實數函數 滿足
在閉區間 上『連續』;
在開區間 內『可微分』;
在區間端點處的函數值相等,即 ,
那麼在開區間 之內至少有一點 ,使得 。
根據『極值定理』 ,實數函數 在閉區間 裡有『極大值』 和『極小值』 ,如果它們都同時發生在『端點』 或 處,由於 而且 ,因此 是一個『常數函數』,所以 。除此之外『極大值』 或『極小值』 之一只能發生在開區間 之內,假設於 處取得了『極大值』 ,因此 ,而且 ,由於 , ,同時 , ,再由於函數 在 處『可微分』,所以 。同理也可以證明 有『極小值』 時,。也可以講『羅爾定理』將『連續性』、『可微分性』與『極值』聯繫了起來,在此強調那個『可微分』的條件是『必要的』。舉個例子說,函數 在 處有『極小值』,考慮它的『無窮小鄰域』 ,右方逼近的『導數』是 ,然而左方逼近的『導數』是 ,因此這個函數於『此點』不可微分,此時當然『羅爾定理』也就不適用的了!!
【均值定理】一個實數函數 在閉區間 裡『連續』且於開區間 中『可微分』,那麼一定存在一點 使得此點的『切線斜率』等於兩端點間的『割線斜率』,即 。
假使藉著 定義一個函數 ,這個 函數在閉區間 裡『連續』且於開區間 中『可微分』,同時 ,於是依據『羅爾定理』一定有一點 使得 ,所以 。
一個係數是整數的『多項式』 是一個在任何閉區間 裡『連續』而且於開區間 中『可微分』的『函數』,如果用『均值定理』來看所對應的 次『方程式』 的『根』 ── 稱之為『代數數』 ──,『劉維爾』證明了
如果『無理數』 是一個 次『多項式』之根的『代數數』,那麼存在一個『實數』 ,對於所有的『有理數』 都有
,現今這叫做『劉維爾定理』。
既然 是 的一個『解』 ,假設除此之外它還有 個與 值不同的『解』,考慮一個由 構造的『閉區間』 ,由於 存在且連續,因此 存在且連續,從『極值定理』可以知道 在任何『閉區間』裡都有『極大值』,將 在 中的『最大值』記作 。讓我們選擇一個滿足 的 ,『假使』有一個『有理數』 違背『劉維爾定理』,將會有 ,此處 是因為『不等於零』的『正整數』至少是一。由於 和 ,因此 而且 ,也就是說 不是 的『根』,而且 在 與 的『閉區間』內沒有『根』,按照『均值定理』一定有一個 界於 與 之間,使得 。因為 與 ,所以可以將之改寫成 。
由於 ,此處 是因為 而『不等於零』的『正整數』至少是一。然而 以及 ,因此 ,產生了 的『矛盾』,所以『假使』有一個『有理數』 違背『劉維爾定理』的『假設』不成立。
在此回顧一下『劉維爾數』的定義
如果一個實數 滿足,對任何正整數 ,都存在著整數 ,其中 而且『定然』的會有 ,如此我們就將此數 叫做『劉維爾數』。
假使一個『劉維爾數』 是一個『代數數』,那麼一定會有 。但因為它也是『劉維爾數』,所以當取滿足 的正整數 ,並使 ,一定存在整數 其中 使得
,此處 是由於 ,因此 。然而這卻與『劉維爾定理』產生矛盾。所以『劉維爾數』的確是『超越數』的啊!!