SUNY Geneseo Department of Mathematics
Math 239 03
Fall 2016
Prof. Doug Baldwin
Complete by Monday, December 12
Grade by Wednesday, December 14
This problem set reinforces your understanding of countable and uncountable sets, and how to prove that a set is one or the other category.
This exercise is based on sections 9.1 through 9.3 of our textbook. We discussed, or will discuss, this material in class on December 7, December 9, and December 12.
Problem 4 continues the project of challenging you with Prof. Nicodemi’s real analysis problems, and so does not draw on the material we are discussing now in class.
Solve the following problems. Formal proofs should be word-processed (i.e., not hand-written) and should follow the guidelines in Sundstrom’s text.
Exercise 5c in section 9.1 of our textbook (prove that if A ∩ B is an infinite set, then A is an infinite set).
Exercise 2b in section 9.2 of our textbook (prove that the set of integers that are multiples of 5 is countably infinite).
Exercise 5 in section 9.3 of our textbook, supporting your answer with a proof (determine whether the set of infinite sequences of 0s and 1s is countable or uncountable).
Recall the following definitions from problem set 13:
Suppose that A is a nonempty controlled set and that c ∈ A is a controller of A. Prove that c is the best controller of A.
Suppose that A is a nonempty controlled set and that b is its best controller. Let y be any real number such that y < b. Prove there is an element a ∈ A such that y < a ≤ b.
I will grade this exercise in a face-to-face meeting with you. During this meeting I will look at your solution, ask you any questions I have about it, answer questions you have, etc. Please bring a written solution to the exercise to your meeting, as that will speed the process along.
Sign up for a meeting via Google calendar. Please make the meeting 15 minutes long, and schedule it to finish before the end of the “Grade By” date above.