Problem Sheet 2 (For Tutorials in Week 4)
Problem Sheet 2 (For Tutorials in Week 4)
1. For each of the following conditions, find and sketch the set of all pairs (x, y) ∈ R2
satisfying the condition:
(a) |x| + |y| = 1; (b) |x − y| + |x + y| = 1; (c) max (|x|, |y|) = 1.
In each case, either write down the value (without proof) or indicate why it is not
defined.
5. Let S, T be non-empty subsets of R.
(a) Assume that S and T are bounded above. Prove that S ∪ T is bounded above
and that sup(S ∪ T ) = max(sup S, sup T ).
(b) Assume that S and T are bounded below. Prove that the set
S + T := { s + t | s ∈ S, t ∈ T }
is bounded below and that inf(S + T ) = inf S + inf T .
6. Prove that there exists a√unique real number a such that a3 = 2. [Hint: adapt the
proof of the existence of 2 from lectures.]
7. (a) Prove that there are uncountably many irrational numbers.
(b) Let a, b be real numbers with a < b. Show that there is a natural number n
such that n1 < b − a. Deduce that there is a rational number in the interval
(a, b).
(c) Show further that between any two real numbers there is an irrational number.
turn over/. . .
1
8. [Optional] A complex number is said to be algebraic if it is the root of a polynomial
with integer coefficients and otherwise is said to be transcendental.
(a) Show that there are only countably many cubic polynomials with integer coef-
ficients.
(b) Show that there are only countably many complex numbers which are roots of
some integer-coefficient cubic polynomial.
(c) Show further that there are only countably many algebraic numbers but un-
countably many transcendental numbers.
Points to ponder
B. Every irrational number is the supremum of the set of rational numbers strictly below
it. Why?