4次元正則ポリトープ（ポリコロン）とは：定義・歴史・6種（24セル含む）

4次元正則ポリトープ（ポリコロン）の定義・歴史と6種を図解で解説。希少な24セルの構造・対称性や直感的理解まで丁寧に紹介。

著者: Leandro Alegsa

22-01-2026 11:39

数学では、凸正則4ポリトープ（またはポリコロン）は、正則かつ凸である4次元（4D）ポリトープです。これは、3次元のプラトン固体や2次元の正多角形の4次元的な類似品であり、全ての頂点・辺・面・セル（3次元の「面に相当する要素」）が対称に並んでいます。

これらのポリトープは、19世紀半ばにスイスの数学者ルートヴィヒ・シュレフリによって初めて記述されました。シュレフリは、凸正則4ポリトープが正確に6種類しか存在しないことを示しました。そのうちの5つは3次元のプラトン固体を高次元に拡張したもので、残る1つ（24セル）は3次元に対応する同等な図形を持たない特別なものです。

凸正則4ポリトープは、すべて同じ種類と大きさのプラトン固体である3次元セルの集合で囲まれています。これらのセルは、それぞれの面に沿って規則的に組み合わされ、全体として頂点・辺・面・セルについて完全な対称性（頂点トランジティブ、辺トランジティブ、面トランジティブ、セルトランジティブ）を持ちます。

定義の補足（シュレフリ記号など）

正則性は「旗（vertex–edge–face–cell の組）に関して対称」であることを意味します。4次元ではシュレフリ記号 {p,q,r} を用いて表現され、内部の「セル」は {p,q} で表され、各頂点の近傍（頂点図）は {q,r} になります。例：直方体の高次元版である正方位体（テッセラクト）は {4,3,3} と表され、セルは立方体 {4,3} です。

6種類の凸正則4ポリトープ（概要）

5-cell（4-単体） — シュレフリ記号 {3,3,3}。
セル数：5（正四面体）、頂点5, 辺10, 面10, セル5。自己双対（自己の双対）。対称群は Coxeter 型 A4（位数120）。
8-cell（テッセラクト、正方位体） — シュレフリ記号 {4,3,3}。
セル数：8（立方体）、頂点16, 辺32, 面24, セル8。双対は16-cell。対称群は B4（位数384）。
16-cell（四十面体体） — シュレフリ記号 {3,3,4}。
セル数：16（正四面体）、頂点8, 辺24, 面32, セル16。テッセラクトの双対。対称群は B4（位数384）。
24-cell（24セル） — シュレフリ記号 {3,4,3}。
セル数：24（八面体）、頂点24, 辺96, 面96, セル24。自己双対で、3次元のプラトン固体に対応する直接の類似物が存在しないため特異な存在。対称群は F4（位数1152）。
120-cell（120セル） — シュレフリ記号 {5,3,3}。
セル数：120（正十二面体）、頂点600, 辺1200, 面720, セル120。双対は600-cell。対称群は H4（位数14400）。
600-cell（600セル） — シュレフリ記号 {3,3,5}。
セル数：600（正四面体）、頂点120, 辺720, 面1200, セル600。120-cell の双対。対称群は H4（位数14400）。

特徴・性質

正則性：これらは頂点・辺・面・セルの全てについてトランジティブであり、任意の旗を他の旗へ移す対称変換が存在します。
シュレフリ記号 {p,q,r} の意味：セルは {p,q}（p角形面が q 個集まる多面体）、頂点図は {q,r} です。つまり、p は面の多角形の辺数、q はそれらが面で何個集まるか、r はその面がセルで何個集まるかに対応します。
双対性：5-cell と 5-cell（自己双対）、テッセラクト ⇄ 16-cell、120-cell ⇄ 600-cell、24-cell は自己双対です。
オイラー数：凸な4ポリトープでは一般に χ = V − E + F − C = 0 が成り立ちます（ここで V: 頂点数, E: 辺数, F: 面数, C: セル数）。上の各例でもこの関係が満たされます。
対称性とコクセター群：各正則4ポリトープは対応するコクセター群（A4, B4, F4, H4 など）によって説明され、その群の位数は対称性の大きさを示します。

可視化と応用

4次元の直感的理解のために、以下のような方法が用いられます：

シュレーゲル図（Schlegel diagram）：4次元ポリトープを透視投影して、内部のセル構造を3次元に落とし込んだ図。
射影（正投影や立体投影）：3次元空間や2次元平面への投影で構造を可視化。
座標表示：正規化された頂点座標を用いることで、代数的に性質を調べることができます（例：テッセラクトの頂点は ±1 を成分に持つ4次元ベクトルなど）。

これらは幾何学・結晶学・群論・位相幾何学など理論的研究において重要であり、コンピュータグラフィックスや可視化の教材としても用いられます。

参考・発展

より深く学ぶには、コクセター群の理論、シュレフリ計算、及び高次元多面体のトポロジー（多様体としての性質）を合わせて学ぶと理解が進みます。各多胞体の具体的な頂点座標や射影図は多くの文献やオンライン資源で示されており、ソフトウェアによる3D/4D可視化も活用できます。

プロパティ

以下の表は、6つの凸型正多項式の特性を示したものです。これらのポリコラの対称群はすべてコクセター群であり、その記事に記載されている記法で与えられています。群の名前の後の数字は、その群の次数です。

名前	ファミリー	シュラッフィーシンボル	頂点	エッジ	顔	細胞	頂点の数値	デュアルポリトープ	対称的なグループ
ペンタコロン 5- セルペンタトープハイパーピラミッドハイパー四面体 4-シンプレックス	シンプレックス (n-simplex)	{3,3,3}	5	10	10 トライアングル	5 四面体	四面体	(セルフデュエル)	A₄	120
テッセラクトオクタコロン 8 セルハイパーキューブ 4キューブ	超立方体 (N-cube)	{4,3,3}	16	32	24 スクエア	8 キューブ	四面体	16セル	B₄	384
ヘキサデカチョロン 16面体 orthoplexhyperoctahedron 4-orthoplex	クロスポリトープ (n-orthoplex)	{3,3,4}	8	24	32 トライアングル	16 四面体	八面体	テッセラクト	B₄	384
イコシテトラコロン 24- セロクタプレックスポリオクタヘドロン		{3,4,3}	24	96	96 トライアングル	24 八面体	キューブ	(セルフデュエル)	F₄	1152
Hecatonicosachoron 120-cel ldecaplex hyperd odecahedronpolydosechedron		{5,3,3}	600	1200	720 ペンタゴン	120 正十二面体	四面体	600セル	H₄	14400
ヘキサコシコロン 600 ケルテトラプレックス多面体ポリ四面体		{3,3,5}	120	720	1200 トライアングル	600 四面体	アイコサヘドラ	120セル	H₄	14400

これらの図形の境界は、位相的にはオイラー特性が0である3つの球に相当するので、オイラーの多面体の公式の4次元的な類似性があることになります。

N 0- N +1 N 2- N = {{30displaystyle N_{0}-N_{1}+N_{2}-N_{3}=0,}}。 $N_{0}-N_{1}+N_{2}-N_{3}=0\,$

ここで、N_kはポリトープのk面の数を表しています（頂点は0面、辺は1面など）。

ビジュアライゼーション

以下の表は、これらのポリトープの2次元投影図です。他にも様々な可視化が下記の他のサイトで見られます。コクセター・ディンキン図のグラフは、シュレフリ記号の下にも示されています。

5セル	8セル	16セル	24セル	120セル	600セル
{3,3,3}	{4,3,3}	{3,3,4}	{3,4,3}	{5,3,3}	{3,3,5}

ペトリポリゴンの中にワイヤーフレームによる正射影を入れる。

ソリッド正射影
四面体エンベロープ (セル/頂点中心)	立方体エンベロープ (セルセンター方式)	八面体エンベロープ (頂点中心)	クボ八面体エンベロープ (セル中心型)	切られた菱形三面体の円錐形（セルセンター）。	ペンタキスの正十二面体エンベロープ（頂点集中型）
ワイヤーフレーム・シュレーゲル図（パースペクティブ・プロジェクション）
(Cell-centered)	(Cell-centered)	(Cell-centered)	(Cell-centered)	(Cell-centered)	(頂点を中心とする）。
ワイヤーフレーム立体視（ハイパースフェリカル）