Assignment 3 with Solutions
|
|
- Bennett Hart
- 5 years ago
- Views:
Transcription
1 Discrete Mathematics (Math 27), Spring 2004 Assignment 3 with Solutions. Recall the definition of functions, one-to-one functions, and onto functions. (a) Consider the function f : R R with f(x) x x. i. Is f one-to-one? ii. Is f onto? Explain your answers. Recall that for all x R we have x < x x (). i. Claim: f is not one-to-one. Proof. For any x R we have x x (x + m) x + m (this follows from the identity x + m x + m, which is proved analogous to 3.(a).) For instance, and ( + ) ( ) Therefore, f is not one-to-one. ii. Claim: f is not onto. Proof. For any x R we have 0 x x < by (). Therefore, f is not onto. (b) Let A and B be non-empty finite sets with A B (e.g. A B {, 2, 3, 4}). Prove or disprove: For any function f : A B, f is one-to-one if and only if f is onto. Claim: Let A, B, and f be as above. Then f is one-to-one if and only if f is onto. Proof. This follows from the pigeon-hole principle: Let f be one-to-one, then for all a, a 2 A we have f(a ) f(a 2 ) a a 2, so each b B that has a preimage a A has exactly one unique such preimage. Since A and B are finite sets with A B and since f is a function, it follows that each b B must have a preimage a A under f. So f is onto. Conversely, let f be onto. So every b B has a preimage a A. Again, since A and B are finite sets with A B and since f is a function, it follows that each a A must have exactly one unique image b B under f. So f in one-to-one. Since f is onto if f is one-to-one and vice versa, this proves the claim. (c) Let A and B be infinite sets with A B (e.g. A B Z). Prove or disprove: For any function f : A B, f is one-to-one if and only if f is onto. Claim: Let A, B, and f be as above. Then there exist functions f such that f is one-to-one but not onto, and there exist functions f such that f is not one-to-one but onto. Proof. Let A B R. The function f(x) 2 x is one-to-one but not onto (2 x > 0 for all x R), and the function f(x) tan(x) is not one-to-one (tan is a periodic function, i.e. tan(x) tan(x + kπ) for any k Z) but onto. (d) Recall how to prove that two functions are identical. For any real number x let f(x) x x 2, x 2 and g(x) x, x. State the ranges of f and g, state (f g)(x), and prove or disprove: f is the inverse of g. Let y x/(x 2), then yx 2y x and 2y/(y ) x. Since x is not defined for y but for any other y R, it follows that im f R {}. Likewise, let y /(x ), then yx y and y/(y 2) x. Since x is not defined for y but for any other y R, it follows that im f R {2}.
2 Discrete Mathematics (Math 27), Spring For (f g) we have f g)(x) f(g(x)) x x x. f is indeed the inverse of g as f (x) g(x) and dom f im f dom g. (e) State the range of the following functions on R and state the inverse or explain, why an inverse doesn t exist: i. f(x) x 2 + ii. f(x) x 5 + iii. f(x) 3 x iv. f(x) 3 x 2 v. f(x) x vi. f(x) x x vii. f(x) e x viii. f(x) e x i. f(x) x 2 + : im f {y R : x }. Since f(x) f( x) for all real x, f is not one-to-one and thus has no inverse function. ii. F(x) x 5 + : im f R. f is one-to-one as x 5 + x5 2 + is equivalent to x5 x5 2, i.e. x x x x x x 2 x 2 x 2 x 2 x 2 or x x x ( x ) ( x ) x 2 x 2 x 2 ( x 2 ) ( x 2 ) or x ( x ) ( x ) ( x ) ( x ) x 2 ( x 2 ) ( x 2 ) ( x 2 ) ( x 2 ); all of these cases imply x x 2 (x x 2 and x x 2 is only satisfied for x x 2 0). The inverse of f is f (x) 5 x. iii. f(x) 3 x : im f R. f(x) is one-to-one as 3 x 3 x 2 is equivalent to x x 2 and thus x x 2. The inverse of f(x) is f (x) x 3 +. iv. f(x) 3 x 2 : im f {y R : x }. Since f(x) f( x) for all x R, f is not one-to-one and thus has no inverse function. v. f(x) x : im f {y R : x 0}. Since f(x) f( x) for all x R, f is not one-to-one and thus has no inverse function. vi. f(x) x x : im f R. f is one-to-one as f(x) x 2 for x 0 and f(x) x 2 for x < 0, and x 2 ( x) 2, but f(x) f( x) for all x R. The inverse of f is f (x) x if x 0 and f (x) x for x < 0. vii. f(x) e x : im f {y R : y > 0}. f is one-to-one since f is strictly monotonic, i.e. for all x, x 2 R we have x < x 2 f(x ) < f(x 2 ); this can be seen as follows: for any real t > 0 we have x + t > x and e t >, thus e x+t e x e t > e x. The inverse of f is f (x) ln x. viii. f(x) e x : im f {y R : y < }. f is one-to-one since f is strictly monotonic, i.e. for all x, x 2 R we have x < x 2 f(x ) < f(x 2 ); this can be seen as follows: for any real t > 0 we have x + t > x and e t /e t <, thus e (x+t) e x e t < e x, and therefore e (x+t) > e x. The inverse of f is f (x) ln( x). (f) Recall the pigeon-hole principle. A bitstring of length l is technically a list of length l with entries from {0, }, e.g. the bitstring 00 corresponds to the list (, 0, 0,, ). If l is fixed, then bitstrings shorter than l are padded with leading zeros, so for l 5 we write 0 as 000. (The length of 000 is still 3, not 5.) A compression algorithm is supposed to map bitstrings of a certain length to shorter bitstrings. The compression is loss-free if and only if the map is bijective (i.e. one-to-one
3 Discrete Mathematics (Math 27), Spring and onto). Fix l, and let f l : {0, } l {0, } l, and for any bitstring x let length(x) denote the length of x without leading zeros. Prove or disprove: There exists a loss-free compression map f l such that x {0, } l : length ( f l (x) ) < length(x). That says (make sure you understand this): There is a loss-free compression map such that every bitstring of length l can be bijectively mapped (i.e. compressed) to a shorter bitstring. Claim: There exists no such loss-free compression map f l with the asserted property. Proof. We use a simple counting argument and exploit the pigeon-hole principle. Consider bitstrings of length l. There are 2 l bitstrings of length l with leading (the leftmost bit is fixed to, all other bits can be chosen freely and independently, so the multiplication principle can be invoked). Likewise for any other length k < l there are 2 k bitstrings of length k with leading. So there are l k 2k bitstrings strictly shorter than l with a leading. As seen in the lecture l k 2k l k0 2k 2 l. So the set of bitstrings of exactly length l is larger than the set of bitstrings strictly shorter than l. By the pigeon-hole principle there cannot exist a bijective map between (finite) sets of different cardinality. Therefore, at least one bitstring cannot be compressed. This says that no matter what compression algorithm you use (zip, gzip, etc.), it will not work on every input (e.g. note that compressed files in general cannot be further compressed). 2. Prove the following statements by mathematical induction or the well ordering principle. Recall how to write a clean proof. The proofs for the statements below can be written in a quite short way, so try to avoid needless clutter. And remember: Don t use the statement that what you want to prove in the proof. (a) Let A(n) : n k0 a k an+ a Prove A(n) for all natural numbers n 0. for any real a. Proof. Base case: For n 0 we have a 0 and a, so A(n) is true for n 0. a I.H.: Let A(m) be true for some m 0. We derive A(m + ) from A(m). We have [ m+ m ] a k a k + a m+ k0 k0 [ a m+ ] + a m+ by I.H. a am+ + (a )a m+ a am+ + a m+2 a m+ a am+2 a Thus, m+ k0 ak a(m+)+ a, which is A(m + ). Since A(0) is true and A(m) A(m + ), A(n) is true for all n 0..
4 Discrete Mathematics (Math 27), Spring (b) Let B(n) : n k0 ( 2k + Prove B(n) for all natural numbers n 0. ) 2k + 2 Proof. Base case: For n 0 we have a 0 and (2n + 2)! , so B(n) is true for n 0. ( )! I.H.: Let B(m) be true for some m 0. We derive B(m + ) from B(m). We have m+ k0 ( 2k + ) 2k + 2 [ m k0 ( 2k + ) ] 2k + 2 [ ] (2m + 2)! 2m + 3 (2m + 4)! (2(m + ) + 2)! 2(m + ) + 2m (m + ) + 2 by I.H. Thus, m+ ( k0 2k+ ) 2k+2 (2(m+)+2)!, which is B(m + ). Since B(0) is true and B(m) B(m + ), B(n) is true for all n 0. (c) Let n+ C(n) : k 2 k n 2 n k Prove C(n) for all natural numbers n. Proof. Base case: For n we have 2 k k 2k and , so C(n) is true for n. I.H.: Let C(m) be true for some m. We derive C(m + ) from C(m). We have m+2 k k 2 k [ m+ k k 2 k ] [ ] m 2 m (m + 2) 2 m+2 + (m + 2) 2 m+2 by I.H. (2m + 2) 2 m (m + ) 2 m (m + ) 2 m Thus, m+2 k k 2k (m + ) 2 (m+)+2, which is C(m + ). Since C() is true and C(m) C(m + ), C(n) is true for all n. (d) Let D(n) : + nx ( + x) n for any real number x >. Prove D(n) for all natural numbers n 2. Proof. Base case: For n 2 we have x 2 ( + x) 2 since x 2 0, so D(n) is true for n 2. I.H.: Let D(m) be true for some m 2. We derive D(m + ) from D(m). First note the following: If x 0, then +x and thus (+x) m ; and if < x < 0, then 0 < + x < and thus 0 < ( + x) m <. In both cases we have x x( + x) m ().
5 Discrete Mathematics (Math 27), Spring We have ( ) [ ] + (m + )x ( + mx) + x [( + x) m ] + x by I.H. ( + x) m + x( + x) m by () ( + x) m ( + x) ( + x) m+. Thus, ( + (m + )x) ( + x) m+, which is D(m + ). Since D() is true and D(m) D(m + ), D(n) is true for all n 2. (e) Let E(n) : 7 2 3n. Prove E(n) for all natural numbers n. This is a bit different from the previous problems: Proof. Base case: For n we have , so E(n) is true for n. I.H.: Let E(m) be true for some m. In particular, since 7 2 3m, there exists an integer s such that 2 3m 7s. We derive E(m + ) from E(m). We have 2 3(m+) m m + 2 3m 2 3m [ ] m 2 3m + 2 3m (2 3 ) 2 3m + [ 7s ] by I.H m + 7s 7(2 3m + s). Thus, 7 2 3(m+), which is E(m + ). Since E() is true and E(m) E(m + ), E(n) is true for all n. (f) Let the sequence g 0, g, g 2,... be defined by g 0 2, g 29, and g k 5g k 6g k 2 for all natural number k 2, and let F(n) : g n 5 3 n n. Prove F(n) for all natural numbers n 0. This is a bit different from the previous problems: Proof. Base case: For n 0 we have g 0, and for n we have g, so F(n) is true for n 0 and n. Note: It is important to check for F(0) and F(), just F(0) or F() is not sufficient. I.H.: Let F(m) and F(m + ) be true for some m 0. We derive F(m + 2) from F(m) and F(m + ). We have g m+2 5 [g ] [ ] m+ 6 gm [ m m+] [ m m] by I.H. ( ) 3 m + ( ) 2 m 45 3 m m ( 5 3 2) 3 m + ( 7 2 2) 2 m 5 3 m m+2. Thus, g m m m+2, which is F(m + 2). Since F(0) and F() are true and F(m) F(m + ) F(m + 2), F(n) is true for all n 0.
6 Discrete Mathematics (Math 27), Spring Recall the definition of and and the fundamental inequalities involved. Also recall how to compute the gcd of two integers. (a) Prove that for any real x and any integer m we have x + m x + m. Proof. Recall that for all x R, we have x x < x +, () where x x if and only if x Z. Also observe the following simple fact: n, m Z : n < m n m n + m, (2) which follows from the basic properties of the integers and the relations < and. Finally, we make the following claim: x R : s, t Z : x s < x + x t < x + s t. (3) This says that there is exactly one integer in the set {y R : x y < x + }. This can be proved in two (albeit similar) ways: Observe that x s < x + (4) and x t < x + (5) imply two things: First, x s < x + t +, which implies x s t by (2), and second, x t < x + s +, which implies x t s by (2). This finally implies s t. Alternative proof: Observe that (5) is equivalent to x < t x (6). If we add (4) and (6), then we arrive at < s t <. Invoking (2) again implies that 0 s t 0, i.e. s t. Now back to the initial question. Since () implies x + m x + m < x + m + as well as x + m x + m < x + m +, the claim with s x + m and t x + m implies x + m x + m. (b) Prove that if x R Z, then x x. Proof. Since x is not an integer, we have x < x < x + () and x < x < x (2). Note that (2) is equivalent to x < x < x (3). We add () and (3) to obtain 0 < x x < 2. Invoking (2) of 3.(a) yields x x, which implies x x. Note: Since x / Z, we have x < x < x and x < x < x +, it might be tempting to invoke (2) of 3.(a) on x < x < x < x +, which looks contradictory. However, (2) of 3.(a) is only valid for integers. (c) Prove for all a, b Z with a, b > 0 that a b a b +. Proof. First observe that (a )/b < (a )/b + (a )/b + is equivalent to a < b (a )/b + b a + b (), because b >. Using (2) of 3.(a) on both inequalities of () yields a b (a )/b + b < a + b, which is equivalent to a/b (a )/b + < a/b +. Since we also have a/b a/b < a/b +, it follows from (3) of 3.(a) that a/b (a )/b +. Note that showing a/b (a )/b + is equivalent to showing that a/b (a )/b + 0; subtracting the according systems of inequalities yields that 0 a/b (a )/b + 0. (However, it is crucial to transform the inequalities for (a )/b such that a is replaced by a, otherwise this does not work.)
7 Discrete Mathematics (Math 27), Spring (d) Compute d gcd(7369, 5472) and compute the integers x and y such that 7369x y d. We use the scheme presented in the lecture to compute gcd(7369, 5472) and the representation thereof: k a k q k x k y k So we have gcd(7369, 5472), where x 2647 and 8402, and it is easy to check that indeed 7369 ( 2647) (e) Prove that no pair of integers x, y satisfy 54x + 260y 3. Proof. It can easily be checked that gcd(54, 260) 2. Clearly, if d a and d b then d ax + by for any integers x and y. However, 2 3, so x and y can t be integers. (f) Prove that for every even integer n we have gcd(n, n + 2) 2 and find integers x and y such that nx + (n + 2)y 2. Proof. We use again the standard scheme to compute a gcd with representation. Since n is even, let n 2m. k a k q k x k y k 0 2m m m 3 0 So we have gcd(n+2, n) 2, where x and y, and clearly 2 (n+2)+( ) n. (g) Prove that for every integer n we have gcd(0n + 7, 7n + 5) and find integers x and y such that (0n + 7)x + (7n + 5)y. Proof. We resort again to the scheme for gcd computation with representation: k a k q k x k y k 0 0n n n n n n 7 0 So we have gcd(0n + 7, 7n + 5), where x 7 and y 0, and it is easy to check that indeed 7 (0n + 7) + 0(7n + 5).
MATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationDepartment of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Problem 1: Suppose A, B, C and D are arbitrary sets.
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationFunctions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014
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
More informationName (please print) Mathematics Final Examination December 14, 2005 I. (4)
Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,
More informationCHAPTER 3 REVIEW QUESTIONS MATH 3034 Spring a 1 b 1
. Let U = { A M (R) A = and b 6 }. CHAPTER 3 REVIEW QUESTIONS MATH 334 Spring 7 a b a and b are integers and a 6 (a) Let S = { A U det A = }. List the elements of S; that is S = {... }. (b) Let T = { A
More informationA n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1
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
More informationTry the assignment f(1) = 2; f(2) = 1; f(3) = 4; f(4) = 3;.
I. Precisely complete the following definitions: 1. A natural number n is composite whenever... See class notes for the precise definitions 2. Fix n in N. The number s(n) represents... 3. For A and B sets,
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationA Short Review of Cardinality
Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the
More informationReview Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which
Review Problems for Midterm Exam II MTH 99 Spring 014 1. Use induction to prove that for all n N. 1 + 3 + + + n(n + 1) = n(n + 1)(n + ) Solution: This statement is obviously true for n = 1 since 1()(3)
More informationMath 127 Homework. Mary Radcliffe. Due 29 March Complete the following problems. Fully justify each response.
Math 17 Homework Mary Radcliffe Due 9 March 018 Complete the following problems Fully justify each response NOTE: due to the Spring Break, this homework set is a bit longer than is typical You only need
More informationChapter Five Notes N P U2C5
Chapter Five Notes N P UC5 Name Period Section 5.: Linear and Quadratic Functions with Modeling In every math class you have had since algebra you have worked with equations. Most of those equations have
More informationREVIEW FOR THIRD 3200 MIDTERM
REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationDifferentiation. Table of contents Definition Arithmetics Composite and inverse functions... 5
Differentiation Table of contents. Derivatives................................................. 2.. Definition................................................ 2.2. Arithmetics...............................................
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationThe integers. Chapter 3
Chapter 3 The integers Recall that an abelian group is a set A with a special element 0, and operation + such that x +0=x x + y = y + x x +y + z) =x + y)+z every element x has an inverse x + y =0 We also
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationSETS AND FUNCTIONS JOSHUA BALLEW
SETS AND FUNCTIONS JOSHUA BALLEW 1. Sets As a review, we begin by considering a naive look at set theory. For our purposes, we define a set as a collection of objects. Except for certain sets like N, Z,
More informationCH 61 USING THE GCF IN EQUATIONS AND FORMULAS
CH 61 USING THE GCF IN EQUATIONS AND FORMULAS Introduction A while back we studied the Quadratic Formula and used it to solve quadratic equations such as x 5x + 6 = 0; we were also able to solve rectangle
More informationLIMITS AND DERIVATIVES
2 LIMITS AND DERIVATIVES LIMITS AND DERIVATIVES 2.2 The Limit of a Function In this section, we will learn: About limits in general and about numerical and graphical methods for computing them. THE LIMIT
More informationMath 231E, Lecture 25. Integral Test and Estimating Sums
Math 23E, Lecture 25. Integral Test and Estimating Sums Integral Test The definition of determining whether the sum n= a n converges is:. Compute the partial sums s n = a k, k= 2. Check that s n is a convergent
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +
More informationProblem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets
More informationInteger-Valued Polynomials
Integer-Valued Polynomials LA Math Circle High School II Dillon Zhi October 11, 2015 1 Introduction Some polynomials take integer values p(x) for all integers x. The obvious examples are the ones where
More informationS15 MA 274: Exam 3 Study Questions
S15 MA 274: Exam 3 Study Questions You can find solutions to some of these problems on the next page. These questions only pertain to material covered since Exam 2. The final exam is cumulative, so you
More informationHomework for MATH 4603 (Advanced Calculus I) Fall Homework 13: Due on Tuesday 15 December. Homework 12: Due on Tuesday 8 December
Homework for MATH 4603 (Advanced Calculus I) Fall 2015 Homework 13: Due on Tuesday 15 December 49. Let D R, f : D R and S D. Let a S (acc S). Assume that f is differentiable at a. Let g := f S. Show that
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationMath 0230 Calculus 2 Lectures
Math 00 Calculus Lectures Chapter 8 Series Numeration of sections corresponds to the text James Stewart, Essential Calculus, Early Transcendentals, Second edition. Section 8. Sequences A sequence is a
More informationDiscussion Summary 10/16/2018
Discussion Summary 10/16/018 1 Quiz 4 1.1 Q1 Let r R and r > 1. Prove the following by induction for every n N, assuming that 0 N as in the book. r 1 + r + r 3 + + r n = rn+1 r r 1 Proof. Let S n = Σ n
More information(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.
Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationDIRECTED STUDIES IN MATHEMATICS - FINAL REPORT. 1. Introduction
DIRECTED STUDIES IN MATHEMATICS - FINAL REPORT ZHANG YONGQUAN 1. Introduction The factorial function n!, usually defined as the number of permutations of n distinct objects (or equivalently the product
More informationDiscrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27
CS 70 Discrete Mathematics for CS Spring 007 Luca Trevisan Lecture 7 Infinity and Countability Consider a function f that maps elements of a set A (called the domain of f ) to elements of set B (called
More information1 Overview and revision
MTH6128 Number Theory Notes 1 Spring 2018 1 Overview and revision In this section we will meet some of the concerns of Number Theory, and have a brief revision of some of the relevant material from Introduction
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) : (a A) and (b B)}. The following points are worth special
More informationPostulate 2 [Order Axioms] in WRW the usual rules for inequalities
Number Systems N 1,2,3,... the positive integers Z 3, 2, 1,0,1,2,3,... the integers Q p q : p,q Z with q 0 the rational numbers R {numbers expressible by finite or unending decimal expansions} makes sense
More informationCDM Combinatorial Principles
CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES Infinite sequences and series were introduced briefly in A Preview of Calculus in connection with Zeno s paradoxes and the decimal representation
More informationSolutions to Tutorial for Week 4
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial for Week 4 MATH191/1931: Calculus of One Variable (Advanced) Semester 1, 018 Web Page: sydneyeduau/science/maths/u/ug/jm/math191/
More informationSection 20: Arrow Diagrams on the Integers
Section 0: Arrow Diagrams on the Integers Most of the material we have discussed so far concerns the idea and representations of functions. A function is a relationship between a set of inputs (the leave
More information8.7 Taylor s Inequality Math 2300 Section 005 Calculus II. f(x) = ln(1 + x) f(0) = 0
8.7 Taylor s Inequality Math 00 Section 005 Calculus II Name: ANSWER KEY Taylor s Inequality: If f (n+) is continuous and f (n+) < M between the center a and some point x, then f(x) T n (x) M x a n+ (n
More informationSTEP Support Programme. Pure STEP 1 Questions
STEP Support Programme Pure STEP 1 Questions 2012 S1 Q4 1 Preparation Find the equation of the tangent to the curve y = x at the point where x = 4. Recall that x means the positive square root. Solve the
More informationMathematics 220 Workshop Cardinality. Some harder problems on cardinality.
Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second
More informationChapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.
Chapter 2 Chapter Summary Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.6) Section 2.1 Section Summary Definition of sets Describing
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More informationSupremum and Infimum
Supremum and Infimum UBC M0 Lecture Notes by Philip D. Loewen The Real Number System. Work hard to construct from the axioms a set R with special elements O and I, and a subset P R, and mappings A: R R
More informationMATH 403 MIDTERM ANSWERS WINTER 2007
MAH 403 MIDERM ANSWERS WINER 2007 COMMON ERRORS (1) A subset S of a ring R is a subring provided that x±y and xy belong to S whenever x and y do. A lot of people only said that x + y and xy must belong
More informationAMB111F Notes 1: Sets and Real Numbers
AMB111F Notes 1: Sets and Real Numbers A set is a collection of clearly defined objects called elements (members) of the set. Traditionally we use upper case letters to denote sets. For example the set
More informationFall 2015 Lecture 14: Modular congruences. cse 311: foundations of computing
Fall 2015 Lecture 14: Modular congruences cse 311: foundations of computing If a and b are positive integers, then gcd a, b = gcd (b, a mod b) Useful GCD Fact Proof: By definition a = a div b b + (a mod
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationLet us first solve the midterm problem 4 before we bring up the related issues.
Math 310 Class Notes 6: Countability Let us first solve the midterm problem 4 before we bring up the related issues. Theorem 1. Let I n := {k N : k n}. Let f : I n N be a one-toone function and let Im(f)
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationWe 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
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationMath 110 Test # 1. The set of real numbers in both of the intervals [0, 2) and ( 1, 0] is equal to. Question 1. (F) [ 1, 2) (G) (2, ) (H) [ 1, 2]
Friday July 8, 00 Jacek Szmigielski Math 0 Test # Fill in the bubbles that correspond to the correct answers. No aids: no calculators, closed book. You are not permitted to consult with your fellow students
More informationCHAPTER 1. Review of Algebra
CHAPTER 1 Review of Algebra Much of the material in this chapter is revision from GCSE maths (although some of the exercises are harder). Some of it particularly the work on logarithms may be new if you
More informatione x = 1 + x + x2 2! + x3 If the function f(x) can be written as a power series on an interval I, then the power series is of the form
Taylor Series Given a function f(x), we would like to be able to find a power series that represents the function. For example, in the last section we noted that we can represent e x by the power series
More informationMATH 22 FUNCTIONS: COMPOSITION & INVERSES. Lecture N: 10/16/2003. Mad world! mad kings! mad composition! Shakespeare, King John, II:1
MATH 22 Lecture N: 10/16/2003 FUNCTIONS: COMPOSITION & INVERSES Mad world! mad kings! mad composition! Shakespeare, King John, II:1 Copyright 2003 Larry Denenberg Administrivia http://denenberg.com/lecturen.pdf
More informationMetric 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)
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) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.
More informationMeta-logic derivation rules
Meta-logic derivation rules Hans Halvorson February 19, 2013 Recall that the goal of this course is to learn how to prove things about (as opposed to by means of ) classical first-order logic. So, we will
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More informationNOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.
EXAM 2 solutions (COT3100, Sitharam, Spring 2017) NAME:last first: UF-ID Section NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty. (1) Are the following functions one-to-one
More informationMath 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets
Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Introduction In this short article, we will describe some basic notions on cardinality of sets. Given two
More informationSOLUTIONS FOR PROBLEMS 1-30
. Answer: 5 Evaluate x x + 9 for x SOLUTIONS FOR PROBLEMS - 0 When substituting x in x be sure to do the exponent before the multiplication by to get (). + 9 5 + When multiplying ( ) so that ( 7) ( ).
More informationThe fundamental theorem of linear programming
The fundamental theorem of linear programming Michael Tehranchi June 8, 2017 This note supplements the lecture notes of Optimisation The statement of the fundamental theorem of linear programming and the
More informationQuestionnaire for CSET Mathematics subset 1
Questionnaire for CSET Mathematics subset 1 Below is a preliminary questionnaire aimed at finding out your current readiness for the CSET Math subset 1 exam. This will serve as a baseline indicator for
More informationFunctions as Relations
Functions as Relations Definition Recall that if A and B are sets, then a relation from A to B is a subset of A B. A function from A to B is a relation f from A to B with the following properties (i) The
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More information1 The distributive law
THINGS TO KNOW BEFORE GOING INTO DISCRETE MATHEMATICS The distributive law The distributive law is this: a(b + c) = ab + bc This can be generalized to any number of terms between parenthesis; for instance:
More informationChapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability
Chapter 2 1 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Sequences and Summations Types of Sequences Summation
More informationA function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that. f (x) = y
Functions A function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that for all x A, there is exactly one y B s.t. (x, y) f. The set A is called the
More informationMath 1b Sequences and series summary
Math b Sequences and series summary December 22, 2005 Sequences (Stewart p. 557) Notations for a sequence: or a, a 2, a 3,..., a n,... {a n }. The numbers a n are called the terms of the sequence.. Limit
More informationIntegration of Rational Functions by Partial Fractions
Title Integration of Rational Functions by MATH 1700 MATH 1700 1 / 11 Readings Readings Readings: Section 7.4 MATH 1700 2 / 11 Rational functions A rational function is one of the form where P and Q are
More information1.5 Inverse Trigonometric Functions
1.5 Inverse Trigonometric Functions Remember that only one-to-one functions have inverses. So, in order to find the inverse functions for sine, cosine, and tangent, we must restrict their domains to intervals
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
More informationDivisibility. Chapter Divisors and Residues
Chapter 1 Divisibility Number theory is concerned with the properties of the integers. By the word integers we mean the counting numbers 1, 2, 3,..., together with their negatives and zero. Accordingly
More informationTAYLOR AND MACLAURIN SERIES
TAYLOR AND MACLAURIN SERIES. Introduction Last time, we were able to represent a certain restricted class of functions as power series. This leads us to the question: can we represent more general functions
More informationSection 7.2: One-to-One, Onto and Inverse Functions
Section 7.2: One-to-One, Onto and Inverse Functions In this section we shall developed the elementary notions of one-to-one, onto and inverse functions, similar to that developed in a basic algebra course.
More informationChapter-2 Relations and Functions. Miscellaneous
1 Chapter-2 Relations and Functions Miscellaneous Question 1: The relation f is defined by The relation g is defined by Show that f is a function and g is not a function. The relation f is defined as It
More informationThe 70th William Lowell Putnam Mathematical Competition Saturday, December 5, 2009
The 7th William Lowell Putnam Mathematical Competition Saturday, December 5, 9 A1 Let f be a real-valued function on the plane such that for every square ABCD in the plane, f(a) + f(b) + f(c) + f(d) =.
More informationMath 2534 Solution to Test 3A Spring 2010
Math 2534 Solution to Test 3A Spring 2010 Problem 1: (10pts) Prove that R is a transitive relation on Z when given that mrpiff m pmod d (ie. d ( m p) ) Solution: The relation R is transitive, if arb and
More informationMath /Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined
Math 400-001/Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined using limits. As a particular case, the derivative of f(x)
More information4.1 Real-valued functions of a real variable
Chapter 4 Functions When introducing relations from a set A to a set B we drew an analogy with co-ordinates in the x-y plane. Instead of coming from R, the first component of an ordered pair comes from
More informationIntroductory Analysis 2 Spring 2010 Exam 1 February 11, 2015
Introductory Analysis 2 Spring 21 Exam 1 February 11, 215 Instructions: You may use any result from Chapter 2 of Royden s textbook, or from the first four chapters of Pugh s textbook, or anything seen
More informationAssignment #2 COMP 3200 Spring 2012 Prof. Stucki
Assignment #2 COMP 3200 Spring 2012 Prof. Stucki 1) Construct deterministic finite automata accepting each of the following languages. In (a)-(c) the alphabet is = {0,1}. In (d)-(e) the alphabet is ASCII
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More informationNotes on ordinals and cardinals
Notes on ordinals and cardinals Reed Solomon 1 Background Terminology We will use the following notation for the common number systems: N = {0, 1, 2,...} = the natural numbers Z = {..., 2, 1, 0, 1, 2,...}
More informationMathematics for Graphics and Vision
Mathematics for Graphics and Vision Steven Mills March 3, 06 Contents Introduction 5 Scalars 6. Visualising Scalars........................ 6. Operations on Scalars...................... 6.3 A Note on
More informationDefinition: 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.
4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be
More informationTheorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)
Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 20. To Infinity And Beyond: Countability and Computability
EECS 70 Discrete Mathematics and Probability Theory Spring 014 Anant Sahai Note 0 To Infinity And Beyond: Countability and Computability This note ties together two topics that might seem like they have
More informationMidterm Review Math 311, Spring 2016
Midterm Review Math 3, Spring 206 Material Review Preliminaries and Chapter Chapter 2. Set theory (DeMorgan s laws, infinite collections of sets, nested sets, cardinality) 2. Functions (image, preimage,
More information