How to prove a number is a supremum of a set

  • Thread starter Thread starter gotmilk04
  • Start date Start date
  • Tags Tags
    Set Supremum
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
gotmilk04
Messages
44
Reaction score
0

Homework Statement


Prove that if
(i) [tex]\forall n[/tex][tex]\in N[/tex], u - (1/n) is not an upper bound of s
(ii) [tex]\forall n[/tex][tex]\in N[/tex], u + (1/n) is an upper bound of S
then, u = supS

Homework Equations





The Attempt at a Solution


It (i) and (ii) are true, then
[tex]\exists s[/tex][tex]\in S[/tex] s.t. u - (1/n) < s
and u+(1/n)>s for all s.
I'm not sure where to go from here.
 
Physics news on Phys.org


How about a proof by contradiction?

Suppose [itex]u > \sup S[/itex]. Then there exists [itex]n \in \mathbb{N}[/itex] such that [itex]\sup S < u - 1/n < u[/itex]. Does this violate one of (i) or (ii)?

Next suppose [itex]u < \sup S[/itex]. Can you rule this out as well?