《序列域相對論與探針演算》第 1 篇

序列域本體：元素、索引、生成、運算、關係與真正的換域條件

系列名： 序列域相對論與探針演算
英文： Sequence-Domain Relativity and Probe Calculus
縮寫： SDRPC
篇次： 01 / 06
作者： Neo.K；Aletheia（GPT-5.6 Sol）
日期： 2026-09-22
版本： v0.1
文件性質： 理論篇／形式骨架篇

機構： EveMissLab／一言諾科技有限公司

摘要

第 0 篇提出：數學 predicate 並非裸存在於符號之上，而依賴其所在的結構域。若這一原則要從哲學語句變成可驗證數學框架，首先必須回答：

什麼叫做「同一個序列域」？什麼又叫做「真正換了一個域」？

本篇建立 SDRPC 的最小序列域本體。核心物件寫為：

\boxed{ \mathfrak S = (X,I,\iota,\Sigma,\mathcal O,\mathcal R,\mathcal G) }

其中：

(X)：元素域；
(I)：索引域；
$\iota:I\to X$ ：序列實現；
$\Sigma$ ：順序、鄰接、後繼與局部結構；
$\mathcal O$ ：運算族；
$\mathcal R$ ：關係族；
$\mathcal G$ ：生成／精化規則。

本篇區分六種常被混淆的變換：

重新命名；
重新編碼；
結構搬運；
子序列抽取；
子結構限制；
真正的域替換。

並提出「結構等價階梯」：

\text{literal equality} \Rightarrow \text{isomorphism} \Rightarrow \text{homomorphic preservation} \Rightarrow \text{observational equivalence} \Rightarrow \text{task equivalence},

但反向一般不成立。

本文進一步提出「predicate dependency signature」：任何數學概念都應標記自己依賴哪些運算、關係與生成結構。以質數為例，其核心依賴不是十進位展開，而是：

(\times,1,\mid,=).

因此，改變十進位符號不會改變質數性；但改變乘法結構則可能改變 prime predicate 本身。

本篇的目的不是直接解質數問題，而是建立後續所有探針實驗的形式防線：在宣稱發現新規律之前，必須先判定「我們究竟是換了表示、換了觀測、還是真的換了數學域」。

一、為什麼需要序列域本體

假設存在：

1,3,5,7,9,11,\ldots

並重新命名：

A,B,C,D,E,F,\ldots

若沒有進一步說明，我們無法知道這代表：

單純重新命名；
重新編碼；
抽取奇數子序列；
建立新的索引；
搬運自然數上的運算；
定義新的運算；
建立新的數學域。

因此：

\boxed{ \text{元素列表本身不足以指定數學結構。} }

同一組符號可以承載完全不同的數學系統。

例如：

X=\{A,B,C,\ldots\}.

如果定義：

A\otimes A=A,

是一個結構。

若定義：

B\otimes B=E,

又是另一個結構。

只知道字母順序並不能決定乘法。

所以，後續討論任何「質數」、「偶數」、「模」、「因數」之前，都需要先固定它們所在的結構域。

二、最小序列域

定義：

\boxed{ \mathfrak S = (X,I,\iota,\Sigma,\mathcal O,\mathcal R,\mathcal G) }

為一個序列域。

2.1 元素域 (X)

(X) 是實際被操作的元素集合，例如 $\mathbb N,\mathbb Z,\mathbb Q,\mathbb R$ 或符號集合。元素域本身不自動附帶加法、乘法、順序、距離、模或整除。

2.2 索引域 (I)

序列通常需要索引 (I)。典型例子是 $\mathbb N$ ，但也可以是 $\mathbb Z$ 、有序集合、圖節點或樹節點。

2.3 序列實現 $\iota$

定義：

\iota:I\to X.

例如：

\iota(n)=2n+1

生成：

1,3,5,7,\ldots

索引域與元素值是不同角色。

三、索引與值不是同一回事

若：

\iota(n)=2n+1,

則：

\iota(0)=1,\quad \iota(1)=3,\quad \iota(2)=5.

因此「第 (n) 項是不是質數」是：

Q(\iota(n)),

而「索引 (n) 是不是質數」是：

[ Q(n). ]

兩者不可混淆。

四、序列骨架 $\Sigma$

$\Sigma$ 記錄順序、successor、predecessor、adjacency、block、neighborhood、branching 或 topology。

最簡形式：

\sigma(n)=n+1.

但一般序列域的 $\Sigma$ 可以比單純 successor 更豐富。

五、運算族 $\mathcal O$

定義：

\mathcal O=\{\omega_\alpha\}_{\alpha\in A}, \qquad \omega_\alpha:X^{k_\alpha}\to X.

例如自然數常含：

\mathcal O=\{+,\times\}.

若沒有指定 $\mathcal O$ ，就不能理所當然使用乘法結構。

六、關係族 $\mathcal R$

定義：

\mathcal R=\{R_\beta\}_{\beta\in B}.

例如：

<,\quad =,\quad \mid.

其中：

a\mid b \iff \exists c:\;a\times c=b.

因此整除本身也依賴乘法與存在量詞。

七、生成規則 $\mathcal G$

很多無限域不需要字面完整列舉，而可由 $\mathcal G$ 生成，例如：

0,\quad S(n)=n+1,

或：

x_0=1,\quad x_{n+1}=x_n+2.

因此 $\mathcal G$ 可以包含 closed-form generator、recursive generator、grammar、rewrite rule、transition system、oracle 或 refinement operator。

八、Raw Sequence

定義：

\mathfrak S_{\mathrm{raw}} = (X,I,\iota,\Sigma).

Raw Sequence 只有元素、索引、順序與序列映射，不預設：

+,\times,\mid,\bmod.

因此在 Raw Sequence 中：

\operatorname{Prime}

通常沒有定義。

九、Operational Sequence

加入：

\mathcal O,\mathcal R

後：

\mathfrak S_{\mathrm{op}} = (X,I,\iota,\Sigma,\mathcal O,\mathcal R).

此時才可能定義：

\operatorname{Prime}_{\mathfrak S}.

所以質數不是 Raw Sequence 概念，而是 Operational Structure 概念。

十、Prime 的 dependency signature

在自然數的常見結構中，可以寫：

\boxed{ \operatorname{Dep}(\operatorname{Prime}) = \{\times,1,=,\mid\} }

它不必依賴十進位 radix。

因此：

5_{10}=101_2

不改變 prime status。

十一、Predicate Dependency Signature

對 predicate (Q)，定義：

\operatorname{Dep}(Q)

為使其語義成立所依賴的候選最小結構集合。

後續可研究：

\operatorname{MinDep}(Q).

這比只看公式表面語法更重要，因為同一 predicate 可能有多個等價定義。

十二、重新命名

若：

f:X\to X'

只是雙射，則：

x\mapsto f(x)

屬於 renaming。

例如：

1\mapsto A,\quad 3\mapsto B,\quad 5\mapsto C.

這本身不產生新數學結構。

十三、重新編碼

若存在可逆 encode/decode：

D(E(x))=x,

則 (E) 可視為 encoding。

例如：

10_{10}=1010_2.

理想的無損 encoding 不改變 invariant mathematical properties。

十四、結構搬運

若：

f:X\to Y

是雙射，並滿足：

f(x\circ y)=f(x)\circ' f(y),

則核心結構可以被搬運。

若完整保持相關結構：

\mathfrak S_X\cong\mathfrak S_Y.

字面不同，不代表數學域不同。

十五、同構搬運下的 predicate

若：

f:\mathfrak S\to\mathfrak T

是結構同構，則由該語言定義的 predicate 應在同構意義下保持：

Q_{\mathfrak S}(x) \iff Q_{\mathfrak T}(f(x)).

這是後續所有換域實驗的 sanity check。

十六、子序列

若：

J\subseteq I,

則：

\iota|_J

形成子序列。

子序列首先只是 selection，不自動繼承所有運算。

十七、子集合不等於子結構

例如奇數集合：

O=\{1,3,5,\ldots\}

對乘法封閉：

O\times O\subseteq O.

但普通加法：

O+O \not\subseteq O.

所以它不自動成為保留 (+) 與 $\times$ 的完整子結構。

十八、Induced Structure

給定：

Y\subseteq X,

關係可以限制為：

R_Y=R_X\cap Y^k.

運算則只有在：

\omega(Y^k)\subseteq Y

時才能直接限制成 (Y) 上的運算。

否則必須放棄、修改、擴張域或改成部分運算。

十九、重新定義運算才可能真正改變 predicate

在奇數序列上定義：

f(n)=2n+1.

若：

a\oplus b = f(f^{-1}(a)+f^{-1}(b)),

a\otimes b = f(f^{-1}(a)f^{-1}(b)),

那只是從 $\mathbb N$ 搬運結構。

若另定義不存在此同構保持關係的新運算，才可能形成真正不同的 domain。

二十、Domain Replacement

本系列暫定：

\mathfrak S\leadsto\mathfrak T

為真正域替換，若至少一項核心結構發生實質變化，而且不存在對目標語言的完整同構將二者等價搬運。

核心變化可能來自：

元素域；
運算；
關係；
topology；
generator；
admissible states；
proof semantics。

二十一、結構等價階梯

定義：

\boxed{ \text{Structural Equivalence Ladder} }

由強到弱：

L0：Literal Equality

\mathfrak S=\mathfrak T.

L1：Isomorphism

\mathfrak S\cong\mathfrak T.

L2：Homomorphic Preservation

只保留部分結構。

L3：Observational Equivalence

對某 probe family：

P_i(\mathfrak S)=P_i(\mathfrak T).

L4：Task Equivalence

只對指定任務 (Q) 得到同一答案。

通常強層級可推出弱層級，但反向一般不成立。

二十二、觀測一致不等於結構同構

若：

P(\mathfrak S)=P(\mathfrak T),

不能推出：

\mathfrak S=\mathfrak T.

這是：

\boxed{ \text{Observation Is Not Ontology Principle} }

的基礎。

二十三、相同輸出序列也不等於相同域

兩個系統都可以輸出：

1,3,5,7,9,\ldots

但一個只是自然數奇數子序列，另一個可能在同一組符號上定義完全不同的 $\oplus,\otimes$ 。

因此：

\boxed{ \text{same emitted sequence} \neq \text{same mathematical domain}. }

二十四、生成規則相同也不等於域相同

即使：

x_{n+1}=x_n+2

相同，只要後續使用的運算、關係不同，域仍可能不同。

所以：

\boxed{ \text{generator} \neq \text{domain}. }

二十五、序列單體

一個序列單體可不只寫成 $x_n$ ，而寫成：

\mathfrak x_n = (x_n,n,N_n,\Lambda_n),

其中：

$x_n$ ：值；
(n)：索引；
$N_n$ ：局部鄰域；
$\Lambda_n$ ：結構標記。

Probe 可以作用在整個 $\mathfrak x_n$ 上，而不是只讀裸值。

二十六、序列集合

可以研究：

\mathcal S=\{\mathbf s_\alpha\}_{\alpha\in A}.

例如：

\pi_{(2)},\quad \pi_{(10)},\quad \pi_{(16)}

或：

C_2,\quad C_6,\quad C_{30},\quad C_{210}.

這是後續跨表示 invariant 的舞台。

二十七、序列域族

定義：

\mathfrak F = \{\mathfrak S_\alpha\}_{\alpha\in A}.

例如：

\mathfrak S_m = (\mathbb Z/m\mathbb Z,\ldots).

研究重點可以從單一 domain 轉向 family 隨參數 (m) 的變化。

二十八、結構映射

定義：

F:\mathfrak S\to\mathfrak T.

可追蹤：

injective；
surjective；
bijective；
homomorphic；
information-losing；
probe-complete。

這些屬性比單純的 (F(x)) 更重要。

二十九、Lossless 與 Lossy Mapping

若 (F) 可逆且核心結構完全保持，則視為結構無損。

若：

x\neq y

卻：

F(x)=F(y),

則映射壓縮差異。

定義 fiber：

F^{-1}(z) = \{x:F(x)=z\}.

fiber 會直接接到後續 Probe Residual。

三十、Quotient 的本體位置

等價關係：

x\sim y

形成：

X/{\sim}.

商映射：

q:X\to X/{\sim}

把多個元素壓成同一 class。

例如 mod (m)：

a\sim_m b \iff a-b\in m\mathbb Z.

因此：

q_m(n)=[n]_m.

這是一種明確的結構壓縮。

三十一、為什麼這會影響質數研究

對：

q_6:\mathbb Z\to\mathbb Z/6\mathbb Z,

命題：

p>3,\ p\text{ prime} \Rightarrow q_6(p)\in\{[1]_6,[5]_6\}

只表示：

prime predicate 在此 quotient 下的必要影像約束。

它不是 prime 的完整定義。

三十二、Prime Predicate 的域依賴

在不同代數結構裡：

prime；
irreducible；
atom；

未必完全相同。

因此：

\boxed{ \text{prime is structure-relative, not notation-relative}. }

三十三、數學相對論的精確限制

Structural relativity 不等於 truth arbitrariness。

一旦：

\mathfrak S

與：

Q_{\mathfrak S}

被定義，命題真假仍然受嚴格約束。

相對的是語義依賴的結構框架，不是真值本身可以任意變動。

三十四、序列域的可序列化表示

候選形式：

\mathfrak D = (S_0,\Phi,\mathcal O,\mathcal R,\mathcal P,\mathcal C).

其中：

$S_0$ ：初始狀態；
$\Phi$ ：生成／精化；
$\mathcal O$ ：運算；
$\mathcal R$ ：關係；
$\mathcal P$ ：探針；
$\mathcal C$ ：證書。

這是：

\boxed{ \text{finite specification with indefinite refinement}. }

三十五、局部域與全域域

有限截面：

\mathfrak S_N

不能自動代表完整：

\mathfrak S_\infty.

有限實驗只能證明有限範圍內的結論，除非存在額外 theorem 將其提升為全域結果。

三十六、Domain Signature

定義：

\boxed{ \operatorname{Sig}(\mathfrak S) }

可包含：

ElementDomain
IndexDomain
SequenceMap
OrderStructure
SuccessorStructure
Operations
Relations
Generators
Topology
Metric
Measure
ProofSemantics

這將成為後續 probe 實驗的 metadata。

三十七、Domain Difference

對：

\mathfrak S_1,\mathfrak S_2

定義結構差異向量：

\Delta_{\mathrm{dom}} = ( \Delta_X, \Delta_I, \Delta_\Sigma, \Delta_{\mathcal O}, \Delta_{\mathcal R}, \Delta_{\mathcal G} ).

若只有 encoding 不同而其他核心結構皆等價，就不應宣稱為新 domain mathematics。

三十八、最小換域判定程序

給定：

\mathfrak S\to\mathfrak T,

依序問：

元素是否只是雙射重新命名？
索引是否只是重新參數化？
核心運算是否可同構搬運？
目標 predicate 的 dependency structure 是否完整保存？
是否只是選取子序列？
是否只是 quotient / projection？
是否有不可逆信息損失？
是否引入新 operation / relation / generator？
是否產生原域中不存在的新 invariant？

只有後段出現實質差異，才有理由談 genuine domain change。

三十九、五條形式防線

39.1 No-New-Domain-By-Renaming Principle

可逆重新命名或結構同構本身不構成新域。

39.2 Predicate Dependency Preservation Principle

若映射完整保留 $\operatorname{Dep}(Q)$ ，則 (Q) 應在同構意義下保持。

39.3 Observation Is Not Ontology Principle

觀測一致不代表底層同構。

39.4 Subsequence Is Not Substructure Principle

抽序列不等於得到封閉子結構。

39.5 Finite Domain Is Not Infinite Domain Principle

有限截面不能自動升格為無限全域命題。

四十、對 M6 不動點的重新定位

早期可寫：

M_6^* = \{n>1:n\equiv\pm1\pmod6\}.

若某算子 $T_6$ 在此候選域中利用整除關係尋找因子，則其固定點可捕獲 prime 結構。

但其 dependency signature 仍包含：

\mid.

因此更精確的定位是：

\boxed{ \text{M6 fixed point} = \text{quotient-filtered divisibility construction}. }

這讓它能與其他 probe construction 公平比較。

四十一、後續真正要找的：最小結構

定義研究目標：

\boxed{ \operatorname{MinDep}(\operatorname{Prime}) }

問題是：

決定 prime predicate 所需的最小結構究竟是什麼？

候選包括：

full multiplication；
divisibility graph；
factor lattice；
residue family；
recursive sieve state；
finite certificates；
spectral encodings。

這是一個可以被實驗與反駁的問題。

四十二、Dependency Coverage

對 probe (P) 與 predicate (Q)，定義：

\operatorname{Cov}(P,Q)

表示 probe 對 (Q) 依賴結構的覆蓋。

目前可先視為集合：

\operatorname{Cov}(P,Q) \subseteq \operatorname{Dep}(Q).

例如 $P_6(n)=n\bmod6$ 對 prime 的 coverage 主要對應：

2\nmid n,\quad 3\nmid n.

這將在第 3 篇正式展開。

四十三、Definability、Observability、Decidability

需要強制區分：

\boxed{ \text{definable} \neq \text{observable} \neq \text{efficiently decidable}. }

prime 在自然數乘法結構中可定義，但 $n\bmod6$ 不足以唯一識別 prime；而完整 primality test 又涉及不同的計算複雜度問題。

這三層不能混為同一件事。

四十四、本篇的可反駁點

44.1 過度形式化

若所有 distinction 最終只是既有 universal algebra、model theory 或 category-theoretic 語言的重新包裝，SDRPC 的價值可能主要是統合與工程方法，而非基礎新理論。

44.2 Dependency 不唯一

同一 predicate 有多個等價定義，所以 $\operatorname{Dep}(Q)$ 可能受表示影響。後續需要研究語義最小化：

\operatorname{MinDep}(Q).

44.3 Domain boundary 模糊

某些系統可同時被看成 representation 與 computational domain，因此 equivalence criterion 可能必須相對於任務指定。

四十五、結論

本篇建立 SDRPC 的序列域本體：

\boxed{ \mathfrak S = (X,I,\iota,\Sigma,\mathcal O,\mathcal R,\mathcal G). }

並確認：

\boxed{ \text{symbol} \neq \text{value} \neq \text{index} \neq \text{operation} \neq \text{relation} \neq \text{domain}. }

同時：

\boxed{ \text{renaming} \neq \text{encoding} \neq \text{subsequence} \neq \text{substructure} \neq \text{quotient} \neq \text{domain replacement}. }

數學 predicate 應被寫成：

Q_{\mathfrak S},

並追蹤：

\operatorname{Dep}(Q).

對質數而言，其根本依賴在乘法與因數結構，而不是十進位符號。因此：

6k\pm1

應被理解為某個 quotient/probe 對 prime 必要條件形成的低解析度影像，而不是質數本體的最終語言。

本篇完成了系列第一道形式防線：

\boxed{ \text{在聲稱發現新的數學域或規律之前， 先證明我們不是只換了名字。} }

附錄 A：核心定義摘要

\mathfrak S = (X,I,\iota,\Sigma,\mathcal O,\mathcal R,\mathcal G)

序列域。

\mathfrak S_{\mathrm{raw}} = (X,I,\iota,\Sigma)

Raw Sequence。

\operatorname{Dep}(Q)

Predicate Dependency。

\operatorname{Sig}(\mathfrak S)

Domain Signature。

\Delta_{\mathrm{dom}} (\mathfrak S_1,\mathfrak S_2)

Domain Difference。

附錄 B：下一篇

第 2 篇：表示、商化與觀測

下一篇將正式研究：

representation；
radix；
projection；
subsequence；
truncation；
quotient；
modulus；
residue class；
wheel / primorial refinement；
information loss；
fiber；
quotient-induced pattern。

核心問題：

\boxed{ \text{一個規律究竟屬於原數學對象， 還是由我們選擇的表示／商化方式生成？} }

並正式把：

6,\ 30,\ 210,\ 2310,\ldots

從「質數神秘規律」重新定位為一族可比較、可精化、可測資訊損失的 quotient probes。

《序列域相對論與探針演算》第 1 篇

《序列域相對論與探針演算》第 1 篇

序列域本體：元素、索引、生成、運算、關係與真正的換域條件

摘要

一、為什麼需要序列域本體

二、最小序列域

2.1 元素域 (X)

2.2 索引域 (I)

2.3 序列實現 ι\iotaι

三、索引與值不是同一回事

四、序列骨架 Σ\SigmaΣ

五、運算族 O\mathcal OO

六、關係族 R\mathcal RR

七、生成規則 G\mathcal GG

八、Raw Sequence

九、Operational Sequence

十、Prime 的 dependency signature

十一、Predicate Dependency Signature

十二、重新命名

十三、重新編碼

十四、結構搬運

十五、同構搬運下的 predicate

十六、子序列

十七、子集合不等於子結構

十八、Induced Structure

十九、重新定義運算才可能真正改變 predicate

二十、Domain Replacement

二十一、結構等價階梯

L0：Literal Equality

L1：Isomorphism

L2：Homomorphic Preservation

L3：Observational Equivalence

L4：Task Equivalence

二十二、觀測一致不等於結構同構

二十三、相同輸出序列也不等於相同域

二十四、生成規則相同也不等於域相同

二十五、序列單體

二十六、序列集合

二十七、序列域族

二十八、結構映射

二十九、Lossless 與 Lossy Mapping

三十、Quotient 的本體位置

三十一、為什麼這會影響質數研究

三十二、Prime Predicate 的域依賴

三十三、數學相對論的精確限制

三十四、序列域的可序列化表示

三十五、局部域與全域域

三十六、Domain Signature

三十七、Domain Difference

三十八、最小換域判定程序

三十九、五條形式防線

39.1 No-New-Domain-By-Renaming Principle

39.2 Predicate Dependency Preservation Principle

39.3 Observation Is Not Ontology Principle

39.4 Subsequence Is Not Substructure Principle

39.5 Finite Domain Is Not Infinite Domain Principle

四十、對 M6 不動點的重新定位

四十一、後續真正要找的：最小結構

四十二、Dependency Coverage

四十三、Definability、Observability、Decidability

四十四、本篇的可反駁點

44.1 過度形式化

44.2 Dependency 不唯一

44.3 Domain boundary 模糊

四十五、結論

附錄 A：核心定義摘要

附錄 B：下一篇

2.3 序列實現 $\iota$

四、序列骨架 $\Sigma$

五、運算族 $\mathcal O$

六、關係族 $\mathcal R$

七、生成規則 $\mathcal G$