# 從歸納到餘歸納：十進位前綴樹、終餘代數與無限數位流

## 摘要

無限小數經常被直觀地描述為「不斷把數位寫下去」。這種說法雖有教學便利，卻容易把無限數位流誤認為某個位於所有有限字串之後的最後字串，進而產生「最後一個 $9$ 在哪裡」「尚未寫完為何已有數值」及「沒有實際執行時後續數位是否存在」等問題。本文主張，這些問題不能只靠增加極限證明解決，因為其根本涉及有限資料與無限行為的型別差異。

本文以十進位數位集合

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

為基礎，建立三條互相相容但不可混同的建構路徑。第一，有限字串 $D^\ast$ 是函子

$$
L(X)=1+D\times X
$$

的初始代數，其元素由有限次建構形成，故不存在任何「無限長的有限字串」。第二，有限前綴集合 $D^n$ 配合截斷映射形成反向系統，其反極限同構於數位流空間 $D^{\mathbb N}$ ；全 $9$ 前綴族 $(9^n)_n$ 唯一決定前綴樹邊界上的無限端 $9^\omega$ 。第三，數位流空間是函子

$$
F(X)=D\times X
$$

的終餘代數；全 $9$ 流由餘遞歸方程

$$
s_9=9::s_9
$$

刻畫，而非由某次有限運算完成。

本文再定義十進位求值映射

$$
\pi:D^{\mathbb N}\to[0,1],
$$

並證明其滿足

$$
\pi(d::s)=\frac{d+\pi(s)}{10}.
$$

由 $s_9=9::s_9$ 可得

$$
\pi(s_9)=1.
$$

這不是「最後一個 $9$ 進位成 $1$ 」，而是無限流在指定數值代數下的唯一指稱。本文同時證明：有限前綴的求值序列

$$
v_n(9^n)=1-10^{-n}
$$

與無限流的直接求值相容，即

$$
\pi\!\left(\varprojlim 9^n\right)
=
\lim_{n\to\infty}v_n(9^n)
=1.
$$

本文最後澄清，從有限字串到無限流是歸納型到餘歸納型的轉換，不是普通的數值相變； $9^\omega$ 作為流的行為完整性，也不等同於所有數位已在物理載體中實例化。此一分型將作為後續研究有向上確界、最小固定點、進位群胚、商型別及算子本體論的形式基礎。

**關鍵詞：** 歸納、餘歸納、初始代數、終餘代數、十進位前綴樹、無限數位流、反極限、bisimulation、數位求值、符號與指稱

---

## 一、問題的真正型別

考慮有限十進位表示：

$$
0.9,\quad0.99,\quad0.999,\quad\ldots
$$

以及無限記號：

$$
0.999\ldots.
$$

日常語言常說：「繼續在後面寫 $9$ ，永遠寫下去。」但這句話把至少四件不同的事壓縮在一起：

1. 一個具有有限長度的字串；
2. 一族長度逐步增加的有限前綴；
3. 一個對任意有限位置皆可觀察的無限流；
4. 該無限流在十進位求值下所指稱的實數。

如果不先分型，就容易形成以下非法等同：

$$
9^n
=
9^\omega
=
(0.9,0.99,0.999,\ldots)
=
1.
$$

四個表達式分別屬於不同型別：

$$
9^n\in D^n,
$$

$$
9^\omega\in D^{\mathbb N},
$$

$$
(0.9,0.99,0.999,\ldots)\in\mathbb Q^{\mathbb N},
$$

$$
1\in\mathbb R.
$$

因此，本文不首先問它們是否「相等」，而先問：

> 哪些建構、映射與普遍性質，把這四類對象連接起來？

---

## 二、有限數位字串的歸納結構

### 2.1 數位字母表與有限字

令：

$$
D=\{0,1,\ldots,9\}.
$$

長度為 $n$ 的有限數位字串集合是：

$$
D^n.
$$

所有有限數位字串的集合為：

$$
D^\ast
=
\bigsqcup_{n\in\mathbb N}D^n.
$$

其中 $\bigsqcup$ 保留長度資訊，使同一串數位在不同型別位置不被無條件混同。

### 2.2 有限列表函子

考慮函子：

$$
L(X)=1+D\times X.
$$

其中：

- $1$ 對應空字串；
- $D\times X$ 對應在既有字串前加入一個數位。

有限字串集合 $D^\ast$ 配備結構映射：

$$
\iota:1+D\times D^\ast\to D^\ast,
$$

是 $L$ 的初始代數。其兩種建構子可寫成：

$$
\operatorname{nil}:1\to D^\ast,
$$

$$
\operatorname{cons}:D\times D^\ast\to D^\ast.
$$

任何有限字串都由有限次 $\operatorname{cons}$ 作用於 $\operatorname{nil}$ 形成。

### 2.3 有限長度排除命題

定義長度函數：

$$
\ell:D^\ast\to\mathbb N.
$$

對任意 $w\in D^\ast$ ，都有：

$$
\ell(w)<\infty.
$$

因此：

$$
9^\omega\notin D^\ast.
$$

這不是因為尚未找到足夠大的自然數，而是因為：

$$
\omega\notin\mathbb N.
$$

所以不存在：

$$
n\in\mathbb N
$$

使：

$$
9^n=9^\omega.
$$

本文稱此為：

> **歸納有限性命題：** 由有限建構子歸納生成的字串型別，不含任何真正無限長的元素。

---

## 三、十進位前綴樹

### 3.1 樹的定義

將所有有限字串組成有根十叉樹：

$$
\mathcal T_{10}
=
\bigsqcup_{n\geq0}D^n.
$$

若 $u\in D^n$ 且 $d\in D$ ，則 $ud\in D^{n+1}$ 是 $u$ 的一個子節點。

樹序由前綴關係定義：

$$
u\preceq v
$$

當且僅當 $u$ 是 $v$ 的前綴。

全 $9$ 路徑的有限節點為：

$$
p_1=9,
$$

$$
p_2=99,
$$

$$
p_3=999,
$$

$$
\cdots
$$

並滿足：

$$
p_n\preceq p_{n+1}.
$$

### 3.2 樹中沒有最後一個全 $9$ 節點

對任意 $p_n=9^n$ ，都存在：

$$
p_{n+1}=9^{n+1}.
$$

因此，集合：

$$
\{9^n:n\in\mathbb N\}
$$

在前綴樹中沒有最大元素。

這說明：

$$
9^\omega
$$

不可能是「所有有限節點中的最後一個」。它必須在樹的邊界中被重新定型。

### 3.3 前綴樹的端空間

前綴樹的一條無限端是一族相容前綴：

$$
(w_n)_{n\in\mathbb N}
$$

滿足：

$$
w_n\in D^n,
$$

$$
w_n\preceq w_{n+1}.
$$

所有無限端形成：

$$
\partial\mathcal T_{10}\cong D^{\mathbb N}.
$$

全 $9$ 無限端記為：

$$
s_9=9^\omega.
$$

所以：

$$
s_9\in\partial\mathcal T_{10},
$$

但：

$$
s_9\notin\mathcal T_{10}.
$$

這個區分給出本文的第一個核心結論：

> 無限數位流是有限前綴樹的邊界端，不是前綴樹內部的最後節點。

---

## 四、有限前綴的反極限

### 4.1 截斷映射

對每個 $n$ ，定義刪除最後一位的映射：

$$
\rho_{n+1,n}:D^{n+1}\to D^n.
$$

例如：

$$
\rho_{3,2}(999)=99.
$$

它們滿足相容條件：

$$
\rho_{n+1,n}\circ\rho_{n+2,n+1}
=
\rho_{n+2,n}.
$$

因此形成反向系統：

$$
\cdots
\longrightarrow
D^3
\longrightarrow
D^2
\longrightarrow
D^1.
$$

### 4.2 反極限對象

其反極限是所有相容族：

$$
\varprojlim_nD^n
=
\left\{
(w_n)_n:
\rho_{n+1,n}(w_{n+1})=w_n
\right\}.
$$

每個相容族唯一決定一個無限數位流，故：

$$
\varprojlim_nD^n
\cong
D^{\mathbb N}.
$$

對全 $9$ 族：

$$
\rho_{n+1,n}(9^{n+1})=9^n.
$$

所以：

$$
(9^n)_n
\in
\varprojlim_nD^n,
$$

並唯一對應：

$$
9^\omega.
$$

### 4.3 反極限不是最後一步

反極限的存在不表示某個 $N$ 滿足：

$$
9^N=9^\omega.
$$

它表示：全部有限投影在所有截斷映射下相容，因而決定一個全局對象。

所以：

$$
\text{有限階段逐步增加}
$$

與：

$$
\text{相容族形成反極限}
$$

是不同建構。

---

## 五、前綴拓樸與無限端的唯一化

### 5.1 柱集

對有限字串 $w\in D^n$ ，定義柱集：

$$
[w]
=
\{s\in D^{\mathbb N}:w\preceq s\}.
$$

它表示所有以前綴 $w$ 開頭的無限流。

全 $9$ 柱集形成巢狀序列：

$$
[9]
\supset
[99]
\supset
[999]
\supset
\cdots.
$$

其交集為：

$$
\bigcap_{n=1}^{\infty}[9^n]
=
\{9^\omega\}.
$$

### 5.2 乘積拓樸

令每個 $D$ 具有離散拓樸，則：

$$
D^{\mathbb N}
$$

具有乘積拓樸。因 $D$ 有限且緊，依 Tychonoff 定理，其可數乘積亦緊。

柱集既開又閉，並形成拓樸基底。兩個流越長的前綴相同，就越接近。

可以定義超度量：

$$
d_{\mathrm{pref}}(s,t)
=
10^{-k(s,t)},
$$

其中 $k(s,t)$ 是兩流首次不同的位置；若 $s=t$ ，則距離為零。

於是：

$$
9^n
$$

不是直接作為無限流收斂，而是其柱集：

$$
[9^n]
$$

逐步縮小並唯一確定 $9^\omega$ 。

### 5.3 邊界完成與拓樸跳躍不同

前綴樹 $\mathcal T_{10}$ 與其端空間 $\partial\mathcal T_{10}$ 是不同型別。把端空間加入樹，是邊界完成：

$$
\mathcal T_{10}
\longmapsto
\mathcal T_{10}\cup\partial\mathcal T_{10}.
$$

但不能僅憑這一點宣稱數位本身發生物理相變。嚴格說法是：

> 觀察對象由有限節點系統擴張為包含無限端的邊界完成系統。

是否進一步稱為相變，需要另外指定被改變的型別、不變量或運算結構。

---

## 六、無限流的終餘代數

### 6.1 流函子

考慮函子：

$$
F(X)=D\times X.
$$

一個 $F$ -餘代數是集合 $X$ 配合映射：

$$
c:X\to D\times X.
$$

對每個狀態 $x\in X$ ， $c(x)$ 給出：

1. 當前輸出的數位；
2. 產生後續輸出的下一狀態。

### 6.2 流解構映射

數位流空間 $D^{\mathbb N}$ 配備：

$$
\zeta:D^{\mathbb N}\to D\times D^{\mathbb N},
$$

$$
\zeta(s)
=
(\operatorname{head}(s),\operatorname{tail}(s)).
$$

它是 $F$ 的終餘代數。

終性表示：對任意餘代數：

$$
c:X\to D\times X,
$$

存在唯一餘代數同態：

$$
\operatorname{beh}_c:X\to D^{\mathbb N}
$$

使系統中每個狀態被映射到其完整可觀察行為流。

### 6.3 全 $9$ 流的餘遞歸定義

令單點狀態空間為：

$$
X=\{\ast\}.
$$

定義：

$$
c(\ast)=(9,\ast).
$$

由終餘代數的普遍性，存在唯一映射：

$$
\operatorname{beh}_c(\ast)=s_9
$$

滿足：

$$
\zeta(s_9)=(9,s_9).
$$

亦即：

$$
s_9=9::s_9.
$$

這不是時間中的無限次已完成操作，而是對全部有限觀察的穩定行為規格。

### 6.4 行為完整與物理實例化

對任意有限 $n$ ，觀察 $s_9$ 的前 $n$ 位都得到：

$$
9^n.
$$

可以寫成：

$$
\operatorname{take}_n(s_9)=9^n.
$$

這表示 $s_9$ 具有行為完整性：任意有限觀察均被確定。

但它不蘊涵某個物理載體已儲存所有位數：

$$
\operatorname{Complete}_{\mathrm{beh}}(s_9)
\centernot\Rightarrow
\operatorname{Complete}_{\mathrm{phys}}(s_9,M,t).
$$

餘歸納處理的是無限行為的有限可觀察一致性，不是無限物理資源的完成。

---

## 七、餘歸納證明與 bisimulation

### 7.1 bisimulation 的定義

設 $R\subseteq D^{\mathbb N}\times D^{\mathbb N}$ 。若對所有 $(s,t)\in R$ ：

$$
\operatorname{head}(s)
=
\operatorname{head}(t),
$$

且：

$$
(\operatorname{tail}(s),\operatorname{tail}(t))\in R,
$$

則稱 $R$ 為 bisimulation。

兩個流若位於某個 bisimulation 中，便有相同行為。

### 7.2 流相等的餘歸納原則

對終餘代數中的流：

$$
s=t
$$

當且僅當它們 bisimilar。

因此，若要證明某流為 $9^\omega$ ，不需要枚舉所有無限位置；只需建立關係，證明其當前輸出為 $9$ ，且尾狀態仍滿足相同關係。

### 7.3 bisimulation 不等於數值等價

若把完整十進位表達式納入，包括整數部分與小數流，則：

$$
0.9^\omega
$$

與：

$$
1.0^\omega
$$

在符號行為上不同：

$$
0.9^\omega
\neq_{\mathrm{bisim}}
1.0^\omega.
$$

但它們可以具有同一數值。這說明：

$$
=_{\mathrm{bisim}}
$$

與：

$$
=_{\mathrm{Val}}
$$

是不同等價關係。進位等價與商型別將於後續論文處理。

---

## 八、十進位求值代數

### 8.1 求值映射

對流：

$$
s=(d_1,d_2,d_3,\ldots)\in D^{\mathbb N},
$$

定義：

$$
\pi(s)
=
\sum_{k=1}^{\infty}d_k10^{-k}.
$$

因：

$$
0\leq d_k\leq9,
$$

所以：

$$
0
\leq
\pi(s)
\leq
\sum_{k=1}^{\infty}9\cdot10^{-k}
=1.
$$

故：

$$
\pi:D^{\mathbb N}\to[0,1]
$$

良好定義。

### 8.2 首位—尾流遞歸方程

若：

$$
s=d::s',
$$

則：

$$
\pi(s)
=
\frac d{10}
+
\frac1{10}\pi(s').
$$

因此：

$$
\pi(d::s')
=
\frac{d+\pi(s')}{10}.
$$

定義數值代數：

$$
\alpha:D\times[0,1]\to[0,1],
$$

$$
\alpha(d,x)
=
\frac{d+x}{10}.
$$

則求值映射滿足相容方程：

$$
\pi
=
\alpha
\circ
(\operatorname{id}_D\times\pi)
\circ
\zeta.
$$

這是一個餘代數—代數同態方程：流被逐步解構，數值則被逐步折疊。

### 8.3 求值不是餘代數終性自動保證

必須注意：終餘代數的終性本身只保證行為映射到流的唯一性；它不自動保證任意代數都存在唯一的流求值函數。

本文中的唯一性來自：

- 十進位級數收斂；
- 每個分支映射 $x\mapsto(d+x)/10$ 是收縮；
- 巢狀數值區間直徑趨於零。

因此，餘代數結構與拓樸收縮共同確立 $\pi$ 。

---

## 九、全 $9$ 流的數值

### 9.1 餘遞歸求值

由：

$$
s_9=9::s_9,
$$

以及：

$$
\pi(d::s)
=
\frac{d+\pi(s)}{10},
$$

得到：

$$
\pi(s_9)
=
\frac{9+\pi(s_9)}{10}.
$$

整理：

$$
10\pi(s_9)
=
9+\pi(s_9),
$$

$$
9\pi(s_9)=9,
$$

所以：

$$
\boxed{\pi(s_9)=1}.
$$

### 9.2 此證明沒有最後一位

以上推導沒有假設存在：

$$
\operatorname{last}(s_9).
$$

相反地：

$$
\operatorname{tail}(s_9)=s_9.
$$

它使用的是無限流的自相似行為，而不是末位進位。

所以：

> $0.999\ldots$ 的值為 $1$ ，不是因為某個最後數位發生跳躍，而是因為全 $9$ 流是符號尾算子的固定點，而其十進位求值必須是數值收縮代數的對應固定點。

---

## 十、有限前綴求值與無限流求值

### 10.1 有限求值函數

對：

$$
w=(d_1,\ldots,d_n)\in D^n,
$$

定義：

$$
v_n(w)
=
\sum_{k=1}^nd_k10^{-k}.
$$

對全 $9$ 前綴：

$$
v_n(9^n)
=
\sum_{k=1}^n9\cdot10^{-k}
=
1-10^{-n}.
$$

所以：

$$
v_n(9^n)<1
$$

對所有有限 $n$ 成立。

### 10.2 尾端誤差界

全 $9$ 流與其第 $n$ 個有限前綴求值之差為：

$$
\pi(s_9)-v_n(9^n)
=
10^{-n}.
$$

因此：

$$
\lim_{n\to\infty}
v_n(9^n)
=1.
$$

### 10.3 前綴—流—數值一致性定理

令：

$$
p_n=9^n,
$$

並令：

$$
s_9
=
\varprojlim_np_n.
$$

則：

$$
\pi(s_9)
=
\lim_{n\to\infty}v_n(p_n)
=1.
$$

亦即：

$$
\boxed{
\pi\!\left(\varprojlim_np_n\right)
=
\lim_{n\to\infty}v_n(p_n)
}.
$$

這表示兩條完成路徑相容。

第一條是符號完成：

$$
(p_n)_n
\xrightarrow{\varprojlim}
s_9
\xrightarrow{\pi}
1.
$$

第二條是有限求值後取極限：

$$
(p_n)_n
\xrightarrow{(v_n)_n}
(1-10^{-n})_n
\xrightarrow{\lim}
1.
$$

但兩條路徑中的中間對象仍不同：

$$
s_9
\neq
(1-10^{-n})_n.
$$

相容不等於型別同一。

---

## 十一、求值映射的拓樸性質

### 11.1 連續性

若兩個流 $s,t$ 的前 $n$ 位相同，則其求值差最多為：

$$
|\pi(s)-\pi(t)|
\leq
\sum_{k=n+1}^{\infty}9\cdot10^{-k}
=
10^{-n}.
$$

因此，數位流在前綴拓樸中越接近，其實數值也越接近。故：

$$
\pi:D^{\mathbb N}\to[0,1]
$$

連續。

### 11.2 滿射性

每個 $x\in[0,1)$ 都有至少一個十進位展開，而 $1$ 可由：

$$
9^\omega
$$

表示。因此：

$$
\pi(D^{\mathbb N})=[0,1].
$$

### 11.3 非單射性

求值映射一般不是單射。例如：

$$
\pi(5000\ldots)
=
\pi(4999\ldots)
=
\frac12.
$$

所以：

$$
s\neq_{\mathrm{stream}}t
$$

並不蘊涵：

$$
\pi(s)\neq\pi(t).
$$

這個非單射性正是後續建立求值核、進位等價、商空間與進位群胚的起點。

---

## 十二、類型論表達

### 12.1 依賴長度的前綴型別

有限前綴不應只寫成無型別的字串，而應寫為：

$$
\mathsf{Prefix}(n)=D^n.
$$

截斷函數具有型別：

$$
\mathsf{truncate}_{n+1,n}:
\mathsf{Prefix}(n+1)
\to
\mathsf{Prefix}(n).
$$

### 12.2 餘歸納流型別

定義：

$$
\mathsf{Stream}(D)
=
\nu X.(D\times X),
$$

其中 $\nu$ 表示最大固定點／餘歸納型。

相對地，有限列表是：

$$
\mathsf{List}(D)
=
\mu X.(1+D\times X),
$$

其中 $\mu$ 表示最小固定點／歸納型。

因此：

$$
\mu X.(1+D\times X)
\neq
\nu X.(D\times X).
$$

### 12.3 型別安全的建構鏈

完整鏈條應寫為：

$$
(p_n)_n:
\mathsf{CompatiblePrefixFamily},
$$

$$
\mathsf{synComplete}((p_n)_n):
\mathsf{Stream}(D),
$$

$$
\mathsf{eval}
\bigl(
\mathsf{synComplete}((p_n)_n)
\bigr):
\mathbb R.
$$

而不是直接把三種型別用一個等號串接。

---

## 十三、有限觀察與無限對象

### 13.1 生產性而非終止性

對有限資料結構，常要求計算終止並產生完整結果；對無限流，合理要求不是終止，而是生產性：每次有限請求都能在有限時間內產生下一個可觀察部分。

令：

$$
\operatorname{take}_n:
D^{\mathbb N}\to D^n.
$$

全 $9$ 流滿足：

$$
\operatorname{take}_n(s_9)=9^n
$$

對所有有限 $n$ 成立。

因此， $s_9$ 的規格是生產性的，即使產生全部位數的程序永不終止。

### 13.2 無限對象是否「已完成」

至少應區分：

$$
\operatorname{Complete}_{\mathrm{type}}(s),
$$

表示 $s$ 是餘歸納型中的良好元素；

$$
\operatorname{Complete}_{\mathrm{obs}}(s,n),
$$

表示前 $n$ 位可被有限觀察；

$$
\operatorname{Complete}_{\mathrm{storage}}(s,M,t),
$$

表示載體 $M$ 在時間 $t$ 已物理儲存全部資料。

對無限流可能有：

$$
\operatorname{Complete}_{\mathrm{type}}(s)=1,
$$

$$
\forall n,
\quad
\operatorname{Complete}_{\mathrm{obs}}(s,n)=1,
$$

但：

$$
\operatorname{Complete}_{\mathrm{storage}}(s,M,t)=0
$$

對所有普通有限載體與有限時間成立。

所以「完成」必須帶型別。

---

## 十四、不能過早稱為相變

從：

$$
D^\ast
$$

到：

$$
D^{\mathbb N}
$$

確實發生重要結構改變：

- 有限長度變為無限行為；
- 結構歸納變為餘歸納；
- 初始代數變為終餘代數；
- 樹內節點變為樹邊界端；
- 終止性條件變為生產性條件。

但這些差異目前只能支持：

> **歸納—餘歸納型別轉換。**

若要稱為「相變」，至少還需選定一個共同母結構，並證明某個拓樸、代數、範疇或動力不變量在轉換前後發生質變。

因此，本文不宣稱：

$$
D^\ast\to D^{\mathbb N}
$$

本身已構成物理相變或傳統拓樸相變。

此限制可以避免把隱喻先寫成定理。

---

## 十五、核心命題整理

### 命題一：歸納有限性命題

$$
\forall w\in D^\ast,
\quad
\ell(w)<\infty.
$$

所以：

$$
D^\ast\cap D^{\mathbb N}=\varnothing
$$

在保留型別標記的情況下成立。

### 命題二：前綴相容族唯一化命題

相容族：

$$
(w_n)_n,
$$

其中：

$$
\rho_{n+1,n}(w_{n+1})=w_n,
$$

唯一決定一個流：

$$
s\in D^{\mathbb N}.
$$

### 命題三：全 $9$ 邊界端命題

$$
\bigcap_{n=1}^{\infty}[9^n]
=
\{9^\omega\}.
$$

### 命題四：終餘代數行為命題

全 $9$ 流由：

$$
s_9=9::s_9
$$

唯一刻畫。

### 命題五：求值遞歸命題

$$
\pi(d::s)
=
\frac{d+\pi(s)}{10}.
$$

### 命題六：符號固定點—數值固定點對應命題

由：

$$
\operatorname{tail}(s_9)=s_9
$$

得到：

$$
\pi(s_9)
=
\frac{9+\pi(s_9)}{10},
$$

故：

$$
\pi(s_9)=1.
$$

### 命題七：前綴—流—數值一致性命題

$$
\pi\!\left(\varprojlim_n9^n\right)
=
\lim_{n\to\infty}v_n(9^n)
=1.
$$

### 命題八：行為完成—物理完成非蘊涵命題

$$
\operatorname{Complete}_{\mathrm{beh}}(s)
\centernot\Rightarrow
\operatorname{Complete}_{\mathrm{phys}}(s,M,t).
$$

---

## 十六、研究邊界

第一，本文不重新證明實數系統的一般完備性，只處理十進位前綴、無限流與其求值。

第二，本文不把餘歸納解釋成物理世界中已實現無限資源。餘歸納給出的是有限觀察下的完整行為規格。

第三，本文不處理 $0.999\ldots$ 與 $1.000\ldots$ 的完整商化。兩者的進位關係、求值核與等價關係群胚留待系列第三篇。

第四，本文不處理 $1$ 作為有向上確界、Scott極限與最小固定點的結構；此部分留待系列第二篇。

第五，本文不將歸納—餘歸納轉換直接宣稱為物理相變。

第六，本文不由十進位案例直接推出一般算子本體論。本文只建立未來本體論必須尊重的數學型別與關係。

---

## 十七、結論

有限十進位前綴與無限十進位流並不是同一種對象的不同長度版本。有限字串是初始代數中的歸納元素，其建構必然終止；無限流是終餘代數中的餘歸納元素，其完整性表現在任意有限觀察均有一致後續，而不是物理上存在最後一個建構步驟。

因此：

$$
9^n
\not\longrightarrow
9^\omega
$$

若箭頭被理解為普通有限後繼。正確關係是：

$$
(9^n)_n
\xrightarrow{\varprojlim}
9^\omega.
$$

同時：

$$
9^\omega
\xrightarrow{\pi}
1.
$$

另一方面，有限求值給出：

$$
9^n
\xrightarrow{v_n}
1-10^{-n},
$$

而：

$$
\lim_{n\to\infty}(1-10^{-n})=1.
$$

兩條路徑在 $1$ 會合：

$$
\pi\!\left(\varprojlim_n9^n\right)
=
\lim_{n\to\infty}v_n(9^n)
=1.
$$

這個會合不會使中間對象失去差異。有限前綴不是無限流；無限流不是有理數序列；有理數序列不是實數值；流的 bisimulation 也不是實數的求值等價。

本文的最終結論是：

> $0.999\ldots$ 的無限性不應被理解為一個永遠等待最後一步完成的有限字串，而應被理解為前綴樹邊界上的餘歸納行為。其值為 $1$ ，不是因為最後一位被寫出，而是因為該餘歸納流在十進位求值代數下唯一折疊為數值固定點 $1$ 。

這使「沒有最後一個 $9$ 」與「已有確定數值 $1$ 」不再矛盾：前者描述歸納建構的不存在；後者描述餘歸納行為的指稱。

---

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

令：

$$
D_b=\{0,1,\ldots,b-1\},
$$

其中：

$$
b\geq2.
$$

定義求值：

$$
\pi_b((d_k)_k)
=
\sum_{k=1}^{\infty}d_kb^{-k}.
$$

其遞歸方程為：

$$
\pi_b(d::s)
=
\frac{d+\pi_b(s)}{b}.
$$

令：

$$
s_{b-1}=(b-1)^\omega.
$$

則：

$$
\pi_b(s_{b-1})
=
\frac{b-1+\pi_b(s_{b-1})}{b}.
$$

因此：

$$
b\pi_b(s_{b-1})
=
b-1+\pi_b(s_{b-1}),
$$

$$
(b-1)\pi_b(s_{b-1})
=
b-1,
$$

故：

$$
\boxed{\pi_b((b-1)^\omega)=1}.
$$

所以：

$$
0.111\ldots_2=1,
$$

$$
0.222\ldots_3=1,
$$

以及：

$$
0.999\ldots_{10}=1
$$

都是同一餘代數—代數結構的不同基數實例。

---

## 附錄 B：符號表

| 符號 | 含義 |
|---|---|
| $D$ | 十進位數位集合 $\{0,\ldots,9\}$ |
| $D^n$ | 長度為 $n$ 的有限字串型別 |
| $D^\ast$ | 全部有限字串 |
| $D^{\mathbb N}$ | 無限數位流空間 |
| $\mathcal T_{10}$ | 十叉前綴樹 |
| $\partial\mathcal T_{10}$ | 前綴樹的無限端空間 |
| $p_n=9^n$ | 第 $n$ 個全 $9$ 前綴 |
| $s_9=9^\omega$ | 全 $9$ 無限流 |
| $\rho_{n+1,n}$ | 前綴截斷映射 |
| $\varprojlim D^n$ | 相容前綴族的反極限 |
| $\zeta$ | 流的 head–tail 解構映射 |
| $\alpha(d,x)$ | 十進位數值折疊代數 |
| $\pi$ | 無限流求值映射 |
| $v_n$ | 有限前綴求值映射 |
| $\mu$ | 歸納型／最小固定點記號 |
| $\nu$ | 餘歸納型／最大固定點記號 |

---

## 參考文獻

1. Rutten, J. J. M. M. “[Universal Coalgebra: A Theory of Systems](https://www.cs.cornell.edu/courses/cs6861/2024sp/Handouts/Rutten.pdf).” *Theoretical Computer Science*, 249, 2000, 3–80.
2. Adámek, J. “[Introduction to Coalgebra](https://www.tac.mta.ca/tac/volumes/14/8/14-08.pdf).” *Theory and Applications of Categories*, 14(8), 2005, 157–199.
3. Kozen, D., & Silva, A. “[Practical Coinduction](https://www.cs.cornell.edu/kozen/Papers/Structural.pdf).” *Mathematical Structures in Computer Science*, 27(7), 2017, 1132–1152.
4. Pavlović, D., & Pratt, V. “[The Continuum as a Final Coalgebra](https://dusko.org/wp-content/uploads/2023/09/2002-TCS-reals.pdf).” *Theoretical Computer Science*, 280, 2002, 105–122.
5. 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.
6. Grandis, M. “[Directed Homotopy Theory, I: The Fundamental Category](https://arxiv.org/abs/math/0111048).” *Cahiers de Topologie et Géométrie Différentielle Catégoriques*, 44(4), 2003, 281–316.

---

## 文件資訊

- **文件類型：** 拓樸組合學／範疇論／類型論／餘代數理論論文
- **版本：** v1.0
- **日期：** 2026-07-11
- **狀態：** 可獨立閱讀之公開研究草稿
- **系列位置：** 「十進位邊界與算子本體論」系列之一
- **後續論文一：** 《不到達而完成：有向上確界、Scott拓樸與十進位收縮算子的最小固定點》
- **後續論文二：** 《表示不同，指稱同一：十進位進位群胚、商型別與多層等號》
- **後續總論：** 《生成、展開、完成與同一化：從十進位邊界到算子本體論》