← Archive
lm-005473 · 2026-11

關係幾何與載體展開 VI:連續等距載體、局部關係維度場與三線成方的曲率代價

下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料,可獨立下載重驗
  • 研究套件:RGC_Three_Line_Square_P06_2026-11-03.zip zip · 907 KB · 21 檔 · 189f313b7e1e
  • 內嵌研究圖:three_strokes_rounded_square.png 🖼️ 內嵌研究圖:three_strokes_rounded_square.png (png · 113 KB)
  • 內嵌研究圖:continuous_carrier_3d.png 🖼️ 內嵌研究圖:continuous_carrier_3d.png (png · 318 KB)
  • 內嵌研究圖:local_relation_dimension_profile.png 🖼️ 內嵌研究圖:local_relation_dimension_profile.png (png · 128 KB)
  • 內嵌研究圖:observer_metric_field.png 🖼️ 內嵌研究圖:observer_metric_field.png (png · 135 KB)
  • 內嵌研究圖:approximation_bending_tradeoff.png 🖼️ 內嵌研究圖:approximation_bending_tradeoff.png (png · 129 KB)

關係幾何與載體展開 VI:連續等距載體、局部關係維度場與三線成方的曲率代價

英文題名: Relational Geometry and Carrier Unfolding VI: A Continuous Isometric Carrier, Local Spectral-Relation Field, and Curvature Cost of the Three-Line Square
研究系列: RGC — Relational Geometry and Carrier Unfolding
版本: P06 / v1.0.0
日期: 2026-11-03
研究構想: Neo.K
形式化、計算與驗證協作: GPT-6
原稿狀態: 可重現的理想幾何構造、模型內數學證明與合成實驗;不是已完成的實體材料驗證、同行審查或普遍的新維度存在定理。
Canonical source: 本 UTF-8 Markdown 文件。全文數學原始碼只使用 $...$ 與 $$...$$ 作為 LaTeX 分隔符。


作者: Neo.K
機構: EveMissLab/一言諾科技有限公司

摘要

通常二維歐氏平面上的三段直線不能直接覆蓋一個非退化正方形的四條邊。然而,如果三條線首先畫在可變形的幾何載體上,再通過指定的觀察映射被讀取,來源的筆畫數量、載體的內稟維度、三維嵌入與最終可觀測邊界便是不同的數學對象。RGC P03 已給出一個具體構造:只有三條原始直線邊界的右等腰三角片,沿內部一條摺線分片剛性地等距折疊,在正交投影後形成精確正方形;P04–P05 進一步研究多觀察者的三維反演。

本文將 P03 的零寬理想摺線正則化為具有有限摺疊寬度的連續載體。在沿摺線與垂直摺線的正交來源坐標中,構造一族至少為 C3C^3 的顯式三維嵌入 Ψε\Psi_\varepsilon,在整個三角片上滿足內稟度量 (DΨε)TDΨε=I2(D\Psi_\varepsilon)^\mathsf{T} D\Psi_\varepsilon=I_2,並構成無自交、零高斯曲率的可展面。當摺疊半寬 ε\varepsilon 趨近零時,該面一致逼近 P03 的理想分片折面,其邊界的正交投影與目標正方形之間的 Hausdorff 距離不超過 2ε2\varepsilon。

對固定正交觀察者定義局部觀測度量 HεH_\varepsilon,以其兩個本徵值的譜參與比作為有效關係維度指標 DPRD_{\mathrm{PR}}。在同一張內稟維度始終為二的載體上,該指標由摺疊區外的精確值 9/7≈1.2857149/7\approx1.285714 連續上升到折疊中心的 5/3+25/15≈1.9648095/3+2\sqrt5/15\approx1.964809,並於過渡帶中經過 1.51.5 、 1.71.7 、 1.81.8 及 1.91.9。其中 DPR=1.8D_{\mathrm{PR}}=1.8 是可重現的局部譜等值條件,不是傳統歐氏空間具有 1.81.8 根獨立座標軸的證明。

本文也得到一項不能忽略的可實現性限制:這個平滑族在任何正摺疊半寬時,都不再呈現精確的方形邊界;而用曲率平方積分定義的幾何彎曲成本則具有與 1/ε1/\varepsilon 成正比的發散主項。因此,「投影幾何的精確性」、「連續局部關係場」及「有限材料的彎曲代價」不可被混成同一項主張。本文結論只針對所定義的模型族成立,不構成任意非歐幾何、分形維度或普遍三線成方定理。

關鍵詞: 載體幾何、關係幾何、可展曲面、連續等距嵌入、三線成方、局部觀測譜、有效維度、折線正則化、曲率能量、幾何可實現性。

1. 三層研究問題與 P03 基準

本系列保持下列互相聯繫但不能互相取代的研究對象:

  1. 載體幾何:三角片的來源度量、形狀、合法彎折與內稟維度。
  2. 關係幾何:切向、法向、局部雅可比、度量張量、主方向與曲率場之間的結構關係。
  3. 觀測表示:指定相機或觀察者之後,哪些關係被投影、遮蔽、保留或改變。

令來源材料為右等腰三角形

T={(x,y)∈R2:0≤y≤x≤1}.T=\{(x,y)\in\mathbb R^2:0\le y\le x\le1\}.

外部三條來源筆畫分別為 ABAB 、 BCBC 、 CACA,其中

A=(0,0),B=(1,0),C=(1,1).A=(0,0),\quad B=(1,0),\quad C=(1,1).

令 M=(1/2,1/2)M=(1/2,1/2) 為第三邊 CACA 的中點; BMBM 是載體內部摺線,不是第四條邊界筆畫。P03 的理想三維折面 Φ0:T→R3\Phi_0:T\to\mathbb R^3 在摺線兩側各自剛性,而指定的正交相機

P(X,Y,Z)=(X,Y)P(X,Y,Z)=(X,Y)

使來源三筆的聯集滿足

PΦ0(∂T)=∂[0,s]2,s2=u0=3−54.P\Phi_0(\partial T)=\partial[0,s]^2,\qquad s^2=u_0=\frac{3-\sqrt5}{4}.

本文的改變是:不再允許摺線處法向跳躍,改成連續彎折;要求材料依然完全等距、整體無自交,並計算連續彎折究竟造成多少投影誤差及曲率成本。研究的內稟維度仍為二,不先把觀測到的 1.X1.X 指標解釋成另一種傳統空間。

普通可展曲面可以局部等距於平面、內稟高斯曲率為零。這與高斯的絕妙定理及標準可展曲面理論相容 [G1, G2];該理論背景不是本系列的新發明。

2. 沿摺線的正交座標與 P03 的精確截面

建立材料來源坐標

t=1−x+y2,u=x+y−12,ℓ=12.t=\frac{1-x+y}{\sqrt2},\qquad u=\frac{x+y-1}{\sqrt2},\qquad \ell=\frac1{\sqrt2}.

其雅可比是歐氏正交變換,故 dt2+du2=dx2+dy2dt^2+du^2=dx^2+dy^2。原三角域成為

T={(t,u):0≤t≤ℓ,∣u∣≤t}.\mathcal T=\{(t,u):0\le t\le\ell,\quad |u|\le t\}.

關鍵頂點在新座標中是

B=(0,0),M=(ℓ,0),A=(ℓ,−ℓ),C=(ℓ,ℓ).B=(0,0),\quad M=(\ell,0),\quad A=(\ell,-\ell),\quad C=(\ell,\ell).

因此第三條來源邊界 CACA 是 t=ℓt=\ell,跨越位於 u=0u=0 的內部點 MM,而 u=0u=0 的線段 BMBM 只是材料摺線。

令 u0=(3−5)/4u_0=(3-\sqrt5)/4,並設

s=u0,a=1−u0,b=12−2u0,c=a−b=12−u0.s=\sqrt{u_0},\qquad a=\sqrt{1-u_0},\qquad b=\sqrt{\frac12-2u_0},\qquad c=a-b=\sqrt{\frac12-u_0}.

這些正根滿足 4u02−6u0+1=04u_0^2-6u_0+1=0 及 bc=u0bc=u_0。在三維空間中取

B^=(s,0,0)\widehat B=(s,0,0)

和單位向量

e=(−2s,2s,2b),\mathbf e=(-\sqrt2s,\sqrt2s,\sqrt2b), v−=(0,2s,−2c),v+=(2s,0,2c).\mathbf v_-=(0,\sqrt2s,-\sqrt2c),\qquad \mathbf v_+=(\sqrt2s,0,\sqrt2c).

由根式關係可直接計算

∣e∣=∣v−∣=∣v+∣=1,e⋅v−=e⋅v+=0.|\mathbf e|=|\mathbf v_-|=|\mathbf v_+|=1,\qquad \mathbf e\cdot\mathbf v_-=\mathbf e\cdot\mathbf v_+=0.

P03 的分片等距折面可以完全重寫為

Φ0(t,u)=B^+te+{uv−,u≤0,uv+,u≥0.\Phi_0(t,u)= \widehat B+t\mathbf e+ \begin{cases} u\mathbf v_-,&u\le0,\\ u\mathbf v_+,&u\ge0. \end{cases}

因此此處的連續化不是重新捏造另一個折片,而是直接以 P03 為零寬極限的幾何基準。兩個截面方向的夾角為

θ=arccos⁡(v−⋅v+)=arccos⁡(1−52)≈2.23703575928741.\theta=\arccos(\mathbf v_-\cdot\mathbf v_+) =\arccos\left(\frac{1-\sqrt5}{2}\right) \approx2.23703575928741.

即約 128.172708∘128.172708^\circ。本文的 θ\theta 表示兩個截面單位切向的總旋轉角;不直接把它當成特定工業折紙標準下的內二面角。

3. 主構造: C3C^3 的連續等距載體

任取折疊半寬 0<ε<ℓ0<\varepsilon<\ell。定義五次平滑函數

h(q)={0,q≤0,6q5−15q4+10q3,0<q<1,1,q≥1.h(q)= \begin{cases} 0,&q\le0,\\ 6q^5-15q^4+10q^3,&0<q<1,\\ 1,&q\ge1. \end{cases}

函數 hh 在整個實數上為 C2C^2,具有 h(0)=0h(0)=0 、 h(1)=1h(1)=1,且一階、二階導數在兩個拼接端點都消失。令

αε(u)=θh(u+ε2ε).\alpha_\varepsilon(u)= \theta h\left(\frac{u+\varepsilon}{2\varepsilon}\right).

因 v−\mathbf v_- 、 v+\mathbf v_+ 都垂直於 e\mathbf e,可取同一垂直平面中的另一個單位向量

w=v+−(cos⁡θ)v−sin⁡θ.\mathbf w= \frac{\mathbf v_+-(\cos\theta)\mathbf v_-}{\sin\theta}.

故 v−,w\mathbf v_-,\mathbf w 彼此正交、長度均為一。定義連續截面切向場

vε(u)=cos⁡αε(u) v−+sin⁡αε(u) w.\mathbf v_\varepsilon(u)= \cos\alpha_\varepsilon(u)\,\mathbf v_- +\sin\alpha_\varepsilon(u)\,\mathbf w.

核心的三維位置映射為

Ψε(t,u)=B^+te+∫0uvε(r) dr.\Psi_\varepsilon(t,u)= \widehat B+t\mathbf e+ \int_0^u\mathbf v_\varepsilon(r)\,dr.

其積分是普通的一維向量積分。當 u≤−εu\le-\varepsilon,截面切向完全等於 v−\mathbf v_- ;當 u≥εu\ge\varepsilon,完全等於 v+\mathbf v_+ ;只有過渡帶 ∣u∣<ε|u|<\varepsilon 內發生連續旋轉。

圖一:三條來源直線、P03 精確正方形與 P06 連續過渡的投影

圖二:保持來源度量的三維連續可展載體

定理 3.1(連續嵌入、等距性、可展性及不自交)

對每個 0<ε<ℓ0<\varepsilon<\ell,上述 Ψε\Psi_\varepsilon 是至少 C3C^3 的正則嵌入。其第一基本形式恰為來源的平面度量 I2I_2,高斯曲率為零;映射整體單射,因此不存在三維自交。

證明。 直接微分可得

∂tΨε=e,∂uΨε=vε(u).\partial_t\Psi_\varepsilon=\mathbf e,\qquad \partial_u\Psi_\varepsilon=\mathbf v_\varepsilon(u).

由正交基底的定義,對所有 uu 都有

∣vε(u)∣=1,e⋅vε(u)=0,∣e∣=1.|\mathbf v_\varepsilon(u)|=1,\qquad \mathbf e\cdot\mathbf v_\varepsilon(u)=0,\qquad |\mathbf e|=1.

所以

(DΨε)TDΨε=I2.(D\Psi_\varepsilon)^\mathsf T D\Psi_\varepsilon=I_2.

來源曲線的長度、局部夾角及面積保持不變。又

∂ttΨε=0,∂tuΨε=0,∂uuΨε=vε′(u).\partial_{tt}\Psi_\varepsilon=0,\quad \partial_{tu}\Psi_\varepsilon=0,\quad \partial_{uu}\Psi_\varepsilon=\mathbf v_\varepsilon'(u).

此面具有一個沿 e\mathbf e 的直線生成方向,第二基本形式在 tttt 、 tutu 分量上為零,兩個主曲率可記為 00 與帶符號的 αε′(u)\alpha_\varepsilon'(u) ;其乘積(高斯曲率)為零。

為證無自交,取截面角平分方向

d=v−+v+∣v−+v+∣.\mathbf d=\frac{\mathbf v_-+\mathbf v_+} {|\mathbf v_-+\mathbf v_+|}.

由 0<θ<π0<\theta<\pi 及 0≤αε(u)≤θ0\le\alpha_\varepsilon(u)\le\theta,

d⋅vε(u)=cos⁡(αε(u)−θ/2)≥cos⁡(θ/2)>0.\mathbf d\cdot\mathbf v_\varepsilon(u) =\cos(\alpha_\varepsilon(u)-\theta/2) \ge\cos(\theta/2)>0.

所以截面曲線 ∫0uvε(r) dr\int_0^u\mathbf v_\varepsilon(r)\,dr 沿 d\mathbf d 嚴格單調,不同的 uu 無法具有相同截面位置;沿 e\mathbf e 投影又可唯一恢復 tt。故 Ψε\Psi_\varepsilon 單射。緊緻三角域上的連續單射結合處處非退化微分,即得到具有邊界的正則嵌入。證畢。

適用範圍。 等距指材料曲面內的路徑長保持,不代表投影長度或任意兩點的三維直線弦長不變。材料厚度、實際彈性模量、有限應變與接觸力學均未建模。五次函數的拼接只保證 C2C^2,因積分增加一階,載體至少 C3C^3 ;本文不把它誤稱為 C∞C^\infty。

4. 第一個觀測定理:精確方形的極限與有限寬度障礙

定理 4.1(幾何均勻逼近及 Hausdorff 距離上界)

對每個 (t,u)∈T(t,u)\in\mathcal T,有全域的逐點上界

∣Ψε(t,u)−Φ0(t,u)∣≤2ε.|\Psi_\varepsilon(t,u)-\Phi_0(t,u)|\le2\varepsilon.

所以三條來源筆畫經指定觀察者映射後,其集合與 P03 理想正方形邊界之間滿足

dH(PΨε(∂T), ∂[0,s]2)≤2ε.d_H\left(P\Psi_\varepsilon(\partial T),\, \partial[0,s]^2\right)\le2\varepsilon.

證明。 兩個映射的 tet\mathbf e 部分相同。對於 u>0u>0,差值是從 00 積分到 min⁡(u,ε)\min(u,\varepsilon) 的兩個單位切向向量之差; u<0u<0 的推理完全相同。任意兩個單位向量的距離不大於 22,且積分有效區間長度最多為 ε\varepsilon,故位置差至多 2ε2\varepsilon。正交投影是 11 -Lipschitz,因而觀察距離不增加。P03 具有 PΦ0(∂T)=∂[0,s]2P\Phi_0(\partial T)=\partial[0,s]^2,且兩條邊界以相同來源參數逐點對應,所以兩個邊界集合的雙向 Hausdorff 距離也不超過 2ε2\varepsilon。證畢。

這是可供驗證的解析上界,不是聲稱數值表格中離散採樣得到的最大逐點誤差,等於真正的連續集合 Hausdorff 距離。

定理 4.2(本平滑族在任意正寬度下不能精確成方)

對本文定義的固定 XYXY 正交觀察者和任意 ε>0\varepsilon>0,

PΨε(∂T)≠∂[0,s]2.P\Psi_\varepsilon(\partial T) \ne\partial[0,s]^2.

證明。 來源第三邊 CACA 是 t=ℓt=\ell,其中 M=(ℓ,0)M=(\ell,0) 是來源邊界上的相對內點。投影曲線的切向為

dduPΨε(ℓ,u)=Pvε(u).\frac{d}{du}P\Psi_\varepsilon(\ell,u) =P\mathbf v_\varepsilon(u).

由平滑函數的對稱性, αε(0)=θ/2\alpha_\varepsilon(0)=\theta/2,所以

vε(0)=v−+v+∣v−+v+∣=(12,12,0).\mathbf v_\varepsilon(0) =\frac{\mathbf v_-+\mathbf v_+} {|\mathbf v_-+\mathbf v_+|} =\left(\frac1{\sqrt2},\frac1{\sqrt2},0\right).

於是投影切向在 MM 精確為

Pvε(0)=(12,12).P\mathbf v_\varepsilon(0) =\left(\frac1{\sqrt2},\frac1{\sqrt2}\right).

這是一個非零的斜向切線,既不水平也不垂直。假設整條投影邊界恰為軸對齊正方形邊界,那麼該局部非退化 C1C^1 曲線必須沿著正方形的水平或垂直邊移動;即使 MM 被投到正方形頂點,穿過轉角的正則 C1C^1 曲線亦無法有非零、唯一而且斜向的切線,產生矛盾。證畢。

此結果並不是對所有平滑映射或任意曲面幾何的普遍不可能性定理,而是此顯式連續等距折疊族、固定觀察者及固定目標方形下的障礙。

4.3 投影沒有偷偷引入重疊

還可給出額外幾何保證:因 ex+ey=0e_x+e_y=0,三維載體投影後的座標和 X+YX+Y 只取決於 uu。由本族的法向方向與單調截面旋轉,

d(X+Y)du=vε,x(u)+vε,y(u)>0.\frac{d(X+Y)}{du}=v_{\varepsilon,x}(u)+v_{\varepsilon,y}(u)>0.

所以觀測到的 X+YX+Y 可唯一決定 uu ;固定 uu 後, X−YX-Y 唯一決定 tt。因此本模型的 XYXY 投影亦不會因為局部重疊而假造第四個角點。這使上一條定理的邊界判讀更明確。

5. 第二個觀測定理:局部關係維度是一個場

對指定正交觀察者,定義局部的觀測關係張量

Hε=(D(PΨε))TD(PΨε).H_\varepsilon= (D(P\Psi_\varepsilon))^\mathsf T D(P\Psi_\varepsilon).

因三維的兩個來源切向 e,vε\mathbf e,\mathbf v_\varepsilon 正交且都為單位向量,若令

zε(u)=(ezvε,z(u)),\mathbf z_\varepsilon(u)= \begin{pmatrix}e_z\\v_{\varepsilon,z}(u)\end{pmatrix},

則有恆等式

Hε=I2−zεzεT.H_\varepsilon=I_2-\mathbf z_\varepsilon \mathbf z_\varepsilon^\mathsf T.

令 nε=e×vε\mathbf n_\varepsilon=\mathbf e\times\mathbf v_\varepsilon 為單位法向,則 HεH_\varepsilon 的兩個本徵值是

λ1=1,λ2=1−ez2−vε,z2=nε,z2.\lambda_1=1,\qquad \lambda_2=1-e_z^2-v_{\varepsilon,z}^2 =n_{\varepsilon,z}^2.

這個關係是本篇核心:來源載體的內稟度量處處不變,被觀察者讀取的第二個局部主關係權重,卻會隨法向旋轉而改變。

5.1 譜參與比與傳統維度的區別

沿用 P02 的定義:

DPR(t,u)=(tr⁡Hε)2tr⁡(Hε2).D_{\mathrm{PR}}(t,u)= \frac{(\operatorname{tr}H_\varepsilon)^2} {\operatorname{tr}(H_\varepsilon^2)}.

若記 qε(u)=nε,z2q_\varepsilon(u)=n_{\varepsilon,z}^2,則

DPR(u)=(1+qε(u))21+qε(u)2.D_{\mathrm{PR}}(u)= \frac{(1+q_\varepsilon(u))^2} {1+q_\varepsilon(u)^2}.

這裡的 DPRD_{\mathrm{PR}} 是特定非負譜分布的有效參與自由度指標;它並非來源材料的拓撲維度、傳統歐氏坐標軸數、Hausdorff 維度或分形維度。不同數學與統計文獻也可能使用其他「effective rank」定義,因此本文始終明列其計算公式,不直接挪用名稱。

定理 5.1(連續關係場的精確值域)

在摺疊過渡帶外 ∣u∣≥ε|u|\ge\varepsilon,

qε(u)=4u02,DPR(u)=97≈1.285714285714.q_\varepsilon(u)=4u_0^2,\qquad D_{\mathrm{PR}}(u)=\frac97\approx1.285714285714.

在折疊中心 u=0u=0,

qε(0)=4u0=3−5,q_\varepsilon(0)=4u_0=3-\sqrt5, DPR(0)=53+2515≈1.964809063667.D_{\mathrm{PR}}(0)= \frac53+\frac{2\sqrt5}{15} \approx1.964809063667.

本族的 qεq_\varepsilon 對 u=0u=0 對稱,並從兩側向中心嚴格上升;因此每個介於兩個端點值之間的有效譜值都在過渡帶內出現兩次。

證明。 在兩側平面區域,

(e×v±)z=−2u0,(\mathbf e\times\mathbf v_\pm)_z=-2u_0,

故法向平方耦合量是 4u024u_0^2。中心的截面切向為 (1/2,1/2,0)(1/\sqrt2,1/\sqrt2,0),直接計算得到法向平方耦合量 4u04u_0。代入譜參與比並利用 4u02−6u0+1=04u_0^2-6u_0+1=0,即得上述兩項精確根式。再注意

ddq(1+q)21+q2=2(1+q)(1−q)(1+q2)2>0\frac{d}{dq}\frac{(1+q)^2}{1+q^2} =\frac{2(1+q)(1-q)}{(1+q^2)^2}>0

在 0<q<10<q<1 之間成立;最短弧平滑角在兩側至中心的對稱性又保證 qεq_\varepsilon 連續單調。證畢。

圖三:連續局部有效關係譜及 1.5、1.7、1.8、1.9 的等值位置

圖四:觀測度量的兩個本徵值與載體截面切向

5.2 1.8D 在這個模型裡究竟代表什麼?

對 qε∈[0,1]q_\varepsilon\in[0,1],條件

DPR=95=1.8D_{\mathrm{PR}}=\frac95=1.8

精確等價於

qε=12.q_\varepsilon=\frac12.

在本篇選用的五次平滑函數下,兩個來源法向位置的數值解為

u/ε≈±0.320956368466.u/\varepsilon\approx\pm0.320956368466.

同理:

有效譜值 DPRD_{\mathrm{PR}} 兩個對稱位置 u/εu/\varepsilon
1.51.5 ±0.545131\pm0.545131
1.71.7 ±0.398050\pm0.398050
1.81.8 ±0.320956\pm0.320956
1.91.9 ±0.215172\pm0.215172

這些結果都是指定連續幾何關係場的觀測等值條件,不是傳統空間維度的臨界值,也不代表「只有恰好 1.8D 才能三線成方」。修改過渡函數會改變等值位置;外側及中心的譜值則由此例的端點切向與中心對稱性確定。

5.3 局部峰值與全域平均值的差別

令摺疊帶

Bε={(t,u)∈T:∣u∣<ε}.\mathcal B_\varepsilon= \{(t,u)\in\mathcal T:|u|<\varepsilon\}.

三角片的源面積為 ∣T∣=ℓ2=1/2|\mathcal T|=\ell^2=1/2,而帶內面積為

∣Bε∣=2ℓε−ε2.|\mathcal B_\varepsilon|=2\ell\varepsilon-\varepsilon^2.

帶外有效譜值恰為 9/79/7。因此即使對每個 ε>0\varepsilon>0,中心的局部峰值一直保持約 1.9648091.964809,面積平均值仍滿足

∣1∣T∣∫TDPR dA−97∣≤2ℓε−ε2ℓ2(53+2515−97)⟶0.\left| \frac1{|\mathcal T|} \int_{\mathcal T}D_{\mathrm{PR}}\,dA-\frac97 \right| \le \frac{2\ell\varepsilon-\varepsilon^2}{\ell^2} \left(\frac53+\frac{2\sqrt5}{15}-\frac97\right) \longrightarrow0.

推論: 當摺疊越來越局部化,單一全域平均譜值會逐步抹去重要的局部關係幾何訊息。若研究目標是辨識載體折疊,應保留局部關係場、主方向及區域連接,而不應只保存一個平均的非整數指標。

6. 第三個定理:曲率成本與精確成方的取捨

在本文的可展面上,沿 tt 的主曲率為零;垂直於摺線的非零主曲率大小為

κε(u)=∣αε′(u)∣=θ2ε∣h′(u+ε2ε)∣.\kappa_\varepsilon(u)= |\alpha_\varepsilon'(u)| =\frac{\theta}{2\varepsilon} \left|h'\left(\frac{u+\varepsilon}{2\varepsilon}\right)\right|.

其中 h′(q)=30q2(1−q)2h'(q)=30q^2(1-q)^2 對 0<q<10<q<1 成立,在兩側區域為零。定義未乘上任何材料係數的幾何彎曲泛函

Eε=∫T∣IIε∣2 dt du=∫Tκε(u)2 dt du.\mathcal E_\varepsilon= \int_{\mathcal T}|\mathrm{II}_\varepsilon|^2\,dt\,du =\int_{\mathcal T}\kappa_\varepsilon(u)^2\,dt\,du.

這是純幾何曲率平方積分,不是已校準的焦耳能量。如果要轉化成實際薄片的彎曲能量,需要額外指定板材厚度、彎曲剛度、邊界及本構條件 [M1, M2]。

定理 6.1(幾何彎曲泛函的閉式解)

對每個 0<ε<ℓ0<\varepsilon<\ell,有精確等式

Eε=θ2(5ℓ7ε−45256).\mathcal E_\varepsilon= \theta^2\left(\frac{5\ell}{7\varepsilon}-\frac{45}{256}\right).

因此

Eε∼5ℓθ27ε當ε→0+,\mathcal E_\varepsilon \sim\frac{5\ell\theta^2}{7\varepsilon} \quad\text{當}\quad\varepsilon\to0^+,

並且 Eε\mathcal E_\varepsilon 在零寬極限發散。

證明。 在來源三角域中固定 uu,可以使用的 tt 長度為 ℓ−∣u∣\ell-|u|。因此

Eε=∫−εε(ℓ−∣u∣)θ24ε2[h′(u+ε2ε)]2du.\mathcal E_\varepsilon= \int_{-\varepsilon}^{\varepsilon} (\ell-|u|)\frac{\theta^2}{4\varepsilon^2} \left[ h'\left(\frac{u+\varepsilon}{2\varepsilon}\right) \right]^2du.

令 q=(u+ε)/(2ε)q=(u+\varepsilon)/(2\varepsilon)。由五次多項式的導數可直接積分得到

∫01[h′(q)]2dq=107,\int_0^1[h'(q)]^2dq=\frac{10}{7}, ∫01∣2q−1∣[h′(q)]2dq=45128.\int_0^1|2q-1|[h'(q)]^2dq=\frac{45}{128}.

將兩個積分代回,即得到

Eε=5ℓθ27ε−45θ2256.\mathcal E_\varepsilon =\frac{5\ell\theta^2}{7\varepsilon} -\frac{45\theta^2}{256}.

證畢。

這條定理和定理 4.1 一起指出:在本文這一族不伸長的有限寬彎折載體中,投影越接近精確方形,曲率平方代價越大。不能由此聲稱「所有可變形材料都不可能形成精確正方形」,因為改用其他材料變形機制、局部應變、非正交觀測或不同拓撲模型時,定理前提已改變。

圖五:邊界逼近誤差與彎曲曲率代價

7. 可重現數值實驗

7.1 運算契約與交叉驗證

程式以 P03 的代數根式為基礎,不以最佳化程序去硬湊 DPR=1.8D_{\mathrm{PR}}=1.8。所有測量都在以下已聲明的坐標及數值模型下進行:

  • 使用來源歐氏正交坐標 (t,u)(t,u),不改變三角材料的內稟度量。
  • 利用五次平滑函數直接計算 αε\alpha_\varepsilon 與單位切向 vε\mathbf v_\varepsilon。
  • 用 Gauss–Legendre 積分計算位置向量,另以 SciPy 自適應積分獨立比對。
  • 用 SymPy 驗證根式、向量正交性、雅可比度量、譜值與曲率積分。
  • 以同一個來源邊界參數對照 P03 理想投影,回報離散的最大逐點偏差;不把它誤叫成精確 Hausdorff 距離。
  • 對局部關係譜等值位置進行一維求根,並測試左右兩個解的對稱性。

7.2 有限寬度掃描

對每個半寬,採用 48034803 個來源邊界樣本得到以下結果:

半寬 ε\varepsilon 觀測邊界最大抽樣逐點偏差 嚴格 Hausdorff 上界 幾何彎曲泛函 Eε\mathcal E_\varepsilon
0.120 0.0316955 0.240 20.1834
0.060 0.0158478 0.120 41.2465
0.030 0.00792388 0.060 83.3726
0.015 0.00396194 0.030 167.6249

半寬每減半,這個構造的觀測邊界逐點偏差同步減半,而曲率平方泛函大致加倍。需要注意,表中曲率泛函包含精確的常數修正項,因此並非對所有半寬都嚴格等於一個純粹的反比律。

已完成的本地檢查包括:

  • 73 項數值、幾何與積分檢查通過,包括來源坐標正反轉、P03 基準重現、平滑等距張量、積分交叉檢查、譜值等值位置與收斂趨勢。
  • 38 項獨立 SymPy 符號檢查通過,涵蓋根式恆等式、度量、精確本徵關係與曲率積分。
  • 四組半寬下的來源度量抽樣殘差不高於約 7×10−167\times10^{-16} ;閉式曲率泛函與獨立自適應積分的相對差異低於 4×10−164\times10^{-16}。

上述雙精度結果只是特定數值實作中的誤差報告;不表示現實材料可達同樣精度,也不取代紙本數學證明。

7.3 研究驗證與限制的區別

命題 狀態與性質
來源三條線的連續三維折疊存在性 模型內解析構造成立
全片保長及零高斯曲率 解析證明並有數值抽樣
三維不自交 截面嚴格單調性的解析證明
方形邊界逼近上界 全域解析上界
任意正半寬不精確成方 本模型族內解析證明
局部譜值穿越 1.7、1.8 解析值域與數值定位
彎曲泛函的 1/ε1/\varepsilon 成本 精確積分與獨立數值驗證
真實材料疲勞、厚度與彈性試驗 尚未執行
真實攝影機之未知姿態場重建 P06 尚未執行
所有幾何容器的普遍維度門檻 未證明,也不是本篇主張

8. 這一篇在 RGC 系列中的位置

P01 提出允許分片仿射載體映射時,三條原始直線段可以精確生成四邊正方形。P02 證明「只知道完整譜」或「只知道邊界」都不足以唯一辨識內部幾何關係。P03 將此現象提升到局部等距、兩片剛性薄片的三維實現。P04、P05 則建立多觀察者與未知相機姿態下的反向幾何重建。

P06 本輪新增的是:

  1. 不再只允許兩片剛體與零寬鉸鏈,而是建立連續切平面的載體幾何。
  2. 把平面片段上的離散譜值,升級為可測量、可計算的局部關係維度場。
  3. 把理想折線的尖銳角點,與有限彎曲寬度造成的可量化投影殘差連接起來。
  4. 加入曲率平方積分成本,明確區分理想數學存在性與有材料限制的工程可能性。
  5. 證明即使局部關係場包含近 1.9651.965 的峰值,全域平均也可能在摺線局部化時丟失這些訊息。

因此,P06 的核心不是「找到了一個真實存在的 1.81.8 維空間」,而是證明一個內稟二維載體,在不同位置和觀察關係下,確實可以呈現連續變化、可驗證的非整數譜指標。

這也提出新的可計算問題,但不在本篇預先宣稱答案:當載體不再是廣義圓柱,而具有任意二維關係張量場,何種兼容條件才能保證存在對應三維嵌入?當觀察者與曲面法向都未知時,又需要多少資訊才能反推出空間關係場?這些問題將需要新的模型類別和獨立證明。

9. 結論

本文給出一族 C3C^3 、全域嵌入、完全等距且零高斯曲率的連續載體,作為 P03 理想單摺線三線成方模型的有限寬度正則化。研究得到五項明確可檢驗結果:

  1. 三條原始來源邊界線能夠在不伸長材料的情況下被連續彎折。
  2. 折疊半寬為 ε\varepsilon 時,其觀測邊界與精確正方形的 Hausdorff 距離至多 2ε2\varepsilon。
  3. 在本平滑族中,任何正半寬都無法讓該觀測邊界精確等於正方形;精確性屬於零寬極限。
  4. 觀測譜參與比從 9/79/7 連續變到 5/3+25/155/3+2\sqrt5/15,通過 1.51.5 、 1.71.7 、 1.81.8 、 1.91.9 ;來源傳統維度仍恆為二。
  5. 幾何彎曲泛函具有精確的 1/ε1/\varepsilon 發散項,提示實體有限寬折疊不可忽略彎曲代價。

這些結果的地位是顯式模型內的定理與可重現計算,不是對非歐幾何或非整數歐氏坐標維度的一般存在性宣稱。

在這個問題裡,線條不是憑空增加了第四條;增加的是載體能使關係顯現的方式,而對這種顯現,我們現在可以同時測量其誤差與代價。


附錄 A. 執行與原始碼契約

ZIP 研究包包含本篇 UTF-8 正式原稿、4 個 Python 原始檔、5 組 PNG/SVG 圖像、數值與符號驗證 JSON,以及 SHA-256 校驗清單。

RGC_Three_Line_Square_P06_2026-11-03/
├── RGC_P06_Continuous_Carrier_Local_Relational_Field.md
├── README.md
├── requirements.txt
├── src/
│   ├── continuous_carrier.py
│   ├── symbolic_verification.py
│   ├── render_figures.py
│   └── validate_release.py
├── results/
│   ├── numerical_experiments.json
│   ├── symbolic_verification.json
│   └── release_validation.json
├── figures/
│   ├── three_strokes_rounded_square.png / .svg
│   ├── continuous_carrier_3d.png / .svg
│   ├── local_relation_dimension_profile.png / .svg
│   ├── observer_metric_field.png / .svg
│   └── approximation_bending_tradeoff.png / .svg
└── SHA256SUMS.txt

在相容的 Windows、Linux 或 macOS Python 環境,可從解壓根目錄執行:

python -m pip install -r requirements.txt
python src/symbolic_verification.py
python src/continuous_carrier.py
python src/render_figures.py
python src/validate_release.py

最後一個指令在未修改的正式發行包中校驗 SHA-256。若重跑前面指令造成輸出內容變化,則應重新生成校驗清單,不能把舊的雜湊當作新產物的完整性證明。本研究包不需要連接任何外部 API、帳戶、雲端模型或實驗設備即可重算數學部分。

參考文獻

  • [G1] UCLA, Math 120A: Lecture notes, Lecture 24, “Gauss’s Theorema Egregium.” https://www.math.ucla.edu/~sucharit/120A-notes.html 。局部等距與內稟高斯曲率的標準背景。
  • [G2] Developable Surfaces. Minimal Surfaces, Mathematics in Science and Engineering, vol. 1 (1961). https://www.sciencedirect.com/science/article/pii/S0076539208603021 。可展曲面的標準背景。
  • [M1] Lechenault, F., Thiria, B., & Adda-Bedia, M. (2014). “Mechanical Response of a Creased Sheet.” Physical Review Letters 112, 244301. https://doi.org/10.1103/PhysRevLett.112.244301 。折痕與薄片彎曲力學。
  • [M2] Lee, T.-U., You, Z., & Gattas, J. M. (2018). “Elastica surface generation of curved-crease origami.” International Journal of Solids and Structures 136–137, 13–27. https://doi.org/10.1016/j.ijsolstr.2017.11.029 。曲面摺紙與可展彎曲相關研究。
  • [RGC-P03] 關係幾何與載體展開 III:單摺線等距折疊、三線成方的三維實現與觀察關係維度,2026-11-03,本系列之前稿。
  • [RGC-P05] 關係幾何與載體展開 V:未知觀察姿態下的度量升級、摺線辨識與載體約束反演,2026-11-03,本系列之前稿。

授權界線: 本工作包只作本輪研究交付,未自動賦予任何特定開源授權,未宣稱已公開部署、上傳 GitHub 或向期刊提交。