Prove alpha=sup(S) is equivalent to alpha belongs to S closure

  • #1
Given that alpha is an upper bound of a given set S of real numbers, prove that the following two conditions are equivalent:
a) We have alpha=sup(S)
b) We have alpha belongs to S closure

I'm trying to prove this using two steps.
Step one being: assume a is true, then prove b is true.
Step two being: assume b is true, then prove a is true.

Could anyone help me with step two?
Assuming alpha belongs to S closure.....
 

Answers and Replies

  • #2
radou
Homework Helper
3,120
6
If I remember right, I think I gave you a useful condition for a point to be in the closure of a set. Do you see how you can use it here?
 
  • #3
radou
Homework Helper
3,120
6
Of course, your "steps" are a correct way to prove equivalence of statements, from a logical point of view.
 
  • #4
No I don't see how I can use it here in this problem.

How would I start my step two? I know I assume alpha belongs to S closure, but I am not sure where to go from there.
 
  • #5
radou
Homework Helper
3,120
6
A point x is in the closure of a set A if any neighbourhood of x intersects A. Now, what is an important property of the supremum (involving "ε")?
 

Related Threads on Prove alpha=sup(S) is equivalent to alpha belongs to S closure

  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
8
Views
998
  • Last Post
Replies
1
Views
569
Replies
14
Views
556
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
5
Views
2K
Replies
3
Views
11K
Replies
4
Views
821
Top