単体 (数学)のソースを表示

{{出典の明記|date=2023年10月}}
{{Expand English|Simplex|date=2024年5月}}
[[File:Simplexes.jpg|alt=The four simplexes which can be fully represented in 3D space.|thumb|271x271px|3次元空間で表現できる4種類の単体]]
[[数学]]、とくに[[位相幾何学]]において、''n'' 次元の'''単体'''（たんたい、{{lang-en-short|simplex}}）とは、「''r'' &le; ''n'' ならばどの ''r'' + 1 個の点も ''r'' &minus; 1 次元の超平面に同時に含まれることのない」ような ''n'' + 1 個の点からなる[[集合]]の[[凸包]]のことで、[[点 (数学)|点]]・[[線分]]・[[三角形]]・[[四面体]]・[[五胞体]]といった基本的な図形の ''n'' 次元への一般化である。<!--位相多様体の三角形分割（単体分割）などにも言及できると良いのだけれど-->

全ての辺の長さが等しい時、[[正単体]]と言う。

単体は、頂点の位置さえ決めればそれのみによって一意的に決定される。さらに単体は[[単体的複体]]や[[鎖複体]]などの概念を与えるが、これらはさらに抽象化されて、幾何学を[[組合せ論的位相幾何学|組合せ論的]]あるいは[[代数的位相幾何学|代数的]]に扱う道具となる。また逆に、抽象化された複体の概念から単体が定義される。

== 素朴な定義 ==
{{math|''r'' + 1}}個の点（の位置ベクトル）{{math2|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}} があり、これらすべての点が {{math|'''R'''{{sup|''n''}}}} の {{math|''r'' &minus; 1}}次元以下の部分空間に含まれることはない（これを'''一般の位置にある'''という）ものとする。このとき、
:<math>\left\{
  \textstyle\sum\limits_{i=0}^r \lambda_i \boldsymbol{a}_i \in \mathbb{R}^n \mid 
  \lambda_i \in \mathbb{R}, \ \sum\limits_{i=0}^r \lambda_i=1,\ \lambda_0, \cdots, \lambda_r \ge 0
\right\}</math>
を、{{math2|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}} によって生成される（あるいは張られる）{{mvar|r}}次元'''単体''' (''r''-dimentional ''simplex'') あるいは単に {{mvar|r}}'''単体''' (''r''-''simplex'') という。また、{{math2|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}} をこの単体の'''頂点''' (vertex) といい、{{math2|1=''V'' = {{mset|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}}}} を頂点集合と呼ぶ。

また、{{math2|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}} がアフィン独立 (affinely independent)、すなわち {{math2|'''''a'''''{{sub|1}} &minus; '''''a'''''{{sub|0}}, …, '''''a'''''{{sub|''r''}} &minus; '''''a'''''{{sub|0}}}} が線形独立であって、この {{math2|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}} が張る凸包というように言い換えることもできる。

二つの単体が頂点を共有し、一方が他方に含まれるとき、含まれる単体を他方の単体の'''面''' (''face'') であるという。特に、{{mvar|m}}次元単体であるような面を {{mvar|m}}次元の面 (''m''-''face'') という。たとえば、頂点は 0 次元面である。また特に 1 次元面を'''辺'''と呼び、余次元 1 の面を'''ファセット'''（''facet''、切子面）と呼ぶ（ここで「余次元」というのは、含む単体の次元とその面の次元との差のことである）。

== 例 ==
* 0 次元単体は[[点 (数学)|点]]。
* 1 次元単体は[[線分]]。
* 2 次元単体は[[三角形]]。
* 3 次元単体は[[四面体]]。
* 4 次元単体は[[五胞体]]。

== 体積 ==
単体は空間上にある基準点 O を取ったとき、O からの[[位置ベクトル]]が互いに一次独立である {{math2|''n'' + 1}}個の点 P{{sub|1}}, …, P{{sub|''n''+1}} を頂点にもつ[[多面体]]である。このとき、<math>\overrightarrow{\text{OP}_i} = (x_{1,i}, \cdots, x_{n,i})</math> とすれば、超体積（{{math2|1=''n'' = 3}} であれば体積、{{math2|1=''n'' = 2}} であれば面積、{{math2|1=''n'' = 1}} であれば長さ）{{mvar|V}} は、
:<math>
V = \frac{1}{n!}\operatorname{abs}
\begin{vmatrix}
x_{1,1} &x_{1,2} &\cdots &x_{1,n+1} \\
        &\cdots  &\cdots &          \\
x_{n,1} &x_{n,2} &\cdots &x_{n,n+1} \\
1       &1       &1      &1
\end{vmatrix}</math>
と表すことができる。特に、P{{sub|''n''+1}} = O であるとき、
:<math>
V = \frac{1}{n!}\operatorname{abs}
\begin{vmatrix}
x_{1,1} &\cdots &x_{1,n} \\
\vdots &\ddots &\vdots \\
x_{n,1} &\cdots &x_{n,n}
\end{vmatrix}</math>
である。

頂点の位置ベクトルが {{math2|'''''a'''''{{sub|0}}, '''''a'''''{{sub|1}}, …, '''''a'''''{{sub|''r''}}}} で与えられる {{mvar|r}}次元単体の容積（volume, {{mvar|r}}次元体積）は[[行列式]] det を用いて以下のように与えられる。
:<math>\frac{1}{r!}\det(
  \boldsymbol{a}_0 - \boldsymbol{a}_1,
  \boldsymbol{a}_1 - \boldsymbol{a}_2, \cdots,
  \boldsymbol{a}_{r-1} - \boldsymbol{a}_r
)</math>

== 性質 ==
単体は凸な図形であり、一般の位置にある頂点の組を与えれば、その頂点を含む''最小の凸図形''（[[凸包]]）として一意に決定される。また、単体の頂点集合から幾つかの頂点を選ぶならば、選んだ頂点の張る単体はもとの単体に面として含まれる。これらの性質から、単体（一般に複体）は[[組合せ論]]的対象となる。特に ''n'' 次元単体(''n+1''個の頂点をもつ)の ''r'' 次元面(''r+1''個の頂点をもつ)の総数は、[[組合せ]]の数 <sub>''n+1''</sub>C<sub>''r+1''</sub> である。この数は[[パスカルの三角形]]の第 ''n+2'' 段の ''r+2'' 番目の数字に相当する。

== 標準単体 ==
位相的な単体の中で標準的な対象と考えられるべきものには二種類あり、各々に一長一短がある。一方は[[重心座標]]を用いて、他方は[[単位の分割]]により表示される。
* 重心座標を用いて表示される標準的な単体：<math>\left\{
  (t_0,\cdots,t_n) \in  \mathbb{R}^{n+1} \mid 
  \textstyle\sum\limits_{i=0}^r t_i=1, \ t_0, \cdots, t_n \ge 0
\right\} \subset \mathbb{R}^{n+1}</math>
* 単位の分割により表示される標準的な単体：<math>\textstyle\left\{
  (x_1,\cdots,x_n) \mid 
  0 \le x_1 \le x_2 \le \cdots \le x_n \le 1
\right\} \subset \mathbb{R}^n</math>
:ただし、前者は <math>\mathbb{R}^{n+1}</math> の {{mvar|n}}次元アファイン超平面 <math>H^n : \textstyle\sum\limits_{i=0}^n t_i=1</math> の上にあり、後者は <math>\mathbb{R}^n</math> の <math>n+1</math> 個の点 <math>\boldsymbol{a}_0=(0,\dots,0), </math> <math>\boldsymbol{a}_1=(1,0,\cdots,0),</math> <math>\boldsymbol{a}_2=(1,1,0,\cdots,0), </math> <math>\boldsymbol{a}_3=(1,1,1,0,\cdots,0)),\cdots, </math> <math>\boldsymbol{a}_n=(1,\cdots,1)</math> からなる集合の凸包である。

多くの場合に単位の分割による後者の単体が[[標準単体]] (standard simplex) と呼ばれ、そのような場合に前者の単体は[[単位単体]] (unit simplex) と呼ばれることがある。これらはもちろん無関係ではなく、次の同相写像によって同一視される。いずれを標準単体として採用する場合も、記号としては <math>\triangle^n</math> あるいは <math>\Delta^n</math> が用いられることが多い。
:<math>D_n : \mathbb{R}^n \ni (x_1,\cdots,x_n) \rightarrow (t_0,\cdots,t_n) \in H^n \iff t_i=x_{i+1}-x_i,</math>
ただし、<math>x_0=0, x_{n+1}=1</math> とする。

== 抽象化 ==
座標や一次独立性や非零の係数などに依らず、集合論の記号のみを用いて抽象単体を定義できる。

* 単体は頂点集合の凸包である
* 単体の面は頂点集合の部分集合を選ぶことと対応している

という性質から、

* 頂点集合を決めれば、単体はそれが含む全ての面とその包含関係まで込めて特定される

ことが理解される。もう少し正確には、単体が他の単体に面として含まれることを'''面関係''' (face relation) と呼ぶことにすると、

* ある単体の面全体の成す集合に面関係による順序を入れたものは、頂点集合の[[冪集合]]が包含関係に関して作る[[順序集合]]とみなすことができる

ということである。

なお、位相幾何学的には凸性はあまり意味を持たないが、各面を連続的に動かして移りあう図形を区別しないため、やはり頂点を決めれば（それらをあらゆる次元ですべて繋ぐことで）単体は一意的に決定され、上と同じことを考えることができる。重要なことは、単体を、それが含む面の全体を考えて、頂点集合の部分集合の族とみなすことである。

== 関連項目 ==
* [[正単体]]
* [[複体]]

{{次元}}

{{DEFAULTSORT:たんたい}}
[[Category:位相幾何学]]
[[Category:多胞体]]
[[Category:自己双対多胞体]]
[[Category:組合せ論]]
[[Category:数学に関する記事]]