MATH FINAL EXAM REVIEW HINTS

Size: px
Start display at page:

Download "MATH FINAL EXAM REVIEW HINTS"

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

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 information

Chapter 1 : The language of mathematics.

Chapter 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 information

0 Sets and Induction. Sets

0 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 information

Prof. 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.

Prof. 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 information

Contribution of Problems

Contribution 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 information

NOTES ON SIMPLE NUMBER THEORY

NOTES 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 information

MATH 3300 Test 1. Name: Student Id:

MATH 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 information

Math 109 September 1, 2016

Math 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 information

PRACTICE PROBLEMS: SET 1

PRACTICE 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 information

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

UNIVERSITY 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 information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture 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 information

2. THE EUCLIDEAN ALGORITHM More ring essentials

2. 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 information

Notes 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. 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 information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real 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 information

4 Powers of an Element; Cyclic Groups

4 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 information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 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 information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED 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 information

Contribution of Problems

Contribution 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 information

5: The Integers (An introduction to Number Theory)

5: 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 information

COMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635

COMP239: 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 information

MATH 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. 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 information

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

Proof 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 information

MATH 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 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 information

MATH 2200 Final Review

MATH 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 information

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

Name (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 information

Thus, 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

Thus, 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 information

Topology. 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  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 information

Lecture 4: Number theory

Lecture 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 information

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

1.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 information

There are seven questions, of varying point-value. Each question is worth the indicated number of points.

There 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 information

Selected problems from past exams

Selected 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 information

Introduction to Proofs

Introduction 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 information

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 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 information

Chapter 5: The Integers

Chapter 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 information

Chapter 2 Metric Spaces

Chapter 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 information

Homework #2 solutions Due: June 15, 2012

Homework #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 information

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ALGEBRA. 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 information

Homework 3, solutions

Homework 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 information

A Short Review of Cardinality

A 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 information

S15 MA 274: Exam 3 Study Questions

S15 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 information

Week Some Warm-up Questions

Week 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 information

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

Know 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 information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In 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 information

5 Set Operations, Functions, and Counting

5 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 information

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Homework #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 information

6 CARDINALITY OF SETS

6 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 information

Review 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 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 information

University 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 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 information

Exercises for Unit VI (Infinite constructions in set theory)

Exercises 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 information

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

Functions. 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 information

Chapter 5. Number Theory. 5.1 Base b representations

Chapter 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 information

Fundamentals of Pure Mathematics - Problem Sheet

Fundamentals 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 information

Solutions to Assignment 1

Solutions 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 information

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

Elementary 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 information

Math 547, Exam 2 Information.

Math 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 information

D-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. 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 information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 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 information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In 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 information

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

IVA 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 information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics 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 information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 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 information

MATH 13 FINAL EXAM SOLUTIONS

MATH 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 information

1 Overview and revision

1 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 information

1 Partitions and Equivalence Relations

1 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 information

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

INTEGERS. 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 information

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

NOTE: 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 information

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

POL502: 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 information

8. 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

8. 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 information

The following is an informal description of Euclid s algorithm for finding the greatest common divisor of a pair of numbers:

The 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 information

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

2 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 information

Introduction to Abstract Mathematics

Introduction 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 information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.

Announcements. 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 information

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Direct 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 information

Solutions to Practice Final

Solutions 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 information

Definition: 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.

Definition: 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 information

EUCLID S ALGORITHM AND THE FUNDAMENTAL THEOREM OF ARITHMETIC after N. Vasiliev and V. Gutenmacher (Kvant, 1972)

EUCLID 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 information

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

MATH 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 information

Math 300: Final Exam Practice Solutions

Math 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 information

Number Theory and Graph Theory. Prime numbers and congruences.

Number 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 information

Part IA Numbers and Sets

Part 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 information

Finite and Infinite Sets

Finite 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 information

MATH 215 Final. M4. For all a, b in Z, a b = b a.

MATH 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 information

1 Take-home exam and final exam study guide

1 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 information

SETS AND FUNCTIONS JOSHUA BALLEW

SETS 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 information

CS 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 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 information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 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 information

Discrete Math Notes. Contents. William Farmer. April 8, Overview 3

Discrete 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 information

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.

12x + 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 information

Homework 1 Solutions

Homework 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 information

Axioms for Set Theory

Axioms 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 information

MATH 201 Solutions: TEST 3-A (in class)

MATH 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 information

Math 105A HW 1 Solutions

Math 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 information

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

1. 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 information

Greatest Common Divisor MATH Greatest Common Divisor. Benjamin V.C. Collins, James A. Swenson MATH 2730

Greatest 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 information

Chapter 1. Sets and Numbers

Chapter 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 information

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

Discrete 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 information

Discrete Mathematics 2007: Lecture 5 Infinite sets

Discrete 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 information

Homework 1 (revised) Solutions

Homework 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 information

Exercises 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. 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