# 勒讓德底空間綱領 Phase 1
## 代數連續平方數底空間的正典化
### Canonical Algebraic Consecutive-Square Base Space

**版本：** v0.1  
**日期：** 2026-09-30  
**作者：** Neo.K × AI 協作  
**機構：** EveMissLab / 一言諾科技有限公司  
**研究線：** Legendre Base-Space Prime-Fitting Program  
**狀態：** Phase 1 formalization；非勒讓德猜想證明

---

# 0. 本階段目標

上一版綱領將勒讓德猜想改寫為：

$$
\text{平方底空間}
\longrightarrow
\text{質數擬合算子}
\longrightarrow
\text{局部／全域相容}
\longrightarrow
\text{胞腔內部性}
\longrightarrow
\text{質數性}
\longrightarrow
\text{Legendre}.
$$

Phase 1 的任務是把第一個物件：

$$
\text{「代數連續平方數底空間」}
$$

完整正典化。

關鍵修正是：

> 勒讓德猜想的質數對象位於整數域，因此真正承載質數存在性的底空間不應只有連續實區間 $(n^2,(n+1)^2)$，而必須包含每個平方區間中的離散整數纖維。

因此本文採取「連續載體 + 離散算術纖維」的雙層描述，並進一步把所有局部平方胞腔統一成一個全域三角整數格。

---

# 1. 原始勒讓德命題

勒讓德猜想為：

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

對固定 $n$，兩平方數之間的整數為：

$$
n^2+1,\,
n^2+2,\,
\dots,\,
n^2+2n.
$$

因為：

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

所以嚴格位於兩平方數之間的整數恰有：

$$
2n
$$

個。

---

# 2. 連續載體與算術纖維

## 2.1 連續平方胞腔

定義：

$$
C_n
=
(n^2,(n+1)^2)
\subset\mathbb R.
$$

稱為第 $n$ 個連續平方胞腔。

## 2.2 離散算術平方胞腔

定義：

$$
A_n
=
C_n\cap\mathbb Z.
$$

因此：

$$
\boxed{
A_n
=
\{n^2+k:1\le k\le2n\}.
}
$$

這才是勒讓德猜想直接作用的局部算術空間。

其基數為：

$$
\boxed{
|A_n|=2n.
}
$$

---

# 3. 局部位移座標

令：

$$
K_n
=
\{1,2,\dots,2n\}.
$$

定義局部座標映射：

$$
\psi_n:K_n\to A_n,
$$

$$
\boxed{
\psi_n(k)=n^2+k.
}
$$

其逆映射為：

$$
\psi_n^{-1}(m)=m-n^2.
$$

因此：

$$
\boxed{
A_n\cong K_n.
}
$$

勒讓德命題因此等價於：

$$
\forall n\ge1,
\qquad
\exists k\in K_n
\quad
\text{使}
\quad
n^2+k\in\mathbb P.
$$

---

# 4. 全域代數連續平方底空間

將所有局部偏移纖維統一，定義：

$$
\boxed{
\mathcal T_{\square}
=
\{(n,k)\in\mathbb Z_{>0}^2:
1\le k\le2n\}.
}
$$

稱為：

## 代數連續平方數底空間

### Algebraic Consecutive-Square Base Space

對固定 $n$ 的局部纖維為：

$$
\mathcal T_{\square,n}
=
\{n\}\times K_n.
$$

所以：

$$
\boxed{
\mathcal T_{\square}
=
\bigsqcup_{n\ge1}
\mathcal T_{\square,n}.
}
$$

這正是「全域底空間由全部局部平方底空間組成」的嚴格形式。

---

# 5. 評價映射

定義：

$$
E:
\mathcal T_{\square}
\to
\mathbb Z_{>1},
$$

$$
\boxed{
E(n,k)=n^2+k.
}
$$

對局部纖維：

$$
E\bigl(\mathcal T_{\square,n}\bigr)
=
A_n.
$$

---

# 6. 第一個正式定理：唯一平方胞腔分解

## 定理 6.1

令：

$$
\mathbb N_{\mathrm{ns}}
=
\{m\in\mathbb Z_{>1}:m\text{ 不是完全平方數}\}.
$$

則：

$$
\boxed{
E:
\mathcal T_{\square}
\longrightarrow
\mathbb N_{\mathrm{ns}}
}
$$

是一個雙射。

## 證明

### 滿射

任取：

$$
m\in\mathbb N_{\mathrm{ns}}.
$$

令：

$$
n=\lfloor\sqrt m\rfloor.
$$

因為 $m$ 不是平方數，所以：

$$
n^2<m<(n+1)^2.
$$

令：

$$
k=m-n^2.
$$

則：

$$
1\le k\le2n.
$$

故：

$$
(n,k)\in\mathcal T_{\square},
$$

且：

$$
E(n,k)=n^2+k=m.
$$

所以 $E$ 滿射。

### 單射

若：

$$
E(n,k)=E(n',k'),
$$

則：

$$
n^2+k=n'^2+k'.
$$

但：

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

且：

$$
n'^2<n'^2+k'<(n'+1)^2.
$$

不同連續平方區間互不相交，因此必有：

$$
n=n'.
$$

進而：

$$
k=k'.
$$

所以 $E$ 單射。

因此：

$$
\boxed{
E
\text{ 是雙射。}
}
$$

證畢。

---

# 7. 正典座標

定理 6.1 給出：

$$
\boxed{
m
\longleftrightarrow
\left(
\lfloor\sqrt m\rfloor,\,
m-\lfloor\sqrt m\rfloor^2
\right)
}
$$

對所有大於 $1$ 的非平方整數成立。

也就是：

$$
\boxed{
m=n^2+k,
\qquad
1\le k\le2n,
}
$$

且 $(n,k)$ 唯一。

因此「連續平方數之間」可以被嚴格改寫為一個二維代數底空間。

---

# 8. 基底投影

定義：

$$
\pi_{\square}:
\mathcal T_{\square}
\to
\mathbb Z_{>0},
$$

$$
\boxed{
\pi_{\square}(n,k)=n.
}
$$

則：

$$
\pi_{\square}^{-1}(n)
=
\mathcal T_{\square,n}.
$$

而：

$$
|\pi_{\square}^{-1}(n)|
=
2n.
$$

---

# 9. 質數拉回子空間

利用 $E$ 定義：

$$
\boxed{
\mathcal P_{\square}
=
E^{-1}(\mathbb P).
}
$$

也就是：

$$
\mathcal P_{\square}
=
\{(n,k)\in\mathcal T_{\square}:
n^2+k\in\mathbb P\}.
$$

其第 $n$ 個局部纖維：

$$
\mathcal P_{\square,n}
=
\mathcal P_{\square}
\cap
\mathcal T_{\square,n}.
$$

---

# 10. 勒讓德猜想的正典底空間形式

勒讓德猜想等價於：

$$
\boxed{
\forall n\ge1,
\qquad
\mathcal P_{\square,n}\neq\varnothing.
}
$$

等價地：

$$
\boxed{
\pi_{\square}
\bigl(
\mathcal P_{\square}
\bigr)
=
\mathbb Z_{>0}.
}
$$

也就是：

> 勒讓德猜想等價於真質數子空間對平方索引軸的投影是滿射。

---

# 11. 質數占據函數

定義：

$$
\Omega_{\mathbb P}(n)
=
|\mathcal P_{\square,n}|.
$$

則：

$$
\Omega_{\mathbb P}(n)
=
\pi((n+1)^2-1)-\pi(n^2).
$$

勒讓德等價於：

$$
\boxed{
\Omega_{\mathbb P}(n)\ge1
\quad
\forall n\ge1.
}
$$

但後續不以計數為主要證明介面，而把 $\Omega_{\mathbb P}$ 視為平方纖維的 prime occupancy。

---

# 12. 質數擬合算子的 section 形式

定義偏移擬合函數：

$$
\kappa_{\mathcal F}:
\mathbb Z_{>0}
\to
\mathbb Z_{>0}.
$$

要求：

$$
1\le
\kappa_{\mathcal F}(n)
\le
2n.
$$

再定義：

$$
s_{\mathcal F}:
\mathbb Z_{>0}
\to
\mathcal T_{\square},
$$

$$
\boxed{
s_{\mathcal F}(n)
=
\left(
n,\kappa_{\mathcal F}(n)
\right).
}
$$

則：

$$
\boxed{
\pi_{\square}
\circ
s_{\mathcal F}
=
\operatorname{id}_{\mathbb Z_{>0}}.
}
$$

所以 $s_{\mathcal F}$ 是 $\pi_{\square}$ 的一個 section。

---

# 13. 從 section 還原整數候選

定義：

$$
F_{\mathbb P}
=
E\circ s_{\mathcal F}.
$$

則：

$$
\boxed{
F_{\mathbb P}(n)
=
n^2+\kappa_{\mathcal F}(n).
}
$$

如果：

$$
1\le
\kappa_{\mathcal F}(n)
\le2n,
$$

則自動有：

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

所以平方胞腔內部性被壓縮成：

$$
\boxed{
1\le
\kappa_{\mathcal F}(n)
\le2n.
}
$$

---

# 14. Prime-Valued Section

如果能證明：

$$
F_{\mathbb P}(n)\in\mathbb P
$$

對所有 $n$ 成立，即：

$$
n^2+\kappa_{\mathcal F}(n)\in\mathbb P,
$$

則：

$$
s_{\mathcal F}(n)\in\mathcal P_{\square}.
$$

因此：

$$
\boxed{
s_{\mathcal F}:
\mathbb Z_{>0}
\to
\mathcal P_{\square}
}
$$

成為 prime-valued section。

---

# 15. 第二個正式定理：Section 與勒讓德等價

## 定理 15.1

以下敘述等價：

### (A)

$$
\forall n\ge1,
\qquad
\exists p\in\mathbb P:
n^2<p<(n+1)^2.
$$

### (B)

存在：

$$
\kappa:
\mathbb Z_{>0}
\to
\mathbb Z_{>0}
$$

使：

$$
1\le\kappa(n)\le2n
$$

且：

$$
n^2+\kappa(n)\in\mathbb P
$$

對所有 $n$ 成立。

### (C)

存在 section：

$$
s:
\mathbb Z_{>0}
\to
\mathcal P_{\square}
$$

滿足：

$$
\pi_{\square}\circ s
=
\operatorname{id}_{\mathbb Z_{>0}}.
$$

## 證明

若 (A) 成立，對每個 $n$ 選取一個：

$$
p_n\in\mathbb P\cap A_n,
$$

令：

$$
\kappa(n)=p_n-n^2.
$$

則得到 (B)。

若 (B) 成立，定義：

$$
s(n)=(n,\kappa(n)).
$$

則：

$$
s(n)\in\mathcal P_{\square}
$$

且：

$$
\pi_{\square}(s(n))=n,
$$

所以得到 (C)。

若 (C) 成立，寫：

$$
s(n)=(n,k_n).
$$

則：

$$
1\le k_n\le2n
$$

且：

$$
n^2+k_n\in\mathbb P.
$$

因此：

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

得到 (A)。

證畢。

---

# 16. 邏輯邊界

定理 15.1 是等價重構，不是勒讓德證明。

如果 section $s$ 是在已經知道每個平方區間存在質數後才逐格挑選，它完全沒有降低證明義務。

真正的新研究必須是：

$$
\boxed{
\text{independent operator construction}
+
\text{prime-image proof}.
}
$$

亦即從不假定勒讓德成立、也不查詢目標質數的全域公式直接構造 $s_{\mathcal F}$。

---

# 17. 質數擬合圖底空間

定義：

$$
\boxed{
\mathcal G_{\mathcal F}
=
\{
(n,\kappa_{\mathcal F}(n)):
n\ge1
\}.
}
$$

若：

$$
1\le
\kappa_{\mathcal F}(n)
\le2n
$$

對所有 $n$ 成立，則：

$$
\mathcal G_{\mathcal F}
\subset
\mathcal T_{\square}.
$$

若再證明：

$$
n^2+\kappa_{\mathcal F}(n)\in\mathbb P,
$$

則：

$$
\boxed{
\mathcal G_{\mathcal F}
\subset
\mathcal P_{\square}.
}
$$

---

# 18. 第三個正式定理：擬合圖包含定理

## 定理 18.1

若某個獨立構造的擬合算子 $\mathcal F$ 滿足：

$$
\mathcal G_{\mathcal F}
\subset
\mathcal T_{\square}
$$

以及：

$$
\mathcal G_{\mathcal F}
\subset
\mathcal P_{\square},
$$

則勒讓德猜想成立。

## 證明

因為 $\mathcal G_{\mathcal F}$ 對每個 $n$ 恰取一點：

$$
(n,\kappa_{\mathcal F}(n)).
$$

第一個包含關係給出：

$$
1\le
\kappa_{\mathcal F}(n)
\le2n.
$$

第二個包含關係給出：

$$
n^2+\kappa_{\mathcal F}(n)\in\mathbb P.
$$

所以：

$$
n^2
<
n^2+\kappa_{\mathcal F}(n)
<
(n+1)^2.
$$

因此每兩個連續平方數之間至少有一個質數。

證畢。

---

# 19. Phase 1 後真正的證明目標

至此，問題被壓縮成：

$$
\boxed{
\mathcal G_{\mathcal F}
\subset
\mathcal P_{\square}.
}
$$

而 $\mathcal G_{\mathcal F}$ 必須由既有質數擬合公式獨立生成。

後續真正需要證明的是：

$$
\boxed{
1\le
\kappa_{\mathcal F}(n)
\le2n
}
$$

以及：

$$
\boxed{
n^2+\kappa_{\mathcal F}(n)
\in\mathbb P.
}
$$

前者是胞腔內部性，後者是質數像性。

---

# 20. 標準化局部座標

定義：

$$
u_n(k)
=
\frac{k}{2n+1}.
$$

則：

$$
0<u_n(k)<1.
$$

局部離散標準胞腔為：

$$
U_n
=
\left\{
\frac1{2n+1},
\frac2{2n+1},
\dots,
\frac{2n}{2n+1}
\right\}
\subset(0,1).
$$

對候選擬合算子，定義：

$$
\boxed{
\gamma_{\mathcal F}(n)
=
\frac{
\kappa_{\mathcal F}(n)
}{
2n+1
}.
}
$$

胞腔內部性等價於：

$$
\boxed{
0<
\gamma_{\mathcal F}(n)
<
1.
}
$$

---

# 21. 全域與局部的統一

目前有：

$$
\mathcal T_{\square}
$$

作為全域底空間，

$$
\mathcal T_{\square,n}
$$

作為局部纖維，

以及：

$$
\mathcal G_{\mathcal F}
$$

作為全域擬合 section graph。

並有：

$$
\mathcal G_{\mathcal F}
\cap
\mathcal T_{\square,n}
=
\{
(n,\kappa_{\mathcal F}(n))
\}.
$$

後續真正需要的「全域／局部同一算子」應解讀為：

> $\kappa_{\mathcal F}$ 必須由單一全域規則生成，不能對不同 $n$ 重新擬合、重新訓練、重新選參數或查詢答案。

這將作為 Phase 2 的 global provenance invariance。

---

# 22. Phase 1 核心結果

正典全域底空間：

$$
\boxed{
\mathcal T_{\square}
=
\{(n,k):
n\ge1,\,
1\le k\le2n
\}.
}
$$

評價映射：

$$
\boxed{
E(n,k)=n^2+k.
}
$$

雙射：

$$
\boxed{
E:
\mathcal T_{\square}
\overset{\sim}{\longrightarrow}
\mathbb N_{\mathrm{ns}}.
}
$$

真質數子空間：

$$
\boxed{
\mathcal P_{\square}
=
E^{-1}(\mathbb P).
}
$$

勒讓德等價於：

$$
\boxed{
\pi_{\square}
(
\mathcal P_{\square}
)
=
\mathbb Z_{>0}.
}
$$

候選質數擬合圖：

$$
\boxed{
\mathcal G_{\mathcal F}
=
\{
(n,\kappa_{\mathcal F}(n))
\}.
}
$$

而若能證明：

$$
\boxed{
\mathcal G_{\mathcal F}
\subset
\mathcal P_{\square},
}
$$

則勒讓德成立。

---

# 23. Phase 2 入口

Phase 2 的任務：

> 從既有質數幾何預測器抽取一個 canonical prime-fitting section。

即由：

$$
\varepsilon_{\mathrm{full}}(N),
$$

$$
\widehat p_N,
$$

動態平均斜率與加法錨定機制，構造：

$$
\boxed{
\kappa_{\mathcal F}(n).
}
$$

第一個橋接問題為：

> 舊公式的自然輸入是質數序列索引 $N$，而新底空間的自然輸入是平方胞腔索引 $n$。如何在不假定勒讓德成立、不直接查詢目標質數的前提下，建立 canonical map：

$$
n
\longmapsto
N(n)
\longmapsto
\widehat p_{N(n)}
\longmapsto
\kappa_{\mathcal F}(n)?
$$

這將是 Phase 2 的第一個正式問題。

---

# 24. Phase 1 狀態

```text
Legendre Base-Space Program
Phase 1 — Canonical Algebraic Consecutive-Square Base Space

Continuous square cells:             DEFINED
Arithmetic square fibers:            DEFINED
Triangular algebraic base space:     DEFINED
Evaluation map E(n,k)=n^2+k:         DEFINED
E bijection to nonsquare integers:   PROVED
Prime pullback subspace:             DEFINED
Legendre as fiber-surjectivity:      PROVED EQUIVALENT
Prime-fitting section formalism:     DEFINED
Prime-fitting graph criterion:       PROVED
Circularity boundary:                IDENTIFIED
Normalized local coordinate:         DEFINED

Phase 1 verdict:                     CLOSED
Legendre proof status:               OPEN
Next phase:                          OPERATOR EXTRACTION
```