|
Topology
Definition 4.2. The standard $n$-simplex[标准单纯形] is the set
$$
\Delta^n=\left\{\left(x_1, \ldots, x_{n+1}\right) \in \mathbb{R}^{n+1}: x_i \geq 0 \forall i \text { and } \sum_i x_i=1\right\} .
$$
The non-negative integer $n$ is the dimension of this simplex. Its vertices, denoted $V\left(\Delta^n\right)$, are those points $\left(x_1, \ldots, x_{n+1}\right)$ in $\Delta^n$ where $x_i=1$ for some $i$ (and hence $x_j=0$ for all $j \neq i$ ). For each non-empty subset $A$ of $\{1, \ldots, n+1\}$ there is a corresponding face of $\Delta^n$, which is
$$
\left\{\left(x_1, \ldots, x_{n+1}\right) \in \Delta^n: x_i=0 \forall i \notin A\right\} .
$$
Note that $\Delta^n$ is a face of itself (setting $A=\{1, \ldots, n+1\}$ ). The inside of $\Delta^n$ is
$$
\operatorname{inside}\left(\Delta^n\right)=\left\{\left(x_1, \ldots, x_{n+1}\right) \in \Delta^n: x_i>0 \forall i\right\}
$$
Note that the inside of $\Delta^0$ is $\Delta^0$.
$\Delta^0$ | $\Delta^1$ | $\Delta^2$ | $\Delta^3$ | | |
| |
|
|