# Archimedean absolute values

In the previous post we discussed the Archimedean property for an ordered field. Today I’ll discuss the Archimedean property for valued fields, that is, fields equipped with an absolute value.

Recall that an absolute value on a field is a function satisfying the following axioms:

1. if and only if 2. 3. (triangle inequality)

for all .

Here is an intuitive, analogous definition for the Archimedean property:

Definition: The absolute value is Archimedean if, for , , for some natural number .

Clearly the standard absolute value (which is defined on and , and therefore ) is Archimedean. But wait: since we assumed , we can divide both sides by to obtain . In other words, we can write the definition equivalently as:

Equivalent Definition: The absolute value is Archimedean if, for all , for some natural number .

Here takes the place of . The important thing here is that can be any element of So what this is saying is that, given any element of the field, there is some natural number that beats it.

Now, let us assume that the absolute value is nontrivial. (The trivial absolute value has for all nonzero ). Thus, for some , . So, either or . Thus by taking arbitrarily high powers of or , we can obtain arbitrarily high absolute values. So we can reformulate the definition as follows:

Equivalent Definition: is Archimedean if the set contains arbitrarily large elements.

In other words, the set is unbounded. So, is non-Archimedean if the sequence is bounded. However, if any , then taking arbitrarily high powers of can give us arbitrarily high absolute values. So

Equivalent Definition: is non-Archimedean if for .

Finally, I will present another very useful characterization of the (non)Archimedean property.

Theorem/Equivalent Definition: is non-Archimedean if .

# The Archimedean property

If and are positive real numbers, if you add to itself enough times, eventually you will surpass . This is called the Archimedean property, and it is one of the fundamental properties of the system of real numbers. Informally, what this property says is that no numbers are infinitely larger than others. We can formally define this property as follows:

Let be an ordered field. We say is Archimedean if, for where , there exists a natural number such that .

An example of a non-Archimedean number system is the hyperreal numbers. Hyperreal numbers are an enlargement of the real numbers that also contain “infinite” and “infinitesimal” quantities. The hyperreal numbers are used to give an alternative formulation of calculus in the subject of non-standard analysis, where instead of using limits, one computes with actual infinitesimals.

More familiar examples of non-Archimedean fields are function fields. For example, consider the field of rational functions (on ), denoted . We can order rational functions by declaring that if as for any . In other words, we order rational functions by looking at their asymptotic behavior. One can check that this satisfies the axioms, making an ordered field.

Exercise: Show that a rational function is positive with respect to the order (i.e. ) if and only if .

Now one can see that the field of rational functions is clearly not Archimedean. For example, if we consider , no matter how many times we add it to itself, it will never surpass : the function is eventually surpassed by , no matter how great is.

Exercise: Define the degree of a rational function to be the degree of its numerator minus the degree of its denominator. For rational functions , show there exists an integer such that if and only if degree degree .

Thus the basic idea of the Archimedean property is at the core of asymptotic analysis. In defining big-O notation, we write if some multiple of surpasses as goes off to infinity.

In the next post, I will discuss the Archimedean property for valued fields (as opposed to ordered fields), and how this applies to number theory.