MHB Finding the Infimum and Supremum

  • Thread starter Thread starter slwarrior64
  • Start date Start date
  • Tags Tags
    Supremum
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> 0 for all k. You also can say that, given any positive integer, N, there exist a positive integer k so that 2^k>N. That certainly shows that 2^k has no upper bound. But it is also true that 2^{-k}< \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> 0 for all k. You also can say that, given any positive integer, N, there exist a positive integer k so that 2^k>N. That certainly shows that 2^k has no upper bound. But it is also true that 2^{-k}< \frac{1}{N} showing that the infimum is 0.
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

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