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

Least Upper Bounds

  • Thread starter NATURE.M
  • Start date
  • #1
301
0

Homework Statement


Given a set A that contains all numbers of the form, n/(n+1), where n is a positive integer,
a.explain why the number 1.1 is not the lub of A.
b.explain why the number 0.95 is no the lub of A.


Homework Equations





The Attempt at a Solution



a. Suppose 1.1 is the lub of A. Then it follows, from the least upper bound axiom, that
i. 1.1 is an upper bound of A and ii. 1.1≤y, if y is an upper bound for A. Since there exists y<1.1, such as y=1.01, we can see that l.l is not the lub of A. Thus, a contradiction.

(I'm not sure if I formatted this proof accurately (as I'm fairly new to proofs)).

b.It follows in a similar manner to a., although here I will show the first property of the lub isn't satisfied. That is, the number is not a upper bound.
 

Answers and Replies

  • #2
31
2
Are you sure you meant ".95 is not lub the of A"? Because then you could show 1/(2) < .95 and be done with it.
 
  • #3
395
14

Homework Statement


Given a set A that contains all numbers of the form, n/(n+1), where n is a positive integer,
a.explain why the number 1.1 is not the lub of A.
b.explain why the number 0.95 is no the lub of A.


Homework Equations





The Attempt at a Solution



a. Suppose 1.1 is the lub of A. Then it follows, from the least upper bound axiom, that
i. 1.1 is an upper bound of A and ii. 1.1≤y, if y is an upper bound for A. Since there exists y<1.1, such as y=1.01, we can see that l.l is not the lub of A. Thus, a contradiction.

(I'm not sure if I formatted this proof accurately (as I'm fairly new to proofs)).

b.It follows in a similar manner to a., although here I will show the first property of the lub isn't satisfied. That is, the number is not a upper bound.
Your proof for part a is incredibly wordy and confusing. The "least upper bound axiom" (as I know it) is that every bounded set of real numbers has a least upper bound. What you said was the definition of least upper bound. Not to mention you didn't prove anything! How do you know 1.01 is an upper bound?

Part b, you actually have to show that there exists a number of the form n/(n+1)>.95. It should be easy to find such a number, but you should give a specific example.


I think you are falling into a trap of people new to proofs; trying to be as wordy and "formal" as possible. It's awkward and often you end up missing the entire point of the problem!

With math, usually the more concise the better.
 
  • #4
395
14
Are you sure you meant ".95 is not lub the of A"? Because then you could show 1/(2) < .95 and be done with it.
That shows absolutely nothing.
 
  • #5
31
2
That shows absolutely nothing.
You're right, I wasn't reading it correctly. But what I was getting at was a proof by example. It's not hard to find a number greater than .95 that would disprove .95 is the LUB.

Edit: I just saw your response, and it now it seems like I just tried to copy what you said. I was trying to provide an example of a value that disprove .95 was SOMETHING (I don't know what I THOUGHT it was at the time), but that's why I was trying to provide a specific case. But you're right about the first part, his wording is too convoluted. The best way I found to start proofs was "Let x be ..." and then make conclusions from what you're given to reach a final conclusion that either proves or disproves what they want.
 
  • #6
301
0
If I can show that some upper bound of A is less than 1.1 initially, then can I mention how this does not satisfy the conditions required for lub as given by the axiom. So 1.1 cannot be the lub.
 
  • #7
31
2
If I can show that some upper bound of A is less than 1.1 initially, then can I mention how this does not satisfy the conditions required for lub as given by the axiom. So 1.1 cannot be the lub.
That's what you have to do. You need to find some arbitrary value of x/y/z/whatever variable you want, that shows the LUB MUST BE < 1.1.

That arbitrary value should relate to n/(n + 1) somehow. So, let x be the lub of n/(n + 1). Because we know n is blah and blah... etc.
 
  • #8
395
14
If I can show that some upper bound of A is less than 1.1 initially, then can I mention how this does not satisfy the conditions required for lub as given by the axiom. So 1.1 cannot be the lub.
Yes but prove it.
 
  • #9
301
0
That's what you have to do. You need to find some arbitrary value of x/y/z/whatever variable you want, that shows the LUB MUST BE < 1.1.

That arbitrary value should relate to n/(n + 1) somehow. So, let x be the lub of n/(n + 1). Because we know n is blah and blah... etc.
But it wouldn't make sense to let x be the lub of n/(n+1) since the lub for the set doesn't exist.
 
  • #10
31
2
But it wouldn't make sense to let x be the lub of n/(n+1) since the lub for the set doesn't exist.
I'm sorry, I'm really tired, but shouldn't 1 be the LUB?

lim x-> ∞ of x/(x+1) = 1, correct?
 
  • #11
395
14
But it wouldn't make sense to let x be the lub of n/(n+1) since the lub for the set doesn't exist.
You don't need to let x be the lub of that set, although the lub DOES exist for that set (and is equal to 1).
 
  • #12
31
2
You don't need to let x be the lub of that set, although the lub DOES exist for that set (and is equal to 1).
Right, you can even say "Assume x is the LUB" and then show why that would not hold if x was the LUB (but in this case, you should NOT do this- we're only saying this for future proofs).
 
  • #13
395
14
Right, you can even say "Assume x is the LUB" and then show why that would not hold if x was the LUB (but in this case, you should NOT do this- we're only saying this for future proofs).
Agreed.
 
  • #14
301
0
I'm sorry, I'm really tired, but shouldn't 1 be the LUB?

lim x-> ∞ of x/(x+1) = 1, correct?
Oh yeah, I overlooked that fact.
 
  • #15
301
0
Yes but prove it.
To prove there is an upper bound of A less than 1.1, would I just simply demonstrate that there exists an upper bound, a of the set A, such that a≥m, for all mεA. Then, a≥n/(n+1). Then would I just pick a value of a arbitrarily.
 
  • #16
395
14
To prove there is an upper bound of A less than 1.1, would I just simply demonstrate that there exists an upper bound, a of the set A, such that a≥m, for all mεA. Then, a≥n/(n+1). Then would I just pick a value of a arbitrarily.
You're overthinking this.


1.01 is an upper bound of the set, although it is not the most convenient example. 1 is an upper bound for the set and 1.1>1. It should be easy to show that 1>n/(n+1) (hint:multiply).
 
  • #17
301
0
You're overthinking this.


1.01 is an upper bound of the set, although it is not the most convenient example. 1 is an upper bound for the set and 1.1>1. It should be easy to show that 1>n/(n+1) (hint:multiply).
Your probably right. It seems I'm worrying to much about the formalism and all that sort. Anyways, that clarifies it. Thanks.
 
  • #18
395
14
Your probably right. It seems I'm worrying to much about the formalism and all that sort. Anyways, that clarifies it. Thanks.
Please write out your proof. I'd like to see and critique it, if you are interested.
 
  • #19
301
0
I'm defiantly interested, but do you mind if we do it tomorrow? I have class early tomorrow morning, so after, I'll post my proof.
 
  • #20
301
0
*definitely
 
  • #21
395
14
Sure. Can't say I'll get to it for a bit, but I'll look for it if I get a chance.
 
  • #22
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,728
I'm sorry, I'm really tired, but shouldn't 1 be the LUB?

lim x-> ∞ of x/(x+1) = 1, correct?
Why did you hand the OP the solution to the problem? He is the one who is supposed to solve it, according to the Forum rules.
 
  • #23
395
14
Why did you hand the OP the solution to the problem? He is the one who is supposed to solve it, according to the Forum rules.
I don't think that hands OP the solution. AA simply stated a relevant limit.
 
  • #24
301
0
Okay rough version of my solution for a.

We can see that 1 is an upper bound for the set A, since 1≥n/(n+1)*. Since 1<1.1, then by the least upper bound axiom, 1.1 is not the least upper bound of the set A.

*for 1≥ n/(n+1), I'm not sure if I should simplify that to 1≥0. But how is this significant to the result?
Although this doesn't seem like a proof.
 
Last edited:
  • #25
301
0
I have an alternative version which I think is better.

Lets suppose 1.1 is the sup of A. Then ,we know the set A is bounded above by 1.1 since 1.1>n/(n+1), for n=1,2,3.... Now, if 1.1 is the sup of A, then each number m<1.1 is not an upper bound of A. That is, if m=1<1.1, then 1 is not a upper bound of A. However, 1≥n/(n+1), thus we have a contradiction.

-I think I need to justify 1≥n/(n+1), but I'm not sure how to go about it.
 

Related Threads on Least Upper Bounds

Replies
1
Views
8K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
4
Views
14K
  • Last Post
Replies
2
Views
5K
Replies
3
Views
4K
Replies
4
Views
1K
Replies
13
Views
632
  • Last Post
Replies
1
Views
954
Top