What are numbers? In this post, I try to give the rationale how numbers where first defined. Perhaps it is also interesting as an insight into how mathematicians think. I even give the classical description and try to not involve category theory.
You know all of them. They are and they are usually
denoted by the letter .
How do we define them? There is a function called the successor, which i will denote by . You can think of it as adding one. Then we have the following axioms:
- is a natural number.
- For every natural number , its successor is a natural number.
- There is no natural number which has zero as its successor.
- If two natural numbers have the same successor, then they are equal.
- If a set contains zero and for every natural number its successor, then the natural numbers are contained in .
This should all be fairly trivial but perhaps unfamiliar. The last one is minimally more complex. It basically says, that the natural numbers are the smallest set which contains the zero and every successor. It can be expressed as a ‘no noise’-condition.
In school they said to you, that if you only have four apples, you cannot eat five of them. They lied to you. Of course you can.
Mathematicians found a way to warp reality such that this is possible. They invented negative numbers.
For this i have to explain the concept of an equivalence class. We call an equivalence relation on a set if for
- for all
- If then
- If and then
For example equality of two numbers is an equivalence relation. If you do not trust me then you can try to compute it yourself.
Equivalence relations partition the set into disjoint sets, in which all elements are equivalent. Those sets are called equivalence classes and if we pick an element from them, it is called a representative for the respective equivalence class.
For example we can write three as or as . So we build up pairs and and somehow want them to represent the number . If they represent the same number, then they should be equivalent.
So we define if and only if . We do not write the complicated stuff with minus, because we cannot subtract each number from the others. At least not up to now. You should be able to verify for yourself, that this is indeed an equivalence relation. As said above each equivalence relation is a partition into disjoint sets. In this case we partition . If we observe the equivalence classes, then we have exactly the integers, often denoted by .
In school they said to you, that you cannot divide three apples among five kids. They lied to you. Of course you can.
Mathematicians found a way to warp reality such that this is possible. They invented rationals.
The construction of the rationals, often denoted by takes place in a very similar way to the construction of the integers from the natural numbers.
We define for and that if and only if . There is a slightly more general construction called localisation, which explains why you have to exclude the zeroes, but you can look that up, if you want to. Then we do the usual construction of taking the equivalence classes. Normally one does not write for representatives of an equivalence class, but instead . This does not intuitively makes sense, but is more familiar.
Now you can see why we took this special equivalence relation, since can also be written as for every , .
In school they said to you, that you cannot take a squareroot of two cookies. They lied to you. Of course you can.
Mathematicians found a way to warp reality such that this is possible. They invented the real numbers.
Real numbers are a lot harder and there are at least two constructions that lead from the rationals to the real numbers. One is via dirichlet cuts and the other is via cauchy sequences. I will only brush cauchy sequences. Cauchy Sequences are sequences, where for each number , there is an element in the sequence, after which the distance of two elements is smaller than . So intuitively they should converge. In general this is not true in since one can construct Cauchy sequences which approximate arbitrarily close, but since is not in they do not converge.
The remedy here is again to take equivalence classes over Cauchy sequences over rational numbers. The equivalence relation is defined to mean that the two sequences ‘converge to the same point’ whatever that means exactly in .
Real numbers are often denoted by .
In school they even said, that you cannot take roots of negative integers. This is of course also a lie. Since we want each nonconstant polynomial of degree to have exactly roots, we added an element, called . This is one of the roots of the polynomial . At least it behaves like it would be a root. If we define two polynomials over the real numbers to be equivalent if they are equal up to a multiple of and then take the equivalence classes, we get a representation of the complex numbers. Another construction is that we take the algebraic closure of the real numbers, which is unique up to isomorphism. But in the end we get the same thing. At least up to isomorphism. The thing we get is mostly denoted by .
I hope you had fun. Remember that if there is a problem with reality then you can bend it to suit your will.