4
$\begingroup$

The Completeness Axiom states:

A set $\mathcal{A}$ satisfies the Completeness Axiom if for every of its non-trivial and bounded subsets, a supremum exists in $\mathcal{A}$.

If this is the statement for the completeness axiom then doesn't this imply that the set $\mathbb{Z}$ also satisfies the axiom? (Because one can easily find a supremum of a non-trivial subset of $\mathbb{Z}$.)

But then I read somewhere that $\mathbb{R}$ is the only field that is complete and if there exists another field satisfying the axiom, then it is isomorphic to the field $\mathbb{R}$ . I can't seem to understand this clearly. Does this mean that $\mathbb{R} \cong \mathbb{Z}$? Where am I going wrong?

  • 3
    @DashDart It is very useful to say something about your level of knowledge, so that answerers can use that to decide how to best reply. But please put such *general* info in your profile, not in every question. And put it at the beginning of your profile so that answerers may quickly locate it. If *specific* remarks beyond your profile are needed for some question, then it is ok to elaborate in the question. But there is no need to repeat the general background info in your profile.2012-01-11

2 Answers 2

6

Yes, the ordered set $(\mathbb Z,\le)$ is indeed a complete order. Every bounded subset has a supremum and infimum.

Note that also $(\mathbb N,\le)$ has the same property. There is a least and last if a set is bounded.

However nor $\mathbb N$ neither $\mathbb Z$ are fields. The number $2$ is in both, but $\dfrac12$ is in neither.


The completeness axiom is about orders. There are many orders which are complete. They do not even have to be linear, they can be partial ordered sets just as well (note that $P(\mathbb N)$ as a power set is complete under $\subseteq$ in a very similar fashion).

The fact to which you refer is that $\mathbb R$ is the unique (up to isomorphism) ordered field which is order-complete. Therefore any non-isomorphic order which is complete cannot be the order of a field (i.e. we cannot define addition and multiplication in a way which plays nice with the order)

  • 1
    @tomcuchta: Simply as an ordered set (without the addition) this is indeed a complete order. Every finite linear order is complete. However this order does not respect the addition, since 1<1+1<1+1+1<1+\ldots+1=0<1 (for $p$ many times).2012-01-12
5

$\mathbb{Z}$ does satisfy the completeness axiom.

However its elements do not have multiplicative inverses (except $1$ and $-1$) and so it is not a field.