In ordinary everyday life, there are several notions of closeness. There is for example, a physical notion of distance, and we say, for instance, that we are close to our next-door neighbors. But there is another sense of closeness, such that we can say that we are “close” to our relatives, or to our friends, even though physically they may be far away.

There is also a similar notion of “closeness” between numbers. The most basic method is provided by the familiar “**absolute value**“. Given three numbers , , and , to say that is closer to than to means that . So for example, since and , we therefore say that the number is “closer” to the number than to the number . In other words, the smaller the value of , the closer and are to each other.

But there are also other notions of “closeness” for numbers, just as we have explained above, that with our relatives or friends we may be “close” even if we are far away from each other. Consider the numbers and . Simply by looking, they can perhaps be said to be “relatives” or “friends”, which makes them in some way closer than, say, and . The same may be said for and , that they are perhaps members of the same “family”. This is, of course, because their difference is divisible by a large power of , and since we use the decimal system to write our numbers, there is some sort of visual cue that these numbers are “family members”.

But in number theory, is not really very special. Perhaps it just so happens that we have fingers which we use for counting, so we used as a base for our number system. What is really special in number theory are the **prime numbers**. So for our notion of closeness we choose a prime, and define our measure of closeness so that two numbers are closer together whenever their difference is divisible by a large power of that prime number. For our chosen prime , we want an analogue of the absolute value, which we will call the **-adic absolute value**, and written , which is smaller if the difference of and is divisible by a large power of . The “ordinary” absolute value will now be denoted by .

We want to define this for rational numbers as follows. Given a rational number , we express it as

such that , , and are mutually prime, i.e. they have no factors in common except . Then we set

.

We can see that this definition gives us the properties we are looking for – the value of is indeed smaller if is divisible by a large power of .

The absolute value (both the “ordinary” absolute value and the -adic absolute value) is also called the **multiplicative ****valuation**. There is also a related notion called the **exponential valuation**, which, in the -adic case, we denote by for a rational number . The exponential valuation is obtained from the multiplicative valuation by setting

.

In the case above, where and , , and are mutually prime, we simply have

.

For the ordinary absolute value, we just set

where of course stands for the **natural logarithm**.

The concept of “closeness” between numbers, even just the “ordinary” one, was used to discover something interesting about the number line. If it was merely composed of the rational numbers, then there would be “gaps” in the line. To make a “true” number line, one must fill in these gaps, and this lead to the construction of the real numbers by the mathematician Richard Dedekind in the 19th century.

We elaborate on the nature of these “gaps”, following closely the idea behind Dedekind’s construction. Consider the real number . It is known from ancient times that this number cannot be written as a ratio of two integers and is therefore not a rational number. However, we can construct an infinite sequence of rational numbers such that every successive rational number in the sequence is “closer” to , compared to the one before it.

The mathematician Leopolod Kronecker once claimed, “God made the integers, all else is the work of man.” We know how to construct the rational numbers from the integers (for those who would like to think of the natural numbers as being even more basic than the integers, it is also easy to construct the integers from the natural numbers), by taking pairs of integers, and considering sets of equivalence classes (see Modular Arithmetic and Quotient Sets) of these pairs; for example, we set and as equivalent, because “cross multiplication” on the numerators and denominators gives us the same result. So the rational numbers are really equivalence classes of pairs of integers.

The problem we face now is how to construct the real numbers from the rational numbers. We have seen that we can construct sequences which “converge” in some sense to some value that is not a rational number. By “converge”, we mean that successive terms become closer and closer to each other late in the sequence. Technically, we do not refer to such a sequence as a convergent sequence, since it is a sequence of rational numbers but it does not converge to a rational number. Instead, we refer to it as a **Cauchy sequence**.

And this gives us a possible solution to our problem above – we could simply define the real numbers as the set of all Cauchy sequences. Those that converge to a rational number “represent” that rational number, and those that do not “represent” an irrational number such as . However, there is still one more problem that we have to take care of. There may be more than one Cauchy sequence that “represents” a certain rational or irrational number.

Consider, for instance, the sequence

which obviously converges to the rational number , and consider another sequence

which is different in the first term but similarly converges to the rational number . They are different sequences, but they “represent” the same rational number. We would like to have a method of “identifying” these two sequences under some equivalence relation. In order to do this, we consider the “difference” of these two sequences:

We see that it converges to . Such a sequence is called a **nullsequence**, and this gives us our equivalence relation – two Cauchy sequences are to be considered equivalent if they differ by a nullsequence. The set of real numbers is then defined as the set of equivalence classes of Cauchy sequences under this equivalence relation.

The process of “filling in” the “gaps” between the rational numbers is called **completion**. Note that a notion of “closeness” is important in the process of completion. If we had a different notion of closeness, for example, by using the -adic absolute value instead of the ordinary absolute value, we would obtain a different kind of completion. Instead of the real numbers , we would have instead the **-adic number**s . The -adic numbers play an important role in number theory, as they encode information related to primes.

References:

Complete Metric Space on Wikipedia

Algebraic Number Theory by Jurgen Neukirch

Algebraic Number Theory by J. W. S. Cassels and A. Frohlich

Pingback: Some Useful Links on the Hodge Conjecture, Kahler Manifolds, and Complex Algebraic Geometry | Theories and Theorems

Pingback: Metric, Norm, and Inner Product | Theories and Theorems