Proving Existence of an Upper Bound for A Given Sup A < Sup B

  • Thread starter Enjoicube
  • Start date
In summary, the conversation discusses how to prove that there exists a b in B that serves as an upper bound for A when sup A < sup B. The key property used is that for every epsilon greater than 0, there is a b in B such that sup B - epsilon < b ≤ sup B. The solution involves redefining epsilon to be less than or equal to sup B - sup A, which guarantees an element of b that is an upper bound for A.
  • #1
Enjoicube
49
1

Homework Statement


If Sup A<Sup B Then show that there exists a b[tex]\in[/tex]B which serves as an upper bound for A.
First off, I am not looking for a complete solution but rather a hint.

Homework Equations


SupA-[tex]\epsilon[/tex]<a for some a[tex]\in[/tex]A
SupB-[tex]\epsilon[/tex]<b for some b[tex]\in[/tex]B

The Attempt at a Solution


The only thing I have succeeded in so far is "locating one element of each set"
SupA-[tex]\epsilon[/tex]<a[tex]\leq[/tex]SupA for some a[tex]\in[/tex]A
SupB-[tex]\epsilon[/tex]<b[tex]\leq[/tex]SupB for some b[tex]\in[/tex]B

I know that if I can demonstrate that SupA[tex]\leq[/tex]SupB-[tex]\epsilon[/tex], then I can be done. Equivalently, if I can show that b[tex]\geq[/tex]SupA for some b[tex]\in[/tex]B I will also be done. However, right now this has me caught.
 
Physics news on Phys.org
  • #2
I think I might have a solution. Redefine Epsilon so that it is less than or equal to SupB-SupA. Then SupA[tex]\leq[/tex]SupB-[tex]\epsilon[/tex]. We can still guarantee an element of b SupB-[tex]\epsilon[/tex] and Sup B (same for a). Thus this element of b[tex]\geq[/tex]SupA and so b is an upper bound. If this incorrect, please tell me. Sorry to those of you who thought long and hard.
 
  • #3
Firstly I assume we're talking about real numbers.

The key property we want to use: for every [tex]\varepsilon>0[/tex] there is a [tex]b\in B[/tex] such that [tex]\sup{B} - \varepsilon < b \leq \sup{B}[/tex].

Now what positive number to choose for epsilon? It's given (albeit subtly) in the question: we know that sup(B)-sup(A) > 0.
 
  • #4
Many thanks, but I think I realized this just before you answered (in my post). Yeah, it was about the reals; what a great feeling when I recognized this. Again, Many thanks for being the first to help. Thread closed, because my homework has been turned in.
 

FAQ: Proving Existence of an Upper Bound for A Given Sup A < Sup B

1. What is the meaning of "SupA

"SupA

2. How is "SupA

"A∩B" is the mathematical symbol for intersection, which represents the elements that are common to both set A and set B. "SupA

3. Can you give an example of "SupA

An example of "SupA

4. How is "SupA

"SupA

5. Are there any other mathematical notations similar to "SupA

Yes, there are other notations that are similar to "SupA

Back
Top