# 勒讓德猜想的底空間—質數擬合算子重構綱領

## Legendre Base-Space Prime-Fitting Program

**版本：** v0.1  
**日期：** 2026-09-30  
**作者：** Neo.K × AI 協作  
**機構：** EveMissLab / 一言諾科技有限公司  
**性質：** 方法論重構、研究綱領、候選形式框架  
**狀態：** 非勒讓德猜想之完成證明；本文建立可驗證的底空間—算子化證明路線與證書義務

---

## 摘要

勒讓德猜想斷言：對每個正整數 $n$，在相鄰平方數 $n^2$ 與 $(n+1)^2$ 之間至少存在一個質數。傳統表述直接把問題放在質數分布、質數間隙、短區間估計或計數函數差值之上：

$$
\pi((n+1)^2)-\pi(n^2)\ge 1.
$$

本文提出一個不同的重構方向：先不把「平方數之間存在質數」視為單純的短區間質數存在命題，而先建立一個**代數連續平方數底空間**，再把既有的質數預測／擬合公式升格為**質數擬合算子**，並研究此算子在全域底空間與每一個局部平方胞腔上的限制是否保持同一算子結構。

核心思想是：

$$
\text{existence problem}
\longrightarrow
\text{base-space closure problem}.
$$

本文定義全域平方底空間

$$
\mathcal B_{\square}
=
\bigsqcup_{n\ge 1}\mathcal B_n,
\qquad
\mathcal B_n=(n^2,(n+1)^2),
$$

並以標準化映射

$$
\phi_n:(0,1)\to\mathcal B_n,
\qquad
\phi_n(t)=n^2+(2n+1)t
$$

將所有局部平方區間視為同一標準底空間 $(0,1)$ 在不同尺度下的投影。

接著定義候選質數擬合算子

$$
\mathcal F_{\mathbb P},
$$

以及局部限制

$$
\mathcal F_{\mathbb P,n}
=
\mathcal F_{\mathbb P}\big|_{\mathcal B_n}.
$$

若能證明：

$$
\mathcal F_{\mathbb P}\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}
$$

對所有 $n$ 成立，且每一局部輸出均同時滿足：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)\in\mathbb P
$$

與

$$
\mathcal F_{\mathbb P}(\mathcal B_n)\in(n^2,(n+1)^2),
$$

則勒讓德猜想可作為直接推論：

$$
\forall n\ge1,\qquad
\mathbb P\cap(n^2,(n+1)^2)\neq\varnothing.
$$

本文的重點不在把「高擬合精度」誤當成「證明」，而在於把真正剩餘的證明義務壓縮為三個可獨立審核的問題：

1. 質數擬合算子的良定義性；
2. 全域／局部限制相容性；
3. 局部胞腔內部性與質數性證書。

因此，本研究把勒讓德猜想從「直接搜尋每一區間內的質數」改寫為「證明同一個質數擬合算子在全域與局部底空間中保持本體一致，並且其局部像不能逃離質數胞腔」的閉包問題。

---

# 1. 問題原式

勒讓德猜想可寫為：

$$
\forall n\in\mathbb Z_{>0},
\quad
\exists p\in\mathbb P
\quad
\text{使得}
\quad
n^2<p<(n+1)^2.
$$

等價地：

$$
\forall n\ge1,
\qquad
\pi((n+1)^2)-\pi(n^2)\ge1.
$$

傳統形式直接要求控制短區間：

$$
(n^2,(n+1)^2),
$$

其寬度為：

$$
(n+1)^2-n^2=2n+1.
$$

因此，若令 $x=n^2$，則問題大致要求在尺度 $x$ 附近證明長度約為：

$$
2\sqrt{x}+1
$$

的區間中必有質數。

本文不否定此類解析數論表述，而是提出另一個問題：

> 是否可以把「每一個平方區間必有質數」改寫成一個更上層的底空間—算子閉包命題？

---

# 2. 連續平方數底空間

## 2.1 局部平方胞腔

對每個 $n\ge1$，定義：

$$
\mathcal B_n
=
(n^2,(n+1)^2).
$$

稱 $\mathcal B_n$ 為第 $n$ 個**局部連續平方胞腔**。

其尺度為：

$$
|\mathcal B_n|=2n+1.
$$

於是全部勒讓德區間形成一族：

$$
\{\mathcal B_n\}_{n\ge1}.
$$

---

## 2.2 全域平方底空間

定義：

$$
\boxed{
\mathcal B_{\square}
=
\bigsqcup_{n\ge1}\mathcal B_n
}
$$

其中 $\bigsqcup$ 強調各局部胞腔保留其索引與結構身份，而不是單純把它們視為一個無區別的實數子集。

因此，本文中的「全域」不是把所有區間揉成一條數線，而是保存：

$$
n
\longmapsto
\mathcal B_n
$$

這個平方層級結構。

---

## 2.3 標準化局部底空間

每個平方胞腔都可由相同的單位區間生成。

定義：

$$
\phi_n:(0,1)\to\mathcal B_n,
$$

$$
\boxed{
\phi_n(t)=n^2+(2n+1)t.
}
$$

其逆映射為：

$$
\phi_n^{-1}(x)
=
\frac{x-n^2}{2n+1}.
$$

因此：

$$
\mathcal B_n
\cong
(0,1)
$$

對每個 $n$ 都成立。

差異只在仿射尺度：

$$
2n+1.
$$

這產生第一個重要觀點：

> 勒讓德猜想中的所有平方區間，在底空間層級並不是彼此完全不同的問題，而是同一標準胞腔在不同平方尺度下的展開。

---

# 3. 局部—全域底空間命題

如果每個局部平方胞腔都只是同一底空間模板的尺度化，那麼真正值得尋找的不是每個 $n$ 各自獨立的技巧，而是一個能同時作用在：

$$
\mathcal B_{\square}
$$

與：

$$
\mathcal B_n
$$

上的結構命題。

我們希望找到一個性質 $\mathfrak P$，使：

$$
\mathfrak P(\mathcal B_{\square})
$$

成立，且對任意 $n$：

$$
\mathfrak P(\mathcal B_n)
$$

亦成立。

更強地，希望局部性質不是另外定義，而是全域性質的自然限制：

$$
\boxed{
\mathfrak P(\mathcal B_{\square})\big|_{\mathcal B_n}
=
\mathfrak P(\mathcal B_n).
}
$$

這裡的核心不是「全域統計平均正確」，而是：

> 全域結構切到任意局部平方胞腔後，仍然保持相同本體與相同作用規則。

---

# 4. 從質數預測公式到質數擬合算子

## 4.1 不再把既有公式只視為 predictor

先前的質數幾何工作可抽象為一個由序列尺度 $N$ 映射到候選質數位置的程序：

$$
N
\longmapsto
\widehat p_N.
$$

在本研究中，不再只把它稱為「預測公式」，而升格為：

$$
\boxed{
\mathcal F_{\mathbb P}
}
$$

即 **Prime Fitting Operator，質數擬合算子**。

其意義不是宣稱它已天然等同於質數生成定理，而是將：

$$
\text{estimate}
$$

重新包裝為一個可以研究其：

- 良定義性；
- 限制性；
- 拼接性；
- 閉包性；
- 不變性；
- 證書性；

的數學算子。

---

# 5. 既有質數擬合骨架

先前的質數幾何框架以質數累積平均值：

$$
\operatorname{Avg}(N)
=
\frac1N\sum_{k=1}^{N}p_k
$$

為核心。

令：

$$
y_N
=
\log_{10}\operatorname{Avg}(N).
$$

使用尺度依賴的幾何斜率：

$$
m(N)
=
1+\varepsilon(N).
$$

新版全尺度修正寫成：

$$
\varepsilon_{\mathrm{full}}(N)
=
\begin{cases}
\varepsilon_{\mathrm{table}}(N),
&2\le N<1000,\\[4pt]
\varepsilon_{\mathrm{mid}}(N),
&1000\le N<5\times10^6,\\[4pt]
\varepsilon_{\mathrm{asy}}(N),
&N\ge5\times10^6.
\end{cases}
$$

中尺度可寫成：

$$
L=\ln N,
\qquad
\Lambda=\ln\ln N,
$$

$$
\varepsilon_{\mathrm{mid}}(N)
=
\frac1L
+
\frac{\beta_1\Lambda+\beta_2}{L^2}
+
\frac{\beta_3\Lambda^2+\beta_4\Lambda+\beta_5}{L^3}.
$$

已保存的候選係數為：

$$
\beta_1=160.2971,
$$

$$
\beta_2=-845.5678,
$$

$$
\beta_3=763.7534,
$$

$$
\beta_4=-359.9259,
$$

$$
\beta_5=1546.2420.
$$

而大尺度漸近段為：

$$
\varepsilon_{\mathrm{asy}}(N)
=
\frac1L
+
\frac{1-\Lambda}{L^2}
+
\frac{\Lambda^2-\Lambda-1}{2L^3}.
$$

由此作幾何推演：

$$
y_{N+1}
=
y_N
+
\bigl(1+\varepsilon_{\mathrm{full}}(N)\bigr)
\left[
\log_{10}(N+1)-\log_{10}N
\right].
$$

再還原：

$$
\widehat{\operatorname{Avg}}(N+1)
=
10^{y_{N+1}}.
$$

利用加法錨定：

$$
\boxed{
\widehat p_{N+1}
=
(N+1)\widehat{\operatorname{Avg}}(N+1)
-
N\operatorname{Avg}(N)
}
$$

得到候選下一質數位置。

本文把上述整體過程抽象成：

$$
\boxed{
\mathcal F_{\mathbb P}.
}
$$

---

# 6. 質數擬合底空間

單有算子還不夠。

本文進一步定義其像所形成的底空間。

令：

$$
\boxed{
\mathcal B_{\mathrm{PF}}
=
\left\{
(x,\mathcal F_{\mathbb P}(x))
:
x\in\mathcal B_{\square}
\right\}.
}
$$

稱之為：

**Prime-Fitting Base Space，質數擬合底空間。**

直觀上：

$$
\mathcal B_{\square}
$$

描述問題的平方區間骨架；

而：

$$
\mathcal B_{\mathrm{PF}}
$$

描述質數擬合算子在此骨架上的作用圖像。

對每個局部胞腔：

$$
\mathcal B_n,
$$

定義：

$$
\boxed{
\mathcal B_{\mathrm{PF},n}
=
\mathcal B_{\mathrm{PF}}\big|_{\mathcal B_n}.
}
$$

因此我們得到：

$$
\mathcal B_{\square}
\leftrightarrow
\mathcal B_{\mathrm{PF}}
$$

以及局部版本：

$$
\mathcal B_n
\leftrightarrow
\mathcal B_{\mathrm{PF},n}.
$$

---

# 7. 核心問題：哪個性質同時在全域與局部成立？

本綱領真正要找的是一個共同命題 $\mathfrak C$，使：

$$
\mathfrak C
\left(
\mathcal B_{\square},
\mathcal B_{\mathrm{PF}}
\right)
$$

在全域成立，且：

$$
\mathfrak C
\left(
\mathcal B_n,
\mathcal B_{\mathrm{PF},n}
\right)
$$

對每個局部 $n$ 成立。

最自然的候選是：

$$
\boxed{
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}.
}
$$

這可以稱為：

## 局部—全域質數擬合相容性

### Local–Global Prime-Fitting Compatibility

其中：

$$
\mathcal F_{\mathbb P,n}
$$

不是一個另外發明的局部算法，而是：

$$
\mathcal F_{\mathbb P}
$$

在：

$$
\mathcal B_n
$$

上的自然限制。

---

# 8. 「質數擬合算子就是質數擬合算子」的形式化

一句直覺語言：

> 最後只要證明質數擬合算子就是質數擬合算子。

形式上不能只寫：

$$
\mathcal F_{\mathbb P}
=
\mathcal F_{\mathbb P},
$$

因為那只是恆等式。

真正要證明的是：

$$
\boxed{
\mathcal F_{\mathbb P}^{\mathrm{global}}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P}^{\mathrm{local}}.
}
$$

亦即：

$$
\boxed{
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}.
}
$$

其意義是：

- 不因尺度改變而換算子；
- 不因區間索引改變而換規則；
- 不因局部化而失去質數擬合結構；
- 不需要對不同 $n$ 加入不同特例；
- 局部模型不是另一個經驗擬合器；
- 全域算子與局部算子具有同一 provenance。

這才是「算子本體一致性」。

---

# 9. 限制交換律

令：

$$
\rho_n:
\mathcal B_{\square}
\to
\mathcal B_n
$$

為全域底空間對第 $n$ 個局部胞腔的限制映射。

我們希望有：

$$
\boxed{
\rho_n\circ\mathcal F_{\mathbb P}
=
\mathcal F_{\mathbb P,n}\circ\rho_n.
}
$$

可用交換圖表示：

$$
\begin{array}{ccc}
\mathcal B_{\square}
&
\xrightarrow{\mathcal F_{\mathbb P}}
&
\mathcal B_{\mathrm{PF}}
\\
\downarrow\rho_n
&
&
\downarrow\rho_n
\\
\mathcal B_n
&
\xrightarrow{\mathcal F_{\mathbb P,n}}
&
\mathcal B_{\mathrm{PF},n}.
\end{array}
$$

這裡真正重要的不是圖，而是：

> 先全域擬合再限制，與先限制到底空間再局部擬合，結果必須一致。

---

# 10. 勒讓德證明所需的第二層：胞腔內部性

單純證明局部—全域相容性仍不等於勒讓德猜想。

還需要：

$$
\boxed{
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathcal B_n.
}
$$

亦即：

$$
\boxed{
n^2
<
\mathcal F_{\mathbb P}(\mathcal B_n)
<
(n+1)^2.
}
$$

稱為：

## 平方胞腔內部性

### Square-Cell Internality

若算子在某些 $n$ 上跑出：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
\notin
\mathcal B_n,
$$

則即使它仍可能是一個很好的質數位置估計器，也不能直接支撐勒讓德。

---

# 11. 第三層：質數性證書

即使輸出落在：

$$
(n^2,(n+1)^2),
$$

還必須證明：

$$
\boxed{
\mathcal F_{\mathbb P}(\mathcal B_n)
\in\mathbb P.
}
$$

稱為：

## 質數像性

### Prime-Image Property

因此勒讓德所需的不是單一條件，而是：

$$
\boxed{
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathbb P
\cap
(n^2,(n+1)^2).
}
$$

對所有 $n\ge1$ 成立。

---

# 12. 勒讓德的算子化等價目標

於是我們可以把原始存在命題：

$$
\forall n\ge1,
\quad
\exists p\in\mathbb P
\cap
(n^2,(n+1)^2)
$$

提升為下列構造目標：

存在一個全域算子：

$$
\mathcal F_{\mathbb P}
$$

使對所有 $n$：

$$
\boxed{
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n},
}
$$

且：

$$
\boxed{
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathbb P
\cap
\mathcal B_n.
}
$$

則立即有：

$$
\mathbb P
\cap
\mathcal B_n
\neq
\varnothing.
$$

因此：

$$
\boxed{
\forall n\ge1,
\qquad
\mathbb P
\cap
(n^2,(n+1)^2)
\neq
\varnothing.
}
$$

---

# 13. 候選主定理

本文不宣稱已證明，但可以把真正要攻擊的命題寫成：

## 候選主定理 A：底空間限制不變性

若：

$$
\mathcal F_{\mathbb P}
:
\mathcal B_{\square}
\to
\mathcal B_{\mathrm{PF}}
$$

為良定義質數擬合算子，且其生成規則只依賴在標準化平方胞腔下保持的底空間不變量，則對所有 $n$：

$$
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}.
$$

---

## 候選主定理 B：平方胞腔閉包

若對每個 $n$：

$$
\mathcal F_{\mathbb P,n}
$$

保留標準化局部坐標中的 admissible prime image，則：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathcal B_n.
$$

---

## 候選主定理 C：質數像閉包

若 $\mathcal F_{\mathbb P}$ 的像滿足一個獨立的質數性證書：

$$
\mathcal C_{\mathbb P}
\left(
\mathcal F_{\mathbb P}(\mathcal B_n)
\right)=1,
$$

則：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
\in\mathbb P.
$$

---

## 候選主定理 D：勒讓德推論

若 A、B、C 對所有 $n\ge1$ 成立，則：

$$
\forall n\ge1,
\qquad
\mathbb P\cap(n^2,(n+1)^2)\neq\varnothing.
$$

即勒讓德猜想成立。

---

# 14. 標準化坐標下的更強形式

令：

$$
u
=
\phi_n^{-1}(x)
=
\frac{x-n^2}{2n+1}.
$$

則每個：

$$
x\in\mathcal B_n
$$

都被映射到：

$$
u\in(0,1).
$$

假設質數擬合算子在此坐標下可寫成：

$$
\widetilde{\mathcal F}_{\mathbb P,n}
=
\phi_n^{-1}
\circ
\mathcal F_{\mathbb P,n}
\circ
\phi_n.
$$

如果能進一步證明：

$$
\boxed{
\widetilde{\mathcal F}_{\mathbb P,n}
=
\widetilde{\mathcal F}_{\mathbb P}
}
$$

對所有 $n$ 成立，則代表：

> 在去除平方區間尺度後，質數擬合算子的局部作用律不依賴 $n$。

這是比單純：

$$
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}
$$

更強的尺度正規化命題。

它可能成為真正的突破口。

---

# 15. 尺度協變性

若標準化算子不完全相同，也可以尋找較弱的協變形式。

令：

$$
S_n(x)
=
\frac{x-n^2}{2n+1}.
$$

則可要求存在某個統一算子：

$$
\mathcal G_{\mathbb P}
$$

使：

$$
\boxed{
S_n
\circ
\mathcal F_{\mathbb P,n}
=
\mathcal G_{\mathbb P}
\circ
S_n.
}
$$

此式意味：

$$
\mathcal F_{\mathbb P,n}
=
S_n^{-1}
\circ
\mathcal G_{\mathbb P}
\circ
S_n.
$$

也就是所有局部質數擬合算子彼此共軛。

若成立，則不同 $n$ 的平方區間不是不同問題，而只是同一局部動力學在不同平方尺度下的共軛表示。

---

# 16. 與既有質數擬合公式的關係

本文不把：

$$
\varepsilon_{\mathrm{full}}
$$

本身直接宣稱為勒讓德證明。

它目前更適合扮演：

$$
\boxed{
\mathcal F_{\mathbb P}^{(0)}
}
$$

即候選零階質數擬合算子。

接下來研究重點不是繼續追求更漂亮的數值誤差，而是問：

### 問題 1

$$
\mathcal F_{\mathbb P}^{(0)}
$$

是否可被重新定義成真正的全域算子，而不是一組分段經驗公式？

### 問題 2

其分段式：

$$
\varepsilon_{\mathrm{table}},
\qquad
\varepsilon_{\mathrm{mid}},
\qquad
\varepsilon_{\mathrm{asy}}
$$

是否能被統一成一個底空間生成律？

### 問題 3

中尺度擬合誤差能否由經驗數值界升格為：

$$
\text{certified envelope}?
$$

### 問題 4

該 envelope 是否足以保證：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathcal B_n?
$$

### 問題 5

質數性是否由算子內生生成，還是仍需外加 primality test？

這些問題決定：

$$
\mathcal F_{\mathbb P}^{(0)}
$$

最終是：

$$
\text{predictor}
$$

還是：

$$
\text{certificate-carrying operator}.
$$

---

# 17. 從擬合精度到證書包絡

設真實質數位置為：

$$
p_N.
$$

候選擬合位置：

$$
\widehat p_N.
$$

定義誤差：

$$
e_N
=
p_N-\widehat p_N.
$$

若能建立一個全域可證明函數：

$$
E(N)\ge0
$$

使：

$$
\boxed{
|e_N|
\le
E(N)
}
$$

則得到：

$$
p_N
\in
[
\widehat p_N-E(N),
\widehat p_N+E(N)
].
$$

對勒讓德而言，更需要單側版本：

$$
\boxed{
p_N
\le
\widehat p_N+E_+(N).
}
$$

若令：

$$
k=\pi(n^2),
$$

則下一個質數為：

$$
p_{k+1}.
$$

只要：

$$
\boxed{
\widehat p_{k+1}
+
E_+(k+1)
<
(n+1)^2
}
$$

即可推出：

$$
p_{k+1}
<
(n+1)^2.
$$

又因：

$$
p_{k+1}>n^2,
$$

因此：

$$
n^2
<
p_{k+1}
<
(n+1)^2.
$$

這是「誤差包絡路線」。

---

# 18. 誤差包絡與底空間路線的統一

底空間版本與誤差包絡版本並不衝突。

可定義平方胞腔安全裕度：

$$
M_n
=
(n+1)^2
-
\left(
\widehat p_{k+1}
+
E_+(k+1)
\right),
$$

其中：

$$
k=\pi(n^2).
$$

若：

$$
\boxed{
M_n>0
}
$$

則第 $n$ 個胞腔安全。

因此可把「胞腔內部性」改寫為：

$$
\boxed{
M_n>0
\quad
\forall n.
}
$$

也就是：

$$
\text{operator internality}
\Longleftrightarrow
\text{positive certified margin}.
$$

---

# 19. 真正的全域／局部共同命題

本研究最值得尋找的，不是單純：

$$
E(N)\to0
$$

或：

$$
\widehat p_N/p_N\to1.
$$

因為勒讓德是局部存在命題。

真正需要的是一個同時控制：

$$
\mathcal B_{\square}
$$

與：

$$
\mathcal B_n
$$

的相對尺度量。

候選可以是：

$$
\Gamma_n
=
\frac{
\widehat p_{k+1}-n^2
}{
2n+1
},
$$

以及其 certified upper version：

$$
\Gamma_n^{+}
=
\frac{
\widehat p_{k+1}+E_+(k+1)-n^2
}{
2n+1
}.
$$

勒讓德所需條件變成：

$$
\boxed{
0<\Gamma_n^{+}<1.
}
$$

如果能證明：

$$
\Gamma_n^{+}
$$

在標準化平方底空間中受到一個與 $n$ 無關的全域閉包：

$$
\Gamma_n^{+}
\in
(0,1),
$$

那麼局部與全域就真正統一了。

---

# 20. 一個可能的「底空間不變量」

標準化後每個區間都是：

$$
(0,1).
$$

因此自然尋找：

$$
\mathcal I_n
=
I
\left(
\mathcal B_n,
\mathcal F_{\mathbb P,n}
\right)
$$

使：

$$
\mathcal I_n
=
\mathcal I
$$

或至少：

$$
\mathcal I_n
\in
\mathcal K
$$

其中：

$$
\mathcal K
$$

是一個不依賴 $n$ 的閉合集合。

例如：

$$
\mathcal I_n
=
\frac{
\mathcal F_{\mathbb P}(\mathcal B_n)-n^2
}{
2n+1
}.
$$

若可以證明：

$$
\boxed{
\mathcal I_n\in(0,1)
\quad
\forall n,
}
$$

則胞腔內部性成立。

若再附加：

$$
\boxed{
\mathcal C_{\mathbb P}
\left(
\mathcal F_{\mathbb P}(\mathcal B_n)
\right)=1,
}
$$

則勒讓德成立。

---

# 21. 證書義務

本文刻意區分：

$$
\text{fit}
$$

與：

$$
\text{proof}.
$$

任何後續版本必須至少滿足以下證書義務。

---

## C0 — 定義證書

必須無歧義定義：

$$
\mathcal B_{\square},
\quad
\mathcal B_n,
\quad
\mathcal F_{\mathbb P},
\quad
\mathcal B_{\mathrm{PF}},
\quad
\rho_n.
$$

不得在不同章節中漂移「底空間」或「擬合」的含義。

---

## C1 — 良定義性證書

必須證明：

$$
\mathcal F_{\mathbb P}
$$

對其聲稱的全部輸入域均有唯一合法輸出。

即：

$$
\forall x\in\operatorname{Dom}(\mathcal F_{\mathbb P}),
$$

存在唯一：

$$
y=\mathcal F_{\mathbb P}(x).
$$

---

## C2 — 全域／局部限制證書

必須證明：

$$
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}
$$

而不是只在有限樣本上數值近似相同。

---

## C3 — 胞腔內部性證書

必須證明：

$$
n^2
<
\mathcal F_{\mathbb P}(\mathcal B_n)
<
(n+1)^2.
$$

對所有：

$$
n\ge1
$$

成立。

---

## C4 — 質數性證書

必須證明：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)\in\mathbb P.
$$

如果此步依賴獨立 primality test，則必須明確承認：

$$
\mathcal F_{\mathbb P}
$$

仍是「定位器 + 驗證器」組合，而非純生成算子。

---

## C5 — 非循環證書

若 $\mathcal F_{\mathbb P}$ 的定義本身依賴「已知下一個質數」或等價資料，則不能宣稱其完成了獨立質數定位。

因此必須審核：

$$
\mathcal F_{\mathbb P}
$$

是否使用：

$$
p_{N+1}
$$

或等價 oracle。

---

## C6 — 分段統一證書

若：

$$
\varepsilon_{\mathrm{full}}
$$

使用：

$$
\varepsilon_{\mathrm{table}},
\quad
\varepsilon_{\mathrm{mid}},
\quad
\varepsilon_{\mathrm{asy}},
$$

則必須證明分段點：

$$
N=1000,
\qquad
N=5\times10^6
$$

不造成不相容、跳躍或證書失效。

---

## C7 — 誤差包絡證書

若採用：

$$
E_+(N),
$$

必須證明它是真正上界，而不是訓練集、驗證集或有限資料上的最大觀測誤差。

---

## C8 — 全域量詞證書

有限驗證：

$$
n\le N_{\max}
$$

不能替代：

$$
\forall n.
$$

必須提供至少一種：

- 解析閉包；
- 單調性；
- 歸納傳播；
- 不變量；
- 共軛不變性；
- 生成元完備性；
- 全域誤差界；

來承擔無限量詞。

---

# 22. 失敗條件

本綱領是可反駁的。

以下任一結果都會直接迫使框架修改。

### F1

存在某個：

$$
n
$$

使：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
\notin
\mathcal B_n.
$$

### F2

存在：

$$
n
$$

使：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
$$

是合數。

### F3

局部算子必須依賴 $n$ 特定參數重新擬合，且不存在統一限制律。

### F4

標準化後：

$$
\widetilde{\mathcal F}_{\mathbb P,n}
$$

在不同 $n$ 上不存在共同結構。

### F5

中尺度擬合誤差無法被提升成可證明上界。

### F6

算子實際上偷偷使用了目標質數資訊。

### F7

平方胞腔安全裕度：

$$
M_n
$$

無法被全域證明為正。

---

# 23. 與傳統勒讓德表述的差異

傳統路徑通常是：

$$
\pi((n+1)^2)-\pi(n^2)
$$

直接下界。

本文路徑是：

$$
\boxed{
\begin{aligned}
&\text{平方區間}\\
&\downarrow\\
&\text{連續平方底空間}\\
&\downarrow\\
&\text{質數擬合算子}\\
&\downarrow\\
&\text{質數擬合底空間}\\
&\downarrow\\
&\text{局部／全域相容性}\\
&\downarrow\\
&\text{胞腔內部性}\\
&\downarrow\\
&\text{質數性證書}\\
&\downarrow\\
&\text{Legendre}.
\end{aligned}
}
$$

這不是把原問題變簡單，而是改變證明義務所在的數學層。

---

# 24. 本綱領的核心哲學

勒讓德原命題是一個：

$$
\forall n\,\exists p
$$

型命題。

直接處理時，每一個 $n$ 都像是新的存在義務。

但若能找到一個全域算子：

$$
\mathcal F_{\mathbb P}
$$

使：

$$
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathbb P\cap\mathcal B_n
$$

對所有 $n$ 成立，那麼：

$$
\exists p
$$

就不再是每一格重新搜尋。

它被下沉為：

$$
\boxed{
\text{operator closure}.
}
$$

因此量詞結構從：

$$
\forall n\,\exists p
$$

被重寫為：

$$
\exists \mathcal F_{\mathbb P}
\quad
\forall n:
\quad
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathbb P\cap\mathcal B_n.
$$

這是本綱領最重要的邏輯重構。

---

# 25. 量詞下沉

原始命題：

$$
\forall n
\quad
\exists p_n.
$$

算子化後：

$$
\exists \mathcal F_{\mathbb P}
\quad
\forall n.
$$

其中：

$$
p_n
=
\mathcal F_{\mathbb P}(\mathcal B_n).
$$

如果：

$$
\mathcal F_{\mathbb P}
$$

能被有限規則完整描述，那麼大量局部存在量詞被壓縮成單一全域構造義務。

這可視為：

## Existential Quantifier Descent

即：

$$
\boxed{
\forall n\,\exists p_n
\longrightarrow
\exists F\,\forall n.
}
$$

這種重構本身不保證問題可證，但若成功，證明的重心會從：

$$
\text{infinitely many independent witnesses}
$$

轉成：

$$
\text{one global witness generator}.
$$

---

# 26. 下一階段研究順序

本綱領後續最合理的順序不是立刻宣稱證明，而是：

## Phase 1 — Canonical Base Space

正式固定：

$$
\mathcal B_{\square},
\qquad
\mathcal B_n,
\qquad
\phi_n.
$$

證明所有基本仿射與尺度性質。

---

## Phase 2 — Operator Extraction

從既有：

$$
\varepsilon_{\mathrm{full}}
$$

與三位一體預測器中抽出：

$$
\mathcal F_{\mathbb P}^{(0)}.
$$

把「程式流程」改寫成真正數學算子。

---

## Phase 3 — Circularity Audit

檢查：

$$
\mathcal F_{\mathbb P}^{(0)}
$$

是否有任何地方直接或間接依賴目標質數。

---

## Phase 4 — Standardized Local Operator

計算：

$$
\widetilde{\mathcal F}_{\mathbb P,n}
=
\phi_n^{-1}
\circ
\mathcal F_{\mathbb P,n}
\circ
\phi_n.
$$

觀察是否存在共同局部核。

---

## Phase 5 — Local–Global Compatibility

嘗試證明：

$$
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n}.
$$

---

## Phase 6 — Certified Error Envelope

建立：

$$
E_+(N).
$$

---

## Phase 7 — Square-Cell Margin

定義：

$$
M_n
=
(n+1)^2
-
\left(
\widehat p_{k+1}
+
E_+(k+1)
\right).
$$

研究：

$$
M_n>0.
$$

---

## Phase 8 — Prime Certificate Integration

將：

$$
\mathcal C_{\mathbb P}
$$

整合進算子，區分：

$$
\text{fit-only}
$$

與：

$$
\text{certificate-carrying}.
$$

---

## Phase 9 — Global Closure

最後才研究：

$$
\forall n.
$$

---

# 27. 最終候選框架

本綱領可濃縮成：

$$
\boxed{
\mathcal L
=
\left(
\mathcal B_{\square},
\{\mathcal B_n\},
\mathcal F_{\mathbb P},
\mathcal B_{\mathrm{PF}},
\{\rho_n\},
\mathcal C_{\mathbb P}
\right).
}
$$

其中：

$$
\mathcal B_{\square}
$$

是全域平方底空間；

$$
\mathcal B_n
$$

是局部平方胞腔；

$$
\mathcal F_{\mathbb P}
$$

是質數擬合算子；

$$
\mathcal B_{\mathrm{PF}}
$$

是質數擬合底空間；

$$
\rho_n
$$

是局部限制映射；

$$
\mathcal C_{\mathbb P}
$$

是質數性證書。

勒讓德所需的最終閉包為：

$$
\boxed{
\forall n\ge1:
\quad
\mathcal C_{\mathbb P}
\left(
\mathcal F_{\mathbb P}(\mathcal B_n)
\right)=1
}
$$

且：

$$
\boxed{
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathcal B_n.
}
$$

---

# 28. 最短命題

如果只保留整篇最核心的一句：

> 勒讓德猜想可以被重構為：是否存在一個全域質數擬合算子，使其在每一個連續平方局部底空間上的限制仍為同一算子，且其局部像永遠保持在該平方胞腔內並具有質數性。

形式上：

$$
\boxed{
\exists\mathcal F_{\mathbb P}
\quad
\forall n\ge1:
\quad
\mathcal F_{\mathbb P}
\big|_{\mathcal B_n}
=
\mathcal F_{\mathbb P,n},
}
$$

以及：

$$
\boxed{
\mathcal F_{\mathbb P}(\mathcal B_n)
\in
\mathbb P
\cap
(n^2,(n+1)^2).
}
$$

若此命題成立，則勒讓德猜想立即成立。

---

# 29. 結論

本文沒有宣稱完成勒讓德猜想。

本文完成的是另一件更基礎的工作：把原本的：

$$
\forall n\,\exists p
$$

短區間存在命題，重新組織成：

$$
\exists\mathcal F_{\mathbb P}\,\forall n
$$

的全域生成算子命題。

這個轉換讓研究目標從：

> 每一個平方區間裡到底去哪裡找一顆質數？

變成：

> 能否證明同一個質數擬合算子在全域平方底空間與每個局部平方胞腔上保持本體一致，並且其局部輸出永遠無法逃離該胞腔與質數集合？

若成功，勒讓德不再是需要逐區間處理的無限存在問題，而會變成：

$$
\boxed{
\text{一個全域底空間上的算子閉包定理。}
}
$$

這正是本綱領後續研究的核心。

---

## 狀態標記

```text
Legendre Base-Space Prime-Fitting Program
v0.1

Base-space reformulation:        ESTABLISHED AS FRAMEWORK
Local square-cell model:         DEFINED
Global square base space:        DEFINED
Prime-fitting operator:          CANDIDATE / TO FORMALIZE
Prime-fitting base space:        DEFINED
Local-global compatibility:      OPEN
Square-cell internality:         OPEN
Prime-image certificate:         OPEN
Certified error envelope:        OPEN
Global closure:                  OPEN
Legendre proof status:           NOT PROVEN
```
