Positive real numbers

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Positive real numbers are the real numbers greater than zero. They form the set R>0 = { x ∈ R | x > 0 }. The non‑negative real numbers include zero, R≥0 = { x ∈ R | x ≥ 0 }. Sometimes authors write R+ for either of these and use R+* (or R*+) to mean the positive numbers (excluding zero).

In the complex plane, the positive real axis is the horizontal line to the right of the origin. It serves as a reference for the polar form of complex numbers, where the argument is zero.

R>0 is closed under addition, multiplication, and division by nonzero positives. It has a natural order: for any two positive numbers you can say which is bigger. It is a group under multiplication (every x>0 has a multiplicative inverse 1/x).

If you pick a positive number x and look at its powers x^n, three cases occur: if 0 < x < 1 then x^n tends to 0 as n grows; if x = 1 then x^n stays 1; if x > 1 then x^n grows without bound.

The logarithm creates a useful bridge between multiplication and addition: log(xy) = log(x) + log(y). The measure μ on R>0 defined by μ([a,b]) = log(b/a) measures length on the logarithmic (multiplicative) scale, and it is invariant under multiplying intervals by the same factor. This is a kind Haar measure, reflecting the natural “ratio scale” of positive numbers.

The non-negative reals R≥0 are important in many settings, especially for metrics, norms, and measures used in mathematics and science. In decimal or scientific notation, any x>0 can be written as x = a × 10^b with 1 ≤ a < 10 and b an integer; this reflects working on the ratio scale and the idea of orders of magnitude.

In linear algebra, the determinant map sends invertible real matrices to nonzero real numbers, and matrices with positive determinant map to R>0. This connects to the structure of the general linear group and its subgroups, showing how positive reals appear in more advanced mathematics.

In short, the positive real numbers form a well-behaved, ordered, multiplicative group that interact neatly with logarithms, scales of measurement, and many mathematical structures used in science.