Question 8.3
Solutions
3 months ago
a) If there is more than one in with , there is not necessarily a second smallest. Case in point, consider the continuous function
on the interval , with and .
To prove that there is a largest in with , consider . We have and . We can then apply the same proof structure in Theorem 7-1 of finding the least upper bound to the set
This least upper bound corresponds to the largest in with .
b) Let be a continuous function on such that and . Consider
Since is bounded above by and is not empty, it has a least upper bound . We can assert that . Obviously, we cannot have because is an upper bound of by definition. Moreover, because otherwise by Theorem 6-3 there would exist a such that for since , thereby invalidating as .
We now posit that . For contradiction, suppose . Applying Theorem 6-3 would invalidate as an upper bound since there would exist such that and . Likewise, suppose . Applying Theorem 6-3 would invalidate as the least upper bound since there would exist such that and . Both options lead to contradictions, leaving as the only possible alternative.
The point located by this proof corresponds to the largest in such that . The set , defined by the textbook's proof of Theorem 7-1, and defined in the previous proof differ when the largest in such that is not also the smallest in that interval.
Submit a solutionOptional • Markdown
Sign in to share your solution for this question.
Sign in