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.

Size: px
Start display at page:

Download "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."

Transcription

1 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 sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS. Note: Often the word binary is omitted and we simply use the term relation. Definition: An n-ary relation is a subset of A 1 xa 2 x... A n. Note: These are used in relational databases. Representations of Relations Example: Let A = {a 1, a 2, a 3, a 4 } and B = {b 1, b 2 }. Define a relation on AxB by R = {(a 1, b 2 ), (a 2, b 1 ), (a 2, b 2 ), (a 4, b 2 )}. 42

2

3 We now define a special class of relations, namely functions. Definition: A function f : A B is a binary relation R f on AxB such that for each a A! b B such that (a, b) R f. The book s definition is equivalent: A function f from a set X to a set Y is a relation between the elements of X and Y with the property that each element of X is related to a unique element of Y. More definitions: X is called the domain of f and Y is called the co-domain of f. The set {y Y ( x X)(y = f(x))} is called the range of f or the image of X under f. Notation: f(x) = y f : x y. Examples of Functions First some special types of functions. successor function f : Z Z n n

4

5

6

7 Theorem 4.1 Let f : R R be given by f(x) = 4x 1. Then f is 1-1. Proof: Suppose f(x 1 ) = f(x 2 ). We must show that x 1 = x 2. But clearly we have 4x 1 1 = 4x 2 1 4x 1 = 4x 2 x 1 = x 2. Question: Is the following function 1-1? f : Z Z n n 4 Answer: No, since f(1) = 1 and f( 1) = 1. Definition: A function f : A B is onto or a surjection if b B a A such that f(a) = b. Examples: (3), (4), (7) and (8) are onto. Note: If a function is onto, then its range equals its co-domain. Note: f : Z Z given by f(n) = 4n 1 is not onto. To be onto, there would have to be an integer n such that 4n 1 = 0. This is clearly not the case. 48

8 Theorem 4.2 Let f : R R be given by f(x) = 4x 1. Then f is onto. Proof: For any real number y, 4x 1 = y iff x = y Since y + 1 is a real number we are done. 4 Definition: A function f : A B is a bijection if it is both 1-1 and onto. It is also called a 1-1 correspondence. Definition: A bijection f : X X is called a permutation of X. Note: We will prove (at least part of) the following theorem later by induction. Theorem 4.3 Let X be a finite set and f : X X. Then f is 1-1 iff f is onto. Note: The theorem is false if X is infinite. 49

9

10 Definition: A function f : A B is invertible if f 1 : B A is a function. In this case, f 1 is called the inverse of f. Theorem 4.4 A function f : A B is invertible iff it is a bijection. Before studying the Pigeonhole Principle we consider a few special functions. 1. A partial function with domain A and co-domain B is any function from A to B, where A A. Note: For x A A, f(x) is undefined. Example: f : R R x 1 x is a partial function (not defined for x = 0). Example: f : R R x x is a partial function (not defined for x < 0). 51

11

12 Pigeonhole Principle Pigeonhole Principle: Let A and B be finite sets. If f : A B and A > B 1, then there exists a 1 a 2 A such that f(a 1 ) = f(a 2 ), i.e., there does not exist an injection from A to B. Note: Actually, A can be infinite. Simple examples: 1. If there are 5 pigeons in 4 pigeonholes then at least one pigeonhole contains 2 or more pigeons. 2. In any group of thirteen people at least 2 were born in the same month. 3. A drawer contains 10 black socks and 10 white socks. What is the least number of socks you must pull out to be sure to get a matched pair? Answer: 3 4. If five points are chosen from a unit square, then some pair 1 are distance at most apart At any party there are always at least two people with the same number of acquaintances. 53

13 Reason: Let A be the set of n people at the party. Let B = {0, 1,..., n 1} be the set representing the possible number of acquaintances of any person at the party. Let f be the function that assigns, for each person at the party, the number of acquaintances of that person. If we let I f denote the image of f, then it is not possible to have both 0 and n 1 in I f, since if a person knows everyone it is not possible for some other person to know no one. Hence I f n 1. Since A = n, by the pigeonhole principle, f can not be a 1 1 function. Hence at least 2 people at the party must have the same number of acquaintances. 54

14 6. Let A = {1, 2, 3, 4, 5, 6, 7, 8}. If 5 integers are selected from A, then at least one pair of the integers must sum to nine. Reason: This follows since A can be partitioned into the 4 sets {1, 8}, {2, 7}, {3, 6}, {4, 5}. For 1 i 4, let B i = {i, 9 i}. Let S be any set of 5 integers from A and B be the 4 element set consisting of the sets B i, 1 i 4. Finally, consider the function f : S B which takes an element of S to the set containing that element. Since S = 5 and there are only 4 sets, by the pigeonhole principle, f is not a 1 1 function. Hence 2 of the elements of S are sent to the same set B i and these elements sum to 9. Note: If only 4 integers are chosen, then it is possible that no 2 of them will add up to 9. 55

15 We now look at a much more difficult application. Theorem 4.5 In any sequence of n distinct integers there exists either 1. an increasing subsequence of length at least n + 1 or 2. a decreasing subsequence of length at least n + 1. The proof uses the pigeonhole principle. Before giving the proof we illustrate what the theorem is saying. Example: Let n = 3 and consider the sequence is an increasing subsequence of length is a decreasing subsequence of length 4. Example: Let n = 2 and consider the sequence is a decreasing subsequence of length 3. There is no increasing subsequence of length 3. 56

16 Proof: By contradiction (using the pigeonhole principle). Let a 1, a 2,..., a n 2 +1 be a sequence of distinct integers and assume the theorem is false for this sequence. Assign to each a k an ordered pair (x k, y k ), where 1. x k is the length of a longest increasing subsequence starting at a k. 2. y k is the length of a longest decreasing subsequence starting at a k. e.g a 1 (2, 2), a 2 (2, 1), a 3 (1, 3), a 4 (1, 2), a 5 (1, 1). Note: Since we are assuming the theorem is false, there are at most n 2 distinct (x k, y k ) pairs that are possible. Let A = {a k } A = n B = {(x k, y k )} B = n 2. Let f : A B be the function that represents the above assignment. 57

17 Since A > B, by the pigeonhole principle we must have f(a i ) = f(a j ) for some i j, i.e., (x i, y i ) = (x j, y j ). Assume, without loss of generality, that i < j. Either a i < a j or a j < a i. Case 1: a i < a j. Then x i > x j, a contradiction. Case 2: a i > a j. Then y i > y j, a contradiction. Generalized Pigeonhole Principle: Suppose n objects are placed in k boxes. Then at least one box contains at least n/k objects. Example: Among 100 people, at least 9 were born in the same month. Note: 100/12 = 9. Note: The Pigeonhole Principle has k = n 1 and n/n 1 = 2. 58

18

19 Example: f : N N n n g : {0, 1, 2} N n n Here gof is not defined, e.g., what is gof(10)? However fog is defined, and in fact fog = g. 60

20 Example: f : N N n n/2 if n is even n 0 if n is odd. g : N N n 2n Now gof : N N n n if n is even n 0 if n is odd. fog : N N n n Note: In general, fog gof. 61

21 Theorem 4.6 Suppose f : A B and g : B C. If 1. f and g are surjective, then gof is surjective. 2. f and g are injective, then gof is injective. 3. f and g are bijective, then gof is bijective. Proof: First note that (3) easily follow from (1) and (2). 1. Let c C. Since g is onto b B such that g(b) = c. But since f is onto a A such that f(a) = b. Hence Thus gof is surjective. gof(a) = g(b) = c. 2. Suppose a 1 a 2 A. Since f is 1-1, f(a 1 ) f(a 2 ). Now since g is 1-1, g(f(a 1 )) g(f(a 2 )). Hence gof is

22

23

24

25 Example: 1. f({1, 7, 13}) = {1} 2. f({1, 4, 5}) = {1, 2} f : N N n n mod 3 3. f 1 ({0}) = {m m = 3k for some k N} Theorem 4.9 Let f : A B with A 1, A 2 A. Then 1. f(a 1 A 2 ) = f(a 1 ) f(a 2 ) 2. f(a 1 A 2 ) f(a 1 ) f(a 2 ). Note: The above theorem holds for arbitrary (more than 2) unions. Example: f : R R x x 2 Let A 1 = R +. Then f(a 1 ) = R +. Let A 2 = R. Then f(a 2 ) = R +. Now A 1 A 2 = R {0} and A 1 A 2 =. f(a 1 A 2 ) = f(a 1 ) f(a 2 ) = R + = f(a 1 A 2 ) f(a 1 ) f(a 2 ) = R + 66

26 5 Cardinality Suppose A and B are finite sets and we wish to determine if the sets have the same size. Here are two ways this can be done. 1. Count the elements in A and then count the elements in B. 2. Create a correspondence between the elements of A and B, i.e., let the first element of A correspond to the first element of B, then the second, etc. Note: If A and B are infinite sets, then (1) can not be done. However (2) can still be done, and that is in fact how we compare the size (or cardinality) of the sets. Definition: We say the elements of set A are in a 1-1 correspondence with the elements of set B if there exists a 1-1, onto function between A and B. If this is the case we say A and B have the same cardinality or have the same size. Definition: A set is finite if it is either empty or it can be put into a 1-1 correspondence with a set of the form [n] = {1, 2,..., n}. Otherwise the set is infinite. 67

27 Example: A = {a, b, c} and [3] = {1, 2, 3} have the same cardinality. 1 a 2 b 3 c Definition: A set A is called countably infinite if it has the same cardinality as the set of positive integers Z +. A set is called countable if it is either finite or countably infinite. Note: An equivalent definition, and one that appears in many other books, is that a set is countably infinite if there is a 1-1 correspondence between it and the natural numbers N = {0, 1, 2,...}. We will use Z +, but either can be used to show a set is countably infinite. Example: Z + and N have the same cardinality

28 Example: The set of nonnegative even integers forms a countably infinite set Example: The set of all integers (Z) is a countably infinite set. The function f : Z + Z gives the 1-1 correspondence. We get f(n) := n 2 1 n 2 if n is an even positive integer if n is an odd positive integer f(1) = 0 f(2) = 1 f(3) = 1 f(4) = 2 f(5) = 2 f(6) = 3. =. Example: The set of all positive rationals, denoted Q +, is a countably infinite set. 69

29

30 Notation: The cardinality of a set A is given by A. We use χ 0 to denote the cardinality of Z +. Note: Intuitively, any set whose elements can be listed in some way is a countably infinite set. Question: Are there infinite sets that are not countably infinite? Answer: Yes. The set of all real numbers between 0 and 1 (J = [0, 1]) is not a countably infinite set. We call such sets uncountably infinite. Theorem 5.1 J = [0, 1] is uncountably infinite. Proof: We will assume J is countably infinite and reach a contradiction. We first must decide how a number x J will be represented. We will represent such a number as a decimal, i.e., x =.a 1 a 2 a We will not allow our decimals to end with an infinite sequence of 9 s, i.e., we use instead of Now every number in J has a unique decimal expansion. Now suppose it is possible to list the numbers in J, i.e., that J is countably infinite and such a list can be described. We will produce a number x J that is not on the list. 71

31 Let a i,j represent the j th digit of the i th number on the list e. g. Thus a 2,3 = 4 and a 5,6 = We now construct a number x that is not on the list. If the i th digit of number i is not 1, then the i th digit of x is 1. If the i th digit of number i is 1, then the i th digit of x is 2. Using the example above, x = Thus x always differs from number i in the i th digit. Hence x J is not on the list. This is a contradiction. 72

32

33 Application to Computer Science Let L be a fixed computer language. Question: How many different computer programs can be written in L? Theorem 5.3 The set of all programs that can be written in any language L is a countably infinite set. Proof: Each symbol in a computer language is translated into a string of 0 s and 1 s. Hence any program can be thought of as a long string of 0 s and 1 s. To show that this is a countable set we must find a way to list these sequences of 0 and 1 s. The first thing to do is to list them by length. If two strings have the same length, they should be ordered in ascending order according to the binary number they represent. Thus 0010 precedes 1010 in the ordering. Since all the programs in L are on the list, there are countably many such programs. Note: We have just shown that for any alphabet Σ, the set Σ is countably infinite. In particular, if Σ = {0, 1}, we see that the set of finite binary strings is countably infinite. Note: The infinite binary strings over Σ = {0, 1} is an uncountably infinite set. This can be shown with a diagonalization argument. 74

34 We now use this result to show that there are noncomputable functions. Let T be the set of all functions f : Z + {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} We will show that T is uncountably infinite. Thus, since the set of all programs in any computer language L is countably infinite, there are not enough programs to compute every function in T. Theorem 5.4 Let T be the set of all functions f : Z + {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Then T is uncountably infinite. The proof of the theorem assumes the following intuitive result. Theorem 5.5 Any subset of a countable set is countable. Proof of Theorem 5.4: Again let S = {x R 0 < x < 1}. As before we can represent any number in S uniquely as a decimal.a 1 a 2 a 3..., provided we do not use decimals that end in an infinite sequence of 9 s. Now define a function F from S to a subset of T by letting F (.a 1 a 2 a 3...) = the function that sends each positive integer n to a n. Define the co-domain of F to be the subset of T that makes F onto. Now F is 1-1 and onto. Thus, since S is uncountable, so is the co-domain of F. But then T has an uncountable subset and so must also be uncountable. 75

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

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that

More information

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Mathematics 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 information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets

More information

MATH 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 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 information

A Short Review of Cardinality

A 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 information

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

Final 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 information

Finite and Infinite Sets

Finite and Infinite Sets Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

More information

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

Functions 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 information

MATH 3300 Test 1. Name: Student Id:

MATH 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 information

Week Some Warm-up Questions

Week 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 information

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

Principles of Real Analysis I Fall I. The Real Number System 21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous

More information

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Discrete 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 information

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

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

CITS2211 Discrete Structures (2017) Cardinality and Countability

CITS2211 Discrete Structures (2017) Cardinality and Countability CITS2211 Discrete Structures (2017) Cardinality and Countability Highlights What is cardinality? Is it the same as size? Types of cardinality and infinite sets Reading Sections 45 and 81 84 of Mathematics

More information

Selected problems from past exams

Selected problems from past exams Discrete Structures CS2800 Prelim 1 s Selected problems from past exams 1. True/false. For each of the following statements, indicate whether the statement is true or false. Give a one or two sentence

More information

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence Section 2.4 1 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations 2 Introduction Sequences are ordered lists of

More information

Part IA Numbers and Sets

Part IA Numbers and Sets Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

Discrete Mathematics 2007: Lecture 5 Infinite sets

Discrete Mathematics 2007: Lecture 5 Infinite sets Discrete Mathematics 2007: Lecture 5 Infinite sets Debrup Chakraborty 1 Countability The natural numbers originally arose from counting elements in sets. There are two very different possible sizes for

More information

Assignment #2 COMP 3200 Spring 2012 Prof. Stucki

Assignment #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 information

1 Partitions and Equivalence Relations

1 Partitions and Equivalence Relations Today we re going to talk about partitions of sets, equivalence relations and how they are equivalent. Then we are going to talk about the size of a set and will see our first example of a diagonalisation

More information

0 Logical Background. 0.1 Sets

0 Logical Background. 0.1 Sets 0 Logical Background 0.1 Sets In this course we will use the term set to simply mean a collection of things which have a common property such as the totality of positive integers or the collection of points

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

6 CARDINALITY OF SETS

6 CARDINALITY OF SETS 6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means

More information

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

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information

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

Today. Wrapup of Polynomials...and modular arithmetic. Coutability and Uncountability. Today. Wrapup of Polynomials...and modular arithmetic. Coutability and Uncountability. Reed-Solomon code. Problem: Communicate n packets m 1,...,m n on noisy channel that corrupts k packets. Reed-Solomon

More information

Section 7.5: Cardinality

Section 7.5: Cardinality Section 7: Cardinality In this section, we shall consider extend some of the ideas we have developed to infinite sets One interesting consequence of this discussion is that we shall see there are as many

More information

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

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Our main goal is here is to do counting using functions. For that, we

More information

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

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9 1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions

More information

SETS AND FUNCTIONS JOSHUA BALLEW

SETS 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 information

1 Basic Combinatorics

1 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 information

Discussion Summary 10/16/2018

Discussion 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

Math 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory

More information

Homework #3: 1.4.1, a & b, 1.5.1, 1.5.3, 1.5.6, 1.5.7, 1.5.8, Prove that the set of all real numbers is uncountable.

Homework #3: 1.4.1, a & b, 1.5.1, 1.5.3, 1.5.6, 1.5.7, 1.5.8, Prove that the set of all real numbers is uncountable. Lecture 3 Homework #3: 1.4.1, 1.4.2 a & b, 1.5.1, 1.5.3, 1.5.6, 1.5.7, 1.5.8, Prove that the set of all real numbers is uncountable. Note that this lecture will likely run over but the net one is very

More information

Math 300: Final Exam Practice Solutions

Math 300: Final Exam Practice Solutions Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a

More information

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

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam 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

More information

RELATIONS AND FUNCTIONS

RELATIONS AND FUNCTIONS For more important questions visit : www.4ono.com CHAPTER 1 RELATIONS AND FUNCTIONS IMPORTANT POINTS TO REMEMBER Relation R from a set A to a set B is subset of A B. A B = {(a, b) : a A, b B}. If n(a)

More information

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 Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

Math 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 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 information

MATH FINAL EXAM REVIEW HINTS

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 information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

Massachusetts Institute of Technology Handout J/18.062J: Mathematics for Computer Science May 3, 2000 Professors David Karger and Nancy Lynch

Massachusetts Institute of Technology Handout J/18.062J: Mathematics for Computer Science May 3, 2000 Professors David Karger and Nancy Lynch Massachusetts Institute of Technology Handout 48 6.042J/18.062J: Mathematics for Computer Science May 3, 2000 Professors David Karger and Nancy Lynch Quiz 2 Solutions Problem 1 [10 points] Consider n >

More information

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

Name (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 information

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 Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

CS 455/555: Mathematical preliminaries

CS 455/555: Mathematical preliminaries CS 455/555: Mathematical preliminaries Stefan D. Bruda Winter 2019 SETS AND RELATIONS Sets: Operations: intersection, union, difference, Cartesian product Big, powerset (2 A ) Partition (π 2 A, π, i j

More information

1 Take-home exam and final exam study guide

1 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 information

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

Reed-Solomon code. P(n + 2k) Reed-Solomon code. Problem: Communicate n packets m 1,...,m n on noisy channel that corrupts k packets. Reed-Solomon Code: 1. Make a polynomial, P(x) of degree n 1, that encodes message: coefficients,

More information

Review 3. Andreas Klappenecker

Review 3. Andreas Klappenecker Review 3 Andreas Klappenecker Final Exam Friday, May 4, 2012, starting at 12:30pm, usual classroom Topics Topic Reading Algorithms and their Complexity Chapter 3 Logic and Proofs Chapter 1 Logic and Proofs

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED 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 information

Practice Exam 1 CIS/CSE 607, Spring 2009

Practice Exam 1 CIS/CSE 607, Spring 2009 Practice Exam 1 CIS/CSE 607, Spring 2009 Problem 1) Let R be a reflexive binary relation on a set A. Prove that R is transitive if, and only if, R = R R. Problem 2) Give an example of a transitive binary

More information

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

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant). Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any

More information

Introduction to Real Analysis

Introduction to Real Analysis Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:

More information

1 of 8 7/15/2009 3:43 PM Virtual Laboratories > 1. Foundations > 1 2 3 4 5 6 7 8 9 6. Cardinality Definitions and Preliminary Examples Suppose that S is a non-empty collection of sets. We define a relation

More information

14 Uncountable Sets(Denial of Self Recursion)

14 Uncountable Sets(Denial of Self Recursion) 14 Uncountable Sets(Denial of Self Recursion) 14.1 Countable sets Def. 1 Two sets A and B are isomorphic with respect to the bijective function f, iff a bijection f: A B, written A f B or for shorta B.

More information

Foundations of Mathematics

Foundations of Mathematics Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object

More information

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

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. 2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is

More information

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60 MATH 213 Chapter 2: Basic Structures Dr. Eric Bancroft Fall 2013 Dr. Eric Bancroft MATH 213 Fall 2013 1 / 60 Chapter 2 - Basics Structures 2.1 - Sets 2.2 - Set Operations 2.3 - Functions 2.4 - Sequences

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

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

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 MODEL ANSWERS TO THE SEVENTH HOMEWORK 1. Let X be a finite set, and let A, B and A 1, A 2,..., A n be subsets of X. Let A c = X \ A denote the complement. (a) χ A (x) = A. x X (b) We proved in homework

More information

CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3

CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3 CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3 This third problem set explores graphs, relations, functions, cardinalities, and the pigeonhole principle. This should be a great way to get a

More information

ACS2: Decidability Decidability

ACS2: Decidability Decidability Decidability Bernhard Nebel and Christian Becker-Asano 1 Overview An investigation into the solvable/decidable Decidable languages The halting problem (undecidable) 2 Decidable problems? Acceptance problem

More information

Name: Student ID: Instructions:

Name: Student ID: Instructions: Instructions: Name: CSE 322 Autumn 2001: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions, 20 points each. Time: 50 minutes 1. Write your name and student

More information

Part IA. Numbers and Sets. Year

Part IA. Numbers and Sets. Year Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or

More information

INFINITY: CARDINAL NUMBERS

INFINITY: CARDINAL NUMBERS INFINITY: CARDINAL NUMBERS BJORN POONEN 1 Some terminology of set theory N := {0, 1, 2, 3, } Z := {, 2, 1, 0, 1, 2, } Q := the set of rational numbers R := the set of real numbers C := the set of complex

More information

ECS 120 Lesson 18 Decidable Problems, the Halting Problem

ECS 120 Lesson 18 Decidable Problems, the Halting Problem ECS 120 Lesson 18 Decidable Problems, the Halting Problem Oliver Kreylos Friday, May 11th, 2001 In the last lecture, we had a look at a problem that we claimed was not solvable by an algorithm the problem

More information

One-to-one functions and onto functions

One-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 information

Some. AWESOME Great Theoretical Ideas in Computer Science about Generating Functions Probability

Some. AWESOME Great Theoretical Ideas in Computer Science about Generating Functions Probability 15-251 Some AWESOME Great Theoretical Ideas in Computer Science about Generating Functions Probability 15-251 Some AWESOME Great Theoretical Ideas in Computer Science about Generating Functions Infinity

More information

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Salil Vadhan September 20, 2012 Reading: Sipser, 1.3 and The Diagonalization Method, pages 174 178 (from just before Definition

More information

0 Sets and Induction. Sets

0 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 information

Countability. 1 Motivation. 2 Counting

Countability. 1 Motivation. 2 Counting Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably

More information

Section 7.2: One-to-One, Onto and Inverse Functions

Section 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 information

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT Lecture Notes on Discrete Mathematics October 15, 2018 2 Contents 1 Basic Set Theory 5 1.1 Basic Set Theory....................................... 5 1.1.1 Union and Intersection of Sets...........................

More information

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

MATH 201 Solutions: TEST 3-A (in class) MATH 201 Solutions: TEST 3-A (in class) (revised) God created infinity, and man, unable to understand infinity, had to invent finite sets. - Gian Carlo Rota Part I [5 pts each] 1. Let X be a set. Define

More information

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

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

More information

Intro to Theory of Computation

Intro to Theory of Computation Intro to Theory of Computation LECTURE 15 Last time Decidable languages Designing deciders Today Designing deciders Undecidable languages Diagonalization Sofya Raskhodnikova 3/1/2016 Sofya Raskhodnikova;

More information

Lecture 3: Sizes of Infinity

Lecture 3: Sizes of Infinity Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 3: Sizes of Infinity Week 2 UCSB 204 Sizes of Infinity On one hand, we know that the real numbers contain more elements than the rational

More information

General Notation. Exercises and Problems

General Notation. Exercises and Problems Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.

More information

Chapter 2 - Basics Structures

Chapter 2 - Basics Structures Chapter 2 - Basics Structures 2.1 - Sets Definitions and Notation Definition 1 (Set). A set is an of. These are called the or of the set. We ll typically use uppercase letters to denote sets: S, A, B,...

More information

CS 125 Section #10 (Un)decidability and Probability November 1, 2016

CS 125 Section #10 (Un)decidability and Probability November 1, 2016 CS 125 Section #10 (Un)decidability and Probability November 1, 2016 1 Countability Recall that a set S is countable (either finite or countably infinite) if and only if there exists a surjective mapping

More information

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas. 1 Chapter 1 Propositional Logic Mathematical logic studies correct thinking, correct deductions of statements from other statements. Let us make it more precise. A fundamental property of a statement is

More information

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

Combinatorics. But there are some standard techniques. That s what we ll be studying.

Combinatorics. But there are some standard techniques. That s what we ll be studying. Combinatorics Problem: How to count without counting. How do you figure out how many things there are with a certain property without actually enumerating all of them. Sometimes this requires a lot of

More information

A Readable Introduction to Real Mathematics

A Readable Introduction to Real Mathematics Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 10: Sizes of Infinite Sets 1. Show that the set of all polynomials

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

Introduction to Decision Sciences Lecture 10

Introduction to Decision Sciences Lecture 10 Introduction to Decision Sciences Lecture 10 Andrew Nobel October 17, 2017 Mathematical Induction Given: Propositional function P (n) with domain N + Basis step: Show that P (1) is true Inductive step:

More information

LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS

LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS 1. Introduction To end the course we will investigate various notions of size associated to subsets of R. The simplest example is that of cardinality - a very

More information

Great Theoretical Ideas in Computer Science. Lecture 5: Cantor s Legacy

Great Theoretical Ideas in Computer Science. Lecture 5: Cantor s Legacy 15-251 Great Theoretical Ideas in Computer Science Lecture 5: Cantor s Legacy September 15th, 2015 Poll Select the ones that apply to you: - I know what an uncountable set means. - I know Cantor s diagonalization

More information

4.2 The Halting Problem

4.2 The Halting Problem 172 4.2 The Halting Problem The technique of diagonalization was discovered in 1873 by Georg Cantor who was concerned with the problem of measuring the sizes of infinite sets For finite sets we can simply

More information

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality Math 336-Modern Algebra Lecture 08 9/26/4. Cardinality I started talking about cardinality last time, and you did some stuff with it in the Homework, so let s continue. I said that two sets have the same

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 13 SAMPLE FINAL EXAM SOLUTIONS MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.

More information

Math.3336: Discrete Mathematics. Cardinality of Sets

Math.3336: Discrete Mathematics. Cardinality of Sets Math.3336: Discrete Mathematics Cardinality of Sets Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018

More information

Discrete Structures for Computer Science

Discrete Structures for Computer Science Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #10: Sequences and Summations Based on materials developed by Dr. Adam Lee Today s Topics Sequences

More information

Algorithms: Lecture 2

Algorithms: Lecture 2 1 Algorithms: Lecture 2 Basic Structures: Sets, Functions, Sequences, and Sums Jinwoo Kim jwkim@jjay.cuny.edu 2.1 Sets 2 1 2.1 Sets 3 2.1 Sets 4 2 2.1 Sets 5 2.1 Sets 6 3 2.1 Sets 7 2.2 Set Operations

More information

CSE 311: Foundations of Computing I Autumn 2014 Practice Final: Section X. Closed book, closed notes, no cell phones, no calculators.

CSE 311: Foundations of Computing I Autumn 2014 Practice Final: Section X. Closed book, closed notes, no cell phones, no calculators. CSE 311: Foundations of Computing I Autumn 014 Practice Final: Section X YY ZZ Name: UW ID: Instructions: Closed book, closed notes, no cell phones, no calculators. You have 110 minutes to complete the

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

Discrete Mathematics. Benny George K. September 22, 2011

Discrete Mathematics. Benny George K. September 22, 2011 Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and

More information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.

More information

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

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

Solutions to Homework Problems

Solutions to Homework Problems Solutions to Homework Problems November 11, 2017 1 Problems II: Sets and Functions (Page 117-118) 11. Give a proof or a counterexample of the following statements: (vi) x R, y R, xy 0; (x) ( x R, y R,

More information