Mathematical Invariance｜次元と構成要素による数学的普不変量性の最小記述

空間の記述をいかに簡略化（抽象化）し、本質を抽出するかにおいて、Mathematical Invariance（数学的普不変量性）は重要な概念です。

1. ヴォエヴォドスキーの不変量の順序

ヴォエヴォドスキーは講義で、空間を判別するための「最も基本的な2つの不変量」としてこれらを挙げています。

1. Dimension（次元）:まず対象が「点（0次元）」なのか「線（1次元）」なのか「面（2次元）」なのかを定義します。これは対象の「広がり方の質」を決定する最初のフィルタです。
2. Number of pieces（ピースの数π₀  $$）:次元が定義された後、その空間が「いくつの独立した塊に分かれているか」を数えます。

なぜこの順序なのか？

講義の中で彼は、連続写像（Continuous map）を用いて「道（Path）」を定義し、その後に「2つの点が同じピースに属するとはどういうことか」を説明しています。

• 次元の導入: ユニットインターバル（0から1までの線）という「1次元の道具」を持ち出す。
• ピースの判定: その道具を使って点と点を結べるかどうかで、ピース（π₀）を判定する。

つまり、「1次元（線）という概念」を先に定義しなければ、「ピースが分かれている（線で結べない）」という判定そのものが成立しないため、論理的な順序として次元が先に来るのです。

2. カテゴリ論による「最小記述」への飛躍

ヴォエヴォドスキーの理論は、これらをカテゴリー論（Category Theory）の言葉で書き換えた点にあります。空間の内部構造（無限の点の集合）を無視し、「外部との関係性（射/Morphism）」だけで対象を記述する手法を提示しています。

• 点（Point）の記述: 「任意の対象から唯一つの射が存在する対象」と定義。
• ピース（π₀）の記述: 「点」と「インターバル」という最小限のパーツとの関係性だけで定義。

これは「最小記述長（MDL）」か？

ヴォエヴォドスキーの試みは、情報の記述に関する究極の効率化と言えます。

• 従来の記述: 空間を構成する無限個の点の座標をすべて記述しようとする（情報量が爆発する）。
• 不変量による記述: 「次元はn、ピースの数はm、高次の穴の構造は…」という数個のラベル（不変量）だけで対象を特定する。

彼が提唱した「モティヴィック・ホモトピー論」は、幾何学的な直感を代数（方程式）の世界に持ち込むためのブリッジです。これは、複雑な代数系を「ホモトピー不変量」という短いコードに圧縮して理解しようとする試みであり、情報理論的な観点からは、対象の本質を突いた「最小記述」の探求であると解釈できます。

結論

ヴォエヴォドスキーの視点に立てば、Mathematical Invariance（数学的不変性）とは、対象が持つ「冗長性」をすべて削ぎ落とした後に残る「純粋な構造のコード」です。

1. まずDimension（次元）という「型の階層」を決め、
2. 次にNumber of pieces（ピースの数）という「個体数」を数える。
3. 次元の階層（h-level）と、次元の構成要素(π0)を決めれば、全てのものは分類でき、相互関係は変量（揺らぎとして）任意の方法で記述できる。

このミニマルな手順が、数学的最小記述長であると証明されています。