Ripetizioni di AnalisiAnalysis 1UnlockedITSearch

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.

Contents