Real field is unique

  • Thread starter Bipolarity
  • Start date
  • #1
775
1
I was looking for a proof of the fact that the real field is the only complete field up to order preserving field isomorphism under field addition and multiplication and the standard linear ordering defined on ℝ. I haven't been able to find a link online. Could someone perhaps provide me with one?

Thanks!

BiP
 

Answers and Replies

  • #2
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,473
255
I don't know about online proofs, but Spivak's Calculus contains a sketch of a proof of this result in one of the appendices.
 
  • #3
jgens
Gold Member
1,581
50
The argument is pretty simple. Let F be such a field and notice that any such field necessarily contains a copy of Q. So we have a way of identifying the rationals in F with the rationals in R. Then you can map this guy into the reals as follows:
  1. For each element x in F let Ax be the collection of rationals in F that are less than x.
  2. Define f(x) = sup Ax where the supremum is taken in R. We can do this because of the identification I mentioned before.
So now we have a map f:F→R and it is pretty easy to show that it is an order-preserving isomorphism. If this all seems horribly informal to you, then you can make the identifications I made explicit and the argument goes through just the same, I am just way too lazy to do that.
 
  • #4
775
1
The argument is pretty simple. Let F be such a field and notice that any such field necessarily contains a copy of Q. So we have a way of identifying the rationals in F with the rationals in R. Then you can map this guy into the reals as follows:
  1. For each element x in F let Ax be the collection of rationals in F that are less than x.
  2. Define f(x) = sup Ax where the supremum is taken in R. We can do this because of the identification I mentioned before.
So now we have a map f:F→R and it is pretty easy to show that it is an order-preserving isomorphism. If this all seems horribly informal to you, then you can make the identifications I made explicit and the argument goes through just the same, I am just way too lazy to do that.

I see! Thanks!
What definition of completeness are you using?

BiP
 
  • #5
jgens
Gold Member
1,581
50
Order-completeness. Metric-complete ordered fields are actually not unique.
 
  • #6
mathwonk
Science Advisor
Homework Helper
2020 Award
11,136
1,329
the uniqueness proof uses the fact the field is archimedean. least upper bound complete fields are automatically archimedean. otherwise you can prove any complete archimedean ordered field is unique.


here is a link to a discussion of both existence and uniqueness.

http://math.caltech.edu/~ma108a/defreals.pdf [Broken]
 
Last edited by a moderator:

Related Threads on Real field is unique

  • Last Post
Replies
16
Views
1K
Replies
16
Views
1K
Replies
3
Views
2K
Top