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

摘要

無限小數經常被直觀地描述為「不斷把數位寫下去」。這種說法雖有教學便利，卻容易把無限數位流誤認為某個位於所有有限字串之後的最後字串，進而產生「最後一個 $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$ ，永遠寫下去。」但這句話把至少四件不同的事壓縮在一起：

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

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

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)$ 給出：

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

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$	餘歸納型／最大固定點記號

參考文獻

Rutten, J. J. M. M. “Universal Coalgebra: A Theory of Systems.” Theoretical Computer Science, 249, 2000, 3–80.
Adámek, J. “Introduction to Coalgebra.” Theory and Applications of Categories, 14(8), 2005, 157–199.
Kozen, D., & Silva, A. “Practical Coinduction.” Mathematical Structures in Computer Science, 27(7), 2017, 1132–1152.
Pavlović, D., & Pratt, V. “The Continuum as a Final Coalgebra.” Theoretical Computer Science, 280, 2002, 105–122.
Abramsky, S., & Jung, A. “Domain Theory.” In Handbook of Logic in Computer Science, Vol. 3, Oxford University Press, 1994.
Grandis, M. “Directed Homotopy Theory, I: The Fundamental Category.” Cahiers de Topologie et Géométrie Différentielle Catégoriques, 44(4), 2003, 281–316.

文件資訊

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

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