正多胞体：定義、性質、次元別分類、歴史と応用

定義と主要な性質

形式的には、凸多胞体は、その自己同型群がフラグに推移的に作用するとき正則である。フラグとは、すべての次元の面からなる入れ子状の列である。非形式的には、これはその図形が頂点推移的、辺推移的、面推移的であることを同時に意味する。正多胞体の胞は正多胞体であり、頂点図形も正則である。多くの正多胞体は双対の組をなし、面と頂点を交換して得られる双対多胞体は、元の多胞体が正則ならば正則である。

次元による分類

正多胞体の族は、それが置かれる空間の次元に強く依存する。概要は次のとおりである。

• 2次元：無限に多くの正n角形（すべての整数 n ≥ 3 に対して）。
• 3次元：5つのプラトン立体（正四面体、立方体、正八面体、正十二面体、正二十面体）。
• 4次元：ペンタコロン（4単体）およびテッセラクトを含む、6種類の凸正4次元多胞体。
• n ≥ 5：n単体、n立方体（超立方体）、n直交多胞体（クロス・ポリトープ）の、ちょうど3つの族。

歴史、記法と拡張

正則図形の研究は、プラトン立体を扱った古代ギリシアにまでさかのぼる。19世紀、ルートヴィヒ・シュレーフリはこの概念を高次元へ拡張し、今日その名を冠する記号を導入した。その後、H・S・M・コクセターら数学者の研究により、現在用いられる対称性および群論的な枠組みが発展した。凸の例に加えて、3次元と4次元には非凸の正則星型多胞体が存在し、正則性の概念は充填や抽象多胞体にも一般化できる。

例、用途と注目すべき事実

正多胞体は多くの分野に現れる。代数学では対称性と群作用を説明し、計算幾何学と最適化では検証例を提供し、理論物理学と結晶学では模型として用いられる。著名な例にはペンタコロン（4単体）とテッセラクト（4立方体）がある。正多胞体は対称性の研究において中心的に重要であり、通常はシュレーフリ記号で記述される。また、5次元以上では凸正多胞体の種類が驚くほど限られている。

参考資料

• 正多胞体の概要
• 正多角形と2次元の例
• 多胞体：定義と基本的事実
• 次元の概念と「n」の意味
• 高次元幾何学の資料
• 正多面体（プラトン立体）
• 対称群とコクセター理論
• 頂点図形と胞の構造
• 凸正4次元多胞体
• ペンタコロン（4単体）の解説
• テッセラクト（4立方体）の解説