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

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

Solutions to Homework Problems

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

MATH 3300 Test 1. Name: Student Id:

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

REVIEW FOR THIRD 3200 MIDTERM

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

and problem sheet 6

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

1 Take-home exam and final exam study guide

Homework 1 Solutions

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

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

Principles of Real Analysis I Fall I. The Real Number System

Austin Mohr Math 730 Homework 2

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

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

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

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.

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

RELATIONS AND FUNCTIONS

Chapter 1. Sets and Mappings

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

Math 564 Homework 1. Solutions.

ABOUT THE CLASS AND NOTES ON SET THEORY

MATH FINAL EXAM REVIEW HINTS

Homework for MATH 4603 (Advanced Calculus I) Fall Homework 13: Due on Tuesday 15 December. Homework 12: Due on Tuesday 8 December

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

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Economics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:

Selected problems from past exams

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

SETS AND FUNCTIONS JOSHUA BALLEW

Math 5801 General Topology and Knot Theory

Real Analysis. Joe Patten August 12, 2018

Sets, Functions and Relations

Chapter 1. Sets and Numbers

Math 2534 Solution to Test 3A Spring 2010

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

PRELIMINARIES FOR GENERAL TOPOLOGY. Contents

Exam Practice Problems

Lecture 2. Econ August 11

Chapter 1 : The language of mathematics.

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Part IA Numbers and Sets

TOPOLOGY HW 2. x x ± y

Contribution of Problems

1 Homework. Recommended Reading:

Contribution of Problems

Problem Set 2 Solutions Math 311, Spring 2016

Solutions Final Exam May. 14, 2014

Math Fall 2014 Final Exam Solutions

Maths 212: Homework Solutions

Cardinality and ordinal numbers

Section 4.4 Functions. CS 130 Discrete Structures

Functions as Relations

CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November Points Possible

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

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

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7

Section Summary. Definition of a Function.

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

MA 1124 Solutions 14 th May 2012

HOMEWORK ASSIGNMENT 6

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

S15 MA 274: Exam 3 Study Questions

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

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.

Introduction to Proofs

QF101: Quantitative Finance August 22, Week 1: Functions. Facilitator: Christopher Ting AY 2017/2018

Solutions Final Exam May. 14, 2014

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

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

MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that

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

Analysis I. Classroom Notes. H.-D. Alber

Structure of R. Chapter Algebraic and Order Properties of R

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

5.5 Deeper Properties of Continuous Functions

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

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

Due date: Monday, February 6, 2017.

REAL ANALYSIS: INTRODUCTION

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v

Assignment #1 Sample Solutions

Practice Midterm 1 UCLA: Math 61, Winter 2018

2.2 Some Consequences of the Completeness Axiom

Section 0. Sets and Relations

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

RED. Name: Math 290 Fall 2016 Sample Exam 3

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

AMB111F Notes 1: Sets and Real Numbers

Cosets and Lagrange s theorem

1 The Cantor Set and the Devil s Staircase

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

RELATIONS AND FUNCTIONS

A Logician s Toolbox

Transcription:

MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence classes. Prove your answer for the equivalence class of 1. Proof : (a) We need to prove that is reflexive, symmetric and transitive. reflexive: We need to prove: a Z : a a Let a Z. Then a + a = 3a is divisible by 3. a a. symmetric: We need to prove: a, b Z : a b = b a Let a, b Z with a b. a + b is divisible by 3. Thus a + b = 3k for some k Z. Then b + a = 3a + 3b (a + b) = 3a + 3b 3k = 3(a + b k) Since a + b k Z, we see that b + a is divisible by 3. b a. transitive: We need to prove: a, b, c Z : a b and b c = a c Let a, b, c Z with a b and b c. a + b and b + c are divisible by 3. Thus a + b = 3m and b + c = 3n for some m, n Z. Then a + c = (a + b) + (b + c) 3b = 3m + 3n 3b = 3(m + n b) Since m + n b Z, we see that a + c is divisible by 3. a c. (b) Recall that [a] = {b Z : b a} = {b Z : a b} and that the equivalence classes form a partition of Z (note that we do not know how many equivalence classes there are). We start with [0] = {b Z : 0 b} = {b Z : 0 + b is divisible by 3} = {b Z : b is divisible by 3} = {3m : m Z} = {..., 6, 3, 0, 3, 6,...} Next, we pick an integer that is not an element of [0], say 1. Then We prove that We use mutual inclusion. [1] = {b Z : 1 b} = {b Z : 1 + b is divisible by 3} = {b Z : b + is divisible by 3} {b Z : b + is divisible by 3} = {3m + 1 : m Z} 1

Let x {b Z : b + is divisible by 3}. x Z with x + divisible by 3. Thus x + = 3k for some k Z. Hence x = 3k = 3(k 1) + 1. Since k 1 Z, we get that x {3m + 1 : m Z}. Hence {b Z : b + is divisible by 3} {3m + 1 : m Z}. Let x {3m + 1 : m Z}. Then x = 3m + 1 for some m Z. x Z and x + = 3m + 3 = 3(m + 1). Since m + 1 Z, we get that x + is divisible by 3. x {b Z : b + is divisible by 3}. Hence {3m + 1 : m Z} {b Z : b + is divisible by 3}. Since {b Z : b + is divisible by 3} {3m + 1 : m Z} and {3m + 1 : m Z} {b Z : b+ is divisible by 3}, we get that {b Z : b+ is divisible by 3} = {3m+1 : m Z}. [1] = {b Z : b + is divisible by 3} = {3m + 1 : m Z} = {..., 5,, 1, 4, 7,...} Next, we pick an integer that is not an element of [0] [1]), say. Then [] = {b Z : b} = {b Z : + b is divisible by 3} = {b Z : b + 4 is divisible by 3} Similarly as in the case for [1], we can show that [] = {b Z : b + 4 is divisible by 3} = {3m + : m Z} = {..., 4, 1,, 5, 8,...} Since [0] [1] [] = Z we know we have found all the equivalence classes. There are three equivalence classes: {3m : m Z} {3m + 1 : m Z} {3m + : m Z} [1] = {3m + 1 : m Z}. (0 pts) What is the infimum of the interval ( 1, + )? Prove your answer! Proof : We prove that inf( 1, + ) = 1. First, we show that 1 is a lower bound for ( 1, + ). Let x ( 1, + ). Then 1 < x. 1 is a lower bound for ( 1, + ). Next, we show that 1 is the greatest lower bound for ( 1, + ). let m be a lower bound for ( 1, + ). Suppose that 1 < m. Let x R with 1 < x < m. Since x > 1, we have that x ( 1, + ). Since m is a lower bound for ( 1, + ) and x ( 1, + ), we have that m x, a contradiction since 1 < x < m. Hence 1 m. 1 is the greatest lower bound for ( 1, + ). Thus 1 = inf( 1, + ).

3. (0 pts) Consider the function f : Z Z where f(x) = 5x. (a) (10 pts) Is f one-to-one? Prove your answer! (b) (10 pts) Is f onto? Prove your answer! lution : (a) We prove that f is one-to-one. Let x 1, x Z with f(x 1 ) = f(x ). Then 5x 1 = 5x Adding to both sides, we get that 5x 1 = 5x Dividing both sides by 5, we find that x 1 = x Hence f is one-to-one. (b) We prove that f is not onto. Suppose that f is onto. Since 0 Z and f is onto, there exists x Z with f(x) = 0. 5x = 0 Thus 5x = Since x Z, this implies that is divisible by 5, a contradiction. Hence f is not onto. Remark: Note that the function g : R R where g(x) = 5x is onto. ( ) n 1 4. (0 pts) What is the limit of the sequence? Prove your answer! 3n + n + n=1 ( ) n 1 Proof : We prove that the limit of the sequence is 0. we have to 3n + n + n=1 prove: ɛ > 0 : N N : n N : n 1 3n + n + 0 < ɛ Let ɛ > 0. Let N N with N > (note that N exists by the Archimedes Axiom). Let 3ɛ n N. Then n 1 3n + n + 0 = n 1 3n + n + < n 3n = 3n 3N < ɛ 3

Explanations: n 1 < n 3n + n + > 3n > 0 so 1 3n + n + < 1 3n n N > 0 so 1 n 1 N N > 3ɛ so 3N > 1 ɛ > 0 and thus 3N < ɛ. 5. (0 pts) Let f : A B and g : B C be functions such that g f is bijective. Prove that f is injective and g is surjective. Proof : First, we prove that f is injective. Let x 1, x A with f(x 1 ) = f(x ). Then and so g(f(x 1 )) = g(f(x )) (g f)(x 1 ) = (g f)(x ) Since g f is bijective, we have that g f is injective and thus Hence f is injective. Next, we prove that g is surjective. x 1 = x Let c C. Since g f is bijective, we know that g f has an inverse: there exists a function h : C A such that h (g f) = id A and (g f) h = id C. Hence ((g f) h)(c) = id C (c) g(f(h(c))) = c Put b = f(h(c)). Then b B and g(b) = g(f(h(c))) = c. g is surjective. Extra Credit (15 pts) Let S be a non-empty subset of R that is bounded above. Put T = { s : s S}. (a) Prove that T is a non-empty subset of R that is bounded below. (b) What is inf T in terms of bounds related to S? (c) Suppose S = ( 3, 5). What is T? 4

Proof : (a) First, we show that T is non-empty. Since S, we can pick s S. Then s T. T. Next, we show that T is bounded below. Since S is bounded above, we can pick an upper bound m for S. We show that m is a lower bound for T. let t T. Then t = s for some s S. Since m is an upper bound for S, we get that s m. Hence m s. m t. Since this is true for all t T, we have that m is a lower bound for T. This means that T is bounded below. (b) Note that inf T exists since T is non-empty and bounded below. We prove that inf T = sup S. Since sup S is an upper bound for S, it follows from the proof of (b) that sup S is a lower bound for T. Now we show that sup S is the greatest lower bound for T. let m be a lower bound for T. We show that 1 m is an upper bound for S. Indeed, let s S. Then s T. Since m is a lower bound for T and s T, we have that m s. Hence 1 m s. Since this is true for all s S, we have that 1 m is an upper bound for S. Since sup S is the least upper bound for S and 1 m is an upper bound for S, we must have that sup S 1 m. Thus sup S m. Since this is true for any lower bound m for T and sup S is a lower bound for T, we finally get that sup S is the greatest lower bound for T. Thus inf T = sup S. (c) We need to multiply every element in S by. Note that x R : 3 < x < 5 10 < x < 6 T = { s : s S} = { s : 3 < s < 5} = ( 10, 6) 5