# 《序列域相對論與探針演算》第 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\)：生成／精化規則。

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

1. 重新命名；
2. 重新編碼；
3. 結構搬運；
4. 子序列抽取；
5. 子結構限制；
6. 真正的域替換。

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

\[
\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)
}
\]

可包含：

```text
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,
\]

依序問：

1. 元素是否只是雙射重新命名？
2. 索引是否只是重新參數化？
3. 核心運算是否可同構搬運？
4. 目標 predicate 的 dependency structure 是否完整保存？
5. 是否只是選取子序列？
6. 是否只是 quotient / projection？
7. 是否有不可逆信息損失？
8. 是否引入新 operation / relation / generator？
9. 是否產生原域中不存在的新 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。