A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

Similar documents
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

Example: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple

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

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

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

SET THEORY. Disproving an Alleged Set Property. Disproving an Alleged Set. Example 1 Solution CHAPTER 6

Topics in Logic, Set Theory and Computability

Convexity in R N Supplemental Notes 1

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

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

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

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

Logic, Sets, and Proofs

1 Basic Combinatorics

Solutions to Homework Set 1

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

4.1 Real-valued functions of a real variable

CHAPTER 8: EXPLORING R

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

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

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

5 Set Operations, Functions, and Counting

Numbers, sets, and functions

Set, functions and Euclidean space. Seungjin Han

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

Notes on ordinals and cardinals

Climbing an Infinite Ladder

CS 173: Induction. Madhusudan Parthasarathy University of Illinois at Urbana-Champaign. February 7, 2016

Selected problems from past exams

PRACTICE PROBLEMS: SET 1

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Contribution of Problems

DR.RUPNATHJI( DR.RUPAK NATH )

MODEL ANSWERS TO THE FIRST HOMEWORK

Math 145. Codimension

REVIEW FOR THIRD 3200 MIDTERM

A Guide to Proof-Writing

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.

Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

a = qb + r where 0 r < b. Proof. We first prove this result under the additional assumption that b > 0 is a natural number. Let

Math 105A HW 1 Solutions

SETS AND FUNCTIONS JOSHUA BALLEW

CONSEQUENCES OF THE SYLOW THEOREMS

Chapter 1. Sets and Numbers

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

Cartesian Products and Relations

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

MAT 300 RECITATIONS WEEK 7 SOLUTIONS. Exercise #1. Use induction to prove that for every natural number n 4, n! > 2 n. 4! = 24 > 16 = 2 4 = 2 n

Proof Techniques (Review of Math 271)

Climbing an Infinite Ladder

Lecture 3: Sizes of Infinity

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

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 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Math 203A - Solution Set 1

(dim Z j dim Z j 1 ) 1 j i

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ASSIGNMENT 1 SOLUTIONS

MATH 2200 Final Review

A Short Review of Cardinality

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

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

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

MODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.

MATH FINAL EXAM REVIEW HINTS

arxiv: v1 [math.co] 28 Oct 2016

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Diskrete Mathematik Solution 6

Homework 5. Solutions

Section Summary. Proof by Cases Existence Proofs

6 CARDINALITY OF SETS

A NEW SET THEORY FOR ANALYSIS

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

An Algebraic View of the Relation between Largest Common Subtrees and Smallest Common Supertrees

Proof. We indicate by α, β (finite or not) the end-points of I and call

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

1. (B) The union of sets A and B is the set whose elements belong to at least one of A

And, even if it is square, we may not be able to use EROs to get to the identity matrix. Consider

Homework #2 Solutions

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

GALOIS THEORY BRIAN OSSERMAN

Axioms for Set Theory

3 The language of proof

First In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018

Math 3450 Homework Solutions

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

Computer Science Foundation Exam

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

MATH 13 FINAL EXAM SOLUTIONS

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Math 730 Homework 6. Austin Mohr. October 14, 2009

MATH 2200 Final LC Review

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

Transcription:

Math 235: Assignment 1 Solutions 1.1: For n N not zero, let A n = [ n, n] (The closed interval in R containing all real numbers x satisfying n x n). It is easy to see that we have the chain of inclusion A 1 A 2 A 3..., and therefore A n = A N = [ N, N] and N A n = A 1 = [ 1, 1]. 1.2: Notice that the consecutive closed intervals, [n, n + 1] and [n + 1, n + 2] do in fact overlap (This is because we have taken the closed interval. What if we had taken the open intervals instead?) We conclude that the finite union is [n, n + 1] = [1, N + 1]. Since any real number x 1 will eventually lie inside the interval [1, N + 1] for some sufficiently large N N, we conclude [n, n + 1] = [1, ). (Note we have the open bracket ) on the right side of the above interval. Why?). Similarly, the consecutive open intervals (n, n + 2) and (n + 1, n + 3) also overlap, so ( means therefore ) (n, n + 2) = (1, N + 2) (n, n + 2) = (1, ). 1.3: It is helpful to say in words what each A n is. A 1 is the set of all natural numbers, N. A 2 is the set of all squares of natural numbers. A 3 is all cubes, etc. Of course, a square of a natural number is in particular a natural number, so A 2 A 1. Likewise for cubes, th powers, etc. We conclude A 1 A n for all n N, A n = A 1 = N. Again it is helpful to ask in words, what does A n mean? Since each A n is the subset of natural numbers consisting of n th powers, their intersection must be all natural numbers x such that x is a square, a cube, a th power, a 5 th, etc. There are only 2 such numbers: 1

2 A n = {0, 1}. (Challenge: Can you find the smallest natural number x 0, 1 such that x is a square, a cube, a th power,..., and a 10 th power? What if we replace 10 with some arbitrarily large N th power?) 2.1: Consider the sets A = B = C = {1}. Then (A\B)\C is the empty set φ, while A\(B\C) = A\φ = A. This counterexample is enough to show that the formula in 2.1 does not hold (There are of course many more interesting counterexamples that show this as well, but any one is sufficient). 2.2: Note that no amount of examples will suffice to prove that this formula does hold, hence we need to get down to the nitty-gritty and construct a proof. In general, when proving two sets are equal (say X and Y ), a good place to start is to try to show that if x X then x must also be in Y and vice versa. This will show that X is a subset of Y and Y is a subset of X, which is possible only if X = Y. We proceed in this manner: Assume x (B\A) (A\B). either x is in B\A or x A\B (Note that the word or in mathematics includes the possibility of both events occurring unless explicitly stated otherwise, although in this case that is in fact not possible (Why?). Also means this implies ) Case 1: x B\A. Then x B but x / A. x A B but x / A B x (A B)\(A B). Case 2: x A\B. Repeat the exact same argument as case 1, but reverse the letters A and B (This is because the equation is symmetric with respect to the sets A and B). Hence in either case, x (A B)\(A B). Since x was an arbitrary element of (B\A) (A\B), we conclude that (A B)\(A B) (B\A) (A\B) (Make sure you understand why). It remains to show the reverse inclusion. Assume y (A B)\(A B). y A B but y / A B. Hence y is in either A or B, but not both for in that case, y would also be in their intersection (Again make sure you understand this conclusion). Case 1: y A and y / B. y A\B y (B\A) (A\B). Case 2: y B and y / A. Again by the symmetry in the argument we can follow case 1, just switching A and B. We conclude (B\A) (A\B) (A B)\(A B). Since we have now proved both inclusions, we can conclude (B\A) (A\B) = (A B)\(A B). 3: We assume the P.O.I. and prove the statement every non-empty set of natural numbers contains a minimal element. Actually, we will prove the contrapositive of this statement, namely Every set of natural numbers without a minimal element is necessarily empty (Note that these two claims are logically equivalent, that is to say one statement is true if and only if the other is. Proof by contrapositive is

3 a common tactic in mathematics, so it is important that you understand what it means and how it works). Let X N be a subset that does not have a minimal element, and consider the following statement about the natural numbers: P(n) : No natural number less then or equal to n lies in X. We would like to prove this statement is true for all natural numbers. proceed by induction. We will Base case: n = 0. P(0) says, albeit in a rather long winded fashion, that 0 / X. Could 0 lie in X? Well if it did, then it would have to be the minimal element, since 0 is the smallest natural number. Since X has no minimal element, we conclude that 0 / X and therefore P(0) is true. Induction step: Assume that P(k) is true for some k N. Does it follow that P(k + 1) is also true? P(k + 1) says that no natural number less then or equal to k + 1 lies in X. By assumption, P(k) is true, and therefore no natural number less then or equal to k lies in X. Hence P(k + 1) is false if and only if k + 1 X. Again, we wonder if this is possible. If k + 1 X and no natural number strictly less then k lies in X (Because we are assuming P(k) is true), then we must conclude that k + 1 would be the minimal element of X. Since X has no minimal element, we conclude this is not the case, therefore P(k + 1) is true. By the Principle of Induction, we conclude that P(n) holds for all n N. We claim that this shows X is necessarily empty. For if X was non-empty, then there would be some m N such that m X. But then P(m) would be false, contradictory to what we just proved (Make sure you understand why here). Hence X is empty, so we have proved the contrapositive to our original claim, which as mentioned earlier, proves our original statement is also true. : Base case: n = 1. The LHS of the equation is 1 3. The RHS is 1 2. Clearly equality holds in this case. (LHS and RHS are shorthand for left hand side and right hand side ) Induction step: Assume our equation holds for some n = k. Does this imply it holds for n = k + 1? Working with the LHS of our equation, we have 1 3 + 2 3 +... + k 3 + (k + 1) 3 = (1 3 + 2 3 +... + k 3 ) + (k + 1) 3 = (1 + 2 +... + k) 2 + (k + 1) 3, where the last inequality comes from our inductive assumption. Using the equality 1 + 2 +... + k = from the notes and then factoring, we get (k)(k + 1) 2 (1 + 2 +... + k) 2 + (k + 1) 3 = (k)2 (k + 1) 2 + (k + 1) 3

= (k + 1)2 (k 2 + k + ) = (k + 1)2 (k + 2) 2. Once again we use the formula from the notes and finally conclude that (k + 1) 2 (k + 2) 2 (k + 1)(k + 2) = ( ) 2 = (1 + 2 +... + k + (k + 1)) 2. 2 This proves the induction step and hence the formula holds for all n N. 5.1: Many different surjective functions exist, we list below in set notation: f 1 := {(1, a), (2, b), (3, b), (, c)} f 2 := {(1, a), (2, a), (3, b), (, c)} f 3 := {(1, c), (2, a), (3, c), (, b)} f := {(1, b), (2, c), (3, c), (, a)}. Note that the set notation for a function means, for example f 1 (1) = a, f 1 (2) = b, etc. 5.2: Again, there are more then injective functions from B to A, but here are : g 1 := {(a, 1), (b, 2), (c, 3)} g 2 := {(a, 1), (b, 3), (c, 2)} g 3 := {(a, ), (b, 3), (c, 1)} g := {(a, 3), (b, 1), (c, )}. 5.3: Recall that a function sends each element of its domain (In this case A) to a unique element in its range (In this case B). Since B has precisely 3 elements, that means when constructing a function f : A B, for every x A there are 3 possibilities for f(x). Since A has elements, we conclude there are 3 3 3 3 possible combinations, or 81 different functions from A to B. 5.: A surjective function must hit every element in its range at least once. Since A = and B = 3 we conclude that any surjective function hits one element of B twice, and the other two exactly once. There are 3 ways to choose the element that will be hit twice, so it suffices to find the number of functions that hit say a twice and the other two elements once, and then multiply that number by 3. How many functions is this? Well there are ( 2) = 6 different ways to choose 2 elements of A that will hit a, and once we have made that choice, there is still the question of where to send the remaining two elements. But we know there are only 2 possibilities for that choice, since b and c both need to be hit exactly once. Hence there are 6 2 = 12 different surjective functions that hit a twice, and therefore 12 3 = 36 different surjective functions altogether. 5.5: Suppose f : A B is an injective function. Injective means that each element of B is the f-image of at most one element of A. Hence the set f 1 (B) has at most 3 elements total (Since in particular it has size at most equal to B). But B is the range space of f, so f 1 (B) = A which of course has elements. This is a contradiction and thus no such f exists.

5 5.6: Following the argument in 5.3, for each element y of B, there are possible images, and each function send y to exactly one of them. Hence there are = 6 different functions. 5.7: We argue similarly to 5.5 to show there does not exist a surjective function f : B A. Indeed assuming otherwise, then since f is surjective, every element of A is in its image so in particular, the set f 1 (A) has at least distinct elements (Namely, one element that gets sent to 1, one that gets sent to 2, etc. Why must these elements be distinct?) But f 1 (A) = B which has only 3 elements and no such f exists. 5.8: Similarily to 5., we reason combinatorially. Suppose f : B A is some injective function. There are possible place f could send a. Once we have made the choice of where to send a, there are now 3 possible choices of where to send b (Because f(a) f(b)). Likewise, after choosing where to send a and b, there are now only 2 possible choice for the image of c. Hence there are 3 2 = 2 total possibile injective functions.