Lebl-Basic-Analysis-I · Problem 1.2.9
Real Numbers
Mathematics · supremum-infimum-algebra
Problem
Let and be two nonempty bounded sets of real numbers. Let . Show that is a bounded set and thatIntuitive explanation
The key insight is that suprema and infima are additive when you're combining elements from independent sets. To show is bounded, use the fact that and are bounded to establish upper and lower bounds on all possible sums. For the supremum formula, prove two things: first, that is an upper bound for (by the definition of supremum), and second, that no smaller number works as an upper bound (by the minimality property of supremum). The infimum follows by the same logic applied to lower bounds.
Intuitive explanation
The key insight is that suprema and infima are additive when you're combining elements from independent sets. To show is bounded, use the fact that and are bounded to establish upper and lower bounds on all possible sums. For the supremum formula, prove two things: first, that is an upper bound for (by the definition of supremum), and second, that no smaller number works as an upper bound (by the minimality property of supremum). The infimum follows by the same logic applied to lower bounds.