MATH 301 I A F 2016: Ntro To Nalysis ALL
MATH 301 I A F 2016: Ntro To Nalysis ALL
Homework 01
Written Problems
√
1. (a) Prove that 3 is irrational.
√
(b) Can you use the same argument to prove 4 is irrational? Why or why not?
5. Given an example of each of the following, or state that the request is impossible.
6. Prove that if a is an upper bound for A, and if a is also an element in A, then it must be that
a = sup A.
7. Find the suprema and infima (if they exist) of the following sets.
Written Problems
√ √
1. (a) Assume the opposite, i.e. 3 is rational, 3 = m/n in its lowest term with m, n ∈ N and
n 6= 0. Then
m 2 √ m2
= ( 3)2 , 2 = 3, m2 = 3n2 ,
n n
som2 is divisible by 3. It follows (*) that m is also divisible by 3, i.e. m = 3p for some p ∈ N.
Then
(3p)2 = 3n2 , n2 = 3p2 ,
therefore n2 is divisible by 3 and so is n. Thus m and n are both divisible by 3 and m/n is
not in its lowest term, a contradiction.
(*) We have yet to prove that if m2 is divisible by 3 then m is divisible by 3. The proof is as
follows: Prove the contraposition if m is NOT divisible by 3 then m2 is NOT divisible by 3.
Assume m is not divisible by 3, then m = 3p + 1 or m = 3p + 2 for some integer p. If
m = 3p + 1 then
If m = 3p + 2 then
(b) We cannot use an analogous argument as in (a) because the (*) argument becomes if m2 is
divisible by 4 then m is divisible by 4, which is false: we can name a counterexample, say,
m = 6: m2 = 36 is divisible by 4 but m = 6 is not divisible by 4.
√ m 2 m 2
x = ( x)2 = = 2
n n
which is rational because m2 , n2 ∈ N and n2 6= 0.
5. (a) This is possible when B has only one element. For example, if B = {3} then sup B = inf B =
3.
(b) This is impossible because for any finite set, its supremum equals its maximum, which is
always contained in the set.
√
(c) This is possible.
√ For example, consider
√ the set of rationals between 2 and 2, inclusive, i.e.
B = Q ∩ [ 2, 2]. Then inf B = 2 6∈ B but sup B = 2 ∈ B.
6. Since a is an upper bound, all we need to prove is that it is the least of all upper bounds. Consider
for any upper bound b of A, b ≥ a because a is an element in A. So a ≤ b for all upper bounds,
hence the least upper bound of A.