LUB と包摂半順序束の数学

初級編で LUB(Least Upper Bound)を直観的に扱いました。本章では半順序集合・束(lattice)・Galois connection という秩序代数の道具で、LUB を数学的に精密化します。

半順序集合 (P, ≤)

集合 $P$ と二項関係 $\le$ が次を満たすとき 半順序集合(partially ordered set, poset)と呼びます。

1. 反射律:$x \le x$
2. 反対称律:$x \le y$ かつ $y \le x$ ⇒ $x = y$
3. 推移律:$x \le y$ かつ $y \le z$ ⇒ $x \le z$

「全順序」と違い、比較できない要素(非可比)が存在しうる。例:整数の整除関係($2 \le 6$ だが $2$ と $3$ は非可比)。

上界・下界

部分集合 $S \subseteq P$ に対し:

• 上界:$u \in P$ で $\forall s \in S, s \le u$ を満たすもの
• 下界:$\ell \in P$ で $\forall s \in S, \ell \le s$ を満たすもの

上界の集合の 最小要素 が 最小上界(LUB / supremum):

$$ \mathrm{LUB}(S) = \sup S = \min\{u \in P : \forall s \in S, s \le u\} $$

下界の集合の 最大要素 が 最大下界(GLB / infimum):$\inf S$。

束(Lattice)

任意の二元集合 $\{x, y\}$ に対して LUB と GLB が 常に存在する poset を 束と呼びます。

• $x \vee y := \mathrm{LUB}(\{x, y\})$(join)
• $x \wedge y := \mathrm{GLB}(\{x, y\})$(meet)

任意の有限部分集合に対して LUB / GLB が存在する場合は 完備束(complete lattice)。包摂半順序束(包摂による束)はこの構造を持つ。

概念束(Concept Lattice)

T 理論の包摂半順序束は、概念の包含関係:

• 「イヌ」 $\le$ 「哺乳類」 $\le$ 「動物」 $\le$ 「生物」 $\le$ $\top$(全有概念 / 空)
• 「イヌ」と「ネコ」の LUB = 「哺乳類」(両方を包む最小の概念)
• 「イヌ」と「ネコ」の GLB = $\bot$(両方に含まれる最大の概念 = 空集合 / 矛盾)

トップ $\top$ = すべてを包む最終概念。T 理論ではこれが 空(śūnyatā) に対応(初級編 §6 参照)。

なぜ LUB は「最小」上界か(再検討)

「最大」ではなく「最小」を取る数学的理由:

• 最大上界は常に $\top$($\to$ すべての集合に対して同じ・情報量ゼロ)
• 最小上界は集合に固有 → 集合の構造を保ったまま抽象化

これは情報理論的に「最小限の情報損失で抽象する」操作です。

Galois Connection

LUB と GLB の双対関係を扱う強力な道具が Galois connection(ガロア対応)です。

二つの poset $A, B$ の間に二つの順序保存写像:

$$ f : A \to B, \quad g : B \to A $$

があり、次を満たす:

$$ f(a) \le_B b \iff a \le_A g(b) \quad \text{(任意の } a, b \text{ で)} $$

これが Galois connection(随伴関係)。

T 理論的解釈:

• $A$ = 具体的事物の集合、$B$ = 抽象的概念の集合
• $f$:具体 → 抽象(抽象化作用素)
• $g$:抽象 → 具体(具体化作用素)
• 関係:具体側で 'a が達成される' ⇔ 抽象側で 'g(b) が要請される'

双対原理の数理的根拠

初級編 §「双対原理」で「下降 ∧ 上昇」と書きました。これは Galois connection の 抽象化↑ と 具体化↓ に対応します。

• 下降(具体化):目標(抽象)を具体的行動に降ろす($g$)
• 上昇(抽象化):具体的経験から共通する目的(LUB)を取り出す($f$)

両方が 対(つい)で動く時、認知主体の評価関数(主観評価 Ṽ)が安定して下がる。これが双対原理の数理的根拠です。

完備束のトップ要素 ⊤

完備束で 任意の(無限の)部分集合に対して LUB が存在する時、全集合の LUB:

$$ \top = \sup P $$

が存在する。これがトップ要素 = すべてを包摂する最終概念。

T 理論ではこれが 空(śūnyatā / 包摂束のトップ) として位置づけられます。形式的には:

• $\top$ は誰よりも上にある(任意の $x$ について $x \le \top$)
• 情報量が最大(全要素を区別しない)
• 区別がない = 空(分別がない)

仏教的「空」と数学的トップ要素が 形式的に同型である、というのが T 理論第 18 章双対原理の含意です(初級編 §6 / §8 参照)。

LUB の存在性

任意の poset に LUB が存在するとは限りません。完備束でない poset では:

• 上界が存在しない場合がある(無限に伸びる)
• 上界の集合に最小要素がない場合がある(下に閉じない)

T 理論で LUB を扱う時は、包摂半順序束は完備束であることを暗黙に仮定しています。これは:

• 概念の体系には究極の上限(空)が存在する
• 任意の集合の抽象化は到達可能

という構造的仮定です。

抽象度上昇の Lyapunov 関数

定理 3(LUB 収束)では次の Lyapunov 関数を使います:

$$ \mathcal{L}_A = \sum_k (1 - \alpha_k(\mathbf{S})) $$

ここで $\alpha_k(\mathbf{S})$ は集合 $\mathbf{S}$ の k 次抽象度(階層の深さ)。

抽象度が上がる = $\alpha_k$ が増える = $\mathcal{L}_A$ が減る → B.1 補題で指数収束。

抽象度上昇の機構:

1. 集合 $\mathbf{S}$ から共通する性質を抽出
2. その性質を新しい概念 $c$ として導入
3. $c$ は $\mathbf{S}$ の上界(各要素が $c$ の特殊化)
4. 最小上界 = LUB として $c$ を選択
5. 階層の高さが 1 段上がる → $\alpha_k$ 増

これを繰り返すと 階層が単調に上昇 → ⊤(空)に向かう。

抽象度の限界 — 過度な抽象化

数理的には抽象度は無制限に上げられますが、実用的には 過度な抽象化は意味を失います。

• 「自分は何のためにここにいるか」(個人の wh)→ 有用
• 「人類とは何か」→ 抽象すぎて行動指針にならない
• 「存在とは何か」→ 哲学的だが日常意思決定に効かない

T 理論的には、抽象度上昇は 無限に続けるのではなく、自分の意思決定を整える範囲で停止するのが運用上正しい。これは 双対原理(下降との対)が本質的な理由です。

包摂半順序束の応用例

例 1 — Want-to の階層

「健康になりたい」「経済的に余裕」「家族と良い関係」 → LUB = 「自律的に生きる」

LUB が定まると、各 want-to は補完的に機能。

例 2 — 組織のミッション

メンバーの動機 → LUB = ミッション → High Shared 結合の数理的基盤(定理 6B)。

例 3 — 学問領域

「物理学の式」「経済学の式」「神経科学の式」 → LUB = 「動的システム理論」(構造同型を保つ抽象)。

T 理論自身がこの種の LUB として位置づけられる、と読めます。

次章への接続

ここまでで定理 6A・6B・LUB の数理が揃いました。次章では T.0 三言語同型 ── Self / Ego / TCZ が同じ構造を別言語で書いていることの 証明スケッチを扱います。Galois connection が三言語の橋渡しの基本道具となります。