# Definition:Positive/Number

## Contents

## Definition

The concept of positive can be applied to the following sets of numbers:

- $(1): \quad$ The integers $\Z$
- $(2): \quad$ The rational numbers $\Q$
- $(3): \quad$ The real numbers $\R$

The Complex Numbers cannot be Totally Ordered, so there is no such concept as a positive complex number.

As for the natural numbers, they are all positive by dint of their being the non-negative integers.

### Integers

Informally, the **positive integers** are the set:

- $\Z_{\ge 0} = \left\{{0, 1, 2, 3, \ldots}\right\}$

As the set of integers $\Z$ is the Inverse Completion of Natural Numbers, it follows that elements of $\Z$ are the isomorphic images of the elements of equivalence classes of $\N \times \N$ where two tuples are equivalent if the difference between the two elements of each tuple is the same.

Thus **positive** can be formally defined on $\Z$ as a relation induced on those equivalence classes as specified in the definition of integers.

That is, the integers being defined as all the difference congruence classes, **positive** can be defined directly as the relation specified as follows:

- The integer $z \in \Z: z = \left[\!\left[{\left({a, b}\right)}\right]\!\right]_\boxminus$ is
**positive**if and only if $b \le a$.

The set of **positive integers** is denoted $\Z_{\ge 0}$.

An element of $\Z$ can be specifically indicated as being **positive** by prepending a $+$ sign:

- $+x := x \in \Z_{\ge 0}$.

### Ordering on Integers

The integers are ordered on the relation $\le$ as follows:

- $\forall x, y \in \Z: x \le y \iff y - x \in \Z_{\ge 0}$

That is, $x$ is **less than or equal** to $y$ if and only if $y - x$ is non-negative.

### Rational Numbers

The **positive rational numbers** are the set defined as:

- $\Q_{\ge 0} := \left\{{x \in \Q: x \ge 0}\right\}$

That is, all the rational numbers that are greater than or equal to zero.

### Real Numbers

The **positive real numbers** are the set:

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

That is, all the real numbers that are greater than or equal to zero.

## Sources

- 1986: David Wells:
*Curious and Interesting Numbers*... (previous) ... (next): $2$ - 1997: David Wells:
*Curious and Interesting Numbers*(2nd ed.) ... (previous) ... (next): $2$