LUB and GLB Properties

  • Thread starter ragnes
  • Start date
  • #1
ragnes
4
0
1. Prove that an ordered field has the LUB property iff it has the GLB property.


I know that I need to prove that if the ordered field has the GLB property, then it has the LUB property, and that if the ordered field does NOT has the GLB property, then it also does not have the LUB property. I'm just really stuck on how to start the proof - do you assume the ordered field is bounded?

Any help would be appreciated!
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,263
620
Hint: if a set S has a lower bound, what can you say about the set (-1)*S?
 
  • #3
ragnes
4
0
That it has an upper bound?...
 
  • #4
Dick
Science Advisor
Homework Helper
26,263
620
That it has an upper bound?...

Yes. And how is the lower bound of S related to the upper bound of (-1)*S?
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
43,021
970
That it has an upper bound?...
Don't guess! If U is the LUB, it is, first, of all, an upper bound. In other words, for any x in the field, [itex]x\le U[/itex]. Multiplying both sides by -1, [itex]-x\ge -U[/itex]. But if y is any member of the field, x= -y is also in the field and so [itex]y= -x\ge -U[/itex]. That is, -U is a lower bound. Now you need to show it is the greatest lower bound.

Don't forget that this is an "ordered field", not necessarily the field of real numbers. What is meant by "-1"? Have you proven or can you prove that "if a< b, then -a> -b"?
 

Suggested for: LUB and GLB Properties

  • Last Post
Replies
22
Views
640
  • Last Post
Replies
4
Views
510
Replies
5
Views
350
  • Last Post
Replies
9
Views
603
Replies
8
Views
652
Replies
1
Views
241
  • Last Post
Replies
1
Views
142
Replies
20
Views
595
Replies
6
Views
497
Replies
31
Views
993
Top