transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
symmetric monoidal (∞,1)-category of spectra
In this article we axiomatize the algebraic, order theoretic, and metric properties which are common to the basic types of numbers found in mathematics: the natural numbers, integers, rational numbers, and Dedekind real numbers, and which remain valid in constructive and predicative mathematics.
A number line rig $S$ is
A commutative rig $(S, 0, 1, +, \cdot)$. It follows that there is a rig homomorphism $h:\mathbb{N} \to S$, since the natural numbers are the initial commutative rig
with a strict total order $(S, \lt)$ such that
with a tight apartness relation $(S, \#)$ such that $a \# b$ if and only if $a \lt b$ or $b \lt a$
with a pseudolattice structure $(S, \leq, \min, \max)$ such that
with a metric $\rho:S \times S \to S$ such that $\rho(a, b) + \min(a, b) = \max(a, b)$. Every element in the image of $\rho$ is always not less than zero, because by definition of a pseudolattice, $\min(a, b) \leq \max(a, b)$. This can be shown to be a translation-invariant metric, where it follows that addition is a cancellative monoid:
The multiplicative subset of cancellative elements is the set of elements apart from zero
and $S$ satisfies the Archimedean property: for every positive element $0 \lt a$, there is a positive natural number $n$ such that $a \lt h(n)$, and there is a positive natural number $m$ such that $1 \lt h(m) \cdot a$.
Given any number line rig, one could construct the group completion, which results in a Archimedean integral domain. One could also localize at the subset of regular elements, which results in a rig of fractions. Doing both results in an Archimedean field. One could also complete the resulting field by Dedekind cuts, resulting in the Dedekind real numbers, or complete it by Cauchy sequences, resulting in a sequentially Cauchy complete Archimedean field such as the HoTT book real numbers.
Last revised on December 24, 2023 at 22:09:06. See the history of this page for a list of all contributions to it.