Definition:Strictly Positive/Real Number

From ProofWiki
Jump to navigation Jump to search

Definition

Definition 1

The strictly positive real numbers are the set defined as:

$\R_{>0} := \set {x \in \R: x > 0}$

That is, all the real numbers that are strictly greater than zero.


Definition 2

The strictly positive real numbers, written $R_{>0}$, is the subset of $\R$ that satisfies the following:

\((\R_{>0} 1)\)   $:$   Closure under addition      \(\ds \forall x, y \in \R_{>0}:\) \(\ds x + y \in \R_{>0} \)      
\((\R_{>0} 2)\)   $:$   Closure under multiplication      \(\ds \forall x, y \in \R_{>0}:\) \(\ds xy \in \R_{>0} \)      
\((\R_{>0} 3)\)   $:$   Trichotomy      \(\ds \forall x \in \R:\) \(\ds x \in \R_{>0} \lor x = 0 \lor -x \in \R_{>0} \)      


Also known as

Throughout Euclid's The Elements, the term magnitude is universally used for this concept.

It must of course be borne in mind that at that stage in the development of mathematics, neither of the concepts real number nor positive were fully understood except intuitively.


Some sources merely refer to this as positive, as their treatments do not accept $0$ as being either positive or negative.


The $\mathsf{Pr} \infty \mathsf{fWiki}$-specific notation $\R_{> 0}$ is actually non-standard. The conventional symbol to denote this concept is $\R_+^*$.

Note that $\R^+$ is also seen sometimes, but this is usually interpreted as the set $\left\{{x \in \R: x \ge 0}\right\}$.