Is there a way to prove that a set is bounded using calculus techniques?

  • Thread starter Thread starter Anne5632
  • Start date Start date
  • Tags Tags
    Bounded Set
Click For Summary
SUMMARY

The discussion centers on proving that the set S, defined as S = (n^2 - 1)/(n^3 - 1) for natural numbers n greater than 1, is bounded. Participants confirm that S is bounded below by 0 and explore methods to establish an upper bound. They suggest using direct proof or proof by contradiction to show that S is less than or equal to 1. Additionally, they discuss the implications of bounded subsets in real numbers and techniques for constructing valid mathematical proofs.

PREREQUISITES
  • Understanding of limits and bounds in real analysis
  • Familiarity with polynomial functions and their properties
  • Knowledge of proof techniques, including direct proof and proof by contradiction
  • Basic calculus concepts, including derivatives and optimization
NEXT STEPS
  • Learn how to apply the epsilon-delta definition of limits in proving boundedness
  • Study the properties of polynomial functions and their asymptotic behavior
  • Explore advanced proof techniques in real analysis, focusing on bounded subsets
  • Investigate optimization methods in calculus, particularly using derivatives
USEFUL FOR

Students of mathematics, particularly those studying real analysis or calculus, as well as educators looking for techniques to teach proof construction and boundedness concepts.

Anne5632
Messages
23
Reaction score
2
Homework Statement
Prove that S which is a subset of R is bounded
Relevant Equations
S=(n^2-1)/(n^3-1)
S is an element of natural numbers
I know that for a set to be bounded it is bounded above and below, for the bound below is it 0 and n cannot equal 1 and u paper bound is inf but how do I prove that it is bounded?
 
Physics news on Phys.org
Anne5632 said:
Homework Statement:: Prove that S which is a subset of R is bounded
Relevant Equations:: S=(n^2-1)/(n^3-1)
S is an element of natural numbers

I know that for a set to be bounded it is bounded above and below, for the bound below is it 0 and n cannot equal 1 and u paper bound is inf but how do I prove that it is bounded?
Did you try writing down the first few elements in the set to get an idea? I assume we are taking about ##n > 1## here?
 
PeroK said:
Did you try writing down the first few elements in the set to get an idea? I assume we are taking about ##n > 1## here?
the inf of the set is 0 so does that count in the interval?
 
Anne5632 said:
the inf of the set is 0 so does that count in the interval?
Yes, it should be clear that for all ##n > 1## we have ##s_n > 0##. ##S## is, therefore, bounded below by ##0##. What about an upper bound?
 
PeroK said:
Yes, it should be clear that for all ##n > 1## we have ##s_n > 0##. ##S## is, therefore, bounded below by ##0##. What about an upper bound?
1
 
Anne5632 said:
1
How do you prove that is the question?

Have you done many proofs?
 
PeroK said:
How do you prove that is the question?

Have you done many proofs?
No I haven't done proofs
I simplified the fraction in the equation given and factorised out (x-1) then got a polynomial to degree one in top and a polynomial to degree 2 on the bottom.
If i want to show it's smaller than 1 should I rewrite 1 into a polynomial with degree 2÷polynomial to degree 2
 
Anne5632 said:
No I haven't done proofs
I simplified the fraction in the equation given and factorised out (x-1) then got a polynomial to degree one in top and a polynomial to degree 2 on the bottom.
If i want to show it's smaller than 1 should I rewrite 1 into a polynomial with degree 2÷polynomial to degree 2
You can either do a direct proof, which is to show directly that ##\frac{n^2 -1}{n^3 - 1} \le 1##. Or, you can do a proof by contradiction by assuming that for some ##n## we have ##\frac{n^2 -1}{n^3 - 1} > 1## and reaching a contradiction.

Cancelling the common factor of ##n - 1## is an option.
 
  • Like
Likes Anne5632
PeroK said:
You can either do a direct proof, which is to show directly that ##\frac{n^2 -1}{n^3 - 1} \le 1##. Or, you can do a proof by contradiction by assuming that for some ##n## we have ##\frac{n^2 -1}{n^3 - 1} > 1## and reaching a contradiction.

Cancelling the common factor of ##n - 1## is an option.
Got the bounds I think , thanks.
Part 4 of that q asked:
Let B be a bounded subset of R. Prove -B + S is bounded from below.

How would I know the bounds of B? Does it have no lower bound?
 
Last edited:
  • #10
Anne5632 said:
Got the bounds I think , thanks.
Part 4 of that q asked:
Let B be a bounded subset of R. Prove -B + A is bounded from below.

How would I know the bounds of B? Does it have no lower bound?
What's A?
 
  • #11
PeroK said:
What's A?
Sorry meant to write S,
A is the set S described in the question above
 
  • #12
Anne5632 said:
Sorry meant to write S,
A is the set S described in the question above
First, if ##X## is a bounded subset of ##\mathbb R##, then the set ##-X \equiv \{-x: x \in X\}## is also a bounded subset of ##\mathbb R##.

And, more generally ##X## is bounded above iff ##-X## is bounded below.

Also, if ##X## and ##Y## are bounded above, then the set ##X + Y \equiv \{x+y: x \in X, y \in Y\}## is bounded above. Similarly, if ##X## and ##Y## are bounded below, then so is ##X + Y##.

These are things that I assume you will be shown in your course or asked to prove as an exercise. You need to learn some of the techniques that are used to prove things like this. The proofs are straighforward, but not always easy to see for someone new to formal proofs.

Have you seen anything like this on your course? It seems to me that you are working in the dark here.
 
  • #13
PeroK said:
First, if ##X## is a bounded subset of ##\mathbb R##, then the set ##-X \equiv \{-x: x \in X\}## is also a bounded subset of ##\mathbb R##.

And, more generally ##X## is bounded above iff ##-X## is bounded below.

Also, if ##X## and ##Y## are bounded above, then the set ##X + Y \equiv \{x+y: x \in X, y \in Y\}## is bounded above. Similarly, if ##X## and ##Y## are bounded below, then so is ##X + Y##.

These are things that I assume you will be shown in your course or asked to prove as an exercise. You need to learn some of the techniques that are used to prove things like this. The proofs are straighforward, but not always easy to see for someone new to formal proofs.

Have you seen anything like this on your course? It seems to me that you are working in the dark here.
No I haven't, and none of the other exercises are similar.
But I'll looks through the theorems in that topic
 
  • #14
Anne5632 said:
No I haven't, and none of the other exercises are similar.
But I'll looks through the theorems in that topic
If we take the first one.
PeroK said:
First, if ##X## is a bounded subset of ##\mathbb R##, then the set ##-X \equiv \{-x: x \in X\}## is also a bounded subset of ##\mathbb R##.
A simple proof of that would be;

Let ##U## be an upper bound for ##X##.

Let ##y \in -X##. Then ##y = -x## for some ##x \in X##. Now ##x \le U \ \Rightarrow \ -x \ge -U##. Hence ##y \ge -U##.

As ##y## was any member of ##-X## we see that ##-U## is a lower bound for ##-X## and so ##-X## is bounded below.

Then you would do something similar for a lower bound ##L##.

That's the style of proof that I assume is required for these problems.
 
  • #15
PeroK said:
If we take the first one.

A simple proof of that would be;

Let ##U## be an upper bound for ##X##.

Let ##y \in -X##. Then ##y = -x## for some ##x \in X##. Now ##x \le U \ \Rightarrow \ -x \ge -U##. Hence ##y \ge -U##.

As ##y## was any member of ##-X## we see that ##-U## is a lower bound for ##-X## and so ##-X## is bounded below.

Then you would do something similar for a lower bound ##L##.

That's the style of proof that I assume is required for these problems.
Would the formula
Inf(N)=-sup(-N)
be useful?
 
  • #16
Anne5632 said:
Would the formula
Inf(N)=-sup(-N)
be useful?
That result is similar and has the same sort of proof as the one I gave. But, ultimately, pure mathematics isn't about plugging numbers into formulas; it's about being able to construct logically valid proofs.
 
  • #17
PeroK said:
That result is similar and has the same sort of proof as the one I gave. But, ultimately, pure mathematics isn't about plugging numbers into formulas; it's about being able to construct logically valid proofs.
True,
To find the lower bound of -B I thought I could use that theorem
 
  • #18
Anne5632 said:
True,
To find the lower bound of -B I thought I could use that theorem
Well, let's see you attempt to prove it. You haven't actually posted anything yet that gives me any indication of what you can do!
 
  • Like
Likes Anne5632
  • #19
@Anne5632 :
If you've done a bit of Calculus or advanced pre-Calculus, you can consider ##f(x)=\frac {x^2-1}{x^3-1} ## and use standard optimization techniques: Take derivative f'(x), set to 0, etc.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 43 ·
2
Replies
43
Views
4K