30. 離
《易经》单卦映射页
i-ching
hexagram-dossier
cultural
omega
第 30 卦 離，二进制
101101，需经 fold 进入稳定域，归属 变革与重构 / 明照与分辨。
结构签名
- 卦符：䷝
- 二进制：
101101 - 下卦：離 /
101 - 上卦：離 /
101 - 阳爻数：4
- 连续阳对数：1
- 最长阳串：2
X_6状态：需经 fold 进入稳定域- 互补卦：第 29 卦 /
010010 - 综卦：第 30 卦 /
101101 - 所属类别：变革与重构 / 明照与分辨
映射定位
在当前的 Omega 文化映射计划里，第 30 卦 離 首先不是被当作抽象象义，而是被当作二元词 101101 来读取。该卦不在 X_6 内，因此其第一层数学位置是原始 6-bit 词，而不是稳定词。 它虽不是极端全阳，但已出现连续阳段，因此其形式位置是 fold 之前的临界或过载态。 它目前横跨的主题类别是 变革与重构、明照与分辨，因此其最强对应主要集中在 fold-operator、fiber-structure、dynamical-systems、spectral-theory、modular-tower-inverse-limit、rate-distortion-information-theory 这些方向上。
对应说明
这一页保留原文，不是为了把卦辞和爻辞逐句翻译成公式，而是为了固定该卦的语义张力实际落在什么结构位置上。它不直接落在 X_6 内，因此原文在这里首先对应的是原始词的极端、临界或过载位置，数学上要先经过 Fold : Word 6 → X_6 才能进入稳定域。 在 Lean 锚点上，本页最强地落向 fold_is_idempotent 与 fold_fixes_stable。
Omega 对象
Word 6 = {0,1}^6Fold : Word 6 → X_6进入稳定域的通道- 当前主方向：fold-operator、fiber-structure、dynamical-systems、spectral-theory、modular-tower-inverse-limit、rate-distortion-information-theory
原文锚点
離：利貞。亨。畜牝牛，吉。 初九：履錯然，敬之无咎。 六二：黃離，元吉。 九三：日昃之離，不鼓缶而歌，則大耋之嗟，凶。 彖曰： 離，麗也；日月麗乎天，百谷草木麗乎土，重明以麗乎正，乃化成天下。柔麗乎中正，故亨；是以畜牝牛吉也。 象曰： 明兩作離，大人以繼明照于四方。
Omega 定理锚点
fold_is_idempotent[Omega.Frontier.ConditionalArithmetic]：theorem fold_is_idempotent (w : Word m) : Fold (Fold w).1 = Fold w。说明 fold 一旦把原始词折回稳定域，再施一次不会继续改写。fold_fixes_stable[Omega.Frontier.ConditionalArithmetic]：theorem fold_fixes_stable (x : X m) : Fold x.1 = x。说明已经稳定的卦象在 fold 下保持不动，适合区分 stable word 与 raw word。fold_is_surjective[Omega.Frontier.ConditionalArithmetic]：theorem fold_is_surjective : Function.Surjective (Fold (m。说明每个稳定态都可作为某个前像族的代表点，适合解释 fiber 结构。maxFiberMultiplicity_bounds[Omega.Combinatorics.FibonacciCube]：theorem maxFiberMultiplicity_bounds (m : Nat) : m / 2 + 1 ≤ X.maxFiberMultiplicity m ∧ X.maxFiberMultiplicity m ≤ Nat.fib (m + 2)。给出最大 fiber 多重性的上下界，适合解释哪些稳定卦吸纳能力更强。maxFiberMultiplicity_eight[Omega.Folding.MaxFiberHigh]：theorem maxFiberMultiplicity_eight : maxFiberMultiplicity 8 = 8。给出窗口 8 上的精确最大 fiber 多重性，适合解释吸纳规模的可计算性。
原文来源
- 本仓库原文文件：
texts/yijing/hexagram_30_li.txt - 原文来自维基文库《周易》分卦页，经规范化后入库。
小结
这一页已经构成逐卦层的正式发布单元：它把原文锚点、位串结构、类别交叉与定理锚点放在同一坐标系里，重点不是替代传统注疏，而是展示该卦与 Omega 数学结构之间最可点名的映射位置。