1
$\begingroup$

I need a reference for the following result:

Theorem: Every totally ordered field satisfying the Archimedean property can be embedded in the real numbers.

There are books that mention this result without any proof or reference. Someone knows any good reference? The more the better.

$\endgroup$
  • $\begingroup$ That is to say it IS a subset of some construction of the real numbers $\endgroup$ – Jacob Wakem Nov 2 '16 at 18:39
1
$\begingroup$

I found a very nice paper that deals with different (equivalent) characterizations of the real numbers. A good reference for the result in question is Theorem 3.5 of Hall, James Forsythe. "Completeness of ordered fields." arXiv preprint arXiv:1101.5652 (2011).

$\endgroup$
0
$\begingroup$

The basic idea is fairly simple: let $F$ be such a field. Then you observe

  • There are no infinitesimals in $F$
  • The rationals are dense in $F$

and apply in some fashion the fact that the field of reals is the completion of the field of rationals.

$\endgroup$
  • $\begingroup$ I know, but I need a reference! $\endgroup$ – Chilote Nov 2 '16 at 18:46
0
$\begingroup$

Planetmath.Org/ArchimedeanOrederedFieldsAreReal ...... looks good to me.. It's a proof of the proposition using Dedekind cuts. ( & That's not a link. You'll have to type it all yourself.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.