How does one denote the set of all positive real numbers?

The unambiguous notations are: for the positive-real numbers $$ \mathbb{R}_{>0} = \left\{ x \in \mathbb{R} \mid x > 0 \right\} \,, $$ and for the non-negative-real numbers $$ \mathbb{R}_{\geq 0} = \left\{ x \in \mathbb{R} \mid x \geq 0 \right\} \,. $$ Notations such as $\mathbb{R}_{+}$ or $\mathbb{R}^{+}$ are non-standard and should be avoided, becuase it is not clear whether zero is included. Furthermore, the subscripted version has the advantage, that $n$-dimensional spaces can be properly expressed. For example, $\mathbb{R}_{>0}^{3}$ denotes the positive-real three-space, which would read $\mathbb{R}^{+,3}$ in non-standard notation.


Addendum:

In Algebra one may come across the symbol $\mathbb{R}^\ast$, which refers to the multiplicative units of the field $\big( \mathbb{R}, +, \cdot \big)$. Since all real numbers except $0$ are multiplicative units, we have $$ \mathbb{R}^\ast = \mathbb{R}_{\neq 0} = \left\{ x \in \mathbb{R} \mid x \neq 0 \right\} \,. $$ But caution! The positive-real numbers can also form a field, $\big( \mathbb{R}_{>0}, \cdot, \star \big)$, with the operation $x \star y = \mathrm{e}^{ \ln(x) \cdot \ln(y) }$ for all $x,y \in \mathbb{R}_{>0}$. Here, all positive-real numbers except $1$ are the "multiplicative" units, and thus $$ \mathbb{R}_{>0}^\ast = \mathbb{R}_{\neq 1} = \left\{ x \in \mathbb{R}_{>0} \mid x \neq 1 \right\} \,. $$


Not that I knew of. There are many, e.g.

  • $\mathbb{R^+_0}$,
  • $\mathbb{R^+}$ and
  • $[0, \infty)$.

I'd completely avoid using $\mathbb{R}^+$ since people won't know if $0$ is included or not. So $\mathbb{R}_0^+$ would be a possibility, but then how would you denote $\{x\in\mathbb{R}:x>0\}$? Again, with $\mathbb{R}^+$ people won't know that $0$ isn't included. Personally, I prefer writing $[0,\infty)$ and $(0,\infty)$ when it's clear from the context that an interval in $\mathbb{R}$ is meant.

Tags:

Notation