

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
The solutions to the math104 exam held in may 2008. It includes various mathematical problems covering topics such as functions, sets, and logic. Students can use this document to check their answers, understand the concepts better, and prepare for exams. The document also includes explanations for each problem, making it an excellent resource for self-study.
Typology: Exams
1 / 3
This page cannot be seen from the preview
Don't miss anything!


All questions except q.1 are standard examples similar to classwork or homework.
(a) f (n) = − 1 − 6 n. (b) f (n) = 6 + 3n (c) 2 ∈ S (take n = 0); − 6 ∈ S (take n = −2); 4 ∈/ S since this would require n ∈ N with n^3 = 2; 10 ∈ S (take n = 2). (2 marks for (a), 4 marks for (b) and 6 marks for (c).)
(a) x 6 = −4 and x ≤ 2. The statement (a) has a free variable x. (3 marks) (b) There exist real numbers a, b, c such that ab = ac and b 6 = c. The original statement is false and this negation is true: take a = 0, b = 1, c = 2; then ab = ac = 0 and b 6 = c. (4 marks) (c) There exist x > 1 and y > 2 with f (x) ≤ 0 or f (y) ≤ 4 (3 marks) (d) ∃N ∈ N, ∀x ∈ R, f (x) ≤ N. (3 marks)
(a) f is not injective if there exist x, y in the domain of f such that f (x) = f (y) but x 6 = y. ( marks) (b) Let x, y ∈ R and suppose f (x) = f (y). Then 2 + 4x = 2 + 4y and rearranging gives 4x = 4y so x = y. (3 marks) (c) Let x = 0, y = 2. Then f (x) = f (y) = 0 but x 6 = y. Hence f is not injective. (3 marks) (d) Let x, y ∈ R, x > 1 , y > 1, Suppose that f (x) = f (y). Then x^2 − 2 x = y^2 − 2 y, which gives x^2 − y^2 − 2(x − y) = 0, that is (x − y)(x + y) − 2(x − y) = 0, that is (x − y)(x + y − 2) = 0. But x > 1 and y > 1 so that the second factor is > 0. Hence the first factor is 0, giving x = y. (5 marks)
S closed under addition means that, for all x ∈ S and y ∈ S, it follows that x + y ∈ S. (1 mark) For the given S, let x, y ∈ S so that there exist integers k, with 3x = k, 3 y =. Thus 3(x + y) = k + and since k + ∈ Z we deduce that x + y ∈ S. Thus S is closed under addition. (3 marks) (a) R is not an equivalence relation. Property (i) fails, since for example 1 R 1 is false. (2 marks) (b) R is an equivalence relation. For let x, y, and z be any integers. Then i) x − x = 0 and 6|0 since 0 = 0 × 6, so x R x. ii) If x R y then x − y = 6k, for some k ∈ Z so y − x = 6(−k), and −k ∈ Z so y R x.
iii) If x R y and y R z then x − y = 6k and y − z = 6for some integers k, so x − z = (x − y) + (y − z) = 6(k + `), i.e. x R z. (4 marks) (c) R is not an equivalence relation. In this case only property (iii) fails. For example, 0 R (^12) and 12 R 1 but 0 R 1 is false since the difference is 1. (4 marks)
m|n means that there exists an integer k with n = km. (1 mark) (a) m|0 since 0 = km hold for k = 0. On the other hand, if 0|n then n = k × 0 = 0 no matter what k is. (2 marks) (b) Let a, b ∈ Z and suppose 2|a and 4|b. Then a = 2k, b = 4for integers k,. Hence 6 a + b = 12k + 4= 4(3k +) so that 4|(6a + b) as required. (3 marks) The converse is: Let a, b ∈ Z. If 4|(6a + b) then 2|a and 4|b. This is false, for example a = 1, b = 2 satisfy 4|(6a + b) but 2 is not a factor of a. (3 marks) (c) The contrapositive of the proposition states that: Let a, b ∈ Z. If 4 does not divide 6a+b then either 2 does not divide a or 4 does not divide b. Thus given 4 does not divide 6a + b and a is even, we know the first of these conclusions is wrong so the second must hold: 4 does not divide b. (3 marks) (d) Suppose for a contradiction that 7a − 21 b = 29 where a, b ∈ Z. Then 7(a − 3 b) = 29 from which it follows that 7|29. However this is false, so we deduce that no such a, b exist. (3 marks)
Context X is a T 2 space. (1 mark) Hypothesis X is first countable and X is countably compact. (1 mark) Conclusion X is T 3. (1 mark) Contrapositive Let X be a T 1 space. If X is not T 3 then X is not first countable or X is not countably compact. (2 marks) (a) Nothing: hypothesis of theorem not fully satisfied. (2 marks) (b) X is not first countable. From contrapositive, since one half of conclusion is false. (2 marks) (c) Nothing further can be deduced since the hypothesis and conclusion of the contrapositive are both true. (2 marks) (d) Nothing: this is not the hypothesis of theorem or contrapositive. (2 marks) However if the converse of the theorem is true then we can deduce that X is not T 3 since the converse says that if X is T 3 then X is both first countable and countably compact. (2 marks)
a) False. (x = 0 gives x^2 = 0.) (2 marks)