数学 、とくに位相幾何学 において、n 次元の単体 （たんたい、英 : simplex ）とは、「r ≤ n ならばどの r + 1 個の点も r − 1 次元の超平面に同時に含まれることのない」ような n + 1 個の点からなる集合 の凸包 のことで、点 ・線分 ・三角形 ・四面体 ・五胞体 といった基本的な図形の n 次元への一般化である。
全ての辺の長さが等しい時、正単体 と言う。
単体は、頂点の位置さえ決めればそれのみによって一意的に決定される。さらに単体は単体的複体 や鎖複体 などの概念を与えるが、これらはさらに抽象化されて、幾何学を組合せ論的 あるいは代数的 に扱う道具となる。また逆に、抽象化された複体の概念から単体が定義される。
素朴な定義 編集
r + 1 個の点（の位置ベクトル） a 0 , a 1 , ..., a r R n r − 1 次元以下の部分空間に含まれることはない（これを一般の位置にある という）ものとする。このとき、
{
∑
i
=
0
r
λ
i
a
i
∣
λ
i
∈
R
,
∑
i
=
0
r
λ
i
=
1
,
λ
0
,
…
,
λ
r
≥
0
}
{\displaystyle \left\{\sum _{i=0}^{r}\lambda _{i}\mathbf {a} _{i}\mid \lambda _{i}\in \mathbb {R} ,\ \sum _{i=0}^{r}\lambda _{i}=1,\ \lambda _{0},\dots ,\lambda _{r}\geq 0\right\}}
を、a 0 , a 1 , ..., a r r 次元単体 (r -dimentional simplex ) あるいは単に r 単体 (r -simplex ) という。また、a 0 , a 1 , ..., a r 頂点 (vertex) といい、V = {a 0 , a 1 , ..., a r
二つの単体が頂点を共有し、一方が他方に含まれるとき、含まれる単体を他方の単体の面 (face ) であるという。特に、m 次元単体であるような面を m 次元の面 (m -face ) という。たとえば、頂点は 0 次元面である。また特に 1 次元面を辺 と呼び、余次元 1 の面をファセット （facet 、切子面）と呼ぶ（ここで「余次元」というのは、含む単体の次元とその面の次元との差のことである）。
単体は空間上にある基準点 O を取ったとき、O からの位置ベクトル が互いに一次独立な関係にあるような n +1 個の点 P1 ,…,Pn +1多面体 である。このとき、
O
P
i
→
=
(
x
1
i
,
⋯
,
x
n
i
)
{\displaystyle {\overrightarrow {OP_{i}}}=(x_{1i},\cdots ,x_{ni})}
V
=
1
n
!
abs
|
x
11
x
12
⋯
x
1
,
n
+
1
⋯
⋯
x
n
1
x
n
2
⋯
x
n
,
n
+
1
1
1
1
1
|
{\displaystyle V={\frac {1}{n!}}\operatorname {abs} {\begin{vmatrix}x_{11}&x_{12}&\cdots &x_{1,n+1}\\&\cdots &\cdots &\\x_{n1}&x_{n2}&\cdots &x_{n,n+1}\\1&1&1&1\end{vmatrix}}}
と表すことができる。特に、Pn +1
V
=
1
n
!
abs
|
x
11
⋯
x
1
n
⋮
⋱
⋮
x
n
1
⋯
x
n
n
|
{\displaystyle V={\frac {1}{n!}}\operatorname {abs} {\begin{vmatrix}x_{11}&\cdots &x_{1n}\\\vdots &\ddots &\vdots \\x_{n1}&\cdots &x_{nn}\end{vmatrix}}}
である。
頂点の位置ベクトルが a 0 , a 1 , ..., a r r 次元単体の容積（volume, r 次元体積）は行列式 det を用いて以下のように与えられる。
1
r
!
det
(
a
0
−
a
1
,
a
1
−
a
2
,
…
,
a
r
−
1
−
a
r
)
.
{\displaystyle {1 \over r!}\det(\mathbf {a} _{0}-\mathbf {a} _{1},\mathbf {a} _{1}-\mathbf {a} _{2},\ldots ,\mathbf {a} _{r-1}-\mathbf {a} _{r}).}
単体は凸な図形であり、一般の位置にある頂点の組を与えれば、その頂点を含む最小の凸図形 （凸包 ）として一意に決定される。また、単体の頂点集合から幾つかの頂点を選ぶならば、選んだ頂点の張る単体はもとの単体に面として含まれる。これらの性質から、単体（一般に複体）は組合せ論 的対象となる。特に n 次元単体(n+1 個の頂点をもつ)の r 次元面(r+1 個の頂点をもつ)の総数は、組合せ の数 n+1 r+1 パスカルの三角形 の第 n+2 段の r+2 番目の数字に相当する。
位相的な単体の中で標準的な対象と考えられるべきものには二種類あり、各々に一長一短がある。一方は重心座標 を用いて、他方は単位の分割 により表示される。
重心座標を用いて表示される標準的な単体：
{
(
t
0
,
…
,
t
n
)
∈
R
n
+
1
∣
∑
r
i
=
0
t
i
=
1
,
t
0
,
…
,
t
n
≥
0
}
⊂
R
n
+
1
{\displaystyle \left\{(t_{0},\ldots ,t_{n})\in \mathbb {R} ^{n+1}\mid {\underset {i=0}{\overset {r}{\textstyle \sum }}}t_{i}=1,\ t_{0},\ldots ,t_{n}\geq 0\right\}\subset \mathbb {R} ^{n+1}}
単位の分割により表示される標準的な単体：
{
(
x
1
,
…
,
x
n
)
∣
0
≤
x
1
≤
x
2
≤
⋯
≤
x
n
≤
1
}
⊂
R
n
{\displaystyle \textstyle \left\{(x_{1},\ldots ,x_{n})\mid 0\leq x_{1}\leq x_{2}\leq \cdots \leq x_{n}\leq 1\right\}\subset \mathbb {R} ^{n}}
ただし、前者は
R
n
+
1
{\displaystyle \mathbb {R} ^{n+1}}
n 次元アファイン超平面
H
n
:
∑
n
i
=
0
t
i
=
1
{\displaystyle H^{n}:{\underset {i=0}{\overset {n}{\textstyle \sum }}}t_{i}=1}
R
n
{\displaystyle \mathbb {R} ^{n}}
n
+
1
{\displaystyle n+1}
a
0
=
(
0
,
…
,
0
)
,
{\displaystyle \mathbf {a} _{0}=(0,\dots ,0),}
a
1
=
(
1
,
0
,
…
,
0
)
,
{\displaystyle \mathbf {a} _{1}=(1,0,\ldots ,0),}
a
2
=
(
1
,
1
,
0
,
…
,
0
)
,
{\displaystyle \mathbf {a} _{2}=(1,1,0,\ldots ,0),}
a
3
=
(
1
,
1
,
1
,
0
,
…
,
0
)
)
,
…
,
{\displaystyle \mathbf {a} _{3}=(1,1,1,0,\ldots ,0)),\ldots ,}
a
n
=
(
1
,
…
,
1
)
{\displaystyle \mathbf {a} _{n}=(1,\ldots ,1)}
多くの場合に単位の分割による後者の単体が標準単体 （standard simplex）と呼ばれ、その様な場合に前者の単体は単位単体 （unit simplex）と呼ばれることがある。これらはもちろん無関係ではなく、次の同相写像によって同一視される。いずれを標準単体として採用する場合も、記号としては
△
n
{\displaystyle \triangle ^{n}}
Δ
n
{\displaystyle \Delta ^{n}}
D
n
:
R
n
∋
(
x
1
,
…
,
x
n
)
→
(
t
0
,
…
,
t
n
)
∈
H
n
⟺
t
i
=
x
i
+
1
−
x
i
,
{\displaystyle D_{n}:\mathbb {R} ^{n}\ni (x_{1},\ldots ,x_{n})\rightarrow (t_{0},\ldots ,t_{n})\in H^{n}\iff t_{i}=x_{i+1}-x_{i},}
ただし、
x
0
=
0
,
x
n
+
1
=
1
{\displaystyle x_{0}=0,x_{n+1}=1}
単体は頂点集合の凸包であるということ、単体の面は頂点集合の部分集合を選ぶことと対応しているという性質から、「頂点集合を決めれば、単体はそれが含む全ての面とその包含関係まで込めて特定される」ことが理解される。もう少し正確には、単体が他の単体に面として含まれることを面関係 (face relation) と呼ぶことにすると、「ある単体の面全体の成す集合に面関係による順序を入れたものは、頂点集合の冪集合 が包含関係に関して作る順序集合 とみなすことができる」ということである。
なお、位相幾何学的には凸性はあまり意味を持たないが、各面を連続的に動かして移りあう図形を区別しないため、やはり頂点を決めれば（それらをあらゆる次元ですべて繋ぐことで）単体は一意的に決定され、上と同じことを考えることができる。重要なことは、単体を、それが含む面の全体を考えて、頂点集合の部分集合の族とみなすことである。
