0
$\begingroup$

I am very exited to send the interesting problem on analysis.

Consider H is a non-empty subset of S. If H is bounded from above (below) then there exists a supremum (an infimum). Now, I am looking the constructive proof of this statement. Also, I am looking for, since S is an ordered field, how can we prove S is isomorphic to R?

Kindly discuss the proofs of the above interesting problem.

work done:

H is bounded from above, there exists some h such that h= max {q \in Z| ($q_0$, $q_1$,...) \in H}. Of course then what to do I don't know much.

reference:

Conway and Knuth

EDIT

'Prove that any totally ordered field with the lub property is unique up to isomorphism.'

  • 1
    What exactly is $S$?2012-08-27
  • 1
    If I understood you pick $S$ to be an ordered field, then you want to prove that any subset bounded from above has a supremum. At the end it seems you want to prove that $S\simeq \mathbb{R}$ (which, by the way, is false). Is my understanding correct?2012-08-27
  • 3
    It'd be nicer if you provided details, definitions, etc. instead of making people guess what you meant.2012-08-27
  • 0
    @DonAntonio! I edited my post in more detailed manner. Could you complete the proof...?2012-08-27
  • 0
    @GiovanniDeGaetano! I edited the post. could you complete the proof please...2012-08-27

3 Answers 3

0

Ok,let me answer my question. This is the end part of Per Manne solution. so R and S are both complete (in the sense of lub property) ordered fields and you want to prove they are isomorphic. And so far you have constructed an isomorphism from R into S, preserving order. So you pick any s in S. You might as well assume s>0. Pick any positive x in R. If f(x) = s, you are done, otherwise f(x) < s or f(x) > s. In either case, s lies between f(x) and 1/f(x), hence you have shown that there are a and b with a < b in R such that f(a) < f(s) < f(b).

However, you might better proceed as follows: if s is rational, you are done, otherwise let B = {y in S | y rational, y < s} and let E = f inverse(B). we need to use the fact that both R and S are Archimedean.

4

If $S$ is a totally ordered field with the lub-property, you will not be able to prove constructively that any nonempty subset $H\subset S$ which is bounded from above has a least upper bound. This is a property you assume that $S$ has, not a property you prove that $S$ has.

It is, however, possible to prove that any nonempty subset $H\subset\bf R$ which is bounded from above has a least upper bound. The proof will depend on how you have defined the set of real numbers $\bf R$. Note that there are several definitions possible, all of which are equivalent. (The most common ones are by using Dedekind cuts of rational numbers, or by using equivalence classes of Cauchy sequences of rational numbers.)

If $S$ is a totally ordered field with the lub-property then there is a unique order-preserving field isomorphism $\phi : {\bf R}\to S$. This means that $\phi$ will have the following properties: $$\phi \hbox{ is 1-1 and onto}$$ $$\phi(x+y)=\phi(x)+\phi(y)$$ $$\phi(xy)=\phi(x)\phi(y)$$ $${\rm If\ }x

You begin by showing that if there is such a map $\phi$, then it is necessary that $\phi(0)=0_S$ and $\phi(1)=1_S$, where $0_S$ and $1_S$ are the zero element and the unit element of the field $S$, respectively. Hence we define $\phi(0)=0_S$ and $\phi(1)=1_S$.

Now use the field axioms to define $\phi(x)$ for any rational $x$. Show that this can only be done in one way if $\phi$ is to be a field isomorphism. Show that $\phi$ will then be 1-1 on $\bf Q$. Also show that $\phi$ will preserve the ordering on rational numbers, so that if $x,y\in\bf Q$ and $x

You now need to extend $\phi$ so that it becomes a map which is defined on all of $\bf R$, and not only on $\bf Q$. I'm sure it can be done in several (equivalent) ways, but the following seems natural: If $x\in\bf R$, let $E=\{y\in {\bf Q}: y$S$, and define $\phi(x)$ to be the least upper bound of $\phi(E)$. Show that this does not change $\phi(x)$ in the case when $x\in\bf Q$. Show that the extension still has the properties $\phi(x+y)=\phi(x)+\phi(y)$, $\phi(xy)=\phi(x)\phi(y)$, and that it still is order-preserving and 1-1.

You now have an order-preserving injective map $\phi:{\bf R}\to S$ which preserves the field structure. The final step is to show that it is necessarily surjective. Let $s\in S$, we need to find $x\in \bf R$ such that $\phi(x)=s$. First show that there are $a,b\in\bf R$ such that $\phi(a)$x$ be the least upper bound of $E$. Show that $\phi(x)=s$.

  • 0
    PER MANNE if I am asking you still more questions on your solution, it is ridiculous. Your solution is ultimate and excellent. Thank you so much.2012-08-28
  • 0
    ! Could explain about the surjective case?2012-08-29
  • 0
    PER MANNE Sir, I need help in surjective case, as I am little poor in algebra and analysis. please...2012-08-29
  • 0
    ! kindly prove the surjection part...2012-08-29
3

Strategy: First prove (or recall) that there is an ordered field monomorphism from $\mathbb{Q}$ to $S$, because $S$ has characteristic $0$. Prove that if $S$ has the lub property then this monomorphism extends to a monomorphism of $\mathbb{R}$ into $S$. Then prove the latter map is also a surjection.

  • 0
    !Carl Mummert! I know the procedure, which you have given now. But, I am little confused...could you complete...?2012-08-27
  • 0
    !. thank you for your hint. But, I still need your help.2012-08-27
  • 2
    What part of the procedure in particular are you concerned about? What have you tried so far?2012-08-27
  • 0
    ! I need help in surjective case, as I am little poor in algebra and analysis.2012-08-29
  • 0
    @vidyaojal if you have not completely understood an answer, it is perfectly acceptable to not accept an answer till you are completely comfortable.2012-08-29
  • 0
    @JayeshBadwaik! I am so sorry.2012-08-29
  • 0
    @Carl Mummert! look the part of surjection proof. Kindly prove the surjection part.2012-08-29
  • 0
    To prove the map is a surjection, it helps to first show that an ordered field with the lub property has to be Archimedean; see http://ncatlab.org/nlab/show/ordered+field . That will help in proving the map is a surjection.2012-08-29
  • 0
    There is a complete proof at spot.colorado.edu/~baggett/appendix.pdf2012-08-29
  • 0
    @Carl Mummert! try to complete the proof in short here itself. Pleae..2012-08-29