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

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

1 Take-home exam and final exam study guide

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.

Properties of the Integers

Chapter 1 : The language of mathematics.

RED. Name: Math 290 Fall 2016 Sample Exam 3

Math 109 September 1, 2016

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

MATH 13 FINAL EXAM SOLUTIONS

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

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

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

Discussion Summary 10/16/2018

Part IA Numbers and Sets

REVIEW FOR THIRD 3200 MIDTERM

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

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

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

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

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Chapter 1. Sets and Numbers

CSE 20 DISCRETE MATH. Winter

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

Writing Assignment 2 Student Sample Questions

MATH 271 Summer 2016 Practice problem solutions Week 1

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

RED. Fall 2016 Student Submitted Sample Questions

Fundamentals of Pure Mathematics - Problem Sheet

Recitation 7: Existence Proofs and Mathematical Induction

14 Equivalence Relations

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

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Proof by Contradiction

Solutions to Homework Set 1

Math 105A HW 1 Solutions

MATH 2001 MIDTERM EXAM 1 SOLUTION

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

Math 3450 Homework Solutions

Contribution of Problems

Mathematics Review for Business PhD Students

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

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

Math Fall 2014 Final Exam Solutions

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION CORE COURSE. B.Sc. MATHEMATICS V SEMESTER. (2011 Admission onwards) BASIC MATHEMATICAL ANALYSIS

MATH 2200 Final LC Review

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each)

Introduction to Proofs

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.

Contribution of Problems

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MAD 3105 PRACTICE TEST 2 SOLUTIONS

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

Math 230 Final Exam, Spring 2008

Reading 11 : Relations and Functions

Carmen s Core Concepts (Math 135)

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Part IA. Numbers and Sets. Year

Relations, Functions, and Sequences

Chapter 1. Sets and Mappings

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.

Mathematical Reasoning & Proofs

Foundations of Mathematics

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

A Short Review of Cardinality

Selected problems from past exams

ABOUT THE CLASS AND NOTES ON SET THEORY

(4) Using results you have studied, show that if x, y are real numbers,

Solutions Final Exam May. 14, 2014

Basic Proof Examples

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

Logical Connectives and Quantifiers

Cardinality and ordinal numbers

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH WINTER

CSE 20 Discrete Math. Winter, January 24 (Day 5) Number Theory. Instructor: Neil Rhodes. Proving Quantified Statements

CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

3 Hausdorff and Connected Spaces

MATH 2200 Final Review

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

IIT JEE (2012) (Matrices + Determinant + Function)

Math 2534 Solution to Test 3A Spring 2010

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

CSE 20 DISCRETE MATH. Winter

Mathematics Review for Business PhD Students Lecture Notes

Math 300 Diana Davis Evanston, IL Spring 2016

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

Computer Science Foundation Exam

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

0 Sets and Induction. Sets

1. Decide for each of the following expressions: Is it a function? If so, f is a function. (i) Domain: R. Codomain: R. Range: R. (iii) Yes surjective.

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

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

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.

MTH 299 In Class and Recitation Problems SUMMER 2016

Math 300: Final Exam Practice Solutions

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

Transcription:

RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice mark the correct answer on your bubble sheet. Answers to the last five questions should be written directly on the exam, and should be written neatly and correctly. True-false questions 1. For any three sets A, B, C, A (B C) = (A B) (A C). 2. The statement P = Q is logically equivalent to the statement P Q. 3. If x, y R then x + y x + y. 4. The negation of the statement There exist irrational numbers a, b such that a b is rational. is the statement For all irrational numbers a, b, it is true that a b is irrational. 5. Let R be an equivalence relation on a nonempty set A, and denote the equivalence class of a A by [a]. For a, b A, we have arb if and only if [a] = [b]. 6. Let A be a nonempty set, and suppose f : A A is a surjective function. Then f is injective. 7. Every nonempty subset of the positive integers is well ordered. 8. If S is an uncountable set and T S is uncountable, then T = S. 9. If a and b are odd integers, then 4 (a b) or 4 (a + b). 10. Let a, b, c Z, with a 0. If a bc and a b, then a c. Multiple Choice Questions 11. Which of the following definitions is incorrect? (a) An equivalence relation is a relation on a nonempty set which is reflexive, symmetric and transitive. (b) A function f : A B is injective if for every a 1, a 2 A, f(a 1 ) f(a 2 ) implies that a 1 a 2. (c) Two sets A and B are numerically equivalent if there is a bijection f : A B. (d) A partition of a set A is a collection of nonempty pairwise disjoint subsets of A whose union is A. (e) Two integers a and b are relatively prime if their greatest common divisor is 1. (f) None of the above. All of these definitions are correct. 12. Which of the following would be the best method for proving the statement P = (Q R). (a) Assume P and Q and prove that R is true. (b) Assume P and Q and prove that R is true. (c) Assume P and Q and prove that R is false. (d) Assume Q or R and prove P. (e) Assume Q and R and prove that P is true. 1

2 13. Which of the following is the contrapositive of the statement If every x S is prime, then every x S is odd. (a) If there is an x S which is prime, then there is an x S that is odd. (b) If there is an x S that is odd, then there is an x S that is prime. (c) If there is an x S that is even, then there is an x S that is not prime. (d) If every x S is odd, then every x S is prime. (e) If every x in S is not prime, then every x S is odd. (f) If every x S is odd, then there is an x S that is prime. (g) If every x / S is even, then every x / S is not prime. 14. Which of the following statements is true. (a) Let x Z. If 4x + 7 is odd then x is even. (b) There exists a real number x such that x 2 < x < x 3. (c) If x Z is odd, then x 2 + x is even. (d) Every odd integer is a sum of four odd integers. (e) Let x, y, z Z. If z = x y and z is even, then x and y are odd. (f) For every two sets A and B, (A B) B = A. 15. Which of the following is not an equivalence relation on the set Z of integers? (a) xry if 7 (x y). (b) xry if 6 (x 2 y 2 ) (c) xry if x + y 0. (d) xry if x + y = 2x. (e) xry if x 2 2xy + y 2 0. 16. Evaluate the proposed proof of the following result. Choose the most complete correct answer. Theorem: If two functions f : A B and g : B C are bijective, then g f is bijective. Proof. Suppose that f and g are both bijective. Note that f and g are each both injective and surjective. Let c C. Then, since g is surjective, c = g(b) for some b B. Since f is surjective, b = f(a) for some a A. Then c = g(b) = g(f(a)) = (g f)(a). Hence, g f is surjective. Suppose that a 1, a 2 A, and a 1 = a 2. Then f(a 1 ) = f(a 2 ), since f is injective, and g(f(a 1 )) = g(f(a 2 )) since g is injective. Hence (g f)(a 1 ) = (g f)(a 2 ), so g f is injective. Since g f is both injective and surjective, it is bijective. (a) The theorem and the proof are correct. (b) The proof is correct but the theorem is false. (c) The proof does not successfully prove that g f is surjective. (d) The proof does not successfully prove that g f is injective. (e) The proof proves neither that g f is surjective, nor that it is injective. (f) The proof is irrelevant because injectivity and surjectivity have nothing to do with proving a function to be bijective.

3 17. Which of the following is the negation of the statement lim f(x) = L. x a a) For all ɛ > 0, there exists a δ > 0 such that 0 < x a < δ implies f(x) L < ɛ. b) There exists an ɛ 0 such that for all δ 0, there is an x R with 0 x a δ such that f(x) L ɛ. c) There exists an ɛ > 0 such that for all δ > 0, there is an x R with 0 < x a < δ such that f(x) L ɛ. d) For all ɛ > 0, there exists a δ > 0 such that 0 < x a < δ implies f(x) L ɛ. 18. Which of the following definitions is correct: (a) A prime number is any integer whose only integer divisors are itself and 1. (b) A function f : A B is injective if every element of A maps to exactly one element of B. (c) A relation R on a nonempty set A is transitive if for a, b, c A, arb and brc imply cra. (d) A set A is denumerable if it is contained in the set N of natural numbers. (e) A sequence {a n } diverges to infinity if it does not converge to any finite limit. (f) None of the above all of these definitions are incorrect. 19. Let A be a nonempty set, and let R be an equivalence relation on A. Let E be the set of equivalence classes of R on A, with the equivalence class of a A denoted by [a]. Define f : A E by f(a) = [a]. Choose the most complete correct answer below. (a) f is not a well defined function. (b) f must be an injective function. (c) f must be a surjective function. (d) f must be a bijective function. (e) f may be neither surjective nor injective, but it is a function. 20. In an ɛ-δ proof that lim 3x + 5 = 8, x 1 which of the following is the largest δ that we can associate with a given ɛ > 0. (a) δ = 3 (b) δ = 1/3 (c) δ = ɛ (d) δ = 3ɛ (e) δ = ɛ/3 (f) δ = ɛ/5 (g) δ = min(ɛ, 1) (h) δ = 0

4 21. Use induction to prove that for every n Z with n 5, 2 n > n 2.

5 22. For three points each (and one point for completing all three), prove the following statement in three different ways: (1) by a direct proof, (2) using the contrapositive, and (3) using proof by contradiction. Be sure to correctly label which proof uses which technique. If n is an even integer, then 3n + 7 is odd.

6 23. Let A, B, C, D be sets with A C and B D. Prove or disprove the following statements: (a) If A B = then C D =. (b) If C D = then A B =.

7 24. Give an ɛ-δ proof that lim x 4 x2 2x + 2 = 10.

8 25. Prove that (2, 3) (4, 5) is numerically equivalent to R. (You may assume that (0, 1) and R are numerically equivalent if this helps.)