多胞体

初等幾何学における四次元超多面体("4-polytope") または多胞体（たほうたい、）は四次元の超多面体である。四次元超多面体は連結かつ閉な図形で、より低次の超多面体図形（頂点、辺、多角形面、多面体）から組み立てられる。各面はちょうど二つの胞に共有される。
多くの胞からなる図形という意味で多胞体とも呼ばれるが、「多胞体」を任意の超多面体を表す "polytope" の訳語としても用いることがあるため注意が必要である。以下、誤解の虞が無いならば、断りなく四次元超多面体の意味で多胞体と呼ぶことにする。
多胞体は二次元の多角形および三次元の多面体の四次元における対応物である。
位相的には、多胞体はに近い関係を持つ。例えば、三次元空間を充填するとの関係は、三次元立方体が無限正方形平面充填に関係するのと同様である。凸多胞体を「切ったり開いたり」して三次元展開図を作ることができる。
定義.
多胞体は四次元の閉じた図形で、頂点、辺、面、）から組み立てられる。胞は面の三次元版で、それ自身は一つの多面体になっている。多面体の辺がちょうど二つの面と接続されていたことと対応することとして、多胞体の各面はちょど二つの胞に接続する。任意の超多面体がそうであるように、多胞体の要素全体の成す集合を適当に分割して、それ自身多胞体を成す二つ以上の部分集合にすることはできない。その意味で多胞体は素であり、合成的なものではない。
もっともよく知られた多胞体は、テッセラクトとも呼ばれる正八胞体（立方体の四次元版）である。
図示法.
多胞体は四次元的な広がりを持つのだから三次元空間内では見ることができない。しかし、それを三次元空間内の情報から視覚的に推察するための図示方法がいくつか存在する。
位相的特徴付け.
与えられた多胞体の位相はそのベッチ数およびによって決定される。
多面体を特徴付けるために用いられるオイラー標数の値は、そのままでは高次元に対して意味を持たせることはできない（任意の多胞体に対して、その基礎にある位相が何であれ、その値は零である）。このようにオイラー標数が高次元の異なる位相を区別するのに不十分であったことが、より洗練されたベッチ数の発見に繋がった。
同様に、多面体の向き付け可能性の概念は、トロイダル多胞体のひねり面を特徴付けるのには不十分であったから、ねじれ係数が用いられるようになった。
多胞体の種類.
正多胞体.
四次元における正多胞体とは、3次元空間でいう正多面体に相当する多胞体のことである。定義も正多面体と似ており概要は、
である。正多面体をあらわす記号であるシュレーフリ記号を四次元では、構成面の形を "p"、構成胞の1つの頂点に集まる面の数を "q"、1つの辺に集まる胞の数を "r"として{"p", "q", "r"} とあらわす。
4次元の正多胞体は、6種類存在する。
双対関係は、
で、正五胞体と正二十四胞体はそれぞれ自己双対である。
半正多胞体.
四次元における半正多胞体とは、3次元でいう半正多面体に相当する多胞体のことである。その定義は
4次元の場合、半正多胞体は全部で58種類ある（正多面体、半正多面体を底胞とする超角柱を含む。ただし角柱を底胞とする超角柱などの無限系列は除く）。その中には、正多胞体の頂点や辺、面を削ったものなどがある。四次元における例外的な立体が存在として捩れ二十四胞体と大反角柱の2つがある。3次元では一般的と考えられる、捩れ操作による半正多胞体は高次元では一般的ではないのである。
星型正多胞体.
星型正多胞体とは、3次元空間でいう星型正多面体に相当する多胞体のことである。シュレーフリ･ヘスの多胞体とも言う。4次元の星型正多胞体は、10種類存在する。
広く定着している日本語名は現在のところない。
3次元の星型正多面体は4種類、4次元の星型正多胞体は10種類あるが、5次元以上の空間には星型正多胞体は存在しない。
一様多胞体.
一様多胞体とは、3次元でいう一様多面体に相当する多胞体のことである。4次元の一様多胞体は現在、1849種類が確認されている。
準正多胞体.
準正多胞体とは、3次元でいう準正多面体に相当する多胞体のことであり、一様多胞体のうち、辺の形状が合同な立体のことである。4次元の準正多胞体は、凸なものは5種類ある。
角柱・反角柱.
3次元図形を4次元方向に平行移動すれば、そのまま角柱の4次元版が得られる。また4次元以上に現れる図形として双角柱 (duoprism) がある。これは2種類の角柱が4次元空間で絡まりあったような形状をしており、"n"角柱"m"個と"m"角柱"n"個からなる双角柱を("n" - "m")角柱と呼ぶ。
双対.
四次元多胞体の双対とは、立体の数と頂点の数、面の数と辺の数を入れ替えたものをいう。
多胞体公式.
オイラーの多面体定理の拡張としての多胞体公式が成立する。
ここでは頂点の数、は辺の数、は面の数、は胞の数である。