Order Fields Axioms

  • Thread starter hammonjj
  • Start date
  • #1
33
0

Homework Statement


Using only axioms o1-o4 and the result in part (i), show that for any a,b[itex]\in[/itex]F, with 0<a and 0<b, that if a[itex]^{2}[/itex]<[itex]^{2}[/itex]b, then a<b.


Homework Equations


o1) For any a,b[itex]\in[/itex]F, precisely one of the three following holds: a<b, b<a, a=b
o2) If a,b,c[itex]\in[/itex]F, and if a<b and b<c, then a<c
o3) For any a,b,c[itex]\in[/itex]F, if a<b, then a+c<b+c
o4) For any a,b,c[itex]\in[/itex]F, if a<b and 0<c, then ac<bc

Part (i): For any a,b,c,d[itex]\in[/itex]F, with 0<b and 0<c, if a<b and c<d, then ac<bd

The Attempt at a Solution


I have tried several dozen manipulations of this over the last several hours and it's just not coming together. I'm at the end of my rope with this one and I just want an answer. I'm well past the point where I would have a sense of accomplishment from figuring it out and I've still got more homework to finish by tomorrow morning, so any help with this would be greatly appreciated.
 

Answers and Replies

Related Threads on Order Fields Axioms

  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
5
Views
6K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
6
Views
766
  • Last Post
Replies
1
Views
1K
Replies
6
Views
9K
  • Last Post
Replies
4
Views
7K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
12
Views
1K
  • Last Post
Replies
5
Views
1K
Top