ポリトープ — 任意の次元における平坦な面をもつ幾何学図形

代表的な例

2次元ではポリトープは多角形であり、3次元ではしばしば多面体と呼ばれる。4次元でよく知られる例には、テッセラクトと4単体がある。対称性の高い4次元の例の集合は、正4次元ポリトープとして知られる。より一般には、n次元ポリトープやk面といった名称は、対象そのもの、または境界要素の次元を示す。

基本構造と用語

• 頂点：辺が交わる角の点。
• 辺：一対の頂点を結ぶ線分。
• 面：多角形からなる2次元の境界要素。3次元では、多面体で通常「面」と呼ばれる部分に当たる。
• ファセット：n次元ポリトープの(n−1)次元の境界部分。4次元ではしばしばセルと呼ばれる。
• ポリトープは凸、すなわち内部の任意の2点を結ぶ線分が全て内部に含まれるものにも、非凸のものにもなりうる。また、対称性や構成に応じて、正、半正、単純、単体的、あるいは自己交差する星型のものがある。

分類と関係

分類には、対称性、組合せ論的型、凸性が用いられる。正ポリトープは対称性が最大のポリトープであり、シュレーフリ記号のような簡潔な記号表記によって記述される。双対性は基本的な関係であり、一方のポリトープの頂点が他方のファセットに対応するように、ポリトープを対にする。オイラー標数などの古典的な結果は凸多面体に適用され、異なる次元の面がどのように組み合わさるかを制約する高次元での一般化をもつ。星型ポリトープなどの非凸の例は、組合せ論的構造を保ちながら自己交差を許すことで、ポリトープの族を拡張する。

歴史的背景と研究

ポリトープの研究は、平面上の多角形と、古代ギリシア人に知られていたプラトン立体から始まった。数学者たちが次元、対称性、組合せ論的構造の概念を形式化するにつれ、高次元の類似物に関する研究は19世紀から20世紀にかけて発展した。現代の研究では、ポリトープの列挙、構成、解析のために、代数学的、幾何学的、計算的手法が組み合わされている。

応用と進行中の研究

ポリトープは純粋数学と応用数学の広範な分野に現れる。最適化と線形計画法では、実行可能領域は凸ポリトープであり、その極点が最適解を与えることが多い。組合せ論と計算幾何学では、接続関係、面の数え上げ、構成と認識のための効率的なアルゴリズムが研究される。位相幾何学と群論では、ポリトープは細胞複体および対称群の作用の具体的なモデルを提供する。物理学、結晶学、コンピュータグラフィックスにも応用は及び、多面体モデルとその高次元の類似物は、対称性、充填、空間構造を表現するために用いられる。現代の研究には、分類問題、距離に関する性質、ポリトープ分割との関係、データ解析および離散幾何学への応用が含まれる。