ポリトープ

ポリトープとは、2次元の平面図形や3次元の立体図形を一般化した概念である。

研究分野としてのポリトープ

これは立体図形ではない。

ポリトープは、幾何学の一分野とみなされる。ポリトープの研究では、どのような図形が存在するかを調べる。例えば、「各頂点に5個の正三角形が集まる立体図形」は存在する(正二十面体)が、「各頂点に6個の正三角形が集まる立体図形」は存在しない(作ろうとすると無限の平面を正三角形で埋め尽くすことになる)。

ポリトープの定義

何をポリトープに含め、何をポリトープに含めないかは明確ではない。いくつかの外部サイトの定義をリストアップする。

• 日本語版Wikipedia(2021年5月22日閲覧)
  • 初等幾何学における超多面体（ちょうためんたい、英: poly­tope; ポリトープ）は、平坦な縁を持つ幾何学的対象で、任意の有限次元において存在する。
• Polytope Wiki(2021年5月22日閲覧)
  • A polytope is an object that generalizes the intuitive notions of "flat" shapes like polygons and polyhedra to any amount of dimensions. (ポリトープとは、多角形や多面体のような「平らな」図形という直感的な概念を任意の次元に一般化した物体である。)

本記事では、\( n \)次元ユークリッド空間内の図形としての\( n \)次元ポリトープを次のように定義する。また、点以外のポリトープに対しファセットという概念と同時に定義する。ポリトープは、0次元、1次元、2次元、・・・ポリトープの総称であると定義される。

• 点は0次元ポリトープである。
• (両端を含む)線分は1次元ポリトープである。線分のファセットは、両端の点である。すなわち、線分はファセットを2つ持ち、それらはどちらも点である。
• \( n \)次元ポリトープが2個以上あるとき、それらを\( n + 1 \)次元ユークリッド空間内で平行移動、回転移動、および鏡映で反転させて、「どのポリトープのどのファセットも別のポリトープのファセットと完全に重なっている」ようにしたものは\( n + 1 \)次元ポリトープである。このポリトープのファセットはそれを構成するのに使用したポリトープである。

自己交差

ポリトープは自己交差を持つことができる。例えば、「ダビデの星」と呼ばれる図形は6本の線分からなる自己交差を持つ2次元ポリトープである。

凸性

自己交差を持たないポリトープは、それが含まれる空間を内側と外側に分ける。この内側の領域が、「領域内のどの2点を結ぶ線分もその領域に完全に含まれる」という性質を満たすとき、このポリトープは凸であるという。

「凸」という文字は(フォントにもよるが)8本の線分からなる自己交差を持たないポリトープとみなせる。このとき、「凸」は凸ではない。