曲率譜系論:尺度、方向、投影與有限影之間的曲率變換
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 日
理論地位:無限曲率形式論的比較與轉換層;連接差度曲率、精細化、有限投影、任務觀察與高階曲率
命名原則:採結構性中性命名。作者姓名僅用於著作歸屬,不用作定義、定理、分類、座標或算法名稱。
上游文件:
- 《精細化算子論:區分度、解析度、維度與可回溯提升》EML-ROT-2026-v0.1
- 《差度曲率論:閉路傳輸、非閉合缺陷與廣義 Holonomy》EML-DBCT-2026-v0.1
- 《無限曲率形式論:精細化無界、投影不可封閉與高階遞歸》EML-FIC-2026-v0.1
- 《投影計算論:無限維索引的有限表示、收斂與失真證書》
- 《索引幾何學:同一性拓樸微積分中的座標、投影與可計算性》
下游預定文件:
- 《索引信息論:投影纖維、可辨識性與信息糊》
- 《高階閉路幾何:遞歸傳輸、曲率塔與有限階封閉》
- 《曲率計算協議:閉路採樣、譜估計與假發散壓力測試》
摘要
同一個幾何或計算系統可以同時具有多種曲率描述:在不同基點、尺度、方向、閉路同倫類、測試狀態、查詢、規範、投影層、精細層與遞歸階數下,所得到的 holonomy、閉路差與尺度化曲率可能完全不同。若把這些值放進同一張表卻不標示其索引,就會產生三種典型錯誤:
- 把不同尺度下的量直接比較;
- 把不同方向或查詢得到的純量誤認為完整曲率;
- 在「趨近無限」的過程中,同時更換尺度、方向、投影與模型,卻把結果寫成單一極限。
本文建立曲率譜系論。所謂「譜系」不是假設所有曲率都有共同祖先,而是把每一個曲率描述視為帶完整型別的節點,把尺度變換、方向選取、規範變換、狀態純量化、查詢推前、投影、粗化、精細化與高階提升視為節點間的有型箭頭。所有曲率描述共同形成一個轉換圖:
Lcurv=(Ncurv,Acurv).
本文把完整曲率描述定義為:
K[a]=(Ha,Da,Ka,Typea,Certa),
其中索引標籤:
a=(x,s,ξ,[γ],v,q,g,λ,r,t,m)
分別記錄基點、尺度、方向、閉路類、測試狀態、查詢、規範、投影/精細層、高階階數、時間與模型版本。$$H_a$$ 是 holonomy 或閉路傳輸,$$D_a$$ 是有型閉路差,$$K_a$$ 是尺度化曲率,$$\mathsf{Type}_a$$ 說明其為算子型、狀態型、查詢型、截面型、離散型或高階型,$$\mathsf{Cert}_a$$ 則保存可逆性、規範、尺度與投影證書。
本文區分六種常被共同稱作「曲率譜」的對象:
- 算子譜;
- 方向曲率剖面;
- 尺度曲率譜;
- 投影/精細化曲率序列;
- 查詢可見曲率族;
- 高階曲率塔。
其中只有第一種是通常泛函分析意義下的 spectrum。其餘應稱為 profile、family、envelope 或 lineage;本文保留中文「譜系」作為總稱,但在形式符號上嚴格分型。
本文建立九類曲率變換:規範共軛、尺度重標、方向選取、狀態作用、查詢推前、閉路重參數、投影/重建、粗化/精細化與高階提升。對任意兩條理應等價的轉換路徑,定義交換缺陷:
D□=dK(Φ2Φ1(K),Ψ2Ψ1(K)).
若缺陷為零,轉換圖交換;若非零,需判斷它來自真實多尺度曲率、非交換變換、投影損失、查詢盲區或模型版本差異。這使「不同曲率描述不一致」成為可定位的結構問題,而不是一句籠統矛盾。
本文進一步定義五種曲率等價:精確等價、規範等價、雙邊有界等價、任務等價與漸近等價。雙邊有界等價保持有界/無界型別;單向收縮投影則不保持,因而可能產生假平坦。本文也提出多軸曲率場:
K:Acurv→K,
以及多軸包絡:
κ(B)=a∈BsupN(K(a)).
無限曲率不再只寫成單變數極限,而要標示沿哪條軸路徑:
η:D→Acurv.
由此區分:
- 路徑發散;
- 軸向一致發散;
- 共尾發散;
- 多軸聯合發散;
- 路徑依賴發散。
本文的中心裁決是:
曲率不是一個孤立數字, 而是一個帶尺度、方向、狀態、查詢、投影與階數索引的轉換族; 任何有界、無界或等價主張, 都必須說明它在哪些轉換下保持。
關鍵詞:曲率譜系、曲率變換、尺度曲率、方向曲率、投影曲率、有限影、查詢曲率、規範不變性、交換缺陷、多軸發散、無限曲率
第零章 本文的工作邊界
0.1 本文不重新定義曲率
差度曲率論已把曲率資料建立在:
閉路→傳輸→Hγ→Dγ→Kγ.
本文不改寫此定義,而處理以下問題:
- 不同曲率描述如何比較?
- 哪些轉換只是換表示?
- 哪些轉換會真實丟失結構?
- 哪些純量只能代表完整曲率的一個影?
- 無限曲率沿不同索引軸時,量詞如何書寫?
0.2 「譜」的用語限制
本文使用「曲率譜系」作總稱,但不把所有曲率族都叫作 operator spectrum。
只有當:
R:D(R)⊆H→H
為線性算子時,才可討論標準算子譜:
spec(R).
尺度函數:
s↦K(s)
應稱尺度剖面;方向族:
ξ↦K(ξ)
應稱方向剖面;精細層:
λ↦Kλ
應稱精細化曲率族。
0.3 形式層與本體層
曲率譜系是描述結構。不同譜系節點可能對應:
- 同一個本體曲率的不同表示;
- 同一 holonomy 對不同狀態的作用;
- 不同有限投影;
- 不同模型版本;
- 真正不同的幾何系統。
本文不預設所有節點都指向同一個本體。是否同一,必須由身份、模型與傳輸證書決定。
第一章 曲率描述的完整索引
1.1 曲率索引空間
定義曲率索引空間:
Acurv=X×S×Ξ×H×V×Q×G×Λ×N0×T×M.
各分量為:
- X:基點;
- S:尺度或閉路大小;
- Ξ:方向、二平面、邊方向或閉路形狀;
- H:閉路同倫/同痕/組合類;
- V:測試狀態;
- Q:查詢/觀察算子;
- G:規範或座標選擇;
- Λ:投影/精細化層;
- N0:高階曲率階數;
- T:時間或外部參數;
- M:模型版本。
一個索引:
a=(x,s,ξ,[γ],v,q,g,λ,r,t,m)
不是要求每篇研究都同時使用所有分量,而是防止未標示的分量在比較中悄悄改變。
1.2 完整曲率描述
定義 1.1(完整曲率描述)
K[a]=(Ha,Da,Ka,Typea,Certa).
其中:
- Ha:holonomy/閉路傳輸算子;
- Da:閉路差,可能為向量、算子、集合或標量;
- Ka:尺度化或純量化曲率;
- Typea:型別標籤;
- Certa:閉合、可逆、規範、尺度、投影與數值證書。
1.3 曲率場
定義:
K:Acurv→K
為曲率場或曲率譜系映射。
K 可以是:
- Lie 群或其共軛類空間;
- Lie 代數;
- 算子空間;
- 非負實數;
- 向量值差度空間;
- 譜資料空間;
- 證書化資料結構。
1.4 型別優先原則
若:
K(a)∈K1,K(b)∈K2,
且未指定:
J:K2→K1
或共同嵌入,則:
K(a)<K(b)
沒有型別意義。
第二章 六種曲率譜系
2.1 Holonomy 共軛譜系
對閉路族:
Γx,
收集 holonomy 共軛類:
Hx={[Hγ]conj:γ∈Γx}.
這保留規範不變的群結構,但通常不是數值譜。
2.2 算子譜
若曲率算子:
Rx(u,v)
作用於線性空間,可研究:
spec(Rx(u,v)).
對自伴算子,可分析:
- 點譜;
- 連續譜;
- 譜半徑;
- 上下界;
- 無界算子定義域。
算子譜與方向曲率純量不同。
2.3 方向曲率剖面
固定基點與尺度,令方向或二平面:
ξ∈Ξx,
定義:
κxdir(ξ)=N(K(x,s,ξ,…)).
在黎曼幾何中,截面曲率是二平面方向剖面的標準實例。
2.4 尺度曲率剖面
固定方向、基點與閉路形狀,令尺度:
s∈S,
定義:
κscale(s)=N(K(x,s,ξ,…)).
它用來區分:
- 局部曲率極限;
- 多尺度結構;
- 交叉尺度;
- 尺度爆破;
- 粗粒化平滑。
2.5 投影/精細化曲率族
令:
λ∈Λ,
定義:
κproj(λ)=N(K(…,λ,…)).
這是無限曲率形式論中共尾無界與不可封閉的主要載體。
2.6 查詢可見曲率族
對查詢:
q∈Q,
定義:
κquery(q)=σ(γ)dY(q(v),q(Hγv)).
它只量測某個觀察協議看得到的曲率作用。
2.7 高階曲率塔
K[0],K[1],K[2],…
表示原始狀態、聯絡/曲率描述、投影規則等逐階成為新纖維狀態後的閉路非閉合。
2.8 六型裁決
算子譜=方向剖面=尺度剖面=投影族=查詢族=高階曲率塔.
第三章 曲率譜系圖
3.1 節點
每個節點:
n∈Ncurv
是一個完整曲率描述:
n=(a,K[a]).
3.2 箭頭
每個箭頭:
Φ:n→n′
是一個有型變換,並記錄:
- 作用於哪一個索引軸;
- 是否可逆;
- 是否保 holonomy;
- 是否保曲率大小;
- 是否有誤差;
- 是否改變模型;
- 是否只保留任務等價。
3.3 譜系圖
Lcurv=(Ncurv,Acurv,s,t,∘,1).
若箭頭可合成並有恆等箭頭,可形成範疇式結構。本文只使用此語法,不預先宣稱所有曲率節點形成特殊範疇。
3.4 血統與同一性
「譜系」不表示子節點一定比父節點更真。箭頭可能是:
- 無損變換;
- 有損投影;
- 任務觀察;
- 模型替換;
- 純量摘要;
- 精細化顯露。
每個箭頭都要攜帶:
LineageCert(Φ).
第四章 九類基本變換
4.1 規範共軛
對:
gx:Fx→Fx,
有:
Hγ↦gxHγgx−1.
若大小泛函共軛不變,曲率純量不變。
4.2 尺度重標
尺度變換:
s↦s′
可能同時改變:
定義:
Ss→s′:K[s]→K[s′].
它不是單純乘一個常數,除非系統有明確齊次律。
4.3 方向選取
Dξ:Kfull→Kξ.
例如從曲率張量選取二平面截面曲率,或從閉路族只保留某方向。
此箭頭通常有損且不可逆。
4.4 狀態作用
完整 holonomy 算子作用於測試狀態:
Vv(Hγ)=Hγv.
再經差度:
Δ(v,Hγv).
若測試狀態族不分離算子,無法由狀態差重建完整 holonomy。
4.5 查詢推前
Qq:Fx→Yq.
曲率被推前為:
Dγ,q(v)=dY(q(v),q(Hγv)).
查詢推前可能創造盲區。
4.6 閉路重參數
若:
γ∘φ
只是保持方向的合法重參數,理想平行傳輸應保持相同 holonomy。
若重參數改變離散步數、數值積分或控制器狀態,則可能出現計算差異,需要另附證書。
4.7 投影與重建
Πλ:F∞→Fλ,
Rλ:Fλ→F.
有限影曲率:
Kλ=Pλ(K∞)
一般不等於先投影系統後重新計算的曲率:
K(ΠλG).
兩者差異正是投影交換缺陷。
4.8 粗化與精細化
對:
λ⪯μ,
有:
Jλμ:Kμ→Kλ
與可能的提升:
Iλμ:Kλ→Kμ.
粗化後再提升通常不等於恆等。
4.9 高階提升
Hr:K[r]→K[r+1].
它把第 r 階曲率描述或傳輸規則變成下一階狀態。除非定義跨階單位與比較映射,不可直接比較不同階曲率大小。
第五章 交換圖與轉換缺陷
5.1 交換問題
若從同一節點有兩條轉換路徑:
Φ2∘Φ1
與:
Ψ2∘Ψ1,
理論上可能期待它們得到同一結果。
例如:
- 先計算理想曲率,再投影;
- 先投影傳輸系統,再重新計算曲率。
5.2 交換缺陷
定義 5.1(交換缺陷)
D□(K)=dK(Φ2Φ1(K),Ψ2Ψ1(K)).
若兩側型別不同,必須先嵌入共同比較空間。
5.3 精確交換
若:
D□=0,
稱該轉換方塊精確交換。
5.4 漸近交換
若隨精細化:
D□,λ→0,
稱漸近交換。
5.5 一致交換
若:
w∈WsupD□,λ(w)→0,
稱一致漸近交換。
逐點交換不推出一致交換。
5.6 非交換來源分型
交換缺陷可能來自:
- 投影丟失;
- 非線性純量化;
- 方向選取與平均不交換;
- 規範固定方式不同;
- 閉路離散化不同;
- 模型版本改變;
- 真實多尺度效應;
- 數值誤差;
- 高階路徑依賴。
第六章 曲率等價
6.1 精確等價
若存在可逆箭頭:
Φ:K1↔K2
且完整 holonomy、閉路與證書可互相恢復,稱精確等價。
6.2 規範等價
若:
H2=gH1g−1,
稱規範等價。
它保留共軛類,但不保留具體矩陣座標。
6.3 雙邊有界等價
若存在:
0<c≤C<∞
使:
cN1(K1)≤N2(K2)≤CN1(K1),
稱大小上雙邊有界等價。
此等價保持:
但不保持精確數值。
6.4 任務等價
對查詢族:
Q0,
若:
q(K1)=q(K2)
或誤差在容限內,稱任務等價。
任務等價不推出完整幾何等價。
6.5 漸近等價
沿尺度或精細化:
dK(K1,λ,K2,λ)→0,
稱漸近等價。
需標明逐點或一致。
6.6 序等價
若兩描述只保留曲率排序:
K1(a)<K1(b)⟺K2(a)<K2(b),
稱序等價。
它適合排名任務,但不能用於數值爆破判斷。
第七章 尺度曲率與齊次律
7.1 尺度維度
不同曲率對象有不同物理或幾何量綱。例如:
- 平面曲線曲率常具長度倒數;
- 黎曼曲率常具長度平方倒數;
- 無量綱 holonomy 本身不需要長度單位。
因此先指定尺度次數:
dK.
7.2 正規化曲率
若閉路尺度為:
s,
定義:
K(s)=sdKK(s).
若:
K(s)→K0
為有限非零值,表示選擇的尺度次數與局部齊次律相容。
7.3 尺度不變
若:
K(cs)=c−dKK(s),
稱在該區間尺度協變。
若:
dK=0,
則為尺度不變。
7.4 異常尺度
若:
K(s)∼s−dKL(s)
且 L(s) 含對數、震盪或交叉尺度,稱有異常尺度修正。
7.5 尺度發散
需區分:
局部小尺度發散
s→0,K(s)→∞.
大尺度累積發散
s→∞,K(s)→∞.
正規化後發散
sdKK(s)→∞.
三者不是同一現象。
7.6 尺度窗口
實驗中只能觀察:
s∈[smin,smax].
有限窗口中的冪律擬合不能自動推出真正極限律。應報告:
- 擬合窗口;
- 替代模型;
- 置信區間;
- 離散化下限;
- 有限尺寸效應。
第八章 方向曲率與各向異性
8.1 方向域
方向可以是:
- 單位切向量;
- 二維切平面;
- 圖邊方向;
- 閉路形狀;
- 頻譜模式;
- 因果方向;
- 索引精細化方向。
記為:
ξ∈Ξx.
8.2 方向包絡
κmax(x)=ξ∈Ξxsupκ(x,ξ),
κmin(x)=ξ∈Ξxinfκ(x,ξ).
若曲率可正可負,需分別報告絕對包絡與符號包絡。
8.3 各向同性
若:
κ(x,ξ)
與 ξ 無關,稱對該方向域各向同性。
8.4 各向異性指標
在正值且有正下界時,可定義:
A(x)=κmin(x)κmax(x).
若存在零或負值,此比例可能失效,應改用:
Arange=κmax−κmin
或譜半徑。
8.5 方向平均的危險
平均:
Eξ[κ(x,ξ)]
可能因正負抵消而接近零,卻存在很大的方向包絡。
因此:
平均平坦⇒方向平坦.
8.6 方向採樣缺口
有限方向樣本:
ΞN⊂Ξ
只能得到:
ξ∈ΞNmaxκ(ξ)≤ξ∈Ξsupκ(ξ).
若沒有方向覆蓋或 Lipschitz 證書,不能從有限最大值推出全方向上界。
第九章 狀態曲率、算子曲率與查詢曲率
9.1 算子層
完整閉路作用:
Hγ−I.
或局部曲率算子:
R(u,v).
這是最接近完整作用結構的一層。
9.2 狀態層
Kγ(v)=σ(γ)Δ(v,Hγv).
它依賴測試狀態。
9.3 單位球包絡
對線性空間,可定義:
Kγunit=∥v∥=1supKγ(v).
在合適範數下,它與算子範數相關。
9.4 查詢層
Kγ,q(v)=σ(γ)dY(q(v),q(Hγv)).
9.5 分離查詢族
若:
q(u)=q(v)∀q∈Q
推出:
u=v,
則 Q 分離狀態。
若查詢族還能分離算子作用:
q(H1v)=q(H2v)∀q,v
推出:
H1=H2,
才有可能由查詢曲率族恢復完整 holonomy。
9.6 查詢收縮
若:
q
為 $$L_q$$-Lipschitz:
Kγ,q(v)≤LqKγ(v).
小查詢曲率不推出小完整曲率,除非存在逆下界。
第十章 有限影曲率
10.1 理想曲率與有限影曲率
理想層:
K∞.
有限影層:
Kλ.
必須區分兩條路:
路 A:先算曲率再投影
K∞PλPλ(K∞).
路 B:先投影系統再算曲率
G∞ΠλGλCurvKλ.
10.2 有限影交換缺陷
Eλshadow=dK(Pλ(K∞),Kλ).
10.3 假平坦
若:
Kλ=0
但:
K∞=0,
稱有限影假平坦。
常見原因:
- 閉路在投影中坍縮;
- 方向被刪除;
- 非交換算子被壓成標量;
- 查詢對 holonomy 失明;
- 精度不足。
10.4 假曲率
若:
K∞=0
但:
Kλ=0,
稱有限影假曲率。
原因可能是:
- 離散化不相容;
- 投影與傳輸不交換;
- 數值積分誤差;
- 邊界黏合錯誤;
- 重建器路徑依賴。
10.5 符號反轉
有限影甚至可能:
sgnKλ=sgnK∞.
因此正負曲率分類也需投影證書。
10.6 有限影契約
任何有限影曲率至少攜帶:
CurvShadowλ=(h,λ,Γλ,Hλ,Kλ,Eλshadow,Certλ,Provλ).
第十一章 投影、平均與極值的不交換
11.1 最大值與投影
一般:
ξsupPλK(ξ)=PλξsupK(ξ).
投影可能刪除最大曲率方向。
11.2 平均與非線性純量化
對非線性大小泛函:
N(E[H])=E[N(H)].
11.3 粗化與 holonomy
一般:
Jλμ(Hγμ)=Hpλμγμ.
11.4 對數與群乘積
若 holonomy 位於非交換 Lie 群:
log(H2H1)=logH2+logH1
一般成立,並有交換子修正。
因此把閉路角度直接相加只適用於交換或小量近似。
11.5 非交換缺陷
可定義:
C(Φ,Ψ;K)=d(ΦΨK,ΨΦK).
它衡量轉換順序的重要性,亦可成為高階曲率的輸入。
第十二章 曲率包絡與摘要
12.1 包絡
對索引子集:
B⊆Acurv,
定義:
κ(B)=a∈BsupN(K(a)).
12.2 下包絡
κ(B)=a∈BinfN(K(a)).
12.3 分位曲率
若索引域帶測度:
μ,
可定義曲率分位數:
Qp(K).
它適合重尾分布,避免少數極端值支配平均。
12.4 曲率熵
對離散化曲率分布:
pi,
可定義:
HK=−i∑pilogpi.
此量描述曲率分布的分散程度,不是幾何曲率本身。
12.5 摘要不可逆
均值、最大值、分位數與熵是不同摘要。任何一個都不能一般地恢復完整方向—尺度—投影曲率場。
第十三章 多軸發散
13.1 軸路徑
令:
D
為有向集合,定義軸路徑:
η:D→Acurv.
例如:
η(n)=(x,sn,ξn,[γn],vn,qn,gn,λn,rn,tn,mn).
13.2 路徑發散
若:
N(K(η(d)))→∞,
稱沿 η 路徑發散。
這只證明存在一條發散路徑。
13.3 單軸發散
固定除某一軸之外的全部分量。例如尺度發散要求:
s→0
時其餘型別與控制域相容。
13.4 聯合發散
若多個軸共同變化:
(s,λ,r)→(0,∞,∞),
必須說明耦合律,例如:
λ=λ(s),r=r(s).
不同耦合路徑可能得到不同極限。
13.5 一致軸向發散
設 Bd 為某軸的尾部區域。若:
a∈BdinfN(K(a))→∞,
稱一致發散。
它比存在一條路徑發散強得多。
13.6 共尾包絡發散
若:
∀d0,∀M,∃d⪰d0:κ(Bd)>M,
稱共尾包絡發散。
這是無限曲率形式論的主要量詞型別。
13.7 路徑依賴無限
若存在兩條共尾路徑:
η1,η2
使:
K(η1(d))→∞,
但:
K(η2(d))
有界或收斂到零,稱無限曲率具路徑依賴。
此時不能寫無條件的:
K→∞.
第十四章 多軸曲率簽章
14.1 曲率簽章
定義:
Σcurv=(Σs,Σξ,Σλ,Σq,Σr,Σt,Σtop,Σgauge).
其中分別記錄:
- 尺度行為;
- 方向行為;
- 投影/精細化行為;
- 查詢可見性;
- 高階行為;
- 時間行為;
- 全域拓樸類;
- 規範不變資料。
14.2 軸行為標籤
每一軸可標記:
{zero,bounded,convergent,oscillatory,unbounded,non-closable,undefined}.
14.3 無限曲率型別向量
與前篇七型無限曲率對接:
IC=(Ivalue,Iblowup,Idir,Iop,Iref,Iproj,Ihigher).
每一分量是:
14.4 簽章的用途
曲率簽章用於比較系統,而不是壓成單一排行榜。
兩個系統可能:
- 同樣數值有界;
- 但一個方向高度異質;
- 一個投影不可封閉;
- 一個高階封閉;
- 一個只對特定查詢可見。
第十五章 基本定理與命題
15.1 規範不變性
定理 15.1
若:
Hγ′=gHγg−1
且:
N(gKg−1)=N(K),
則曲率大小剖面對規範變換不變。
15.2 雙邊有界變換保持無界性
定理 15.2
若:
cN(K)≤N′(ΦK)≤CN(K)
且:
0<c≤C<∞,
則:
N(Kn)→∞
當且僅當:
N′(ΦKn)→∞.
15.3 單向收縮不反映無界性
若只有:
N′(ΦK)≤CN(K),
則原曲率無界不推出投影曲率無界。
投影可把任意大方向壓成零。
15.4 精確交換保持平坦
若轉換方塊精確交換,且上游完整曲率為零,則兩條下游路徑均得到零。
但若轉換本身加入模型生成項,該命題不適用。
15.5 一致有限影收斂保持有界
若:
wsupd(Kλ(w),K∞(w))→0
且:
wsup∥K∞(w)∥<∞,
則足夠細的有限影曲率族一致有界。
15.6 有限影有界不推出理想有界
即使所有有限层:
wsup∥Kλ(w)∥<∞,
若上界依 λ 增長或投影不具逆穩定性,理想曲率仍可無界。
15.7 分離查詢恢復狀態平坦
若查詢族分離狀態,且對所有:
q∈Q
有:
q(Hγv)=q(v),
則:
Hγv=v.
若要推出:
Hγ=I,
還需對所有狀態成立。
15.8 路徑發散不推出一致發散
存在單一發散軸路徑,不推出整個尾部曲率下界趨近無限。
15.9 單調多軸包絡判準
若多軸包絡對偏序單調,且任意共尾路徑皆可達到任意大包絡值,則無界型別對共尾重參數穩健。
第十六章 典型誤分類
16.1 把最大方向曲率當平均曲率
ξsupK(ξ)
與:
Eξ[K(ξ)]
回答不同問題。
16.2 把查詢零曲率當算子平坦
Kq=0
可能只是查詢盲區。
16.3 把離散假曲率當本體曲率
未報投影交換缺陷時,有限網格上的 holonomy 可能只是離散殘差。
16.4 把規範係數爆破當曲率爆破
聯絡係數無界不必表示曲率不變量無界。
16.5 把尺度縮小與精細化混為一談
尺度:
s→0
與投影層:
λ→∞
是兩條軸。它們可以耦合,也可以獨立。
16.6 把方向增加當曲率增加
精細化後發現更多方向,只表示搜尋域擴張;除非在相容控制域中證明包絡共尾無界,不能稱曲率增加。
16.7 把高階數增加當高階曲率
寫出更多導數、更多層或更多態射,不自動產生非零高階 holonomy。
第十七章 示例
17.1 球面
球面高斯曲率在每點、每方向相同。其方向剖面各向同性,尺度化小閉路 holonomy 收斂到固定局部曲率。
此例的譜系較簡單:
- 方向軸平坦;
- 尺度軸收斂;
- 全域閉路 holonomy 依包圍面積;
- 合法座標變換下規範不變。
17.2 各向異性曲面
不同切方向具有不同法曲率或截面曲率。平均值可能溫和,最大方向則很大。
此例展示方向包絡不能由少數平均摘要替代。
17.3 非交換圖 holonomy
圖邊帶矩陣:
Ue.
兩條閉路使用相同邊集但順序不同:
Hγ1=U3U2U1,
Hγ2=U2U3U1.
若矩陣不交換,兩者不同。只記錄邊權總和會丟失曲率順序信息。
17.4 投影假平坦
理想系統有兩個獨立方向:
Hγ=(100eiθ).
若有限投影只保留第一分量,則:
Hγλ=1.
投影看到平坦,但完整系統非平坦。
17.5 有界但不可封閉譜系
存在無限方向:
ξn
且:
0≤K(ξn)≤1.
每個有限影只保留前 N 個方向。數值有界,但投影譜系不可有限封閉。
17.6 多軸路徑依賴
設:
K(s,λ)=1+λsλs.
若固定 λ 且:
s→0,
則:
K→0.
若:
λ=s−2,
則:
K→1.
若改為其他耦合,可能得到不同極限。這說明多軸極限必須標示路徑。
第十八章 有限影誤差帳本
18.1 誤差向量
Ecurv,λ=(Eloop,Etransport,Estate,Escale,Edirection,Equery,Egauge,Enumerical,Emodel).
18.2 各項含義
- Eloop:閉路被截斷、錯配或未閉合;
- Etransport:投影與傳輸不交換;
- Estate:測試狀態表示失真;
- Escale:面積/長度正規化錯誤;
- Edirection:未採樣方向;
- Equery:觀察盲區;
- Egauge:規範對齊問題;
- Enumerical:浮點、求解器、條件數;
- Emodel:模型版本或方程錯置。
18.3 不可直接相加
這些誤差可能位於不同空間。只能在指定傳播圖與共同量尺後建立總上界。
18.4 誤差譜系
每個誤差項也有自己的尺度、方向與投影剖面。若曲率增長與誤差增長同步,必須檢查是否為假發散。
第十九章 曲率譜系證書
19.1 節點證書
每個曲率節點至少包含:
- 完整索引標籤;
- 曲率型別;
- 閉路與尺度;
- 規範;
- 投影層;
- 狀態/查詢;
- 模型版本;
- 數值誤差。
19.2 箭頭證書
每個轉換箭頭包含:
- 定義域與值域;
- 是否可逆;
- 是否共軛/等距;
- Lipschitz 上下界;
- 是否任務相對;
- 交換缺陷;
- 來源與版本。
19.3 等價證書
聲稱兩個曲率描述等價時,需標明:
EqType∈{exact,gauge,bi-bounded,task,asymptotic,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:多軸路徑反例
形式化雙變數函數在不同共尾路徑取得不同極限。
第二十二章 開放問題
- 曲率譜系圖應使用普通範疇、雙範疇還是帶誤差的富集範疇?
- 不同型別曲率的共同比較空間是否存在自然構造?
- 算子譜與 holonomy 共軛類之間何時可互相恢復?
- 尺度曲率的正確齊次次數如何由閉路幾何自動推導?
- 多方向曲率可否用有限 frame 建立一致上界?
- 投影假平坦的最小對抗見證如何計算?
- 哪些查詢族可在有限成本下分離 holonomy 算子?
- 曲率交換缺陷是否應被提升為下一階曲率?
- 有限影曲率的 Kolmogorov width 如何定義?
- 多軸發散是否可由濾子或網的統一語言簡化?
- 路徑依賴無限與高階 holonomy 有何關係?
- 曲率簽章是否能成為不同模型的穩健比較接口?
- 如何區分曲率分布重尾與真正 supremum 無界?
- 規範不變純量是否足以保留非交換曲率的關鍵結構?
- 何種轉換保持精細化本質無限曲率的兩個條件?
- 投影不可封閉是否能由方向覆蓋數或 metric entropy 下界刻畫?
- 曲率譜系能否與信息糊的觀察纖維建立伴隨關係?
- 高階曲率塔中的跨階單位應如何定義?
- 模型版本箭頭何時是精細化,何時只是替換?
- 如何建立可公開複現的曲率譜系 benchmark?
第二十三章 結論
本文把曲率從單一數值提升為完整的帶索引轉換族。
一個正式曲率描述不是:
K=7,
而至少是:
K[x,s,ξ,[γ],v,q,g,λ,r,t,m].
這些索引分別控制:
- 在哪裡;
- 哪個尺度;
- 哪個方向;
- 哪類閉路;
- 對哪個狀態;
- 透過哪個查詢;
- 在哪個規範;
- 哪個投影/精細層;
- 哪個高階階數;
- 哪個時間;
- 哪個模型版本。
本文建立的曲率譜系圖把規範共軛、尺度重標、方向選取、狀態作用、查詢推前、閉路重參數、投影、精細化與高階提升放進同一有型語法。兩條轉換路徑若不一致,其差不再被籠統稱為「模型不同」,而可被定位為交換缺陷:
D□=d(Φ2Φ1K,Ψ2Ψ1K).
本文也釘死以下界線:
算子譜=方向剖面=尺度剖面=投影族=查詢族.
有限影可能造成假平坦、假曲率與符號反轉;查詢零曲率可能只是觀察盲區;平均曲率不能代替最大方向;路徑發散也不能代替一致或共尾發散。
因此,與上篇無限曲率形式論的接合可以寫成:
無限曲率聲明=完整曲率索引+指定變化軸+合法轉換族+共尾/一致量詞+投影與誤差證書.
換句話說,「曲率趨近無限」不能再是一個沒有索引的句子。必須明確說明:
- 是尺度趨零;
- 方向 supremum;
- 精細化層級增加;
- 算子譜無界;
- 投影誤差不可一致收斂;
- 還是高階曲率塔無法有限封閉。
本文最終的中心命題是:
曲率的本體信息位於整個轉換譜系; 任何單一純量都只是其中一個帶條件的有限影。
下一篇《索引信息論》將使用本文的有限影、查詢推前、方向盲區與投影不可封閉語言,正式定義:
- 觀察纖維;
- 曲率可辨識性;
- 曲率信息損失;
- 動態信息糊;
- 無限曲率在有限觀察者中的可見與不可見條件。
參考文獻與理論接口
內部文件
- Neo.K × Aletheia,《精細化算子論:區分度、解析度、維度與可回溯提升》,EML-ROT-2026-v0.1。
- Neo.K × Aletheia,《差度曲率論:閉路傳輸、非閉合缺陷與廣義 Holonomy》,EML-DBCT-2026-v0.1。
- Neo.K × Aletheia,《無限曲率形式論:精細化無界、投影不可封閉與高階遞歸》,EML-FIC-2026-v0.1。
- Neo.K × Aletheia,《投影計算論:無限維索引的有限表示、收斂與失真證書》。
- Neo.K × Aletheia,《索引幾何學:同一性拓樸微積分中的座標、投影與可計算性》。
外部理論接口
- 黎曼曲率張量、截面曲率、Ricci 曲率與純量曲率之間的 contraction 關係。
- Holonomy、規範共軛、Wilson loop 與 Ambrose–Singer 理論。
- 算子譜、無界算子與譜半徑。
- 多尺度分析、renormalization 與尺度律。
- Galerkin/有限元素投影、離散曲率與收斂分析。
- 各向異性幾何、方向包絡與有限方向採樣。
- 多變量極限、網、濾子與路徑依賴極限。
- 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