# User:Shahab/Sandbox

# Building Numbers[edit]

One of the most familiar entities in maths are numbers. From pre-school to advanced levels, numbers are intimately linked with maths. But what are these numbers mathematically speaking? This little book builds numbers the way mathematicians build them up (at least the way most of them do now). We start from the bare axioms of set theory and develop numbers in the mathematical sense. The reader is assumed to be sufficiently mathematically mature, having been exposed at least to high school maths to understand the arguments that follow.

## The Basics[edit]

Nothiing can be build out of nothing. Our arguments can only proceed from some unproven assumptions. We start off with a list of the axioms of set theory, using these as our "unproven truths". We do not bother to focus much on logic here, rather give an intutive feel of the axioms, so that our end goal of building numbers is not sidetracked.

For those interested in a very logically sound discussion of these axioms (specifically in first order logic) the bibliography mentions books which carry further details.

1. **Axiom of extensionality**

Two sets are equal (are the same set) if they have the same elements.

2. **Axiom of regularity**

Every non-empty set x contains a member y such that x and y are disjoint sets.

3. **Axiom schema of specification**

If *z* is a set, and is any property which may characterize the elements *x* of *z*, then there is a subset *y* of *z* containing those *x* in *z* which satisfy the property.

4. **Axiom of pairing**

If x and y are sets, then there exists a set which contains x and y as elements.

5. **Axiom of union**

For any set there is a set *A* containing every set that is a member of some member of . (For example if then there is a set *A* containing X, Y and Z. Here X, Y and Z are sets.)

6. **Axiom schema of replacement**

The image of any set under any definable mapping is also a set.

7. **Axiom of infinity**

Let abbreviate , where is some set. Then there exists a set *X* such that the empty set is a member of *X* and, whenever a set *y* is a member of *X*, then is also a member of *X*.

8. **Axiom of power set**

Let abbreviate For any set *x*, there is a set *y* which is a superset of the power set of *x*.

9. **Axiom of choice**

Let a choice function be a function *f*, defined on a collection *X* of nonempty sets, such that for every set *s* in *X*, *f*(*s*) is an element of *s*. For any set *X* of nonempty sets, there exists a choice function *f* defined on *X*.

## The Natural numbers[edit]

With these axioms in hand we can start building the numbers. Our focus here is to quick start and build all the commonly used numbers. Hence, we wont focus on developing all properties that sets have, trusting that the user will agree that our constructions are sound enough and proofs of all properties proved strictly through these axioms do exist.

Our first target is to make the basic counting numbers, also called natural numbers. The axiom of infinity says that a set *X* exists which satisfies the property that it contains the empty set and the set and, whenever a set *y* is a member of *X*, then is also a member of *X*. There may or may not exist any other such sets. Taking the intersection of all such sets we get the set of natural numbers **N**. Clearly it is the smallest such set. Also as is a member of **N**, so is, , and so is and so on. Intutively it is obvious that no other kind of members are there as **N** was the smallest such set. We let to match with our intuition that 0 should be defined as "nothing". Next we define to match with our intuition that 1 should convey the notion of "one-ness" which a set having a solitary element does. Similarly we define, and so on.

Hence we have mathematically defined the set of natural numbers. We will define addition and multiplication for natural numbers as follows: Let . Then we can recursively define addition by . (Hence and so on. Note that .) Similarly multiplication is defined recursively by x×0 = 0 and x×S(y) = (x×y) + x. Such definitions are justified owing to a particular theorem in maths called recursion theorem, but we needn't go there. A few examples are usually sufficient to convince oneself of the validity of these definitions.

## The Integers[edit]

Once more we will take a leap and assume that the reader trusts us when we say that all usual properties of natural numbers can be established in our constructed system of natural numbers. The reason we avoid doing that here is because we wish to avoid getting tied up in formal arguments, and sidetrack our goal to provide a quick mathematical build-up of the numbers.

Next we tackle the integers. Since we need some brief extraneous concepts in our toolbox for this purpose (which all are defined and their properties established consistent with the axioms of set theory) we shall briefly mention those. First up is the concept of an ordered pair (a,b) which is defined as the set {{a},{a,b}} and using this a 3-tuple (a,b,c) is defined as the ordered pair (a,(b,c)) i.e. {{a}{{b},{b,c}}}. Similary 4-tuples, 5-tuples etc may be defined. Next is the concept of functions and relations which we trust the reader is aware of from calculus. Finally, we talk of equivalence relations and equivalence classes.

A given relation ~ on a set *A* is said to be an equivalence relation if and only if it is reflexive, symmetric and transitive. Equivalently, for all *a*, *b* and *c* in *A*:

*a*~*a*. (Reflexivity)- if
*a*~*b*then*b*~*a*. (Symmetry) - if
*a*~*b*and*b*~*c*then*a*~*c*. (Transitivity)

The equivalence class of *a* under ~, denoted [*a*], is defined as . For example, if A is the set of all cars, and ~ is the equivalence relation "has the same color as", then one particular equivalence class consists of all green cars. Another example deals with functions: any function f : X → Y defines an equivalence relation on X by x1 ~ x2 if and only if f(x1) = f(x2). The equivalence class of x is the set of all elements in X which get mapped to f(x), i.e. the class [x] is the inverse image of f(x).

Now the set of integers can be formally defined as the set of equivalence classes of a particular relation. That relation is defined between ordered pairs of natural numbers (not between the natural numbers themselves but between their pairs).

The intuition is that (*a*, *b*) stands for the result of subtracting *b* from *a*. To confirm our expectation that 1 − 2 and 4 − 5 denote the same number, we define an equivalence relation ~ on these pairs with the following rule:

precisely when

Addition and multiplication of integers can be defined in terms of the equivalent operations on the natural numbers; denoting by [(*a*,*b*)] the equivalence class having (*a*,*b*) as a member, one has:

The negation (or additive inverse) of an integer is obtained by reversing the order of the pair:

Hence subtraction can be defined as the addition of the additive inverse:

The standard ordering on the integers is given by:

- if and only if

It is easily verified that these definitions are independent of the choice of representatives of the equivalence classes.

Every equivalence class has a unique member that is of the form (*n*,0) or (0,*n*) (or both at once). The natural number *n* is identified with the class [(*n*,0)] (in other words the natural numbers are embedded into the integers by map sending *n* to [(*n*,0)]), and the class [(0,*n*)] is denoted −*n* (this covers all remaining classes, and gives the class [(0,0)] a second time since −0 = 0.

Thus, [(*a*,*b*)] is denoted by

If the natural numbers are identified with the corresponding integers, this convention creates no ambiguity.

This notation recovers the familiar representation of the integers as {... −3,−2,−1, 0, 1, 2, 3, ...}.

Some examples are:

## The Rational numbers[edit]

Next stop: the rationals!

Those who have done a course in algebra may recognize the construction that follows as precisely being the one by which an integral domain is embedded in a field. (And indeed it is no big wonder as the integers form an integral domain and the rationals a field.) For those who think fields are open spaces and are thinking about agriculture, not to worry. We provide the full construction below.

Mathematically the construction is similar as when we constructed the integers out of the naturals. We consider the following relation between all ordered pairs of integers (*m*,*n*), with *n* ≠ 0. Specifically, the relation is (*m*_{1},*n*_{1}) ~ (*m*_{2},*n*_{2}) if, and only if, *m*_{1}*n*_{2} − *m*_{2}*n*_{1} = 0. We can define addition and multiplication of these pairs with the following rules:

and, if *m*_{2} ≠ 0, division by

The equivalence relation (*m*_{1},*n*_{1}) ~ (*m*_{2},*n*_{2}) if, and only if, *m*_{1}*n*_{2} − *m*_{2}*n*_{1} = 0 is a congruence relation, i.e. it is compatible with the addition and multiplication defined above, and we may define the set of all rational numbers **Q** to be the set of all equivalence classes under this relation. We denote by [(*m*_{1},*n*_{1})] the equivalence class containing (*m*_{1},*n*_{1}). If (*m*_{1},*n*_{1}) ~ (*m*_{2},*n*_{2}) then, by definition, (*m*_{1},*n*_{1}) belongs to [(*m*_{2},*n*_{2})] and (*m*_{2},*n*_{2}) belongs to [(*m*_{1},*n*_{1})]; in this case we can write [(*m*_{1},*n*_{1})] = [(*m*_{2},*n*_{2})]. Given any equivalence class [(*m*,*n*)] there are a countably infinite number of representation, since

The canonical choice for [(*m*,*n*)] is chosen so that gcd(*m*,*n*) = 1, i.e. *m* and *n* share no common factors, i.e. *m* and *n* are coprime. For example, we would write [(1,2)] instead of [(2,4)] or [(−12,−24)], even though [(1,2)] = [(2,4)] = [(−12,−24)].

The integers may be considered to be rational numbers by the embedding that maps *m* to [(*m*, 1)].

## The Reals[edit]

The Real Numbers await us!

For starters we need the concept of Dedekind cuts. A Dedekind cut, named after Richard Dedekind, is a partition of the rational numbers into two non-empty parts A and B, such that all elements of A are less than all elements of B, and A contains no greatest element. The cut itself is, conceptually, the "gap" defined between A and B. In other words, A contains every rational number less than the cut, and B contains every rational number greater than the cut.

For convenience we may take the lower set A as the representative of any given Dedekind cut A, B, since A completely determines B. We now define the set of real numbers to be the set of all Dedekind cuts. In more detail, a real number is any subset of the set of rational numbers that fulfills the following conditions:

- is not empty
*r*is closed downwards. In other words, for all such that , if then*r*contains no greatest element. In other words, there is no such that for all ,

- We form the set of real numbers as the set of all Dedekind cuts of .

- We embed the rational numbers into the reals by identifying the rational number with the set of all smaller rational numbers .

- Addition.

- Defining multiplication is less straightforward.
- if then
- if either or is negative, we use the identities to convert and/or to positive numbers and then apply the definition above.

## The Complex numbers[edit]

Are we done? Not quite. The set of complex numbers which the reader has no doubt encountered still awaits us. Fortunately, it does not require such a detailed development as the reals and we quickly obtain it as follows.

Let **C** be the the set **R**^{2} of ordered pairs (*a*, *b*) of real numbers. **C** is defined as the set of complex numbers. In this notation, the above formulas for addition and multiplication read

It is then just a matter of notation to express (a, b) as a + ib. Addition and multiplication are defined naturally.

## Bibliography[edit]

*Naive Set Theory*by Halmos.- Set Theory and the Construction of Numbers