# 關係幾何與載體展開（RGC）第一篇：三線成方的精確構造、平滑性障礙與有效關係維度 **英文題名：** Relational Geometry and Carrier Unfolding I: An Exact Three-Segment-to-Square Construction, Smoothness Obstructions, and Effective Relational Dimension **版本：** P01 / v0.2.0 **日期：** 2026-11-03 **狀態：** 可重現的基準構造與局部定理；**並非**證明標準幾何存在內稟的 $1.7$ 或 $1.8$ 維歐氏空間 **原稿規範：** UTF-8 Markdown；數學僅使用 ` $...$ `、`$$...$$`；聊天顯示不是 canonical source。 --- **作者：** Neo.K **機構：** EveMissLab／一言諾科技有限公司 ## 摘要 本文研究「只輸入三條直線段，能否在指定幾何載體與觀測映射之下產生完整的正方形四邊」這一構造問題。研究將幾何載體、輸入曲線、關係算子、觀測映射及驗證殘差分離，以避免將可觀測角點數誤作輸入線段數，也避免將非整數**有效**關係維度與傳統座標維度混同。本文給出一個具體的三角形到正方形之分片仿射同胚：輸入三條線段都是真正的歐氏直線段，經容器映射後，三角形邊界精確變成正方形邊界。相反地，若要求在原線段的鄰域內使用處處可逆且 $C^1$ 的映射，便不可能從三個輸入角點生成四個尖銳角點。本文另外建立一條連續變形路徑並推導精確角點殘差，計算基於映射雅可比譜之參與比有效維度。在此特定模型中，精確成方時的值為 $9/7$，而不是 $1.7$ 或 $1.8$ ；這個結果是對特定定義與映射的基準測試，不構成一般性否證。本文同時展示有效維度識別不足的反例，並訂立下一輪研究需要滿足的識別條件。 **關鍵詞：** 載體幾何、關係幾何、觀察映射、分片仿射同胚、角點生成、有效維度、可識別性、幾何殘差。 ## 1. 問題及嚴格計數規則 我們不使用紙張邊緣、畫具寬度或文字遊戲。研究對象是以下五元組： $$ \mathfrak{G}=(\mathcal C,\{L_i\}_{i=1}^{3},F,\mathcal O,\mathcal V). $$ - $\mathcal C$：**載體**（carrier），包含來源幾何、度量、允許的變形與其邊界條件。 - $L_i$：三條輸入筆畫，本文第一模型明確要求它們都是來源空間中的**直線段**，不是事先折好的折線。 - $F$：載體形變或關係展開映射，不得在測試後臨時加入為了滿足答案而任意指定的特例。 - $\mathcal O$：觀測規則；本文第一模型令 $\mathcal O$ 為觀測平面中的恆等測量。 - $\mathcal V$：驗收條件，至少包括四條等長邊、四個直角、閉合、無自交，以及輸入線段確實恰有三條。 問題不是在沒有任何其他操作的二維平面上，以三條普通線段直接覆蓋四條正方形邊。這在通常的意義下不成立。問題是： > 是否存在具體、可重現、受約束的載體映射，使**三條來源直線段**的像恰等於正方形邊界？在允許的映射類別中，哪些性質是必要的？ ### 1.1 維度的三個不同概念 對這個研究至少要區分： 1. $d_{\mathrm{coord}}$：座標維度；平面是 $2$，立體是 $3$，通常的歐氏向量空間不存在「一個半獨立的基底軸」。 2. $d_{\mathrm{top}}$ 或 $d_{\mathrm H}$：拓撲維度或 Hausdorff 維度；必須先選定對象及其度量。這兩者不能任意與實數參數混用。 3. $D_{\mathrm{rel}}$：本文候選的**有效關係維度**；這是一個明確定義在關係算子譜上的連續實數指標，不宣稱自己是第一、第二項的同義詞。 本文首先解決幾何「存在性」，再檢驗有效維度是否能由幾何要求唯一識別；兩者不得倒置。 ## 2. 基準構造：三條直線段映射為四條正方形邊 ### 定義 2.1：來源三角形及筆畫 令來源載體是二維閉三角形 $$ T=\{(x,y)\in\mathbb R^2:0\le y\le x\le1\}. $$ 其三個角點是 $$ A=(0,0),\qquad B=(1,0),\qquad C=(1,1), $$ 並把邊 $CA$ 的中點記為 $M=(1/2,1/2)$。**實際輸入筆畫只有** $$ L_1=\overline{AB},\qquad L_2=\overline{BC},\qquad L_3=\overline{CA}. $$ 三者在 $T$ 的原始歐氏度量下都是直線段； $M$ 只是其中一條直線段內部的參考點，**不是第四條筆畫**。 ### 定義 2.2：分片仿射容器映射 沿 $x+y=1$ 將 $T$ 分為兩個閉三角形 $T_-$ 與 $T_+$。定義 $$ F_1(x,y)= \begin{cases} (x-y,\,2y), & x+y\le1,\\ (2x-1,\,1-x+y), & x+y\ge1. \end{cases} $$ 此式在共用的分界線上兩側值相等，故 $F_1$ 是連續的。 ### 命題 2.3：精確三線成方 $F_1$ 將 $T$ 一一、連續且具有連續逆地映射至單位正方形 $Q=[0,1]^2$，並使三條來源直線段的像滿足 $$ F_1(L_1\cup L_2\cup L_3)=\partial Q. $$ 進一步地，來源的第三條直線段 $\overline{CA}$ 在像中沿兩段相鄰直角邊走過，亦即 $$ F_1(C)=(1,1),\quad F_1(M)=(0,1),\quad F_1(A)=(0,0). $$ **證明。** 第一區域的三個頂點 $A,B,M$ 分別映至 $(0,0),(1,0),(0,1)$ ；第二區域的 $B,M,C$ 分別映至 $(1,0),(0,1),(1,1)$。因此兩個來源三角形被映至由正方形對角線 $(1,0)\to(0,1)$ 分割的兩個三角形，兩者具有不重疊的內部。兩區域的雅可比矩陣及行列式為 $$ J_-= \begin{pmatrix}1&-1\\0&2\end{pmatrix},\qquad J_+= \begin{pmatrix}2&0\\-1&1\end{pmatrix},\qquad \det J_-=\det J_+=2>0. $$ 兩段映射都可逆，且沿共同邊相容，所以整體是分片仿射同胚。沿來源邊界的三筆 $A\to B\to C\to A$，觀測像依序是 $A\to B\to C\to(0,1)\to A$，恰為單位正方形的全部四邊。證畢。 ### 註解 2.4：這個結果證明了什麼、沒有證明什麼 - **已證明：** 三條真正的來源直線段，在指定且明確可驗證的容器映射下，能精確產生四條可觀測邊。 - **未證明：** 此容器需要非整數內稟幾何維度。上述構造的載體與觀測平面都是二維。 - **未證明：** 此映射是保長的、是物理上可自由實作的彎折、或會保持觀察前後的測地線性質。 - **不可偷換：** 「映射後形成折角」不表示來源的第三條直線段事先就是折線。 這個案例的地位是「可行性下界／基準」，而非最終物理模型。 ## 3. 禁止條件：為何平滑可逆變換不足以精確增加角點 ### 命題 3.1：局部平滑障礙 設 $H$ 在來源三角形邊界的一個開鄰域上是 $C^1$ 微分同胚（其導數處處可逆），並且將整條來源三角形邊界映成一條簡單閉合的多邊形邊界。則若來源邊界恰有三個非平滑角點，像邊界不能有四個彼此不同的尖銳角點。 **證明。** 任意來源直線段內部的正則參數化 $\gamma$，其切向量 $\gamma'(s)$ 為非零常向量。由鏈式法則， $$ (H\circ\gamma)'(s)=DH(\gamma(s))\gamma'(s). $$ 由 $H$ 的 $C^1$ 性質與 $DH$ 可逆性，上式是連續且非零的切向量。因此影像曲線在這些線段內部沒有切向不連續的尖銳折角。影像的尖銳角點至多出現在原來三個線段的共同端點像中，不可能有四個彼此不同的角點。證畢。 **解釋。** 要從來源三個角點得到四個觀測尖角，至少必須鬆開某項限制，例如允許分片可微但一階導數跨折痕不連續、允許導數退化，或改變觀測映射類別。第 2 節採用的是第一種： $F_1$ 連續且可逆，但跨分界線不是全域 $C^1$。 ## 4. 可連續掃描的容器變形與精確殘差 直接從「三角形」跳到「正方形」不利於研究參數。本節定義一參數族 $$ F_t=(1-t)\operatorname{Id}+tF_1,\qquad 0\le t\le1. $$ 展開後， $$ F_t(x,y)= \begin{cases} (x-ty,\,(1+t)y), & x+y\le1,\\ ((1+t)x-t,\,y+t(1-x)), & x+y\ge1. \end{cases} $$ 兩個區域的雅可比行列式皆為 $1+t>0$ ；相容的分片映射把三角形映成一個簡單多邊形，當 $t=1$ 時是正方形。 三個來源角點 $A,B,C$ 在變形下固定，唯一移動的邊界參考點為 $$ M_t=F_t(M)=\left(\frac{1-t}{2},\frac{1+t}{2}\right). $$ 以理想第四角點 $D_*=(0,1)$ 定義**角點目標殘差**（不是泛指所有幾何誤差） $$ r_{\mathrm{corner}}(t)=\|M_t-D_*\|_2=\frac{1-t}{\sqrt 2}. $$ 因此 $r_{\mathrm{corner}}(t)=0$ 在 $t\in[0,1]$ 的**唯一**解為 $t=1$。此時四邊等長、相鄰邊正交、閉合、無自交等條件皆可直接檢查。 **重要限制：** $t$ 是載體形變參數，**不是**直接的維度 $D$ ；不能在沒有推導的情況下把 $t=0.8$ 寫成「1.8D」。 ## 5. 關係有效維度：明確定義而不預設答案 ### 定義 5.1：由局部變形誘導的譜參與比 固定來源與觀測平面的標準歐氏內積，將映射 $F_t$ 在每個分片的雅可比記為 $J_i(t)$，定義半正定關係矩陣 $$ G_i(t)=J_i(t)J_i(t)^{\mathsf T}. $$ **本模型專用**的有效關係維度指標定義為 $$ D_{\mathrm{PR}}(G)=\frac{(\operatorname{tr}G)^2}{\operatorname{tr}(G^2)}. $$ 這是譜的參與比（participation ratio）：對兩個方向，當兩個本徵值相等時值為 $2$ ；當只有一個非零本徵值時值為 $1$。它用來量測局部變形的譜分布，**不是**一般意義的拓撲維度、Hausdorff 維度，也不等同於「存在半條歐氏座標軸」。參與比在資料與動態系統研究中已有明確使用先例，本文借用作為診斷量，不主張發明此公式 [R2]。 ### 命題 5.2：本構造的解析有效維度 兩分片的 $G_i(t)$ 具有相同的跡與行列式： $$ \operatorname{tr}G_i(t)=2(1+t+t^2),\qquad \det G_i(t)=(1+t)^2. $$ 利用 $2\times2$ 矩陣恆等式 $\operatorname{tr}(G^2)=(\operatorname{tr}G)^2-2\det G$，得到 $$ D_{\mathrm{PR}}(t)= \frac{4(1+t+t^2)^2} {4(1+t+t^2)^2-2(1+t)^2}. $$ 故 $$ D_{\mathrm{PR}}(0)=2,\qquad D_{\mathrm{PR}}(1)=\frac97\approx1.285714285714. $$ 當容器**精確成方**時，這套特定局部變形譜指標得到 $9/7$，**並非**$1.7$ 或 $1.8$。這直接證明一件方法論上重要的事： > 「三條線產生正方形」不能單獨反推出 $D_{\mathrm{rel}}=1.8$ ；數值取決於先行確定的關係算子與其度量約定。 ### 5.3 有效維度與殘差掃描 以下數值由隨附的標準函式庫 Python 程式運算， $D_{\mathrm{PR}}(t)$ 的目標值用單調二分法反算 $t$ ；對此模型的數值有意義，不可與原先口頭估計的 $1.5D$ 殘差混為一談。 | $D_{\mathrm{PR}}$ 目標 | 對應 $t$ （近似） | 角點殘差（單位邊長） | 正方形成立 | |---:|---:|---:|:---:| | $1.8$ | $0.278483437449$ | $0.510189254118$ | 否 | | $1.7$ | $0.374306728991$ | $0.442431954873$ | 否 | | $1.5$ | $0.599581257143$ | $0.283138808389$ | 否 | | $9/7$ | $1$ | $0$ | 是 | 由於該函數在 $00, $$ 其中嚴格不等式由 $|(x-2y)(1-x)|\le1/4$ 與 $|\varepsilon|<4$ 保證。因此 $H_\varepsilon$ 是 $T$ 上的可逆內部重參數變形。 複合映射 $F_1\circ H_\varepsilon$ 的邊界輸出**對所有這些 $\varepsilon$ 完全一樣**，仍是正方形；但在內部一般具有不同的局部雅可比與譜參與比。例如在 $(x,y)=(1/2,1/4)$ 且 $\varepsilon=2$，可直接檢得其複合雅可比與 $F_1$ 原本的雅可比不同，並產生不同的 $D_{\mathrm{PR}}$。 因此，若只觀察最終正方形，通常無法唯一反推出容器內部的譜維度。**必須加入獨立、事先固定的物理或幾何約束**，例如保長性、彎曲能量、時間連續性、材料局部可實現性、觀察者不變量或固定關係算子。 這是研究 $1.XD$ 猜想最重要的識別障礙，而不是繼續增加任意的參數擬合即可解除。 ## 7. 三層幾何研究框架 建議將使用者最初的「容器承載線條」想法分為下列可檢驗層次。 ### 7.1 載體幾何（Carrier Geometry） 對象是 $\mathcal C$ 的拓撲、度量 $g$ 、連接、曲率或折痕奇異集合、邊界與可實現的變形規則。需明確回答：一條線在載體裡的「直」是歐氏直線、局部測地線，還是某種關係最短路徑？這三種定義的限制不同。 ### 7.2 關係幾何（Relational Geometry） 對象不是單一圖像，而是不同元素之間可以量化的關係算子 $\mathcal R$。候選包括正定或半正定張量、圖上的能量形式、耦合算子、分片微分，以及對各觀察者可保留的關係不變量。若提出實數值維度 $D_{\mathrm{rel}}\in(1,2)$，需同時給出算子定義、度量選取與座標變換下的行為。 ### 7.3 觀測表示（Observation / Rendering） 對象是觀測映射 $\mathcal O_a$，其中 $a$ 標記不同觀察者或觀測尺度。必須分開檢查「來源的長度、角度」、「觀測影像的長度、角度」與「從影像推定的有效維度」，避免視覺折角被誤認為內稟曲率或幾何維度。 自然的複合關係可寫成 $$ \Gamma_a=\mathcal O_a\circ F_{\mathcal C,\mathcal R}\circ\gamma, $$ 其中 $\gamma$ 是來源線段的參數化。此式是研究架構，而非一條已被物理實驗確證的普遍定律。 ## 8. 執行協議：從可證明構造到可反駁的 1.XD 命題 不以最終正方形的視覺相似度作唯一成功條件。實作分四條受控路線： **路線 A：理論基準。** 比較恆等映射、全域仿射映射、非退化 $C^1$ 微分同胚、分片仿射同胚、帶有觀測投影的折面。已完成的是前三者的障礙判斷與分片仿射的精確成功例子；帶物理折面的模型尚未完成。 **路線 B：關係算子識別。** 事先固定一種可由載體獨立得到的關係算子 $\mathcal R$ ；再以其譜定義 $D_{\mathrm{rel}}$，要求結果對任意無物理意義的內部重參數化不敏感，或者精確交代為何敏感。 **路線 C：反向求解。** 令 $\eta$ 是合法容器參數，解 $$ \min_{\eta}\left( w_1r_{\mathrm{edge}}(\eta)^2+ w_2r_{\mathrm{angle}}(\eta)^2+ w_3r_{\mathrm{close}}(\eta)^2 \right) $$ 但必須同時加上獨立的載體物理約束與複雜度限制，否則可以藉由任意增加映射自由度把殘差調成零，而沒有發現任何幾何定律。數值近零不等於解析恰為零。 **路線 D：多觀察者交叉驗證。** 不同觀察者 $a$ 可以使用不同 $\mathcal O_a$，但不能每增加一個觀察者就重擬合一次整個載體。若某個 $1.XD$ 是容器本身的關係指標，必須展示它在允許觀察變化下如何保持可識別，或明確說明其觀察相依性。 ### 8.1 接受／拒絕判準 | 項目 | 通過判準 | 不通過案例 | |---|---|---| | 三線輸入 | 來源恰有三條直線段 | 預先把一條折線算作直線 | | 幾何輸出 | 四等邊、四直角、閉合、無自交 | 只靠像素外觀看似正方形 | | 映射合法性 | 先定義、可計算、類別清楚 | 看過答案再設置任意映射 | | 維度定義 | 算子與尺度固定，可重現 | 把一個浮點參數直接叫作維度 | | 可識別性 | 有獨立約束、能排除等價擬合 | 不同容器譜皆可得同一圖像 | | 數值結論 | 誤差、解析性與容差分開報告 | 將 $10^{-10}$ 寫成精確零 | | 物理主張 | 額外通過保長／折面／能量測試 | 將任意平面變換當成物理折疊 | ## 9. 本篇結果的狀態判定 | 研究主張 | 狀態 | |---|---| | 來源三條直線段的像可精確成方 | **已構造、已證明、已以有理數驗證** | | 在全域非退化平滑映射下不能增加第四尖角 | **已給出局部證明** | | 連續容器參數 $t$ 的角點殘差可解析求得 | **已證明、已驗算** | | 局部譜參與比在精確成方時為 $9/7$ | **本模型下已精確計算** | | 正方形足以唯一推出有效關係維度 | **否：已有明確非識別性反例** | | $1.7D$ 或 $1.8D$ 是三線成方的普遍臨界維度 | **未證明；本篇模型不支持作此推論** | | 非整數傳統歐氏座標維度存在 | **非本篇結論** | | 本研究幾何容器已具備物理可實現性 | **尚未建立** | ## 10. 可重現性、檔案與審核 隨附 `src/verify_carrier.py` 僅使用 Python 3 標準函式庫；對主要頂點、折線跨分片的連續性、行列式、等長與直角使用 `fractions.Fraction` 做精確檢查。對 $D_{\mathrm{PR}}$ 反求與角點殘差的浮點顯示另列出容差，避免將數值容差與數學證明混為一談。 ``` python src/verify_carrier.py python src/render_figures.py ``` 第二項需要 `matplotlib` 與 `numpy`；用來生成 PNG/SVG 圖，不參與定理的正確性認定。驗證產生 `results/verification.json`，其中列出精確狀態與反算數值；提供 `SHA256SUMS.txt` 做檔案完整性比對。 本篇修正了上一版 v0.1 示範模型的一項實質差別：**上一版容許一條輸入曲線事先具有折角；本篇則要求三條來源筆畫全部是直線段。** 上一版的 $D_{\mathrm{PR}}$ 作為候選指標可沿用，但「 $1.8D$ 導致成方」並未獲得證明。 ## 11. 結論 三線成方問題不是單純數三條線和四條邊，而是在詢問：**來源幾何、載體允許的映射類別、觀察空間的幾何判準，彼此能否精確相容。** 本篇以可逆的分片仿射同胚給出嚴格正例，並以平滑性障礙指出其所需放鬆的結構。結果也顯示：即使存在精確構造，對應的「有效維度」仍需獨立定義與識別，不能從正方形本身唯一推出。 因此第一篇的核心成果不是宣告 $1.8D$ 被找到，而是建立可以**區分構造成功、度量意義與維度主張**的數學基準。只有在這三者不再混淆時，關係幾何的下一步反向求解才可能產生非任意、可反駁的結果。 --- ## 參考文獻與既有概念邊界 - **[R1]** *Constructing Piecewise Linear Homeomorphisms of Simple Polygons*, *Journal of Algorithms*, 22(1), 142–157 (1997). DOI: [10.1006/jagm.1995.0808](https://doi.org/10.1006/jagm.1995.0808). 分片仿射同胚與多邊形三角剖分屬既有計算幾何技術；本文的精確特例與參數構造為本篇推演，非將一般定理冒稱新發明。 - **[R2]** Peiran Gao et al., *A theory of multineuronal dimensionality, dynamics and measurement*, bioRxiv preprint (2017), [doi:10.1101/214262](https://doi.org/10.1101/214262). 參與比作為有效譜維度的已知用法；本文將其移用至局部幾何形變的研究指標。 - **[R3]** *A Review of Metric and Differential Geometry*, Springer Nature, [chapter link](https://link.springer.com/chapter/10.1007/978-3-031-98832-5_3). 介紹 Hausdorff 維度及雙 Lipschitz 映射保維度的背景。 - **[R4]** Jeff Erickson, *Simple Polygons*, [course notes](https://jeffe.cs.illinois.edu/teaching/comptop/2017/chapters/01-simple-polygons.pdf). 多邊形三角剖分和分片線性同胚的背景；此連結供讀者自行查閱，本文未複製 PDF 原稿。 **作者工作備註：** 本文為研究型構造和方法論研究起點；若作為期刊投稿，還需將命題 3.1 的正則性假設、外部文獻先例以及變形算子的適用域依目標期刊格式完整整理。不以本篇的有限離散測試代替普遍物理驗證。