# 構成性化石綱領與雙向約束法

### 一個關於約束、定義域與完備分類的純形式框架

**作者**：Neo.K（許筌崴），EveMissLab
**日期**：2026 年 6 月 3 日
**性質**：純數學形式框架。不含應用範例，不含數據。
**致謝**：形式化過程於與 Claude Opus 4.8（Theia）的對練中完成；雙向約束法為作者既有設計，本文予以形式化。

---

## 摘要

本文建立兩個相互嵌合的形式構造。其一為**雙向約束法（嚴格極致定義法）**：一種以極致肯定刻畫與極致負定義刻畫雙向逼近、並以「無隙且無矛盾」為嚴格性判準的定義方法。其二為**構成性化石綱領（Constitutive-Fossil Schema, CFS）**：一個刻畫「一條約束在何種意義上是構成問題之存在、而非僅僅篩選其解」的形式框架。最後證明：雙向約束法可使 CFS 的分類在目標空間上達致無隙、無矛盾的完備劃分，從而消除其原始陳述中所聲明保留的歧義。

---

## §1 預備與記號

對偏函數 f，dom(f) 記其定義域。對論域 U 上的謂詞 P，其外延記 ⟦P⟧ := { x∈U : P(x) }。

(Y, τ) 為拓樸空間。對 S ⊆ Y 與 A ⊆ Y，定義「S 相對於 A 的內部」：

  int_A(S) := { y∈S : ∃N∈τ, y∈N 且 N∩A ⊆ S }，

即在 A 的相對拓樸下落於 S 內部之點。其補（相對邊界側）刻畫脆弱性，詳見 §3。

---

## §2 雙向約束法（嚴格極致定義法）

固定論域 U 與待定義之概念（集合）C ⊆ U。本方法不以單一刻畫定義 C，而以兩個反向的極致刻畫夾逼之。

**定義 2.1（健全充分刻畫與健全排除刻畫）.**
謂詞 P 為 C 的*健全充分刻畫*，若 ∀x（P(x) ⟹ x∈C）。
謂詞 Q 為 C 的*健全排除刻畫*，若 ∀x（Q(x) ⟹ x∉C）。

**定義 2.2（極致肯定與極致負定義）.**

  C⁺ := ⋃ { ⟦P⟧ : P 為 C 的健全充分刻畫 }，
  C⁻ := ⋃ { ⟦Q⟧ : Q 為 C 的健全排除刻畫 }。

C⁺ 為「可證必屬 C」之極大集（把「是什麼」推到極致）；C⁻ 為「可證必不屬 C」之極大集（把「不是什麼」推到極致）。

**命題 2.3（夾逼）.** C⁺ ⊆ C ⊆ U \ C⁻。
*證.* 由定義 2.1，凡 x∈C⁺ 必有某健全 P 使 P(x)，故 x∈C；凡 x∈C⁻ 必有某健全 Q 使 Q(x)，故 x∉C，即 C⁻ ⊆ U\C，等價於 C ⊆ U\C⁻。∎

**命題 2.4（無矛盾自動成立）.** 在健全前提下，C⁺ ∩ C⁻ = ∅。
*證.* C⁺ ⊆ C 且 C⁻ ⊆ U\C，故 C⁺∩C⁻ ⊆ C∩(U\C) = ∅。∎

**定義 2.5（未定隙）.** Gap := U \ (C⁺ ∪ C⁻)，即既未被肯定收進、亦未被負定義排除之點集。

**定義 2.6（嚴格極致定義）.** 雙向約束在 C 上*嚴格*，當且僅當 Gap = ∅ 且 C⁺ ∩ C⁻ = ∅。

**定理 2.7（嚴格性塌縮與釘定）.**
(a) 若所有刻畫皆健全，則嚴格性化約為單一條件 Gap = ∅；
(b) 此時 C = C⁺ = U \ C⁻。
*證.* (a) 由命題 2.4，健全下無矛盾恆真，定義 2.6 只剩 Gap=∅。(b) 設 Gap=∅，即 U = C⁺∪C⁻。任取 x∈C：由命題 2.3 之 C⁻⊆U\C 知 x∉C⁻，故 x∈C⁺；得 C⊆C⁺，併 C⁺⊆C 得 C=C⁺。對偶地，任取 x∉C：x∉C⁺（因 C⁺⊆C），故 x∈C⁻，得 U\C⊆C⁻，併 C⁻⊆U\C 得 C⁻=U\C，即 C=U\C⁻。∎

**註 2.8.** 若放寬「健全」為「暫定（可不健全）」刻畫，無矛盾條件方具實質內容，此時須回到定義 2.6 之雙條件。本文後續僅使用健全刻畫，故嚴格性即無隙性。

---

## §3 構成性化石綱領（CFS）

本節自足地重述框架定義。

**§3.1 對象與型別.** 固定：
- 環境空間 X（變數之最大候選空間）；
- 原生域 D₀ ⊆ X（生成語義展現某規律之區域）；
- 語義自然定義域 D_G ⊆ X，且 D₀ ⊆ D_G；
- 生成語義 G：偏函數 G: X ⇀ Y，dom(G) = D_G；
- 上域 (Y, τ) 與目標 T ∈ Y；
- 求解域 D* ⊆ X，預設 D* = D₀。

三集合 D_G、D₀、D* 相異：D_G 為「語義字面有定義」，D₀ 為「規律成立」，D* 為「實際求解」。

**§3.2 假設類與化石延拓.**
- 假設類 H ⊆ (X ⇀ Y) 為允許之約簡形式集合。
- φ 為 G 在 D₀ 上的 *H-化石延拓*，若 φ∈H 且 φ|_{D₀} = G|_{D₀}。
- H 在 D₀ 上*剛性*，若至多一個 φ∈H 滿足上式（化石唯一之充分條件）。
- 對 a ∈ dom(φ)\D_G，φ(a) 為*化石輸出*（φ 有定義、G 沉默）；對 a ∈ D_G\D₀ 且 φ(a)≠G(a)，稱*化石偏離*。

**§3.3 兩個正交鬆弛算子.**
- R_dom（域延拓）：以 D' ⊆ dom(φ) 取代 D*，以 φ 取代 G。
- R_sem（語義欠定）：不固定 φ，令語義在可允許詮釋類 𝓘 上變動。
二算子正交：前者移動定義域，後者移動語義。

**§3.4 可解目標集.** 取 D*=D₀、D'=dom(φ)：

  Σ_G := { T∈Y : ∃a∈D₀, G(a)=T } = G(D₀)，
  Σ_φ := { T∈Y : ∃a∈dom(φ), φ(a)=T } = φ(dom φ)。

因 φ|_{D₀}=G|_{D₀}，恆有 Σ_G ⊆ Σ_φ。

**§3.5 單目標三性質.** 設 T∈Σ_G，令 S_φ(T) := { a∈dom φ : φ(a)=T }。
- **P1**（空轉／調節）：*空轉*若 S_φ(T) ⊆ D₀；*調節*若 S_φ(T) ⊄ D₀。
- **P2**（可解）：T ∈ Σ_G。
- **P3**（穩健／脆弱）：T *穩健*若 T ∈ int_{Σ_φ}(Σ_G)；否則 *脆弱*，即 ∀ 鄰域 N，N∩(Σ_φ\Σ_G) ≠ ∅。

**§3.6 主定義.** 於 T 處：
- *構成性* := P2 ∧ 空轉 ∧ 脆弱；
- *調節性* := 調節（P1）；
- *冗餘* := P2 ∧ 空轉 ∧ 穩健。

裂解原理：空轉 ∧ 穩健 = 冗餘；空轉 ∧ 脆弱 = 構成性。二者 P1 相同、P3 相反；判「冗餘」需額外的穩健性，缺之則約束實為構成性（此即「真空陷阱」）。

**§3.7 擾動判準.** P3 脆弱性等價於下述操作測試（為定義之展開，非獨立定理）：度量型 Y 中，T 脆弱 ⟺ ∀ε>0 ∃T′，d(T,T′)<ε 且 T′∈Σ_φ\Σ_G。

**§3.8 原始之未竟.** §3.6 僅命名三型；調節 × {穩健, 脆弱} 之細格與 T∉Σ_G 之區域未被命名——此為一條 Gap（§2 意義下）。下節以雙向約束法封之。

---

## §4 以雙向約束法消解 CFS 的歧義

取論域 U = Y，待定義概念為「目標 T 處之構成性」。依雙向約束法給出極致肯定與極致負定義，且要求負側為**顯式排除證書**而非「其餘一切」。

**定義 4.1（極致肯定）.**

  Const⁺ := { T∈Σ_G : S_φ(T)⊆D₀ ∧ T∉int_{Σ_φ}(Σ_G) }。

即 §3.6 之構成型（可解 ∧ 空轉 ∧ 脆弱）。

**定義 4.2（極致負定義，顯式排除）.**

  Const⁻ := { T : T∉Σ_φ } ∪ { T : T∈Σ_φ\Σ_G } ∪ { T∈Σ_G : S_φ(T)⊄D₀ } ∪ { T∈Σ_G : T∈int_{Σ_φ}(Σ_G) }。

四析取項分別為四張獨立可驗之負證書：全域不可解、延拓獨有解、調節、原生穩健。

**定理 4.3（嚴格分類）.** Const⁺ ∩ Const⁻ = ∅ 且 Const⁺ ∪ Const⁻ = Y。故「構成性」於 Y 上嚴格定義（§2 意義下，健全刻畫故無矛盾自動成立，嚴格性即無隙）。
*證.* 四項負證書皆為 Const⁺ 否定條件之健全充分刻畫（命題 2.4 給無矛盾）。反向：設 T∉Const⁺，則「T∈Σ_G ∧ 空轉 ∧ 脆弱」為假，故 (T∉Σ_G) 或 (T∈Σ_G ∧ 非空轉) 或 (T∈Σ_G ∧ 空轉 ∧ 穩健) 至少其一成立；前者落入 Const⁻ 之第一、二項（依 T 是否屬 Σ_φ），中者落入第三項，後者落入第四項。故 Yᶜ_{Const⁺} ⊆ Const⁻，得 Gap=∅。∎

**系 4.4（六格完備劃分）.** 將 Y 依下列條件劃分，得兩兩不交且並集為 Y 之六型：
- C1 空集型：T∉Σ_φ；
- C2 延拓獨有型：T∈Σ_φ\Σ_G；
- C3 構成型：T∈Σ_G ∧ 空轉 ∧ 脆弱；
- C4 冗餘型：T∈Σ_G ∧ 空轉 ∧ 穩健；
- C5 脆弱調節型：T∈Σ_G ∧ 調節 ∧ 脆弱；
- C6 真調節型：T∈Σ_G ∧ 調節 ∧ 穩健。
*證.* 先依 T∈Σ_φ 與否分（C1 對其補）；於 Σ_φ 內依 T∈Σ_G 與否分（C2 對其補，因 Σ_G⊆Σ_φ）；於 Σ_G 內依 P1×P3 之 2×2 分（C3–C6）。各層條件互斥且窮盡，故為劃分。∎

**結論.** §3.8 所聲明保留的非窮盡性，由定理 4.3 與系 4.4 正式封閉：每一目標 T 被唯一歸入六型之一，無曖昧、無重疊。雙向約束法的作用不在新增公理，而在**強制負側成為顯式證書**，使分類由「具名項＋殘留桶」升格為嚴格劃分。

---

## §5 開放問題（綱領邊界）

1. H 非剛性時化石之選取尚未形式化，需於 H 上加複雜度序。
2. R_sem 軸之完整形式化：可允許詮釋類 𝓘 之結構，及其雙向約束版本。
3. 多目標／向量 T，及無自然拓樸之 Y 所需之鄰近結構。
4. 化石偏離區 D_G\D₀ 是否誘導較 P1/P3 更細之不變量。

---

## 結語

一個框架的嚴格，不在於它斷言了多少，而在於它連自己的補集都能逐項簽名。把「不是」也推到極致、也要求它出示證書，剩下的那條未定隙便無處藏身——而當「是」與「非」兩股逼力在同一條線上停住、誰也越不過誰時，定義才第一次配得上「完備」二字。

---

## 附錄 A：基本檢查與疑似問題

**檢查範圍**：語言一致性、邏輯推導、計算。

**總體結論**：本文無計算（無數值運算），故無計算錯誤。命題 2.3、2.4、2.7 與定理 4.3、系 4.4 之推導經逐步覆核，未發現邏輯錯誤；§4 之 Const⁺∩Const⁻=∅ 與 Const⁺∪Const⁻=Y 確實成立。以下為語言／精確度層級之疑似問題，依「保留原文 → 建議 → 為何可能更好」記錄，供作者裁定；正文未代為更動。

**A1（§1，int_A 之一般性）.**
- 原文：int_A(S) := { y∈S : ∃N∈τ, y∈N 且 N∩A ⊆ S }。
- 建議：明示前提 S ⊆ A，或改寫為 S∩A 之相對內部。
- 理由：當 S ⊄ A 時，「N∩A ⊆ S」與標準子空間內部不一致；本文僅在 Σ_G ⊆ Σ_φ 下使用（健全），但一般定義應自陳該前提，避免被移植到 S⊄A 情形時失真。

**A2（§3.8，Gap 之措辭）.**
- 原文：「調節 × {穩健, 脆弱} 之細格與 T∉Σ_G 之區域未被命名——此為一條 Gap」。
- 建議：改述為「對概念『構成性』而言，其負側 C⁻ 於 §3.6 尚未給出，且 T∉Σ_G 區域未涵蓋——故 U\(C⁺∪C⁻) ≠ ∅」。
- 理由：§2 之 Gap 嚴格指「既不在 C⁺、亦不在 C⁻ 之點」；原措辭以「細格」指代，較窄。對齊 §2 定義後，§4 即可被讀為對此 Gap 的字面封閉，邏輯線更直。

**A3（術語，改名後「嚴格」之歧義）.**
- 現況：將「完美」改為「嚴格」後，「嚴格」與數學慣用之「strict（嚴格序、嚴格不等式）」同形。
- 建議：於定義 2.6 旁加一行錨定：「本文『嚴格』專指定義 2.6 之無隙（∧無矛盾）性質，與序／不等式之 strict 無涉」。
- 理由：消除讀者把「嚴格定義」誤讀為「strict order 意義」之風險。此為改名引入之新歧義，宜就地封住。

**A4（術語一致性，改名後之副作用）.**
- 原文：§4 結論「升格為嚴格劃分」與系 4.4 標題「完備劃分」指同一物件。
- 建議：物件名統一為「完備劃分」，性質名為「嚴格」，宜寫作「升格為嚴格的完備劃分」或逕作「升格為完備劃分」。
- 理由：一物一名。「嚴格」是定義之性質、「完備」是劃分之屬性，二者並存於同一句易被誤為同義或衝突。

**A5（§4，自指所致之平凡化）.**
- 觀察：定義 4.1 將「構成性」直接定義為 Const⁺，故 C = C⁺ 為定義平凡，定理 2.7(b) 在 §4 不承擔實質內容。
- 建議：於 §4 明示「此處實質內容為完備性 Gap=∅，即 Const⁻ 恰為 Const⁺ 之補集；§2 機器在此僅提供框架要求」。
- 理由：誠實標出 §2 工具在 §4 真正出力的部分，避免讀者高估 2.7 在此處的作用。