Definition:Positive Real Vector Space

From ProofWiki
Jump to: navigation, search

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