The Archimedean property is that if x and y are in an ordered field, x > 0 and y > 0, there is a positive integer n such that n*x > y.
Assuming the ordered field is the field of rational numbers with the usual ordering, I note that if x and y are positive rational numbers, there is a positive integer M such that M*x and M*y are both positive integers. Then taking n = M*y + 1, we have
n*(M*x) >= n*1 = M*y + 1 > M*y, so that n*x > y.
If we ignore the ordering, and use instead a "nonArchimedean valuation" (padic valuation), anything dependent on ordering (like "upper bound" or "least upper bound," and therefore "Dedekind completeness") goes out the window.
Luckily, "Cauchy completeness" (every Cauchy sequence in the field has a limit in the field) can still be used to embed the padic rationals (and their extensions) into fields that are (Cauchy) complete WRT a nonArchimedean valuation.
Last fiddled with by Dr Sardonicus on 20210429 at 15:35
Reason: xifgin posty
