ペンタコロン（4次元単体）— 4次元空間における正五胞体

構造と性質

組合せ論的には、ペンタコロンは5個の頂点、10本の辺、10個の三角形面、および5個の四面体胞から構成される。各3次元胞は正四面体であり、各三角形面はちょうど2個の胞に属する。シュレーフリ記号は{3,3,3}であり、完全に正則な配置において各辺の周囲に3個の三角形が集まることを示す。ペンタコロンは自己双対であり、その対称群は5個の対象の置換群、すなわち対称群S5と同型なコクセター群A4である。

表現と座標

正4次元単体は、4次元ユークリッド空間内で一般位置にあり、すべての点対間の距離が等しい5点の凸包として実現できる。標準的な構成では、R5内の4次元超平面に5個の等距離点を置く。たとえば、5本の標準基底ベクトルからその重心を取り除く方法がある。このとき得られる4本の線形独立な変位ベクトルは、正ペンタコロンを張る。この構成から、すべての辺の長さが等しいこと、またこの図形が反転による中心対称ではなく、置換対称性の範囲でのみ中心対称的であることが直接分かる。

可視化と射影

人間の知覚は3つの空間次元に限られるため、ペンタコロンは通常、3次元への射影、シュレーゲル図、アニメーションによる回転を通して理解される。典型的な射影では、中心の四面体を、その各面に接続した4個の四面体が取り囲む形で描き、隣接関係と完全な対称性を強調する。シュレーゲル図は4次元多胞体を3次元空間へ射影するもので、1個の胞が外側の境界として現れ、その内部に残りの胞の連結した配置が収まる。

位相的・組合せ論的な注記

凸4次元多胞体であるペンタコロンは、その境界について交代和の関係V − E + F − C = 0を満たす。ここでは5 − 10 + 10 − 5 = 0である。これは4次元多胞体を境界とする3次元球面のオイラー＝ポアンカレ標数の現れである。自己双対性とは、双対変換のもとで頂点のパターンが胞のパターンに対応することを意味する。その単純な組合せ論的構造により、ペンタコロンは4次元空間の単体分割における基本的な構成要素となる。

歴史、名称と意義

高次元の正多胞体への関心は、3次元を超える次元における正図形の分類研究とともに19世紀にさかのぼる。pentachoronやpentatopeといった名称は、ギリシア語の語根と低次元単体との類推を反映している。対称性や群作用に関する理論的関心に加え、4次元単体は、単体複体における単体としての代数的位相幾何学、高次元有限要素メッシュなどの数値手法、多胞体の組合せ論的研究において中心的な役割を果たす。

参考文献案内

正多胞体および高次元幾何学の入門的解説では、図、座標構成、群論的記述が提供される。関連情報として、幾何学の一般的な資料、正多胞体の概説、4次元単体に関する資料、4次元の可視化についての解説、ならびに関連する3次元構造としての四面体を詳述する項目を参照されたい。