MATH FINAL EXAM REVIEW HINTS
|
|
- Reginald Hicks
- 5 years ago
- Views:
Transcription
1 MATH FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any two non-empty open intervals (a, b) and (a, b ) are equipotent. (a) First note that f is well defined. Indeed, for any 0 < t < 1 we have a < a + t(b a) = (1 t)a + tb = f(t) < b. To see f is injective, note that f(t 1 ) = f(t 2 ) implies a + t 1 (b a) = f(t 1 ) = f(t 2 ) = a + t 2 (b a), which implies that t 1 (b a) = t 2 (b a). Since b a > 0, this implies that t 1 = t 2. To see f is surjective, let a < c < b. Put t c = c a b a, then 0 < t c < 1, and we have f(t c ) = a + t c (b a) = a + c a (b a) = c. b a Since f is injective and surjective, it is bijective. (b) Recall our notation A B whenever A and B are equipotent. In view of part (a) we have (a, b) (0, 1) and (a, b ) (0, 1). Since being equipotent is transitive, we get from the above that (a, b) (a, b ). (2) Let f : ( π 2, π 2 ) R be the function given by f(x) = tan(x). Recall from calculus that f is a one-to-one and onto, i.e. f is bijective. (a) Using this and problem (1), prove that if a < b are two real numbers, then the open interval (a, b) is uncountable (not countable). (b) Let a < b are two real numbers. Prove that the closed interval [a, b] is uncountable. (a) First note that since x tan x is a bijection from ( π 2, π 2 ) to R, we have ( π 2, π 2 ) R. Moreover, by problem 1(b) we have ( π 2, π 2 ) (a, b) for any non-empty open interval (a, b). Together with transitivity of being equipotent, these imply that (a, b) R for any non-empty open interval (a, b). 1
2 2 MATH FINAL EXAM REVIEW HINTS (b) We argue by contradiction. First note that (a, b) [a, b] and (a, b) is infinite, so [a, b] is infinite. Assume contrary to our assumption now that [a, b] is enumerable. Hence, there exists a bijective map g : [a, b] Z +. Restricting this to (a, b), we get that h = g (a,b) : (a, b) Z + is an injective map. Using a lemma from the class, this implies that (a, b) is enumerable which contradicts part (a). Hence, [a, b] is uncountable. (3) Use mathematical induction to prove the following. Let A 1, A 2,..., A n be enumerable sets. Then A 1 A 2 A n is enumerable. Answer: We need a lemma from the class: If X and Y are countable, then X Y is countable. We now prove the assertion by induction on n. Base case: n = 1, then A 1 is countable. Inductive step: Suppose we have shown A 1 A k is countable for any collection of k countable sets, A 1,..., A k. Now, we are given k+1-countable sets A 1,..., A k, A k+1, and need to show that A 1 A k A k+1 is countable. Let X = A 1 A k and Y = A k+1. First recall from the definition of cartesian product that A 1 A k A k+1 is identified with X Y. Now by inductive hypothesis X is countable, moreover Y is countable by our assumption. Hence, the aforementioned lemma implies that X Y is countable. Therefore, the proof is complete by induction. (4) (a) Prove that {f f : {1, 2} Z + } is enumerable. (Hint: show that g : {f f : {1, 2} Z + } Z + Z +, g(f) = ( f(1), f(2) ) is a bijection.) (b) Generalize this proof and use problem 3 to show that {f f : {1,..., n} Z + } is enumerable. Answer: (a) See the proof for part (b). (b) As the hint suggests we define a similar function. g : {f f : {1..., n} Z + } Z + Z }{{ +, } n-times by g(f) = ( f(1),..., f(n) ). Note that g is well defined. We show that g is bijective. Suppose that g(f 1 ) = g(f 2 ) for two functions f 1 and f 2 from {1..., n} to Z +. That is: we have ( f1 (1),..., f 1 (n) ) = ( f 2 (1),..., f 2 (n) ). Hence, we get that f 1 (i) = f 2 (i) for all 1 i n. This implies that f 1 = f 2 ; hence, g is injective.
3 Answer: MATH FINAL EXAM REVIEW HINTS 3 To see g is surjective, let (a 1,..., a n ) Z + Z }{{ +. Define } n-times f : {1,..., n} Z + by f(i) = a i for all 1 i n. Then g(f) = ( f(1),..., f(n) ) = (a 1,..., a n ). Hence, g is surjective. Since g is injective and surjective, we get that it is bijective. Since Z + is enumerable, problem (3) implies that Z + Z + }{{} n-times enumerable. In view of the fact that g is bijective, we thus get that {f f : {1..., n} Z + } is enumerable. (5) Let a, b Z + Suppose gcd(a, b) = 1. Let f : Z Z Z, f(m, n) = am+bn. If true, prove. If false provide a counter example. (a) f is injective. (b) f is surjective. (a) f is not injective. To see this note for example that f(0, 0) = 0 also f( b, a) = a( b) + ba = 0 since (0, 0) ( b, a) we get that f is not injective. (b) f is surjective. First note that since gcd(a, b) = 1, by a Theorem from class, see Theorem in the book, we have the following. There exist x, y Z so that ax + by = 1. Let now k Z be arbitrary. Then k = k 1 = k(ax + by) = a(kx) + b(ky) That is: f(kx, ky) = k for all k Z. Hence, f is surjective. (6) Let X be a set. Prove that P(X) is not equipotent to X. Answer: Suppose that P(X) is equipotent to X, that is, there exists a bijection f : X P(X). Define B P(X) by B = {x X : x / f(x)}. Since f is surjective, there exists some x 0 X such that f(x 0 ) = B. If x 0 B, then x 0 f(x 0 ), since B = f(x 0 ). However, by definition of B, if x 0 B, then x / f(x 0 ). Thus, we cannot have x 0 B, i.e. we must have that x 0 B. But this means x f(x 0 ), so x B by definition of B. Thus, we have a contradiction, and no such f can exist. Answer: This was proved in class, please see also the proof of Theorem (7) Prove that Q, the set of rational numbers, is enumerable. Answer: This was proved in class, please see also Theorem and its proof. (8) Let A be a set. Prove that A is infinite if and only if it is equipotent to a proper subset of itself. Answer: Please see Theorem and its proof. (9) Let A 1 and A 2 be two enumerable subsets of a set X. Define Y = {(x, i) X {1, 2} : x A i }. (a) Let f 1 : A 1 Z + and f 2 : A 2 Z + be bijections. Define F : Y Z + {1, 2} by F (x, i) = (f i (x), i). Prove that F is a well-defined, injective map. is
4 4 MATH FINAL EXAM REVIEW HINTS (b) Prove that Z + {1, 2} is enumerable and conclude using part (a) that Y is enumerable. (Hint: First prove this is an infinite set, then construct a injective map from this set to a known enumerable set.) (c) Let g : Y A 1 A 2 be g(x, i) = x. Prove that g is well-defined and surjective. Conclude that A 1 A 2 is enumerable. Answer: (a) First note that by the definition of Y we have (x, i) Y implies that x A i. Hence f i (x) is defined and belongs to Z +. This, together with the fact that f i s are functions, implies that F is well-defined. To see that F is also injective, suppose for some (x, i), (x, i ) Y that F (x, i) = F (x, i ). That is (f i (x), i) = (f i (x), i ). This implies that i = i, moreover, we get that f i (x) = f i (x ). Since f i is bijective, we get that x = x. All together we have shown that (x, i) = (x, i ). Hence F is injective. (b) Note that B = {(n, 1) : n Z + } Z + {1, 2}. Since B Z + is infinite, we get that Z + {1, 2} is infinite. Moreover, Z + Z + is enumerable (this was proved in class) and Z + {1, 2} Z + Z +. This and the fact that Z {1, 2} is infinite implies that Z + {1, 2} is enumerable by a proposition from class. Now {(x, 1) : x A 1 } Y hence Y is infinite. Moreover, by part (a) F : Y Z + {1, 2} is injective. Hence, using a proposition from class we get that Y is enumerable. Alternative proof: Define f : Z + {1, 2} Z + by { 2n if i = 1 f(n, i) = 2n 1 if i = 2. Verify that f is well-defined and bijective. Conclude that Z + {1, 2} Z +. Now {(x, 1) : x A 1 } Y hence Y is infinite. Moreover, by part (a) F : Y Z + {1, 2} is injective. Hence, using a proposition from class we have that Y is enumerable. (c) First note that the map (x, i) x is well-define from Y to X. Moreover, by the definition of Y we have (x, i) Y implies that x A i. Hence g(x, i) = x is a well-defined function from Y to A 1 A 2. Now let x A 1 A 2. Then x A 1 or x A 2. Without loss of generality let us assume x A 1 (the proof in the other case is similar). Then (x, 1) Y and g(x, 1) = x. Hence g is surjective. Since A 1 Z + is infinite and A 1 A 1 A 2, we have that A 1 A 2 is infinite. Recall from part (b) that Y is enumerable. Moreover, there is a surjection g : Y A 1 A 2 as we just proved. Hence, using a proposition from class we get that A 1 A 2 is enumerable. (10) Generalize the proof of problem 9 to prove the following. Let A 1, A 2,... be an enumerable collection of enumerable subsets of X. Then A 1 A 2... is enumerable.
5 MATH FINAL EXAM REVIEW HINTS 5 Answer: Let Y = {(x, i) X Z + : x A i }. For each i Z +, let f i : A i Z + be a bijective function, and define F : Y Z + Z + by F (x, i) = (f i (x), i). F is injective by an argument similar to 9(a). Since Z + Z + is enumerable (proved in class), this implies that Y is enumerable. Then, define g : Y A 1 A 2... by g(x, i) = x. As in 9(c), g is surjective. Since we have a surjection from an enumerable set Y to A 1 A 2..., it follows by a proposition from class that A 1 A 2... is enumerable. 2. Basic arithmetic. (1) Write down the Division theorem and prove it. Answer: Please see Theorem and its proof. (2) Write down the Euclidean algorithm. Answer: Please see Theorem Answer: (3) Prove the following. (a) No integer of the form 7k + 3 (where k Z) is a perfect square. (b) No integer of the form 8k + 5 (where k Z) is a perfect square. (a) We use modular arithmetic. Let l Z then l 0, 1, 2, 3, 3, 2, 1 (mod 7) Therefore, l 2 0, 1, 4, 9 (mod 7) which implies l 2 0, 1, 4, 2 (mod 7). We thus get that no number of the form 7k + 3 can be a perfect square. (b) This is similar to the part (a). (4) (a) Prove that a i 10 i a i (mod 9). (b) Find the remainder of divided by 9. (c) Prove that a i 10 i ( 1) i a i (mod 11). (d) Find the remainder of divided by 11. Answer: (a) We need a lemma: 10 n 1 (mod 9) for any n Z 0. We use mathematical induction to prove this. For n = 0 we have (mod 9). Moreover for n = 1, we have 10 1 (mod 9). Suppose now that we have we have shown 10 k 1 (mod 9) for some k 1. Since 10 1 (mod 9) and 10 k 1 (mod 9), using modular arithmetic, we get that 10 k+1 10 k (mod 9). Hence, the claim follows by induction.
6 6 MATH FINAL EXAM REVIEW HINTS Using this lemma and modular arithmetic we have a i 10 i a i 1 a i (mod 9). (b) Using part (a) we have (mod 9). (c) This is similar to part (a). See also, HW 9, problems V, #4. (d) Using part (c) we have ( 1) ( 1) ( 1) ( 1) (mod 11) (5) Let a, b, n Z +. Prove that ax b (mod n) has a solution if and only if g.c.d.(a, n) b. Answer: Recall from the class, see also Theorem , that there are x, k Z so that ax + nk = b if and only if g.c.d.(a, n) b. Suppose now that there exists some x Z so that ax b (mod n). Then n ax b, hence there exists some k Z so that ax b = nk. By the above theorem, thus, we have g.c.d.(a, n) b. For the opposite direction, suppose that g.c.d.(a, n) b. Then by the above theorem, there exist some integers x and k so that ax + nk = b. Hence, there exist some integers x and k so that ax b = nk which implies that n ax b. That is ax b (mod n). (6) Find an integer solution of 2017x + 218y = g.c.d.(2017, 218). Answer: Use the Euclidean algorithm to show that g.c.d.(2017, 218) = 1. Hence by Theorem recalled above,, see also Theorem , this equation has integer solutions. Then use the Euclidean algorithm to find a solution. (7) Let f : {0, 1,..., 8} {0, 1,..., 8} {0, 1,..., 8}, be given by f(x, y) xy (mod 9). Write an 9 9 table where the (i, j)-th entry is f(i 1, j 1). (a) In which rows is there a 1? (b) Using this table, find a solution for the equation 13x 1 (mod 9). Answer: Use modular arithmetic to write down the multiplication table. (a) The number 1 will appear in rows corresponding to 1,2,4,5,6,7, and 8; note that these are precisely numbers 0 r 8 with g.c.d.(r, 9) = 1. (b) Note that 13 4 (mod 9). Hence, using modular arithmetic, we need to find a solution to 4x 13x 1 (mod 9). Using the table we see that (mod 9). Hence, x = 2 is a solution.
7 MATH FINAL EXAM REVIEW HINTS 7 (8) Find the remainder of divided by 13. Answer: Note that (1) (mod 13). Moreover, 2017 = Therefore, using modular arithmetic, we have by (1) 3 (mod 13). (9) Suppose a b (mod n). Prove that g.c.d.(a, n) = g.c.d.(b, n). Answer: We give two proof. Proof 1: a b (mod n) implies that there exists some k Z so that a b = nk. Suppose now that c a and c n. Then c a nk = b. Therefore, g.c.d.(a, n) b. Since g.c.d.(a, n) n, we thus get that g.c.d.(a, n) is a common divisor of b and n. Hence, g.c.d.(a, n) g.c.d.(b, n). Similarly if c b and c n, then c b+nk = a. We thus get that g.c.d.(b, n) a. Again since g.c.d.(b, n) n we get that g.c.d.(b, n) g.c.d.(a, n). These two inequalities prove that g.c.d.(a, n) = g.c.d.(b, n). Proof 2: First recall that by a corollary of the division theorem we have: a b (mod n) if and only if a and b have the same remainder when divided by n. That is: a b (mod n) if and only if there exist 0 r < n and two integers q 1 and q 2 so that a = nq 1 + r b = nq 2 + r. We now consider two cases: Case 1: Suppose r = 0. Then by a lemma from class, see Lemma , we have g.c.d.(a, n) = n = g.c.d.(b, n). Cases 2: Suppose r 0. Then by a lemma from class, see Lemma , we have g.c.d.(a, n) = g.c.d.(r, n) = g.c.d.(b, n). Hence in either case we have g.c.d.(a, n) = g.c.d.(b, n) as we claimed. (10) Suppose g.c.d.(a, b) = 1. Prove that a bc if and only if a c. Answer: Since g.c.d.(a, b) = 1, Theorem , see also , implies that there exists some integer x so that (2) bx 1 (mod a). Now we have a bc which is to say (3) bc 0 (mod a). Multiplying (3) by x from (2) we get xbc 0 (mod a).
8 8 MATH FINAL EXAM REVIEW HINTS However, since bx 1 (mod a), we get from the above that c 0 (mod a). This is to say that a c as was claimed. (11) Prove that for every n Z + there exist k, l Z with g. c. d.(3, l) = 1 so that n = 3 k l. (Hint: Use induction.) Answer: First, note that for any integer l, g. c. d.(3, l) is either 1 or 3. This is because the only positive divisors of 3 are 1 and 3. In particular, if 3 l, then g. c. d.(3, l) = 1. Now, proceed by strong induction on n. When n = 1, choose k = 0 and l = 1. Suppose that m 1 and that for every 1 a m 1, there exist integers k, l with g. c. d.(3, l) = 1 so that a = 3 k l. We will prove the statement is true for m. Case 1: m 1 (mod 3). Then 3 m, so g. c. d.(3, m) = 1 by the comment at the beginning of the proof. Thus, choose k = 0 and l = m. Case 2: m 2 (mod 3). Again, 3 m, so g. c. d.(3, m) = 1, and we can choose k = 0 and l = m. Case 3: m 0 (mod 3). Then there exists some integer q such that m = 3q. Since 1 q m 1, there exist integers k, l with g. c. d.(3, l) = 1 such that q = 3 k l. Then m = 3 k+1 l satisfies the desired conditions.
Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationProf. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.
1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationNOTES ON SIMPLE NUMBER THEORY
NOTES ON SIMPLE NUMBER THEORY DAMIEN PITMAN 1. Definitions & Theorems Definition: We say d divides m iff d is positive integer and m is an integer and there is an integer q such that m = dq. In this case,
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationMath 109 September 1, 2016
Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationUNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations
UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2013 MATH 122: Logic and Foundations Instructor and section (check one): K. Mynhardt [A01] CRN 12132 G. MacGillivray [A02] CRN 12133 NAME: V00#: Duration: 3
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More information2. THE EUCLIDEAN ALGORITHM More ring essentials
2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More information5: The Integers (An introduction to Number Theory)
c Oksana Shatalov, Spring 2017 1 5: The Integers (An introduction to Number Theory) The Well Ordering Principle: Every nonempty subset on Z + has a smallest element; that is, if S is a nonempty subset
More informationCOMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635
COMP239: Mathematics for Computer Science II Prof. Chadi Assi assi@ciise.concordia.ca EV7.635 The Euclidean Algorithm The Euclidean Algorithm Finding the GCD of two numbers using prime factorization is
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationProof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have
Exercise 13. Consider positive integers a, b, and c. (a) Suppose gcd(a, b) = 1. (i) Show that if a divides the product bc, then a must divide c. I give two proofs here, to illustrate the different methods.
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationName (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)
MTH299 - Homework 1 Question 1. exercise 1.10 (compute the cardinality of a handful of finite sets) Solution. Write your answer here. Question 2. exercise 1.20 (compute the union of two sets) Question
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationLecture 4: Number theory
Lecture 4: Number theory Rajat Mittal IIT Kanpur In the next few classes we will talk about the basics of number theory. Number theory studies the properties of natural numbers and is considered one of
More information1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9
1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions
More informationThere are seven questions, of varying point-value. Each question is worth the indicated number of points.
Final Exam MAT 200 Solution Guide There are seven questions, of varying point-value. Each question is worth the indicated number of points. 1. (15 points) If X is uncountable and A X is countable, prove
More informationSelected problems from past exams
Discrete Structures CS2800 Prelim 1 s Selected problems from past exams 1. True/false. For each of the following statements, indicate whether the statement is true or false. Give a one or two sentence
More informationIntroduction to Proofs
Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions
More informationCHAPTER 6. Prime Numbers. Definition and Fundamental Results
CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n
More informationChapter 5: The Integers
c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationHomework #2 solutions Due: June 15, 2012
All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationHomework 3, solutions
Homework 3, solutions Problem 1. Read the proof of Proposition 1.22 (page 32) in the book. Using simialr method prove that there are infinitely many prime numbers of the form 3n 2. Solution. Note that
More informationA Short Review of Cardinality
Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the
More informationS15 MA 274: Exam 3 Study Questions
S15 MA 274: Exam 3 Study Questions You can find solutions to some of these problems on the next page. These questions only pertain to material covered since Exam 2. The final exam is cumulative, so you
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationKnow the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.
The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More information6 CARDINALITY OF SETS
6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means
More informationReview Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which
Review Problems for Midterm Exam II MTH 99 Spring 014 1. Use induction to prove that for all n N. 1 + 3 + + + n(n + 1) = n(n + 1)(n + ) Solution: This statement is obviously true for n = 1 since 1()(3)
More informationUniversity of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics
University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics Examiners: D. Burbulla, P. Glynn-Adey, S. Homayouni Time: 7-10
More informationExercises for Unit VI (Infinite constructions in set theory)
Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize
More informationFunctions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.
Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that
More informationChapter 5. Number Theory. 5.1 Base b representations
Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,
More informationFundamentals of Pure Mathematics - Problem Sheet
Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions
More informationSolutions to Assignment 1
Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive
More informationElementary Algebra Chinese Remainder Theorem Euclidean Algorithm
Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm April 11, 2010 1 Algebra We start by discussing algebraic structures and their properties. This is presented in more depth than what we
More informationMath 547, Exam 2 Information.
Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationIVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics
IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS Combinatorics Go over combinatorics examples in the text Review all the combinatorics problems from homewor Do at least a couple of extra
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMATH 13 FINAL EXAM SOLUTIONS
MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F
More information1 Overview and revision
MTH6128 Number Theory Notes 1 Spring 2018 1 Overview and revision In this section we will meet some of the concerns of Number Theory, and have a brief revision of some of the relevant material from Introduction
More information1 Partitions and Equivalence Relations
Today we re going to talk about partitions of sets, equivalence relations and how they are equivalent. Then we are going to talk about the size of a set and will see our first example of a diagonalisation
More informationINTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.
INTEGERS PETER MAYR (MATH 2001, CU BOULDER) In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. 1. Divisibility Definition. Let a, b
More informationNOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.
EXAM 2 solutions (COT3100, Sitharam, Spring 2017) NAME:last first: UF-ID Section NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty. (1) Are the following functions one-to-one
More informationPOL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005
POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1
More information8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2
MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been
More informationThe following is an informal description of Euclid s algorithm for finding the greatest common divisor of a pair of numbers:
Divisibility Euclid s algorithm The following is an informal description of Euclid s algorithm for finding the greatest common divisor of a pair of numbers: Divide the smaller number into the larger, and
More information2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.
2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say
More informationIntroduction to Abstract Mathematics
Introduction to Abstract Mathematics Notation: Z + or Z >0 denotes the set {1, 2, 3,...} of positive integers, Z 0 is the set {0, 1, 2,...} of nonnegative integers, Z is the set {..., 1, 0, 1, 2,...} of
More informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More informationAnnouncements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.
Announcements CS43: Discrete Structures Sequences, Summations, and Cardinality of Infinite Sets Işıl Dillig Homework is graded, scores on Blackboard Graded HW and sample solutions given at end of this
More informationDirect Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24
Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationDefinition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.
4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be
More informationEUCLID S ALGORITHM AND THE FUNDAMENTAL THEOREM OF ARITHMETIC after N. Vasiliev and V. Gutenmacher (Kvant, 1972)
Intro to Math Reasoning Grinshpan EUCLID S ALGORITHM AND THE FUNDAMENTAL THEOREM OF ARITHMETIC after N. Vasiliev and V. Gutenmacher (Kvant, 1972) We all know that every composite natural number is a product
More informationMATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.
MATH 3330 ABSTRACT ALGEBRA SPRING 2014 TANYA CHEN Dr. Gordon Heier Tuesday January 14, 2014 The Basics of Logic (Appendix) Definition. A statement is a declarative sentence that is either true or false.
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationNumber Theory and Graph Theory. Prime numbers and congruences.
1 Number Theory and Graph Theory Chapter 2 Prime numbers and congruences. By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com 2 Module-1:Primes
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationFinite and Infinite Sets
Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following
More informationMATH 215 Final. M4. For all a, b in Z, a b = b a.
MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More informationSETS AND FUNCTIONS JOSHUA BALLEW
SETS AND FUNCTIONS JOSHUA BALLEW 1. Sets As a review, we begin by considering a naive look at set theory. For our purposes, we define a set as a collection of objects. Except for certain sets like N, Z,
More informationCS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati
CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during
More informationEconomics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017
Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a
More informationDiscrete Math Notes. Contents. William Farmer. April 8, Overview 3
April 8, 2014 Contents 1 Overview 3 2 Principles of Counting 3 2.1 Pigeon-Hole Principle........................ 3 2.2 Permutations and Combinations.................. 3 2.3 Binomial Coefficients.........................
More information12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.
Math 3, Fall 010 Assignment 3 Solutions Exercise 1. Find all the integral solutions of the following linear diophantine equations. Be sure to justify your answers. (i) 3x + y = 7. (ii) 1x + 18y = 50. (iii)
More informationHomework 1 Solutions
MATH 171 Spring 2016 Problem 1 Homework 1 Solutions (If you find any errors, please send an e-mail to farana at stanford dot edu) Presenting your arguments in steps, using only axioms of an ordered field,
More informationAxioms for Set Theory
Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:
More informationMATH 201 Solutions: TEST 3-A (in class)
MATH 201 Solutions: TEST 3-A (in class) (revised) God created infinity, and man, unable to understand infinity, had to invent finite sets. - Gian Carlo Rota Part I [5 pts each] 1. Let X be a set. Define
More informationMath 105A HW 1 Solutions
Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S
More information1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).
MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been
More informationGreatest Common Divisor MATH Greatest Common Divisor. Benjamin V.C. Collins, James A. Swenson MATH 2730
MATH 2730 Greatest Common Divisor Benjamin V.C. Collins James A. Swenson The world s least necessary definition Definition Let a, b Z, not both zero. The largest integer d such that d a and d b is called
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationDiscrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland
Discrete Mathematics W. Ethan Duckworth Fall 2017, Loyola University Maryland Contents 1 Introduction 4 1.1 Statements......................................... 4 1.2 Constructing Direct Proofs................................
More informationDiscrete Mathematics 2007: Lecture 5 Infinite sets
Discrete Mathematics 2007: Lecture 5 Infinite sets Debrup Chakraborty 1 Countability The natural numbers originally arose from counting elements in sets. There are two very different possible sizes for
More informationHomework 1 (revised) Solutions
Homework 1 (revised) Solutions 1. Textbook, 1.1.1, # 1.1.2 (p. 24) Let S be an ordered set. Let A be a non-empty finite subset. Then A is bounded and sup A, inf A A Solution. The hint was: Use induction,
More informationExercises Exercises. 2. Determine whether each of these integers is prime. a) 21. b) 29. c) 71. d) 97. e) 111. f) 143. a) 19. b) 27. c) 93.
Exercises Exercises 1. Determine whether each of these integers is prime. a) 21 b) 29 c) 71 d) 97 e) 111 f) 143 2. Determine whether each of these integers is prime. a) 19 b) 27 c) 93 d) 101 e) 107 f)
More information