# 關係約束交接方法論 v0.1
## Relational Constraint–Handoff Methodology (RCHM)

**狀態：** 內部方法論草案 v0.1  
**用途：** 用於分析數學、物理與一般形式系統中，多個無界域、不同描述域或不同生成機制，如何透過關係、限制、介面與合法性條件形成有效域、受控域、見證域或閉包域。

---

## 0. 方法論目的

本方法論不把「無限」、「相交」、「有界」、「存在」或「等價」視為可直接使用的終止詞，而要求逐層回答：

1. 什麼對象被稱為無限？
2. 無限發生在哪個作用域、尺度、範數或拓撲下？
3. 兩個域是否具有共同介面？
4. 何種關係使二者可比較或可交接？
5. 哪些交接是合法的？
6. 交接後保留了哪些自由度，又消除了哪些逃逸方向？
7. 所得有效域是空、有限、有界、緊、低維、離散，還是仍然無界？
8. 有效域中的元素是否都有來源、原像或生成見證？
9. 關係是否隨時間、參數或尺度演化？
10. 所有結論到底在哪個作用域內成立？

因此，本方法論的基本立場是：

$$
\text{Boundedness need not be primitive;}
\quad
\text{it may be relationally generated.}
$$

亦即：

$$
\boxed{
\text{有限或受控，不必來自有限生成元；}
\text{它可以來自多個無界自由度之間的合法約束。}
}
$$

---

## 1. 基本對象

考慮兩個原始域：

$$
A,\qquad B.
$$

不預設 $A$ 與 $B$ 同型，也不預設它們可以直接取集合交集。

首先引入共同介面域：

$$
C,
$$

以及交接映射：

$$
f:A\to C,
\qquad
g:B\to C.
$$

再引入關係：

$$
R\subseteq A\times B,
$$

以及合法性條件：

$$
\Gamma:A\times B\to\{0,1\}.
$$

定義合法交接域：

$$
J_\Gamma(A,B;C)
=
\left\{
(a,b)\in A\times B:
R(a,b),\;
\Gamma(a,b)=1,\;
f(a)=g(b)
\right\}.
$$

這個定義取代過度粗糙的：

$$
A\cap B.
$$

因為兩個對象即使不能直接相交，也可能透過共同介面形成合法關係。

---

## 2. 作用域不可省略

任何「有限」、「無限」、「有界」、「收斂」、「穩定」判斷，都必須指定作用域。

記：

$$
\Sigma
=
(\mathcal X,\mathcal T,\mathcal N,\mathcal P,\mathcal O),
$$

其中：

- $\mathcal X$：底層空間；
- $\mathcal T$：拓撲、時間或演化結構；
- $\mathcal N$：範數、尺度、度量或估值；
- $\mathcal P$：允許的參數區域；
- $\mathcal O$：觀察、投影或可見量。

因此不說：

$$
A\text{ 是無界的},
$$

而說：

$$
A\text{ 在 }\Sigma\text{ 下相對於 }\mathcal N\text{ 是無界的}.
$$

同一對象可能同時滿足：

$$
\|u\|_{L^2}<\infty,
$$

但：

$$
\|u\|_{L^\infty}=\infty.
$$

所以「有界／無界」不是脫離作用域的絕對詞。

---

## 3. 無限改寫為逃逸結構

本方法論不優先把無限理解為「元素很多」，而是理解為「存在可持續逃離所有有限控制區域的方向或序列」。

定義一般化逃逸集：

$$
\operatorname{Esc}_\Sigma(A)
=
\left\{
\xi:
\exists (a_n)\subset A,\;
\mathcal N(a_n)\to\infty,
\;
\operatorname{Dir}_\Sigma(a_n)\to\xi
\right\}.
$$

$\xi$ 不必是普通歐氏方向；它可以是：

- 幾何方向；
- 頻率方向；
- 能量尺度；
- 模空間退化方向；
- 參數極限；
- valuation direction；
- singular direction；
- function-space blow-up mode；
- 其他可合法定義的無界演化模式。

因此：

$$
A\text{ 無界}
$$

被細化為：

$$
\operatorname{Esc}_\Sigma(A)\neq\varnothing.
$$

---

## 4. 無共同逃逸原理

若兩個無界域各自具有逃逸方向：

$$
\operatorname{Esc}_\Sigma(A)\neq\varnothing,
\qquad
\operatorname{Esc}_\Sigma(B)\neq\varnothing,
$$

但它們在合法交接條件下沒有共同可延續的逃逸方向：

$$
\operatorname{Esc}_\Sigma^\Gamma(A)
\cap
\operatorname{Esc}_\Sigma^\Gamma(B)
=
\varnothing,
$$

則其有效交接域可能由無界轉為受控。

這裡的核心不是：

$$
\infty+\infty<\infty,
$$

而是：

$$
\boxed{
\text{多個原本可逃逸的自由度，
在共同合法關係下失去共同逃逸路徑。}
}
$$

在適當條件下，可以形成：

$$
J_\Gamma(A,B;C)
\text{ bounded},
$$

甚至：

$$
J_\Gamma(A,B;C)
\text{ compact},
$$

或：

$$
\dim J_\Gamma(A,B;C)
<
\dim A+\dim B.
$$

因此，有限性可以被理解為一種**關係產生的自由度壓縮**。

---

## 5. 約束不是單純刪除，而是生成有效域

限制不只表示：

$$
A\longrightarrow A'\subset A.
$$

更一般地，它可以表示：

$$
(A,B,R,\Gamma)
\longrightarrow
D_{\mathrm{eff}},
$$

其中：

$$
D_{\mathrm{eff}}
=
\Pi\left(J_\Gamma(A,B;C)\right),
$$

$\Pi$ 是某個合法投影、商映射、觀察映射或不變量提取。

所以「限制」具有兩種作用：

### 5.1 消除

移除不合法自由度：

$$
\mathcal F_{\mathrm{raw}}
\setminus
\mathcal F_{\Gamma}.
$$

### 5.2 生成

由關係本身產生新的有效對象：

$$
D_{\mathrm{eff}}
\not\equiv A,
\qquad
D_{\mathrm{eff}}
\not\equiv B.
$$

這一點是限制論與關係交接論結合後的重要更新：

$$
\boxed{
\text{constraint}
\neq
\text{mere deletion};
\qquad
\text{constraint can be generative}.
}
$$

---

## 6. 不相交不是單一狀態

定義「不相交」時，禁止只寫：

$$
A\cap B=\varnothing.
$$

至少區分以下狀態。

### 6.1 型別不相容

不存在合法共同介面：

$$
\nexists C,f,g.
$$

### 6.2 關係缺失

介面存在，但：

$$
R(a,b)=0.
$$

### 6.3 非法關係

關係可定義，但：

$$
R(a,b)=1,
\qquad
\Gamma(a,b)=0.
$$

### 6.4 共同值缺失

$$
f(a)\neq g(b).
$$

### 6.5 見證缺失

目標態存在，但沒有合法來源：

$$
c\in C_{\mathrm{legal}},
\qquad
\nexists(a,b)\in J_\Gamma:
f(a)=g(b)=c.
$$

### 6.6 動態不可達

靜態解存在，但演化規則永遠無法抵達：

$$
c\in C_{\mathrm{legal}},
\qquad
c\notin\operatorname{Reach}_{\mathcal E}(A,B).
$$

### 6.7 邊界接觸

只在邊界成立：

$$
J_\Gamma
\subseteq
\partial A\times\partial B.
$$

### 6.8 奇異交接

交接存在，但 rank、transversality、Jacobian 或其他正則條件退化。

### 6.9 動態分離

存在：

$$
t_0<t_1
$$

使：

$$
J_\Gamma(t_0)\neq\varnothing,
\qquad
J_\Gamma(t_1)=\varnothing.
$$

因此，「不相交」應被視為一個結構分類，而不是單一布林值。

---

## 7. 存在性分層

本方法論將「存在」拆成至少六層：

$$
\operatorname{Exist}(x),
$$

$$
\operatorname{Defined}(x;\Sigma),
$$

$$
\operatorname{Related}(x,y;R),
$$

$$
\operatorname{Admissible}(x,y;\Gamma),
$$

$$
\operatorname{Reachable}(x,y;\mathcal E),
$$

$$
\operatorname{Witnessed}(x).
$$

它們不可互相混同。

一般而言：

$$
\operatorname{Exist}
\not\Rightarrow
\operatorname{Admissible},
$$

$$
\operatorname{Admissible}
\not\Rightarrow
\operatorname{Reachable},
$$

$$
\operatorname{Reachable}
\not\Rightarrow
\operatorname{Witnessed}.
$$

這使許多「存在性猜想」可重新分類成：

- 純存在問題；
- 合法性問題；
- 可達性問題；
- 來源見證問題；
- 交接完備性問題。

---

## 8. 見證完備性

令合法目標域為：

$$
D_{\mathrm{legal}}\subseteq C.
$$

令生成或來源映射為：

$$
W:S\to D_{\mathrm{legal}}.
$$

則「所有合法態均有來源見證」可寫成：

$$
\operatorname{Im}(W)
=
D_{\mathrm{legal}}.
$$

等價地：

$$
\forall d\in D_{\mathrm{legal}},
\quad
\exists s\in S:
W(s)=d.
$$

因此很多猜想可被重寫為：

$$
\boxed{
\text{legal target}
\stackrel{?}{=}
\text{witnessed target}.
}
$$

這類問題的重點不是單純證明某個元素存在，而是證明：

$$
\text{合法性}
\Rightarrow
\text{來源完備性}.
$$

---

## 9. 演化形式

若域與關係會演化，寫成：

$$
A_t,\quad
B_t,\quad
C_t,\quad
R_t,\quad
\Gamma_t.
$$

有效交接域：

$$
J_t
=
J_{\Gamma_t}(A_t,B_t;C_t).
$$

研究的不是單一 $J_t$，而是：

$$
\mathcal J
=
\{J_t\}_{t\in T}.
$$

需追問：

$$
\frac{d}{dt}\dim J_t,
$$

$$
\frac{d}{dt}\operatorname{Esc}(J_t),
$$

以及是否存在臨界點：

$$
t_c
$$

使系統發生：

$$
\text{unbounded}
\to
\text{bounded},
$$

$$
\text{nonempty}
\to
\text{empty},
$$

$$
\text{regular}
\to
\text{singular},
$$

或：

$$
\text{unwitnessed}
\to
\text{witnessed}.
$$

因此「相交」本身也可以是一個動態事件。

---

## 10. 關係交接的三種主要原型

### 10.1 抵消型

多個無界量共同作用，但總觀察量受控：

$$
Q_1,Q_2,\ldots,Q_n
\text{ individually large},
$$

而：

$$
\Phi(Q_1,\ldots,Q_n)
\text{ bounded}.
$$

核心問題：

$$
\text{哪些關係迫使共同逃逸失效？}
$$

### 10.2 見證型

先由獨立條件得到合法目標域：

$$
D_{\mathrm{legal}}
=
D_1\cap D_2,
$$

再問：

$$
D_{\mathrm{legal}}
\stackrel{?}{=}
\operatorname{Im}(W).
$$

核心問題：

$$
\text{每一個合法態是否都有來源？}
$$

### 10.3 不變量交接型

兩個不同描述域：

$$
A,\qquad B
$$

經不同映射進入共同不變量域：

$$
\Phi_A:A\to I,
\qquad
\Phi_B:B\to I.
$$

研究：

$$
\Phi_A(A)
\stackrel{?}{=}
\Phi_B(B),
$$

或更精細的結構同構。

核心問題：

$$
\text{不同生成機制為何必須在共同不變量上吻合？}
$$

---

## 11. 自由度帳本

任何應用都應建立自由度帳本。

初始自由度：

$$
\mathcal F_0.
$$

介面相容條件消除：

$$
\Delta\mathcal F_C.
$$

合法性條件消除：

$$
\Delta\mathcal F_\Gamma.
$$

不變量或守恆條件消除：

$$
\Delta\mathcal F_I.
$$

奇異性或退化可能重新增加有效分支：

$$
\Delta\mathcal F_S.
$$

最後：

$$
\mathcal F_{\mathrm{eff}}
=
\mathcal F_0
-
\Delta\mathcal F_C
-
\Delta\mathcal F_\Gamma
-
\Delta\mathcal F_I
+
\Delta\mathcal F_S.
$$

這個式子不是預設所有問題都有有限維自由度，而是一個記帳原則：

> 每一次聲稱「約束變強」、「域被壓縮」、「無限被控制」，都必須指出究竟消失了哪些自由度。

---

## 12. 關係合法性檢查

任何提出的新關係都需依序檢查。

### L0：可定義性

$$
R(a,b)
$$

是否有明確數學意義？

### L1：型別合法性

$a$ 與 $b$ 是否真的可以放入同一關係？

### L2：介面合法性

$f$ 與 $g$ 是否映到同一個可比較域？

### L3：不變性

關係是否依賴任意座標、表示或規範選擇？

### L4：局部一致性

在已知特例、低維、有限情況是否成立？

### L5：邊界一致性

在極限、奇異、退化狀態是否仍然有意義？

### L6：全域延拓

局部合法關係能否全域化？

### L7：反例壓力測試

是否存在簡單反例使整個關係失效？

只有通過足夠層級後，才允許把新關係作為證明工具。

---

## 13. 反黑箱規則

以下詞語不得作為無解釋終點：

- 無限；
- 有限；
- 相交；
- 約束；
- 存在；
- 等價；
- 對應；
- 穩定；
- 抵消；
- 閉包；
- 奇異；
- 可達；
- 合法。

例如不能只說：

$$
A\text{ 與 }B\text{ 相交}.
$$

必須至少補：

$$
(A,B,C,f,g,R,\Gamma,\Sigma).
$$

不能只說：

$$
A\text{ 被 }B\text{ 約束}.
$$

必須回答：

$$
\text{constraint channel},
\quad
\text{removed freedom},
\quad
\text{remaining freedom},
\quad
\text{scope}.
$$

---

## 14. 通用研究流程

對任意問題 $P$，按以下流程處理。

### Step 1：列出原始域

$$
A_1,\ldots,A_n.
$$

### Step 2：標記每個域的無界來源

$$
\operatorname{Esc}(A_i).
$$

### Step 3：尋找共同介面

$$
C_1,\ldots,C_m.
$$

### Step 4：建立候選交接映射

$$
f_{ij}:A_i\to C_j.
$$

### Step 5：定義合法性

$$
\Gamma_k.
$$

### Step 6：計算或估計有效交接域

$$
J_\Gamma.
$$

### Step 7：建立自由度帳本

判斷哪些逃逸模式或自由度被消除。

### Step 8：分類剩餘問題

剩餘障礙屬於：

$$
\text{existence},
\quad
\text{regularity},
\quad
\text{reachability},
\quad
\text{witness},
\quad
\text{global closure},
$$

中的哪一類？

### Step 9：攻擊最小剩餘自由度

不直接攻擊原猜想的完整敘述，而是攻擊：

$$
\mathcal F_{\mathrm{residual}}.
$$

### Step 10：回到原命題做全域閉包

確認局部消去確實推出原始命題，而不是只得到較弱替代命題。

---

## 15. 三類數學問題的初步對應

### Navier–Stokes 類

主要使用：

$$
\text{抵消型}
+
\text{動態型}
+
\text{逃逸分析}.
$$

核心問題：

$$
\text{局部或分量級無界如何與全域受控共存？}
$$

### Hodge 類

主要使用：

$$
\text{見證型}
+
\text{合法交集型}.
$$

核心問題：

$$
\text{合法目標態為何必須具有來源見證？}
$$

### BSD 類

主要使用：

$$
\text{不變量交接型}
+
\text{多域閉包型}.
$$

核心問題：

$$
\text{不同生成機制為何在共同不變量上必須一致？}
$$

---

## 16. 核心母命題

本方法論的第一核心母命題為：

$$
\boxed{
\text{有效有限性可以由多個無界域之間的合法關係生成。}
}
$$

第二核心母命題為：

$$
\boxed{
\text{相交不是原始操作，而是介面、關係與合法性的結果。}
}
$$

第三核心母命題為：

$$
\boxed{
\text{存在不等於可達，可達不等於有見證，有見證不等於全域完備。}
}
$$

第四核心母命題為：

$$
\boxed{
\text{研究一個無限系統時，真正需要追蹤的是逃逸自由度，
而不是只追蹤「無限」這個標籤。}
}
$$

---

## 17. 最小工作表示

之後對任意問題，只要先填：

$$
\mathfrak J
=
(A,B,C,f,g,R,\Gamma,\Sigma,\mathcal E,W).
$$

其中：

- $A,B$：原始域；
- $C$：共同介面；
- $f,g$：交接映射；
- $R$：關係；
- $\Gamma$：合法性；
- $\Sigma$：作用域；
- $\mathcal E$：演化；
- $W$：來源或見證映射。

再計算或分析：

$$
J_\Gamma,
\qquad
\operatorname{Esc}(J_\Gamma),
\qquad
\mathcal F_{\mathrm{residual}},
\qquad
\operatorname{Im}(W).
$$

如果最後仍有未閉合部分，就把問題壓縮為：

$$
\boxed{
\text{剩餘逃逸方向}
+
\text{剩餘無見證態}
+
\text{剩餘全域化障礙}.
}
$$

這三項將作為後續自主研究的主要攻擊面。

---

## 18. v0.1 結論

RCHM 不假設「兩個無限相交就會變有限」。

它主張更嚴格的版本：

$$
\boxed{
\text{若多個無界域在指定作用域下，
透過合法共同介面形成關係，
且該關係消除了所有共同逃逸方向，
則其有效交接域可能成為有界、低維、
緊緻、離散或其他更強受控結構。}
}
$$

真正需要證明的，不是「無限變有限」這句話，而是：

$$
\boxed{
\text{哪些逃逸方向存在？}
\rightarrow
\text{哪些交接合法？}
\rightarrow
\text{哪些自由度被消除？}
\rightarrow
\text{剩餘域具有什麼結構？}
\rightarrow
\text{其元素是否全部具有來源見證？}
}
$$

這就是本方法論後續用於 NS、Hodge、BSD 與其他數學問題的共同研究骨架。