|
hbghlyj
Posted at 2023-2-25 11:17:08
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$ | --(1.4,0);%0A%5Cdraw%5Bfill=white%5D%20(0,0)%20circle%20(1pt);%0A%5Cfill%5Bblack%5D%20(1,0)%20circle%20(1pt)node%5Bbelow%5D%7B1%7D;%0A%5Cend%7Btikzpicture%7D) | --(1.4,0);%5Cdraw%5B-latex%5D(0,-.2)--(0,1.4);%0A%20%20%5Cdraw%5Bvery%20thick%5D%20(0,1)node%5Bleft%5D%7B1%7D%20--%20(1,0)node%5Bbelow%5D%7B1%7D;%5Cdraw%5Bfill=white%5D%20(0,0)%20circle%20(1pt);%0A%20%20%5Cfill%20(0,1)%20circle%20(1pt);%0A%20%20%5Cfill%20(1,0)%20circle%20(1pt);%0A%5Cend%7Btikzpicture%7D) | 

%20--%20(1,0)%20--%20(0.5,0.87)%20--%20cycle;%0A%20%20%5Cfill%20(0,0)%20circle%20(1pt);%0A%20%20%5Cfill%20(1,0)%20circle%20(1pt);%0A%20%20%5Cfill%20(0.5,0.87)%20circle%20(1pt);%0A%5Cend%7Btikzpicture%7D) |  |
|
|