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

## 摘要

對序列

$$
x_n=0.\underbrace{99\ldots 9}_{n\text{ 位}}
=1-10^{-n},
$$

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

$$
\lim_{n\to\infty}x_n=1.
$$

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

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

$$
\sup_{n\ge 0}x_n=1,
$$

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

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

則

$$
x_n=T_9^n(0),
$$

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

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

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

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

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

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

$$
\bigsqcup_{n\ge0}I_n
=\bigcap_{n\ge0}I_n
=[1,1].
$$

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

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

$$
10^{-n}>0\quad(n<\infty),
\qquad
\lim_{n\to\infty}10^{-n}=0,
$$

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

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

---

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

### 1.1 上一篇留下的問題

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

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

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

$$
x_n=1-10^{-n}.
$$

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

### 1.2 四個同時成立的敘述

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

$$
\forall n\in\mathbb N,
\quad x_n<1,
$$

$$
\neg\exists n\in\mathbb N,
\quad x_n=1,
$$

$$
\sup_{n\in\mathbb N}x_n=1,
$$

以及

$$
\lim_{n\to\infty}x_n=1.
$$

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

### 1.3 六種「完成」

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

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

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

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

---

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

### 2.1 前綴值公式

對 $n\ge1$ ，有限全 $9$ 小數為

$$
x_n
=\sum_{k=1}^{n}\frac9{10^k}.
$$

由有限等比級數公式，

$$
x_n
=\frac9{10}\frac{1-10^{-n}}{1-10^{-1}}
=1-10^{-n}.
$$

因此

$$
1-x_n=10^{-n}>0
$$

對每個有限 $n$ 都成立。

### 2.2 沒有有限階段到達 $1$

若存在 $n\in\mathbb N$ 使 $x_n=1$ ，則

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

所以

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

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

$$
\forall n\in\mathbb N,
\quad x_n\ne1.
$$

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

### 2.3 $1$ 是上界

由 $10^{-n}>0$ 得

$$
x_n=1-10^{-n}<1.
$$

所以 $1$ 是集合

$$
S=\{x_n\mid n\in\mathbb N\}
$$

的一個上界。

### 2.4 $1$ 是最小上界

設 $u<1$ 。令

$$
\delta=1-u>0.
$$

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

$$
10^{-n}<\delta.
$$

因此

$$
x_n
=1-10^{-n}
>1-\delta
=u.
$$

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

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

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

### 2.5 證明依賴什麼

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

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

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

---

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

### 3.1 有向集合

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

$$
\forall a,b\in A,
\quad
\exists c\in A,
\quad
a\sqsubseteq c
\ \land\
b\sqsubseteq c.
$$

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

### 3.2 有向完備偏序

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

$$
\bigsqcup A,
$$

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

### 3.3 本例的數值 dcpo

取

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

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

$$
\bot=0.
$$

又因

$$
x_{n+1}-x_n
=9\cdot10^{-(n+1)}>0,
$$

故

$$
x_0<x_1<x_2<\cdots<1.
$$

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

$$
\bigsqcup S=1.
$$

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

式子

$$
\bigsqcup_{n<\omega}x_n=1
$$

不蘊涵

$$
\exists N<\omega,
\quad x_N=1.
$$

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

$$
\max S
$$

不存在，但

$$
\sup S
$$

存在。

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

### 3.5 完成缺失的工作空間

若只把工作空間取成

$$
P_0=\{x_n\mid n\in\mathbb N\},
$$

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

$$
\overline P_0
=P_0\cup\{1\},
$$

才使這條特定鏈閉合。

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

---

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

### 4.1 Scott 開集

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

1. **向上封閉：** 若 $x\in U$ 且 $x\sqsubseteq y$ ，則 $y\in U$ ；
2. **有向上確界不可穿透：** 若 $A$ 為有向集合且 $\bigsqcup A\in U$ ，則 $A\cap U\ne\varnothing$ 。

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

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

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

$$
(a,1]
$$

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

$$
x_n\uparrow1
$$

可知最終存在 $N$ 使

$$
n\ge N
\quad\Longrightarrow\quad
x_n\in(a,1].
$$

故 $(x_n)_n$ 在 Scott 拓樸中收斂到 $1$ 。

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

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

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

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

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

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

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

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

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

---

## 五、十進位收縮算子

### 5.1 數位前置算子

對每個十進位數位

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

定義

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

$T_d$ 的含義是：把數位 $d$ 放到尾值 $x$ 的前面。

本文聚焦於

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

### 5.2 軌道公式

由歸納法可得

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

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

$$
T_9^n(0)
=1-10^{-n}
=x_n.
$$

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

### 5.3 單調性

若 $x\le y$ ，則

$$
T_9(x)=\frac{9+x}{10}
\le
\frac{9+y}{10}=T_9(y).
$$

因此 $T_9$ 是單調算子。

### 5.4 Scott 連續性

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

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

對每個有向集合 $A$ 成立。

對 $T_9$ ，由仿射性可得

$$
T_9\left(\sup A\right)
=\frac{9+\sup A}{10}
=\sup_{a\in A}\frac{9+a}{10}
=\sup T_9[A].
$$

故 $T_9$ 是 Scott 連續的。

### 5.5 歐氏收縮性

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

$$
|T_9(x)-T_9(y)|
=\frac1{10}|x-y|.
$$

所以 $T_9$ 是收縮率

$$
q=\frac1{10}
$$

的嚴格收縮映射。

### 5.6 固定點方程

若 $x$ 是固定點，則

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

因此

$$
10x=9+x,
$$

所以

$$
9x=9
$$

並得到

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

反向代入亦有

$$
T_9(1)=1.
$$

故 $1$ 是唯一固定點。

---

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

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

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

在本例中直接解得

$$
\operatorname{Fix}(T_9)=\{1\}.
$$

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

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

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

$$
\operatorname{lfp}(f)
=\bigsqcup_{n<\omega}f^n(\bot).
$$

對本例，

$$
\bot=0,
$$

故

$$
\operatorname{lfp}(T_9)
=\bigsqcup_{n<\omega}T_9^n(0)
=\bigsqcup_{n<\omega}(1-10^{-n})
=1.
$$

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

### 6.3 Banach：唯一性與誤差速率

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

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

在本例中有精確式

$$
|T_9^n(x)-1|
=10^{-n}|x-1|.
$$

特別地，

$$
|T_9^n(0)-1|=10^{-n}.
$$

### 6.4 三個定理不可互相替換

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

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

---

## 七、操作時間與指稱完成

### 7.1 自然數時間的操作語義

若把狀態演化定義為

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

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

$$
\operatorname{Reach}(0,T_9)
=\{T_9^n(0)\mid n<\omega\}.
$$

此時

$$
1\notin\operatorname{Reach}(0,T_9).
$$

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

### 7.2 指稱語義

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

$$
\llbracket T_9\rrbracket
=\operatorname{lfp}(T_9)
=1.
$$

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

### 7.3 加入極限序數階段

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

$$
x_\omega
=\bigsqcup_{n<\omega}x_n
=1.
$$

再由 Scott 連續性，

$$
x_{\omega+1}
=T_9(x_\omega)
=1.
$$

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

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

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

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

$$
\operatorname{lfp}(T_9)
=\bigsqcup_{n<\omega}T_9^n(0)
$$

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

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

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

因此：

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

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

---

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

### 8.1 為何通常數序仍不夠

對全 $9$ 前綴，數值序

$$
x_0<x_1<x_2<\cdots
$$

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

### 8.2 區間域

定義

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

令

$$
[a,b]\sqsubseteq[c,d]
\quad\Longleftrightarrow\quad
[c,d]\subseteq[a,b].
$$

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

在此序下：

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

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

$$
[x,x]
$$

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

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

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

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

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

因為

$$
I_{n+1}\subset I_n,
$$

在資訊序中有

$$
I_n\sqsubset I_{n+1}.
$$

所以

$$
I_0\sqsubset I_1\sqsubset I_2\sqsubset\cdots
$$

是一條資訊遞增鏈。

### 8.4 有向上確界是交集

對這條鏈，

$$
\bigsqcup_{n<\omega}I_n
=\bigcap_{n<\omega}I_n.
$$

又因

$$
\operatorname{diam}(I_n)=10^{-n}\to0,
$$

且所有 $I_n$ 都包含 $1$ ，故

$$
\bigcap_{n<\omega}I_n
=\{1\}
=[1,1].
$$

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

### 8.5 提升後的區間算子

將 $T_9$ 提升為

$$
\widehat T_9:\mathbb I[0,1]\to\mathbb I[0,1],
$$

$$
\widehat T_9([a,b])
=\left[\frac{9+a}{10},\frac{9+b}{10}\right].
$$

從底元素開始，

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

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

$$
\operatorname{lfp}(\widehat T_9)
=\bigsqcup_{n<\omega}\widehat T_9^n(\bot)
=[1,1].
$$

### 8.6 兩種 dcpo 的角色

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

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

---

## 九、前綴半群與方向性

### 9.1 有限字形成自由么半群

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

$$
w=d_1d_2\cdots d_n,
$$

定義

$$
T_w
=T_{d_1}\circ T_{d_2}\circ\cdots\circ T_{d_n}.
$$

則

$$
T_w(x)
=\sum_{k=1}^{n}\frac{d_k}{10^k}
+\frac{x}{10^n}.
$$

若 $u,v\in D^*$ ，則

$$
T_{uv}=T_u\circ T_v.
$$

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

### 9.2 全 $9$ 軌道是一個子半群作用

對字 $9^n$ ，

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

並且

$$
T_9^m\circ T_9^n=T_9^{m+n}.
$$

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

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

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

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

其代數逆式

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

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

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

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

前向軌道

$$
0\to0.9\to0.99\to\cdots
$$

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

$$
T_9(1)=1
$$

記錄穩定狀態；上確界

$$
\sup_nT_9^n(0)=1
$$

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

---

## 十、算子半群的邊界完成

### 10.1 迭代算子的極限

由

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

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

$$
T_9^n(x)\to1.
$$

令常值映射

$$
P_1(x)=1.
$$

則在一致度量

$$
d_\infty(f,g)
=\sup_{x\in[0,1]}|f(x)-g(x)|
$$

下，

$$
d_\infty(T_9^n,P_1)
=10^{-n}.
$$

故

$$
T_9^n\xrightarrow[n\to\infty]{\text{uniformly}}P_1.
$$

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

對任意有限 $n$ ，

$$
T_9^n(0)=1-10^{-n}<1=P_1(0),
$$

所以

$$
T_9^n\ne P_1.
$$

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

### 10.3 邊界算子的代數性質

$P_1$ 滿足

$$
P_1\circ P_1=P_1,
$$

故它是冪等映射。並且

$$
T_9\circ P_1=P_1,
$$

以及

$$
P_1\circ T_9=P_1.
$$

因此在閉包半群

$$
\mathcal S
=\{T_9^n\mid n\in\mathbb N_0\}\cup\{P_1\}
$$

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

### 10.4 從點完成到算子完成

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

$$
T_9^n(0)\longrightarrow1
$$

是狀態軌道完成，而

$$
T_9^n\longrightarrow P_1
$$

是算子半群完成。

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

---

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

### 11.1 標準實數中的正側逼近

令誤差

$$
e_n=1-x_n=10^{-n}.
$$

正確敘述是

$$
\forall n<\omega,
\quad e_n>0,
$$

並且

$$
e_n\downarrow0,
$$

亦即

$$
\lim_{n\to\infty}e_n=0.
$$

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

$$
0^+>0
$$

與

$$
0^+=0
$$

的新實數。

### 11.2 不能寫成正的實數極限

式子

$$
\lim_{n\to\infty}10^{-n}=0^+>0
$$

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

$$
10^{-n}\to0^+
$$

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

$$
10^{-n}\downarrow0.
$$

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

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

$$
H\in{}^*\mathbb N\setminus\mathbb N,
$$

則

$$
\varepsilon=10^{-H}
$$

可以是正無窮小，且

$$
x_H=1-10^{-H}<1.
$$

同時其標準部分為

$$
\operatorname{st}(x_H)=1.
$$

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

$$
x_H\in{}^*\mathbb R,
\qquad
\operatorname{st}(x_H)\in\mathbb R.
$$

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

---

## 十二、各判定域中的答案

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

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

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

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

---

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

### 13.1 完整證明鏈

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

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

接著由阿基米德性得

$$
\forall u<1,
\quad
\exists n,
\quad
x_n>u,
$$

所以

$$
\sup S=1.
$$

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

$$
0.999\ldots
:=\lim_{n\to\infty}x_n
=1.
$$

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

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

證明並不包含

$$
x_N=1
$$

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

### 13.3 哪些異議是合法的

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

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

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

### 13.4 證明與認同仍可分開

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

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

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

---

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

### 14.1 三種問題

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

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

對全 $9$ 流，規格

$$
d_n=9
\quad
(n\in\mathbb N)
$$

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

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

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

$$
x\mapsto\frac{9+x}{10}.
$$

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

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

靜態描述為

$$
1=\operatorname{lfp}(T_9),
$$

動態描述為

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

兩者透過

$$
\operatorname{lfp}(T_9)
=\bigsqcup_{n<\omega}T_9^n(0)
$$

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

---

## 十五、這是不是拓樸相變

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

映射

$$
t\mapsto1-10^{-t}
$$

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

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

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

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

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

$$
P_0
\hookrightarrow
\overline P_0=P_0\cup\{1\}.
$$

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

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

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

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

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

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

### 15.4 本文採用的保守命名

本文把

$$
\{x_n\}_{n<\omega}
\rightsquigarrow
1
$$

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

---

## 十六、核心命題整理

### 命題一：有限不可達命題

對

$$
x_n=1-10^{-n},
$$

有

$$
\forall n<\omega,
\quad x_n<1.
$$

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

### 命題二：上確界命題

在標準實數序中，

$$
\sup_{n<\omega}x_n=1.
$$

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

### 命題三：Scott 連續命題

算子

$$
T_9(x)=\frac{9+x}{10}
$$

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

### 命題四：最小固定點命題

由 Kleene 固定點定理，

$$
\operatorname{lfp}(T_9)
=\bigsqcup_{n<\omega}T_9^n(0)
=1.
$$

### 命題五：唯一固定點命題

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

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

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

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

令

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

在反包含次序下，

$$
\bigsqcup_{n<\omega}I_n
=\bigcap_{n<\omega}I_n
=[1,1].
$$

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

本例同時滿足

$$
1\notin\{T_9^n(0)\mid n<\omega\}
$$

及

$$
1=\operatorname{lfp}(T_9).
$$

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

### 命題九：算子閉包命題

有限迭代算子 $T_9^n$ 一致收斂到常值冪等算子 $P_1$ ，且

$$
P_1\notin\{T_9^n\mid n<\omega\}.
$$

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

### 命題十：標準誤差命題

在標準實數中，

$$
10^{-n}>0
$$

對所有有限 $n$ 成立，但

$$
\lim_{n\to\infty}10^{-n}=0.
$$

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

---

## 十七、研究邊界

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

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

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

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

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

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

---

## 十八、結論

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

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

從 $0$ 出發的有限軌道為

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

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

$$
\bigsqcup_{n<\omega}T_9^n(0)=1.
$$

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

$$
\operatorname{lfp}(T_9)=1.
$$

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

$$
|T_9^n(0)-1|=10^{-n}\to0.
$$

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

$$
[0,1]
\sqsubset
[0.9,1]
\sqsubset
[0.99,1]
\sqsubset\cdots
$$

以及

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

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

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

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

---

## 附錄 A：任意基數 $b$ 的一般化

令

$$
b\ge2,
$$

並定義最大數位前置算子

$$
T_{b-1}(x)
=\frac{b-1+x}{b}.
$$

則

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

從 $0$ 出發，

$$
x_n^{(b)}
=T_{b-1}^n(0)
=1-b^{-n}.
$$

對每個有限 $n$ ，

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

但

$$
\sup_{n<\omega}x_n^{(b)}=1.
$$

又因

$$
|T_{b-1}(x)-T_{b-1}(y)|
=\frac1b|x-y|,
$$

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

$$
x=1.
$$

相應區間鏈為

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

並滿足

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

所以對任意基數 $b$ ，

$$
0.\underbrace{(b-1)(b-1)(b-1)\ldots}_{b\text{ 進位}}
=1
$$

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

---

## 附錄 B：判定關係記號

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

### B.1 有限可達

$$
\operatorname{Reach}_{<\omega}(T,x,y)
\quad\Longleftrightarrow\quad
\exists n<\omega,
\ T^n(x)=y.
$$

本例有

$$
\neg\operatorname{Reach}_{<\omega}(T_9,0,1).
$$

### B.2 度量收斂

$$
\operatorname{Conv}_d((x_n),y)
\quad\Longleftrightarrow\quad
\forall\varepsilon>0,
\ \exists N,
\ \forall n\ge N,
\ d(x_n,y)<\varepsilon.
$$

本例有

$$
\operatorname{Conv}_{|\cdot|}((x_n),1).
$$

### B.3 有向完成

$$
\operatorname{DSup}(S,y)
\quad\Longleftrightarrow\quad
y=\bigsqcup S.
$$

本例有

$$
\operatorname{DSup}(\{T_9^n(0)\mid n<\omega\},1).
$$

### B.4 固定點

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

本例有

$$
\operatorname{IsFix}(T_9,1).
$$

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

---

## 附錄 C：符號表

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

---

## 參考文獻

1. Scott, D. S. “[Continuous Lattices](https://www.cs.ox.ac.uk/files/3229/PRG07.pdf).” In *Toposes, Algebraic Geometry and Logic*, Lecture Notes in Mathematics 274, Springer, 1972, 97–136.
2. Abramsky, S., & Jung, A. “[Domain Theory](https://www.cs.ox.ac.uk/files/298/handbook.pdf).” 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](https://msp.org/pjm/1955/5-2/pjm-v5-n2-p11-s.pdf).” *Pacific Journal of Mathematics*, 5(2), 1955, 285–309.
4. Cousot, P., & Cousot, R. “[Constructive Versions of Tarski’s Fixed Point Theorems](https://msp.org/pjm/1979/82-1/pjm-v82-n1-p04-s.pdf).” *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](https://eudml.org/doc/213289).” *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](https://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-374/ECS-LFCS-97-374.pdf).” 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](https://martinescardo.github.io/papers/issac.pdf).” Notes for a tutorial at ISSAC 2000, 2000.

---

## 文件資訊

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