2024-04-21

544: Standard Simplex

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of standard simplex

Topics


About: vectors space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of standard simplex.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\( \mathbb{R}^{n + 1}\): as the Euclidean vectors space
\( \{e_1, ..., e_{n + 1}\}\): \(\subseteq \mathbb{R}^{n + 1}\), where \(e_j\) is the unit vector for the \(j\)-th component of \(\mathbb{R}^{n + 1}\)
\(*\Delta^n\): \(= [e_1, ..., e_{n + 1}]\), which is the affine simplex with \(V = \mathbb{R}^{n + 1}\) and \(\{p_0, ..., p_n\} = \{e_1, ..., e_{n + 1}\}\)
//

Conditions:
//


2: Natural Language Description


For the Euclidean vectors space, \(\mathbb{R}^{n + 1}\), and the affine-independent set of base points, \(\{e_1, ..., e_{n + 1}\} \subseteq \mathbb{R}^{n + 1}\), where \(e_j\) is the unit vector for the \(j\)-th component of \(\mathbb{R}^{n + 1}\), the affine simplex, \([e_1, ..., e_{n + 1}]\), with \(V = \mathbb{R}^{n + 1}\) and \(\{p_0, ..., p_n\} = \{e_1, ..., e_{n + 1}\}\), denoted as \(\Delta^n\)


References


<The previous article in this series | The table of contents of this series | The next article in this series>