「ポリトープ」の版間の差分

削除された内容追加された内容

インライン

2017年8月5日 (土) 08:02時点における版

初等幾何学における超多面体（ちょうためんたい、英: 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) による提案名であり、必ずしも広く受け入れられているわけではない。それぞれ $10^{3(n-1)}$ を表すSI接頭辞が元になっている。^{[注釈 1]}つまり、名称は（中身の詰まっていない）境界面としての超多面体の次元と対応する。^{[注釈 2]}

語義は "poly-"（多くの）+ "-tope"（表面）であり「直訳」すれば「多面体」である。"polytope" には多胞体（たほうたい）との訳語もある。これは頂点、辺、面に引き続く次元数 3 の部分を「胞」または「胞体」(cell) と呼ぶことから、多面体のより高次の対象との意図で用いられるものだが、しかし多数の胞からなる対象としての四次元の超多面体 (4-polytope) に限って多胞体と呼ぶ語法も自然である。なお、四次元超多面体には "polychoron" (希: χώρος は「部屋」) との名称もある。

以下、誤解の虞があると思われる場合には多胞体の語はなるべく避けるものとする。

定義に関する注意

こんにちでは「超多面体」(polytope) は様々な幾何学的対象を広汎にカバーする語として用いられており、文献によって異なる定義が採用されている。そうした種々の定義の多くは互いに同値でなく、それによって「超多面体」と呼ばれるべき対象の範囲もそれぞれ異なったものとなることに注意すべきである。このようなことは、凸超多面体（英語版）を同様の性質を持つほかの対象を含むように一般化するいくつも異なる方法が存在することを表している。

もともとの考え方はルートヴィヒ・シュレーフリ（英語版）、ソロルド・ゴセット（英語版）らにより広く探られた、二次元および三次元のそれぞれ多角形および多面体の概念の、四次元あるいはそれ以上における対応物への拡張である^[1]。

多面体のオイラー標数をより高次の超多面体に対して一般化する試みは、位相幾何学の発展および多面体分割の取り扱い、あるいは超多面体の類似としてのCW複体を導いた^[2]。この流儀では、「超多面体」とは適当に与えられた多様体の分割あるいは充填と見なすことができる。この方法で定義される超多面体の例には、単体分割（英語版）可能な点集合が挙げられる。この場合、超多面体は有限個の単体の合併であって、追加の性質として「その任意の二つの単体が空でない交わりを持つとき、それら交わりは必ずもとの二つの単体両方の頂点、辺、あるいはより高次の面に一致していなければならない」という条件を満足する^[3]。しかしこの定義では内部構造を持つ星型超多面体（英語版）は許されず、したがってこのような流儀の通じる分野はややもすれば限定的である。

星型多面体の発見とその他の少し変わった構成を許す立場からば、多面体を内部を無視して境界となる曲面として扱う視点が与えられる^[4]^:205ff.。それを踏襲して、 $p$ -次元空間における凸超多面体は、 $(p - 1)$ -次元球面による球面充填（英語版）と同じものと見なされる。あるいはほかの種類の充填として、楕円型（英語版）、平坦、トロイダル (円環的) な $(p - 1)$ -次元曲面によるものもそれぞれ考えられる（楕円的充填（英語版）やトロイダル多面体（英語版）（多穴トーラス的多面体）などの項を参照）、多面体をその面が多角形となる曲面と見なせるのと同様に、多胞体をその胞（ファセット、三次元面）が多面体となる三次元超曲面として理解することができる。より高次の超多面体も同様である。

低次の超多面体を使ってより高次の超多面体を構成するという考え方は、次元を下げるほうにも拡張することがあり、例えば辺は点の対で囲まれた「一次元超多面体」であり、頂点は「零次元超多面体」である。このやり方は例えば抽象超多面体（英語版）の理論において利用できる。

数学の特定の分野では「ポリトープ」("polytope") や「ポリへドロン」("polyhedron") がやや異なる意味で用いられる。すなわち、（本項に言う超多面体の意味で）任意次元の一般の対象を「ポリへドロン」と呼び、「ポリトープ」は有界な「ポリヘドロン」の意味で用いられる^[5]。この用語法は、典型的には「ポリへドロン」および「ポリトープ」が凸体（英語版）である場合に限って用いられる。この語法に則れば、凸「ポリへドロン」は有限個の半空間の交わりに等しく、その辺によって定義される。対して、凸「ポリトープ」は有限個の点の凸包に等しく、それら頂点によって定義される。

各次元の面

詳細は「多胞体の面」を参照

超多面体は、頂点・辺・面・胞などの相異なる各次元の要素から構成される。これら要素の名称に全ての著者が従う完全な統一名称というものは確立されていない。例えば「面」を余次元 $1$ （つまり $(n - 1)$ -次元）の要素の意味で用いる（その意味で任意の超多面体は「多『面』体」である）文献^[要出典]もあれば、二次元の要素を特に表すのに用いる文献^[要出典]もある。 $j$ -次元の要素はしばしば $j$ -次元面 ( $j$ -face, $j$ -facet) と呼ばれる^[要出典]。 $(n - 2)$ -次元の要素を「嶺」(ridge) と呼ぶ文献^[要出典]もあれば、「辺」と呼ぶ文献^[要出典]もある。また、コクセターは cell（「胞」）を $(n - 1)$ -次元要素の意味で用いた^[6]（のでその意味では任意の超多面体は「多『胞』体」である）。

本項における語法は大体以下の表に従っている:

特別な名称をもつ中間次元面
次元	英語	日本語	余次元	英語	日本語
0	vertex	頂点	0	body	体
1	edge	辺	1	facet	ファセット刻面^[要出典]
2	face	面	2	ridge	稜（英語版）^[要出典]
3	cell	胞	3	peak	峰（英語版）^[要出典]
⋮	⋮	⋮	⋮	⋮	⋮

ひとつの $n$ -次元超多面体は $(n - 1)$ -次元面（ファセット）に囲まれる領域である。これらファセットもそれ自身 $(n - 1)$ -次元超多面体で、そのさらにファセットはもとの多様体の $(n - 2)$ -次元面（稜（英語版））である。任意の稜は二つのファセットの交わりとして得られる（が、任意の二つのファセットの交わりは必ずしも稜でない—もっと次元が低い面となる可能性がある）。そして稜自身もまた $(n - 2)$ -次元超多面体であって、そのファセットは最初の超多面体の $(n - 3)$ -次元面（峰（英語版））で与えられる。以下同様である。超多面体を囲むこれら部分超多面体のことを、もとの超多面体の面（いわば広義の面、「超面」）と総称する。各零次元面は一点からなり、「頂点」と呼ばれる。各一次元面は一つの線分からなり、「辺」と呼ばれる。各二次元面は一つの多角形からなり、「面」と呼ばれる。各三次元面は一つの多面体からなり、胞（英語版）と呼ばれることがある。

超多面体の重要なクラス

凸超多面体

詳細は「凸超多面体」を参照

超多面体が凸体（英語版）であるかを考えることができる。凸超多面体はもっとも簡単な種類の超多面体で、超多面体の概念の様々な一般化における基礎となるものである。凸多面体を半空間（英語版）の集合の交わりとして定義する流儀もあり、このような定義によれば有界でも有限でもない超多面体というものが存在できる（このように超多面体を定義する分野として例えば線型計画などを挙げることができる）。この場合、超多面体が有界とはそれが適当な有限半径を持つ球体に全く含まれることを言う。超多面体が点付きであるとは、それが少なくとも一つの頂点を含むときに言う。任意の空でない有界超多面体は点付きであり、また点付きでない超多面体の例として半空間（一つの半空間の交わりと見て、ここでいう超多面体である） ${(x, y) \in R 2 | x \geq 0}$ を挙げることができる。超多面体が有限とはそれが有限個の対象から（例えば有限個の半空間の交わりとして）定義できることを言う。

正超多面体

詳細は「正多胞体」を参照

正超多面体は最も高い対称性を持つ超多面体で、その多面体上の対称変換群に関する様々な推移軌道を持つ。例えば、正超多面体は、その旗（英語版）上推移的である。したがって特に、正超多面体の双対（英語版）はふたたび正超多面体となる。

正超多面体に関して三種類の主要なクラスが任意の次元 $n$ に対して存在する:

単体（正単体 (simplex polytope)）: 正三角形、正四面体など
超立方体（正測体 (measure polytope)）: 正方形、立方体、テッセラクトなど
直交軸体（正軸体 (cross polytope)）: 正方形、正八面体など

二次元、三次元、四次元の正超多面体には、五回対称性を持つものが含まれ、そのうちのいくつかは非凸星型である。また二次元において、凸または ( $n \geq 5$ に対しては) 星型の何れの場合も、 $n$ 回対称性を持つ正多角形は無限個存在する。にもかからわず、より高次元の場合にはそのような余計な正超多面体は存在しない^[1]

三次元において、凸プラトン立体には、五回対称的十二面体および二十面体が含まれ、また五回対称性を持つ四種の星型ケプラー-ポワンソ多面体が存在して、全部で九種の正多面体がある。

四次元における正四次元多面体（英語版）には、四回対称性を持つ凸超多面体ひとつと、五回対称性を持つもの二つが加わる。星型のシュレーフリ-ヘス四次元多面体（英語版）（何れも五回対称性を持つ）が十種あり、全部で16の正四次元多面体が存在する。

星型超多面体

詳細は「星型超多面体（英語版）」を参照

凸でない超多面体では自己交叉が許される。非凸超多面体の重要なクラスに星型超多面体（英語版）を挙げることができる。正超多面体のうちのいくつかは星型である^[1]

双対性

任意の $n$ -次元多面体は双対構造を持ち、それはその頂点とファセット、辺と稜、胞と峰といった具合に一般に $j = 1, 2, \dots, n - 1$ に対して $j - 1$ -次元面を余次元 $j$ の面（つまり $(n - j)$ -次元面に、要素間の接続関係を保ったまま取り換えることで得られる。

抽象超多面体に対しては、これは単に集合の包含関係による順序を逆にすることに相当する。この逆転操作は、正超多面体のシュレーフリ記号において「双対超多面体のシュレーフリ記号はもとの超多面体のシュレーフリ記号を逆順に書いたものに等しい」という事実にも見てとれる。つまり正超多面体 {4, 3, 3} は正超多面体 {3, 3, 4} の双対である。

幾何学的超多面体の場合には、双対化に際して適当な幾何学的規則が必要であることが、例えば双対多面体に対する記述からわかる。状況によっては、双対図形は別の幾何学的超多面体になることもならないこともある^[7]

双対化の逆の操作でもとの超多面体が恢復されるから、超多面体全体の集まりに双対による対付けが存在する。

自己双対超多面体

超多面体が同じ数の頂点とファセット・辺と稜・面と峰…を持ち、接続関係も同じであるならば、双対図形がもとの図形と相似になることが起こり得る。そのような超多面体は自己双対であるという。

よく知られた自己双対超多面体として以下を挙げることができる:

任意次元 $n$ の正単体: シュレーフリ記号 {3ⁿ}. 例えば正三角形 {3}, 正四面体 {3, 3}, 正五胞体 {3,3,3}.
二次元の任意の正多角形 (正二次元多面体)
三次元の標準形角柱、角錐柱（英語版）および四面欠損十二面体（英語版）、また無限正方形充填（英語版） {4, 4}.
四次元の正二十四胞体 {3,4,3}, また無限立方体ハニカム（英語版） {4,3,4}.

一般化

超無限面体

必ずしもすべての多様体が有限でない。超多面体を多様体の単体分割として理解する立場からは、超多面体を無限多様体に対しても拡張して考えることは可能である。そのような意味での超多面体は、平面分割、空間充填ハニカム、双曲型充填（英語版）によって可能で、それらは無限個の（余次元 1 の）面 (cell) を持つから無限面体（英語版）と呼ばれることがある。

これらの中には、その正則形として例えば非平面的正多面体（英語版）（面や頂点図形が平面的でないという意味で非平面的）があり、ほかに例えば正無限角形（英語版）、正方形分割、立方体ハニカム、……の成す無限系列などが挙げられる。

抽象超多面体

詳細は「抽象多面体（英語版）」を参照

抽象超多面体の理論は、超多面体を何らかの空間内にある対象と考えることから離れて、純組合せ論的性質のみに着目する試みである。これにより、例えば11胞体（英語版）のような、土台となる空間が直観的に定義困難な対象に対しても、超多面体の定義を拡張することができるようになる。

抽象超多面体とは、その各次元の面からなる半順序集合で、適当な規則に従うものを言う。それは純代数的構造であり、その理論は一貫した数学的枠組みの中で様々な幾何学的クラスを整合的に扱うことが困難になるいくつかの問題を回避するために発展した。幾何学的に述べられる超多面体は、対応する抽象超多面体の適当な実空間における「実現」であると言い表される^[8]。

複素超多面体

詳細は「複素多面体（英語版）」を参照

超多面体の類似対応物となる構造が、複素数空間（あるいは複素ヒルベルト空間） $C n$ 内に存在する（この空間は実 $n$ -次元のほかに虚 $n$ -次元も併せ持っている）。複素正多面体（英語版）は配置（英語版）として扱うほうがより適切である^[9]

歴史

多角形および多面体は古来より知られてきた。

高次元に対する初期の気づきは、1827年にメビウスが「互いに鏡像の関係にある二つの立体は、第四の空間次元を通して回転させることで、一方を他方に重ね合わせられる」ことを発見したときである。1850年代ごろ、例えばケイリーやグラスマンら一握りの数学者たちもまた高次元について考察している。

多角形や多面体の高次元における対応物について初めて考察したのはルートヴィヒ・シュレーフリ（英語版）である。シュレーフリは六つの凸正多胞体（英語版）を1852年に記述しているが、その成果は彼の死後6年を経た1901年まで公表されなかった。1854年ごろリーマンの教授資格論文（英語版）が高次元の幾何学を確固たるものとして打ち立ててより、以って $n$ -次元超多面体の概念も是とされたのである。シュレーフリの超多面体は、彼の生前にあってさえ、数十年の間に幾度も再発見されたのである。

1882年にラインホルト・ホッペ（英語版）はドイツ語で、この多角形や多面体をより一般化する概念を言い表すのに Polytop という語を造語した。やがてアリシア・ブール・スコット（英語版）（論理学者ジョージ・ブールの娘）が英語風に polytope と改変して英語に持ち込んでいる^[1]^:vi。

1895年、トロルド・ゴセット（英語版）は、シュレーフリの正超多面体の再発見のみならず、半正超多面体（英語版）および高次元の空間充填分割についても調べている。そのころ、双曲空間などの非ユークリッド空間における超多面体の研究も始まった。

重要な節目に達するのは1948年のコクセターの著書 Regular Polytopes（英語版） で、それまでの研究史の要約にコクセター自身による新たな発見が加えられている。

とかくする間に、フランスの数学者ポワンカレが、多様体の区分的分割（例えば、CW複体）としての超多面体の位相的概念を推し進めた。1967年にブランコ・グレンバウム（英語版）は多大な影響を与えた著書 Convex Polytopes^[10] を出版している。

1952年にシェファードは、複素空間（各実次元に各ひとつの虚次元が付随する）における複素超多面体（英語版）へ概念を一般化した。その理論はコクセターによりさらに推し進められた。

複素多面体、非凸性、双対性、その他の現象によって生じた概念的問題は、グレンバウムらを頂点、辺、面などが満たす抽象組合せ論的性質のより一般な研究へと駆り立てた。それに関係する考え方は、超多面体の種々の次元の各面同士の間の接続関係 (incidence, connection) によって調べられる接続複体の概念である。そうした発展を経て、それら面からなる半順序集合としての抽象多面体（英語版）の理論へ十分に結実した。McMullen & Schulte は2002年に著書 Abstract Regular Polytopes^[11] を出版している。

四次元あるいはそれ以上の次元における一様超多面体（英語版）の数え上げは、凸の場合も非凸の場合も、いまだ未解決の問題として残されている。

現代において、超多面体および関連する概念は多様な分野において多くの重要な応用を持ち、それらはコンピュータグラフィック、数理最適化、サーチエンジン、宇宙論、量子力学ほか様々な分野において見つけられる。2013年には、理論物理学に関するある種に計算において構成を簡単化するものとして振幅多面体（英語版）が発見された。

応用

数理最適化および線型計画法の研究において、線型函数の最大・最小は $n$ -次元超多面体の境界において達成される。線型計画法において超多面体は一般化重心座標系（英語版）やスラック変数（英語版）を用いる際に生じる。

理論物理学の分野ツイスター理論において、振幅多面体（英語版）と呼ばれる超多面体が、亜原子粒子の衝突時の散乱振幅の計算に用いられる。この構成は純理論的で物理的扱いは知られていないが、ある種の計算を大きく簡単にするという^[12]。

注

注釈

^ なお、 $10^{3k}$ を表すSI接頭辞は $k$ を意味する数詞をもじってつけられている。たとえば、polyteron ← tera ← tetra = 4。
^ polygon の複数形は polygonsで、"polyhedron" の複数形はギリシア語: ἕδρα に由来して "polyhedra" とするのが普通 (略式では polyhedrons でもよい) である。以降もそれを踏襲して複数形にするときは接尾辞 -on を -a とする。

出典

^ ^a ^b ^c ^d Coxeter 1973.
^ Richeson, S. (2008), Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton University
^ Grünbaum 2003.
^ Cromwell, Peter R. (1999), Polyhedra, Columbia University Press (ペーパーバック), ISBN 978-0521664059
^ Nemhauser, George L.; Wolsey, Laurence A. (1999), Integer and Combinatorial Optimization, ISBN 978-0471359432 , Definition 2.2.
^ Coxeter 1973, p. 127—The part of the polytope that lies in one of the hyperplanes is called a cell
^ Wenninger, M.; Dual Models, CUP (1983).
^ McMullen, Peter; Schulte, Egon (2002), Abstract Regular Polytopes (1st ed.), Cambridge University Press, ISBN 0-521-81496-0
^ Coxeter, H.S.M. (1974), Regular Complex Polytopes (1 ed.), Cambridge University Press, ISBN 978-0521201254
^ Grünbaum, Branko (1967). Convex Polytopes. Graduate Texts in Mathematics. 221. Springer Science & Business Media. ISBN 9780387404097. ISSN 0072-5285
^ McMullen & Schulte 2002.
^ Arkani-Hamed, Nima; Trnka, Jaroslav (2013). "The Amplituhedron". arXiv:1312.2007。 {{cite arXiv}}: 引数|ref=harvは不正です。 (説明)

参考文献

Coxeter, Harold Scott MacDonald (1973), Regular Polytopes, New York: Dover Publications, ISBN 978-0-486-61480-9 .
Grünbaum, Branko (2003), Kaibel, Volker; Klee, Victor; Ziegler, Günter M., eds., Convex polytopes (2nd ed.), New York & London: Springer-Verlag, ISBN 0-387-00424-6 .
Ziegler, Günter M. (1995), Lectures on Polytopes, Graduate Texts in Mathematics, 152, Berlin, New York: Springer-Verlag .

外部リンク

Weisstein, Eric W. "Polytope". mathworld.wolfram.com (英語).
polytope in nLab
polytope - PlanetMath.（英語）
Definition:Polytope at ProofWiki
Hazewinkel, Michiel, ed. (2001), “Polytope”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
"Math will rock your world" – application of polytopes to a database of articles used to support custom news feeds via the Internet – (Business Week Online)
Regular and semi-regular convex polytopes a short historical overview:

[1] なお、 $10^{3k}$ を表すSI接頭辞は $k$ を意味する数詞をもじってつけられている。たとえば、polyteron ← tera ← tetra = 4。

[2] ygon の複数形は polygonsで、"polyhedron" の複数形はギリシア語: ἕδρα に由来して "polyhedra" とするのが普通 (略式では polyhedrons でもよい) である。以降もそれを踏襲して複数形にするときは接尾辞 -on を -a とする。

[FOOTNOTECoxeter1973-3] Coxeter 1973.

[4] Richeson, S. (2008), Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton University

[FOOTNOTEGrünbaum2003-5] Grünbaum 2003.

[6] Cromwell, Peter R. (1999), Polyhedra, Columbia University Press (ペーパーバック), ISBN 978-0521664059

[7] Nemhauser, George L.; Wolsey, Laurence A. (1999), Integer and Combinatorial Optimization, ISBN 978-0471359432 , Definition 2.2.

[FOOTNOTECoxeter1973127-8] Coxeter 1973, p. 127—The part of the polytope that lies in one of the hyperplanes is called a cell

[9] Wenninger, M.; Dual Models, CUP (1983).

[10] McMullen, Peter; Schulte, Egon (2002), Abstract Regular Polytopes (1st ed.), Cambridge University Press, ISBN 0-521-81496-0

[11] Coxeter, H.S.M. (1974), Regular Complex Polytopes (1 ed.), Cambridge University Press, ISBN 978-0521201254

[12] Grünbaum, Branko (1967). Convex Polytopes. Graduate Texts in Mathematics. 221. Springer Science & Business Media. ISBN 9780387404097. ISSN 0072-5285

[FOOTNOTEMcMullenSchulte2002-13] McMullen & Schulte 2002.

[14] Arkani-Hamed, Nima; Trnka, Jaroslav (2013). "The Amplituhedron". arXiv:1312.2007。 {{cite arXiv}}: 引数|ref=harvは不正です。 (説明)

[注釈 1]

[注釈 2]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

@@ 1行目: / 1行目: @@
 {{Otheruses|図形|[[ヤニス・クセナキス]]による楽曲|ポリトープ (クセナキス)}}
 {{出典の明記|date=2017年8月}}
-[[初等幾何学]]における'''超多面体'''（ちょうためんたい、{{lang-en-short|poly&shy;tope}}; '''ポリトープ'''）は、平坦な縁を持つ幾何学的対象で、任意の有限次元において存在する。各次元 {{mvar|n}} における超多面体を '''{{mvar|n}}-次元（超）多面体''' (''{{mvar|n}}-poly&shy;tope'') と呼ぶ。例えば二次元多面体は[[多角形]]、三次元多面体は通常の[[多面体]]である。多角形やア面体のときと同様、「中身の詰まった」(solid) な {{mvar|n}}-次元多面体だけでなく、一般にはその境界である{{underline| {{math|(''n'' &minus; 1)}}-次元}}図形を指して {{mvar|n}}-次元多面体と呼ぶことが多々あるので、文脈に注意すべきである。
+[[初等幾何学]]における'''超多面体'''（ちょうためんたい、{{lang-en-short|poly&shy;tope}}; '''ポリトープ'''）は、平坦な縁を持つ幾何学的対象で、任意の有限次元において存在する。各次元 {{mvar|n}} における超多面体を '''{{mvar|n}}-次元（超）多面体''' (''{{mvar|n}}-poly&shy;tope'') と呼ぶ。例えば二次元多面体は[[多角形]]、三次元多面体は通常の[[多面体]]である。多辺形や多面体のときと同様、「中身の詰まった」(solid) な {{mvar|n}}-次元多面体だけでなく、一般にはその境界である{{underline| {{math|(''n'' &minus; 1)}}-次元}}図形を指して {{mvar|n}}-次元多面体と呼ぶことが多々あるので、文脈に注意すべきである。
 超多面体の更なる一般化として、非有界な{{ill2|超無限面体|en|apeirotope}}や、曲がった[[多様体]]の{{ill2|三角形分割 (位相幾何学)|label=三角形分割|en|Triangulation (topology)}}や単体分割あるいは[[空間充填]]（例えば、{{ill2|球面多面体|en|spherical polyhedra}}、および集合論的な{{ill2|抽象多面体|en|abstract polytope}}などが現れる理論もある。
@@ 55行目: / 55行目: @@
 数学の特定の分野では「ポリトープ」("polytope") や「ポリへドロン」("polyhedron") がやや異なる意味で用いられる。すなわち、（本項に言う超多面体の意味で）任意次元の一般の対象を「ポリへドロン」と呼び、「ポリトープ」は[[有界集合|有界]]な「ポリヘドロン」の意味で用いられる<ref>{{citation|first=George L. |last1=Nemhauser |first2=Laurence A. |last2= Wolsey |title= Integer and Combinatorial Optimization | year=1999 |isbn=978-0471359432}}, Definition 2.2.</ref>。この用語法は、典型的には「ポリへドロン」および「ポリトープ」が{{ill2|凸体|en|Convex body}}である場合に限って用いられる。この語法に則れば、凸「ポリへドロン」は有限個の[[半空間]]の交わりに等しく、その辺によって定義される。対して、凸「ポリトープ」は有限個の点の[[凸包]]に等しく、それら頂点によって定義される。
-==要素の名称==
+== 各次元の面 ==
+{{main|多胞体の面}}
-[[頂点]]、[[辺]]、[[多胞体の面|面]]を一般次元へ一般化したものを要素 (element) あるいは面 (face) という。ポリトープ自体も ''n'' 次元（余次元 0）の要素「体」であるが、いくつかの性質が特殊で、別扱いすることもある。
+超多面体は、頂点・辺・面・胞などの相異なる各次元の要素から構成される。これら要素の名称に全ての著者が従う完全な統一名称というものは確立されていない。例えば「面」を余次元 {{math|1}}（つまり {{math|(''n'' − 1)}}-次元）の要素の意味で用いる（その意味で任意の超多面体は「多『面』体」である）文献{{citation needed|date=February 2015|reason=need to cite each definition claimed}}もあれば、二次元の要素を特に表すのに用いる文献{{citation needed|date=February 2015|reason=need to cite each definition claimed}}もある。{{mvar|j}}-次元の要素はしばしば {{mvar|j}}-次元面 ({{mvar|j}}-face, {{mvar|j}}-facet) と呼ばれる{{citation needed|date=February 2015|reason=need to cite each definition claimed}}。{{math|(''n'' &minus; 2)}}-次元の要素を「嶺」(ridge) と呼ぶ文献{{citation needed|date=February 2015|reason=need to cite each definition claimed}}もあれば、「辺」と呼ぶ文献{{citation needed|date=February 2015|reason=need to cite each definition claimed}}もある。また、コクセターは ''cell''（「胞」）を {{math|(''n'' − 1)}}-次元要素の意味で用いた{{sfn|Coxeter|1973|p=127|ps= &mdash;''The part of the polytope that lies in one of the hyperplanes is called a cell''}}（のでその意味では任意の超多面体は「多『胞』体」である）。
+本項における語法は大体以下の表に従っている:
 {| class="wikitable" style="text-align:center; margin:1ex auto 1ex auto;"
 |+ 特別な名称をもつ中間次元面
@@ 64行目: / 66行目: @@
 | 0 || vertex || [[頂点]] || || 0 || body || 体
 |-
-| 1 || edge || [[辺]] || || 1 || facet || [[刻面 (幾何学)|刻面]]
+| 1 || edge || [[辺]] || || 1 || facet || {{ill2|ファセット|en|facet (mathematics)}}<br/>[[刻面 (幾何学)|刻面]]{{要出典|date=2017年8月}}
 |-
-| 2 || face || [[面 (幾何学)|面]] || || 2 || ridge || [[稜 (幾何学)|稜]]
+| 2 || face || [[面 (幾何学)|面]] || || 2 || ridge || {{ill2|稜 (幾何学)|en|Ridge (geometry)|label=稜}}{{要出典|date=2017年8月}}
 |-
-| 3 || cell || [[胞]] || || 3 || peak || [[峰 (幾何学)|峰]]
+| 3 || cell || [[胞]] || || 3 || peak || {{ill2|峰 (幾何学)|en|Peak (geometry)|label=峰}}{{要出典|date=2017年8月}}
 |-
 | &#x22ee;<!--&dotsver;--> || &#x22ee; || &#x22ee; || ||&#x22ee; || &#x22ee; || &#x22ee;
 |}
+ひとつの {{mvar|n}}-次元超多面体は {{math|(''n'' − 1)}}-次元面（{{ill2|ファセット|en|facet (mathematics)}}）に囲まれる領域である。これらファセットもそれ自身 {{math|(''n'' − 1)}}-次元超多面体で、そのさらにファセットはもとの多様体の {{math|(''n'' − 2)}}-次元面（{{ill2|稜 (幾何学)|en|Ridge (geometry)|label=稜}}）である。任意の稜は二つのファセットの交わりとして得られる（が、任意の二つのファセットの交わりは必ずしも稜でない&mdash;もっと次元が低い面となる可能性がある）。 そして稜自身もまた {{math|(''n'' − 2)}}-次元超多面体であって、そのファセットは最初の超多面体の {{math|(''n'' − 3)}}-次元面（{{ill2|峰 (幾何学)|en|Peak (geometry)|label=峰}}）で与えられる。以下同様である。超多面体を囲むこれら部分超多面体のことを、もとの超多面体の{{ill2|面 (部分超多面体)|en|Face (geometry)|label=面}}（いわば広義の面、「超面」）と総称する。各零次元面は一点からなり、「頂点」と呼ばれる。各一次元面は一つの[[線分]]からなり、「辺」と呼ばれる。各二次元面は一つの[[多角形]]からなり、「面」と呼ばれる。各三次元面は一つの[[多面体]]からなり、{{ill2|胞 (部分超多面体)|en|Cell (mathematics)|label=胞}}と呼ばれることがある。
-一般の ''m'' (0 &le; ''m'' &le; ''n'' - 1) 次元の要素は、''m'' 次元面（''m''-face）という。頂点、辺、面はそれぞれ0、1、2次元面である。英語では、3、''n'' - 3 ～ ''n'' - 1 次元面にも固有の名称が付いている。名称が重複している場合は、0～3次元面の名前を優先する。たとえば、正多面体の1次元面はピークではなく頂点である。
+== 超多面体の重要なクラス ==
-''n'' - 3 ～ ''n'' - 1 次元面の名称には定訳はない。3次元面のセルは胞と訳す。多胞体をポリトープの意味で使う立場では、''n'' - 1 次元面のファセットが胞と解釈できるが、その意味で使うことはあまりない。
+=== 凸超多面体 ===
+{{Main article|凸超多面体}}
+超多面体が{{ill2|凸体|en|convex body}}であるかを考えることができる。凸超多面体はもっとも簡単な種類の超多面体で、超多面体の概念の様々な一般化における基礎となるものである。凸多面体を{{ill2|半空間|en|half-space (geometry)}}の集合の交わりとして定義する流儀もあり、このような定義によれば有界でも有限でもない超多面体というものが存在できる（このように超多面体を定義する分野として例えば[[線型計画法|線型計画]]などを挙げることができる）。この場合、超多面体が'''有界'''とはそれが適当な有限半径を持つ球体に全く含まれることを言う。超多面体が'''点付き'''であるとは、それが少なくとも一つの頂点を含むときに言う。任意の空でない有界超多面体は点付きであり、また点付きでない超多面体の例として半空間（一つの半空間の交わりと見て、ここでいう超多面体である）{{math|{{mset|(''x'', ''y'') ∈ '''R'''{{exp|2}} | ''x'' &ge; 0}}}} を挙げることができる。超多面体が'''有限'''とはそれが有限個の対象から（例えば有限個の半空間の交わりとして）定義できることを言う。
+=== 正超多面体 ===
-なお三次元図形によるイメージ化を行う影響で、''n'' - ''k'' 次元面の名称を言うべきところで 3 - ''k'' 次元面の名称をいってしまう、たとえば一般次元のポリトープについてピークと言うべきところで頂点と言ってしまうような誤りが、（言語を問わず）見られる。
+{{Main article|正多胞体}}
+'''正超多面体'''は最も高い対称性を持つ超多面体で、その多面体上の対称変換群に関する様々な推移軌道を持つ。例えば、正超多面体は、その{{ill2|旗 (幾何学)|en|flag (geometry)|label=旗}}上推移的である。したがって特に、正超多面体の{{ill2|双対超多面体|en|dual polytope|label=双対}}はふたたび正超多面体となる。
+正超多面体に関して三種類の主要なクラスが任意の次元 {{mvar|n}} に対して存在する:
-==さまざまなポリトープ==
+* [[単体 (数学)|単体]]（正単体 (simplex polytope)）: [[正三角形]]、[[正四面体]]など
-===単体===
+* [[超立方体]]（正測体 (measure polytope)）: [[正方形]]、[[立方体]]、[[テッセラクト]]など
-''n'' + 1 個の頂点を持つ ''n'' 次元ポリトープを[[単体 (数学)|単体]] (simplex) と呼び、その次元で最も頂点数が少ない。頂点だけでなく、各次元の ''m'' 次元面の数も [[組み合わせ|<math>{}_{n+1}{\operatorname C}_{m+1}</math>]] と一意に決まり、それぞれ最少である。
+* 直交軸体（[[正軸体]] (cross polytope)）: [[正方形]]、[[正八面体]]など
+二次元、三次元、四次元の正超多面体には、五回対称性を持つものが含まれ、そのうちのいくつかは非凸星型である。また二次元において、凸または ({{math|''n'' &ge; 5}} に対しては) 星型の何れの場合も、{{mvar|n}} 回対称性を持つ[[正多角形]]は無限個存在する。にもかからわず、より高次元の場合にはそのような余計な正超多面体は存在しない{{sfn|Coxeter|1973}}
-次元では[[三角形]]、3次元では[[四面体]]が単体である。
+三次元において、凸[[プラトン立体]]には、五回対称的{{ill2|十二面体|en|dodecahedron}}および{{ill2|二十面体|en|icosahedron}}が含まれ、また五回対称性を持つ四種の[[星型正多面体|星型ケプラー-ポワンソ多面体]]が存在して、全部で九種の正多面体がある。
-単体の各要素もまた単体である。たとえば、四面体の面は全て三角形である。
+四次元における{{ill2|正四次元多面体|en|regular 4-polytope}}には、四回対称性を持つ凸超多面体ひとつと、五回対称性を持つもの二つが加わる。星型の{{ill2|シュレーフリ-ヘス四次元多面体|en|Schläfli-Hess 4-polytope}}（何れも五回対称性を持つ）が十種あり、全部で16の正四次元多面体が存在する。
-===正多胞体===
-各ファセット（''n'' &minus; 1 次元面）が[[合同]]で、各[[頂点形状]]が合同なポリトープを、[[正多胞体]] (regular polytope) と呼ぶ（この語も、4次元のものに限って使うことが少なくない）。正多胞体は[[シュレーフリ記号]]で表現できる。
+=== 星型超多面体 ===
-正多胞体の各要素もまた正多胞体である。たとえば、正多面体の面は合同な正多角形である。
+{{Main article|{{ill2|星型超多面体|en|Star polytope}}}}
+凸でない超多面体では自己交叉が許される。非凸超多面体の重要なクラスに{{ill2|星型超多面体|en|star polytope}}を挙げることができる。正超多面体のうちのいくつかは星型である{{sfn|Coxeter|1973}}
+== 双対性 ==
-正多胞体の種数は次元によって異なるが、2次元以上のどの次元にも存在する3種類の正多胞体があり、[[標準正多胞体]]という。それぞれの標準正多胞体は、[[α体|{{mvar|α}}体]]（正単体）、[[γ体|{{mvar|γ}}体]]（超立方体）、[[β体|{{mvar|β}}体]]（正軸体）という。
+任意の {{mvar|n}}-次元多面体は双対構造を持ち、それはその頂点とファセット、辺と稜、胞と峰といった具合に一般に {{math|1=''j'' = 1, 2, …, ''n'' &minus; 1}} に対して {{math|''j'' &minus; 1}}-次元面を余次元 {{mvar|j}} の面（つまり {{math|(''n'' &minus; ''j'')}}-次元面に、要素間の接続関係を保ったまま取り換えることで得られる。
+抽象超多面体に対しては、これは単に集合の包含関係による順序を逆にすることに相当する。この逆転操作は、正超多面体の[[シュレーフリ記号]]において「双対超多面体のシュレーフリ記号はもとの超多面体のシュレーフリ記号を逆順に書いたものに等しい」という事実にも見てとれる。つまり正超多面体 {4, 3, 3} は正超多面体 {3, 3, 4} の双対である。
-{| class="wikitable" style="text-align: center;"
-! 次元 !! 正多胞体 !! {{math|α}}体 !! {{math|γ}}体 !! {{math|β}}体 !! その他 !! 個数
-|-
-| 0 || || colspan="2" | [[点]] || - || || 1
-|-
-| 1 || || colspan="2" | [[線分]] || - || || 1
-|-
-| 2 || [[正多角形]] || [[正三角形]] || colspan="2" | [[正方形]] || style="text-align: left;" | [[正五角形]]・[[正六角形]]・[[正七角形]]・… || ∞
-|-
-| 3 || [[正多面体]] || [[正四面体]] || [[立方体]] || [[正八面体]] || style="text-align: left;" | [[正十二面体]]・[[正二十面体]] || align="center" | 5
-|-
-| 4 || （正多胞体）  || [[正五胞体]] || [[正八胞体]] || [[正十六胞体]] || style="text-align: left;" | [[正二十四胞体]]・[[正百二十胞体]]・[[正六百胞体]] || 6
-|-
-| ''n'' &ge; 5 || || (''n'' + 1) || (2''n'') || (2<sup>''n''</sup>) || || 3
-|}
-===空間充填形===
-''n''次元ポリトープによる''n''次元[[空間充填形]]は、''n'' + 1 次元ポリトープとみなすことができる。たとえば、[[平面充填形]]（2次元空間充填形）は多面体とみなすことができる。
-===双対===
-''n'' 次元ポリトープに対し、各 ''m'' (0 &le; ''m'' &le; ''n'' - 1) 次元面を ''n'' - ''m'' - 1 次元面で置き換える操作で得られるポリトープを、元のポリトープの[[双対]] (dual) という。
-多面体の双対を[[双対多面体]]という。多角形の双対はそれ自身である。
-==シュレーフリの定理==
-孔や密度のない ''n'' 次元ポリトープの ''m'' （0 &le; ''m'' &le; ''n''）次元要素の数を <math>e_m</math>とすると、
-:<math>\sum_{m=0}^{n} (-1)^m e_m = 1</math>
-が成り立ち、これを[[シュレーフリの定理]]と呼ぶ。
+幾何学的超多面体の場合には、双対化に際して適当な幾何学的規則が必要であることが、例えば[[双対多面体]]に対する記述からわかる。状況によっては、双対図形は別の幾何学的超多面体になることもならないこともある<ref>Wenninger, M.; ''Dual Models'', CUP (1983).</ref>
-''n'' 次元要素（常に1）を足さず、
+双対化の逆の操作でもとの超多面体が恢復されるから、超多面体全体の集まりに双対による対付けが存在する。
-:<math>\sum_{m=0}^{n-1} (-1)^m e_m = 1 - (-1) ^ n = \begin{cases} 0, \quad n \in 2 \mathbb Z \\ 2, \quad n \in 2 \mathbb Z + 1 \end{cases} </math>
+=== 自己双対超多面体 ===
-の形で書くこともある（<math>2 \mathbb Z, 2 \mathbb Z + 1</math> は[[偶数]]と[[奇数]]）。この式の値を[[オイラー標数]]という。
+[[File:Schlegel wireframe 5-cell.png|120px|thumb|四次元単体である[[五胞体]]は五つの頂点と五つの四面体胞を持つ自己双対超多面体である。]]
+超多面体が同じ数の頂点とファセット・辺と稜・面と峰…を持ち、接続関係も同じであるならば、双対図形がもとの図形と相似になることが起こり得る。そのような超多面体は自己双対であるという。
+よく知られた自己双対超多面体として以下を挙げることができる:
-次元 (''n'' = 3) の場合は、「頂点数 &minus; 辺数 + 面数 = 2」の[[オイラーの多面体定理]]となる。
+* 任意次元 {{mvar|n}} の正単体: シュレーフリ記号 {3<sup>''n''</sup>}. 例えば[[正三角形]] {3}, [[正四面体]] {3, 3}, [[正五胞体]] {3,3,3}.
+* 二次元の任意の[[正多角形]] (正二次元多面体)
+* 三次元の標準形[[角柱]]、{{ill2|角錐柱|en|elongated pyramid}}および{{ill2|四面欠損十二面体|en|tetrahedrally diminished dodecahedron}}、また無限{{ill2|正方形充填|en|Square tiling}} {4, 4}.
+* 四次元の[[正二十四胞体]] {3,4,3}, また無限{{ill2|立方体ハニカム|en|cubic honeycomb}} {4,3,4}.
 == 一般化 ==
 === 超無限面体 ===
 必ずしもすべての多様体が有限でない。超多面体を多様体の単体分割として理解する立場からは、超多面体を無限多様体に対しても拡張して考えることは可能である。そのような意味での超多面体は、平面分割、空間充填[[ハニカム構造|ハニカム]]、{{ill2|双曲型充填|en|hyperbolic tiling}}によって可能で、それらは無限個の（余次元 1 の）面 (cell) を持つから{{ill2|無限面体|en|apeirotope}}と呼ばれることがある。
@@ 174行目: / 160行目: @@
 現代において、超多面体および関連する概念は多様な分野において多くの重要な応用を持ち、それらは[[コンピュータグラフィック]]、[[数理最適化]]、[[サーチエンジン]]、[[宇宙論]]、[[量子力学]]ほか様々な分野において見つけられる。2013年には、理論物理学に関するある種に計算において構成を簡単化するものとして{{ill2|振幅多面体|en|amplituhedron}}が発見された。
+== 応用 ==
+[[数理最適化]]および[[線型計画法]]の研究において、線型函数の[[最大・最小]]は {{mvar|n}}-次元超多面体の[[境界 (位相空間論)|境界]]において達成される。線型計画法において超多面体は{{ill2|一般化重心座標系|en|Generalized barycentric coordinates}}や{{ill2|スラック変数|en|Slack variable}}を用いる際に生じる。
+[[理論物理学]]の分野[[ツイスター理論]]において、{{ill2|振幅多面体|en|amplituhedron}}と呼ばれる超多面体が、亜原子粒子の衝突時の散乱振幅の計算に用いられる。この構成は純理論的で物理的扱いは知られていないが、ある種の計算を大きく簡単にするという<ref>{{cite arXiv|last1=Arkani-Hamed |first1=Nima |last2=Trnka |first2=Jaroslav |year=2013 |eprint=1312.2007 |title=The Amplituhedron |ref=harv}}</ref>。
+== 関連項目 ==
+* {{ill2|正超多面体の一覧|en|List of regular polytopes}}
+* {{ill2|包含立体|en|Bounding volume}}: CGなどで使われる離散有向超多面体
+* {{ill2|Intersection of a polyhedron with a line|en|Intersection of a polyhedron with a line}}
+* {{ill2|多面体の拡大|en|Extension of a polyhedron}}
+* {{ill2|Polytope de Montréal|en|Polytope de Montréal}}
+* {{ill2|ハニカム (幾何学)|en|Honeycomb (geometry)}}
 == 注 ==
@@ 184行目: / 183行目: @@
 *{{Citation |last=Coxeter |first=Harold Scott MacDonald |authorlink=Harold Scott MacDonald Coxeter |title=[[Regular Polytopes (book)|Regular Polytopes]] |publisher=[[Dover Publications]] |location=New York |isbn=978-0-486-61480-9 |year=1973|ref=harv}}.
 *{{Citation |last=Grünbaum |first=Branko |authorlink=Branko Grünbaum |title=Convex polytopes |location=New York & London |publisher=[[Springer-Verlag]] |year=2003 |isbn=0-387-00424-6 |edition=2nd |editor1-first=Volker |editor1-last=Kaibel |editor2-first=Victor |editor2-last=Klee |editor2-link=Victor Klee |editor3-first=Günter M. |editor3-last=Ziegler |editor3-link=Günter M. Ziegler|ref=harv}}.
+*{{Citation |last=Ziegler |first=Günter M. |authorlink=Günter M. Ziegler |title=Lectures on Polytopes |publisher=[[Springer-Verlag]] |location=Berlin, New York |series=Graduate Texts in Mathematics |year=1995 |volume=152}}.
 == 外部リンク ==
@@ 191行目: / 191行目: @@
 * {{ProofWiki|urlname=Definition:Polytope|title=Definition:Polytope}}
 * {{SpringerEOM|urlname=Polytope|title=Polytope}}
+*[http://www.businessweek.com/magazine/content/06_04/b3968001.htm "Math will rock your world"] – application of polytopes to a database of articles used to support custom news feeds via the [[Internet]] – (''Business Week Online'')
+*[http://presh.com/hovinga/regularandsemiregularconvexpolytopesashorthistoricaloverview.html Regular and semi-regular convex polytopes a short historical overview:]
-{{次元}}
+{{次元}}{{Polytopes}}
 {{DEFAULTSORT:ほりとーふ}}
 [[Category:多胞体]]

表話編歴次元
定義	相似次元容量次元位相次元ハウスドルフ次元ミンコフスキー次元フラクタル次元
整数次元	0次元 1次元 2次元 3次元 4次元 5次元 6次元 (6DoF) 7次元 8次元 9次元 10次元 11次元
ポリトープ	超平面超曲面超立方体超直方体超球面超矩形半超立方体正軸体単体多胞体
その他	座標軸測度論 2.5次元フラクタル幾何自由度
カテゴリポータル:数学

表話編歴 2から10次元の基本的な凸正および一様多胞体（英語版）
族	A_n	B_n	I₂(p) / D_n	E₆（英語版） / E₇（英語版） / E₈ / E₉（英語版） / E₁₀（英語版） / F₄（英語版） / G₂（英語版）	H_n（英語版）
正多角形	正三角形	正方形	p 角形	正六角形	正五角形
一様多面体	正四面体	正八面体 • 立方体	半切立方体（英語版）		正十二面体 • 正二十面体
一様4次元多胞体（英語版）	正五胞体	正十六胞体 • 正八胞体	半切正八胞体（英語版）	正二十四胞体	正百二十胞体 • 正六百胞体
一様5次元多胞体（英語版）	5次元単体（英語版）	5次元正軸体（英語版） • 5次元立方体（英語版）	5次元半切立方体（英語版）
一様6次元多胞体（英語版）	6次元単体（英語版）	6次元正軸体（英語版） • 6次元立方体（英語版）	6次元半切立方体（英語版）	1₂₂（英語版） • 2₂₁（英語版）
一様7次元多胞体（英語版）	7次元単体（英語版）	7次元正軸体（英語版） • 7次元立方体（英語版）	7次元半切立方体（英語版）	1₃₂（英語版） • 2₃₁（英語版） • 3₂₁（英語版）
一様8次元多胞体（英語版）	8次元単体（英語版）	8次元正軸体（英語版） • 8次元立方体（英語版）	8次元半切立方体（英語版）	1₄₂（英語版） • 2₄₁（英語版）• 4₂₁（英語版）
一様9次元多胞体（英語版）	9次元単体（英語版）	9次元正軸体（英語版） • 9次元立方体（英語版）	9次元半切立方体（英語版）
一様10次元多胞体（英語版）	10次元単体（英語版）	10次元正軸体（英語版） • 10次元立方体（英語版）	10次元半切立方体（英語版）
一様 n-多胞体	n-単体	n-正軸体 • n-立方体	n-半切立方体（英語版）	1_k2（英語版） • 2_k1（英語版） • k₂₁（英語版）	n-五角多面体（英語版）
トピック：多胞体の族（英語版） • 正多胞体（英語版） • 正多胞体と複合体の一覧（英語版）