相対的特殊解としてのinvariantと絶対的invariant

Decrypt history, Encrypt future™

相対的特殊解としてのinvariantと絶対的invariant

相対的invariantsには素数、リーチ格子、次元、圏(site,sheaf,stratum,fibre,stack, kan complex, horn, filler, operad)などがある。一方、categoric simplexは絶対的invariantである。

相対的不変量(Relative Invariants)と、絶対的不変量(Absolute Invariant)としての「単体(Simplex)」を分ける境界線は、「その概念が成立するために、他の構造や前提を必要とするか否か」にあります。
TANAAKKが提唱するGAAS™オントロジーの文脈において、なぜsimplex以外が「相対的」とされるのか、その論理的な背景を解説します。

1. 依存性の有無(構造の階層)

相対的と定義されているもの(素数、層、スタック、Kan complexなど)は、すべて「より基礎的な前提」を必要とします。

  • 素数: 「自然数」という数の体系(環の構造)が前提にあって初めて定義されます。
  • 層 (Sheaf) や スタック (Stack): これらは「底空間(Base space)」や「サイト(Site)」の上に乗るものです。下の空間が変われば、その振る舞いも変わるため、空間に対する相対的な存在です。
  • Kan complex / Horn / Filler: これらは「単体的集合」という大きな枠組みの中での特定の性質や部品を指します。つまり、「単体(Simplex)」が組み合わさってできた構造物の中での定義に過ぎません。

2. Simplexの「原子性」と「自己完結性」

一方で、categoric simplex(単体)が絶対的とされるのは、それが幾何学や圏論における「最小の情報の単位(原子)」だからです。

  • 構成要素としての絶対性: 0次元は点、1次元は線、2次元は三角形……という単体の列は、他の何物にも依存せず、それ自体が次元と形状の定義そのものです。
  • すべての構造の起源: 現代の数学(特に高次圏論や代数トポロジー)では、複雑な空間や概念(相対的不変量たち)を分解していくと、最終的には「単体の組み合わせ(単体的集合)」に辿り着きます。
    *
  • 「ものさし」そのもの: 他の不変量が「ものさしで測られた結果」であるのに対し、Simplexは「空間を測るためのものさし(基準)そのもの」であるため、比較対象のない絶対的な存在とみなされます。

3. オントロジー的な解釈:観測者と対象

この思想をビジネスやシステム設計に当てはめると、より分かりやすくなります。

  • 相対的不変量(素数や圏など): これらは「特定の市場」「特定のプラットフォーム」「特定のルール」の中での最適解や不変法則です。状況が変われば(基底が変われば)、その価値や意味も相対的に変化します。
  • 絶対的不変量(Simplex): これは、どんな市場や技術基盤であっても変わることのない「論理の最小単位」を指します。

結論

Simplex以外の要素が「相対的」とされる理由は、それらが「Simplexによって組み立てられた、二次的・派生的な構造物(またはその性質)」だからです。
「何によって形作られているか」を突き詰めたとき、最後に残るinerasableとしての矢(Simplex)だけが絶対的であり、それによって記述される他のすべての高度な数学的対象は、その原理に依存しているがゆえに「相対的」である、という厳格な階層構造を示しています。