Definition:Positive Real Vector Space

Definition

Let $\R_{\ge 0}$ be the set of positive real numbers.

Then the $\R_{\ge 0}$-module $\R_{\ge 0}^n$ is called the positive real ($n$-dimensional) vector space.

Sources

• 1994: Martin J. Osborne and Ariel Rubinstein: A Course in Game Theory ... (previous) ... (next): $1.7$: Terminology and Notation