← Archive
lm-001398 · 2026-07

不到達而完成_有向上確界Scott拓樸與十進位收縮算子的最小固定點

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

不到達而完成：有向上確界、Scott 拓樸與十進位收縮算子的最小固定點

摘要

對序列

xn=0.99…9⏟n 位=1−10−n,x_n=0.\underbrace{99\ldots 9}_{n\text{ 位}} =1-10^{-n},

每個有限階段都滿足 xn<1x_n<1 ，但標準實數分析又判定

lim⁡n→∞xn=1.\lim_{n\to\infty}x_n=1.

爭議往往由一句含混的問題引起：既然沒有任何有限一步「到達」 11 ，數學如何能說結果「完成」於 11 ？本文主張，「有限階段到達」「度量收斂」「有向上確界」「Scott 收斂」「固定點成立」與「物理程序完成」是六種不同判定，不能由同一個「到達」概念統攝。

本文首先在實數序中直接證明

sup⁡n≥0xn=1,\sup_{n\ge 0}x_n=1,

並指出該證明依賴阿基米德性與上確界完備性，不需要假設存在最後一個 99 ，也不是從答案反向偷渡結論。接著令

T9(x)=9+x10.T_9(x)=\frac{9+x}{10}.

則

xn=T9n(0),x_n=T_9^n(0),

而 T9T_9 同時具有三種結構：它是通常次序上的單調且 Scott 連續算子，是歐氏度量下收縮率為 1/101/10 的收縮映射，也是十進位前綴作用半群中的生成元。Kleene 固定點定理、Tarski 固定點定理及 Banach 收縮原理分別從有向完備、格論與度量觀點得到同一結果： 11 是 T9T_9 的最小固定點、唯一固定點及迭代極限。

為了避免把數值大小誤當成資訊量，本文另建立反包含區間域

I[0,1]={[a,b]∣0≤a≤b≤1},\mathbb I[0,1] =\{[a,b]\mid 0\le a\le b\le1\},

其中前綴 9n9^n 所提供的資訊是

In=[1−10−n,1].I_n=[1-10^{-n},1].

在反包含次序下， (In)n(I_n)_n 是資訊遞增鏈，且

⨆n≥0In=⋂n≥0In=[1,1].\bigsqcup_{n\ge0}I_n =\bigcap_{n\ge0}I_n =[1,1].

此模型比單純的數值序更精確地表達：「每個有限觀察仍保留不確定區間，但全部相容有限資訊的有向上確界已唯一決定實數 11 。」

本文特別修正兩種常見超譯。第一，在標準實數中只能寫

10−n>0(n<∞),lim⁡n→∞10−n=0,10^{-n}>0\quad(n<\infty), \qquad \lim_{n\to\infty}10^{-n}=0,

不能把極限寫成仍大於零的實數 0+>00^+>0 。第二，Scott 拓樸通常不是 Hausdorff；遞增鏈雖 Scott 收斂到其上確界，卻也可能收斂到較低元素。因此，唯一挑出 11 的是上確界結構，並非 Scott 拓樸單獨提供的唯一極限。最後，本文把有限運行、超限閉包、指稱語義與物理演化分開，為後續的進位群胚、商型別與算子本體論建立不混型別的基礎。

關鍵詞： 有向完備偏序、Scott 拓樸、Kleene 固定點、Tarski 固定點、Banach 收縮、區間域、十進位前綴、最小固定點、操作語義、指稱語義

一、問題不是「等不等於」，而是「在哪一層判定」

1.1 上一篇留下的問題

系列前篇已把三種對象分開：

  1. 有限字串 9n9^n ；
  2. 無限數位流 9ω9^\omega ；
  3. 流經十進位求值後所得的實數。

本篇改從另一條路徑研究同一邊界。先不把 0.999…0.999\ldots 當成無限流，而把每個有限前綴求值為

xn=1−10−n.x_n=1-10^{-n}.

問題於是變成：有限軌道 (xn)n(x_n)_n 與 11 之間究竟有哪些關係？

1.2 四個同時成立的敘述

令 n∈Nn\in\mathbb N ，並取 x0=0x_0=0 。以下四式同時成立：

∀n∈N,xn<1,\forall n\in\mathbb N, \quad x_n<1, ¬∃n∈N,xn=1,\neg\exists n\in\mathbb N, \quad x_n=1, sup⁡n∈Nxn=1,\sup_{n\in\mathbb N}x_n=1,

以及

lim⁡n→∞xn=1.\lim_{n\to\infty}x_n=1.

前兩式說「沒有有限階段到達」，後兩式說「上確界與度量極限是 11 」。它們沒有邏輯矛盾，因為量詞及判定關係不同。

1.3 六種「完成」

為避免語義滑動，本文採用下列分層：

判定層 形式問題 本例答案
有限到達 是否存在 n<ωn<\omega 使 xn=1x_n=1 ？ 否
度量收斂 是否對每個 ε>0\varepsilon>0 最終進入 11 的 ε\varepsilon 鄰域？ 是
有向完成 該遞增鏈是否有最小上界？ 是，為 11
Scott 收斂 該鏈是否收斂到其有向上確界？ 是，但拓樸極限不必唯一
固定點 是否有 T9(1)=1T_9(1)=1 ？ 是，而且固定點唯一
物理完成 某物理裝置是否實際執行無限步？ 數學結構本身不回答

本文所謂「不到達而完成」，精確意義是：

11 不屬於自然數索引軌道的已到達狀態集合，卻是該有向鏈的上確界、歐氏唯一極限與生成算子的固定點。

二、有限前綴鏈的直接實數證明

2.1 前綴值公式

對 n≥1n\ge1 ，有限全 99 小數為

xn=∑k=1n910k.x_n =\sum_{k=1}^{n}\frac9{10^k}.

由有限等比級數公式，

xn=9101−10−n1−10−1=1−10−n.x_n =\frac9{10}\frac{1-10^{-n}}{1-10^{-1}} =1-10^{-n}.

因此

1−xn=10−n>01-x_n=10^{-n}>0

對每個有限 nn 都成立。

2.2 沒有有限階段到達 11

若存在 n∈Nn\in\mathbb N 使 xn=1x_n=1 ，則

1−10−n=1,1-10^{-n}=1,

所以

10−n=0,10^{-n}=0,

這與 10−n>010^{-n}>0 矛盾。故

∀n∈N,xn≠1.\forall n\in\mathbb N, \quad x_n\ne1.

這證明的是有限可達性的否定，不是極限相等的否定。

2.3 11 是上界

由 10−n>010^{-n}>0 得

xn=1−10−n<1.x_n=1-10^{-n}<1.

所以 11 是集合

S={xn∣n∈N}S=\{x_n\mid n\in\mathbb N\}

的一個上界。

2.4 11 是最小上界

設 u<1u<1 。令

δ=1−u>0.\delta=1-u>0.

由實數的阿基米德性，可選 nn 使

10−n<δ.10^{-n}<\delta.

因此

xn=1−10−n>1−δ=u.x_n =1-10^{-n} >1-\delta =u.

所以每個 u<1u<1 都不是 SS 的上界。既然 11 是上界，而且任何更小的數都不是上界，便有

sup⁡S=1.\boxed{\sup S=1.}

這是一個正向證明：先證明 11 為上界，再證明其最小性。它沒有假定某個有限項等於 11 ，也沒有假定存在「最後一步」。

2.5 證明依賴什麼

上述證明不是無前提真理。它依賴：

  1. 十進位有限前綴的通常求值規則；
  2. 實數的阿基米德性；
  3. 實數序的上確界完備性；
  4. 上確界與序列極限的標準定義。

若拒絕其中某項，應明說改用了另一個數系、另一種無限小數語義或另一種完成概念。這是基礎框架的改變，不是既有證明鏈中偷偷遺漏了一個有限步驟。

三、有向集合、dcpo 與上確界完成

3.1 有向集合

在偏序集 (P,⊑)(P,\sqsubseteq) 中，非空子集 A⊆PA\subseteq P 稱為有向的，若

∀a,b∈A,∃c∈A,a⊑c ∧ b⊑c.\forall a,b\in A, \quad \exists c\in A, \quad a\sqsubseteq c \ \land\ b\sqsubseteq c.

直觀上，任意兩個有限近似都能在同一集合內找到共同的更進一步近似。

3.2 有向完備偏序

若每個有向子集 AA 都存在上確界

⨆A,\bigsqcup A,

則 PP 稱為有向完備偏序，簡記為 dcpo。若另有最小元素 ⊥\bot ，則稱為 pointed dcpo。

3.3 本例的數值 dcpo

取

P=([0,1],≤).P=([0,1],\le).

它不只是 dcpo，也是完全格。其最小元素為

⊥=0.\bot=0.

又因

xn+1−xn=9⋅10−(n+1)>0,x_{n+1}-x_n =9\cdot10^{-(n+1)}>0,

故

x0<x1<x2<⋯<1.x_0<x_1<x_2<\cdots<1.

集合 S={xn∣n∈N}S=\{x_n\mid n\in\mathbb N\} 是有向鏈，而

⨆S=1.\bigsqcup S=1.

3.4 有向完成不是新增一個自然數階段

式子

⨆n<ωxn=1\bigsqcup_{n<\omega}x_n=1

不蘊涵

∃N<ω,xN=1.\exists N<\omega, \quad x_N=1.

上確界是整個有向集合的序結構性質，不是集合內必然存在的最大元素。此處：

max⁡S\max S

不存在，但

sup⁡S\sup S

存在。

「最大元素」與「最小上界」正是爭議中最常被混用的兩個概念。

3.5 完成缺失的工作空間

若只把工作空間取成

P0={xn∣n∈N},P_0=\{x_n\mid n\in\mathbb N\},

則 P0P_0 不是 dcpo，因為整條鏈在 P0P_0 內沒有上確界。把 11 加入後得到

P‾0=P0∪{1},\overline P_0 =P_0\cup\{1\},

才使這條特定鏈閉合。

因此，「 11 是不是結果」有時其實是在詢問：工作空間是否已包含該有向鏈的上確界？若只允許有限軌道狀態，答案是否定的；若工作於實數或相應 dcpo 完成中，答案是肯定的。

四、Scott 拓樸：有向逼近的拓樸語言

4.1 Scott 開集

對 dcpo (P,⊑)(P,\sqsubseteq) ，子集 U⊆PU\subseteq P 稱為 Scott 開集，若同時滿足：

  1. 向上封閉： 若 x∈Ux\in U 且 x⊑yx\sqsubseteq y ，則 y∈Uy\in U ；
  2. 有向上確界不可穿透： 若 AA 為有向集合且 ⨆A∈U\bigsqcup A\in U ，則 A∩U≠∅A\cap U\ne\varnothing 。

第二條表示：有向資訊不能在所有有限近似都留在開集外時，於上確界突然「無中生有」地進入該開集。

4.2 [0,1][0,1] 上的 Scott 鄰域

在通常次序的 [0,1][0,1] 上，典型 Scott 開集為

(a,1](a,1]

其中 0≤a<10\le a<1 。若該開集包含 11 ，則由

xn↑1x_n\uparrow1

可知最終存在 NN 使

n≥N⟹xn∈(a,1].n\ge N \quad\Longrightarrow\quad x_n\in(a,1].

故 (xn)n(x_n)_n 在 Scott 拓樸中收斂到 11 。

4.3 關鍵修正：Scott 極限不必唯一

不能由上一節推論「 11 是唯一 Scott 拓樸極限」。Scott 拓樸通常只滿足 T0T_0 ，不滿足 Hausdorff 分離性。

事實上，對任意 y≤1y\le1 ，每個包含 yy 的 Scott 開集都是向上封閉的，並且對此遞增鏈最終可被進入。因此本例中的 (xn)n(x_n)_n 也 Scott 收斂到所有 y∈[0,1]y\in[0,1] 。

這不是錯誤，而是 Scott 拓樸把「可觀察資訊」置於分離點之上所造成的特徵。其 specialization order 正是原本的偏序。

所以應採用較精確的敘述：

11 是該有向鏈的上確界，因而是其規範的 supremal Scott limit；但 Scott 拓樸本身不保證拓樸極限唯一。

4.4 Scott 拓樸與歐氏拓樸的分工

結構 主要資料 本例提供的結論
通常次序 上界、最小性 1=sup⁡nxn1=\sup_nx_n
Scott 拓樸 有向近似的可觀察性 鏈收斂到其上確界，但極限可不唯一
歐氏拓樸 對稱鄰域與點分離 11 是唯一序列極限
歐氏度量 距離與速率 $

因此，若問題是「哪一點是唯一數值極限」，歐氏拓樸或度量已足夠；若問題是「有限近似如何形成有向資訊」，Scott 拓樸更合適；若問題是「哪個元素完成該鏈」，則需回到上確界。

五、十進位收縮算子

5.1 數位前置算子

對每個十進位數位

d∈D={0,1,…,9},d\in D=\{0,1,\ldots,9\},

定義

Td:[0,1]→[0,1],Td(x)=d+x10.T_d:[0,1]\to[0,1], \qquad T_d(x)=\frac{d+x}{10}.

TdT_d 的含義是：把數位 dd 放到尾值 xx 的前面。

本文聚焦於

T9(x)=9+x10.T_9(x)=\frac{9+x}{10}.

5.2 軌道公式

由歸納法可得

T9n(x)=1−10−n(1−x).T_9^n(x) =1-10^{-n}(1-x).

特別地，從 x0=0x_0=0 出發，

T9n(0)=1−10−n=xn.T_9^n(0) =1-10^{-n} =x_n.

所以「持續增加 99 」可形式化為一個算子的自然數次迭代，而不必假設數位在無人計算時物理地自行生成。

5.3 單調性

若 x≤yx\le y ，則

T9(x)=9+x10≤9+y10=T9(y).T_9(x)=\frac{9+x}{10} \le \frac{9+y}{10}=T_9(y).

因此 T9T_9 是單調算子。

5.4 Scott 連續性

一個 dcpo 映射 f:P→Qf:P\to Q 稱為 Scott 連續，若它單調且保持有向上確界：

f(⨆A)=⨆f[A]f\left(\bigsqcup A\right) =\bigsqcup f[A]

對每個有向集合 AA 成立。

對 T9T_9 ，由仿射性可得

T9(sup⁡A)=9+sup⁡A10=sup⁡a∈A9+a10=sup⁡T9[A].T_9\left(\sup A\right) =\frac{9+\sup A}{10} =\sup_{a\in A}\frac{9+a}{10} =\sup T_9[A].

故 T9T_9 是 Scott 連續的。

5.5 歐氏收縮性

對任意 x,y∈[0,1]x,y\in[0,1] ，

∣T9(x)−T9(y)∣=110∣x−y∣.|T_9(x)-T_9(y)| =\frac1{10}|x-y|.

所以 T9T_9 是收縮率

q=110q=\frac1{10}

的嚴格收縮映射。

5.6 固定點方程

若 xx 是固定點，則

x=T9(x)=9+x10.x=T_9(x)=\frac{9+x}{10}.

因此

10x=9+x,10x=9+x,

所以

9x=99x=9

並得到

x=1.\boxed{x=1.}

反向代入亦有

T9(1)=1.T_9(1)=1.

故 11 是唯一固定點。

六、三種固定點定理在本例中的不同工作

6.1 Tarski：完全格中的存在與格結構

Tarski 固定點定理指出：完全格上的單調自映射，其固定點集合本身形成完全格。由於 [0,1][0,1] 是完全格，而 T9T_9 單調，所以固定點存在，且有最小與最大固定點。

在本例中直接解得

Fix⁡(T9)={1}.\operatorname{Fix}(T_9)=\{1\}.

因此最小與最大固定點重合。

6.2 Kleene：從底元素迭代出最小固定點

Kleene 固定點定理的 dcpo 版本指出：若 PP 是帶底元素的 dcpo，且 f:P→Pf:P\to P Scott 連續，則

lfp⁡(f)=⨆n<ωfn(⊥).\operatorname{lfp}(f) =\bigsqcup_{n<\omega}f^n(\bot).

對本例，

⊥=0,\bot=0,

故

lfp⁡(T9)=⨆n<ωT9n(0)=⨆n<ω(1−10−n)=1.\operatorname{lfp}(T_9) =\bigsqcup_{n<\omega}T_9^n(0) =\bigsqcup_{n<\omega}(1-10^{-n}) =1.

Kleene 定理精確表達本文標題中的「不到達而完成」：最小固定點是有限迭代鏈的有向上確界，而不要求它等於某個有限迭代項。

6.3 Banach：唯一性與誤差速率

[0,1][0,1] 在歐氏度量下是完備度量空間，而 T9T_9 是收縮。因此 Banach 收縮原理保證：

  1. T9T_9 有唯一固定點；
  2. 從任意 x∈[0,1]x\in[0,1] 出發， T9n(x)T_9^n(x) 都收斂到該固定點；
  3. 收斂速度由收縮率控制。

在本例中有精確式

∣T9n(x)−1∣=10−n∣x−1∣.|T_9^n(x)-1| =10^{-n}|x-1|.

特別地，

∣T9n(0)−1∣=10−n.|T_9^n(0)-1|=10^{-n}.

6.4 三個定理不可互相替換

定理 結構前提 本例中的主要貢獻
Tarski 完全格、單調性 固定點存在，固定點形成完全格
Kleene pointed dcpo、Scott 連續性 最小固定點等於從底元素開始的 ω\omega 鏈上確界
Banach 完備度量空間、嚴格收縮 固定點唯一，並給出收斂速率

三者得到相容答案，不表示三種「完成」原本就是同一概念。它們在本例中因 T9T_9 同時具有次序、拓樸與度量結構而匯合。

七、操作時間與指稱完成

7.1 自然數時間的操作語義

若把狀態演化定義為

xn+1=T9(xn),x0=0,x_{n+1}=T_9(x_n), \qquad x_0=0,

並且只承認自然數時刻 n<ωn<\omega ，則可達狀態集合為

Reach⁡(0,T9)={T9n(0)∣n<ω}.\operatorname{Reach}(0,T_9) =\{T_9^n(0)\mid n<\omega\}.

此時

1∉Reach⁡(0,T9).1\notin\operatorname{Reach}(0,T_9).

所以，「程序在任何有限時間都沒有輸出精確的 11 」是正確敘述。

7.2 指稱語義

若把遞歸程序的意義定義為最小固定點，則

⟦T9⟧=lfp⁡(T9)=1.\llbracket T_9\rrbracket =\operatorname{lfp}(T_9) =1.

這裡的 11 不是某次有限執行紀錄，而是全部有限近似在語義域中的最小閉合解。

7.3 加入極限序數階段

若明確把索引從 ω\omega 擴張到 ω+1\omega+1 ，可定義

xω=⨆n<ωxn=1.x_\omega =\bigsqcup_{n<\omega}x_n =1.

再由 Scott 連續性，

xω+1=T9(xω)=1.x_{\omega+1} =T_9(x_\omega) =1.

這是一個合法的超限遞歸擴張，但 ω\omega 不是「最大的自然數」， xωx_\omega 也不是某個被隱藏的最後有限步驟。

7.4 本例不需要更長的超限迭代

對任意完全格上的單調算子，若沒有 Scott 連續性，從底元素反覆迭代時可能需要超限階段才能穩定。Cousot 與 Cousot 的建構性 Tarski 理論正處理此類一般情形。

但本例的 T9T_9 保持有向上確界，因此

lfp⁡(T9)=⨆n<ωT9n(0)\operatorname{lfp}(T_9) =\bigsqcup_{n<\omega}T_9^n(0)

已在第一個極限階段閉合。引入更高序數不會產生新的數值。

7.5 數學語義不等於物理超任務

定義 xωx_\omega 不表示某部機器已在有限物理時間完成無限次操作。它只表示語義域允許把全部有限近似的相容資訊取上確界。

因此：

指稱固定點成立⟹̸物理無限步驟已執行.\text{指稱固定點成立} \not\Longrightarrow \text{物理無限步驟已執行}.

反過來，沒有物理超任務也不會取消實數上確界或最小固定點的數學定義。

八、區間域：把數值大小與資訊量分開

8.1 為何通常數序仍不夠

對全 99 前綴，數值序

x0<x1<x2<⋯x_0<x_1<x_2<\cdots

恰好也像資訊逐步增加。但一般實數近似可能上下擺動，數值較大不代表資訊較多。因此，若研究的是「有限前綴逐步決定一個實數」，更自然的次序是區間的反包含序。

8.2 區間域

定義

I[0,1]={[a,b]∣0≤a≤b≤1}.\mathbb I[0,1] =\{[a,b]\mid0\le a\le b\le1\}.

令

[a,b]⊑[c,d]⟺[c,d]⊆[a,b].[a,b]\sqsubseteq[c,d] \quad\Longleftrightarrow\quad [c,d]\subseteq[a,b].

亦即，區間越小，資訊越多。

在此序下：

⊥=[0,1]\bot=[0,1]

代表完全未知；而每個單點區間

[x,x][x,x]

是極大元素，代表精確實數 xx 。不同單點區間彼此不可比較，所以此處是「極大」而不是唯一的「最大」。

8.3 前綴 9n9^n 所決定的區間

若只知道小數前 nn 位全為 99 ，其後數位尚未指定，則剩餘尾值對整體的貢獻介於 00 與 10−n10^{-n} ，因而得到閉區間包絡

In=[1−10−n,1].I_n =\left[1-10^{-n},1\right].

這裡的右端點是對所有可能尾值的精確上界，不表示任何有限前綴本身已經到達 11 。

因為

In+1⊂In,I_{n+1}\subset I_n,

在資訊序中有

In⊏In+1.I_n\sqsubset I_{n+1}.

所以

I0⊏I1⊏I2⊏⋯I_0\sqsubset I_1\sqsubset I_2\sqsubset\cdots

是一條資訊遞增鏈。

8.4 有向上確界是交集

對這條鏈，

⨆n<ωIn=⋂n<ωIn.\bigsqcup_{n<\omega}I_n =\bigcap_{n<\omega}I_n.

又因

diam⁡(In)=10−n→0,\operatorname{diam}(I_n)=10^{-n}\to0,

且所有 InI_n 都包含 11 ，故

⋂n<ωIn={1}=[1,1].\bigcap_{n<\omega}I_n =\{1\} =[1,1].

此處「完成」具有清楚的資訊意義：所有相容有限前綴共同保留的可能值只剩一個。

8.5 提升後的區間算子

將 T9T_9 提升為

T^9:I[0,1]→I[0,1],\widehat T_9:\mathbb I[0,1]\to\mathbb I[0,1], T^9([a,b])=[9+a10,9+b10].\widehat T_9([a,b]) =\left[\frac{9+a}{10},\frac{9+b}{10}\right].

從底元素開始，

T^9n([0,1])=[1−10−n,1]=In.\widehat T_9^n([0,1]) =\left[1-10^{-n},1\right] =I_n.

T^9\widehat T_9 對反包含序單調並保持有向上確界，因此

lfp⁡(T^9)=⨆n<ωT^9n(⊥)=[1,1].\operatorname{lfp}(\widehat T_9) =\bigsqcup_{n<\omega}\widehat T_9^n(\bot) =[1,1].

8.6 兩種 dcpo 的角色

模型 次序含義 鏈 上確界
([0,1],≤)([0,1],\le) 數值下方逼近 1−10−n1-10^{-n} 11
(I[0,1],⊇)(\mathbb I[0,1],\supseteq) 資訊區間縮小 [1−10−n,1][1-10^{-n},1] [1,1][1,1]

第二個模型揭示，所謂「未來數位尚未計算」可以被形式化為區間尚未縮成單點，而不必把未計算的數位想像成在時間中自行活動。

九、前綴半群與方向性

9.1 有限字形成自由么半群

十進位有限字集合 D∗D^* 在串接下形成自由么半群。對字

w=d1d2⋯dn,w=d_1d_2\cdots d_n,

定義

Tw=Td1∘Td2∘⋯∘Tdn.T_w =T_{d_1}\circ T_{d_2}\circ\cdots\circ T_{d_n}.

則

Tw(x)=∑k=1ndk10k+x10n.T_w(x) =\sum_{k=1}^{n}\frac{d_k}{10^k} +\frac{x}{10^n}.

若 u,v∈D∗u,v\in D^* ，則

Tuv=Tu∘Tv.T_{uv}=T_u\circ T_v.

所以有限前綴透過仿射收縮映射作用於尾值空間。

9.2 全 99 軌道是一個子半群作用

對字 9n9^n ，

T9n=T9n.T_{9^n}=T_9^n.

並且

T9m∘T9n=T9m+n.T_9^m\circ T_9^n=T_9^{m+n}.

這個組合律只需要么半群或半群，不需要群。

9.3 為何此處不應強行使用群

T9T_9 在 [0,1][0,1] 上不是滿射，因為

T9([0,1])=[0.9,1].T_9([0,1])=[0.9,1].

其代數逆式

T9−1(y)=10y−9T_9^{-1}(y)=10y-9

只在像集 [0.9,1][0.9,1] 上給出返回 [0,1][0,1] 的逆映射。若把它作用於 y<0.9y<0.9 ，結果離開 [0,1][0,1] 。

因此，向固定點收縮的全域演化具有不可逆方向，天然結構是半群；若要同時追蹤不同局部逆分支，才適合改用部分映射群胚。這個群胚層將在處理十進位進位與表示等價時使用。

9.4 軌跡方向不是數值同一性

前向軌道

0→0.9→0.99→⋯0\to0.9\to0.99\to\cdots

記錄生成方向；固定點方程

T9(1)=1T_9(1)=1

記錄穩定狀態；上確界

sup⁡nT9n(0)=1\sup_nT_9^n(0)=1

記錄完成關係。三者相關，但不是同一命題。

十、算子半群的邊界完成

10.1 迭代算子的極限

由

T9n(x)=1−10−n(1−x)T_9^n(x)=1-10^{-n}(1-x)

可知對所有 x∈[0,1]x\in[0,1] ，

T9n(x)→1.T_9^n(x)\to1.

令常值映射

P1(x)=1.P_1(x)=1.

則在一致度量

d∞(f,g)=sup⁡x∈[0,1]∣f(x)−g(x)∣d_\infty(f,g) =\sup_{x\in[0,1]}|f(x)-g(x)|

下，

d∞(T9n,P1)=10−n.d_\infty(T_9^n,P_1) =10^{-n}.

故

T9n→n→∞uniformlyP1.T_9^n\xrightarrow[n\to\infty]{\text{uniformly}}P_1.

10.2 邊界算子從未在有限次出現

對任意有限 nn ，

T9n(0)=1−10−n<1=P1(0),T_9^n(0)=1-10^{-n}<1=P_1(0),

所以

T9n≠P1.T_9^n\ne P_1.

然而 P1P_1 位於迭代算子集合的拓樸閉包中。

10.3 邊界算子的代數性質

P1P_1 滿足

P1∘P1=P1,P_1\circ P_1=P_1,

故它是冪等映射。並且

T9∘P1=P1,T_9\circ P_1=P_1,

以及

P1∘T9=P1.P_1\circ T_9=P_1.

因此在閉包半群

S={T9n∣n∈N0}∪{P1}\mathcal S =\{T_9^n\mid n\in\mathbb N_0\}\cup\{P_1\}

中， P1P_1 是吸收性的冪等邊界元素。

10.4 從點完成到算子完成

本例同時有兩種平行完成：

T9n(0)⟶1T_9^n(0)\longrightarrow1

是狀態軌道完成，而

T9n⟶P1T_9^n\longrightarrow P_1

是算子半群完成。

前者的邊界是固定點，後者的邊界是投向固定點的冪等算子。這為後續算子本體論提供一個可驗證的最小案例，但本文尚不把這個案例直接普遍化為本體論定律。

十一、 0+0^+ 的嚴格修正

11.1 標準實數中的正側逼近

令誤差

en=1−xn=10−n.e_n=1-x_n=10^{-n}.

正確敘述是

∀n<ω,en>0,\forall n<\omega, \quad e_n>0,

並且

en↓0,e_n\downarrow0,

亦即

lim⁡n→∞en=0.\lim_{n\to\infty}e_n=0.

符號 0+0^+ 可作為「從正側趨近 00 」的方向標記，但在標準實數中，它不是一個同時滿足

0+>00^+>0

與

0+=00^+=0

的新實數。

11.2 不能寫成正的實數極限

式子

lim⁡n→∞10−n=0+>0\lim_{n\to\infty}10^{-n}=0^+>0

若把 0+0^+ 解讀成實數，便是錯誤的。可接受的寫法是

10−n→0+10^{-n}\to0^+

其中上標只表示接近方向；或更無歧義地寫

10−n↓0.10^{-n}\downarrow0.

11.3 非標準分析中的另一個合法問題

若明確改用超實數，並取無限超自然數

H∈∗N∖N,H\in{}^*\mathbb N\setminus\mathbb N,

則

ε=10−H\varepsilon=10^{-H}

可以是正無窮小，且

xH=1−10−H<1.x_H=1-10^{-H}<1.

同時其標準部分為

st⁡(xH)=1.\operatorname{st}(x_H)=1.

這裡的 xHx_H 是超有限截斷值，不是標準實數語義下重複小數 0.999…0.999\ldots 的另一個值。兩者屬於不同型別：

xH∈∗R,st⁡(xH)∈R.x_H\in{}^*\mathbb R, \qquad \operatorname{st}(x_H)\in\mathbb R.

因此，非標準分析可以嚴格保存「仍差一個正無窮小」的直覺，但不能把該結論無標記地搬回標準實數。

十二、各判定域中的答案

同一串日常語言「 0.999…0.999\ldots 是否等於 11 」可展開為下表：

對象／判定域 0.999…0.999\ldots 的實際型別 與 11 的關係
長度 nn 的有限字串 9n∈Dn9^n\in D^n 不是實數 11 ；求值為 1−10−n<11-10^{-n}<1
自然數索引軌道 (xn)n∈[0,1]N(x_n)_n\in[0,1]^{\mathbb N} 沒有有限項等於 11
序列本身 一個函數 N→[0,1]\mathbb N\to[0,1] 與數字 11 型別不同
實數極限 lim⁡nxn∈R\lim_nx_n\in\mathbb R 等於 11
dcpo 上確界 ⨆nxn∈[0,1]\bigsqcup_nx_n\in[0,1] 等於 11
Scott 拓樸 一條有向收斂網 收斂到 11 ，但拓樸極限不必唯一
區間資訊域 ⨆n[1−10−n,1]\bigsqcup_n[1-10^{-n},1] 等於精確區間 [1,1][1,1]
無限數位流 9ω∈DN9^\omega\in D^{\mathbb N} 與實數 11 型別不同；經求值映射後為 11
固定點語義 lfp⁡(T9)\operatorname{lfp}(T_9) 等於 11
超有限截斷 1−10−H∈∗R1-10^{-H}\in{}^*\mathbb R 小於 11 ，其標準部分為 11
物理逐位書寫 時間中的有限狀態 任一有限時間都未寫出無限多位

所以答案不是含混的「有時等於、有時不等於」，而是：

在每個判定域內先固定型別與等號；標準實數重複小數的值等於 11 ，有限截斷及超有限截斷則不是同一個對象。

十三、所謂「證明間隙」究竟在哪裡

13.1 完整證明鏈

標準實數框架中的證明鏈可以寫為：

9n→有限求值xn=1−10−n→形成有向鏈S={xn}9^n \xrightarrow{\text{有限求值}} x_n=1-10^{-n} \xrightarrow{\text{形成有向鏈}} S=\{x_n\}

接著由阿基米德性得

∀u<1,∃n,xn>u,\forall u<1, \quad \exists n, \quad x_n>u,

所以

sup⁡S=1.\sup S=1.

若重複小數的標準定義為有限前綴值的極限，則

0.999…:=lim⁡n→∞xn=1.0.999\ldots :=\lim_{n\to\infty}x_n =1.

每一箭頭都有明確定義或公理依據。

13.2 真正不存在的是「最後一步證明」

證明並不包含

xN=1x_N=1

這種最後有限步，因為該命題本來就是假的。若要求證明必須找出這個 NN ，便是在要求一個錯誤命題作為正確極限命題的前提。

13.3 哪些異議是合法的

下列異議都是合法研究問題：

  1. 是否接受實數的上確界完備性？
  2. 是否接受實無窮對象，或只採潛無窮程序？
  3. 0.999…0.999\ldots 被定義為流、序列、極限、超有限字還是物理過程？
  4. 使用標準實數、可計算實數、構造性實數還是超實數？
  5. 等號是字面同一、行為等價、求值相等還是標準部分相等？

但一旦採用標準實數與標準重複小數定義，便不能再以「沒有有限項等於 11 」否定其極限為 11 。那是把有限可達關係錯置成極限等號。

13.4 證明與認同仍可分開

一個人可以理解上述證明有效，卻不認同其本體論詮釋，例如不接受完成無窮作為世界中的實在。這種立場應表述為：

接受形式推導的條件有效性∧拒絕特定本體論承諾.\text{接受形式推導的條件有效性} \quad\land\quad \text{拒絕特定本體論承諾}.

它不是在標準實數內同時宣稱定理又真又假，而是在區分形式語義與哲學承諾。

十四、數字是否會在無人計算時自動演化

14.1 三種問題

「後面的 99 是否會自動出現」至少包含三種不同問題：

  1. 規格問題： 規則是否決定任意第 nn 位？
  2. 運算問題： 某機器是否已算出第 nn 位？
  3. 物理問題： 某載體是否已實例化那些數位？

對全 99 流，規格

dn=9(n∈N)d_n=9 \quad (n\in\mathbb N)

一次決定每個有限位置的值。這不表示每個位置已被物理寫入，也不需要假設字串在無人觀看時沿時間自動成長。

14.2 算子是規則，不是隱形機械

T9T_9 可被理解為一條生成規則：

x↦9+x10.x\mapsto\frac{9+x}{10}.

數學上研究其所有有限迭代、上確界及固定點，只需要規則與工作空間；是否存在實際執行者是另一個模型層。

14.3 靜態與動態描述的相容性

靜態描述為

1=lfp⁡(T9),1=\operatorname{lfp}(T_9),

動態描述為

xn+1=T9(xn).x_{n+1}=T_9(x_n).

兩者透過

lfp⁡(T9)=⨆n<ωT9n(0)\operatorname{lfp}(T_9) =\bigsqcup_{n<\omega}T_9^n(0)

相連。靜態固定點不抹除動態軌跡；動態軌跡沒有有限終點，也不取消其指稱上確界。

十五、這是不是拓樸相變

15.1 連續逼近本身不是不連續跳躍

映射

t↦1−10−tt\mapsto1-10^{-t}

在 t∈[0,∞)t\in[0,\infty) 上連續，並在 t→∞t\to\infty 時趨近 11 。若把時間半直線作適當的一點緊化並加入端點 ∞\infty ，可連續延拓為

x(∞)=1.x(\infty)=1.

所以「有限時刻不到達 11 」本身不證明數值演化在 11 發生拓樸不連續。

15.2 從非完備工作域到完成域

若原工作域只含有限軌道 P0P_0 ，而完成域加入上確界 11 ，則確實發生了對象類別的擴張：

P0↪P‾0=P0∪{1}.P_0 \hookrightarrow \overline P_0=P_0\cup\{1\}.

這可稱為有向完成、邊界添加或理想完成的局部案例。若要進一步稱為「相變」，仍須指定共同母空間、控制參數及發生改變的拓樸或代數不變量。

15.3 不應由緊緻性推出錯誤結論

非緊空間可以連續映到緊空間，連續映射也不一般保持「非緊」性。因此不能僅以

[0,1) 非緊,[0,1] 緊[0,1)\ \text{非緊}, \qquad [0,1]\ \text{緊}

便斷言兩者之間不存在連續映射或必然發生相變。

本例真正需要的結構是：某條鏈的上確界在原工作域中缺失，而在完成域中存在。

15.4 本文採用的保守命名

本文把

{xn}n<ω⇝1\{x_n\}_{n<\omega} \rightsquigarrow 1

稱為「有向完成」或「邊界完成」，不直接稱為物理相變。這保留未來發展相變理論的可能，同時避免在尚未證明不變量改變前超譯。

十六、核心命題整理

命題一：有限不可達命題

對

xn=1−10−n,x_n=1-10^{-n},

有

∀n<ω,xn<1.\forall n<\omega, \quad x_n<1.

故 11 不是自然數索引軌道中的可達狀態。

命題二：上確界命題

在標準實數序中，

sup⁡n<ωxn=1.\sup_{n<\omega}x_n=1.

此結論由上界性、阿基米德性與最小上界性直接得到。

命題三：Scott 連續命題

算子

T9(x)=9+x10T_9(x)=\frac{9+x}{10}

在 ([0,1],≤)([0,1],\le) 上單調並保持有向上確界，故為 Scott 連續。

命題四：最小固定點命題

由 Kleene 固定點定理，

lfp⁡(T9)=⨆n<ωT9n(0)=1.\operatorname{lfp}(T_9) =\bigsqcup_{n<\omega}T_9^n(0) =1.

命題五：唯一固定點命題

T9T_9 是收縮率 1/101/10 的收縮映射，故依 Banach 原理有唯一固定點；該點為 11 。

命題六：Scott 非唯一極限命題

鏈 (xn)n(x_n)_n Scott 收斂到其上確界 11 ，但 Scott 拓樸不保證極限唯一。本例中它亦收斂到所有 y≤1y\le1 。因此 11 的規範地位來自上確界，而非單靠拓樸收斂。

命題七：區間資訊完成命題

令

In=[1−10−n,1].I_n=[1-10^{-n},1].

在反包含次序下，

⨆n<ωIn=⋂n<ωIn=[1,1].\bigsqcup_{n<\omega}I_n =\bigcap_{n<\omega}I_n =[1,1].

命題八：操作—指稱分離命題

本例同時滿足

1∉{T9n(0)∣n<ω}1\notin\{T_9^n(0)\mid n<\omega\}

及

1=lfp⁡(T9).1=\operatorname{lfp}(T_9).

故有限操作不可達與指稱語義完成可同時成立。

命題九：算子閉包命題

有限迭代算子 T9nT_9^n 一致收斂到常值冪等算子 P1P_1 ，且

P1∉{T9n∣n<ω}.P_1\notin\{T_9^n\mid n<\omega\}.

這是算子層的「不到達而完成」。

命題十：標準誤差命題

在標準實數中，

10−n>010^{-n}>0

對所有有限 nn 成立，但

lim⁡n→∞10−n=0.\lim_{n\to\infty}10^{-n}=0.

「始終為正」不蘊涵「極限仍為正」。

十七、研究邊界

第一，本文不重新證明系列前篇的終餘代數結果；本文只使用有限前綴值鏈並研究其有向完成。

第二，本文不把 9ω9^\omega 與 1.000…1.000\ldots 的表示等價視為已解決。求值映射的核、進位關係、商型別與群胚留待系列第三篇。

第三，本文只在標準實數、區間域及一個明確標記的超實數附帶模型中比較判定。不同基礎系統不可無標記混用。

第四，本文不把 Scott 拓樸宣稱為數值唯一極限的來源。它表達有向可觀察性；唯一實數極限由 Hausdorff 的歐氏拓樸提供，上確界則由偏序提供。

第五，本文不由單一仿射收縮算子推出一般宇宙演化定律。 T9T_9 只是建立算子本體論前的一個完全可計算試驗案例。

第六，本文不將有向完成自動等同物理相變。若要使用相變一詞，尚需指定並證明結構不變量的改變。

十八、結論

0.9,0.99,0.999,…0.9,0.99,0.999,\ldots 的核心關係可以由一個算子統一：

T9(x)=9+x10.T_9(x)=\frac{9+x}{10}.

從 00 出發的有限軌道為

T9n(0)=1−10−n<1,T_9^n(0)=1-10^{-n}<1,

所以沒有有限一步到達 11 。然而該軌道是一條有向鏈，且

⨆n<ωT9n(0)=1.\bigsqcup_{n<\omega}T_9^n(0)=1.

由 Scott 連續性，這個上確界正是最小固定點：

lfp⁡(T9)=1.\operatorname{lfp}(T_9)=1.

由歐氏收縮性，它又是唯一固定點與唯一度量極限：

∣T9n(0)−1∣=10−n→0.|T_9^n(0)-1|=10^{-n}\to0.

在資訊域中，同一完成表現為

[0,1]⊏[0.9,1]⊏[0.99,1]⊏⋯[0,1] \sqsubset [0.9,1] \sqsubset [0.99,1] \sqsubset\cdots

以及

⨆n<ω[1−10−n,1]=[1,1].\bigsqcup_{n<\omega}[1-10^{-n},1] =[1,1].

因此，真正精確的結論不是「序列在最後跳成 11 」，而是：

有限軌道沒有最後到達狀態；實數完備性為整條鏈提供上確界；Scott 連續算子把該上確界識別為最小固定點；歐氏收縮結構再把它識別為唯一極限；區間域則把全部有限前綴的資訊交集識別為精確點 [1,1][1,1] 。

這四層判定共同關閉了所謂「最後一步 GAP」，卻沒有抹除其背後真正值得討論的哲學問題：我們究竟把無限對象理解為有限操作、完成結構、資訊上確界、指稱語義，還是物理實在？數學可以讓這些問題彼此可區分；它不要求它們共享同一種「到達」。

附錄 A：任意基數 bb 的一般化

令

b≥2,b\ge2,

並定義最大數位前置算子

Tb−1(x)=b−1+xb.T_{b-1}(x) =\frac{b-1+x}{b}.

則

Tb−1n(x)=1−b−n(1−x).T_{b-1}^n(x) =1-b^{-n}(1-x).

從 00 出發，

xn(b)=Tb−1n(0)=1−b−n.x_n^{(b)} =T_{b-1}^n(0) =1-b^{-n}.

對每個有限 nn ，

xn(b)<1,x_n^{(b)}<1,

但

sup⁡n<ωxn(b)=1.\sup_{n<\omega}x_n^{(b)}=1.

又因

∣Tb−1(x)−Tb−1(y)∣=1b∣x−y∣,|T_{b-1}(x)-T_{b-1}(y)| =\frac1b|x-y|,

Tb−1T_{b-1} 是收縮率 1/b1/b 的收縮映射，其唯一固定點為

x=1.x=1.

相應區間鏈為

In(b)=[1−b−n,1],I_n^{(b)}=[1-b^{-n},1],

並滿足

⨆n<ωIn(b)=[1,1].\bigsqcup_{n<\omega}I_n^{(b)} =[1,1].

所以對任意基數 bb ，

0.(b−1)(b−1)(b−1)…⏟b 進位=10.\underbrace{(b-1)(b-1)(b-1)\ldots}_{b\text{ 進位}} =1

都具有同一個有向完成與固定點結構。

附錄 B：判定關係記號

為使後續論文可重用，定義下列關係：

B.1 有限可達

Reach⁡<ω(T,x,y)⟺∃n<ω, Tn(x)=y.\operatorname{Reach}_{<\omega}(T,x,y) \quad\Longleftrightarrow\quad \exists n<\omega, \ T^n(x)=y.

本例有

¬Reach⁡<ω(T9,0,1).\neg\operatorname{Reach}_{<\omega}(T_9,0,1).

B.2 度量收斂

Conv⁡d((xn),y)⟺∀ε>0, ∃N, ∀n≥N, d(xn,y)<ε.\operatorname{Conv}_d((x_n),y) \quad\Longleftrightarrow\quad \forall\varepsilon>0, \ \exists N, \ \forall n\ge N, \ d(x_n,y)<\varepsilon.

本例有

Conv⁡∣⋅∣((xn),1).\operatorname{Conv}_{|\cdot|}((x_n),1).

B.3 有向完成

DSup⁡(S,y)⟺y=⨆S.\operatorname{DSup}(S,y) \quad\Longleftrightarrow\quad y=\bigsqcup S.

本例有

DSup⁡({T9n(0)∣n<ω},1).\operatorname{DSup}(\{T_9^n(0)\mid n<\omega\},1).

B.4 固定點

IsFix⁡(T,y)⟺T(y)=y.\operatorname{IsFix}(T,y) \quad\Longleftrightarrow\quad T(y)=y.

本例有

IsFix⁡(T9,1).\operatorname{IsFix}(T_9,1).

這些關係不可用同一個無標記等號替代。

附錄 C：符號表

符號 含義
xnx_n 第 nn 個全 99 有限前綴值 1−10−n1-10^{-n}
SS 有限前綴值集合 {xn∣n∈N}\{x_n\mid n\in\mathbb N\}
⊑\sqsubseteq 資訊序或一般 dcpo 次序
⨆A\bigsqcup A 有向集合 AA 的上確界
⊥\bot pointed dcpo 的最小元素
TdT_d 數位 dd 的十進位前置算子
T9T_9 全 99 生成算子 (9+x)/10(9+x)/10
lfp⁡(T)\operatorname{lfp}(T) 算子 TT 的最小固定點
Fix⁡(T)\operatorname{Fix}(T) TT 的固定點集合
IsFix⁡(T,x)\operatorname{IsFix}(T,x) xx 是 TT 的固定點這一判定關係
I[0,1]\mathbb I[0,1] [0,1][0,1] 上的閉區間域
InI_n 前綴 9n9^n 的閉區間包絡 [1−10−n,1][1-10^{-n},1]
T^9\widehat T_9 T9T_9 在區間域上的提升
P1P_1 常值為 11 的冪等邊界算子
D∗D^* 十進位有限字的自由么半群
0+0^+ 僅作正側逼近方向標記時的非數值記號
∗R{}^*\mathbb R 超實數系統
st⁡\operatorname{st} 有限超實數的標準部分映射

參考文獻

  1. Scott, D. S. “Continuous Lattices.” In Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer, 1972, 97–136.
  2. Abramsky, S., & Jung, A. “Domain Theory.” In Handbook of Logic in Computer Science, Vol. 3, Oxford University Press, 1994, 1–168.
  3. Tarski, A. “A Lattice-Theoretical Fixpoint Theorem and Its Applications.” Pacific Journal of Mathematics, 5(2), 1955, 285–309.
  4. Cousot, P., & Cousot, R. “Constructive Versions of Tarski’s Fixed Point Theorems.” Pacific Journal of Mathematics, 82(1), 1979, 43–57.
  5. Banach, S. “Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales.” Fundamenta Mathematicae, 3(1), 1922, 133–181.
  6. Escardó, M. H. “PCF Extended with Real Numbers: A Domain-Theoretic Approach to Higher-Order Exact Real Number Computation.” PhD thesis, Imperial College, University of London, 1997; distributed as LFCS Report ECS-LFCS-97-374.
  7. Escardó, M. H. “Introduction to Exact Numerical Computation.” Notes for a tutorial at ISSAC 2000, 2000.

文件資訊

  • 文件類型： 次序論／拓樸學／領域論／固定點理論論文
  • 版本： v1.0
  • 日期： 2026-07-11
  • 狀態： 可獨立閱讀之公開研究草稿
  • 系列位置： 「十進位邊界與算子本體論」系列之二
  • 前篇： 《從歸納到餘歸納：十進位前綴樹、終餘代數與無限數位流》
  • 後續論文： 《表示不同，指稱同一：十進位進位群胚、商型別與多層等號》
  • 後續總論： 《生成、展開、完成與同一化：從十進位邊界到算子本體論》