Math Fall 2014 Final Exam Solutions

Similar documents
1 Take-home exam and final exam study guide

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

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

MATH 3300 Test 1. Name: Student Id:

Chapter 1 : The language of mathematics.

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

SETS AND FUNCTIONS JOSHUA BALLEW

Section 0. Sets and Relations

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Exam Practice Problems

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

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

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

Sets, Functions and Relations

Axioms for Set Theory

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

REVIEW FOR THIRD 3200 MIDTERM

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

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

Background for Discrete Mathematics

Propositional Logic, Predicates, and Equivalence

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Introduction to Proofs

Date: October 24, 2008, Friday Time: 10:40-12:30. Math 123 Abstract Mathematics I Midterm Exam I Solutions TOTAL

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

Chapter 1. Sets and Mappings

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

Sets McGraw-Hill Education

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

Foundations Revision Notes

Functions as Relations

Week Some Warm-up Questions

Review 1. Andreas Klappenecker

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

9/19/2018. Cartesian Product. Cartesian Product. Partitions

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

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.

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

CMSC 250 Spring 2016: Final Exam Review Questions Key

MAT115A-21 COMPLETE LECTURE NOTES

Selected problems from past exams

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

MATH 2200 Final Review

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

Functions Functions and Modeling A UTeach/TNT Course

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

COM S 330 Homework 05 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

MATH 13 FINAL EXAM SOLUTIONS

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

Math 42, Discrete Mathematics

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

Numbers, sets, and functions

MTH 299 In Class and Recitation Problems SUMMER 2016

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

Math 2534 Solution to Test 3A Spring 2010

Chapter-2 SETS In Mathematics, Set theory was developed by George Cantor ( ).

A Logician s Toolbox

0 Logical Background. 0.1 Sets

Chapter 2 - Basics Structures

Discrete Mathematics

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

Automata Theory and Formal Grammars: Lecture 1

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

Mathematics Review for Business PhD Students

Finite and Infinite Sets

MATH 2200 Final LC Review

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Exercises for Unit VI (Infinite constructions in set theory)

0 Sets and Induction. Sets

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

Contribution of Problems

ABOUT THE CLASS AND NOTES ON SET THEORY

1 Partitions and Equivalence Relations

Chapter 1. Sets and Numbers

Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich

Foundations of Mathematics

Assignments. Math 215. Fall 2009.

Math 13, Spring 2013, Lecture B: Midterm

Part II. Logic and Set Theory. Year

Math 300: Final Exam Practice Solutions

MATH 363: Discrete Mathematics

Chapter-2 Relations and Functions. Miscellaneous

Section 1.3. Let I be a set. When I is used in the following context,

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

AMB111F Notes 1: Sets and Real Numbers

Math 10850, fall 2017, University of Notre Dame

Circles & Interval & Set Notation.notebook. November 16, 2009 CIRCLES. OBJECTIVE Graph a Circle given the equation in standard form.

RED. Name: Math 290 Fall 2016 Sample Exam 3

Introduction to Real Analysis

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions

Math 105A HW 1 Solutions

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

7.11 A proof involving composition Variation in terminology... 88

Review 3. Andreas Klappenecker

Exclusive Disjunction

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

Transcription:

Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection of X and Y is the set X Y consisting of all objects that are elements of both X and Y. The difference X Y of sets X and Y consists of all elements of X that are not elements of Y. The product of sets X and Y is the set X Y consisting of all ordered pairs (x, y) where x X and y Y. We say that X is a subset of Y, and write X Y, if every member of X is also a member of Y. Two sets X and Y are said to be disjoint if X Y =. The powerset of a set X is the set of all subsets of X; it is denoted 2 X. The cardinality of a set is the number of elements it contains. Two sets have the same cardinality if there is a bijection from one to the other. Definition 2. Suppose that X and Y are sets. A relation from X to Y is a set R whose elements are ordered pairs (x, y) with x X and y Y. A relation R from X to itself is called a relation on X. We say that R is... if... reflexive x A, (x, x) R symmetric x, y A, (x, y) R (y, x) R transitive x, y, z A, (x, y) R (y, z) R (x, z) R an equivalence relation if R is reflexive, symmetric, and transitive. Definition 3. A relation f from X to Y is said to be a function if, for all x X, there is a unique y Y such that (x, y) R. The notation f : X Y means f is a function from X to Y. If f is a function from X to Y, we write f(x) = y to mean (x, y) f. A function f : X Y is said to be injective if, for all x and x in X one has f(x) = f(x ) only if x = x. We say f is surjective if, for all y Y, there is some x X such that f(x) = y. We say that f is bijective if it is both injective and surjective. Theorem 4 (Cantor Schroeder Bernstein). Suppose that X and Y are sets and there are injections f : X Y and g : Y X. Then X and Y have the same cardinality. 1

Section 1 Problem 1 (6 points). Let f : A B be a function. Write a symbolic sentence that means f is not an injection and f is not a surjection. You may use the following symbols: quantifiers (, ), logical operators other than negation (,, ), equality and inequality (=, ). You may not use the negation symbol,. ( ) ( ) x A, y A, (f(x) = f(y)) (x y) z B, x A, f(x) z Problem 2 (8 points). Rewrite each of the sentences below symbolically using only quantifiers (, ), logical connectives (,,, ), set operations (,,, ), and the phrase is a set. Then determine whether or not the sentence is true. Justify your answers. (i) (4 points) For all sets S and T, we have S T = T S. (ii) (4 points) There is a set S such that for all sets T, we have S T = T S. Problem 3 (10 points). Let X 0 = 0, X 1 = 1, and define X n for n 2 by recursion: X n = 5X n 1 6X n 2 Prove that X n = 3 n 2 n for all natural numbers n. (Suggestion: Use strong induction.) We use strong induction on n. We may assume that X m = 3 m 2 m for m < n. If n = 0, we have X 0 = 0 by definition and 3 0 2 0 = 1 1 = 0 so the formula holds. If n = 1, we have X 1 = 1 by definition, and 3 1 2 1 = 3 2 = 1, so the formula holds here too. If n 2, we may use the recursive formula X n = 5X n 1 6X n 2 and substitute X n 1 = 2 n 1 3 n 1 and X n 2 = 2 n 2 3 n 2 to get exactly as desired. Problem 4 (8 points). Define sets: X n = 5X n 1 6X n 2 = 5(3 n 1 2 n 1 ) 6(3 n 2 2 n 2 ) = 5(3 3 n 2 2 2 n 2 ) 6(3 n 2 2 n 2 ) = 15 3 n 2 6 3 n 2 10 2 n 2 + 6 2 n 2 = 9 3 n 2 4 2 n 2 = 3 n 2 n A = {, (1, 1), 3} B = {3, 3, { }, (1, 1)} Compute each of the following sets and its cardinality. For each part, your answer should use set builder notation, but may not use any set operations (,,, 2 ( ), ) or the membership symbol ( ). (In other words, you should list the elements of the set between curly braces.) (i) (2 points) A B A B = {(1, 1), 3} A B = 3

Name: (ii) (2 points) A B A B = {, (1, 1), 3, { }} A B = 4 (iii) (2 points) A B A B = {(, 3), (, { }), (, (1, 1)), ((1, 1), 3), ((1, 1), { }), ((1, 1), (1, 1)), (3, 3), (3, { }), (3, (1, 1))} A B = 9 (iv) (2 points) 2 B 2 B = {, {3}, {{ }}, {(1, 1)}, {3, { }}, {3, (1, 1)}, {{ }, (1, 1)}, {3, { }, (1, 1)}} 2 B = 8 Problem 5 (10 points). Prove that for any sets A, B, and C the following equation is true: A (B C) = (A B) (A C) Suppose that x is an element of A (B C). Then x = (a, y) where a A and y B C. This means y B or y C. If y B then (a, y) A B so x = (a, y) (A B) (A C). If y C then x = (a, y) A C so (a, y) (A B) (A C). Either way, x (A B) (A C), so every element of A (B C) is also an element of (A B) (A C). Conversely, suppose that x (A B) (A C). Then x A B or x A C. Thus x = (a, y) where y B or y C. Either way, y B C, so x = (a, y) A (B C). Thus every element of (A B) (A C) is an element of A (B C). Problem 6 (6 points). The following definition of a relation has a blank in it. Match each way of filling in the blank shown on the left with a property on the right that the resulting relation has. Note that the relation between the roman numerals on the left and the letters on the right might not be a bijection! R = {(x, y) : x 2 = y 2 } (i) x Z y Z (ii) x N y N (iii) x Z y N (iv) x N y Z (A) not a function (B) a function that is injective but not surjective (C) a function that is surjective but not injective (D) a bijection Now describe this relation between roman numerals and letters as a set of ordered pairs. {(i, A), (ii, D), (iii, A), (iv, B)} Problem 7 (5 points). Find an equivalence relation on {1, 2, 3, 4, 5, 6} whose equivalence classes are {3, 5}, {1, 6}, {2}, and {4}. R = {(1, 1), (1, 6), (6, 1), (6, 6), (3, 3), (3, 5), (4, 4), (5, 3), (5, 5), (2, 2)}

Section 2 Problem 8 (10 points). A semigroup is a pair (G, m) where (i) G is a set; (ii) m : G G G is a function; (iii) for all a, b, c G we have m(a, m(b, c)) = m(m(a, b), c). Fix a set S and let G be the set of all functions from S to itself. For any a, b G, define m(a, b) = a b. Prove that (G, m) is a semigroup. By definition, G is a set. Since b is a function with codomain S and a is a function with domain S, the relation a b is a function. The domain of a b is the same as the domain of b, namely S, and the codomain of a b is the same as the codomain of a, namely S. Therefore a b is a function from S to itself, so it is in G. Now we check the third property. Suppose that a, b, c G. Then m(a, m(b, c)) = a (b c) and m(m(a, b), c) = (a b) c. These are both functions, so in order to show they are identical, we need to show that a (b c)(x) = (a b) c(x) for all x S. Suppose that x S. Then a (b c)(x) = a(b c(x)) = a(b(c(x)))(a b) c(x) = a b(c(x)) = a(b(c(x))). As this holds for all x S, we conclude that m(a, m(b, c)) = a (b c) = (a b) c = m(m(a, b), c), as desired. Problem 9 (10 points). Prove that every non-empty finite set has the same number of subsets of even size as it has subsets of odd size. Consider the formula (1 + x) n = n ( n k=0 k) x k. Substitute x = 1. As long as n > 0, we get 0 on the left side, so we obtain 0 = n ( n k=0 k) ( 1) k. Move the negative terms to the left side to get ( ) n = ( ) n. k k 0 k n k odd 0 k n k even The sum on the left side is the number of odd-sized subsets and the sum on the right is the number of even-sized subsets. Let S be a non-empty set. Let A be the set of even-sized subsets of S and let B be the set of odd-sized subsets of S. Since S, we can choose some x S. Construct a function f : A B as follows: If T A and x T then f(t ) = T {x}. If T A and x T then f(t ) = T {x}. Notice that f(t ) T = ±1 so that if T is even then f(t ) is odd. The same formula defines a function g : B A. We check that f and g are inverses. If x T and T A then g(f(t )) = g(t {x}) = (T {x}) {x} = T. If x T then g(f(t )) = g(t {x}) = (T {x}) {x} = T. Since f and g are defined the same way, we also get f(g(t )) = T for all T B. Thus f and g are inverse functions and A = B, as desired. Problem 10 (10 points). Compute the number of ways to partition a set of 24 elements into three sets of size 4, two sets of size 5, and one set of size 2. Express your answer using only multiplication, division, exponentiation, and the factorial. Justify your answer. Let S be a set with 24 elements, and let X be the set of all lists (A 1, A 2, A 3, B 1, B 2, C 1 )

Name: where A i = 4 for all i, B i = 2 for all i, and C i = 1 for all i. We can calculate the size of X: There are ( ) 24 4 choices for A1, then ( ) 20 4 choices for A2, then ( ) 16 4 choices for A3, then ( ) 12 5 choices for B1, then ( ) 7 5 choices for B 2, and then ( 2 2) choices for C1. This gives ( )( )( )( )( )( ) 24 20 16 12 7 2 T = 4 4 4 5 5 2 = 20! 4! 20! 16! 4! 16! 12! 4! 12! 7! 5! 7! 5! 2! 2! 2! 0! = 4! 3 5! 2 2!. Now let Y be the set of all partitions of S as required by the problem. There is a function f : X Y f((a 1, A 2, A 3, B 1, B 2, C 1 )) = {A 1, A 2, A 3, B 1, B 2, C 1 }. For each partition P Y there are 3! 2! 1! lists L such that f(l) = P, corresponding to the ways of rearranging the As, the Bs, and the Cs in any given list. Therefore f 1 {P } = 3! 2! = 12 for all P Y. We conclude that 4! 3 5! 2 2! = X = P Y f 1 {P } = P Y 3! 2! = 3! 2! Y so Y = 4! 3 5! 2 3! 2! 2. Problem 11 (10 points). Prove that the cardinality of the set of natural numbers, N, is the same as the cardinality of the set of integers, Z. We construct injections in both directions and use the Cantor Schroeder Bernstein theorem. The function f(x) = x defines an injection from N to Z. To get an injection in the other direction, define f(n) = 2n if n 0 and f(n) = 2n 1 if n < 0. We check that f : Z N. If n Z then either n 0 or n 1. If n 0 then 2n is a non-negative integer, hence is in N. If n 1 then 2n 1 2( 1) 1 = 1 is a positive integer, hence is a natural number. Thus f(n) N for all n Z. We still have to check f is injective. Suppose m, n Z and f(n) = f(m). Problem 12 (10 points). Prove that, for every integer n, there is an integer m such that n = 3m or n = 3m + 1 or n = 3m + 2. First we prove this for natural numbers using induction. If n = 0 then we can write n = 3 0 so the statement is true for n = 0. Now we assume that there is an integer m such that n = 3m or n = 3m + 1 or n = 3m + 2 and prove that there is an integer l such that n + 1 = 3l or n + 1 = 3l + 1 or n + 1 = 3l + 2. We consider three cases: If n = 3m then we can take l = m and we have n + 1 = 3m + 1; if n = 3m + 1, we can take m = l and n + 1 = 3m + 2; if n = 3m + 2 then we have n + 1 = 3m + 3 = 3(m + 1) so we can take l = m + 1. This proves the inductive step and completes the proof for n N. We still need to consider the possibility that n < 0. For that case, notice that n 0, so by what we have already proved, there is an integer m such that n = 3m or n = 3m + 1 or n = 3m + 2. In the first case, we get n = 3( n) which is the form we want; in the second case, we get n = 3m 1 = 3( m 1) + 2, which gives what we want; finally, in the third case we have n = 3m 2 = 3( m 1) + 1, which takes care of the final case and completes the proof for negative n.