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

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

Chapter 1 : The language of mathematics.

MATH 3300 Test 1. Name: Student Id:

Chapter 1. Sets and Mappings

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.

5 Set Operations, Functions, and Counting

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

MATH 13 FINAL EXAM SOLUTIONS

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

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

6 CARDINALITY OF SETS

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

SETS AND FUNCTIONS JOSHUA BALLEW

Axioms for Set Theory

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

MAT115A-21 COMPLETE LECTURE NOTES

Cardinality and ordinal numbers

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.

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

Math 300: Final Exam Practice Solutions

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

Part II. Logic and Set Theory. Year

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

One-to-one functions and onto functions

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

S15 MA 274: Exam 3 Study Questions

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.

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

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

Exercises for Unit VI (Infinite constructions in set theory)

Notes on ordinals and cardinals

Discussion Summary 10/16/2018

Selected problems from past exams

Introduction to Proofs

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

MATH FINAL EXAM REVIEW HINTS

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

CITS2211 Discrete Structures (2017) Cardinality and Countability


Finite and Infinite Sets

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

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

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

Part IA Numbers and Sets

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

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 3361-Modern Algebra Lecture 08 9/26/ Cardinality

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

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

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

ASSIGNMENT 1 SOLUTIONS

Contribution of Problems

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

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

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

0 Sets and Induction. Sets

Foundations Revision Notes

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

Math 105A HW 1 Solutions

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

Section 4.4 Functions. CS 130 Discrete Structures

ABOUT THE CLASS AND NOTES ON SET THEORY

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

Section 7.5: Cardinality

Today. Wrapup of Polynomials...and modular arithmetic. Coutability and Uncountability.

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

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Cartesian Products and Relations

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Introduction to Abstract Mathematics

Math 109 September 1, 2016

The cardinal comparison of sets

Week Some Warm-up Questions

Discrete Mathematics

Solutions to Homework Set 1

REVIEW FOR THIRD 3200 MIDTERM

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

Review 3. Andreas Klappenecker

Introduction to Real Analysis

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

Functions as Relations

Math 455 Some notes on Cardinality and Transfinite Induction

Undecidability. Andreas Klappenecker. [based on slides by Prof. Welch]

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

Foundations of Mathematics

INFINITY: CARDINAL NUMBERS

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Countability. 1 Motivation. 2 Counting

Homework #2 Solutions

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Reed-Solomon code. P(n + 2k)

Infinite constructions in set theory

CSE 20 DISCRETE MATH. Fall

Solutions to Homework Assignment 2

Section 0. Sets and Relations

RED. Fall 2016 Student Submitted Sample Questions

SOME TRANSFINITE INDUCTION DEDUCTIONS

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

Functions. Given a function f: A B:

Transcription:

Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some details but the ingredients for the solution should all be there. 1 Determine which of the following functions are injective and which are surjective: (a) f : Z N, where n Z. f(n) = n + 1; (b) g : N N N, where (n, k) N N. g(n, k) = 2 n 3 k ; (c) h : P(N) P(N), where A P(N). h(a) = N \ A; (d) k : Z P(Z), where n Z. k(n) = {n, 1, 1}. Using the above functions, compute the following sets: Solution: PreIm f (N), Im g (N {1}), PreIm h ( ), PreIm h ({ }), Im k ({ 1, 0, 1}) (a) f is not injective: for example, f(1) = 1 + 1 = 1 + 1 = f( 1). f is surjective: if n N is arbitrary then n = n 1 + 1 = f(n 1), and n 1 Z. (b) g is injective: if f(n, k) = f(m, l) then 2 n 3 k = 2 m 3 l, so (n, k) = (m, l) by the fundamental theorem of arithmetic. g is not surjective: for example, 5 2 n 3 k for any n, k N, since that would imply 2 5. (c) h is injective: let A, B P(N) be arbitrary and suppose N \ A = N \ B. Then n A (n N \ A) (n N \ B) n B so A = B by double-containment. h is surjective: if A P(N) is arbitrary then and N \ A P(N). A = N \ (N \ A) = h(n \ A) (d) k is not injective: for example, k(1) = {1, 1, 1} = {1, 1} = { 1, 1, 1} = k( 1), since sets don t count duplicate elements. k is not surjective: for example, Z {n, 1, 1} for any n Z as Z is infinite but each {n, 1, 1} is finite. Now for the (pre)images: PreIm f (N) = {n Z : n + 1 N} = Z; in general, the preimage of the codomain of a function is the entire domain.

Im g (N {1}) = {x N : x = 2 n 3 1 for some n N} = {2 n 3 : n N PreIm h ( ) = {A N : N \ A } =, since contains no elements. PreIm h ({ }) = {A N : N \ A { }} = {A N : N \ A = } = {N}; note the difference between and { } in the previous part. Im k ({ 1, 0, 1}) = {{ 1, 1, 1}, {0, 1, 1}, {1, 1, 1}} = {{1, 1}, {0, 1, 1}}, again because sets don t count duplicate elements. 2 The following functions are bijective; find their inverses: (a) f : Z Z Z Z, where (x, y) Z Z. f(x, y) = (4x y, y 3x); (b) g : [8] Z 8, where n [8]. g(n) = 3n + 5 ; Solution: (a) For a function F : Z Z Z Z to be an inverse, it would need in particular to satisfy (x, y), (a, b) Z Z. f(x, y) = (a, b) (x, y) = F (a, b) so if it exists we can find what it does to an arbitrary pair (a, b) by solving the equation f(x, y) = (a, b) for (x, y). So let (a, b) Z Z be arbitrary and suppose { 4x y = a (1) (4x y, y 3x) = (a, b), i.e. 3x + y = b (2) Adding (2) to (1) gives x = a + b. Substituting this into (1) gives 4(a + b) y = a and hence y = 3a + 4b. Claim. The function F : Z Z Z Z defined by F (a, b) = (a + b, 3a + 4b) is an inverse for f. (Proof. Check both composites: tedious algebra.) (b) For a function G : Z 8 [8] to be an inverse, it would need in particular to satisfy n [8]. a Z 8. g(n) = a n = G( a ) so if it exists we can find out what it does to an arbitrary a Z 8 by solving the equation g(n) = a. So let a Z 8 be arbitrary and suppose 3n + 5 = a. Then 3n + 5 a mod 8 3n a 5 mod 8 n 3a 15 mod 8 n 3a + 1 mod 8 The second implication holds because 3 3 1 mod 8, and the third holds because 15 1 mod 8. But every congruence class n modulo 8 has a unique representative n [8], so we can define G( a ) to be the unique n [8] such that n 3a + 1 mod 8. Explicitly, G( 0 ) = 1, G( 1 ) = 4, G( 2 ) = 7, G( 3 ) = 2 G( 4 ) = 5, G( 5 ) = 8, G( 6 ) = 3, G( 7 ) = 6 Note that this is well-defined by Theorem 20 of your number theory notes. Claim. G = g 1. (Proof. Again, tedious algebra, just check the composites.)

3 Define a function f : Z Z such that, for each n Z, PreIm f ({n}) = 2. Does your function have an inverse? If so, find it; if not, explain why. Solution: The function defined by x Z. f(x) = x 2 works, since given y Z we have PreIm f (y) = {2y, 2y + 1}. No such function can have an inverse because it is cannot be injective. 4 Let g : A B be a function. Under what condition(s) on g are the following statements true? (a) b B. Im g (PreIm g ({b})) = {b}; (b) a A. PreIm g (Im g ({a})) = {a}; (c) b B. PreIm g ({b}) =. Solution: (a) True for all functions g : A B, since x PreIm g ({b}) if and only if g(x) = b. (b) True for injective functions g : A B, since Im g ({a}) = {g(a)} and so PreIm g (Im g ({a})) = {a A : g(a ) = g(a)} = {a}. (c) True for non-surjective functions g : A B, since the assertion PreIm({b}) = is precisely the assertion that a A. g(a) = b. 5 Prove that if f : [a] [b] is surjective then a b. Solution: By induction on a. If a = 0 then [a] =, so for f to be surjective we need [b] =, and hence b = 0. So a b. Suppose the assertion is true for a, and let f : [a + 1] [b] be surjective. Consider f : [a] [b] defined by f (x) = x for all x [a]. If f is surjective then a b by the induction hypothesis, so certainly a + 1 b. If f is not surjective then a + 1 must be the only element of [a+1] mapping to f(a+1), so the function f : [a] [b]\{f(a+1)} defined by f (x) = f(x) is well-defined. Moreover f is surjective, since if y [b] \ {f(a + 1)} then y = f(x) for some x [a + 1] \ {a + 1} = [a], so y = f (x). By induction hypothesis again we have a b 1, and hence a + 1 b. 6 Prove that f : A B is injective if and only if b B. PreIm f ({b}) 1. Solution: Suppose f : A B is injective, and let b B be arbitrary. If PreIm f ({b}) = then we re fine, so suppose PreIm f ({b}) varnothing and let a PreIm f ({b}). If a A with a PreIm f ({b}) then f(a ) = b = f(a), so by injectivity we have a = a. Hence PreIm f ({b}) = {a}. In any case, the cardinality of PreIm f ({b}) is 1. Conversely, suppose b B. PreIm f ({b}) 1. Let a, a A be arbitrary and suppose f(a) = f(a ). Then a, a PreIm f ({f(a)}), so a = a since this set has only one element.

7 Two sets A and B are defined by: A = {n Z : n 2 mod 3} and B = {n Z : n 0 mod 7} Find a bijection from A to B and give an expression for its inverse. Solution: Notice that A = {2 + 3k : k Z} and B = {7k : k Z}. (Implicitly what we ve just done is define bijections Z A and Z B.) The idea is: identify 2 + 3k with 7k. We can do this by expressing n = 2 + 3k in terms of k and subbing into 7k; and vice versa. So define f : A B by f(n) = 7 n 2 3, and define F : B A by F (m) = m 7 3 + 2. You need to check that these functions are well-defined and their composites are identities. 8 Find a subset A R for which the function f : A R given by f(x) = x 2 3x + 2 is injective. (Bonus points if A is maximal, i.e. if A B R then f : B R given by f(x) = x 2 3x + 2 is not injective.) Solution: We can write x 2 3x+2 = (x 3 2 )2 +k for some constant k (whose value doesn t matter [why?]). Let A = {x R : x 3 2 }. Then f : A R given by f(x) = x 2 3x + 2 is injective, since x 3 2 if and only if x 3 2 0, and every real number has a unique nonnegative square root. And A is maximal: if B A then there is some b B with b < 3 2, and then f(b) = f(3 b). (You can check this.) Solutions to advanced questions For these problems I ve left a few more gaps than usual are left for you to fill in. A1 A function g : A B is inflationary if g(x) > x for all x A (where A, B R). Prove that there exists an inflationary bijection g : Z Z, but that there does not exist an inflationary bijection N N. Does there exist an inflationary bijection Z N? Solution: The function g : Z Z defined by g(n) = n + 1 for all n Z is inflationary, since n + 1 > n for all n. No inflationary bijection f : N N can exist since if n N then f(n) > n 1, so 1 Im f (N) and f fails surjectivity. There does exist an inflationary bijection h : Z N: for example, define h(n) = 2n if n N, and h(n) = 1 2n if n Z \ N. (The positive integers get mapped to even naturals (and certainly 2n > n if n > 0), and the negative integers get placed in the odd positions.) A2 A function h : Z Z is periodic if there exists m N such that x Z. h(x + m) = h(x). Prove that the set of periodic functions Z Z is countable. Solution: Let P m denote the set of all m-periodic functions Z Z, i.e. those for which h(x + m) = h(x) for all x Z. Any function h P is determined uniquely by the values of

h(1),, h(m 1), h(m). Indeed, if t Z then there is a unique k [m] with t k mod m, and it is easy to prove by induction that if t k mod m then h(t) = h(k). So there is a bijection F : P m Z m given by F (h) = (h(1), h(2),, h(m)). (You can check the details.) But Z m is a finite product of countable sets, so is countable; and hence the set of all periodic functions, which is equal to m N P m, is a countable union of countable sets, so is countable. A3 Let Σ be a countably infinite set. Let Σ be the set of finite strings whose symbols come from Σ, and Σ be the set of infinite strings whose symbols come from Σ. Prove that Σ is countable but Σ is uncountable. Solution: There is a bijection Σ n N {0} Σn, since Σ n is just the set of strings of length n (which is finite) and every w Σ has some finite length. But each Σ n is a finite product of countable sets, so is countable, and so Σ is a countable union of countable sets, so is countable. However Σ is uncountable: indeed, if σ, τ Σ are two distinct elements, then there is a bijection {σ, τ} N {0, 1} N given by replacing σ by 0 and τ by 1 in the string, and we know the latter set is uncountable, hence so is {σ, τ} N ; but {σ, τ} N Σ, so Σ is also uncountable. A4 A real number x is algebraic if x is a root of a polynomial with integer coefficients, i.e. if there exists k N and integers a 0, a 1,, a k such that a 0 + a 1 x + a 2 x 2 + + a k x k = 0 Prove that the set of algebraic real numbers is countably infinite. Solution: Every polynomial with integer coefficients can be written uniquely as a 0 + a 1 x + a 2 x 2 + + a k x k = a k (x α 1 )(x α 2 ) (x α k ) where α 1,, α k R are the roots of the polynomial and α 1 α 2 α k. Let A k be the set of roots of polynomials of degree k. given by f k (i, a 0, a 1,, a k ) = α i, where f k : [k] Z k+1 A k a 0 + a 1 x + a 2 x 2 + + a k x k = a k (x α 1 )(x α 2 ) (x α k ) (That is, f k (i, a 0, a 1,, a k ) is the ith largest root of the polynomial whose coefficients are a 0, a 1,, a k.) But [k] Z k+1 is a finite product of (finite or) countable sets, so is countable, and hence A k is countable; and the set of all algebraic real numbers is k N A k, which is a countable union of countable sets, so is countable.

A5 Let X be a set such that, for all f : X X, the following holds: x X. n N. f n (x) = x n N. x X. f n (x) = x where f n = f f f. Prove that X is finite. }{{} n times Solution: Intuitively, this is saying that if for every element there is some finite iteration of f that gets us back to where we started, then there is some particular number such that iterating that many times works for all x. (And sure, in the finite case, just take the lcm of all the lengths of iterations.) We prove the contrapositive. That is, if X is infinite then there is a function f : X X such that x X. n N. f n (x) = x holds but n N. x X. f n (x) = x fails. If X is infinite then it contains a countably infinite subset X 0 = {x n : n N} say. We ll construct a function f that induces loops of arbitrarily large finite size in X 0. To this end, define f : X X so that: f(x) = x for all x X X 0 ; On X 0 : send x 1 x 1, x 2 x 3 x 2, x 4 x 5 x 6 x 7 x 4, and more generally More precisely, x 2 k x 2 k +1 x 2 k +(2 k 2) x 2 k +(2 k 1) x 2 k f(x n ) = { x n+1 if 2 k n < 2 k+1 1 x 2 k if n = 2 k+1 1 By construction, for any element x there is some finite iteration f n of f such that f n (x) = x. But no n works for all x: indeed, given n, take k such that 2 k > n, then f n (x 2 k) = x 2 k +n x. A6 Let S be a collection of pairwise disjoint intervals of R of positive length. That is, S = {(a i, b i ) R : i I} with a i < b i for all i, and if i j then (a i, b i ) (a j, b j ) =. Prove that S is countable. (For clarity, (a, b) = {x R : a < x < b}, not the ordered pair.) Solution: There is an injection f : S Q by defining f(a i, b i ) = q for some arbitrarily (but fixed) chosen q Q with a i < q < b i. But Q is countable, hence so is S. A7 The successor of a set x is the set x + = x {x}. Define n for n N {0} as follows: 0 = and n + 1 = n + for all n N {0} For example, 1 = { } = { } and 2 = 1 { 1} = {, { }}. Prove that n = n for all n N {0}.

Solution: By induction on n. By definition 0 =, so 0 = = 0. Suppose n = n. Now n + 1 = n { n}. Since n n, we have n { n} =, and hence n + 1 = n { n} = n + { n} = n + 1 where the second = sign follows from the fact that A B = A + B if A, B are disjoint finite sets, and the third = sign follows from the induction hypothesis. A8 Does there exist a set S such that N < S < P(N)? (Don t spend too much time on this.) Solution: This was a trick question since it s impossible (from our foundational viewpoint) to answer this question. That is, in the standard set of axioms of set theory, this is (provably) unprovable. There is a set called ω 1 such that N < ω 1 and no S satisfies N < S < ω 1 ; so the question becomes: is P(N) = ω 1? An answer of yes is called the continuum hypothesis. The continuum hypothesis is independent, that is, it is known that neither answer ( yes or no ) leads to a contradiction. One consequence of this independence is that, even if we assume the continuum hypothesis is false, it would be impossible to explicitly define a function f : ω 1 P(N) which is injective but not surjective. If this piques your interest and/or blows your mind in a good way, consider studying set theory in the future (21-329, 21-602, 21-702).