Finding the Infimum and Supremum

  • Context: MHB 
  • Thread starter Thread starter slwarrior64
  • Start date Start date
  • Tags Tags
    Supremum
Click For Summary
SUMMARY

The discussion centers on the formal proof of the infimum and supremum of the set defined by the function 2^k. Participants clarify that the supremum does not exist due to the lack of an upper bound, while the infimum is established as 0, as demonstrated by the inequality 2^{-k} < 1/N for any positive integer N. The conversation emphasizes the importance of understanding inequalities and their role in proving bounds in mathematical analysis.

PREREQUISITES
  • Understanding of mathematical proofs and formal reasoning
  • Familiarity with the concepts of infimum and supremum
  • Knowledge of inequalities and their applications in proofs
  • Basic understanding of exponential functions, specifically 2^k
NEXT STEPS
  • Study formal proof techniques in real analysis
  • Learn about the properties of bounds in mathematical sets
  • Explore the concept of limits and their relationship with infimum and supremum
  • Investigate advanced inequalities and their proofs, such as the Archimedean property
USEFUL FOR

Students of mathematics, particularly those studying real analysis, educators teaching proof techniques, and anyone seeking to deepen their understanding of bounds in mathematical functions.

slwarrior64
Messages
22
Reaction score
0
1620266080372.png

Hello, I feel like I am struggling with this more than I should. I can tell intuitively what the infimum and supremum are, but I am pretty sure that I need a more formal proof style answer. How would one actually prove this question?
 
Physics news on Phys.org
One doesn't "prove" a questiom! One simply answers a question and then, prehaps, proves that the ansser is correct. You say "I can tell intuitively what the infimum and supremum are," Okay, what are they?
 
I got that the Supremum does not exist because the set has no upper bound, and I got that the lower bound was 0 because once k reaches the negatives you are geting a negative exponent which becomes a fraction with an increasingly large denominator. I was unsure about what to do with it because the other problems we had done discussed the inf and sup of things that included inequalities so we had to rearrange the inequality and prove it true.
 
if you want inequalities, you know that 2^k&gt; 0 for all k. You also can say that, given any positive integer, N, there exist a positive integer k so that 2^k&gt;N. That certainly shows that 2^k has no upper bound. But it is also true that 2^{-k}&lt; \frac{1}{N} showing that the infimum is 0.
 
Okay, I think I get what you are saying, but there are some weird formatting things in your reply that I don't really understand:
if you want inequalities, you know that 2^k&gt; 0 for all k. You also can say that, given any positive integer, N, there exist a positive integer k so that 2^k&gt;N. That certainly shows that 2^k has no upper bound. But it is also true that 2^{-k}&lt; \frac{1}{N} showing that the infimum is 0.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K