Worked examples · Sheet 3
Verifying sup and inf with the epsilon characterization
Theory used: Supremum and infimumEpsilon characterization of sup and infMaximum and minimum
Go to: Exercise 1Exercise 2Exercise 3
Exercise 1
Prove with the characterization that
and determine whether is the maximum of the set.
The characterization requires two conditions. The first is that is an upper bound: since for every , every element is less than , so the condition is satisfied.
The second condition is that, for every , the set contains an element greater than . The inequality is equivalent, after cancelling and changing sign, to , that is to . A natural number greater than exists by the Archimedean property, so the second condition is satisfied and .
The maximum does not exist: indeed the equality would require , which is impossible, so , and the supremum is a maximum only when it belongs to the set.
Exercise 2
Prove with the characterization that
and determine whether is the minimum of the set.
Term-by-term division rewrites the elements as , and in this form the two conditions of the characterization of the infimum can be checked directly. First condition: since , every element exceeds , so is a lower bound.
Second condition: for every an element less than is needed. The inequality is equivalent to , that is to , and such a large natural number exists by the Archimedean property. Both conditions are satisfied, so .
The minimum does not exist, because does not belong to the set; indeed the equality would require , which no natural number achieves.
Exercise 3
Determine the supremum and infimum of
proving the value of the supremum with the characterization.
The numerator can be rewritten as , so each element equals . In this form the candidate supremum is , because the subtracted quantity becomes small as increases.
Verification with the characterization. First condition: , so every element is less than and is an upper bound. Second condition: given , the inequality is equivalent to , that is to , and a natural number exists by the Archimedean property. Hence ; the maximum does not exist, because no element reaches .
For the infimum, observe that as increases the term decreases, so the elements increase: the smallest is obtained with and equals . Since is a lower bound and belongs to the set, it is the minimum, and it coincides with the infimum.