4.4 實數公理與第一次近似構造

為甚麼要先定義目標，再談構造？

前面章節一直遵循同一個模式：

1. 先說清楚我們想要甚麼結構；
2. 再構造一個模型去滿足這些結構；
3. 最後仔細驗證構造。

對實數也採取同樣做法。它不是一開始就把某個構造硬塞 給你，而是先說：實數應該具有甚麼結構性質。

這是很好的數學習慣。若你連目標性質都未說明，就算後面給出很漂亮的 構造，也會顯得缺乏動機。

正式目標

這個定義把整個第 4 章濃縮成一句話：

實數就是一個沒有遺漏最小上界與最大下界的有序域。

這個定理解釋了為甚麼不同構造可以代表同一個 $R$。Dedekind 分割和 Cauchy 序列的內部形式很不同；但只要兩個構造都滿足完備有序域公理，它們 在本課程關心的結構上就是同一個實數系統。

為甚麼無窮小數還不是完整答案

第一個直覺通常是：

「實數不就是一串無窮小數嗎？」

這個直覺有幫助，但 需要注意的是，它還不是最乾淨的定義。

至少有兩個原因：

• 同一個實數可能有多種小數表示，例如 0.9999\ldots = 1；
• 小數展開迫使你選擇某個基底，例如十進位，但實數的概念本身不應依賴 這種任意選擇。

因此，這裏並不是否定小數直覺，而是把它視為引路工具，帶你走向更結 構化的構造。

近似的想法

假設一個實數非正式地寫成

$$r=10.234890234809234\ldots$$

那麼我們可以用有理數由下方與上方去逼近它：

$$10<r<11,$$ $$10.2<r<10.3,$$ $$10.23<r<10.24,$$

如此類推。

這就是 §4.7 的核心洞見：即使還未寫出最後的正式構造，一個實數已經可 以透過愈來愈精細地「夾住它」的有理近似來理解。

把有理數分成左右兩邊

從這種近似觀點出發，實數 r 會決定兩個有理數集合：

$$A=\{q\in Q\mid q<r\}, \qquad B=\{q\in Q\mid q>r\}.$$

關鍵不只在符號，而在思想：實數可以被看成一條邊界，把所有有理數分成 左邊一堆與右邊一堆。

這正是 Dedekind cut 構造的動機來源。§4.7 本身仍偏向動機說明，而未到 完全形式化，但它已經告訴你：實數應該是一個能透過比較去整理 $Q$ 的 對象。

§4.7 做了甚麼，還沒有做甚麼

這個區分很重要。若把 §4.7 視為最終定義，你就會忽略下一步的角色。這個構造 的安排是：先建立動機，再把動機變成嚴格的數學對象。

快速檢查

練習

相關筆記

請先讀 4.3 完備性與 Q 的缺口。 然後繼續讀 4.5 Dedekind 分割與 Q 的嵌入， 那一頁會把這裡提到的 $Q$ 的左右分割正式變成實數的嚴格定義。