$0.999\ldots=1$ 的判定域：表示、序列、極限與完備化中的多層等號

摘要

$0.999\ldots=1$ 在標準實數系統中是已確立的結果，但此等式長期引發爭議。爭議之所以不會因增加一個代數證明而自然消失，並不主要源於計算錯誤，而是同一記號 $0.999\ldots$ 經常被交替理解為字串、有限截斷、生成規則、無限序列、無限級數、極限值或柯西序列的等價類；與此同時，「等於」也可能指語法同一、逐項同一、實數值同一、極限同一、標準部同一或商結構中的等價。當對象型別、所在數域、解釋函數與等價關係未被明示時，形式上相同的命題實際上可能對應不同問題。

本文提出「判定域—解釋—等價關係」三參數框架，以

\operatorname{Eq}(x,y\mid D,I,E)

表示一項相等判定必須同時指定數學域 $D$ 、記號解釋 $I$ 與等價準則 $E$ 。本文證明：在通常十進位求值及標準實數語義下， $0.999\ldots$ 與 $1$ 表示同一實數；但其字串不同、有限截斷序列與常數序列並不逐項相同，且不存在任何有限自然數索引 $n$ 使第 $n$ 個截斷等於 $1$ 。本文亦修正所謂「最後一步證明間隙」：嚴格實分析的證明鏈在其公理背景內並無缺項；真正經常被省略的是從有限生成序列到完備化極限對象的型別轉換。若改採超有限小數、字面小數流或其他非標準結構，則可構造嚴格小於 $1$ 的相關對象，但此時必須標明新對象、新語義及相應的代數代價，不得將其與標準實數記號無條件混同。

本文目的不是推翻或再次神祕化一項標準定理，而是建立一個足以同時保存「表示差異」與「數值同一」的判定框架，並為後續關於證明接受、數學解釋斷層、潛無限及程序本體論的研究提供基礎。

關鍵詞： $0.999\ldots=1$ 、實數完備性、無限小數、柯西序列、等價類、極限、超實數、超有限小數、表示與值、判定域

一、問題不是只有一個等號

教科書通常將

0.999\ldots=1

視為極限、無限級數或循環小數換算的初等例子。若命題已限定於標準實數，且省略號依通常方式表示無限十進位展開，那麼結論沒有懸念。然而，公共討論中真正被比較的對象經常發生滑動：一方比較的是實數值，另一方比較的是數字符號；一方談整個序列的極限，另一方談任一有限階段；一方把省略號當作已完成展開的記號，另一方把它當作尚在繼續的生成指令。

因此，爭議不應被粗略壓縮成：

0.999\ldots=1

或者：

0.999\ldots\neq1.

完整問題至少應寫成：

\operatorname{Eq}(x,y\mid D,I,E),

其中：

$D$ 是對象所在的數學域，例如 $\mathbb R$ 、超實數域 ${}^{\ast}\mathbb R$ 、字面小數半環或計算機浮點集合；
$I$ 是記號解釋，例如字串解釋、序列解釋、級數解釋、極限解釋或超有限展開解釋；
$E$ 是相等準則，例如語法同一、逐項同一、實數值同一、漸近等價或標準部相同。

若這三項沒有被指定，一個看似單純的等式便可能把多個不同命題摺疊在一起。

本文的第一項原則是：

相等不是脫離對象型別與判定規則而孤立存在的符號；任何「相等」都必須在一個已指定的判定域中成立。

二、同一記號下的七種可能對象

記號 $0.999\ldots$ 至少可能承載七種不同對象。

2.1 字串或表示式

把它視為由符號 $0$ 、小數點、若干個 $9$ 與省略號組成的形式表示。此時：

0.999\ldots\not\equiv_{\mathrm{syntax}}1.000\ldots.

兩個字串的首位、長度規則與生成描述均不相同。這個不相同是真實的，但它只是語法層的不相同。

2.2 第 $n$ 個有限截斷

定義：

d_n=0.\underbrace{99\ldots9}_{n\text{ 個 }9}.

則：

d_n=\sum_{k=1}^{n}9\cdot10^{-k}=1-10^{-n}.

因此對每一個有限自然數 $n$ ：

d_n<1.

2.3 由所有有限截斷構成的序列

完整序列是函數：

d:\mathbb N\to\mathbb Q,

d(n)=1-10^{-n}.

作為序列，它與常數序列

\mathbf 1=(1,1,1,\ldots)

並不逐項相同：

\forall n\in\mathbb N,\quad d_n\neq1.

2.4 生成規則

也可以把省略號理解為指令：「繼續在下一位加入一個 $9$ 。」例如令：

T(x)=\frac{x+9}{10},

則：

T(0.9)=0.99,

T(0.99)=0.999.

此時研究對象不是單一數值，而是一個迭代規則與其軌道。

2.5 無限級數

通常十進位語義把 $0.999\ldots$ 解釋為：

\sum_{k=1}^{\infty}9\cdot10^{-k}.

此級數的和為 $1$ 。

2.6 序列的極限值

把記號定義為所有有限截斷的極限：

0.999\ldots:=\lim_{n\to\infty}d_n.

在標準實數中，此極限為 $1$ 。

2.7 完備化中的等價類

若以柯西序列建構實數，則 $0.999\ldots$ 可以對應到序列 $(d_n)$ 所屬的等價類：

[d_n].

若兩個柯西序列之差趨於零，則它們代表同一個實數。由於：

\lim_{n\to\infty}|d_n-1| =\lim_{n\to\infty}10^{-n}=0,

所以：

[d_n]=[(1,1,1,\ldots)].

這七種對象具有緊密關係，但不能在不標示轉換的情況下被當成同一型別。

三、標準實數中為何相等

3.1 極限定義

令：

d_n=1-10^{-n}.

欲證明：

\lim_{n\to\infty}d_n=1.

依 $\varepsilon$ – $N$ 定義，必須證明：對任意 $\varepsilon>0$ ，存在 $N\in\mathbb N$ ，使所有 $n\geq N$ 都滿足：

|d_n-1|<\varepsilon.

而：

|d_n-1|=10^{-n}.

由實數的阿基米德性，對任意 $\varepsilon>0$ ，存在自然數 $N$ 使：

10^{-N}<\varepsilon.

當 $n\geq N$ 時：

10^{-n}\leq10^{-N}<\varepsilon.

故：

\lim_{n\to\infty}d_n=1.

如果無限十進位的標準定義是其有限截斷序列的極限，則立即得到：

0.999\ldots=1.

3.2 無限級數

由等比級數：

\sum_{k=1}^{\infty}9\cdot10^{-k} =\frac{9/10}{1-1/10} =1.

此證明使用了無限級數的標準求和語義，而幾何級數公式本身建立在極限理論之上。因此它不是脫離極限的另一種神祕道路，而是同一分析結構的另一個表達。

3.3 上確界

考慮集合：

S=\{d_n:n\in\mathbb N\}.

$1$ 是 $S$ 的上界。若存在 $u<1$ 仍為上界，令：

\delta=1-u>0.

由阿基米德性，可選取 $n$ 使：

10^{-n}<\delta.

於是：

d_n=1-10^{-n}>1-\delta=u,

與 $u$ 為上界矛盾。因此：

\sup S=1.

若無限小數由有限截斷的上確界定義，則同樣得到：

0.999\ldots=1.

3.4 極限唯一性排除其他實數值

假設 $(d_n)$ 同時收斂於 $L$ 與 $M$ 。則：

|L-M|\leq|L-d_n|+|d_n-M|.

令 $n\to\infty$ ，右側趨於零，因此：

|L-M|=0,

故：

L=M.

所以先提出 $1$ 作為候選值，再用 $\varepsilon$ – $N$ 條件驗證，並不是把答案逆向塞回定義；它是一種「提出候選—驗證—由唯一性排他」的完整證明結構。

四、最後一步 GAP：錯在哪裡，又真正存在於哪裡

4.1 不存在從某一有限項跳到 $1$ 的最後一步

由：

d_n=1-10^{-n},

可知：

\forall n\in\mathbb N,\quad d_n<1.

因此不存在有限 $N$ 使：

d_N=1.

也不存在標準自然數中的「最後一個有限位置」 $N$ ，使下一步 $N+1$ 突然完成無限展開。以下圖像是錯誤的：

0.9\to0.99\to0.999\to\cdots \to\boxed{\text{最後一個有限項}} \to1.

標準分析真正使用的是：

(d_n)_{n\in\mathbb N} \overset{\operatorname{Lim}}{\longmapsto} 1.

$\operatorname{Lim}$ 是作用於整個序列的算子，而不是序列內部的後繼步驟。

4.2 嚴格證明沒有「缺少下一步」

若有人要求證明「極限之後的下一步收斂到 $1$ 」，要求本身已混淆兩種型別。極限不是在全部有限項之後再添加的一項；它是對整個序列的漸近行為所作的判定。因此，標準實分析不需要找到：

d_{\infty}=1,

因為標準自然數索引中沒有名為 $\infty$ 的最後位置。

所以，將標準證明批評為「沒有證明最後一步」並不準確。更精確的批評是：許多初等敘述沒有說明自己從「所有有限階段」切換到了「整個序列的極限值」。

4.3 真正被壓縮的型別轉換

完整關係應寫成：

\{d_n:n\in\mathbb N\} \longrightarrow (d_n)_{n\in\mathbb N} \longrightarrow [d_n] \longrightarrow 1.

四個位置分別是：

有限截斷的集合；
帶索引與順序結構的序列；
完備化中的柯西等價類；
該等價類所代表的實數。

日常寫法把整條鏈壓縮為：

0.999\ldots=1.

形式證明可以完整，但敘述仍可能省略型別轉換。這正是「證明成立」與「概念橋梁完整呈現」之間的差別。

本文將此稱為：

序列—極限對象型別間隙（Sequence–Limit Object Type Gap）。

此間隙不是標準實分析內部尚未填補的定理缺口，而是數學傳達過程中常被專業壓縮所遮蔽的跨型別接口。

五、至少六種不同的相等

5.1 語法同一

若等號要求符號逐位完全相同，則：

0.999\ldots\neq_{\mathrm{syntax}}1.000\ldots.

5.2 有限數值同一

對每個有限截斷：

0.\underbrace{99\ldots9}_{n}\neq1.

5.3 序列逐項同一

令 $d=(d_n)$ 與 $\mathbf1=(1,1,1,\ldots)$ ，則：

d\neq_{\mathrm{pointwise}}\mathbf1.

5.4 漸近等價

由：

\lim_{n\to\infty}|d_n-1|=0,

可寫成：

d\sim_{0}\mathbf1,

其中 $\sim_0$ 表示兩序列之差收斂於零。

5.5 柯西完備化中的等價類同一

在柯西序列完備化中：

[d]=[\mathbf1].

5.6 標準實數值同一

令 $\operatorname{Val}_{\mathbb R}$ 為通常十進位求值映射，則：

\operatorname{Val}_{\mathbb R}(0.999\ldots) =\operatorname{Val}_{\mathbb R}(1.000\ldots) =1.

由此可以得到一個不互相矛盾的聯合敘述：

0.999\ldots \neq_{\mathrm{syntax}} 1.000\ldots,

但：

0.999\ldots =_{\mathbb R} 1.

前者保存表示結構；後者只保存實數值。兩者回答不同層次的問題。

六、十進位表示不是單射

令 $\mathcal D$ 表示允許無限展開的十進位表示空間，並定義求值映射：

\operatorname{Val}:\mathcal D\to\mathbb R.

此映射不是單射，因為至少有：

\operatorname{Val}(1.000\ldots) =\operatorname{Val}(0.999\ldots).

更一般地，任何具有有限十進位表示且末位非零的數，都有另一個尾端全為 $9$ 的表示。例如：

0.25=0.24999\ldots,

3.7000\ldots=3.6999\ldots.

因此，標準十進位記數法本身已包含表示冗餘：

d_1\neq d_2 \quad\text{但}\quad \operatorname{Val}(d_1)=\operatorname{Val}(d_2).

若希望每個實數只有一個規範表示，可以施加規則，例如禁止尾端永遠為 $9$ 的展開。此時 $0.999\ldots$ 不再是規範表示，但它在原求值語義下仍表示 $1$ 。刪除冗餘表示與改變數值不是同一操作。

也可以採用商集合：

\mathcal D/{\sim_{\operatorname{Val}}},

其中：

d_1\sim_{\operatorname{Val}}d_2 \iff \operatorname{Val}(d_1)=\operatorname{Val}(d_2).

於是：

[0.999\ldots]=[1.000\ldots].

這個寫法精確呈現了「表示不同、等價類相同」。

七、在哪些情況下可以不等於

7.1 有限截斷

最簡單的情況是固定有限位數：

0.999999<1.

其差為：

1-0.999999=10^{-6}.

任何有限截斷都嚴格小於 $1$ 。這與其極限等於 $1$ 沒有矛盾。

7.2 超有限小數

在非標準分析中，可取一個無限超整數：

H\in{}^{\ast}\mathbb N\setminus\mathbb N.

定義具有恰好 $H$ 個 $9$ 的超有限小數：

d_H=0.\underbrace{99\ldots9}_{H\text{ 個 }9} =1-10^{-H}.

因為：

10^{-H}>0,

所以：

d_H<1.

但 $10^{-H}$ 是正無窮小，因而：

d_H\approx1,

且其標準部為：

\operatorname{st}(d_H)=1.

必須注意：將標準實數 $0.999\ldots$ 嵌入超實數後，它仍等於 $1$ 。嚴格小於 $1$ 的是另行指定無限超整數位置 $H$ 的超有限對象 $d_H$ 。因此應寫成：

0.\underbrace{99\ldots9}_{H}<1,

而不應在未加標記的情況下宣稱標準記號 $0.999\ldots<1$ 。

7.3 字面無限小數系統

可以構造保留完整數位流差異的代數結構，使 $0.999\ldots$ 與 $1.000\ldots$ 不被商掉。此時：

0.999\ldots<1.000\ldots

可以作為系統的一部分成立。

然而，若希望保留這項嚴格不等式，就不能無條件保留標準實數的全部運算規則。某些構造會失去通常的消去性，或者限制減法、逆元與特定分數的表示。這表示：

可以建立 $0.999\ldots<1$ 的一致結構，但不能只改掉這一個等式，卻假定其他實數公理與運算法則全部維持不變。

7.4 計算機有限精度

在計算機中，實際儲存的通常是有限位元字串。若某個格式分別儲存 $0.999999$ 與 $1$ ，則兩者一般不相等；若經捨入映射落到同一浮點值，則它們又可能在該格式中相等。

因此，計算機判定應寫成：

\operatorname{Round}_{p}(x) = \operatorname{Round}_{p}(y),

而不是把有限精度結果直接冒充精確實數等式。

7.5 $p$ 進數與方向錯置

在 $10$ 進數型結構中，有意義的無限展開通常向左延伸。例如：

\ldots999=-1

可在相應的 $10$ 進拓撲語義中成立。這不能被用來反駁實數中的：

0.999\ldots=1,

因為兩者的展開方向、距離概念、收斂準則與所在數域不同。外觀類似的省略號並不保證語義相同。

八、不能用「不同表示」直接推翻「同一數值」

反對等式的一個常見直覺是：

0.999\ldots

與：

1.000\ldots

看起來不同，所以必須是不同的數。

此推理隱含了：

\text{表示不同}\Rightarrow\text{所指對象不同}.

但標準數學記號通常不具有這種單一表示性。例如：

\frac12=0.5=50\%.

三個表示在語法上不同，但求值相同。因此，從字串差異只能推出：

d_1\neq_{\mathrm{syntax}}d_2,

不能直接推出：

\operatorname{Val}(d_1)\neq\operatorname{Val}(d_2).

同樣地，從每一有限項小於 $1$ ：

\forall n,\quad d_n<1,

也不能推出其極限必須小於 $1$ ：

\lim_{n\to\infty}d_n<1.

不等式在取極限時可能由嚴格不等式退化為非嚴格不等式。一般只能先得到：

\lim_{n\to\infty}d_n\leq1,

再由極限計算確定其值恰為 $1$ 。

九、也不能用「實數值相同」消滅所有差異

另一個相反方向的錯誤，是從：

0.999\ldots=_{\mathbb R}1

推論兩者在所有層面都毫無差異。

事實上，它們仍可具有不同的：

字串結構；
語法生成規則；
有限截斷歷史；
計算成本；
正規表示地位；
在程式語言或證明助理中的項結構；
在替代數系中的解釋。

因此，標準實數等式只表示：在實數求值所保存的結構中，兩者不可區分。它不表示任何更高解析度的表示系統也必須遺忘差異。

可將此原則寫為：

\operatorname{Val}(d_1)=\operatorname{Val}(d_2) \centernot\Rightarrow d_1\equiv_{\mathrm{syntax}}d_2.

反過來：

d_1\not\equiv_{\mathrm{syntax}}d_2 \centernot\Rightarrow \operatorname{Val}(d_1)\neq\operatorname{Val}(d_2).

這兩條共同保護了「數值同一」與「表示差異」。

十、判定矩陣

判定層次	左側對象	右側對象	判定準則	結論
語法	字串 $0.999\ldots$	字串 $1.000\ldots$	逐符號同一	不相同
有限截斷	$d_n=1-10^{-n}$	$1$	有理數相等	不相等
序列	$(d_n)$	$(1,1,1,\ldots)$	逐項同一	不相同
漸近	$(d_n)$	$(1,1,1,\ldots)$	差趨於零	等價
極限	$\lim d_n$	$1$	實數極限	相等
柯西完備化	$[d_n]$	$[(1)]$	商等價類	相同
十進位求值	$0.999\ldots$	$1.000\ldots$	$\operatorname{Val}_{\mathbb R}$	相等
超有限展開	$d_H=1-10^{-H}$	$1$	超實數相等	不相等
標準部	$\operatorname{st}(d_H)$	$1$	標準部映射	相等
字面小數流	無限 $9$ 流	$1$ 後接無限 $0$	保留位流	可不相等
浮點表示	有限精度編碼	$1$ 的編碼	格式與捨入規則	依格式而定

此表顯示，「等於」與「不等於」都可能是正確答案，但前提是它們對應不同型別與判定域。若不標明判定層次，正確的局部命題會被誤當成對標準實數結論的直接否定。

十一、命題與推論

命題一：有限階段不可達命題

對：

d_n=1-10^{-n},

有：

\forall n\in\mathbb N,\quad d_n<1.

因此， $1$ 不是該序列在任何有限自然數索引下取得的值。

命題二：標準極限同一命題

在標準實數與通常極限語義下：

\lim_{n\to\infty}d_n=1.

因此，若：

0.999\ldots:=\lim_{n\to\infty}d_n,

則：

0.999\ldots=1.

命題三：表示非單射命題

通常十進位求值映射：

\operatorname{Val}:\mathcal D\to\mathbb R

不是單射，因為：

0.999\ldots\neq_{\mathrm{syntax}}1.000\ldots

而：

\operatorname{Val}(0.999\ldots) =\operatorname{Val}(1.000\ldots).

命題四：超有限嚴格差異命題

若 $H$ 為無限超整數，則：

d_H=1-10^{-H}<1,

但：

\operatorname{st}(d_H)=1.

推論：多層同一共存原則

同一對表示可以同時滿足：

d_1\neq_{E_1}d_2

與：

d_1=_{E_2}d_2,

只要 $E_1$ 與 $E_2$ 是不同的判定準則。這不是矛盾，而是多解析度對象系統的正常現象。

十二、研究邊界：本文沒有主張什麼

為避免命題越界，本文作以下限制。

第一，本文不主張標準實分析無法證明 $0.999\ldots=1$ 。相反地，本文明確認為：在標準實數公理與通常無限小數定義下，嚴格證明是完整的。

第二，本文不主張所有初等證明都同樣嚴格。部分代數演示把無限小數的移位、減法或級數運算當作不證自明；這些演示可以是良好的直觀說明，但其合法性仍依賴更底層的極限或完備化理論。

第三，本文不主張超實數推翻實數。超實數中的超有限對象與標準實數中的完成無限小數屬於不同型別。兩套系統可以並存。

第四，本文不主張數學對象會在未計算時自行演化。序列是帶索引的數學結構；是否把它理解為實際執行的程序，屬於另一個程序本體論問題，將由後續論文處理。

第五，本文不把「接受證明」等同於「接受其本體解釋」。形式有效性、定義接受、直觀整合與本體承諾是不同層次；其知識傳播問題亦留待後續研究。

十三、結論

$0.999\ldots=1$ 在標準實數中成立，但這個簡短等式壓縮了多個步驟：有限截斷形成序列、序列被判定為柯西、完備化將漸近差異商掉、十進位表示經求值映射落到實數，最後不同表示被辨認為同一數值。

因此，最完整的結論不是孤立地重複：

0.999\ldots=1,

也不是無條件地宣稱：

0.999\ldots\neq1.

而是分層寫成：

0.999\ldots \neq_{\mathrm{syntax}} 1.000\ldots,

(0.9,0.99,0.999,\ldots) \neq_{\mathrm{pointwise}} (1,1,1,\ldots),

\forall n\in\mathbb N,\quad 0.\underbrace{99\ldots9}_{n}<1,

但：

\lim_{n\to\infty} 0.\underbrace{99\ldots9}_{n} =1,

並且：

0.999\ldots=_{\mathbb R}1.

若改用無限超整數 $H$ 指定一個超有限末位，則：

0.\underbrace{99\ldots9}_{H}<1,

同時：

\operatorname{st} \left( 0.\underbrace{99\ldots9}_{H} \right)=1.

所以，爭議的成熟解法不是選擇一個無條件的「等於」或「不等於」，而是先問：比較的是什麼對象、記號被如何解釋、所在數域為何、等號保存了哪些結構，又遺忘了哪些差異。

本文的最終命題是：

$0.999\ldots$ 與 $1$ 的爭議，本質上是一個判定域、解釋函數與等價關係未充分分型的問題。標準實數中的數值同一不會消滅表示差異；表示差異也不能推翻標準實數中的數值同一。

附錄 A：常見證明及其隱含前提

A.1 乘十相減法

令：

x=0.999\ldots.

則：

10x=9.999\ldots.

相減得到：

9x=9,

所以：

x=1.

此方法的隱含前提是：無限小數已表示一個可進行通常實數乘法與減法的值，而且十進位移位與求值相容。若這些前提已由無限級數或極限定義建立，證明有效；若把 $0.999\ldots$ 只當成尚未完成的字面程序，則相關運算必須另行定義。

A.2 三分之一法

由：

\frac13=0.333\ldots,

兩側乘以 $3$ ：

1=0.999\ldots.

此方法依賴循環小數表示分數的既有理論。如果 $\frac13=0.333\ldots$ 本身也是透過極限建立，那麼它並非比極限法更基礎，只是把同一結構移到另一個熟悉等式中。

A.3 幾何級數法

0.999\ldots =\frac9{10}+\frac9{10^2}+\frac9{10^3}+\cdots =\frac{9/10}{1-1/10} =1.

此法最清楚揭示無限小數的級數語義，但依賴無限級數收斂與等比級數公式。

A.4 距離不可為正法

令：

\delta=1-0.999\ldots.

若 $\delta>0$ ，則由阿基米德性，可找到 $n$ 使：

10^{-n}<\delta.

但第 $n$ 個截斷距離 $1$ 僅為 $10^{-n}$ ，與 $\delta$ 是完整展開到 $1$ 的正距離矛盾。因此：

\delta=0.

此法直接顯示阿基米德實數中不存在小於所有正實數尺度的非零正無窮小。

附錄 B：三參數判定模板

今後遇到類似爭議，可以依序填寫：

B.1 對象域

D=?

例如：

D=\mathbb R,\quad{}^{\ast}\mathbb R,\quad\mathbb Q,\quad\mathcal D,\quad F_p.

B.2 解釋函數

I: \text{記號}\to\text{對象}.

例如：

I_{\mathrm{seq}}(0.999\ldots)=(d_n),

I_{\mathrm{lim}}(0.999\ldots)=\lim d_n,

I_H(0.999\ldots)=d_H.

B.3 等價關係

E=?

例如：

E=\equiv_{\mathrm{syntax}}, \quad E=\equiv_{\mathrm{pointwise}}, \quad E=\sim_0, \quad E=\equiv_{\mathbb R}.

完成三項後，命題才具有充分型別：

\operatorname{Eq}(x,y\mid D,I,E).

這個模板不只適用於無限小數，也可用於函數的幾乎處處相等、拓樸同胚、群同構、同倫等價、不同座標表示與計算機近似值等問題。

參考文獻

Apostol, T. M. Mathematical Analysis. Addison-Wesley.
Rudin, W. Principles of Mathematical Analysis. McGraw-Hill.
Robinson, A. Non-standard Analysis. Princeton University Press.
Richman, F. “Is $0.999\ldots=1$ ?” Mathematics Magazine, 72(5), 1999, 396–400.
Katz, K. U., & Katz, M. G. “When is $.999\ldots$ less than $1$ ?” 2010.
Norton, A., & Baldwin, M. “Does $0.999\ldots$ Really Equal $1$ ?” The Mathematics Educator, 21(2), 2011/2012, 58–67.
Rosenlicht, M. Introduction to Analysis. Dover Publications.

文件資訊

文件類型： 數學基礎／數學哲學交界之理論論文
版本： v1.0
日期： 2026-07-11
狀態： 可獨立閱讀之公開研究草稿
系列位置： 「無限小數、證明接受與程序本體論」三篇系列之一
後續論文： 《證明不等於認同：數學專業壓縮、解釋斷層與中層爭議吸引域》
後續論文： 《未執行的無限是否已經完成？數字生成、極限算子與程序本體論》

0.999判定域_表示序列極限與完備化中的多層等號

0.999…=10.999\ldots=10.999…=1 的判定域：表示、序列、極限與完備化中的多層等號

摘要