Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Similar documents
Chapter 1 : The language of mathematics.

MAD 3105 PRACTICE TEST 2 SOLUTIONS

Part IA Numbers and Sets

1 Take-home exam and final exam study guide

CHAPTER 1: RELATIONS AND FUNCTIONS

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

RED. Fall 2016 Student Submitted Sample Questions

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

0 Sets and Induction. Sets

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

QUESTION BANK II PUC SCIENCE

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

MATH FINAL EXAM REVIEW HINTS

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

Discussion Summary 10/16/2018

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Writing Assignment 2 Student Sample Questions

Homework #2 solutions Due: June 15, 2012

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

REVIEW FOR THIRD 3200 MIDTERM

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

LESSON RELATIONS & FUNCTION THEORY

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

MATH 2200 Final Review

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

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

Week Some Warm-up Questions

Math 2534 Solution to Test 3A Spring 2010

Attempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

The Chinese Remainder Theorem

and problem sheet 6

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

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

Section 4.4 Functions. CS 130 Discrete Structures

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Math 300: Final Exam Practice Solutions

Numbers, sets, and functions

Fall 2014 CMSC250/250H Midterm II

Relations, Functions & Binary Operations

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

Selected problems from past exams

Introduction to Proofs

Week 4-5: Binary Relations

Chapter 0. Introduction: Prerequisites and Preliminaries

1.4 Equivalence Relations and Partitions

Mathematical Reasoning & Proofs

Congruences and Residue Class Rings

Sets, Functions and Relations

Cartesian Products and Relations

Contribution of Problems

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Introduction to Abstract Mathematics

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Solutions to Homework Problems

ASSIGNMENT 1 SOLUTIONS

a the relation arb is defined if and only if = 2 k, k

AMB111F Notes 1: Sets and Real Numbers

Chapter 8. P-adic numbers. 8.1 Absolute values

MATHEMATICS. MINIMUM LEVEL MATERIAL for CLASS XII Project Planned By. Honourable Shri D. Manivannan Deputy Commissioner,KVS RO Hyderabad

Math 13, Spring 2013, Lecture B: Midterm

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

Foundations Revision Notes

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Discrete dynamics on the real line

4. Congruence Classes

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

Contribution of Problems

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

5. Partitions and Relations Ch.22 of PJE.

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

Discrete Mathematics. Spring 2017

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups

CS100: DISCRETE STRUCTURES

CLASS12 RELATIONS AND FUNCTIONS

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

MATH 3300 Test 1. Name: Student Id:

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

Functions as Relations

MATHEMATICS. IMPORTANT FORMULAE AND CONCEPTS for. Final Revision CLASS XII CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION.

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

14 Equivalence Relations

201-1A5-MT - Mathematics Summer 2015 HOMEWORK 2 Deadline : Sunday, August 30, 2015 at 12 :30.

Chapter12. Relations, Functions, and Induction

Solutions to Practice Final

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

MAS114: Solutions to Exercises

Func%ons. function f to the element a of A. Functions are sometimes called mappings or transformations.

* 8 Groups, with Appendix containing Rings and Fields.

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Math 109 September 1, 2016

1 Homework. Recommended Reading:

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler

Transcription:

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) = 1. So assume there is some k 1 for which 1 + 3 + + + k(k + 1) Adding (k+1)(k+) to both sides gives = k(k + 1)(k + ). 1 + 3 + + + k(k+1) + (k+1)(k+) = k(k+1)(k+) + (k+1)(k+) = k(k+1)(k+)+3(k+1)(k+) = (k+1)(k+)(k+3), which is the desired equality for k + 1. The result then follows by the principle of induction.. Use induction to prove that 7 (9 n n ) for every n N. Solution: The base case asserts that 7 divides 9 1 1 = 7, which is obviously true. For the inductive step, assume there is some k N such that 7 (9 k k ). Writing 9 k k = 7l for some l Z, we have 9 k+1 k+1 = 9(9 k ) ( k ) = 9( k + 7) ( k ) = 7( k ) + 7(9), which is clearly divisible by 7. This finishes the proof. 3. Use the Strong Principle of Mathematical Induction to prove that for each integer n 13, there are nonnegative integers x and y such that n = 3x + 4y. Solution: When n = 13, we have 13 = 3(3)+4(1), which verifies the base case. Proving by strong induction, we assume that there is some integer k 13 such that for every integer i {13,..., k} there are nonnegative integers x, y such that i = 3x + 4y. We will use cases to prove that this implies the result for k + 1. 1

Case 1: k = 13. This case follows from the identity k + 1 = 14 = 3() + 4(). Case : k = 14. This follows from writing k + 1 = 15 = 3(5) + 4(0). Case 3: k 15. Then (k + 1) 3 = k is an integer between 13 and k, so by the inductive hypothesis there are nonnegative integers x, y such that (k + 1) 3 = 3x + 5y. This gives k + 1 = 3(x + 1) + 5y. Since x + 1 and y are nonnegative, this proves the result in this case, and finishes the proof. 4. Define a sequence a n by a 1 = 3, a = 5, and Show a n = n + 1 for all n N. a n = 3a n 1 a n for n 3. Solution: When n = 1 we have a 1 = 3 = 1 + 1. Now assume there is some integer k 1 such that the result holds for all integers i between 1 and k. If k = 1, then we have a k+1 = a = 5 = + 1, so the result holds in this case. If k, then we k + 1 3 and we can write a k+1 = 3a k a k 1 = 3( k +1) ( k 1 +1) = 3( k ) k +1 = (3 1) k +1 = k+1 +1. This verifies the inductive step and finishes the proof. 5. Let R be a relation defined on N by (a, b)r(c, d) if ad = bc. Prove or disprove that R is an equivalence relation. If it is an equivalence relation, describe the elements in the equivalence class [(1, )]. Solution: This is an equivalence relation. Indeed, if (a, b) N we obviously have ab = ba, which shows (a, b)r(a, b). To see the relation is symmetric, assume (a, b)r(c, d). Then ad = bc, and this implies cb = da, which is exactly the statement (c, d)r(a, b). For transitivity, assume (a, b)r(c, d) and (c, d)r(e, f). Then ad = bc and cf = de. Since none of these integers are zero, we can divide to get a b = c d, c d = e f.

Hence a b = e f and so af = be. This is the statement (a, b)r(e, f). The equivalence class [(1, )] is the set {(x, x) x N}.. For (a, b) and (c, d) R, define (a, b) (c, d) if a = c and b = d, where x is the greatest integer less than or equal to x. Prove or disprove that a relation is an equivalence relation in R. Solution: This is an equivalence relation. To see it is reflexive, let (a, b) R. Then a = a and b = b, so (a, b) (a, b). For symmetry, assume (a, b) (c, d). which implies and hence (c, d) (a, b). c = a, d = b Then a = c and b = d, To see transitivity, suppose (a, b) (c, d) and (c, d) (e, f). Then focusing on the first components, we have a = c and c = e. This implies a = e. The same argument shows b = f, and hence (a, b) (e, f). 7. A relation R is defined on the set of positive rational numbers by arb if a b {3k : k Z}. Prove that a relation R is an equivalence relation and describe the elements in the equivalence class of. Solution: This is reflexive because a a = 1 = 30. To see it is symmetric, assume arb, and so a b = 3k for some k Z. Then b a = 3 k and so bra. For transitivity, assume arb and brc, so a b = 3k and b c = 3l for some integers k, l. Then multiplying gives a c = 3k+l and so arc. The equivalence class of is { 3 k k Z }. 8. (a) Fill in the following addition and multiplication tables for Z 4. + [0] [1] [] [3] [0] [0] [1] [] [3] [1] [1] [] [3] [0] [] [] [3] [0] [1] [3] [3] [0] [1] [] [0] [1] [] [3] [0] [0] [0] [0] [0] [1] [0] [1] [] [3] [] [0] [] [0] [] [3] [0] [3] [] [1] 3

(b) For each of the following modular arithmetic equations, use the tables above to either find all solutions or explain why it has no solution. The coefficients and variables should be taken in Z 4. i. [3] x + [1] = [] This has one solution x = [3]. ii. [] x + [] = [3] This has no solutions because [] x = [3] has no solutions. iii. [] x + [1] = [3] This has two solutions x = [1] and x = [3]. 9. Let [a], [b] Z 11 and [a] [0]. Prove that the equation [a] x + [b] = 0 always has exactly one solution. Solution: Let [a] Z 11, and assume this is non-zero. In a moment we will prove there is an integer r such that [r] [a] = [1]. Supposing this is the case, a solution x to [a] x + [b] = 0 is x = [r] [ b]. To prove this solution is the only one, suppose x is a second solution, so [a] x + [b] = [a] x + [b] = [0]. Subtracting these equations gives [a] (x x ) = [0]. Since 11 is prime, this means that 11 divides a or x x = [0]. We have assumed [a] 0, so it must be the case that x = x. Now we prove the existence of [r] above. This can be shown in several ways. For example, one way is to look at the multiplication table for Z 11 and notice that every non-zero [a] has a [1] in its column. However, we will give an alternative approach that is not as tedious as doing 11 products. Lemma. The map f : Z 11 Z 11 defined by f([b]) = [ab] is an injection. Proof. Suppose [ab] = [ab ] for some b, b Z. Then [a(b b )] = [0], which implies a(b b ) is a multiple of 11. Since 11 is prime we must have either 11 a or 11 (b b ). But [a] 0, so 11 (b b ) which implies [b] = [b ]. Returning to the existence of [r], note that the domain and codomain of f are the same finite set. Since f is injective, it follows that f must be surjective as well. So there is some [r] Z 11 such that f([r]) = [1]; that is, [r] [a] = [1]. 10. Let [a], [b] Z 11, and assume [a] [b]. Prove that [a] = [b]. Solution: Let a, b Z and suppose [a], [b] Z 11 have non-empty intersection. This means that there is some r Z such that r [a] and r [b], so we can write r = a + 11k and r = b + 11l for some integers k, l. This gives 4

a = b + 11(l k). We will show [a] [b]; the proof that [b] [a] is similar. Let a [a]. Then there is some m Z such that a = a + 11m. Combining this with the above gives a = b + 11(m + l k), and so a [b]. 11. Fill in the blanks in part(a). (a) Let A and B be sets. A relation R A B defines a function from A to B if (1) a A, b B such that and () a A, b 1, b B, if (a, b 1 ) R and (a, b ) R, then. Solution: (a, b) R and b 1 = b (b) Let A be a set. Prove that there exists a unique relation R on A such that R is an equivalence relation on A and R is a function from A to A. Solution: Proof: Let R = {(a, a) a A}. Since (1) for each a A, there is an a A such that (a, a) A and () if (a, b 1 ) R and (a, b ) R, then b 1 = b = a, the relation R defines a function from A to A. Moreover, R is an equivalence relation since it is reflexive, symmetric, and transitive since each element is only related to itself. This proves existence. To prove uniqueness, suppose that R is an equivalence relation on A and that R defines a function from A to A. We prove that R = R, where R is the relation above. Since R is an equivalence relation on A, for each a A we have that (a, a) R by the reflexive property. Thus, R R. Suppose that (a, b) R. Since R is a function and since (a, a) R, we have that a = b. Therefore (a, b) = (a, a) R. Thus, R R. And therefore, R = R. (c) Let n N and a, b Z. Prove that the following relation R defines a function from Z n to Z n. R = {([x], [ax + b]) x Z}. 5

Solution: This obviously satisfies the first condition to be a function (for every [x] in the first component there is always something to pair with it in the second), so we will verify the second condition. Let [x] Z n and choose x 1, x [x]. So we can write x 1 = x + kn for some k Z. Then ax 1 + b = ax + b + akn and so [ax 1 + b] = [ax + b], as desired. 1. Let A and B be sets. Suppose that f : A B is a function. Let C, D B. Prove that f 1 (C D) = f 1 (C) f 1 (D). Solution: Proof: Suppose that a f 1 (C D). Then f(a) C D. Therefore, f(a) C and f(a) D. And so, a f 1 (C) and a f 1 (D). Therefore, a f 1 (C) f 1 (D). This proves that f 1 (C D) f 1 (C) f 1 (D). Suppose that a f 1 (C) f 1 (D). Then a f 1 (C) and a f 1 (D). Therefore, f(a) C and f(a) D. Therefore, f(a) C D. And therefore, a f 1 (C D). This prove that f 1 (C) f 1 (D) f 1 (C D). Hence, f 1 (C D) = f 1 (C) f 1 (D). 13. Let Z 7 = {[0], [1],..., []} be the set of congruence classes of integers modulo 7 together with the operations of addition and multiplication of congruence classes. Suppose that f : Z 7 Z 7 is the function defined by the rule f([x]) = [x + 1] for each x Z. (a) Prove that f is a bijection. Solution #1: We compute the image [x] for each [x] Z 7 : [x] f([x]) [0] [1] [1] [3] [] [5] [3] [0] [4] [] [5] [4] [] [] Thus, the range of f is Z 7 ; therefore f is onto. Since no two distinct elements of the domain have the same image, f is one-to-one. Therefore, f is a bijection. Solution #: Let g : Z 7 Z 7 be the function defined by g([x]) = [4x+3]. Then f(g([x]) = f([4x+3]) = [(4x+3)+1] = [8x+7] = [x]

since 8 1 (mod 7) and 7 9 (mod 7). And g(f([x])) = g([x + 1]) = [4(x + 1) + 3] = [8x + 7] = [x] since 8 1 (mod 7) and 7 9 (mod 7). These two calculations prove that f g = ι Z7 and g f = ι Z7. Therefore, g = f 1. (This solves part (b) below, as well.) Since f has an inverse, f is a bijection. (b) Prove that there exists integers a and b such that f 1 is given by the rule f 1 ([x]) = [ax + b] for each x Z. Solution: Let a = 4 and b = 3. And define g([x]) = [4x + 3]. We compute the image of [x] for each [x] Z 7 : [x] g([x]) [0] [3] [1] [0] [] [4] [3] [1] [4] [5] [5] [] [] [] Since the table above is the same as the previous table with the columns switched, g = f 1. 14. Find an appropriate domain A R and codomain B R so that f : A B defined by f(x) = is a bijection. Solution 1: Note that x 4 x 3 f(x) = x 4 (x 4)(x + 4). In order for f to define a function we cannot take A to be any larger than A = R\ {4, 4}. On this domain the formula for f simplifies to f(x) = 1 (x + 4), and so the inverse function will be given by f 1 : B R\ {4, 4} f 1 (y) = 1 y 4. For this to be a function we need to exclude 0 from the set B. Note 1 that provided y 0, y 4 is always a real number and is never equal to 4. We also need to make sure it never equals 4, and so we need to exclude 1/1 as well. So we should take B = R\ {0, 1/1}, and then f 1 is well-defined. One can then check that f f 1 = Id B and f 1 f = Id A. 7

Solution : Take A = {0} and B = {f(0)} = {1/8}. This is obviously a bijection since it is a function between two sets with one element. 8