作者：James Propp（馬薩諸塞大學(xué)洛厄爾分校）2025-1-17

譯者：zzllrr小樂（數(shù)學(xué)科普公眾號(hào)）2025-1-21

有一個(gè)非常漂亮的思想實(shí)驗(yàn)，有時(shí)被認(rèn)為是德謨克利特（Democritus，公元前460 - 370）的作品，盡管它實(shí)際上是原子假說1后來的推廣者所提出的，是這樣講的：假設(shè)我們用世界上最鋒利的刀將一塊奶酪切成兩半，讓一大塊變成兩小塊。如果奶酪是由原子組成的，那么一些原子最終會(huì)落入一半奶酪，其余的原子最終會(huì)落入另一半。但是，如果奶酪是連續(xù)的物質(zhì)，并且奶酪塊類似于歐幾里得幾何中的線段，那么與刀刃精確對(duì)齊的點(diǎn)會(huì)發(fā)生什么情況呢？它們會(huì)復(fù)制嗎？它們會(huì)消失嗎？刀是否會(huì)以某種方式滑到刀刃點(diǎn)的一側(cè)或另一側(cè)？這些選項(xiàng)似乎都不令人滿意，但如果我們要切斷真正連續(xù)的東西，我們還有哪些其他選項(xiàng)呢？

在某些方面，滑刀選項(xiàng)（奶酪塊的對(duì)稱性被打破）對(duì)我來說似乎是最令人不滿意的。它表明你永遠(yuǎn)無法真正將某個(gè)東西切成兩等份，不是因?yàn)槿祟悆x器的不精確，而是因?yàn)榭臻g本質(zhì)上有些奇怪——這種奇怪的影響就是，骨感的一維空間，連歐幾里得都發(fā)現(xiàn)沒有足夠有趣的東西可講。然而奇怪的是，寓言中的第三種選擇，即刀必須向左或向右滑動(dòng)，在一個(gè)半世紀(jì)前得到了某種證明，當(dāng)時(shí)德國(guó)數(shù)學(xué)家理查德·戴德金（Richard Dedekind，1831 - 1916）開始深入思考實(shí)數(shù)是什么。

切割數(shù)軸

“你如何定義‘真實(shí)’？”——墨菲斯，《黑客帝國(guó)》

理查德·戴德金是卡爾·弗里德里?！じ咚梗–arl Friedrich Gauss，1777 - 1855）的最后一位博士生，高斯被許多人視為十九世紀(jì)最偉大的數(shù)學(xué)家。在我的文章《當(dāng)5不是素?cái)?shù)時(shí)》中我們認(rèn)識(shí)了戴德金。

1854年獲得資格后，他在哥廷根講授概率和幾何，之后他作為教師的聲譽(yù)日益提高，使他能夠在蘇黎世理工學(xué)院任職。在理工學(xué)院，他開始教授微積分課程，并開始重新考慮該學(xué)科的基礎(chǔ)和實(shí)數(shù)的本質(zhì)。盡管他直到1872年才發(fā)表論文《連續(xù)性與無理數(shù)》，但他的思想在1858年底就完全形成。

在小學(xué)里，我們被教導(dǎo)要把數(shù)字描繪成一條直線，這種形象變得如此根深蒂固，以至于我們很容易忘記數(shù)字和點(diǎn)之間的對(duì)應(yīng)關(guān)系也曾經(jīng)是新鮮事物。2我們學(xué)習(xí)將整數(shù)、負(fù)數(shù)和分?jǐn)?shù)繪制為數(shù)軸上的各個(gè)點(diǎn)。當(dāng)數(shù)a小于數(shù)b時(shí)，數(shù)軸上a對(duì)應(yīng)的點(diǎn)位于b對(duì)應(yīng)的點(diǎn)的左側(cè)。

在初中或高中，我們學(xué)習(xí)新類型的數(shù)字：不能寫成分?jǐn)?shù)的無理數(shù)（irrational number）。有理數(shù)和無理數(shù)合在一起就構(gòu)成了實(shí)數(shù)（real number）。我們還從繪制單個(gè)點(diǎn)超越到繪制點(diǎn)集；例如，我們被教導(dǎo)將滿足 0 ≤ x ≤ 1 的數(shù)字x的集合表示為數(shù)軸上長(zhǎng)度為1的線段，并將滿足 0 < x < 1 的數(shù)字x的集合表示為長(zhǎng)度為1的略有不同的線段，兩個(gè)線段之間的區(qū)別在于前者包含其兩個(gè)端點(diǎn)，而后者都不包含兩個(gè)端點(diǎn)。我們將前一組數(shù)字稱為端點(diǎn)為0和1的閉區(qū)間（closed interval），將后一組數(shù)字稱為端點(diǎn)為0和1的開區(qū)間。為了表示這兩個(gè)區(qū)間之間的微小差異，我們被教導(dǎo)將它們分別繪制為下圖：

閉區(qū)間[0,1]和開區(qū)間(0,1)

這些空心和實(shí)心的圓圈并不意味著按字面意思理解；畢竟，區(qū)間的端點(diǎn)是點(diǎn)，而不是圓。我們還被教導(dǎo)用 [0,1] 表示閉區(qū)間，用 (0,1) 表示開區(qū)間。就此而言，我們還可以討論半開、半閉區(qū)間 [0,1) 和 (0,1]，其中每個(gè)區(qū)間都包含其端點(diǎn)之一，但不包含另一個(gè)端點(diǎn)。

整條實(shí)數(shù)軸可以寫成 (?∞,+∞)，其中 ?∞ 和 +∞ 不應(yīng)被理解為端點(diǎn)，而是表示該集合永遠(yuǎn)持續(xù)下去的指示符——在?∞的情況下向左永遠(yuǎn)持續(xù)下去，在+∞的情況下向右永遠(yuǎn)持續(xù)下去。例如，整條實(shí)數(shù)軸可以分為負(fù)數(shù)集，記作(?∞, 0)，和非負(fù)數(shù)集，記作[0, +∞)。這些集合分別是開射線和閉射線，其中如果一條射線包含其端點(diǎn)，則稱該射線為閉（合）的（closed）；如果省略其端點(diǎn)，則稱該射線為開（放）的（open）。每個(gè)實(shí)數(shù)都屬于這兩個(gè)集合之一。請(qǐng)注意，[0,∞) 有一個(gè)最左邊的元素，即0，但 (?∞, 0)沒有最右邊的元素；例如，如果a是(?∞, 0)的元素，則a/2 是 (?∞, 0)中比a更靠右的另一個(gè)元素。

0左邊沒有最右邊的數(shù)字

你還可以將 (?∞, +∞) 分割為閉射線 (?∞, 0] 和開射線 (0, +∞)?，F(xiàn)在左側(cè)的射線是閉合的，并且有一個(gè)最右邊的元素，而右側(cè)的射線是開放的，并且沒有最左邊的元素。

當(dāng)我追隨戴德金的腳步，為真正想要理解事物的學(xué)生教授微積分課程時(shí)，我喜歡首先要求學(xué)生思考可以將數(shù)軸分成兩個(gè)非空部分A和B ，使得每個(gè)數(shù)字都屬于兩個(gè)部分之一，并且A中的每個(gè)數(shù)字都小于B中的每個(gè)數(shù)字。

經(jīng)過一番探索后，學(xué)生們得出結(jié)論，對(duì)于每個(gè)實(shí)數(shù)c，他們有兩種方法將 (?∞, +∞) 分成所需類型的兩部分：一種是A=(?∞, c) 且B=[c, +∞) 以及A=(?∞, c] 且B=(c , +∞) ，如下所示。

每個(gè)實(shí)數(shù)給出了兩種分割實(shí)數(shù)軸的方法

小于c的數(shù)字分配給A，大于c的數(shù)字分配給B，并且c本身可以分配給任一集合。一種情況下，A有最大元素，而B沒有最小元素；在另一種情況下，則相反。

但在找到這些分割實(shí)軸的方法后，學(xué)生們陷入了困境。他們?cè)噲D找到更多的方法將實(shí)數(shù)軸分成左集和右集，但他們發(fā)現(xiàn)的每一種新方法，結(jié)果都是他們已經(jīng)找到的方法的偽裝版本。經(jīng)過一分鐘左右的停滯后，學(xué)生們發(fā)現(xiàn)很容易接受可能沒有更多的方法可以做到這一點(diǎn)，而我的建議“我們?yōu)槭裁床唤邮芩鳛橐粋€(gè)假設(shè)呢？”很容易得到認(rèn)可。

學(xué)生們沒有意識(shí)到這一點(diǎn)，但他們剛剛吞下一顆紅色藥丸（《黑客帝國(guó)》電影中做選擇的劇情，譯者注），這將使他們接受無理數(shù)的存在以及未來幾周內(nèi)0.999…等于1的事實(shí)。

掉進(jìn)兔子洞

“此后，就沒有回頭路了?！?——墨菲斯，《黑客帝國(guó)》

紅色藥丸是戴德金的完備性公理，他作了如下表述：“如果直線上的所有點(diǎn)都分為兩類，并且第一類的每個(gè)點(diǎn)都位于第二類每個(gè)點(diǎn)的左側(cè)，則有且只有一個(gè)點(diǎn)將所有點(diǎn)分為兩類，將直線分成兩部分?！?/p>

對(duì)于這樣一種平庸的斷言似乎不值得大張旗鼓的潛在批評(píng)，戴德金諷刺地說道：“如果每個(gè)人都發(fā)現(xiàn)上述原則如此明顯，并且與他自己對(duì)直線的想法如出一轍，我很高興；因?yàn)槲彝耆珶o法舉出任何證據(jù)來證明它的正確性，沒人能辦到?！?/p>

請(qǐng)注意最后五個(gè)字，戴德金實(shí)際上是在說“我無法證明這一點(diǎn)，但你也不能?！睘槭裁创鞯陆鹑绱舜_信他無法從更基本的幾何原理推導(dǎo)出完備性公理并不是因?yàn)樗约翰粔蚵斆?？這是因?yàn)闅W幾里得公理與尺規(guī)作圖（直尺和圓規(guī)）的構(gòu)造方法密切相關(guān)，而到1858年，人們已經(jīng)知道這種方法不足以滿足幾何的需要。例如，皮埃爾·旺策爾（Pierre Wantzel，1814 - 1848）在1837年證明，給定長(zhǎng)度為1的線段，無法使用直尺和圓規(guī)構(gòu)造出長(zhǎng)度為2的立方根的線段。因此，無法使用歐幾里得公理證明存在兩條線段，使得較長(zhǎng)線段的長(zhǎng)度除以較短線段的長(zhǎng)度等于2的立方根。3或者簡(jiǎn)單地說，你不能使用歐幾里得公理證明2的立方根存在。另一方面，正如我將在下面粗略論證的那樣，一旦你接受戴德金公理，你就可以證明2的立方根存在。因此戴德金可以肯定地知道他的斷言并不是歐幾里得幾何公理的隱藏結(jié)果。

當(dāng)然，數(shù)學(xué)家們從未認(rèn)真懷疑過，在某種意義上，2的立方根是否存在，即使他們爭(zhēng)論它是否值得被稱為數(shù)字。直觀上似乎很清楚，如果數(shù)字x = 5/4 滿足x3 < 2，而數(shù)字x = 4/3 滿足x3 > 2，那么 5/4 和 4/3 之間的某個(gè)數(shù)字或類似數(shù)字的東西肯定應(yīng)該恰好滿足x3 = 2。事實(shí)上，一個(gè)著名的十九世紀(jì)定理“中值定理”（Intermediate Value Theorem）使這種推理受到尊重。它斷言，由于不間斷的曲線y = x3從直線y = 2 下方開始，然后沿著曲線從左向右移動(dòng)到直線y = 2 上方，因此必然存在一個(gè)與曲線相交的交叉點(diǎn)。它具有視覺意義。

曲線可以從直線下方到直線上方而不與直線相交嗎？

但為什么中值定理是正確的呢？怎樣才能證明這一點(diǎn)呢？就像戴德金完備公理一樣，它不能從歐幾里得公理推導(dǎo)出來。事實(shí)上，中值定理在邏輯上與戴德金完備性公理等價(jià)。每一個(gè)都可以從另一個(gè)推導(dǎo)出來。?

有些數(shù)系不滿足中值定理，如果你為這樣的數(shù)系畫一條數(shù)軸，它也不會(huì)滿足戴德金完備公理。這些就是本文標(biāo)題中的“贗品”（假冒者）。戴德金完備性是實(shí)數(shù)系統(tǒng)與它的眾多“冒名頂替者”的區(qū)別特征。

數(shù)學(xué)家研究的最簡(jiǎn)單的“假冒者”是二進(jìn)有理數(shù)集（set of dyadic rationals）：可以寫成 1/2 的某個(gè)冪的倍數(shù)的數(shù)字。如果你想象一把尺子被分成英寸、半英寸、四分之一英寸、八分之一英寸和十六分之一英寸，并想象執(zhí)行無窮多的平分過程，你會(huì)得到二進(jìn)有理數(shù)。這不是一個(gè)糟糕的數(shù)字系統(tǒng)，它有一個(gè)關(guān)鍵屬性可以將其與超級(jí)“假冒”數(shù)字系統(tǒng)（例如 1/1000000 的倍數(shù)集）區(qū)分開來：對(duì)于任意兩個(gè)不同的二進(jìn)有理數(shù)，它們之間都有1個(gè)二進(jìn)有理數(shù) -- 事實(shí)上有無限多個(gè)。你可以使用二進(jìn)有理數(shù)盡可能逼近任何數(shù)字。

更廣泛的數(shù)字系統(tǒng)是有限十進(jìn)制小數(shù)集合，即可以寫成 1/10 的某個(gè)冪的倍數(shù)的數(shù)字。同樣，你可以使用它來近似數(shù)字，只要你愿意，只要將運(yùn)算限制在加法、減法和乘法上，就可以了。這個(gè)數(shù)字系統(tǒng)足以滿足許多實(shí)際的數(shù)學(xué)應(yīng)用。但嘗試用一個(gè)數(shù)字除以另一個(gè)數(shù)字，你常常會(huì)碰壁；例如，在這個(gè)系統(tǒng)中你不能將 1 除以 3。

有理數(shù)系統(tǒng)是實(shí)數(shù)系統(tǒng)最簡(jiǎn)單的“假冒”版本，可以讓你盡情地進(jìn)行加、減、乘、除。它適用于很多用途，但不適用于微積分，甚至不適用于代數(shù)。如果僅使用x坐標(biāo)和y坐標(biāo)均為有理數(shù)的點(diǎn)繪制前面的曲線y = x3的圖像，你會(huì)發(fā)現(xiàn)曲線從y = 2 直線下方到達(dá)y = 2 直線上方卻從未真正跨越那條直線！

盡管完備性公理可以被視為關(guān)于分割實(shí)數(shù)的方式的否定斷言——“除了明顯的已知方法之外，你永遠(yuǎn)不會(huì)找到任何其他方法將數(shù)軸分割成左部分和右部分”——它可以被用來以證明為真的方式來證明特定數(shù)字的存在；因?yàn)椋僭O(shè)將數(shù)軸分割為兩個(gè)非空集合A和B，使得A的每個(gè)元素都小于B的每個(gè)元素，該公理告訴我們必須存在一個(gè)數(shù)c，使得c是A的最大元素或B的最小元素。例如，令A(yù)為滿足x3 < 2 的所有實(shí)數(shù)x的集合，并令B為滿足x3 ≥ 2 的所有實(shí)數(shù)x的集合。戴德金公理表示，必須存在一個(gè)數(shù)c，使得c為A的最大元素或B的最小元素，由此可以用代數(shù)方式證明c3恰好為2。?

至于為什么戴德金的完備性公理意味著0.999… = 1（我之前寫過有關(guān)此等式的文章），完整的解釋需要繞道我們寫 0.999… 時(shí)所表達(dá)的含義，但這里有一個(gè)關(guān)于0.999…在任何戴德金完備數(shù)系中都必須等于1的原因的提示。如果 0.999… 和 1.000… 不同，它們之間的差異將是一個(gè)無窮小（infinitesimal）正數(shù)，小于所有數(shù)字 1/10、1/100、1/1000 等等。讓我們證明這與戴德金公理矛盾。設(shè)A為由所有負(fù)數(shù)、數(shù)字零和所有無窮小正數(shù)組成的集合，并設(shè)B由其他所有數(shù)組成，即所有不是無窮小的正數(shù)。不難證明，如果x是無窮小正數(shù)，那么較大的數(shù)10x也是無窮小，由此我們可以得出A不包含最大元素的結(jié)論。另一方面，不難證明，如果x為一個(gè)不是無窮小的正數(shù)，那么較小的數(shù)x/10也不是無窮小正數(shù)。所以B不包含最小元素。評(píng)估這種情境，我們發(fā)現(xiàn)我們已將數(shù)字系統(tǒng)分為沒有最右邊元素的左集和沒有最左邊元素的右集。

那留給我們的是什么呢？不屬于戴德金的實(shí)數(shù)軸，這是肯定的！

沒有回頭路

“釋放你的思想?！?——墨菲斯，《黑客帝國(guó)》

通過接受戴德金的完備性公理，我的微積分學(xué)生在不知不覺中跨越了幾個(gè)世紀(jì)的混亂，得出了連續(xù)統(tǒng)（continuum）的現(xiàn)代概念。是的，我欺騙了他們，但我不會(huì)為此道歉。數(shù)學(xué)專業(yè)的學(xué)生遲早會(huì)接觸到實(shí)數(shù)完備性公理的某種版本或變體——不過，在大多數(shù)大學(xué)里，是晚點(diǎn)而不是早點(diǎn)——通常是在一個(gè)名稱有些晦澀的“實(shí)分析”（real analysis）課程中。?為什么不向他們展示一個(gè)直觀上合理的完備性公理？戴德金的完備性公理是所有邏輯上等效的形式化直覺的最直觀合理的方法，即實(shí)數(shù)軸與多種“假冒”數(shù)軸不同，其中沒有漏洞（縫隙）。

我喜歡這樣陳述完備性公理：如果數(shù)軸L是一條實(shí)數(shù)軸而不是一條“假”數(shù)軸，那么就無法將L分為兩個(gè)非空集合A和B，使得

(1) A和B中沒有共同數(shù)，

(2) A和B一起包含了每個(gè)數(shù)字，

(3) A中的每個(gè)數(shù)都小于B中的每個(gè)數(shù)，

(4) A沒有最大元素，并且

(5) B沒有最小元素。

就是這樣！從這個(gè)關(guān)于實(shí)數(shù)軸的公理，你可以推斷出微積分所需的所有數(shù)字實(shí)際上都存在。

除此之外你可能會(huì)開始擔(dān)心：我們?nèi)绾沃缹?shí)數(shù)軸存在？

當(dāng)然，我并不是指物理意義上的“存在”。我指的是數(shù)學(xué)意義上的存在，盡管“數(shù)學(xué)意義上的存在”這個(gè)概念是模糊且有爭(zhēng)議的。

你當(dāng)然可以采用一條“假”數(shù)軸，通過創(chuàng)建新數(shù)字來填補(bǔ)其漏洞，使其不那么假。?假設(shè)我們從由有理數(shù)組成的實(shí)數(shù)的“假”版本開始，僅此而已。加上所有正有理數(shù)的平方根，你將填補(bǔ)有理數(shù)軸上的一些漏洞，但仍然存在與更復(fù)雜的數(shù)字，如√(2+√3) 相關(guān)的漏洞。如果你想要一條無洞的數(shù)軸，你就必須把它們連同它們所有的平方根、新產(chǎn)生的和與乘積等等一起放進(jìn)去。

即使通過將已包含在內(nèi)的數(shù)字的和、差、積、商和平方根放進(jìn)去的過程，以某種方式進(jìn)行了無限多個(gè)步驟，你也會(huì)到達(dá)一個(gè)休息點(diǎn)，在此沿著這些數(shù)軸無法取得進(jìn)一步的進(jìn)展。你只能得到可尺規(guī)作圖構(gòu)造的實(shí)數(shù)集合（set of straightedge-and-compass–constructible real numbers）。你的數(shù)軸仍然會(huì)有洞；例如，沒有二的立方根。

所以也許你會(huì)更加努力地工作并擴(kuò)大你的運(yùn)算范圍以添加新的數(shù)字，這樣你就可以得到立方根和四次根等等。然后在那無限漫長(zhǎng)的一天結(jié)束時(shí)，你已經(jīng)構(gòu)造了所有代數(shù)實(shí)數(shù)（algebraic real number），但你仍然會(huì)丟失像π這樣的重要數(shù)字。在數(shù)軸上那個(gè)應(yīng)該出現(xiàn)π的地方會(huì)有一個(gè)洞；無論如何，這不是一個(gè)大洞，但仍然是一個(gè)顯示不合格特征的缺陷。當(dāng)你填滿π洞后，仍然會(huì)有一個(gè)e洞需要填補(bǔ)，以及還有……

我可以繼續(xù)這個(gè)無休止擴(kuò)大的寓言，但我認(rèn)為你已經(jīng)看到了故事如何結(jié)束，或者更確切地說，它如何未能結(jié)束。你永遠(yuǎn)無法填補(bǔ)所有這些漏洞。

那么，是什么讓你能夠想象在某個(gè)地方存在一個(gè)神奇的數(shù)字系統(tǒng)，其漏洞都已被填補(bǔ)呢？

戴德金對(duì)此提出了一種答案，即所謂的“戴德金分割”（戴德金切割）。通過這個(gè)簡(jiǎn)單的裝置，戴德金提供了一種同時(shí)創(chuàng)建所有無理數(shù)的方法。這是我下個(gè)月要寫的內(nèi)容。

本文是我正在寫的一本書的第四章（“小得看不見的洞”）的補(bǔ)充，書名暫定為《數(shù)字能是什么？：加法和乘法的更進(jìn)一步、更陌生的冒險(xiǎn)》。如果你認(rèn)為這聽起來很酷并且想幫助我改進(jìn)這本書，請(qǐng)查看 http://jamespropp.org/readers.pdf 。與往常一樣，請(qǐng)隨時(shí)在我網(wǎng)站（Mathematical Enchantments WordPress）上提交對(duì)本文的評(píng)論！

尾注

我從 https://van.physicals.illinois.edu/ask/listing/24315 了解到這個(gè)寓言，它引用了斯科特·阿倫森（Scott Aaronson，1981 -）的《自德謨克利特以來的量子計(jì)算》一書中的大量段落，而該書又根據(jù)卡爾·薩根（Carl Sagan，1934 - 1996）的釋義改編了這個(gè)寓言。想要深入挖掘的感興趣的讀者應(yīng)該查看Stackexchange對(duì)這個(gè)有關(guān)刀的故事的討論 https://hsm.stackexchange.com/questions/11600/what-are-the-sources-for-democritus-experiment-of-dividing-a-shell-down-to-its 。

有關(guān)這方面的更多信息，請(qǐng)參閱Stackexchange 關(guān)于誰(shuí)發(fā)明了數(shù)軸的討論 https://hsm.stackexchange.com/questions/7071/who-invented-the-number-line 。

事實(shí)上，想象希臘人談?wù)撚靡粋€(gè)長(zhǎng)度除以另一個(gè)長(zhǎng)度有點(diǎn)不合時(shí)宜；相反，他們會(huì)用長(zhǎng)度比來表達(dá)。下個(gè)月我將更多地談?wù)撻L(zhǎng)度比率，但現(xiàn)在讓我們忽略這個(gè)細(xì)節(jié)。

要了解有關(guān)實(shí)數(shù)的各種完備性之間的等價(jià)性的更多信息，請(qǐng)參閱我在2012年《美國(guó)數(shù)學(xué)月刊》上發(fā)表的文章 《逆向?qū)嵎治觥?Real analysis in reverse https://arxiv.org/abs/1204.4483 。

#5.

細(xì)節(jié)很亂，但核心思想很簡(jiǎn)單。如果c3小于2，則必須有一個(gè)數(shù)c'略大于c，且c'3仍小于c 。另一方面，如果c3大于2，則必須有一個(gè)數(shù)c'略小于c ，且c'3仍大于c。無論哪種方式，我們都會(huì)遇到矛盾。

#6.

在實(shí)分析課程中，通常假設(shè)最小上界（上確界，least upper bound）性質(zhì)，這在邏輯上等同于戴德金完備性公理。上確界性質(zhì)的教學(xué)問題是它涉及上面有界的任意實(shí)數(shù)集。在考慮上確界性質(zhì)時(shí)，你必須想象一個(gè)未知的實(shí)數(shù)集S，其中關(guān)于S的所有信息是存在某個(gè)實(shí)數(shù)b，使得S的每個(gè)元素都小于或等于b。這樣的集合通常是什么樣子的？我不知道，更重要的是，我的學(xué)生也不知道。它可能是分形的，甚至是不可測(cè)量的；誰(shuí)知道？相比之下，想象一種將數(shù)軸分成左集和右集的通用方法要容易得多，或者至少讓自己相信你正在想象。有關(guān)通過戴德金完備性公理引入實(shí)數(shù)的教學(xué)法的更多信息，請(qǐng)參閱我2010年演講《戴德金被遺忘的公理以及為什么我們應(yīng)該教授它》中的幻燈片 https://faculty.uml.edu/jpropp/dedekind.pdf 。

#7.

如果你真的是有那種擔(dān)心的人，你可能會(huì)擔(dān)心什么使你可以通過指定你希望數(shù)字具有的性質(zhì)來創(chuàng)建數(shù)字。

參考資料

https://mathenchant.wordpress.com/2025/01/17/the-real-line-versus-the-fakes/

http://jamespropp.org/readers.pdf

https://van.physicals.illinois.edu/ask/listing/24315

https://hsm.stackexchange.com/questions/11600/what-are-the-sources-for-democritus-experiment-of-dividing-a-shell-down-to-its

https://hsm.stackexchange.com/questions/7071/who-invented-the-number-line

https://arxiv.org/abs/1204.4483

https://faculty.uml.edu/jpropp/dedekind.pdf

科普薦書

【更多讀者好評(píng)數(shù)學(xué)書單推薦、數(shù)學(xué)科普作家自薦、出版社書單推薦通道已陸續(xù)打開，敬請(qǐng)期待】

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評(píng)論、點(diǎn)贊、在看、在聽

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點(diǎn)擊zzllrr小樂

公眾號(hào)主頁(yè)

右上角

數(shù)學(xué)科普不迷路！