# 不規則圖形測量方法論：測量層補全與架構修正

**文件性質**：對《不規則圖形計算方法論（DCV）》與《減法拓撲學（EML-TOPO-SUB）》之間缺口的補全與修正稿
**提出者／方法擁有者**：Neo.K（許筌崴）
**測量層補全與架構修正**：Theia
**版本**：completion v0.1
**前置依賴**：DCV（雙環消矩測積法 v0.1）、減法拓撲學 v3.2（Lean 4 已關閉）、虛擬外接圓設定

---

## 0. 這份補全在補哪一個洞

DCV 給了公式 `A = (V_L+V_R)/(4πR)`，數學乾淨，但留下兩個沒合攏的缺口：

1. **循環性**：數位版要算 V_L 必須先有遮罩，而遮罩本身就是面積。驗證腳本更是直接用 A 合成 V_L 再還原 A，只證了 `A=A`。
2. **測量層空缺**：公式說「面積等於兩個體積和除以 4πR」，但沒說那兩個體積在真實世界**怎麼被量到、而不必先知道面積**。

這份補全的主張是：**這兩個缺口其實是同一個缺口，根源是把「計算」和「測量」混成了一件事。** 拆開它們，循環性消失，測量層自然浮現。

---

## 1. 架構修正：方法不是一個版本，是兩個

| | 計算機版 | 數學／物理版 |
|---|---|---|
| 輸入 | 已可枚舉的遮罩 χ_D | 邊界曲線，或一個真實物體 |
| 本質 | **計算**（表示轉換） | **測量**（從物理量反推） |
| 交付物 | 形狀指紋（矩譜 ⊕ 條碼） | 面積／矩，相對校準標準件 |
| 循環性 | **不是問題**（見 §1.1） | **可消除**（見 §3） |
| 虛擬圓 | 不需要 | 需要（當校準錨） |

### 1.1 計算機版：循環性是個假問題

數位版被判循環，是因為它宣稱自己「測量面積」。但它根本沒有測量任何東西——它把一個**已經給定**的表示（遮罩），轉換成另一個表示。轉換不需要「不知道答案」這個前提。

修正只有一句：**不要宣稱它測面積，宣稱它算指紋。** 面積 A = M₀₀ 確實是遮罩免費奉送的；但矩譜的高階項（M₁₀, M₂₀, …）與拓撲條碼（H₀, H₁ 的生滅區間）**不是**免費的——它們要加權積分、要持續同調計算。一個輸入算不出來的東西，談不上循環。

於是計算機版的交付物從「面積」升級為「形狀指紋」，面積只是指紋裡最退化的一格。像素計數能給你面積；它給不了你指紋。這就是計算機版存在的理由，而它一旦這樣定位，循環性指控當場失效。

### 1.2 數學／物理版：這裡才有真正的測量

只有當圖形**不是**以可枚舉遮罩給出時，「測量」才成立。兩種非枚舉輸入：

- **邊界曲線**：用格林定理從邊界積分讀面積。非循環，但**重新繼承邊界脆弱性**——鋸齒、近分形邊界會讓誤差集中在邊界。對當初逼出這專案的那種鋸齒圖，這條路不穩。
- **真實物體**：用物理基底替你積分內部（秤重、排水、透光）。基底不枚舉、不追邊界，直接吐出一個純量。這是非循環測量的真正棲地，也是 §3 補的測量層。

---

## 2. 虛擬圓：定位拍板

圓的角色，在上一輪兩個選項中**取甲、否乙**：

**取（甲）三個合法職能：**

1. **外接證人**。任意有界圖形存在最小外接圓（最小包覆圓，標準結果）。令圓半徑 r，取旋轉軸距 R > r，DCV 的「軸在圖形外」前提**對任意有界圖形構造性成立**。圓是讓 DCV 敢宣稱「適用任意有界圖形」的存在引理。
2. **校準標準件**。圓的面積 πr²、圓繞外軸的雙環體積和 `4πR·πr²`，皆為閉式、解析已知、不靠枚舉。圓因此是把儀器原始讀數換算成面積的標準砝碼。
3. **減法 K₀**。圓是乾淨、已知質量的複形頂點；任何被它包住的圖形，都是從圓出發的減法軌跡上的一點。

**否（乙）：圓不是徑向座標。** 圓能包住任何圖形，但只有星形區域才有單值 r(θ)。鋸齒帶凹陷的圖形非星形，射線多次穿邊界，r(θ) 多值崩潰。任何「圓內 r(θ) 描述邊界」的版本，會死在它本來要解決的圖形上。**包住 ≠ 座標化。**

---

## 3. 測量層補全：類比雙梯度儀（DCV 的真正身體）

把 DCV 的「旋轉」脫掉，留下它的本體——一對互補權重場 `w_± = R ± x`。旋轉只是這對權重場的一種插圖；真正可造的測量裝置直接施加權重場。

### 3.1 裝置原理

以透射式為例（遮罩版同理）：

1. 把圖形做成孔徑（內容區透光、空白區與背景遮光）。
2. 施加一道**沿 x 線性變化**的照明：強度正比於 `(R + x)`。讓光穿過孔徑，落在**單一**積分式光偵測器上。偵測器回報總通量：
   `Q_+ = ∫_D (R + x) dA`
3. 翻轉梯度為 `(R − x)`，再測一次：
   `Q_- = ∫_D (R − x) dA`

偵測器**從頭到尾不知道遮罩**——光子替你積分，輸出兩個純量。

### 3.2 讀出

- **和消去梯度，留下面積：**
  `Q_+ + Q_- = 2R ∫_D dA = 2R·A`
- **差消去常項，留下一階矩：**
  `Q_+ − Q_- = 2 ∫_D x dA = 2·M_x`

這就是雙環消矩在物理層的真身：梯度的對稱抵消，不是數學把戲，是兩次相反曝光的物理疊加。

### 3.3 圓校準（非循環的關鍵一步）

對同一台儀器、同一個 R，量一個半徑 r 的**圓孔徑**：

`Q_+^C + Q_-^C = 2R·πr²`（閉式已知）

於是把圖形的讀數對圓的讀數作比：

`A = πr² · (Q_+ + Q_-) / (Q_+^C + Q_-^C)`

面積由**兩組物理純量之比**得出，沒有任何一步預設了內部枚舉。**這是非循環測量**——儀器吐純量，圓給標尺，面積是兩者的商。Neo.K 口袋裡那個「實際怎麼量」的方法，形式化後就站在這裡。

### 3.4 推廣到矩譜

換更高階的梯度濾片 `w = R ± x^k`，同一台儀器讀出 M_{k0}；x、y 兩方向各做一次，得 M₀₀, M₁₀, M₀₁, M₂₀, M₀₂, M₁₁……圖形被壓成一組矩，成為可比較、可重建的形狀指紋。面積只是 M₀₀。

---

## 4. 空白區與內容區：押後兩次的洞，這裡關帳

洞不再需要「另外處理」，因為兩條讀頭天生各自處理它：

- **物理層**：洞是不透光（或與內容區透光性相反）的區域，照明穿不過，偵測器自動不計入。`Q_±` 只積分到內容區。洞的排除是**光學事實**，不是公式補丁。
- **拓撲層**：洞是減法過濾中 **H₁ 條碼**的生滅區間。每個洞有它的出生與死亡，被條碼當一等公民記下。你不「扣掉」洞，你**讀**洞。

`A(D) = A(外輪廓) − Σ A(洞ᵢ)` 仍成立，但它現在是條碼結構的後果，不是手工修正。

---

## 5. 減法拓撲搭接：一條軌跡，兩個讀頭

把整套接到減法拓撲學：

- 虛擬圓 = **K₀**：乾淨、已知質量／面積的起點。
- 圖形 = 從圓出發的減法軌跡上的一點：`A(圖形) = πr² − (被減掉的)`。
- **一次毀滅，兩本帳**：同一條 V 軌過濾，一邊掛 DCV 的消矩讀頭（幾何矩譜），一邊掛持續同調的條碼讀頭（拓撲指紋）。終點 ∅ 是呈現層的空；其本體投影（對偶讀法）仍是完整的圓。
- 對偶分軌：**V 軌**（真的把圖形量到耗盡、不可逆）由本方法管；**d 軌**（建一個零損耗的可逆視圖）由拓撲微積分管。要「可重測的測量」，先 d 軌快照，再 V 軌測量。

**度量誠實聲明**：減法拓撲學是無度量的——它數面不量面，質量 m 是單形個數不是面積。要把 m 變回面積，必須替每個單形乘上幾何面積再加總，那一步就是積分、就是枚舉，循環從度量這扇門復活。**所以搭接買到的不是「面積純量的非循環」，是「測量目標的升級」**：把退化的 M₀₀ 換成不退化的「矩譜 ⊕ 條碼」。面積純量的非循環，只在 §3 的物理測量裡，不在拓撲層。

---

## 6. 誠實邊界表

| 場景 | 循環？ | 交付物 | 備註 |
|---|---|---|---|
| 數位遮罩 → 面積 | 是（但無害） | 重新定位為**計算** | 不要叫它測量 |
| 數位遮罩 → 矩譜⊕條碼 | 否 | 形狀指紋 | 高階項與條碼非免費 |
| 邊界曲線 → 格林面積 | 否 | 面積 | 邊界脆弱，鋸齒圖不穩 |
| 物理孔徑 → 雙梯度＋圓校準 | **否** | 面積、矩譜 | §3，非循環測量的真正棲地 |
| 拓撲質量 m → 面積 | 是（度量門復活） | —— | m 無度量，勿直接當面積 |

---

## 7. 下界必要條件（本補全新增）

一個自稱「測量」（而非計算）的不規則圖形方法，至少要滿足：

1. 代理量 Q 的取得**不預設**內部逐點枚舉（否則它是計算，不是測量）；
2. 存在一個**解析已知**的校準標準件（此處為虛擬圓），把 Q 的原始單位換算成面積；
3. 洞的排除有明確的**表示層機制**（光學透不透、遮罩 0/1、條碼 H₁），不是事後手扣；
4. 交付物的**資訊階**講清楚：你交的是 M₀₀ 一個數，還是整組矩譜⊕條碼。

違反第 1 條卻自稱測量，就是 DCV 數位版當初的病；違反第 4 條，就是拿最貴的路回收最廉價的量。

---

## 附錄：最小公式集（補全版）

```
外接圓：       任意有界 D ⟹ ∃ 最小外接圓 (中心 c, 半徑 r)；取 R > r
物理讀數：      Q_+ = ∫_D (R+x) dA,   Q_- = ∫_D (R−x) dA
面積（和）：    Q_+ + Q_- = 2R·A
一階矩（差）：  Q_+ − Q_- = 2·M_x
圓校準：        Q_+^C + Q_-^C = 2R·πr²
面積反推：      A = πr² · (Q_+ + Q_-)/(Q_+^C + Q_-^C)
矩譜推廣：      w = R ± x^k ⟹ 讀出 M_{k0}
洞：            內容 = H₀/M₀₀；洞 = H₁ 條碼生滅區間
搭接：          圓 = 減法 K₀；A(D) = πr² − (被減掉)
```

## 附錄：一句話版本

不規則圖形的面積，不是被算出來的，是被一台不認得它形狀的儀器、在一個你已知大小的圓的見證下，量出來的；而面積，只是這場測量順手吐出的第一個、也最不重要的數。