単体 (数学)
三角形または四面体の概念を任意の次元に一般化する
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
●英語版記事を日本語へ機械翻訳したバージョン︵Google翻訳︶。
●万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
●信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
●履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
●翻訳後、
{{翻訳告知|en|Simplex|…}} をノートに追加することもできます。
●Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
数学、とくに位相幾何学において、n 次元の単体︵たんたい、英: simplex︶とは、﹁r ≤ nならばどの r+ 1 個の点も r− 1 次元の超平面に同時に含まれることのない﹂ような n+ 1 個の点からなる集合の凸包のことで、点・線分・三角形・四面体・五胞体といった基本的な図形の n次元への一般化である。
![The four simplexes which can be fully represented in 3D space.](//upload.wikimedia.org/wikipedia/commons/thumb/e/e1/Simplexes.jpg/271px-Simplexes.jpg)
3次元空間で表現できる4種類の単体
全ての辺の長さが等しい時、正単体と言う。
単体は、頂点の位置さえ決めればそれのみによって一意的に決定される。さらに単体は単体的複体や鎖複体などの概念を与えるが、これらはさらに抽象化されて、幾何学を組合せ論的あるいは代数的に扱う道具となる。また逆に、抽象化された複体の概念から単体が定義される。
![The four simplexes which can be fully represented in 3D space.](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e1/Simplexes.jpg/271px-Simplexes.jpg)
素朴な定義
編集
r + 1個の点︵の位置ベクトル︶a0, a1, …, arがあり、これらすべての点が Rnの r− 1次元以下の部分空間に含まれることはない︵これを一般の位置にあるという︶ものとする。このとき、
を、a0, a1, …, arによって生成される︵あるいは張られる︶r次元単体 (r-dimentional simplex) あるいは単に r単体 (r-simplex) という。また、a0, a1, …, arをこの単体の頂点 (vertex) といい、V = {a0, a1, …, ar} を頂点集合と呼ぶ。
また、a0, a1, …, arがアフィン独立 (affinely independent)、すなわち a1− a0, …, ar− a0 が線形独立であって、この a0, a1, …, arが張る凸包というように言い換えることもできる。
二つの単体が頂点を共有し、一方が他方に含まれるとき、含まれる単体を他方の単体の面 (face) であるという。特に、m次元単体であるような面を m次元の面 (m-face) という。たとえば、頂点は 0 次元面である。また特に1次元面を辺と呼び、余次元1の面をファセット︵facet、切子面︶と呼ぶ︵ここで﹁余次元﹂というのは、含む単体の次元とその面の次元との差のことである︶。
例
編集体積
編集
単体は空間上にある基準点Oを取ったとき、Oからの位置ベクトルが互いに一次独立である n+ 1個の点P1, …, Pn+1 を頂点にもつ多面体である。このとき、
とすれば、超体積︵n = 3 であれば体積、n = 2 であれば面積、n = 1 であれば長さ︶V は、
と表すことができる。特に、Pn+1 = O であるとき、
である。
頂点の位置ベクトルが a0, a1, …, arで与えられる r次元単体の容積︵volume, r次元体積︶は行列式 det を用いて以下のように与えられる。
性質
編集標準単体
編集
位相的な単体の中で標準的な対象と考えられるべきものには二種類あり、各々に一長一短がある。一方は重心座標を用いて、他方は単位の分割により表示される。
●重心座標を用いて表示される標準的な単体‥
●単位の分割により表示される標準的な単体‥
ただし、前者は
の n次元アファイン超平面
の上にあり、後者は
の
個の点
からなる集合の凸包である。
多くの場合に単位の分割による後者の単体が標準単体 (standard simplex) と呼ばれ、そのような場合に前者の単体は単位単体 (unit simplex) と呼ばれることがある。これらはもちろん無関係ではなく、次の同相写像によって同一視される。いずれを標準単体として採用する場合も、記号としては
あるいは
が用いられることが多い。
ただし、
とする。
抽象化
編集
座標や一次独立性や非零の係数などに依らず、集合論の記号のみを用いて抽象単体を定義できる。
●単体は頂点集合の凸包である
●単体の面は頂点集合の部分集合を選ぶことと対応している
という性質から、
●頂点集合を決めれば、単体はそれが含む全ての面とその包含関係まで込めて特定される
ことが理解される。もう少し正確には、単体が他の単体に面として含まれることを面関係 (face relation) と呼ぶことにすると、
●ある単体の面全体の成す集合に面関係による順序を入れたものは、頂点集合の冪集合が包含関係に関して作る順序集合とみなすことができる
ということである。
なお、位相幾何学的には凸性はあまり意味を持たないが、各面を連続的に動かして移りあう図形を区別しないため、やはり頂点を決めれば︵それらをあらゆる次元ですべて繋ぐことで︶単体は一意的に決定され、上と同じことを考えることができる。重要なことは、単体を、それが含む面の全体を考えて、頂点集合の部分集合の族とみなすことである。