• Support PF! Buy your school textbooks, materials and every day products Here!

LUB and GLB Properties

  • Thread starter ragnes
  • Start date
  • #1
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,258
618
Hint: if a set S has a lower bound, what can you say about the set (-1)*S?
 
  • #3
4
0
That it has an upper bound?...
 
  • #4
Dick
Science Advisor
Homework Helper
26,258
618
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
41,833
955
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"?
 

Related Threads on LUB and GLB Properties

  • Last Post
Replies
1
Views
1K
Replies
21
Views
2K
Replies
2
Views
4K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
9
Views
2K
Replies
2
Views
1K
Replies
1
Views
1K
Replies
29
Views
11K
Replies
5
Views
2K
Top