ポリトープ【Polytope】
ポリトープ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/01/16 06:06 UTC 版)
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2017年8月) |
初等幾何学における超多面体(ちょうためんたい、英: polytope; ポリトープ)は、平坦な縁を持つ幾何学的対象である。任意の有限次元において存在し、各次元 n における超多面体を n-次元(超)多面体 (n-polytope) と呼ぶ。例えば二次元多面体は多角形、三次元多面体は通常の多面体である。多辺形や多面体のときと同様、「中身の詰まった」(solid) な n-次元多面体だけでなく、一般にはその境界である (n − 1)-次元図形を指して n-次元多面体と呼ぶことが多々あるので、文脈に注意すべきである。
超多面体の更なる一般化として、非有界な超無限面体や、曲がった多様体の三角形分割や単体分割あるいは空間充填(例えば、球面多面体、および集合論的な抽象多面体などが現れる理論もある。
三次元より高次の超多面体を最初に考え出したのはルートヴィヒ・シュレーフリである。ドイツの数学者ラインホルト・ホッペによりドイツ語: polytopが造語され、それを polytopeとして英語に導入したのはアメリカ人数学者のアリシア・ブール・スコットである。
次元 | 英語 | 日本語 |
---|---|---|
任意 | polytope | 超多面体 (多胞体) |
n | n-polytope | n-次元(超)多面体 (n-次元多胞体) |
0 | point | 点 |
1 | segment | 線分 |
2 | polygon | 多角形 |
3 | polyhedron | 多面体 |
4 | polychoron | 多胞体 |
5 | polyteron | ポリテロン |
6 | polypeton | ポリペトン |
7 | polyexon | ポリエクソン |
8 | polyzetton | ポリゼトン |
9 | polyyotton | ポリヨトン |
5次元以上の英語名は、ジョージ・オルシェフスキー (George Olshevsky) による提案名であり、必ずしも広く受け入れられているわけではない。それぞれ ![]() 超多面体が同じ数の頂点とファセット・辺と稜・面と峰…を持ち、接続関係も同じであるならば、双対図形がもとの図形と相似になることが起こり得る。そのような超多面体は自己双対であるという。 よく知られた自己双対超多面体として以下を挙げることができる:
一般化超無限面体必ずしもすべての多様体が有限でない。超多面体を多様体の単体分割として理解する立場からは、超多面体を無限多様体に対しても拡張して考えることは可能である。そのような意味での超多面体は、平面分割、空間充填ハニカム、双曲型充填によって可能で、それらは無限個の(余次元 1 の)面 (cell) を持つから無限面体と呼ばれることがある。 これらの中には、その正則形として例えば非平面的正多面体(面や頂点形状が平面的でないという意味で非平面的)があり、ほかに例えば正無限角形、正方形分割、立方体ハニカム、……の成す無限系列などが挙げられる。 抽象超多面体→詳細は「抽象多面体」を参照
抽象超多面体の理論は、超多面体を何らかの空間内にある対象と考えることから離れて、純組合せ論的性質のみに着目する試みである。これにより、例えば11胞体のような、土台となる空間が直観的に定義困難な対象に対しても、超多面体の定義を拡張することができるようになる。 抽象超多面体とは、その各次元の面からなる半順序集合で、適当な規則に従うものを言う。それは純代数的構造であり、その理論は一貫した数学的枠組みの中で様々な幾何学的クラスを整合的に扱うことが困難になるいくつかの問題を回避するために発展した。幾何学的に述べられる超多面体は、対応する抽象超多面体の適当な実空間における「実現」であると言い表される[9]。 複素超多面体→詳細は「複素多面体」を参照
超多面体の類似対応物となる構造が、複素数空間(あるいは複素ヒルベルト空間)Cn 内に存在する(この空間は実 n-次元のほかに虚 n-次元も併せ持っている)。複素正多面体は配置として扱うほうがより適切である[10] 歴史多角形および多面体は古来より知られてきた。 高次元に対する初期の気づきは、1827年にメビウスが「互いに鏡像の関係にある二つの立体は、第四の空間次元を通して回転させることで、一方を他方に重ね合わせられる」ことを発見したときである。1850年代ごろ、例えばケイリーやグラスマンら一握りの数学者たちもまた高次元について考察している。 多角形や多面体の高次元における対応物について初めて考察したのはルートヴィヒ・シュレーフリである。シュレーフリは六つの凸正多胞体を1852年に記述しているが、その成果は彼の死後6年を経た1901年まで公表されなかった。1854年ごろリーマンの教授資格論文が高次元の幾何学を確固たるものとして打ち立ててより、以って n-次元超多面体の概念も是とされたのである。シュレーフリの超多面体は、彼の生前にあってさえ、数十年の間に幾度も再発見されたのである。 1882年にラインホルト・ホッペはドイツ語で、この多角形や多面体をより一般化する概念を言い表すのに Polytop という語を造語した。やがてアリシア・ブール・スコット(論理学者ジョージ・ブールの娘)が英語風に polytope と改変して英語に持ち込んでいる[1]:vi。 1895年、トロルド・ゴセットは、シュレーフリの正超多面体の再発見のみならず、半正超多面体および高次元の空間充填分割についても調べている。そのころ、双曲空間などの非ユークリッド空間における超多面体の研究も始まった。 重要な節目に達するのは1948年のコクセターの著書 Regular Polytopes で、それまでの研究史の要約にコクセター自身による新たな発見が加えられている。 とかくする間に、フランスの数学者ポワンカレが、多様体の区分的分割(例えば、CW複体)としての超多面体の位相的概念を推し進めた。1967年にブランコ・グレンバウムは多大な影響を与えた著書 Convex Polytopes[11]を出版している。 1952年にシェファードは、複素空間(各実次元に各ひとつの虚次元が付随する)における複素超多面体へ概念を一般化した。その理論はコクセターによりさらに推し進められた。 複素多面体、非凸性、双対性、その他の現象によって生じた概念的問題は、グレンバウムらを頂点、辺、面などが満たす抽象組合せ論的性質のより一般な研究へと駆り立てた。それに関係する考え方は、超多面体の種々の次元の各面同士の間の接続関係 (incidence, connection) によって調べられる接続複体の概念である。そうした発展を経て、それら面からなる半順序集合としての抽象多面体の理論へ十分に結実した。McMullen & Schulte は2002年に著書 Abstract Regular Polytopes[12] を出版している。 四次元あるいはそれ以上の次元における一様超多面体の数え上げは、凸の場合も非凸の場合も、未解決の問題として残されている。 現代において、超多面体および関連する概念は多様な分野において多くの重要な応用を持ち、それらはコンピュータグラフィック、数理最適化、サーチエンジン、宇宙論、量子力学ほか様々な分野において見つけられる。2013年には、理論物理学に関するある種に計算において構成を簡単化するものとして振幅多面体が発見された。 応用数理最適化および線型計画法の研究において、線型函数の最大・最小は n-次元超多面体の境界において達成される。線型計画法において超多面体は一般化重心座標系やスラック変数を用いる際に生じる。 理論物理学の分野ツイスター理論において、振幅多面体と呼ばれる超多面体が、亜原子粒子の衝突時の散乱振幅の計算に用いられる。この構成は純理論的で物理的扱いは知られていないが、ある種の計算を大きく簡単にするという[13]。 関連項目
注注釈
| ||
整数次元 | ||
ポリトープ | ||
その他 | ||
族 | An | Bn | I2(p) / Dn | E6 / E7 / E8 / E9 / E10 / F4 / G2 | Hn | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
正多角形 | 正三角形 | 正方形 | p 角形 | 正六角形 | 正五角形 | |||||||
一様多面体 | 正四面体 | 正八面体 • 立方体 | 半切立方体 | 正十二面体 • 正二十面体 | ||||||||
一様4次元多胞体 | 正五胞体 | 正十六胞体 • 正八胞体 | 半切正八胞体 | 正二十四胞体 | 正百二十胞体 • 正六百胞体 | |||||||
一様5次元多胞体 | 5次元単体 | 5次元正軸体 • 5次元立方体 | 5次元半切立方体 | |||||||||
一様6次元多胞体 | 6次元単体 | 6次元正軸体 • 6次元立方体 | 6次元半切立方体 | 122 • 221 | ||||||||
一様7次元多胞体 | 7次元単体 | 7次元正軸体 • 7次元立方体 | 7次元半切立方体 | 132 • 231 • 321 | ||||||||
一様8次元多胞体 | 8次元単体 | 8次元正軸体 • 8次元立方体 | 8次元半切立方体 | 142 • 241• 421 | ||||||||
一様9次元多胞体 | 9次元単体 | 9次元正軸体 • 9次元立方体 | 9次元半切立方体 | |||||||||
一様10次元多胞体 | 10次元単体 | 10次元正軸体 • 10次元立方体 | 10次元半切立方体 | |||||||||
一様 n-多胞体 | n-単体 | n-正軸体 • n-立方体 | n-半切立方体 | 1k2 • 2k1 • k21 | n-五角多面体 | |||||||
トピック:多胞体の族 • 正多胞体 • 正多胞体と複合体の一覧 |
ポリトープ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/05 03:40 UTC 版)
同様のやり方で、ポリトープ(超多面体)内で次元が1つ異なる胞(セル)間の関係は、接続行列によって表わすことができる。
※この「ポリトープ」の解説は、「接続行列」の解説の一部です。
「ポリトープ」を含む「接続行列」の記事については、「接続行列」の概要を参照ください。
- ポリトープのページへのリンク