Ripetizioni di AnalisiAnalysis 1UnlockedITSearch

Worked examples · Sheet 2

Supremum and infimum of number sets

Theory used: Upper bound, lower bound, bounded setMaximum and minimumSupremum and infimumIntervals and their notation

Go to: Exercise 1Exercise 2Exercise 3

Exercise 1

Determine the upper bounds, lower bounds, supremum, infimum, maximum and minimum of .

A number is an upper bound when it is greater than or equal to every element of the set. Every is an upper bound, because the elements of are at most ; no is one, because and . Since is an upper bound and belongs to the set, is the maximum, and the maximum coincides with the supremum.

For lower bounds the reasoning is symmetric: every is a lower bound, because the elements of exceed ; a number is not one, because between and the interval contains points less than . The infimum, which is the largest of the lower bounds, therefore equals . The minimum does not exist, because and the minimum of a set must belong to it.

Exercise 2

Determine the supremum, infimum, maximum and minimum of

The rewriting makes the behavior of the elements readable: as increases the term decreases, so the elements increase. The smallest element is therefore obtained with and equals : it is a lower bound and belongs to the set, so it is the minimum, and it coincides with the infimum.

The number is an upper bound, because and therefore every element is less than . No number is an upper bound: indeed the inequality is equivalent to , that is to , and such a large natural number exists because is not bounded above. Hence is the smallest of the upper bounds, that is . The maximum does not exist, because ; indeed the equality would require , which no natural number achieves.

Exercise 3

Determine the supremum, infimum, maximum and minimum of

The factor distinguishes two families of elements, so it is convenient to examine them separately. For even the elements are : the largest is obtained with the smallest even , that is , and equals , while the others lie between and . For odd the elements are , all less than or equal to , because . Every element of the set is therefore less than or equal to , and belongs to : it is the maximum, therefore it is also the supremum.

For the infimum: every element exceeds , because and , so is a lower bound. No is a lower bound: indeed for odd the inequality is equivalent to , that is to , and such a large odd natural number exists. Hence . The minimum does not exist, because ; indeed the equality would require .

Contents