Because there was no lecture this week, we did some more exercises from the topics already on the menu (graphing functions, dealing with bounds/infima, getting familiar with notation).
There was a blackboard, so I didn't write notes on the tablet during class. Our basic agenda was:
Investigating the supremum/infimum of
Contemplating the idea of relations between sets
Graphing the relation , determining whether it is a function
Individual work on 1b, 2a, and (if you wanted a challenge) 1c from the exercise sheet
Review of problem 1b
After the class I wrote the notes below. If you have questions or want anything else included you can email me at christopher.gadzinski@uni.lu.
What is the infimum/supremum of ?
There's no particular "formula" to lead us to the answer. My personal strategy would be to realize that this set must be an open interval, and then ask how I can make as large as possible/as small as possible subject to the constraints on and . (To maximize I want to be large and to be small, so I send to its upper bound and to its lower bound, and so on.) I explained a little more about how we can approach this problem in class.
(Correction: I mean that for all sufficiently small positive , of course.)
What is the infimum/supremum of ?
This is a challenging problem. We won't include a problem this hard on an exam. I included it as a curiosity, where (if you like) you can try to apply more sophisticated supremum/infimum reasoning.
What's happening in this problem? You could picture a point moving around on a circle in steps of radian. Let's think about the set of possible angles our point will make with the axis, namely I claim that has positive elements that are arbitrarily close to From this it follows that our point makes an arbitrarily close approach to any point on the circle, and in particular its coordinate will come arbitrarily close to the extreme values of and
Can you prove that has arbitrarily small positive elements? (Hint: suppose that the infimum of were positive. What would it mean if this set didn't contain its infimum? What would it mean if it did?)