MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Similar documents
MATH 13 FINAL EXAM SOLUTIONS

Exam Practice Problems

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

Section 0. Sets and Relations

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

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

REVIEW FOR THIRD 3200 MIDTERM

Math 127 Homework. Mary Radcliffe. Due 29 March Complete the following problems. Fully justify each response.

MATH FINAL EXAM REVIEW HINTS

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

Axioms for Set Theory

Math 109 September 1, 2016

Math 300: Final Exam Practice Solutions

Chapter 1 : The language of mathematics.

Solutions to Homework Set 1

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

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

Math Fall 2014 Final Exam Solutions

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

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

Foundations Revision Notes

SETS AND FUNCTIONS JOSHUA BALLEW

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

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

5 Set Operations, Functions, and Counting

Chapter 1. Sets and Mappings

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

6 CARDINALITY OF SETS

Sets, Proofs and Functions. Anton Velinov

RED. Name: Math 290 Fall 2016 Sample Exam 3

Show Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page.

Review 3. Andreas Klappenecker

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

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Practice Midterm Exam

COT 2104 Homework Assignment 1 (Answers)

Foundations of Mathematics

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

Review 1. Andreas Klappenecker

Selected problems from past exams

Sets, Functions and Relations

Math 10850, fall 2017, University of Notre Dame

1 Take-home exam and final exam study guide

Countability. 1 Motivation. 2 Counting

Exam in Discrete Mathematics

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

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

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

Exercises for Unit VI (Infinite constructions in set theory)

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

Homework 5. Solutions

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

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

Discrete Math, Spring Solutions to Problems V

MATH 3300 Test 1. Name: Student Id:

ASSIGNMENT 1 SOLUTIONS

Contribution of Problems

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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

Discussion Summary 10/16/2018

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

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

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

A Short Review of Cardinality

0 Logical Background. 0.1 Sets

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

Name: Mathematics 1C03

ABOUT THE CLASS AND NOTES ON SET THEORY

Solutions to Homework Problems

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

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

Homework 1 Solutions

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.

Finite and Infinite Sets

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

CITS2211 Discrete Structures (2017) Cardinality and Countability

Properties of the Integers

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

Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10

MTH202 Discrete Mathematics

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

Lecture 8: Equivalence Relations

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.

We want to show P (n) is true for all integers

Practice Midterm 1 UCLA: Math 61, Winter 2018

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

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

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

The Banach-Tarski paradox

PRINCIPLE OF MATHEMATICAL INDUCTION

Let us first solve the midterm problem 4 before we bring up the related issues.

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

Selected Solutions to Even Problems, Part 3

MATH 2001 MIDTERM EXAM 1 SOLUTION

447 HOMEWORK SET 1 IAN FRANCIS

Transcription:

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. T F Every countably infinite subset of R is well-ordered. T F For all integers a, b, and c, if a 2b and b 2c then a 2c. T F If A is a set and P(A) is infinite, then A must also be infinite. T F There is a bijection from the closed interval [0, ) to the open interval (0, ). T F For all sets A and B, if there is a surjection from A to B and A is countable, then B is countable. T F If R is a symmetric relation on the set A, then (A A) R must also be a symmetric relation on A. T F There are sets A, B, and C and functions f : A B and g : B C such that f is not injective and g f : A C is injective. T F For every set A, there is a bijection from P(A) to A {0,1}. T F If R is a reflexive relation on the set A, then R 1 must also be a reflexive relation on A. T F If R 1 and R 2 are equivalence relations on the set A, then R 1 R 2 must also be an equivalence relation on A. T F For all sets A, B, and C, there is a bijection from A (B C) to (A B) C. T F (P Q) is logically equivalent to P Q T F T F For all integers a, b, n with n 2, if ab 0 (mod n) then a = 0 (mod n) or b = 0 (mod n). T F Every well-ordered set of real numbers has a least element. Remark. Andrés pointed out an error in my first draft of the solutions. The answer to the last T/F question above is F because the empty set is a well-ordered set of real numbers without a least element it has no nonempty subsets, so it satisfies the definition of wellordered vacuously. (For the exam I will try to avoid asking questions that hinge on trivial cases.) 1

Problem 2 (5 points). Let A and B be sets. Prove that the following equality holds: (A B) (A B) = (A B) (B A). Solution. ( ): Let x (A B) (A B), so x A B and x / A B. Case 1: Assume x A. Then x / B (or else x would be in A B) so x A B. Case 2: Assume x B. Then x / A (or else x would be in A B) so x B A. We have shown that, in either case, x (A B) (B A). ( ): Let x (A B) (B A). Case 1: Assume x A B; that is, x A and x / B. Then x A B and x / A B. Case 2: Assume x B A; that is, x B and x / A. Then x A B and x / A B. We have shown that, in either case, x (A B) (A B). Solution (alternative). (A B) (A B) = (A B) (A B) = (A B) (A B) (De Morgan s law) = ((A B) A) ((A B) B) (distributive law) = ((A A) (B A)) ((A B) (B B)) (distributive law) = (B A) (A B) = (B A) (A B) = (A B) (B A) Problem 3 (5 points). Is this compound statement a tautology? Justify your answer. ((P = Q) ( P = Q)) = Q Note: P = Q means ( P ) = Q, not (P = Q). Solution. Assume that (P = Q) ( P = Q) is true. So P = Q and P = Q are both true. Case 1: Assume P. Then because P = Q is true, Q is true. Case 2: Assume P. Then because P = Q is true, Q is true. We have shown that in all the cases where the hypothesis is true, the conclusion is also true. So the implication is a tautology. Remark. We could also solve this problem by making a truth table with four rows for the possible combinations of truth values for P and Q. The type of solution above has the advantage that it is more intuitive (in my opinion.) It also might be faster, especially on T/F questions where you are not asked to write out your argument.

Problem 4 (5 points). Let a, a, b, b, n Z with n 2. Prove that if a a (mod n) and b b (mod n), then a + b a + b (mod n). Solution. Assume that a a (mod n) and b b (mod n). So n (a a) and n (b b). Therefore n ((a a) + (b b)) = ((a + b ) (a + b)), so a + b a + b (mod n). Problem 5 (5 points). Define a sequence (a 1, a 2, a 3,...) by a 1 = 3, and for all n N, { 2a n if n is odd a n+1 = 4a n if n is even. Prove that a n 3 n for all n N. Proof. We prove this using strong induction on n. Base case: a 1 = 3 3 1. Induction step: Let n N and assume that a i 3 i for all i n. We want to show that a n+1 3 n+1. If n is odd, then we have a n+1 = 2a n 2 3 n 3 3 n = 3 n+1, as desired. If n is even, then (using the fact that n 1 N and n 1 is odd) we have a n+1 = 4a n = 4 2a n 1 = 8a n 1 8 3 n 1 9 3 n 1 = 3 n+1, as desired. Therefore a n 3 n for all n N.

Problem 6 (5 points). Let A be a set and let f : A A be a function such that f(f(x)) = x for all x A. Define the relation R on A by R = {(x, y) A : y = x or y = f(x)}. Prove that R is an equivalence relation. Solution. We show that R is reflexive. Let x A. Then (x, x) R because x = x. We show that R is symmetric. Let x, y A and assume that (x, y) R. That is, y = x or y = f(x). If y = x, then x = y, so (y, x) R. If y = f(x), then f(y) = f(f(x)) = x, so (y, x) R in this case also. We show that R is transitive. Let x, y, z A and assume that (x, y), (y, z) R. If x = y or y = z then clearly (x, z) R. If not, then y = f(x) and z = f(y), so z = f(f(x)) = x and again (x, z) R. Problem 7 (5 points). Prove that there is a bijection from A A to A {0,1}. Solution. Define a function G : A A A {0,1} by G((x, y)) = {(0, x), (1, y)}. 1 We show that G is injective. Let (x, y), (x, y ) A A and assume that G((x, y)) = G((x, y )). That is, {(0, x), (1, y)} = {(0, x ), (1, y )}. Clearly this means that (0, x) = (0, x ) and (1, y) = (1, y ) and not the other way around. So x = x and y = y, which means that (x, y) = (x, y ). We show that G is surjective. Let f A {0,1}. Then we have G((f(0), f(1))) = {(0, f(0)), (1, f(1))} = f, so f is in the range of G. Solution (alternative). Because every bijection has an inverse that is also a bijection, it suffices to prove that there is a bijection from A {0,1} to A A. Define a function G : A {0,1} A A by G(f) = (f(0), f(1)). We show that G is injective. Let f, f A {0,1} and assume that G(f) = G(f ). That is, (f(0), f(1)) = (f (0), f (1)). So f(0) = f (0) and f(1) = f (1). Therefore f = f. We show that G is surjective. Let (x, y) A A. Define the function f A {0,1} by f(0) = x and f(1) = y. 2 Then G(f) = (x, y). 1 Equivalently, we could define the function G((x, y)) in terms of its values: G((x, y))(0) = x and G((x, y))(1) = y. 2 Equivalently, we could write f = {(0, x), (1, y)}.

Problem 8 (5 points). Prove that there is a partition P of N such that (1) P is infinite, and (2) every element of P is infinite. (Hint: You may use the existence of a bijection f : N N N.) Proof. Take a bijection f : N N N. Define a set P of subsets of N by where P = {A i : i N} A i = f 1 [{i} N] = {x N : the ordered pair f(x) has first coordinate i}. We show that P is a partition. Every element of P is nonempty, because {i} N is nonempty and f is surjective. The elements of P are pairwise disjoint because ({i} N) ({j} N) = whenever i j, and the inverse images of two disjoint sets (under any function) are disjoint. N = i N A i because for all x N we have x A i where i is the first coordinate of the pair f(x). We check the remaining two conditions. P is infinite because the function N P that sends i to A i is a bijection. (The fact that it is an injection follows from the argument above, which shows that if i j then A i and A j are disjoint nonempty sets, hence A i A j.) Every element A i of P is infinite because the function A i N that sends x to the second coordinate of f(x) is easily shown to be a bijection... Remark. The details of this solution take a bit longer to write out than I intended. The main point is that the set N N has an infinite partition into the infinite sets {1} N, {2} N, etc. and we can then use a bijection of N with N N to transfer this partition over to a partition of N. Once you come up with this idea (or some other idea) you should just write as much detail as you have time for and not worry about the rest. Remark. A more number-theoretic proof idea (without using the hint) would be to define, for all i N, the set A i = {x N : 2 i 1 x and 2 i x}, and to show that the sets A 1, A 2,... are all distinct infinite sets and that the set P = {A 1, A 2,...} is a partition of N.