← Archive
lm-001515 · 2026-07

曲率譜系論_尺度方向投影與有限影之間的曲率變換_v0.1

下載 MD 檔 ⬇

曲率譜系論:尺度、方向、投影與有限影之間的曲率變換

Curvature Spectrum and Lineage Theory: Transformations Across Scale, Direction, Projection, and Finite Shadows

文件編號:EML-CST-2026-v0.1
作者:Neo.K(許筌崴)
機構:EveMissLab(一言諾科技有限公司),台灣
理論結晶化協作:Aletheia
日期:2026 年 7 月 13 日
理論地位:無限曲率形式論的比較與轉換層;連接差度曲率、精細化、有限投影、任務觀察與高階曲率
命名原則:採結構性中性命名。作者姓名僅用於著作歸屬,不用作定義、定理、分類、座標或算法名稱。

上游文件

  1. 《精細化算子論:區分度、解析度、維度與可回溯提升》EML-ROT-2026-v0.1
  2. 《差度曲率論:閉路傳輸、非閉合缺陷與廣義 Holonomy》EML-DBCT-2026-v0.1
  3. 《無限曲率形式論:精細化無界、投影不可封閉與高階遞歸》EML-FIC-2026-v0.1
  4. 《投影計算論:無限維索引的有限表示、收斂與失真證書》
  5. 《索引幾何學:同一性拓樸微積分中的座標、投影與可計算性》

下游預定文件

  1. 《索引信息論:投影纖維、可辨識性與信息糊》
  2. 《高階閉路幾何:遞歸傳輸、曲率塔與有限階封閉》
  3. 《曲率計算協議:閉路採樣、譜估計與假發散壓力測試》

摘要

同一個幾何或計算系統可以同時具有多種曲率描述:在不同基點、尺度、方向、閉路同倫類、測試狀態、查詢、規範、投影層、精細層與遞歸階數下,所得到的 holonomy、閉路差與尺度化曲率可能完全不同。若把這些值放進同一張表卻不標示其索引,就會產生三種典型錯誤:

  1. 把不同尺度下的量直接比較;
  2. 把不同方向或查詢得到的純量誤認為完整曲率;
  3. 在「趨近無限」的過程中,同時更換尺度、方向、投影與模型,卻把結果寫成單一極限。

本文建立曲率譜系論。所謂「譜系」不是假設所有曲率都有共同祖先,而是把每一個曲率描述視為帶完整型別的節點,把尺度變換、方向選取、規範變換、狀態純量化、查詢推前、投影、粗化、精細化與高階提升視為節點間的有型箭頭。所有曲率描述共同形成一個轉換圖:

Lcurv=(Ncurv,Acurv).\mathscr L_{\mathrm{curv}} = \left( \mathfrak N_{\mathrm{curv}}, \mathfrak A_{\mathrm{curv}} \right).

本文把完整曲率描述定義為:

K[a]=(Ha,Da,Ka,Typea,Certa),\boxed{ \mathbf K[a] = \left( H_a, D_a, K_a, \mathsf{Type}_a, \mathsf{Cert}_a \right), }

其中索引標籤:

a=(x,s,ξ,[γ],v,q,g,λ,r,t,m)a = (x,s,\xi,[\gamma],v,q,g,\lambda,r,t,m)

分別記錄基點、尺度、方向、閉路類、測試狀態、查詢、規範、投影/精細層、高階階數、時間與模型版本。$$H_a$$ 是 holonomy 或閉路傳輸,$$D_a$$ 是有型閉路差,$$K_a$$ 是尺度化曲率,$$\mathsf{Type}_a$$ 說明其為算子型、狀態型、查詢型、截面型、離散型或高階型,$$\mathsf{Cert}_a$$ 則保存可逆性、規範、尺度與投影證書。

本文區分六種常被共同稱作「曲率譜」的對象:

  1. 算子譜;
  2. 方向曲率剖面;
  3. 尺度曲率譜;
  4. 投影/精細化曲率序列;
  5. 查詢可見曲率族;
  6. 高階曲率塔。

其中只有第一種是通常泛函分析意義下的 spectrum。其餘應稱為 profile、family、envelope 或 lineage;本文保留中文「譜系」作為總稱,但在形式符號上嚴格分型。

本文建立九類曲率變換:規範共軛、尺度重標、方向選取、狀態作用、查詢推前、閉路重參數、投影/重建、粗化/精細化與高階提升。對任意兩條理應等價的轉換路徑,定義交換缺陷:

D=dK(Φ2Φ1(K),Ψ2Ψ1(K)).\mathfrak D_{\square} = d_{\mathcal K} \left( \Phi_2\Phi_1(\mathbf K), \Psi_2\Psi_1(\mathbf K) \right).

若缺陷為零,轉換圖交換;若非零,需判斷它來自真實多尺度曲率、非交換變換、投影損失、查詢盲區或模型版本差異。這使「不同曲率描述不一致」成為可定位的結構問題,而不是一句籠統矛盾。

本文進一步定義五種曲率等價:精確等價、規範等價、雙邊有界等價、任務等價與漸近等價。雙邊有界等價保持有界/無界型別;單向收縮投影則不保持,因而可能產生假平坦。本文也提出多軸曲率場:

K:AcurvK~,\mathscr K: \mathcal A_{\mathrm{curv}} \rightarrow \widetilde{\mathcal K},

以及多軸包絡:

κ(B)=supaBN(K(a)).\kappa(B) = \sup_{a\in B} \mathcal N(\mathscr K(a)).

無限曲率不再只寫成單變數極限,而要標示沿哪條軸路徑:

η:DAcurv.\eta: D\rightarrow\mathcal A_{\mathrm{curv}}.

由此區分:

  • 路徑發散;
  • 軸向一致發散;
  • 共尾發散;
  • 多軸聯合發散;
  • 路徑依賴發散。

本文的中心裁決是:

曲率不是一個孤立數字, 而是一個帶尺度、方向、狀態、查詢、投影與階數索引的轉換族; 任何有界、無界或等價主張, 都必須說明它在哪些轉換下保持。\boxed{ \text{曲率不是一個孤立數字, 而是一個帶尺度、方向、狀態、查詢、投影與階數索引的轉換族; 任何有界、無界或等價主張, 都必須說明它在哪些轉換下保持。} }

關鍵詞:曲率譜系、曲率變換、尺度曲率、方向曲率、投影曲率、有限影、查詢曲率、規範不變性、交換缺陷、多軸發散、無限曲率


第零章 本文的工作邊界

0.1 本文不重新定義曲率

差度曲率論已把曲率資料建立在:

閉路傳輸HγDγKγ.\text{閉路} \rightarrow \text{傳輸} \rightarrow H_\gamma \rightarrow D_\gamma \rightarrow K_\gamma.

本文不改寫此定義,而處理以下問題:

  1. 不同曲率描述如何比較?
  2. 哪些轉換只是換表示?
  3. 哪些轉換會真實丟失結構?
  4. 哪些純量只能代表完整曲率的一個影?
  5. 無限曲率沿不同索引軸時,量詞如何書寫?

0.2 「譜」的用語限制

本文使用「曲率譜系」作總稱,但不把所有曲率族都叫作 operator spectrum。

只有當:

R:D(R)HHR:\mathcal D(R)\subseteq\mathcal H\to\mathcal H

為線性算子時,才可討論標準算子譜:

spec(R).\operatorname{spec}(R).

尺度函數:

sK(s)s\mapsto K(s)

應稱尺度剖面;方向族:

ξK(ξ)\xi\mapsto K(\xi)

應稱方向剖面;精細層:

λKλ\lambda\mapsto K_\lambda

應稱精細化曲率族。

0.3 形式層與本體層

曲率譜系是描述結構。不同譜系節點可能對應:

  • 同一個本體曲率的不同表示;
  • 同一 holonomy 對不同狀態的作用;
  • 不同有限投影;
  • 不同模型版本;
  • 真正不同的幾何系統。

本文不預設所有節點都指向同一個本體。是否同一,必須由身份、模型與傳輸證書決定。


第一章 曲率描述的完整索引

1.1 曲率索引空間

定義曲率索引空間:

Acurv=X×S×Ξ×H×V×Q×G×Λ×N0×T×M.\boxed{ \mathcal A_{\mathrm{curv}} = X \times S \times \Xi \times \mathfrak H \times \mathcal V \times \mathcal Q \times \mathcal G \times \Lambda \times \mathbb N_0 \times T \times \mathcal M. }

各分量為:

  • XX:基點;
  • SS:尺度或閉路大小;
  • Ξ\Xi:方向、二平面、邊方向或閉路形狀;
  • H\mathfrak H:閉路同倫/同痕/組合類;
  • V\mathcal V:測試狀態;
  • Q\mathcal Q:查詢/觀察算子;
  • G\mathcal G:規範或座標選擇;
  • Λ\Lambda:投影/精細化層;
  • N0\mathbb N_0:高階曲率階數;
  • TT:時間或外部參數;
  • M\mathcal M:模型版本。

一個索引:

a=(x,s,ξ,[γ],v,q,g,λ,r,t,m)a = (x,s,\xi,[\gamma],v,q,g,\lambda,r,t,m)

不是要求每篇研究都同時使用所有分量,而是防止未標示的分量在比較中悄悄改變。

1.2 完整曲率描述

定義 1.1(完整曲率描述)

K[a]=(Ha,Da,Ka,Typea,Certa).\boxed{ \mathbf K[a] = \left( H_a, D_a, K_a, \mathsf{Type}_a, \mathsf{Cert}_a \right). }

其中:

  • HaH_a:holonomy/閉路傳輸算子;
  • DaD_a:閉路差,可能為向量、算子、集合或標量;
  • KaK_a:尺度化或純量化曲率;
  • Typea\mathsf{Type}_a:型別標籤;
  • Certa\mathsf{Cert}_a:閉合、可逆、規範、尺度、投影與數值證書。

1.3 曲率場

定義:

K:AcurvK~\boxed{ \mathscr K: \mathcal A_{\mathrm{curv}} \rightarrow \widetilde{\mathcal K} }

為曲率場或曲率譜系映射。

K~\widetilde{\mathcal K} 可以是:

  • Lie 群或其共軛類空間;
  • Lie 代數;
  • 算子空間;
  • 非負實數;
  • 向量值差度空間;
  • 譜資料空間;
  • 證書化資料結構。

1.4 型別優先原則

若:

K(a)K1,K(b)K2,\mathscr K(a)\in\mathcal K_1, \qquad \mathscr K(b)\in\mathcal K_2,

且未指定:

J:K2K1J:\mathcal K_2\to\mathcal K_1

或共同嵌入,則:

K(a)<K(b)\mathscr K(a)<\mathscr K(b)

沒有型別意義。


第二章 六種曲率譜系

2.1 Holonomy 共軛譜系

對閉路族:

Γx,\Gamma_x,

收集 holonomy 共軛類:

Hx={[Hγ]conj:γΓx}.\mathscr H_x = \left\{ [H_\gamma]_{\mathrm{conj}}: \gamma\in\Gamma_x \right\}.

這保留規範不變的群結構,但通常不是數值譜。

2.2 算子譜

若曲率算子:

Rx(u,v)R_x(u,v)

作用於線性空間,可研究:

spec(Rx(u,v)).\operatorname{spec} \left( R_x(u,v) \right).

對自伴算子,可分析:

  • 點譜;
  • 連續譜;
  • 譜半徑;
  • 上下界;
  • 無界算子定義域。

算子譜與方向曲率純量不同。

2.3 方向曲率剖面

固定基點與尺度,令方向或二平面:

ξΞx,\xi\in\Xi_x,

定義:

κxdir(ξ)=N(K(x,s,ξ,)).\kappa_x^{\mathrm{dir}}(\xi) = \mathcal N \left( \mathscr K(x,s,\xi,\ldots) \right).

在黎曼幾何中,截面曲率是二平面方向剖面的標準實例。

2.4 尺度曲率剖面

固定方向、基點與閉路形狀,令尺度:

sS,s\in S,

定義:

κscale(s)=N(K(x,s,ξ,)).\kappa^{\mathrm{scale}}(s) = \mathcal N \left( \mathscr K(x,s,\xi,\ldots) \right).

它用來區分:

  • 局部曲率極限;
  • 多尺度結構;
  • 交叉尺度;
  • 尺度爆破;
  • 粗粒化平滑。

2.5 投影/精細化曲率族

令:

λΛ,\lambda\in\Lambda,

定義:

κproj(λ)=N(K(,λ,)).\kappa^{\mathrm{proj}}(\lambda) = \mathcal N \left( \mathscr K(\ldots,\lambda,\ldots) \right).

這是無限曲率形式論中共尾無界與不可封閉的主要載體。

2.6 查詢可見曲率族

對查詢:

qQ,q\in\mathcal Q,

定義:

κquery(q)=dY(q(v),q(Hγv))σ(γ).\kappa^{\mathrm{query}}(q) = \frac{ d_Y \left( q(v),q(H_\gamma v) \right) }{ \sigma(\gamma) }.

它只量測某個觀察協議看得到的曲率作用。

2.7 高階曲率塔

K[0],K[1],K[2],\mathscr K^{[0]}, \mathscr K^{[1]}, \mathscr K^{[2]}, \ldots

表示原始狀態、聯絡/曲率描述、投影規則等逐階成為新纖維狀態後的閉路非閉合。

2.8 六型裁決

算子譜方向剖面尺度剖面投影族查詢族高階曲率塔.\boxed{ \begin{aligned} \text{算子譜} &\neq \text{方向剖面} \neq \text{尺度剖面}\\ &\neq \text{投影族} \neq \text{查詢族} \neq \text{高階曲率塔}. \end{aligned} }

第三章 曲率譜系圖

3.1 節點

每個節點:

nNcurvn\in\mathfrak N_{\mathrm{curv}}

是一個完整曲率描述:

n=(a,K[a]).n= (a,\mathbf K[a]).

3.2 箭頭

每個箭頭:

Φ:nn\Phi:n\to n'

是一個有型變換,並記錄:

  • 作用於哪一個索引軸;
  • 是否可逆;
  • 是否保 holonomy;
  • 是否保曲率大小;
  • 是否有誤差;
  • 是否改變模型;
  • 是否只保留任務等價。

3.3 譜系圖

Lcurv=(Ncurv,Acurv,s,t,,1).\boxed{ \mathscr L_{\mathrm{curv}} = \left( \mathfrak N_{\mathrm{curv}}, \mathfrak A_{\mathrm{curv}}, s,t,\circ,1 \right). }

若箭頭可合成並有恆等箭頭,可形成範疇式結構。本文只使用此語法,不預先宣稱所有曲率節點形成特殊範疇。

3.4 血統與同一性

「譜系」不表示子節點一定比父節點更真。箭頭可能是:

  • 無損變換;
  • 有損投影;
  • 任務觀察;
  • 模型替換;
  • 純量摘要;
  • 精細化顯露。

每個箭頭都要攜帶:

LineageCert(Φ).\mathsf{LineageCert}(\Phi).

第四章 九類基本變換

4.1 規範共軛

對:

gx:FxFx,g_x:\mathcal F_x\to\mathcal F_x,

有:

HγgxHγgx1.H_\gamma \mapsto g_xH_\gamma g_x^{-1}.

若大小泛函共軛不變,曲率純量不變。

4.2 尺度重標

尺度變換:

sss\mapsto s'

可能同時改變:

  • 閉路面積;
  • 閉路形狀;
  • 傳輸累積;
  • 正規化次數。

定義:

Sss:K[s]K[s].\mathsf S_{s\to s'}: \mathbf K[s]\to\mathbf K[s'].

它不是單純乘一個常數,除非系統有明確齊次律。

4.3 方向選取

Dξ:KfullKξ.\mathsf D_\xi: \mathbf K^{\mathrm{full}} \to \mathbf K_\xi.

例如從曲率張量選取二平面截面曲率,或從閉路族只保留某方向。

此箭頭通常有損且不可逆。

4.4 狀態作用

完整 holonomy 算子作用於測試狀態:

Vv(Hγ)=Hγv.\mathsf V_v(H_\gamma) = H_\gamma v.

再經差度:

Δ(v,Hγv).\Delta(v,H_\gamma v).

若測試狀態族不分離算子,無法由狀態差重建完整 holonomy。

4.5 查詢推前

Qq:FxYq.\mathsf Q_q: \mathcal F_x \to Y_q.

曲率被推前為:

Dγ,q(v)=dY(q(v),q(Hγv)).D_{\gamma,q}(v) = d_Y \left( q(v),q(H_\gamma v) \right).

查詢推前可能創造盲區。

4.6 閉路重參數

若:

γφ\gamma\circ\varphi

只是保持方向的合法重參數,理想平行傳輸應保持相同 holonomy。

若重參數改變離散步數、數值積分或控制器狀態,則可能出現計算差異,需要另附證書。

4.7 投影與重建

Πλ:FFλ,\Pi_\lambda: \mathcal F_\infty\to\mathcal F_\lambda, Rλ:FλF~.R_\lambda: \mathcal F_\lambda\to\widetilde{\mathcal F}.

有限影曲率:

K^λ=Pλ(K)\widehat{\mathbf K}_\lambda = \mathsf P_\lambda(\mathbf K_\infty)

一般不等於先投影系統後重新計算的曲率:

K(ΠλG).\mathbf K \left( \Pi_\lambda\mathfrak G \right).

兩者差異正是投影交換缺陷。

4.8 粗化與精細化

對:

λμ,\lambda\preceq\mu,

有:

Jλμ:KμKλ\mathcal J_{\lambda\mu}: \mathcal K_\mu\to\mathcal K_\lambda

與可能的提升:

Iλμ:KλKμ.\mathcal I_{\lambda\mu}: \mathcal K_\lambda\to\mathcal K_\mu.

粗化後再提升通常不等於恆等。

4.9 高階提升

Hr:K[r]K[r+1].\mathsf H_r: \mathbf K^{[r]} \to \mathbf K^{[r+1]}.

它把第 rr 階曲率描述或傳輸規則變成下一階狀態。除非定義跨階單位與比較映射,不可直接比較不同階曲率大小。


第五章 交換圖與轉換缺陷

5.1 交換問題

若從同一節點有兩條轉換路徑:

Φ2Φ1\Phi_2\circ\Phi_1

與:

Ψ2Ψ1,\Psi_2\circ\Psi_1,

理論上可能期待它們得到同一結果。

例如:

  1. 先計算理想曲率,再投影;
  2. 先投影傳輸系統,再重新計算曲率。

5.2 交換缺陷

定義 5.1(交換缺陷)

D(K)=dK(Φ2Φ1(K),Ψ2Ψ1(K)).\boxed{ \mathfrak D_{\square}(\mathbf K) = d_{\mathcal K} \left( \Phi_2\Phi_1(\mathbf K), \Psi_2\Psi_1(\mathbf K) \right). }

若兩側型別不同,必須先嵌入共同比較空間。

5.3 精確交換

若:

D=0,\mathfrak D_{\square}=0,

稱該轉換方塊精確交換。

5.4 漸近交換

若隨精細化:

D,λ0,\mathfrak D_{\square,\lambda}\to0,

稱漸近交換。

5.5 一致交換

若:

supwWD,λ(w)0,\sup_{w\in\mathcal W} \mathfrak D_{\square,\lambda}(w) \to0,

稱一致漸近交換。

逐點交換不推出一致交換。

5.6 非交換來源分型

交換缺陷可能來自:

  1. 投影丟失;
  2. 非線性純量化;
  3. 方向選取與平均不交換;
  4. 規範固定方式不同;
  5. 閉路離散化不同;
  6. 模型版本改變;
  7. 真實多尺度效應;
  8. 數值誤差;
  9. 高階路徑依賴。

第六章 曲率等價

6.1 精確等價

若存在可逆箭頭:

Φ:K1K2\Phi: \mathbf K_1\leftrightarrow\mathbf K_2

且完整 holonomy、閉路與證書可互相恢復,稱精確等價。

6.2 規範等價

若:

H2=gH1g1,H_2 = gH_1g^{-1},

稱規範等價。

它保留共軛類,但不保留具體矩陣座標。

6.3 雙邊有界等價

若存在:

0<cC<0<c\le C<\infty

使:

cN1(K1)N2(K2)CN1(K1),c\,\mathcal N_1(\mathbf K_1) \le \mathcal N_2(\mathbf K_2) \le C\,\mathcal N_1(\mathbf K_1),

稱大小上雙邊有界等價。

此等價保持:

  • 有界/無界;
  • 共尾無界;
  • 爆破與否。

但不保持精確數值。

6.4 任務等價

對查詢族:

Q0,\mathcal Q_0,

若:

q(K1)=q(K2)q(\mathbf K_1) = q(\mathbf K_2)

或誤差在容限內,稱任務等價。

任務等價不推出完整幾何等價。

6.5 漸近等價

沿尺度或精細化:

dK(K1,λ,K2,λ)0,d_{\mathcal K} \left( \mathbf K_{1,\lambda}, \mathbf K_{2,\lambda} \right) \to0,

稱漸近等價。

需標明逐點或一致。

6.6 序等價

若兩描述只保留曲率排序:

K1(a)<K1(b)    K2(a)<K2(b),K_1(a)<K_1(b) \iff K_2(a)<K_2(b),

稱序等價。

它適合排名任務,但不能用於數值爆破判斷。


第七章 尺度曲率與齊次律

7.1 尺度維度

不同曲率對象有不同物理或幾何量綱。例如:

  • 平面曲線曲率常具長度倒數;
  • 黎曼曲率常具長度平方倒數;
  • 無量綱 holonomy 本身不需要長度單位。

因此先指定尺度次數:

dK.d_K.

7.2 正規化曲率

若閉路尺度為:

s,s,

定義:

K(s)=sdKK(s).\overline K(s) = s^{d_K}K(s).

若:

K(s)K0\overline K(s)\to K_0

為有限非零值,表示選擇的尺度次數與局部齊次律相容。

7.3 尺度不變

若:

K(cs)=cdKK(s),K(cs) = c^{-d_K}K(s),

稱在該區間尺度協變。

若:

dK=0,d_K=0,

則為尺度不變。

7.4 異常尺度

若:

K(s)sdKL(s)K(s) \sim s^{-d_K} L(s)

L(s)L(s) 含對數、震盪或交叉尺度,稱有異常尺度修正。

7.5 尺度發散

需區分:

局部小尺度發散

s0,K(s).s\to0, \qquad K(s)\to\infty.

大尺度累積發散

s,K(s).s\to\infty, \qquad K(s)\to\infty.

正規化後發散

sdKK(s).s^{d_K}K(s)\to\infty.

三者不是同一現象。

7.6 尺度窗口

實驗中只能觀察:

s[smin,smax].s\in[s_{\min},s_{\max}].

有限窗口中的冪律擬合不能自動推出真正極限律。應報告:

  • 擬合窗口;
  • 替代模型;
  • 置信區間;
  • 離散化下限;
  • 有限尺寸效應。

第八章 方向曲率與各向異性

8.1 方向域

方向可以是:

  • 單位切向量;
  • 二維切平面;
  • 圖邊方向;
  • 閉路形狀;
  • 頻譜模式;
  • 因果方向;
  • 索引精細化方向。

記為:

ξΞx.\xi\in\Xi_x.

8.2 方向包絡

κmax(x)=supξΞxκ(x,ξ),\kappa_{\max}(x) = \sup_{\xi\in\Xi_x} \kappa(x,\xi), κmin(x)=infξΞxκ(x,ξ).\kappa_{\min}(x) = \inf_{\xi\in\Xi_x} \kappa(x,\xi).

若曲率可正可負,需分別報告絕對包絡與符號包絡。

8.3 各向同性

若:

κ(x,ξ)\kappa(x,\xi)

ξ\xi 無關,稱對該方向域各向同性。

8.4 各向異性指標

在正值且有正下界時,可定義:

A(x)=κmax(x)κmin(x).A(x) = \frac{ \kappa_{\max}(x) }{ \kappa_{\min}(x) }.

若存在零或負值,此比例可能失效,應改用:

Arange=κmaxκminA_{\mathrm{range}} = \kappa_{\max}-\kappa_{\min}

或譜半徑。

8.5 方向平均的危險

平均:

Eξ[κ(x,ξ)]\mathbb E_\xi[\kappa(x,\xi)]

可能因正負抵消而接近零,卻存在很大的方向包絡。

因此:

平均平坦⇏方向平坦.\text{平均平坦} \not\Rightarrow \text{方向平坦}.

8.6 方向採樣缺口

有限方向樣本:

ΞNΞ\Xi_N\subset\Xi

只能得到:

maxξΞNκ(ξ)supξΞκ(ξ).\max_{\xi\in\Xi_N}\kappa(\xi) \le \sup_{\xi\in\Xi}\kappa(\xi).

若沒有方向覆蓋或 Lipschitz 證書,不能從有限最大值推出全方向上界。


第九章 狀態曲率、算子曲率與查詢曲率

9.1 算子層

完整閉路作用:

HγI.H_\gamma-I.

或局部曲率算子:

R(u,v).R(u,v).

這是最接近完整作用結構的一層。

9.2 狀態層

Kγ(v)=Δ(v,Hγv)σ(γ).K_\gamma(v) = \frac{ \Delta(v,H_\gamma v) }{ \sigma(\gamma) }.

它依賴測試狀態。

9.3 單位球包絡

對線性空間,可定義:

Kγunit=supv=1Kγ(v).K_\gamma^{\mathrm{unit}} = \sup_{\|v\|=1} K_\gamma(v).

在合適範數下,它與算子範數相關。

9.4 查詢層

Kγ,q(v)=dY(q(v),q(Hγv))σ(γ).K_{\gamma,q}(v) = \frac{ d_Y \left( q(v),q(H_\gamma v) \right) }{ \sigma(\gamma) }.

9.5 分離查詢族

若:

q(u)=q(v)qQq(u)=q(v) \quad\forall q\in\mathcal Q

推出:

u=v,u=v,

Q\mathcal Q 分離狀態。

若查詢族還能分離算子作用:

q(H1v)=q(H2v)q,vq(H_1v)=q(H_2v) \quad\forall q,v

推出:

H1=H2,H_1=H_2,

才有可能由查詢曲率族恢復完整 holonomy。

9.6 查詢收縮

若:

qq

為 $$L_q$$-Lipschitz:

Kγ,q(v)LqKγ(v).K_{\gamma,q}(v) \le L_qK_\gamma(v).

小查詢曲率不推出小完整曲率,除非存在逆下界。


第十章 有限影曲率

10.1 理想曲率與有限影曲率

理想層:

K.\mathbf K_\infty.

有限影層:

K^λ.\widehat{\mathbf K}_\lambda.

必須區分兩條路:

路 A:先算曲率再投影

KPλPλ(K).\mathbf K_\infty \xrightarrow{\mathsf P_\lambda} \mathsf P_\lambda(\mathbf K_\infty).

路 B:先投影系統再算曲率

GΠλGλCurvKλ.\mathfrak G_\infty \xrightarrow{\Pi_\lambda} \mathfrak G_\lambda \xrightarrow{\operatorname{Curv}} \mathbf K_\lambda.

10.2 有限影交換缺陷

Eλshadow=dK(Pλ(K),Kλ).\boxed{ E_\lambda^{\mathrm{shadow}} = d_{\mathcal K} \left( \mathsf P_\lambda(\mathbf K_\infty), \mathbf K_\lambda \right). }

10.3 假平坦

若:

Kλ=0\mathbf K_\lambda=0

但:

K0,\mathbf K_\infty\neq0,

稱有限影假平坦。

常見原因:

  • 閉路在投影中坍縮;
  • 方向被刪除;
  • 非交換算子被壓成標量;
  • 查詢對 holonomy 失明;
  • 精度不足。

10.4 假曲率

若:

K=0\mathbf K_\infty=0

但:

Kλ0,\mathbf K_\lambda\neq0,

稱有限影假曲率。

原因可能是:

  • 離散化不相容;
  • 投影與傳輸不交換;
  • 數值積分誤差;
  • 邊界黏合錯誤;
  • 重建器路徑依賴。

10.5 符號反轉

有限影甚至可能:

sgnKλsgnK.\operatorname{sgn}K_\lambda \neq \operatorname{sgn}K_\infty.

因此正負曲率分類也需投影證書。

10.6 有限影契約

任何有限影曲率至少攜帶:

CurvShadowλ=(h,λ,Γλ,Hλ,Kλ,Eλshadow,Certλ,Provλ).\mathsf{CurvShadow}_\lambda = \left( h, \lambda, \Gamma_\lambda, H_\lambda, K_\lambda, E_\lambda^{\mathrm{shadow}}, \mathsf{Cert}_\lambda, \mathsf{Prov}_\lambda \right).

第十一章 投影、平均與極值的不交換

11.1 最大值與投影

一般:

supξPλK(ξ)PλsupξK(ξ).\sup_\xi \mathsf P_\lambda K(\xi) \neq \mathsf P_\lambda \sup_\xi K(\xi).

投影可能刪除最大曲率方向。

11.2 平均與非線性純量化

對非線性大小泛函:

N(E[H])E[N(H)].\mathcal N \left( \mathbb E[H] \right) \neq \mathbb E \left[ \mathcal N(H) \right].

11.3 粗化與 holonomy

一般:

Jλμ(Hγμ)Hpλμγμ.\mathcal J_{\lambda\mu} \left( H_{\gamma_\mu} \right) \neq H_{p_{\lambda\mu}\gamma_\mu}.

11.4 對數與群乘積

若 holonomy 位於非交換 Lie 群:

log(H2H1)logH2+logH1\log(H_2H_1) \neq \log H_2+\log H_1

一般成立,並有交換子修正。

因此把閉路角度直接相加只適用於交換或小量近似。

11.5 非交換缺陷

可定義:

C(Φ,Ψ;K)=d(ΦΨK,ΨΦK).C(\Phi,\Psi;\mathbf K) = d \left( \Phi\Psi\mathbf K, \Psi\Phi\mathbf K \right).

它衡量轉換順序的重要性,亦可成為高階曲率的輸入。


第十二章 曲率包絡與摘要

12.1 包絡

對索引子集:

BAcurv,B\subseteq\mathcal A_{\mathrm{curv}},

定義:

κ(B)=supaBN(K(a)).\boxed{ \kappa(B) = \sup_{a\in B} \mathcal N \left( \mathscr K(a) \right). }

12.2 下包絡

κ(B)=infaBN(K(a)).\underline\kappa(B) = \inf_{a\in B} \mathcal N \left( \mathscr K(a) \right).

12.3 分位曲率

若索引域帶測度:

μ,\mu,

可定義曲率分位數:

Qp(K).Q_p(K).

它適合重尾分布,避免少數極端值支配平均。

12.4 曲率熵

對離散化曲率分布:

pi,p_i,

可定義:

HK=ipilogpi.H_K = -\sum_i p_i\log p_i.

此量描述曲率分布的分散程度,不是幾何曲率本身。

12.5 摘要不可逆

均值、最大值、分位數與熵是不同摘要。任何一個都不能一般地恢復完整方向—尺度—投影曲率場。


第十三章 多軸發散

13.1 軸路徑

令:

DD

為有向集合,定義軸路徑:

η:DAcurv.\eta:D\to\mathcal A_{\mathrm{curv}}.

例如:

η(n)=(x,sn,ξn,[γn],vn,qn,gn,λn,rn,tn,mn).\eta(n) = (x,s_n,\xi_n,[\gamma_n],v_n,q_n,g_n,\lambda_n,r_n,t_n,m_n).

13.2 路徑發散

若:

N(K(η(d))),\mathcal N \left( \mathscr K(\eta(d)) \right) \to\infty,

稱沿 η\eta 路徑發散。

這只證明存在一條發散路徑。

13.3 單軸發散

固定除某一軸之外的全部分量。例如尺度發散要求:

s0s\to0

時其餘型別與控制域相容。

13.4 聯合發散

若多個軸共同變化:

(s,λ,r)(0,,),(s,\lambda,r)\to(0,\infty,\infty),

必須說明耦合律,例如:

λ=λ(s),r=r(s).\lambda=\lambda(s), \qquad r=r(s).

不同耦合路徑可能得到不同極限。

13.5 一致軸向發散

BdB_d 為某軸的尾部區域。若:

infaBdN(K(a)),\inf_{a\in B_d} \mathcal N(\mathscr K(a)) \to\infty,

稱一致發散。

它比存在一條路徑發散強得多。

13.6 共尾包絡發散

若:

d0,M,dd0:κ(Bd)>M,\forall d_0,\forall M,\quad \exists d\succeq d_0: \kappa(B_d)>M,

稱共尾包絡發散。

這是無限曲率形式論的主要量詞型別。

13.7 路徑依賴無限

若存在兩條共尾路徑:

η1,η2\eta_1,\eta_2

使:

K(η1(d)),K(\eta_1(d))\to\infty,

但:

K(η2(d))K(\eta_2(d))

有界或收斂到零,稱無限曲率具路徑依賴。

此時不能寫無條件的:

K.K\to\infty.

第十四章 多軸曲率簽章

14.1 曲率簽章

定義:

Σcurv=(Σs,Σξ,Σλ,Σq,Σr,Σt,Σtop,Σgauge).\boxed{ \Sigma_{\mathrm{curv}} = \left( \Sigma_s, \Sigma_\xi, \Sigma_\lambda, \Sigma_q, \Sigma_r, \Sigma_t, \Sigma_{\mathrm{top}}, \Sigma_{\mathrm{gauge}} \right). }

其中分別記錄:

  • 尺度行為;
  • 方向行為;
  • 投影/精細化行為;
  • 查詢可見性;
  • 高階行為;
  • 時間行為;
  • 全域拓樸類;
  • 規範不變資料。

14.2 軸行為標籤

每一軸可標記:

{zero,bounded,convergent,oscillatory,unbounded,non-closable,undefined}.\{ \text{zero}, \text{bounded}, \text{convergent}, \text{oscillatory}, \text{unbounded}, \text{non-closable}, \text{undefined} \}.

14.3 無限曲率型別向量

與前篇七型無限曲率對接:

IC=(Ivalue,Iblowup,Idir,Iop,Iref,Iproj,Ihigher).\mathbf I_C = \left( I_{\mathrm{value}}, I_{\mathrm{blowup}}, I_{\mathrm{dir}}, I_{\mathrm{op}}, I_{\mathrm{ref}}, I_{\mathrm{proj}}, I_{\mathrm{higher}} \right).

每一分量是:

  • 已證;
  • 已否證;
  • 候選;
  • 未決;
  • 不適用。

14.4 簽章的用途

曲率簽章用於比較系統,而不是壓成單一排行榜。

兩個系統可能:

  • 同樣數值有界;
  • 但一個方向高度異質;
  • 一個投影不可封閉;
  • 一個高階封閉;
  • 一個只對特定查詢可見。

第十五章 基本定理與命題

15.1 規範不變性

定理 15.1

若:

Hγ=gHγg1H_\gamma' = gH_\gamma g^{-1}

且:

N(gKg1)=N(K),\mathcal N(gKg^{-1}) = \mathcal N(K),

則曲率大小剖面對規範變換不變。

15.2 雙邊有界變換保持無界性

定理 15.2

若:

cN(K)N(ΦK)CN(K)c\mathcal N(K) \le \mathcal N'(\Phi K) \le C\mathcal N(K)

且:

0<cC<,0<c\le C<\infty,

則:

N(Kn)\mathcal N(K_n)\to\infty

當且僅當:

N(ΦKn).\mathcal N'(\Phi K_n)\to\infty.

15.3 單向收縮不反映無界性

若只有:

N(ΦK)CN(K),\mathcal N'(\Phi K) \le C\mathcal N(K),

則原曲率無界不推出投影曲率無界。

投影可把任意大方向壓成零。

15.4 精確交換保持平坦

若轉換方塊精確交換,且上游完整曲率為零,則兩條下游路徑均得到零。

但若轉換本身加入模型生成項,該命題不適用。

15.5 一致有限影收斂保持有界

若:

supwd(K^λ(w),K(w))0\sup_{w} d \left( \widehat K_\lambda(w), K_\infty(w) \right) \to0

且:

supwK(w)<,\sup_w\|K_\infty(w)\|<\infty,

則足夠細的有限影曲率族一致有界。

15.6 有限影有界不推出理想有界

即使所有有限层:

supwK^λ(w)<,\sup_w\|\widehat K_\lambda(w)\|<\infty,

若上界依 λ\lambda 增長或投影不具逆穩定性,理想曲率仍可無界。

15.7 分離查詢恢復狀態平坦

若查詢族分離狀態,且對所有:

qQq\in\mathcal Q

有:

q(Hγv)=q(v),q(H_\gamma v)=q(v),

則:

Hγv=v.H_\gamma v=v.

若要推出:

Hγ=I,H_\gamma=I,

還需對所有狀態成立。

15.8 路徑發散不推出一致發散

存在單一發散軸路徑,不推出整個尾部曲率下界趨近無限。

15.9 單調多軸包絡判準

若多軸包絡對偏序單調,且任意共尾路徑皆可達到任意大包絡值,則無界型別對共尾重參數穩健。


第十六章 典型誤分類

16.1 把最大方向曲率當平均曲率

supξK(ξ)\sup_\xi K(\xi)

與:

Eξ[K(ξ)]\mathbb E_\xi[K(\xi)]

回答不同問題。

16.2 把查詢零曲率當算子平坦

Kq=0K_q=0

可能只是查詢盲區。

16.3 把離散假曲率當本體曲率

未報投影交換缺陷時,有限網格上的 holonomy 可能只是離散殘差。

16.4 把規範係數爆破當曲率爆破

聯絡係數無界不必表示曲率不變量無界。

16.5 把尺度縮小與精細化混為一談

尺度:

s0s\to0

與投影層:

λ\lambda\to\infty

是兩條軸。它們可以耦合,也可以獨立。

16.6 把方向增加當曲率增加

精細化後發現更多方向,只表示搜尋域擴張;除非在相容控制域中證明包絡共尾無界,不能稱曲率增加。

16.7 把高階數增加當高階曲率

寫出更多導數、更多層或更多態射,不自動產生非零高階 holonomy。


第十七章 示例

17.1 球面

球面高斯曲率在每點、每方向相同。其方向剖面各向同性,尺度化小閉路 holonomy 收斂到固定局部曲率。

此例的譜系較簡單:

  • 方向軸平坦;
  • 尺度軸收斂;
  • 全域閉路 holonomy 依包圍面積;
  • 合法座標變換下規範不變。

17.2 各向異性曲面

不同切方向具有不同法曲率或截面曲率。平均值可能溫和,最大方向則很大。

此例展示方向包絡不能由少數平均摘要替代。

17.3 非交換圖 holonomy

圖邊帶矩陣:

Ue.U_e.

兩條閉路使用相同邊集但順序不同:

Hγ1=U3U2U1,H_{\gamma_1} = U_3U_2U_1, Hγ2=U2U3U1.H_{\gamma_2} = U_2U_3U_1.

若矩陣不交換,兩者不同。只記錄邊權總和會丟失曲率順序信息。

17.4 投影假平坦

理想系統有兩個獨立方向:

Hγ=(100eiθ).H_\gamma = \begin{pmatrix} 1&0\\ 0&e^{i\theta} \end{pmatrix}.

若有限投影只保留第一分量,則:

Hγλ=1.H_\gamma^\lambda=1.

投影看到平坦,但完整系統非平坦。

17.5 有界但不可封閉譜系

存在無限方向:

ξn\xi_n

且:

0K(ξn)1.0\le K(\xi_n)\le1.

每個有限影只保留前 NN 個方向。數值有界,但投影譜系不可有限封閉。

17.6 多軸路徑依賴

設:

K(s,λ)=λs1+λs.K(s,\lambda) = \frac{\lambda s}{1+\lambda s}.

若固定 λ\lambda 且:

s0,s\to0,

則:

K0.K\to0.

若:

λ=s2,\lambda=s^{-2},

則:

K1.K\to1.

若改為其他耦合,可能得到不同極限。這說明多軸極限必須標示路徑。


第十八章 有限影誤差帳本

18.1 誤差向量

Ecurv,λ=(Eloop,Etransport,Estate,Escale,Edirection,Equery,Egauge,Enumerical,Emodel).\boxed{ \mathbf E_{\mathrm{curv},\lambda} = \left( E_{\mathrm{loop}}, E_{\mathrm{transport}}, E_{\mathrm{state}}, E_{\mathrm{scale}}, E_{\mathrm{direction}}, E_{\mathrm{query}}, E_{\mathrm{gauge}}, E_{\mathrm{numerical}}, E_{\mathrm{model}} \right). }

18.2 各項含義

  • EloopE_{\mathrm{loop}}:閉路被截斷、錯配或未閉合;
  • EtransportE_{\mathrm{transport}}:投影與傳輸不交換;
  • EstateE_{\mathrm{state}}:測試狀態表示失真;
  • EscaleE_{\mathrm{scale}}:面積/長度正規化錯誤;
  • EdirectionE_{\mathrm{direction}}:未採樣方向;
  • EqueryE_{\mathrm{query}}:觀察盲區;
  • EgaugeE_{\mathrm{gauge}}:規範對齊問題;
  • EnumericalE_{\mathrm{numerical}}:浮點、求解器、條件數;
  • EmodelE_{\mathrm{model}}:模型版本或方程錯置。

18.3 不可直接相加

這些誤差可能位於不同空間。只能在指定傳播圖與共同量尺後建立總上界。

18.4 誤差譜系

每個誤差項也有自己的尺度、方向與投影剖面。若曲率增長與誤差增長同步,必須檢查是否為假發散。


第十九章 曲率譜系證書

19.1 節點證書

每個曲率節點至少包含:

  • 完整索引標籤;
  • 曲率型別;
  • 閉路與尺度;
  • 規範;
  • 投影層;
  • 狀態/查詢;
  • 模型版本;
  • 數值誤差。

19.2 箭頭證書

每個轉換箭頭包含:

  • 定義域與值域;
  • 是否可逆;
  • 是否共軛/等距;
  • Lipschitz 上下界;
  • 是否任務相對;
  • 交換缺陷;
  • 來源與版本。

19.3 等價證書

聲稱兩個曲率描述等價時,需標明:

EqType{exact,gauge,bi-bounded,task,asymptotic,order}.\mathsf{EqType} \in \{ \text{exact}, \text{gauge}, \text{bi-bounded}, \text{task}, \text{asymptotic}, \text{order} \}.

19.4 發散證書

聲稱曲率無界時,需提供:

  • 變化軸;
  • 固定軸;
  • 軸路徑或共尾集合;
  • 控制域;
  • 下界見證;
  • 等價尺度測試;
  • 投影與誤差排除。

19.5 不可封閉證書

提供每個有限影的對抗閉路、方向或狀態,及其不可表示或誤差下界。


第二十章 計算協議

INPUT:
    curvature system G
    index domain A_curv
    loop family Γ
    scale family S
    direction family Ξ
    projection levels Λ
    queries Q
    model version m

BUILD NODES:
    compute or estimate:
        holonomy H_a
        typed difference D_a
        normalized curvature K_a
        certificates Cert_a

BUILD ARROWS:
    gauge transforms
    scale transforms
    direction selections
    state evaluations
    query pushforwards
    projection/refinement maps
    higher-order lifts

TEST COMMUTATIVITY:
    compare alternative transformation paths
    record square defects

CLASSIFY EQUIVALENCE:
    exact
    gauge
    bi-bounded
    task
    asymptotic
    order-only

ESTIMATE PROFILES:
    scale profile
    direction profile
    projection profile
    query profile
    higher-order profile

TEST DIVERGENCE:
    one-axis
    joint-axis
    pathwise
    cofinal-envelope
    uniform-tail

AUDIT:
    projection error
    numerical error
    gauge alignment
    scale dimensions
    model consistency

OUTPUT:
    curvature lineage graph
    curvature signature
    divergence type vector
    finite-shadow certificates

第二十一章 形式化路線

21.1 CST1:曲率索引記錄

在 Lean 4 中定義:

  • 曲率索引積型;
  • 完整曲率描述;
  • 有型轉換箭頭;
  • 譜系路徑。

21.2 CST2:雙邊有界等價保持無界

形式化定理 15.2。

21.3 CST3:投影收縮反例

構造無界向量族,投影到零子空間,證明原無界而有限影恆零。

21.4 CST4:交換方塊

形式化精確交換與交換缺陷;證明精確交換下平坦性被保持。

21.5 CST5:量詞次序

形式化路徑發散、一致發散與共尾包絡發散的非等價。

21.6 CST6:分離查詢

證明分離查詢族下,全查詢零差推出狀態平坦。

21.7 CST7:多軸路徑反例

形式化雙變數函數在不同共尾路徑取得不同極限。


第二十二章 開放問題

  1. 曲率譜系圖應使用普通範疇、雙範疇還是帶誤差的富集範疇?
  2. 不同型別曲率的共同比較空間是否存在自然構造?
  3. 算子譜與 holonomy 共軛類之間何時可互相恢復?
  4. 尺度曲率的正確齊次次數如何由閉路幾何自動推導?
  5. 多方向曲率可否用有限 frame 建立一致上界?
  6. 投影假平坦的最小對抗見證如何計算?
  7. 哪些查詢族可在有限成本下分離 holonomy 算子?
  8. 曲率交換缺陷是否應被提升為下一階曲率?
  9. 有限影曲率的 Kolmogorov width 如何定義?
  10. 多軸發散是否可由濾子或網的統一語言簡化?
  11. 路徑依賴無限與高階 holonomy 有何關係?
  12. 曲率簽章是否能成為不同模型的穩健比較接口?
  13. 如何區分曲率分布重尾與真正 supremum 無界?
  14. 規範不變純量是否足以保留非交換曲率的關鍵結構?
  15. 何種轉換保持精細化本質無限曲率的兩個條件?
  16. 投影不可封閉是否能由方向覆蓋數或 metric entropy 下界刻畫?
  17. 曲率譜系能否與信息糊的觀察纖維建立伴隨關係?
  18. 高階曲率塔中的跨階單位應如何定義?
  19. 模型版本箭頭何時是精細化,何時只是替換?
  20. 如何建立可公開複現的曲率譜系 benchmark?

第二十三章 結論

本文把曲率從單一數值提升為完整的帶索引轉換族。

一個正式曲率描述不是:

K=7,K=7,

而至少是:

K[x,s,ξ,[γ],v,q,g,λ,r,t,m].\mathbf K [ x,s,\xi,[\gamma],v,q,g,\lambda,r,t,m ].

這些索引分別控制:

  • 在哪裡;
  • 哪個尺度;
  • 哪個方向;
  • 哪類閉路;
  • 對哪個狀態;
  • 透過哪個查詢;
  • 在哪個規範;
  • 哪個投影/精細層;
  • 哪個高階階數;
  • 哪個時間;
  • 哪個模型版本。

本文建立的曲率譜系圖把規範共軛、尺度重標、方向選取、狀態作用、查詢推前、閉路重參數、投影、精細化與高階提升放進同一有型語法。兩條轉換路徑若不一致,其差不再被籠統稱為「模型不同」,而可被定位為交換缺陷:

D=d(Φ2Φ1K,Ψ2Ψ1K).\mathfrak D_\square = d \left( \Phi_2\Phi_1\mathbf K, \Psi_2\Psi_1\mathbf K \right).

本文也釘死以下界線:

算子譜方向剖面尺度剖面投影族查詢族.\text{算子譜} \neq \text{方向剖面} \neq \text{尺度剖面} \neq \text{投影族} \neq \text{查詢族}.

有限影可能造成假平坦、假曲率與符號反轉;查詢零曲率可能只是觀察盲區;平均曲率不能代替最大方向;路徑發散也不能代替一致或共尾發散。

因此,與上篇無限曲率形式論的接合可以寫成:

無限曲率聲明=完整曲率索引+指定變化軸+合法轉換族+共尾/一致量詞+投影與誤差證書.\boxed{ \text{無限曲率聲明} = \text{完整曲率索引} + \text{指定變化軸} + \text{合法轉換族} + \text{共尾/一致量詞} + \text{投影與誤差證書}. }

換句話說,「曲率趨近無限」不能再是一個沒有索引的句子。必須明確說明:

  • 是尺度趨零;
  • 方向 supremum;
  • 精細化層級增加;
  • 算子譜無界;
  • 投影誤差不可一致收斂;
  • 還是高階曲率塔無法有限封閉。

本文最終的中心命題是:

曲率的本體信息位於整個轉換譜系; 任何單一純量都只是其中一個帶條件的有限影。\boxed{ \text{曲率的本體信息位於整個轉換譜系; 任何單一純量都只是其中一個帶條件的有限影。} }

下一篇《索引信息論》將使用本文的有限影、查詢推前、方向盲區與投影不可封閉語言,正式定義:

  • 觀察纖維;
  • 曲率可辨識性;
  • 曲率信息損失;
  • 動態信息糊;
  • 無限曲率在有限觀察者中的可見與不可見條件。

參考文獻與理論接口

內部文件

  1. Neo.K × Aletheia,《精細化算子論:區分度、解析度、維度與可回溯提升》,EML-ROT-2026-v0.1。
  2. Neo.K × Aletheia,《差度曲率論:閉路傳輸、非閉合缺陷與廣義 Holonomy》,EML-DBCT-2026-v0.1。
  3. Neo.K × Aletheia,《無限曲率形式論:精細化無界、投影不可封閉與高階遞歸》,EML-FIC-2026-v0.1。
  4. Neo.K × Aletheia,《投影計算論:無限維索引的有限表示、收斂與失真證書》。
  5. Neo.K × Aletheia,《索引幾何學:同一性拓樸微積分中的座標、投影與可計算性》。

外部理論接口

  1. 黎曼曲率張量、截面曲率、Ricci 曲率與純量曲率之間的 contraction 關係。
  2. Holonomy、規範共軛、Wilson loop 與 Ambrose–Singer 理論。
  3. 算子譜、無界算子與譜半徑。
  4. 多尺度分析、renormalization 與尺度律。
  5. Galerkin/有限元素投影、離散曲率與收斂分析。
  6. 各向異性幾何、方向包絡與有限方向採樣。
  7. 多變量極限、網、濾子與路徑依賴極限。
  8. Model reduction、finite shadows 與誤差證書。

版本維護

v0.1 已完成

  • 完整曲率索引空間;
  • 曲率場與完整描述;
  • 六種曲率譜系解歧;
  • 曲率譜系圖;
  • 九類基本變換;
  • 交換缺陷;
  • 五種曲率等價;
  • 尺度律與異常尺度;
  • 方向包絡與各向異性;
  • 算子/狀態/查詢曲率分層;
  • 有限影假平坦、假曲率與符號反轉;
  • 投影、平均、極值不交換;
  • 曲率包絡與摘要;
  • 多軸發散;
  • 曲率簽章與無限型別向量;
  • 基本定理與反例;
  • 誤差帳本;
  • 譜系證書;
  • 計算與 Lean 4 路線。

v0.2 待補

  • 曲率譜系的富集範疇形式;
  • 曲率張量 contraction 的標準幾何專章;
  • operator spectrum 與 holonomy spectrum 的精確接口;
  • 多尺度齊次次數的自動推斷;
  • 有限方向覆蓋與方向上界證書;
  • 曲率 finite-shadow Python 原型;
  • 多軸發散可視化;
  • 曲率簽章資料格式;
  • Lean 4:交換方塊、雙邊等價、查詢分離與多軸反例;
  • 與下一篇索引信息論的觀察纖維逐條接合。

EML-CST-2026-v0.1 · 曲率不是孤立數字,而是沿尺度、方向、投影、查詢與階數變換的有型譜系。

EOF