Some Pysics Insights
Path:  physics insights > basics > numbers >

The Integers

The integers are the ring of non-fractional numbers:

    ... -3, -2, -1, 0, 1, 2, 3, ...

These are the natural numbers, with the addition of their additive inverses. In other words, the integers extend the natural numbers into an abelian group under addition.  We will start by stating axioms which describe the integers, and then we'll construct a model in which we can show that the axioms are true, which in turn provides a limited proof of the consistency of the axioms.

Axioms for the Integers

(A.1)   The integers form an Abelian group under the operation of addition, written as '+'.  Hence they obey the Abelian group axioms:

(G.1)  [Closure under addition]

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_x31jzH.png

(G.2[Associativity]

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_XJjWs9.png

(G.3)   [Commutativity]

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_EMYeYo.png

(G.4) There is an identity element, called "0", which has the property:

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_HhLZf5.png

(G.5) [Existence of inverses]

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_rrJJ8l.png


For convenience, we will define subtraction as addition of the additive inverse:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_rrwIJf.png

We now discuss the axioms which distinguish the integers from other Abelian groups:

(A.2)   file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_lfJ1OV.png is totally ordered by the less-than relation, '<'.

The relation has the properties:

(R.1)   [total order]  Any pair of elements of file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_lfJ1OV.png may be compared

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_Y4Qc98.png

(R.2)   [Transitivity] 

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_sG9uWq.png

(R.3)   [Anti-symmetry]

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_AQrqYQ.png

For convenience, we will use "a>b" to mean "b<a".

(A.3)    "<" is compatible with addition:

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_OR0ryw.png

Axiom (A.3), along with the total ordering, is needed to distinguish the integers from a finite group.  A set of the form file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_7nFjyz.png satisfies the group axioms and can be ordered, but the order won't be compatible with addition.

(A.4)    There is a distinguished element "1" in file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_lfJ1OV.png, and 0 < 1.

(A.5)   [Induction axiom]  If a subset file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_JAKVzq.png is nonempty, and if it is closed under the operation of adding or subtracting 1,

file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_axTkLQ.png

then file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_Qjm10S.png.

Axiom (A.5) says you can get from 0 to any element in file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_lfJ1OV.png by adding or subtracting 1 a finite number of times.   Without this axiom, a set containing multiple copies of the integers laid end to end would satisfy the axioms.  This axiom is also needed to assure that every subset of the integers which is bounded below is well ordered.


We have, as yet, said nothing about multiplication.   That can be defined as repeated addition, however, and its behavior derived from axioms (A.1) through (A.5); no additional axioms are needed for it.  We will do that later on this page, after we present a model for the axioms given here.

A Model of the Integers

How do we know the integers exist -- how can we be sure any set will satisfy the axioms?  We can construct a model for them, and then prove the axioms within the model.

Start with the model of the natural numbers. Then construct two "flag objects", using pieces of that model:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_mixprb.png

Our model of the natural numbers, as laid out on the natural numbers page, consisted of the sets

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_ZVFe8k.png

We can see by inspection that F1 and F2 are not equal to any of those. We can, therefore, use the flags to ''tag'' two copies of the natural numbers. We now define the objects used in the model of the integers, shown here with primes attached, to distinguish them from the similar objects used in modeling the natural numbers:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_3bLe31.png

We also define the successor function, succ', with a prime attached to distinguish it from the (unprimed) succ function which operates on the natural numbers:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_kY7g6X.png

In the remainder of this page, we will use file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_Lzepgh.png to refer to this set:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_tzZkXR.png
 
We will refer to members of this set as "nonnegative integers".

We can now define the negative integers as:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_LpZeX7.png

We also define the predecessor function on the negative integers, pred', with a prime attached to distinguish it from the (unprimed) pred function on the natural numbers:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_EuHXP4.png

The entire set of integers, positive, negative, and zero, will be referred to as file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_lfJ1OV.png.

We'll need negation later so we define it now:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_nWD0L1.png

and we define > and <, with respect to zero only, as:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_gL9QgJ.png
 
For negative integers -- elements of  file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_ctnlEu.png  -- we define the succ' function implicitly, by the relation:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_hrP9fb.png

along with the special case

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_nAiMBp.png

and finally we define pred' for values in  file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_Lzepgh.png:

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_gF8GBx.png

For  file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_apUWy3.png,  we can now define the nth successor to a number inductively, as

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_l4MtRd.png

With these definitions in hand, we can define a general "≤" as

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_uxJdbe.png

As with the natural numbers we again can define addition and multiplication in the obvious way.

    file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_Ia7SkZ.png

This completes the basic model: We have comparisons, addition, and multiplication. The natural numbers,  file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_Lzepgh.png, are contained within our new model, and comparison in the integers is clearly an extension of comparison in the natural numbers. It's also not hard to show that addition and multiplication are also extensions of the same operations on the natural numbers.

We could now go on to prove the axioms which define the integers as theorems within our model, including particularly the fact that each integer has a unique additive inverse, thus showing that  file:///media/disk/home/slawrence/website/physics_insights/physics/formulas/eqe_temp_image_lfJ1OV.png  really is a model of the integers.

Page not complete yet.  We plan to add the proof that the model satisfies the axioms, the definition of multiplication in terms of the axioms alone, and a handful of theorems to show that the axioms really do lead to what we think of as the integers, but as of 11/2007 these have not yet been written up.


This article was originally posted on Anarchopedia, in (even) less complete form, in 2004.



Page created on 11/18/2007