關係幾何與載體展開（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 維度的三個不同概念

對這個研究至少要區分：

$d_{\mathrm{coord}}$ ：座標維度；平面是 $2$ ，立體是 $3$ ，通常的歐氏向量空間不存在「一個半獨立的基底軸」。
$d_{\mathrm{top}}$ 或 $d_{\mathrm H}$ ：拓撲維度或 Hausdorff 維度；必須先選定對象及其度量。這兩者不能任意與實數參數混用。
$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$	是

由於該函數在 $0<t\le1$ 上嚴格遞減，這些反求的參數在本模型中唯一。它們不是自然界或新維度的測量結果。

5.4 為何不把 $9/7$ 當作新發現的幾何維度？

由於本模型中的 $F_t$ 是從一個二維載體映射到另一個二維區域的雙 Lipschitz 同胚（固定 $t$ ，有限片仿射且分片雅可比非退化），其拓撲維度與 Hausdorff 維度仍為 $2$ [R3]。 $9/7$ 只是經過指定譜計算得到的有效關係指標，不能被誤稱為原始空間的內稟維度。

6. 可識別性反例：同一個正方形並不唯一決定關係譜

即使固定邊界輸入三條直線段與最終觀測正方形，容器的內部變形仍有自由度。考慮對任意 $|\varepsilon|<4$ 定義

H_\varepsilon(x,y)= \bigl(x,\ y+\varepsilon y(x-y)(1-x)\bigr),\qquad (x,y)\in T.

因為附加項在 $y=0$ 、 $y=x$ 與 $x=1$ 上為零，所以 $H_\varepsilon$ 固定整個三角形邊界；且

\frac{\partial (H_\varepsilon)_2}{\partial y} =1+\varepsilon(x-2y)(1-x)>0,

其中嚴格不等式由 $|(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. 分片仿射同胚與多邊形三角剖分屬既有計算幾何技術；本文的精確特例與參數構造為本篇推演，非將一般定理冒稱新發明。
[R2] Peiran Gao et al., A theory of multineuronal dimensionality, dynamics and measurement, bioRxiv preprint (2017), doi:10.1101/214262. 參與比作為有效譜維度的已知用法；本文將其移用至局部幾何形變的研究指標。
[R3] A Review of Metric and Differential Geometry, Springer Nature, chapter link. 介紹 Hausdorff 維度及雙 Lipschitz 映射保維度的背景。
[R4] Jeff Erickson, Simple Polygons, course notes. 多邊形三角剖分和分片線性同胚的背景；此連結供讀者自行查閱，本文未複製 PDF 原稿。

作者工作備註： 本文為研究型構造和方法論研究起點；若作為期刊投稿，還需將命題 3.1 的正則性假設、外部文獻先例以及變形算子的適用域依目標期刊格式完整整理。不以本篇的有限離散測試代替普遍物理驗證。

關係幾何與載體展開（RGC）第一篇：三線成方的精確構造、平滑性障礙與有效關係維度

關係幾何與載體展開（RGC）第一篇：三線成方的精確構造、平滑性障礙與有效關係維度

摘要

1. 問題及嚴格計數規則

1.1 維度的三個不同概念

2. 基準構造：三條直線段映射為四條正方形邊

定義 2.1：來源三角形及筆畫

定義 2.2：分片仿射容器映射

命題 2.3：精確三線成方

註解 2.4：這個結果證明了什麼、沒有證明什麼

3. 禁止條件：為何平滑可逆變換不足以精確增加角點

命題 3.1：局部平滑障礙

4. 可連續掃描的容器變形與精確殘差

5. 關係有效維度：明確定義而不預設答案

定義 5.1：由局部變形誘導的譜參與比

命題 5.2：本構造的解析有效維度

5.3 有效維度與殘差掃描

5.4 為何不把 9/79/79/7 當作新發現的幾何維度？

6. 可識別性反例：同一個正方形並不唯一決定關係譜

7. 三層幾何研究框架

7.1 載體幾何（Carrier Geometry）

7.2 關係幾何（Relational Geometry）

7.3 觀測表示（Observation / Rendering）

8. 執行協議：從可證明構造到可反駁的 1.XD 命題

8.1 接受／拒絕判準

9. 本篇結果的狀態判定

10. 可重現性、檔案與審核

11. 結論

參考文獻與既有概念邊界

5.4 為何不把 $9/7$ 當作新發現的幾何維度？