Wikiいけめん
217
回編集
差分
'''ポリトープ'''とは、[[2次元]]の平面[[図形]]や[[3次元]]の立体図形を一般化した概念である。
==研究分野としてのポリトープ==
[[ファイル:TriangularTiling.jpg|thumb|right|240px|これは立体図形ではない。]]
ポリトープは、幾何学の一分野とみなされる。ポリトープの研究では、どのような図形が存在するかを調べる。例えば、「各頂点に5個の正三角形が集まる立体図形」は存在する([[正二十面体]])が、「各頂点に6個の正三角形が集まる立体図形」は存在しない(作ろうとすると無限の平面を正三角形で埋め尽くすことになる)。
==ポリトープの定義==
何をポリトープに含め、何をポリトープに含めないかは明確ではない。いくつかの外部サイトの定義をリストアップする。
* 日本語版Wikipedia(2021年5月22日閲覧)
** 初等幾何学における超多面体（ちょうためんたい、英: polytope; ポリトープ）は、平坦な縁を持つ幾何学的対象で、任意の有限次元において存在する。
* 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本の線分からなる自己交差を持たないポリトープとみなせる。このとき、「凸」は凸ではない。
==研究分野としてのポリトープ==
[[ファイル:TriangularTiling.jpg|thumb|right|240px|これは立体図形ではない。]]
ポリトープは、幾何学の一分野とみなされる。ポリトープの研究では、どのような図形が存在するかを調べる。例えば、「各頂点に5個の正三角形が集まる立体図形」は存在する([[正二十面体]])が、「各頂点に6個の正三角形が集まる立体図形」は存在しない(作ろうとすると無限の平面を正三角形で埋め尽くすことになる)。
==ポリトープの定義==
何をポリトープに含め、何をポリトープに含めないかは明確ではない。いくつかの外部サイトの定義をリストアップする。
* 日本語版Wikipedia(2021年5月22日閲覧)
** 初等幾何学における超多面体（ちょうためんたい、英: polytope; ポリトープ）は、平坦な縁を持つ幾何学的対象で、任意の有限次元において存在する。
* 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本の線分からなる自己交差を持たないポリトープとみなせる。このとき、「凸」は凸ではない。