Archimedean property
From Wikipedia, the free encyclopedia
In abstract algebra, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some groups, fields, and other algebraic structures. Roughly speaking, it is the property of having no infinitely large or infinitely small elements (i.e. no nontrivial infinitesimals). This can be made precise in various contexts, for example, for fields with an absolute value, where the ordered field of real numbers is Archimedean, but the field of p-adic numbers with the p-adic absolute value is non-Archimedean.
An algebraic structure in which any two non-zero elements are comparable, in the sense that neither of them is infinitesimal with respect to the other, is called Archimedean. A structure which has a pair of non-zero elements, one of which is infinitesimal with respect to the other, is called non-Archimedean. For example, a linearly ordered group that is Archimedean is an Archimedean group, and a field with a non-Archimedean absolute value is a non-Archimedean field.
Contents |
[edit] Definition
Let x and y be positive elements of a linearly ordered group. Then x is infinitesimal with respect to y (or equivalently, y is infinite with respect to x) if, for every natural number n, the multiple nx is less than y, that is, the following inequality holds:
More generally, if K is an algebraic structure with a notion of 'size', for example, a field with an absolute value, a similar definition applies to K. If x is infinitesimal with respect to every positive element y, then x is an infinitesimal element. Likewise, if y is infinite with respect to every positive element x, then y is an infinite element. The algebraic structure K is Archimedean if it has no infinite elements and no infinitesimal elements.
[edit] Remarks
- In a ring, it suffices to consider y = 1 (to define when x is infinitesimal) or x = 1 (to define when y is infinite).
- In a field, it is enough to check only one of these conditions (since if x is infinitesimal, then 1/x is infinite, and vice versa).
[edit] Archimedean property of the real numbers
In the axiomatic theory of real numbers, the non-existence of nonzero infinitesimal real numbers is implied by the least upper bound property as follows. Denote by Z the set consisting of all positive infinitesimals, together with zero. This set is bounded above by 1 (or by any other positive non-infinitesimal, for that matter) and nonempty. Therefore, Z has a least upper bound c. Suppose that the real number c is positive. Is c itself an infinitesimal? If so, then 2c is also an infinitesimal (since n(2c) = (2n)c < 1), but that contradicts the fact that c is an upper bound of Z (since 2c > c when c is positive). Thus c is not infinitesimal, so neither is c/2 (by the same argument as for 2c, done the other way), but that contradicts the fact that among all upper bounds of Z, c is the least (since c/2 < c; but every x > c/2 can't be infinitesimal: nx > nc/2 > 1). Therefore, c is not positive, so c = 0 is the only infinitesimal.
It is interesting to note that the Archimedean property of real numbers holds also in constructive analysis, even though the least upper bound property may fail in that context.
[edit] Example of a non-Archimedean ordered field
For an example of an ordered field that is not Archimedean, take the field of rational functions with real coefficients. (A rational function is any function that can be expressed as one polynomial divided by another polynomial; we will assume in what follows that this has been done in such a way that the leading coefficient of the denominator is positive.) To make this an ordered field, one must assign an ordering compatible with the addition and multiplication operations. Now f > g if and only if f − g > 0, so we only have to say which rational functions are considered positive. Write the rational function in the form of a polynomial plus a remainder over the denominator, where the degree of the remainder is less than the degree of the denominator (using the Euclidean algorithm for polynomials). Call the function positive if either (1) the leading coefficient of the polynomial part is positive, or (2) the polynomial part is zero and the leading coefficient of the remainder is positive. (One must check that this ordering is well defined and compatible with the addition and multiplication operations.) By this definition, the rational function 1/x is positive but less than the rational function 1. In fact, if n is any natural number, then n(1/x) = n/x is positive but still less than 1, no matter how big n is. Therefore, 1/x is an infinitesimal in this field.
[edit] Origin of the name of the Archimedean property
The concept is named after the ancient Greek geometer and physicist Archimedes of Syracuse. Archimedes stated that for any two line segments, laying the shorter end-to-end only a finite number of times will always suffice to create a segment exceeding the longer of the two in length. If we take the shorter line segment to have length x, then any (larger) positive real number y defines a longer line segment, so we recognise Archimedes' claim as the Archimedean property of real numbers. Nonetheless, Archimedes used infinitesimals in heuristic arguments, although he denied that those were finished mathematical proofs.
Because Archimedes credited it to Eudoxus of Cnidus it is also known as the Eudoxus axiom.
