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

Homework Help Overview

The discussion revolves around proving that a set, specifically a subset of real numbers defined by the expression S=(n^2-1)/(n^3-1) for natural numbers n, is bounded. Participants explore the definitions of boundedness, including both upper and lower bounds, and consider the implications of specific values of n.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the lower bound of the set, noting that it appears to be 0 for n > 1. They question how to establish an upper bound and whether rewriting expressions could aid in proving boundedness. Some suggest using direct proof or proof by contradiction methods.

Discussion Status

The conversation is ongoing, with participants sharing insights on proving boundedness and discussing related mathematical concepts. Some guidance has been offered regarding proof techniques, but there is no explicit consensus on the approach to take.

Contextual Notes

Participants express uncertainty about the requirements for formal proofs and the specific techniques they should be familiar with. There are indications of missing background knowledge in proofs and theorems relevant to the discussion.

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   Reactions: 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   Reactions: 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
5K