Equivalent Definitions of Archimedean Ordered Field
Every linearly ordered field K contains (an isomorphic copy of) the rationals as an ordered subfield, namely the subfield generated by the multiplicative unit 1 of K, which in turn contains the integers as an ordered subgroup, which contains the natural numbers as an ordered monoid. The embedding of the rationals then gives a way of speaking about the rationals, integers, and natural numbers in K. The following are equivalent characterizations of Archimedean fields in terms of these substructures.
1. The natural numbers are cofinal in K. That is, every element of K is less than some natural number. (This is not the case when there exist infinite elements.) Thus an Archimedean field is one whose natural numbers grow without bound.
2. Zero is the infimum in K of the set {1/2, 1/3, 1/4, … }. (If K contained a positive infinitesimal it would be a lower bound for the set whence zero would not be the greatest lower bound.)
3. The set of elements of K between the positive and negative rationals is closed. This is because the set consists of all the infinitesimals, which is just the closed set {0} when there are no nonzero infinitesimals, and otherwise is open, there being neither a least nor greatest nonzero infinitesimal. In the latter case, (i) every infinitesimal is less than every positive rational, (ii) there is neither a greatest infinitesimal nor a least positive rational, and (iii) there is nothing else in between, a situation that points up both the incompleteness and disconnectedness of any non-Archimedean field.
4. For any x in K the set of integers greater than x has a least element. (If x were a negative infinite quantity every integer would be greater than it.)
5. Every nonempty open interval of K contains a rational. (If x is a positive infinitesimal, the open interval (x, 2x) contains infinitely many infinitesimals but not a single rational.)
6. The rationals are dense in K with respect to both sup and inf. (That is, every element of K is the sup of some set of rationals, and the inf of some other set of rationals.) Thus an Archimedean field is any dense ordered extension of the rationals, in the sense of any ordered field that densely embeds its rational elements.
Read more about this topic: Archimedean Property, Examples and Non-examples
Famous quotes containing the words equivalent, definitions, ordered and/or field:
“Every notable advance in technique or organization has to be paid for, and in most cases the debit is more or less equivalent to the credit. Except of course when it’s more than equivalent, as it has been with universal education, for example, or wireless, or these damned aeroplanes. In which case, of course, your progress is a step backwards and downwards.”
—Aldous Huxley (1894–1963)
“Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
—Edmond De Goncourt (1822–1896)
“Your mind was wrought in cosmic solitude,
Through which careered an undulous pageantry
Of fiends and suns, darkness and boiling sea,
All held in ordered sway by beauty’s mood.”
—Allen Tate (1899–1979)
“the whole field is a
white desire, empty, a single stem;
a cluster, flower by flower,
a pious wish to whiteness gone over—
or nothing.”
—William Carlos Williams (1883–1963)