Set Basics. P. Danziger

Size: px
Start display at page:

Download "Set Basics. P. Danziger"

Transcription

1 - 5 Set Basics P. Danziger 1 Set Basics Definition 1 (Cantor) A set is a collection into a whole of definite and separate objects of our intuition or thought. (Russell) Such that given an object x and a set S it is possible to state unequivocally that either x belongs to the set S, or x does not belong to S. The objects in a set, S, are called elements of S, or members of S. 2 Notation 1. If x is a member of a set S, we write x S. If x is not a member of a set S, we write x S. 2. We use curly braces to denote sets: Example 2 S = {a, b, c} means that S consists exactly of the elements a, b and c. Note that order is unimportant, thus {a, b, c} and {b, a, c} represent the same set. Also since a set is defined only by its members we ignore repitition. Thus the set {a, b, c} is the same as {a, a, b, b, b, c, c}. 3. We use ellipses (...) to indicate that a pattern continues. Example 3 {0, 1, 2, 3,...} = N. 4. We also use the notation T = {x S P (x)} to indicate the set of all those elements of S which satisfy the property P. T equals the set of x in S such that P (x). Example 4 (a) T = {x Z x is divisible by 2} The set of even numbers. (b) T = {x R 0 < x x < 2} All real numbers between 0 and In the case of intervals of real numbers we use a special notation: [a, b] = {x R a x b} - The set of all real numbers between a and b inclusive. (a, b) = {x R a < x < b} - The set of all real numbers between a and b exclusive. } (a, b] = {x R a < x b} - Half open intervals. [a, b) = {x R a x < b} 1

2 - 5 Set Basics P. Danziger 2.1 The Universal Set Often when we talk about sets we find it useful to define the set of all permissable objects - the universe, usually denoted U. We often restrict U to be a smaller set than the set of everything. Note that the notation {x U P (x)} naturally defines a universal set. 3 Some Useful Sets The Empty Set (5.3) Definition 5 The empty set is the set with no elements, denoted by φ Number Sets N = {0, 1, 2, 3,...} - The natural numbers. N + = {x N x > 0} = {1, 2, 3,...} - The positive natural numbers. Z = {..., 3, 2, 1, 0, 1, 2, 3,...} - The integers. Z + = {x Z x > 0} = {1, 2, 3,...} - The positive integers. (= N + ) Z = {x Z x < 0} = {..., 3, 2, 1} - The negative integers. P = {p Z p is prime } - The prime numbers. Q = { x y x Z y N+ } - The rationals. Q + = { x y x Z+ y N + } - The positive rationals. Q = { x y x Z y N + } - The negative rationals. R = (, ) - The Real numbers. R + = (0, ) - The positive Real numbers. R = (, 0) - The negative Real numbers. I = R Q (all real numbers which are not rational) - The irrational numbers. C = {x + yi x, y R} - The Complex numbers. Note: There are many real numbers which are not rational, e.g. π, 2. 4 Set Comparisons Definition 6 Given two sets A and B: 1. A is called a subset of B, written A B, if and only if every element of A is also in B. We also say B contains A, or A is contained in B. Formally: A B for every x U, x A x B 2

3 - 5 Set Basics P. Danziger 2. A = B if and only if A and B have exactly the same elements. 3. A is a proper, or strict, subset of B, written A B if and only if A is a subset of B, but there is at least one element of B which is not in A. Notes A B (A B) (B A). A = B (A B) (B A). Example 7 Let A = {0, 1, 2, 3}, B = {1, 2}, C = {x N x < 4}. Then the following statements are true: C A, A C, C = A, B A, B A. We can also say: A B, C A. Note Sets may have other sets as elements, this is not the same as being a subset. Example 8 S = {0, 1, {2, 3}} {2, 3} S, {2, 3} S, {0, 1} S, {0, 1} S, 0 S. How many elements are in the set φ? How many elements are in the set {φ}? (Answer: 0 and 1 respectively) Theorem 9 1. φ is a subset of every other set, including itself. 2. Every set, including U, is a subset of the universal set U. Proof: 1. Must show that for any set S, x φ x S. But since there is no x such that x φ this is vacuously true. 2. For any set S, if x S x U, since everything is in U by definition. Theorem 10 The empty set is unique. (i.e. there is only one empty set) Proof: (By contradiction.) Suppose not, that is suppose that there are two distinct empty sets, φ 1 and φ 2. Now, φ 1 φ 2 (every set is a subset of the empty set). And φ 2 φ 1 (every set is a subset of the empty set). Thus φ 1 = φ 2 (Definition of = for sets). 3

4 - 5 Set Basics P. Danziger 5 Operations on Sets Definition 11 Let A and B be any subsets of a universal set U. 1. The union of A and B, denoted A B is the set of all elements of U which are in either A or B. i.e. A B = {x U x A x B}. 2. The intersection of A and B, denoted A B is the set of all elements of U which are in both A and B. i.e. A B = {x U x A x B}. 3. The difference of B minus A, denoted B A is the set of all elements of U which are in B but not in A. i.e. B A = {x U x B x A}. 4. The complement of A, denoted A c is the set of all elements of U which are not in A. i.e. A c = {x U x A}. Example 12 1) Let U = {a, b, c, d, e, f, g}, A = {a, c, e, g}, B = {d, e, f}. A B = {e}, A B = {a, c, d, e, f, g} = U {b}, A c = {b, d, f} B A = {d, f} = A c B. 2) Let U = R, A = ( 2, 0), B = [0, 2). A B = φ, A B = ( 2, 2), B A = [0, 2) = B, A c = (, 2] [0, ). Note that set difference is not a basic operation as it can be expressed in terms of union and intersection. Theorem 13 (Set Difference law) A B = A B c 5.1 Set Identities A, B, C are sets, φ is the empty set and U is the universal set. p, q, r are statements t is the tautology and c the contradiction. 4

5 - 5 Set Basics P. Danziger Law Set Identity (5.2.2) Logical Equivalence (1.1.1) Commutativity A B = B A p q q p A B = B A p q q p Associativity A (B C) = (A B) C p (q r) (p q) r A (B C) = (A B) C p (q r) (p q) r Distributivity A (B C) = (A B) (A C) p (q r) (p q) (p r) A (B C) = (A B) (A C) p (q r) (p q) (p r) Existence of A U = A p t = p Identity A φ = A p c = p Complement/ A A c = U p p = t Negation A A c = φ p p = c Double (A c ) c = A ( p) = p Complement Idempotent A A = A p p = p A A = A p p = p DeMorgans (A B) c = A c B c (p q) = p q (A B) c = A c B c (p q) = p q Universal A U = U p t = t bound A φ = φ p c = c Absorbtion A (A B) = A p (p q) = p A (A B) = A p (p q) = p Identity U c = φ t = c Relations φ c = U c = t Given a set with two binary operations and one unary operation defined on it, if it satisfies the first five of these properties (Commutativity, Associativity, Distributivity, Existence of Identities ), then it will satisfy the rest. Such a system is called a Boolean Algebra. In this case we have set of statements with, and. The set of all sets with, and c. Theorem 14 For any sets, A, B and C, the following always hold: 1 Inclusion of Intersection A B A A B B 2 Inclusion of Union A A B B A B 3 Transitivity of inclusion If A B and B C then A C Theorem 15 For any sets, A and B, if A B then A B = A and A B = B. 5

6 5.2 Sets - The Element Method P. Danziger 1 Proving Set Identities - The Element Method In order to prove the basic set set identities we use the so called element method. To do this we use the procedural definitions of the set identities: Definition 1 Given sets A and B in some universe U and some element x U: x A B x A x B. x A B x A x B. x A B x A x B. x A c x A. A B ( x A x B) To prove a set identity we consider an arbitrary element x U and use the properties above, valid forms theorem to show the result. Theorem 2 For any sets A, B and C, A B = A B c Proof: ( ) We must show that for every x U, x A B x A B c. Let x A B (Assumption to prove implication) x A x B (Definition of setminus) x B (Specialization) x B c (Definition of B c ) x A (Specialization) x A x B c (Conjunction) x A B c (Definition of ) ( ) We must show that for every x U, x A B c x A B. Let x A B c (Assumption to prove implication) x A (Specialization) x B c (Specialization) x B (Definition of B c ) x A x B (Conjunction) x A B (Definition of A B) Now since A B A B c and A B c A B, we have A B = A B c. 1

7 5.2 Sets - The Element Method P. Danziger Theorem 3 For any sets A, B and C: 1. A B A and A B B. 2. A A B and B A B. 3. ((A B) (B C)) (A C). Proof: 1. To show A B A and A B B. Assume that some arbitrary element x satisfies x A B. x A x B (Definition of ). x A (Specialization). 2. We must show that if x A then x A B. Let x be an arbitrary, but specific element of A. i.e. x A. x A x B (Generalization). x A B (Definition of ). 3. We must show that if A B and B C then x A implies x C. Assume that A B and B C, and let x A. x B (Since A B). x C (Since B C). Theorem 4 For any set A in a universe U: 1. A φ = A (φ is an identity for ). 2. A φ = φ (φ is an absorbant for ). 3. A A c = φ and A A c = U. 4. U c = φ and φ c = U. Proof: 1. ( ) We must show that for every A U, (x A φ) (x A). Let x A φ (Assumption to prove implication) x A x φ (Definition of ) x φ (Definition of φ) x A (Elimination) ( ) We must show that for every A U, (x A) (x A φ). Let x A (Assumption to prove implication) x A x φ (Generalization) 2

8 5.2 Sets - The Element Method P. Danziger 2. ( ) We must show that for every A U, x A φ x φ. Note that the conclusion x φ is always false, for any x. So we must show that x A φ is false for any value of x. We use the rule of contradiction. Let x A φ (Assumption to prove implication) x A x φ (Definition of ) x φ (Specialization) c (Definition of φ) (x A φ) (Contradiction) ( ) We must show that for every A U, x φ x A φ. However, the assumption x φ is false for any value of x. Thus the implication is true. 3. To show A A c = φ Suppose x A A c Then x A x A c (Definition of ) So x A x A c (Definition of compliment) But there is no such x (Definition of set) So A A c = φ To Show A A c = U. ( ) If x A A c then x U, since everything is in U. ( ) We must show that for every A U, x A A c. Given any x U, either x A or x A (definition of set) So x A A c (definition of ). 4. U c = φ: By the definition of U, here is no element which is not in U. φ c = U ( ) We must show that for every x U, x φ x U. The statement x φ is true for every x U by the definition of φ, so both sides of the implication are always true. ( ) We must show that for every x, x U x φ. This is the contrapositive of definition of φ. 3

9 - 5.1 Partitions, Power Sets and Cartesion Products P. Danziger 1 Set Partitions Definition 1 Two sets are called disjoint if and only if they have no elements in common. Formaly A and B are disjoint A B = φ. A collection of sets A 1, A 2,..., A n are mutually disjoint or pairwise disjoint if and only if every pair of sets disjoint. More precisely, for all i, j = 1,..., n, Example 2 1. {1, 2} and {3,4} are mutually disjoint. A i A j = φ whenever i j. 2. {1, 2, 3} and {2,3,4} are not mutually disjoint, since they both contain 2 and Z + and Z are mutually disjoint 4. The intervals (, 4], [ 4, 0) are not mutually disjoint since they contain the common element The intervals (, 4], ( 4, 0), [0, 2], [4, 10) are pairwise disjoint. Theorem 3 For any sets A and B, A B and B are mutually disjoint. Proof: Let x be an element of A B, we must show that x B. Since x A B we know that x A and x B, by the definition of set difference. Thus x B (Conjunctive Simplification). Note Any set A is mutually disjoint from its complement, A c, since A A c = φ. Definition 4 A collection of nonempty sets {A 1, A 2,..., A n } is a partition of a set A if 1. A = A 1 A 2... A n ; 2. A 1, A 2,..., A n are mutually disjoint. 1

10 - 5.1 Partitions, Power Sets and Cartesion Products P. Danziger Example 5 1. Let A = {0, 1, 2, 3, 4, 5}, A 1 = {0, 1}, A 2 = {2, 3}, A 3 = {4, 5}. Is {A 1, A 2, A 3 } a partition of A? Yes. Since A = A 1 A 2 A 3 and A 1, A 2 and A 3 have no common elements. 2. Consider the sets: R 0 = {x Z x = 2k for some integer k} (even numbers). R 1 = {x Z x = 2k + 1 for some integer k} (odd numbers). Is {R 0, R 1 } a partition of Z? Yes. Since every number is either odd or even R 0 R 1 = Z. No number is both odd and even, so R 0 R 1 = φ. 3. Are the sets R 0 and R 1 above a partition of Z +? No. 2 R 0, so 2 R 0 R 1, but 2 Z +. So R 0 R 1 Z +. 2 Power Sets Definition 6 The power set of a set A, denoted P(A), is the set of all subsets of A. i.e. For any sets A and X X P(A) X A Example 7 1. Let A = {0, 1} P(A) = {φ, {0}, {1}, {0, 1}} 2. Let A = {a, b, c} P(A) = {φ, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Notes 1. X P(A) if and only if X A. 2. For any set A, φ P(A) and A P(A). Theorem 8 For any sets A and B, if A B then P(A) P(B). To Prove: sets A, B, A B P(A) P(B) Proof: Let A and B be sets with A B. We must show that every element of P(A) is in P(B). Let X P(A). Thus X A, by the definition of P(A). Thus X A B, so X B ( ). But if X B then X P(B). Theorem 9 If a set A has n elements then P(A) has 2 n elements. S.W.P. (See p. 265) 2

11 - 5.1 Partitions, Power Sets and Cartesion Products P. Danziger 3 Cartesian Products Definition 10 Let n Z +, and let x 1, x 2,..., x n be n (not necessarily distinct) elements of some set. The ordered n-tuple (x 1, x 2,..., x n ) consists of x 1, x 2,..., x n together with the ordering. An ordered 2-tuple (x 1, x 2 ) is called an ordered pair. An ordered 3-tuple (x 1, x 2, x 3 ) is called an ordered triple. Two ordered n-tuples (x 1, x 2,..., x n ) and (y 1, y 2,..., y n ) are equal if and only if Thus (a, b) = (c, d) iff a = c and b = d. Definition 11 x 1 = y 1 x 2 = y 2... x n = y n 1. Given 2 sets A and B the Cartesian product of A and B, denoted A B (A cross B) is the set of ordered pairs (a, b) with a A and b B. i.e. A B = {(a, b) a A b B}. 2. Given sets A 1, A 2,..., A n the Cartesian product A 1 A 2... A n is the set of all ordered n-tuples (a 1, a 2,..., a n ). Example 12 i.e. A 1 A 2... A n = {(a 1, a 2,..., a n ) a 1 A 1 a 2 A 2... a n A n }. 1. A = {1, 2}, B = {3, 4, 5}, A B = {(1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5)} 2. R R = R 2 = {(x, y) x, y R}. 3. R n = R } R {{... R } = {(x 1, x 2,..., x n ) x 1, x 2,..., x n R}. n times 4. R N = {(x, a) x R a N}. 4 Alphabets and Strings See p Definition An alphabet, Σ is a finite set. The elements of an alphabet are called symbols or characters. Example 14 (a) Σ E = {a, b,..., Y, Z} - The standard alphabet for English. 3

12 - 5.1 Partitions, Power Sets and Cartesion Products P. Danziger (b) Σ A = ASCII = Σ E - Standard alphabet for computer I/O. (c) Σ 0 = {0, 1} - The natural alphabet of computers. 2. A string over an alphabet Σ is any ordered n-tuple of elements of Σ. We usually write strings with no commas or parantheses. We allow the empty string and denote it by the symbol ɛ. Generally, we use lowercase letters from the beginning of the alphabet a, b, c to denote single characters from an alphabet, and lowercase letters from the end of the alphabet u, v, w, x, y, z to denote strings of characters from an alphabet. Example 15 (a) If Σ = Σ 0 then ɛ, 0, 00, 01, 11, are all strings over Σ. (b) If Σ = Σ E then ɛ, a, set, qwerty are all strings over Σ. 3. The length of a string is the number of characters which make it up. The empty string ɛ always has length 0. Example 16 (a) Σ = Σ 0, 0 and 1 have length 1. 00, 01 and 11 have length has length 8. (b) Σ = Σ E, a has length 1, set has length 3, qwerty has length Given an alphabet Σ Σ n denotes the set of all strings of length n over Σ. Σ denotes the set of all strings of any finite length (including 0) over Σ. Example 17 Σ = Σ 0. Σ 0 = {ɛ}, Σ 1 = Σ = {0, 1}, Σ 2 = {00, 01, 10, 11} etc. 5. Given any two strings x and y over an alphabet Σ, the concatenation of x and y is the string xy. Example 18 x = 01, y = 001, xy = 01001, yx =

13 - 10 Relations P. Danziger 1 Relations (10.1) Definition 1 1. A relation from a set A to a set B is a subset R of A B. 2. Given (x, y) R we say that x is related to y and write xry. 3. If (x, y) R we say that x is not related to y and write x Ry. 4. If A = B, we say that R is a binary relation on A. Note: Order matters. If xry this does not necessarily mean that yrx. Example 2 Let A = {0, 1, 2}, B = {3, 4, 5}. R = {(0, 3), (0, 4), (1, 3)}. So 0R3, 0R4, 1R3. But 3 R0, 4 R0, 3 R1. 0 is related to 2 different elements of B. There are 2 elements of A (0 and 1) which are related to 3 B. 2 A is related to no elements in B. There are no elements in A related to 5 B. We may represent a relation by a diagram in which a line is drawn between two elements if they are related If A = B, i.e. R is a binary relation on A, we need only draw A, we can then connect points of A to each other as needed. Example 3 A = {0, 1, 2}, R = {(0, 0), (0, 1), (1, 2)}

14 - 10 Relations P. Danziger Example 4 1. > on N, A = B = N, x, y N, xry x > y. So 1 > 0 1R0, but 0 R1 since 0 1. R = {(1, 0), (2, 0), (2, 1), (3, 0), (3, 1), (3, 2),...}. 2. Let P = {x x is a person }. Consider the relation Child of on P, given by x, y P, xry if and only if x is y s child. 3. = on Q. A = B = Q, x, y Q, xry x = y. We wil use the following definition of equality in Q : Given a b, c d Q, we say that a b = c if and only if d a gcd(a, b) = c gcd(c, d) and So, 1 2 = 1 2, 1 2 = 2 4, 2 4 = 1 2, 1 2 = 3 6, 2 4 = 3 6, Congruence modulo n ( n ). A = B = Z, x, y Z, xry x mod n = y mod n. We write x y (mod n). So, for example, if n = 6, b gcd(a, b) = d gcd(c, d). 1 1 (mod 6), 1 7 (mod 6), 1 13 (mod 6), 1 19 (mod 6), (mod 6), 7 7 (mod 6), 7 13 (mod 6), 7 19 (mod 6), (mod 6), 2 8 (mod 6), 2 14 (mod 6), 2 20 (mod 6), (mod 6), 3 9 (mod 6), 3 15 (mod 6), 3 21 (mod 6), (mod 6), 4 10 (mod 6), 4 16 (mod 6), 4 22 (mod 6), (mod 6), 5 11 (mod 6), 5 17 (mod 6), 5 23 (mod 6), (mod 6), 0 6 (mod 6), 0 12 (mod 6), 0 18 (mod 6),... Definition 5 Given a binary relation R from A to B the inverse relation, denoted R 1, is given by R 1 = {(b, a) B A (a, b) R}. Example 6 1. Let A = {0, 1, 2}, B = {3, 4, 5}. R = {(0, 3), (0, 4), (1, 3)}. Then R 1 = {(3, 0), (4, 0), (3, 1)}. 2

15 - 10 Relations P. Danziger 2. Inverse of > on N. a, b N, arb a > b b < a. So > 1 is <, i.e. (a, b) > (b, a) < 3. (Child of) 1. x, y P, x is the child of y if and only if y is the parent of x. So (Child of) 1 is (Parent of). 4. = 1 on Q. Note that by the definition of equality in Q for all x, y Q, x = y y = x. So = 1 is =. 5. Congruence modulo n ( n ). a b (mod n) a mod n = b mod n b mod n = a mod n b a (mod n). So 1 is The last two examples are self inverse. We showed that arb bra. Definition 7 Given n Z + and sets A 1, A 2,..., A n, an n-ary relation on A 1, A 2,..., A n is a subset R of A 1 A 2... A n. If n = 2 it is called a binary relation. If n = 3 it is called a ternary relation. If n = 4 it is called a quaternary relation. Example 8 1. Every subroutine (function) in a computer program is a relation between its inputs and its output(s). int f(int a, char *b, int c) { }. return (int) d; This is a quaternary relation, relating the inputs a, b and c with the output d. i.e. (a, b, c, d) R if and only if f returns d on the inputs a, b and c. If f returns a set of values (an array), rather than a single value, we say that (a, b, c, d) R for each d in the array. In this case A 1 = A 3 = A 4 = Z, and A 2 = Σ A, where Σ A is the ASCII character set. 3

16 - 10 Relations P. Danziger 2. Consider a database, each record of which contains 4 fields. Each record in the database looks like (x, y, z, w), where x A 1, y A 2, z A 3, w A 4, for some sets A 1, A 2, A 3, A 4. We define a quaternary relation R by (x, y, z, w) R if and only if (x, y, z, w) is a record in the database. This is called a relational database. 2 Equivalence Relations 2.1 Reflexive, Symmetric and Transitive Relations (10.2) There are three important properties which a relation may, or may not, have. Definition 9 Given a binary relation, R, on a set A: 1. R is called Reflexive if x A, xrx. 2. R is called Symmetric if x, y A, xry yrx. 3. R is called Transitive if x, y, z A, (xry yrz) xrz. 4. A relation which is reflexive, symmetric and transitive is called an equivalence relation. Example A = {0, 1, 2}, R = {(0, 0), (1, 1), (1, 2), (2, 1), (0, 2), (2, 0)} 2 R2 so not reflexive. For each x, y A xry yrx (by exhaustion). So R is symmetric 1R2 and 2R0, but 1 R0, so R is not transitive. So R is not an equivalence relation (neither reflexive nor transitive). 2. A = {0, 1, 2}, R = {(0, 0), (1, 1), (2, 2), (1, 2), (2, 1)} For each x, y A, xrx, so R is reflexive. For each x, y A, xry yrx (by exhaustion), so R is symmetric. By reflexivity, x A, (xrx xrx) xrx. (1R1 1R2) 1R2, (1R2 2R1) 1R1, (1R2 2R2) 1R2, (2R1 1R1) 2R1. So by exhaustion R is transitive. Thus R is an equivalence relation. 3. > on N 0 0, so > is not reflexive. 1 > 0, but 0 1, so > is not symmetric. Let a, b, c N with a > b and b > c, then a > c, so > is transitive. Thus > is not an equivalence relation (not reflexive or symmetric). 4

17 - 10 Relations P. Danziger 4. (Child of) on P. No person is their own child, so not reflexive. If x is y s child, then y is not x s child, so not symmetric. If x is the child of y and y is the child of z, then x is not the child of z, so not transitive. So Child of is not an equivalence relation. 5. = on Q Reflexivity: Let a b Q, a b = a. So = is reflexive. b Symmetry: Let a b, c d Q, with a b = c d. By the definition of = in Q, c d = a. So = is symmetric. b Transitivity Let a b, c d, e f Q with a b = c d and c d = e f. c Then gcd(c, d) = a gcd(a, b) and c gcd(c, d) = e gcd(e, f), so d Also gcd(c, d) = b gcd(a, b) and d gcd(c, d) = f gcd(e, f), so Thus a b = e, and so = is transitive. f Thus = is an equivalence relation. 6. Congruence modulo n ( n ). e gcd(e, f) = b gcd(a, b) = Reflexivity: Let a Z, a mod n = a mod n, so a a (mod n). So n is reflexive. Symmetry: Let a, b Z, with a b (mod n). Thus a mod n = b mod n, so b a (mod n). So n is symmetric. Transitivity: Let a, b, c Z, with a b (mod n) and b c (mod n). Then a mod n = b mod n and b mod n = c mod n, so a mod n = c mod n, i.e. a c (mod n). So n is transitive. Thus n is an equivalence relation. 2.2 Transitive Closure a gcd(a, b). (Algebra) f gcd(e, f). (Algebra) Suppose we have a binary relation R on a set A which is not transitive. This means that there are triples of elements a, b, c A with arb and brc, but a Rc. Suppose that we create a new relation, R, by adding (a, c) to the relation for each such triple. The resulting relation, R, will be transitive. R is called the transitive closure of R. Definition 11 Given a set A and a binary relation R on A, the transitive closure of R is the relation R which satisfies the following properties: 5

18 - 10 Relations P. Danziger 1. R is transitive. 2. R R. 3. If S is any other transitive relation on A which contains R, then R S. Example 12 A = {0, 1, 2}, R = {(0, 0), (0, 1), (1, 2)} 0 R Equivalence Classes 1 0 R 2 Definition 13 Given an equivalence relation R on a set A, for each a A we define the equivalence class of a, denoted [a], to be the set [a] = {x A xra}. Note R is reflexive so a A, ara, i.e. a [a]. Lemma 14 (10.3.2) Given an equivalence relation R on a set A, a, b A, arb [a] = [b]. S.W.P. (See Epp p. 563) Lemma 15 (10.3.3) Given an equivalence relation R on a set A, a, b A, a Rb [a] [b] = φ. S.W.P. (See Epp p. 564) Theorem 16 Given an equivalence relation R on a set A, the distinct equivalence classes of R are a partition of A. Examples 1. = on Q. Equivalence classes are a b, c d Q such that a b = c d. Thus [ ] { 1 1 = 2 2, 2 4, 3 6, 4 } 8,..., [ ] { 1 1 = 3 3, 2 6, 3 9, 4 } 12,..., [ ] { 2 2 = 3 3, 4 6, 6 9, 8 } 12,..., etc. [ ] [ ] [ ] [ ] [ ] [ ] Note that = = =..., = = =..., etc

19 - 10 Relations P. Danziger When we talk about a number in Q we usually don t care what form it is in, 1 2, 2 4, 3,..., we consider 6 these all equivalent. Thus our usual[ conception ] of Q is in fact an idea of the equivalence classes of 1 Q under =. We should really write rather than This illustrates the usfuleness of equivalence classes, they take out extra information from the set, leaving us with only that information wich we consider useful for a particular purpose. 2. Congruence modulo n ( n ). The equivalence classes are a, b Z such that a mod n = b mod n. [0] = {a Z k Z such that a = kn} [1] = {a Z k Z such that a = kn + 1} [2] = {a Z k Z such that a = kn + 2}. [n 2] = {a Z k Z such that a = kn 2} [n 1] = {a Z k Z such that a = kn 1} Note that... = [ 2n] = [ n] = [0] = [n] = [2n] =...,... = [ 2n + 1] = [ n + 1] = [1] = [n + 1] = [2n + 1] =..., etc. 3. Consider the relation S on R 2, given by u, v R 2, usv a R + such that u = av. S is an equivalence relation (Exercise: prove this). The equivalence classes of S are all those vectors in R 2 which have the same direction. Each unit vector defines an equivalence class. Thus the equivalence classes take out information about magnitude. We may represent each equivalence class by a point on the unit circle. 4 Antisymmetry and Order Relations Definition 17 A relation R on a set A is called antisymmetric if and only if a, b A, arb bra a = b Notes 1. In general if a relation has any element which is related to a different element then if it is antisymmetric then it is not symmetric and visa versa. 2. Antisymmetry allows for the possibility that R is reflexive. Example A = {0, 1, 2}, R = {(0, 0), (1, 1), (2, 2)} This relation is both symmetric and antisymmetric. It is also reflexive. 7

20 - 10 Relations P. Danziger 2. A = {0, 1, 2}, (a) R a = {(0, 0), (0, 1), (1, 2), (1, 0)}. This relation is not antisymmetric ((0, 1) R and (1, 0) R a ), nor reflexive ((2, 2) R a ), nor transitive ((0, 2) R a, but (0, 1) R and (1, 2) R). (b) R b = {(0, 0), (0, 1), (1, 2)}. This relation is antisymmetric, but neither reflexive ((2, 2) R b ), nor transitive ((0, 2) R b ). (c) R c = {(0, 0), (1, 1), (2, 2), (0, 1), (1, 2)}. This relation is antisymmetric and reflexive, but not transitive ((0, 2) R c ). (d) R d = {(0, 0), (1, 1), (2, 2), (0, 1), (1, 2), (0, 2)} This relation is antisymmetric, it is also transitive and reflexive, it is the transitive closure of R c above. 3. > on N. There are no a, b N such that a > b and b > a, so the predicate of the implication is always false so and this releation is antisymmetric. a, b N. 4. The Divides Relation on Z +. a, b Z +, arb a b is antisymmetric: a b and b a implies that a = b. It is also reflexive (a a for all a Z + ) and transitive (transitivity of divisibility). 5. The Subset relation. Let A be any set, consider the set of subsets of A, P(A). B, C P(A), BRC B C eg A = {0, 1, 2} {0} {0, 1}, so {0}R{0, 1}. {0, 1} {0, 1, 2}, so {0, 1}R{0, 1, 2} etc. But {2} {0, 1}, so {2} R {0, 1}. This relation is reflexive (definition of set equality) and transitive (transitivity of (5.2.1 #3)). Definition 19 Given a binary relation, R, on a set A it is called a partial order if it is reflexive, antisymmetric and transitive. The idea is that in an antisymmetric relation, given two unequal elements a, b A then either arb or bra, but not both. If arb then a b, but if bra then b a. We use the symbol to avoid confusion with. This defines an order on the elements of A. However, not all elements are necessarily related, hence the term partial order 8

21 - 10 Relations P. Danziger Definition 20 Given a partial order R on a set A. 1. For any pair of elements a, b A they are called comparable if either arb or bra; otherwise they are called noncomparable. 2. If R is a partial order and every pair of elemets are comparable, then R is called a total order. 3. A subset C A is a chain if every pair of elements of C are comparable. 4. The length of the chain is one less than the number of elements of the chain. The idea of a partial order is that if arb, then a b. Since it is antisymmetric there is no ambiguity. However, not all elements are comparable, hence the term partial order. The chains define lines of comparable elements. Notes A partial order restricted to a chain is a total order. In a total order the entire set A is a chain. Example on N is a total ordering. 2. The Divides Relation on Z + is a partial ordering. It is not a total ordering , so powers of 2 form a chain. Note that 4 12, but 8 12, so 8 and 12 are not comparable and {4, 8, 12} is not a chain. Also 3 4 so 3 and 4 are not comparable. 3. The Subset relation on A = {0, 1, 2}. {{0}, {0, 1}, {0, 1, 2}} and {{1}, {0, 1}, {0, 1, 2}} are both chains, but {{0}, {1}, {0, 1}, {0, 1, 2}} is not, since {0} and {1} are not comparable. Definition 22 Given a partial order R on a set A. An element a A is called maximal if x A, either x a or x and a are not comparable. An element a A is called a greatest element (or a maximum) if x A, x a. An element a A is called minimal if x A, arx or x and a are not comparable. An element a A is called a least element (or minimum) if x A, x a. 9

22 18.312: Algebraic Combinatorics Lionel Levine Lecture date: Feb 24, 2011 Lecture 7 Notes by: Andrew Geng 1 Partially ordered sets 1.1 Definitions Definition 1 A partially ordered set ( poset for short) is a set P with a binary relation R P P satisfying all of the following conditions. 1. (reflexivity) (x, x) R for all x P 2. (antisymmetry) (x, y) R and (y, x) R x = y 3. (transitivity) (x, y) R and (y, z) R (x, z) R In analogy with the order on the integers by size, we will write (x, y) R as x y (or equivalently, y x). We will use x < y to mean that x y and x y. When there are multiple posets in play, we can disambiguate by using the name of the poset as a subscript, e.g. x P y. Remark 2 The word partial indicates that there s no guarantee that all elements can be compared to each other i.e. we don t know that for all x, y P, at least one of x y and x y holds. A poset in which this is guaranteed is called a totally ordered set. Partially ordered sets can be visualized via Hasse diagrams, which we now proceed to define. Definition 3 Given x, y in a poset P, the interval [x, y] is the poset {z P x z y} with the same order as P. Definition 4 y covers x means [x, y] = {x, y}. strictly between x and y (and x y). That is, no elements of the poset lie Definition 5 The Hasse diagram of a partially ordered set P is the (directed) graph whose vertices are the elements of P and whose edges are the pairs (x, y) for which y covers x. It is usually drawn so that elements are placed higher than the elements they cover. 7-1

23 1.2 Examples 1. n (handwritten as n) is the set [n] with the usual order on integers. 2. The Boolean algebra B n is the set of subsets of [n], ordered by inclusion. (S T means S T ). Figure 1: Hasse diagrams of B 2 and B 3 {1, 2, 3} {1, 2} {1} {2} {2, 3} {1, 3} {1, 2} {1} {2} {3} B 2 B 3 3. D n = {all divisors of n}, with d d d d. Figure 2: D 12 = {1, 2, 3, 4, 6, 12} Π n = {partitions of [n]}, ordered by refinement Generalizing B n, any collection P of subsets of a fixed set X is a partially ordered set ordered by inclusion. For instance, if X is a vector space then we can take P to be the set of all linear subspaces. If X is a group, we can take P to be the set of all subgroups or the set of all normal subgroups. 1 A partition of a set X is a set of disjoint subsets of X whose union is X. We say that a partition σ refines another partition τ (so, in the example, σ τ) if every σ i σ is a subset of some τ j(i) τ. 7-2

24 2 Maps between partially ordered sets Definition 6 A function f : P Q between partially ordered sets is order-preserving if x P y f(x) Q f(y). Definition 7 Two partially ordered sets P and Q are isomorphic if there exists a bijective, order-preserving map between them whose inverse is also order-preserving. Remark 8 For those familiar with topology, this should look like the definition of homeomorphic spaces spaces linked by a continuous bijection whose inverse is also continuous. A continuous bijection can fail to have a continuous inverse if the topology of the domain has extra open sets; and an order-preserving bijection between posets can fail to have a continuous inverse if the codomain has extra order information. 2.1 Examples 1. D D 6 B 2 Figure 3: Hasse diagrams of isomorphic posets {1, 2} {1} {2} D 8 4 D 6 B 2 3 Operations on partially ordered sets Given two partially ordered sets P and Q, we can define new partially ordered sets in the following ways. 7-3

25 1. (Disjoint union) P + Q is the disjoint union set P Q, where x P +Q y if and only if one of the following conditions holds. x, y P and x P y x, y Q and x Q y The Hasse diagram of P + Q consists of the Hasse diagrams of P and Q, drawn together. 2. (Ordinal sum) P Q is the set P Q, where x P Q y if and only if one of the following conditions holds. x P +Q y x P and y Q Note that the ordinal sum operation is not commutative. In P Q, everything in P is less than everything in Q. 3. (Cartesian product) P Q is the Cartesian product set, {(x, y) x P, y Q}, where (x, y) P Q (x, y ) if and only if both x P x and y Q y. The Hasse diagram of P Q is the Cartesian product of the Hasse diagrams of P and Q. Example 9 B n 2 2 }{{} n times Proof: Define a candidate isomorphism f : 2 2 B n (b 1,, b n ) {i [n] b i = 2}. It s easy to show that f is bijective. To check that f and f 1 are order-preserving, just observe that each of the following conditions is equivalent to the ones that come before and after it. (b 1,, b n ) (b 1,, b n) b i b i for all i {i b i = 2} {i b i = 2} f((b 1,, b n )) f((b 1,, b n)) Example 10 If k = p 1 p n is a product of n distinct primes, then D k B n. 7-4

26 The proof of Example 10 is similarly easy, using the isomorphism f : D k B n defined by i S p i S. 4. P Q is the set of order-preserving maps from Q to P, where f P Q g means that f(x) P g(x) for all x Q. The notation P Q can be motivated by a basic example. Example 11 P = Q = P Q n {}}{ k {}}{ n k {}}{ Perhaps more importantly, the following properties hold (the proof is the 15th homework problem). P Q+R P Q P R ( P Q ) R P Q R Example 12 The partially ordered set 2 2 is isomorphic to 3. Proof: The order-preserving maps are specified by f 1 (1) = f 1 (2) = 1, f 2 = id, and f 3 (1) = f 3 (2) = 2; so f 1 f 2 f 3. 4 Graded posets Definition 13 A chain of a partially ordered set P is a totally ordered subset C P i.e. C = {x 0,, x l } with x 0 x l. The quantity l = C 1 is its length and is equal to the number of edges in its Hasse diagram. Definition 14 A chain is maximal if no other chain strictly contains it. Definition 15 The rank of P is the length of the longest chain in P. Definition 16 P is graded if all maximal chains have the same length. 7-5

27 Figure 4: Hasse diagram of a poset that is not graded Definition 17 A rank function on a poset P is a map r : P {0,, n} for some n, satisfying the following properties. 1. r(x) = 0 for all minimal x (i.e. there is no y < x). 2. r(x) = n for all maximal x. 3. r(y) = r(x) + 1 whenever y covers x. Lemma 18 P is graded of rank n there exists a rank function r : P {0,, n}. Example 19 B n is graded, and cardinality is a rank function on B n. Proof: : If P is graded of rank n, define r(x) = #{y C y < x} where C is a maximal chain containing x. To check that this is well-defined, we need to show that it is independent of C. So suppose C and C are maximal chains containing x. Write C = C 0 {x} C 1 C = C 0 {x} C 1 where C 0 = {y C y < x} and C 0 = {y C y < x}. If C 0 C 0, then assuming without loss of generality that C 0 > C 0, the chain C 0 x C 1 would have length greater than n. P being graded of rank n disallows this, so C 0 = C 0 = r(x). This establishes that r(x) is well-defined. It is easy to see by maximality of the chains involved that r is indeed a rank function. 7-6

28 : Given a rank function r : P {0,, n} and a maximal chain C = {x 0,, x l }, we observe that x 0 is minimal (otherwise C could be extended by anything less than x 0 ), x l is maximal (otherwise C could be extended by anything greater than x l ), and x i+1 covers x i (otherwise the element between them could be inserted into C). Then r(x 0 ) = 0, r(x l ) = n, and r(x i+1 ) = r(x i ) + 1 for i = 0, 1,..., l 1, so we see that l = n. Remark 20 If a rank function exists, it is in fact uniquely defined. Corollary 21 Any interval in a graded poset is graded. Proof: For [x, y] P, use the rank function r [x,y] (z) = r P (z) r P (x). 5 Lattices Definition 22 A poset L is a lattice if every pair of elements x, y has a least upper bound x y (a.k.a. join), and a greatest lower bound x y (a.k.a. meet); i.e. z x y z x and z y z x y z x and z y. Example 23 B n is a lattice. The meet and join can be explicitly specified as S T = S T S T = S T, and this can serve as a mnemonic for the symbols. 7-7

29 Figure 5: Hasse diagram of part of a lattice x y x y x y 7-8

30 - 7.1 Functions P. Danziger 1 Basic Definitions Definition 1 A binary relation from A to B is called a function if for every element a A there is a unique element b B such that arb. Given a function, f, from A to B, we write f : A B. Given x A we denote the unique element of B which x is mapped to by f(x). The definition of function says two things: 1. a A, b B such that arb. i.e. f(x) is defined for each x A 2. a A, b, c B, (arb arc) b = c. i.e. f(x) is unique. To prove that a relation is a function we must prove 1 and 2 above. To show that a relation is not a function we must find a counterexample to either 1 or 2 above. Example 2 For each of the following relations determine whether they are functions. Prove it. 1. A = B = Z, xry y = x ) x + 3 is defined for all x Z. 2) Let a Z and let b, c Z be such that b = a + 3 and c = a + 3. b = c. So this is a function. 2. > on N. 2R0 and 2R1, so image of 2 is not unique. Thus > is not a function. We say that such a relation is one to many, since one element of A is taken to many (more than one)elements of B. 3. f : R R, f(x) = x 2. 1) x 2 is defined for all x R. 2) Let x R, and let y, z R be such that y = x 2 and z = x 2. y = z. 4. f : R R, f(x) = x. x is not defined for x < 0, so this is not a function. 1

31 - 7.1 Functions P. Danziger 5. f : R + R, f(x) = x. 1) x is defined for all x R +. 2) Let x R +, and let y, z R be such that y = x and z = x y = z. So this is a function. Note the symbol a always means the positive square root of a. 6. f : R + R, f(x) = x 1 2. Let x R +, and let y, z R be such that y = x 1 2 and z = x 1 2 y 2 = z 2 y = ±z. So this is not a function. { x if x 0 7. f : R R, f(x) = x = x if x < 0 1) x is defined for all x R. 2) Let x R and let y, z R be such that y = x and z = x. If x 0 then y = x and z = x, so y = z. If x < 0 then y = x and z = x, so y = z. So f is a function. Note If the graph of a relation satisfies the property that every vertical line cuts the graph exactly once then the relation is a function. We will now consider some of the properties of functions. Definition 3 Given a function f from A to B 1. The domain is all those values x A where f(x) is defined. dom(f) = {a A f(x) is defined }. 2. The co-domain of f is B. 3. The image or range of f is the set of values in y B for which there is an a A such that f(a) = b. im(f) = {y B x A such that y = f(x)}. 4. Two functions f and g are equivalent if dom(f) = dom(g) and x dom(f), f(x) = g(x). We write f = g, or f(x) g(x). Example 4 1. f : R R, f(x) = x + 1 dom(f) = R, im(f) = R 2. f : Z Q, f(x) = x dom(f) = Z, im(f) = {x Q x Z 2x Z} 3. f : R R, f(x) = 2 x. dom(f) = R, im(f) = R +. 2

32 - 7.1 Functions P. Danziger 4. f : R R, f(x) = x + 1, g : R R, g(x) = f and g are equivalent. 1.1 Inverse of a function We can also consider inverses of functions. 1. Find the inverse of f : R R, f(x) = x + 3. If x and y in R, with y = x + 3, then x = y 3. So f 1 : R R, f 1 (x) = x Find the inverse of f : R + R, f(x) = x. If x and y in R, with y = x, then x = y 2. So f 1 : R + R +, f 1 (x) = x Find the inverse of f : R R, f(x) = x { x 2 1 x 1 if x 1 2 if x = 1 Let x, y R, with y = x, then y = ±x. So f 1 consists of pairs of the form (x, x) and (x, x) for every x R. Note that though f is a function f 1 is not. 2 Useful Functions 2.1 The Logarithmic Function (see also section 9.4) Definition 5 Given a, x R +, y R, with a 1, and x = a y, we define the logarithmic function as log a x = y. i.e. logarithms are the inverse operation to exponentiation: log a : R + R, log a x = y x = a y. Theorem 6 For all a, x, y R +, z R, with a 1 1. a log a x = x 2. log a (a z ) = z 3. log a (x z ) = z log a x 4. log a x + log a y = log a (xy) 5. log a x log a y = log a ( x y ) Proof: Exercise Suppose we wish to store a number n N, how many bits will it take? We know that m bits can represent any number from 0 to 2 m 1. Thus n can be stored in m = log 2 n + 1 bits. Unfortunately most calculators do not do log 2, they do either log 10, or ln = log e. We can often estimate the result. For example How many bits are needed to store 346? 2 8 < 346 < 2 9, so 8 < log < 9, thus log = 8. So we will need 9 bits. 3

33 - 7.1 Functions P. Danziger Theorem 7 (Change of Base) Given a, b, x R +, with a, b 1, then log a x = log b x log b a. Proof: Let a, b, x N +, and let y N be such that y = log a x. Then x = a y. (Definition of log a ) Let n R be such that a = b n, i.e. n = log b a. So x = a y = (b n ) y, but (b n ) y = b ny = b n log a x. (Algebra) Thus, taking logarithms on both sides of x = b n log a x, we get log b x = n log a x. So log b x = log b x = log b x n log b a. All of these functions are arithmetic functions, we can have other kinds of functions as well. 2.2 The Identity Function For any set X, we can define the identity function on X, ı X : X X, ı(x) = x. 2.3 Projections Given sets A and B, we can define the projection from A B onto either A or B. p 1 : A B A, p 1 (a, b) = a p 2 : A B B, p 2 (a, b) = b In general given n, i N, with i n and sets A 1, A 2,..., A n, we can define the projection onto the i th coordinate by p i : (A 1 A 2... A n ) A i, p i (a 1, a 2,..., a n ) = a i 2.4 Functions on Languages Let Σ be an alphabet we can define functions on languages over Σ. For example, consider l : Σ Z, l(x) = the length of the string x. Genreally we use Σ = {0, 1}. Suppose we wish to encode a bit string x Σ. We use an encoding function f : Σ Σ. The decoding function is then the inverse function f 1 : Σ Σ. There are essentially 2 reasons to encode a message - error detection/correction and cryptography bit CRC Checksum Consider x Σ } 32. {{.. Σ 32 }, as a packet of n 32 bit words to be sent to a remote machine. n (We may padd x with zeros so that it is a multiple of 32 bits.) Consider the function C : Σ Σ 32, C(x) = p 1 (x) XOR p 2 (x) XOR... XOR p n (x), where p i (x) is the i th 32 bit word of x (a projection). When we are sending a packet of data we calculate the checksum C on the packet, and send this as the last word in the packet. The receiving machine also calculates the checksum on the packet as it comes in, it then checks its 4

34 - 7.1 Functions P. Danziger result against the checksum which has been sent, if they don t match there has been an error, and the receiving machine can request that the packet be resent. Note that this error detection protocol is not 100% accurate. Since f is not one to one, it is possible for two different packets to have the same checksum. However it is widely used Error correction We wish to send a message over a noisy line. Assume that we wish to send characters from the set {A, B, C, D, E, F, G}. We encode each character of the message to a three digit number using the following encoding function: f(a) = 013, f(b) = 124, f(c) = 235, f(d) = 346, f(e) = 450, f(f ) = 561, f(g) = 602. Note that any two digits uniquely determine the third in a set. If we assume that there is at most one error in each letter, then if we recieve, for example, 642, we can correct this to 602, or G. This is an example of an error correcting code, it can correct at most one error per character (A-G) sent Hamming distance function Given n N + H : Σ n Σ n N, H(x, y) = the number of positions in which the strings x and y differ. Example 8 Let n = 3 H(001, 101) = 1, since 001 and 101 differ in only one position. H(001, 100) = 2, H(001, 110) = Encryption/Decryption We wish to create a password for entry into a system. Given n N +, the number of characters in the password, consider the function f : N +n N +, f(x 1, x 2,..., x n ) = x 1 x 2... x n. Suppose that a given sequence x 1, x 2,..., x n satisfies f(x 1, x 2,..., x n ) = a, for some number a N. a is stored in the system, we enter the sequence of numbers x 1, x 2,..., x n, the computer calculates f(x 1, x 2,..., x n ). It then checks this against the stored answer, a, if they match we get access. The advantage of this system is that it does not require the password itself to be stored anywhere in the system, only the result of f on the password. Even if we could get to the stored answer, a we would have to factor it in order to find x 1, x 2,..., x n. 2.5 Boolean Functions A Boolean function is a function f : {0, 1} n {0, 1} Any truth table naturally defines a boolean function, with T = 1 and F = 0, n is the number of inputs to the boolean expression. 5

35 - 7.1 Functions P. Danziger 2.6 Hashing functions p q p q f f(1, 1) = f(1, 0) = f(0, 1) = f(0, 0) = 1 Suppose we have a large database which needs to be able to access a record quickly given an identifying number x. We could define a large array A so that A[x] is the record corresponding to x, however if x is large, or the array is sparse, this is an inefficient use of memory. An example of such a database is student records. The record for the student is accessed by typing in a 9 digit student number. However there are considerably less than 10 9 students, to define an array of this size is both impractical and wasteful. The solution is a hashing function. A hashing function h : N + N +, takes a large number and returns a smaller one. When looking for a space to put a record, x, we put it in h(x). If h(x) is already used (this is called a collision) we try h(x) + 1, if this is used we try h(x) + 2 and so on until we find a free space. When searching for a particular record, indexed by x, we look first in h(x), if the record we want is not there we try h(x) + 1, then h(x) + 2, and so on until we find our record. For example consider h(x) = x/100 mod 5, 000, this allows for 5,000 spaces. n A[n] We first place , h( ) = Now we wish to place , h( ) = 1543, but since this is used we go to the next free slot, The operation x/100 removes the last two digits. In fact the first two digits contain information (the year in which the student first registered), and so tend to be similar. Thus a much better idea would be to remove the first two digits, rather than the last two. 3 One to One and Onto Functions Definition 9 Given a function f : A B 1. f is called one to one (1-1) or injective if x 1, x 2 A, f(x 1 ) = f(x 2 ) x 1 = x f is called onto or surjective if y B, x A such that f(x) = y. 6.

36 - 7.1 Functions P. Danziger 3. If f is both one to one and onto (injective and surjective) it is called a one to one correspondence or a bijection. To show that a function f : A B is 1-1 Let x 1, x 2 A, with f(x 1 ) = f(x 2 ) Show that this implies that x 1 = x 2 To show that a function f : A B is onto Let y B. Find an x A such that y = f(x). To show that a function f : A B is not 1-1 Find x 1, x 2 A such that f(x 1 ) = f(x 2 ). To show that a function f : A B is not onto Find y B such that x A with f(x) = y. Example 10 Decide whether the following functions are bijections, prove it. 1. f : Z Z, f(x) = x + 1. Let x 1, x 2 Z, with f(x 1 ) = f(x 2 ). Thus x = x x 1 = x 2. (Algebra) Thus f is injective. Let y Z, consider x Z such that y = x + 1, then x = y 1. So, given y Z, take x = y 1 Z to get f(x) = y. Thus f is surjective. So f is a bijection. 2. g : Z Z, g(n) = 3n. Let n 1, n 2 Z, with g(n 1 ) = g(n 2 ). Thus 3n 1 = 3n 2 n 1 = n 2. (Algebra) Thus g is is not a multiple of 3 for any integer n Z. (QRT) Thus g is not surjective. So g is not a bijection. 3. h : R R, h(n) = 3n Let x 1, x 2 R, with h(x 1 ) = h(x 2 ). Thus 3x 1 = 3x 2 x 1 = x 2. (Algebra) Thus h is 1-1. Let y R, consider x R such that y = 3x, then x = 1y. 3 So, given y R, take x = 1 y R to get h(x) = y. 3 Thus h is surjective. So h is a bijection. 7

37 - 7.1 Functions P. Danziger 4. f : R R, f(x) = x 2. ( 1) 2 = 1 2, so f is not 1-1. There is no x R such that x 2 = 1, so f is not onto. f is not a bijection. 5. g : R + R, g(x) = x 2 Let x 1, x 2 R +, with g(x 1 ) = g(x 2 ), i.e. x 2 1 = x 2 2. x 1 = ±x 2, but x 1 > 0, and x 2 > 0, so x 1 = x 2. Thus g is 1-1. There is no x R such that x 2 = 1, so g is not onto. So g is not a bijection. 6. h : R + R +, h(x) = x 2. h is 1-1 as for g above. Let y R +, consider x R + so that y = h(x). y = x 2 x = y. So h is onto. Thus h is a bijection. Theorem 11 If f : X Y is a bijection, then the inverse of f, f 1 : Y X is also a bijection. Proof: Let f : X Y be a bijection, and let f 1 : Y X be its inverse. i.e. y Y, x X, f 1 (y) = x y = f(x). We wish to show that f 1 (x) is a bijection (1-1 and onto) 1-1 Let y 1, y 2 Y, x X, with x = f 1 (y 1 ) = f 1 (y 2 ). Then f(x) = y 1 and f(x) = y 2, so since f is a function, y 1 = y 2. Onto Let x X. [We must find a y Y such that f 1 (y) = x.] Take y Y to be y = f(x). 4 Composition of Functions Definition 12 Given two functions f : X Y and g : Y Z such that im(f) Y, we may define a new function g f : X Z, (g f)(x) = g(f(x)). This is g composed with f. Example 13 f : Z Z, f(x) = x + 1, g : Z Z, g(x) = x 2 (f g)(x) = f(g(x)) = f(x 2 ) = x (g f)(x) = g(f(x)) = g(x + 1) = (x + 1) 2. Theorem 14 For any function f : X Y, f ı X = ı Y f = f 8

38 - 7.1 Functions P. Danziger Proof: Let x X. Since for any x X, ı X (x) = x, (f ı X )(x) = f(ı X (x)) = f(x). Let y Y be such that y = f(x), then (ı Y f)(x) = ı Y (f(x)) = ı Y (y) = y = f(x). Thus ı X is the identity of the operation of composition Theorem 15 If f : X Y is a bijection with inverse f 1 : Y X then f f 1 = ı Y and f 1 f = ı X Example 16 Let f : Q Q, f(x) = 2x + 1 Exercise: Show that f is a bijection. f 1 (x) = 1 (x 1) 2 (f f 1 )(x) = f(f 1 (x)) = f( 1(x 1)) = 2 ( 1 (x 1)) + 1 = x. 2 2 (f 1 f)(x) = f 1 (f(x)) = f 1 (2x + 1) = 1 ((2x + 1) 1) = x. 2 Theorem 17 If f : X Y and g : Y Z are both 1-1 functions, then g f is also 1-1. Proof: Let f : X Y and g : Y Z both be 1-1 functions. Let x 1, x 2 X be such that (g f)(x 1 ) = (g f)(x 2 ) Thus g(f(x 1 )) = g(f(x 2 )), but g is 1-1, so f(x 1 ) = f(x 2 ), but f is 1-1 so x 1 = x 2. Example 18 f : R R, f(x) = 10 x, g : R R, g(x) = 3x. Note that both f and g are 1-1, though f is not onto. (f g)(x) = f(g(x)) = f(3x) = 10 3x. Let x 1, x 2 R, with (f g)(x 1 ) = (f g)(x 2 ), i.e. 10 3x 1 = 10 3x 2 x 1 = x 2 (Take logarithms on both sides.) Theorem 19 If f : X Y and g : Y Z are both onto functions, then g f is also onto. Proof: Let f : X Y and g : Y Z both be onto functions. Thus every z Z is the image of some y Y under g, and this y is the image of some x X under f. So every z Z is the image of x X under g f. 9

39 Functions: basic terms Functions are often identified with the formulas that define them. EG: f (x ) = x 2 This point of view does not suffice in Discrete Math. necessarily defined over the real numbers. In discrete math, functions are not EG: f (x ) = 1 if x is odd, and 0 if x is even. So in addition to specifying the formula one needs to define the set of elements which are acceptable as inputs, and the set of elements into which the function outputs. DEF: A function f : A B is given by a domain set A, a codomain set B, and a rule which for every element a of A, specifies a unique element f (a) in B. f (a) is called the image of a, while a is called the pre-image of f (a). The range (or image) of f is defined by f (A) = {f (a) a A }. EG: Let f : Z R be given by f (x ) = x 2 Q1: What are the domain and co-domain? Q2: What s the image of -3? Q3: What are the pre-images of 3, 4? Q4: What is the range f (Z)? Solution: f : Z R is given by f (x ) = x 2 A1: domain is Z, co-domain is R A2: image of -3 = f (-3) = 9 A3: pre-images of 3: none as 3 isn t an integer! pre-images of 4: -2 and 2 A4: range is the set of perfect squares f (Z) = {0,1,4,9,16,25, }

40 Functions: Sub-ranges. The effect of functions on subsets of the domain is often important. DEF: Given a function f : A B. The pre-image set (or inverse image) of b is defined by f -1 (b) = {a A f (a)=b }. Given subsets S A and T B, the image set of S is defined by f (S ) = {f(a ) a S } and the pre-image set (or inverse image) of T is defined by f -1 (T ) = {a A f (a) T }. NOTE: Even when f is not invertible, the inverse image is defined! EG: f : Z R with f (x ) = x 2 Q1: Calculate f 1 (3) Q2: Calculate f 1 (4) Q3: Calculate f ( {-9,-5,-3,0,1,2,3,4} ) Q4: Calculate f 1 ({-9,-5,-3,0,0.25,1,2,2.25,3,4}) EG: f : Z R with f (x ) = x 2 A1: f 1 (3) = A2: f 1 (4) = {-2, 2} A3: f ( {-9,-5,-3,0,1,2,3,4} ) = {81,25,9,0,1,4,16} A4: f 1 ({-9,-5,-3,0,0.25,1,2,2.25,3,4}) = {0,-1,1,-2,2}

41 One-to-One, Onto, Bijection. Intuitively. Bijection means that when arrows reversed, a function results. Equivalently, that both one-to-one ness and onto ness occur. BAD: not 1-to-1. Reverse over-determined: BAD: not onto. Reverse under-determined: GOOD: Bijection. Reverse is a function: L6 14

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related.

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related. - 10 Relations P. Danziger 1 Relations (10.1) Definition 1 1. A relation from a set A to a set B is a subset R of A B. 2. Given (x, y) R we say that x is related to y and write xry. 3. If (x, y) R we say

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

Reading 11 : Relations and Functions

Reading 11 : Relations and Functions CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Reading 11 : Relations and Functions Instructor: Beck Hasti and Gautam Prakriya In reading 3, we described a correspondence between predicates

More information

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

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland Discrete Mathematics W. Ethan Duckworth Fall 2017, Loyola University Maryland Contents 1 Introduction 4 1.1 Statements......................................... 4 1.2 Constructing Direct Proofs................................

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations 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 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

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section Summary. Relations and Functions Properties of Relations. Combining Relations Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included

More information

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

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 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 century. Most students have seen sets before. This is intended

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

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

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation Index. gcd(a, b) (greatest common divisor) NT-16 Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9

More information

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010) http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product

More information

Sets and Motivation for Boolean algebra

Sets and Motivation for Boolean algebra SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

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

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

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler Chapter VI Relations Assumptions are the termites of relationships. Henry Winkler Studying relationships between objects can yield important information about the objects themselves. In the real numbers,

More information

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics MATH10111 - Foundations of Pure Mathematics 9 RELATIONS 9.1 Reflexive, symmetric and transitive relations Let A be a set with A. A relation R on A is a subset of A A. For convenience, for x, y A, write

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

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions Today s Topics Set identities Methods of proof Relationships to logical equivalences Functions Important definitions Relationships to sets, relations Special functions Set identities help us manipulate

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

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

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

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

Notes on ordinals and cardinals

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

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

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

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

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 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

3. Abstract Boolean Algebras

3. Abstract Boolean Algebras 3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,

More information

Relations. We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples.

Relations. We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples. Relations We have seen several types of abstract, mathematical objects, including propositions, predicates, sets, and ordered pairs and tuples. Relations use ordered tuples to represent relationships among

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

RED. Fall 2016 Student Submitted Sample Questions

RED. Fall 2016 Student Submitted Sample Questions RED Fall 2016 Student Submitted Sample Questions Name: Last Update: November 22, 2016 The questions are divided into three sections: True-false, Multiple Choice, and Written Answer. I will add questions

More information

Real Analysis. Joe Patten August 12, 2018

Real Analysis. Joe Patten August 12, 2018 Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.

More information

Cartesian Products and Relations

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

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

1. (B) The union of sets A and B is the set whose elements belong to at least one of A 1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to

More information

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

MATH 433 Applied Algebra Lecture 14: Functions. Relations. MATH 433 Applied Algebra Lecture 14: Functions. Relations. Cartesian product Definition. The Cartesian product X Y of two sets X and Y is the set of all ordered pairs (x,y) such that x X and y Y. The Cartesian

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

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups HL Topic (Further Mathematics SL Topic 3) 9 This topic explores the fundamental nature of algebraic structures and the relationships between them. Included is an extension of the work covered in the Core

More information

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs

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

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook) Relations Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations Reading (Epp s textbook) 8.-8.3. Cartesian Products The symbol (a, b) denotes the ordered

More information

MATH1240 Definitions and Theorems

MATH1240 Definitions and Theorems MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n

More information

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

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

Foundations of algebra

Foundations of algebra Foundations of algebra Equivalence relations - suggested problems - solutions P1: There are several relations that you are familiar with: Relations on R (or any of its subsets): Equality. Symbol: x = y.

More information

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) (2011 Admission Onwards) I Semester Core Course FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK 1) If A and B are two sets

More information

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

Theorem. 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 information

1 Predicates and Quantifiers

1 Predicates and Quantifiers 1 Predicates and Quantifiers We have seen how to represent properties of objects. For example, B(x) may represent that x is a student at Bryn Mawr College. Here B stands for is a student at Bryn Mawr College

More information

Sets, Logic, Relations, and Functions

Sets, Logic, Relations, and Functions Sets, Logic, Relations, and Functions Andrew Kay September 28, 2014 Abstract This is an introductory text, not a comprehensive study; these notes contain mainly definitions, basic results, and examples.

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

Discrete Mathematics

Discrete Mathematics Discrete Mathematics Dr. Thomas Baird January 7, 2013 Contents 1 Logic 2 1.1 Statements.................................... 2 1.1.1 And, Or, Not.............................. 2 1.1.2 Implication...............................

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

Part II. Logic and Set Theory. Year

Part II. Logic and Set Theory. Year Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]

More information

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis

More information

Automata Theory and Formal Grammars: Lecture 1

Automata Theory and Formal Grammars: Lecture 1 Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)

More information

CSC Discrete Math I, Spring Relations

CSC Discrete Math I, Spring Relations CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

Sets, Functions and Relations

Sets, Functions and Relations Chapter 2 Sets, Functions and Relations A set is any collection of distinct objects. Here is some notation for some special sets of numbers: Z denotes the set of integers (whole numbers), that is, Z =

More information

Set theory. Math 304 Spring 2007

Set theory. Math 304 Spring 2007 Math 304 Spring 2007 Set theory Contents 1. Sets 2 1.1. Objects and set formation 2 1.2. Unions and intersections 3 1.3. Differences 4 1.4. Power sets 4 1.5. Ordered pairs and binary,amscdcartesian products

More information

Introduction to Proofs

Introduction to Proofs Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

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

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (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. 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 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

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

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of 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

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Foundations Revision Notes

Foundations Revision Notes oundations Revision Notes hese notes are designed as an aid not a substitute for revision. A lot of proofs have not been included because you should have them in your notes, should you need them. Also,

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

Automata and Languages

Automata and Languages Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets

More information

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams Contents : basic definitions and notation A set is an unordered collection of its elements (or members). The set is fully specified by its elements. Usually capital letters are used to name sets and lowercase

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

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b

More information

MA Discrete Mathematics

MA Discrete Mathematics MA2265 - Discrete Mathematics UNIT I 1. Check the validity of the following argument. If the band could not play rock music or the refreshments were not delivered on time, then the New year s party would

More information

Relations Graphical View

Relations Graphical View Introduction Relations Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Recall that a relation between elements of two sets is a subset of their Cartesian

More information

Relations, Functions, and Sequences

Relations, Functions, and Sequences MCS-236: Graph Theory Handout #A3 San Skulrattanakulchai Gustavus Adolphus College Sep 13, 2010 Relations, Functions, and Sequences Relations An ordered pair can be constructed from any two mathematical

More information

Module 2: Language of Mathematics

Module 2: Language of Mathematics Module 2: Language of Mathematics Theme 1: Sets A set is a collection of objects. We describe a set by listing all of its elements (if this set is finite and not too big) or by specifying a property that

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

A is a subset of (contained in) B A B iff x A = x B Socrates is a man. All men are mortal. A = B iff A B and B A. A B means A is a proper subset of B

A is a subset of (contained in) B A B iff x A = x B Socrates is a man. All men are mortal. A = B iff A B and B A. A B means A is a proper subset of B Subsets C-N Math 207 - Massey, 71 / 125 Sets A is a subset of (contained in) B A B iff x A = x B Socrates is a man. All men are mortal. A = B iff A B and B A x A x B A B means A is a proper subset of B

More information

Sets. Subsets. for any set A, A and A A vacuously true: if x then x A transitivity: A B, B C = A C N Z Q R C. C-N Math Massey, 72 / 125

Sets. Subsets. for any set A, A and A A vacuously true: if x then x A transitivity: A B, B C = A C N Z Q R C. C-N Math Massey, 72 / 125 Subsets Sets A is a subset of (contained in) B A B iff x A = x B Socrates is a man. All men are mortal. A = B iff A B and B A x A x B A B means A is a proper subset of B A B but A B, so x B x / A Illustrate

More information

Mathematical Reasoning & Proofs

Mathematical Reasoning & Proofs Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0

More information

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling Note: You are expected to spend 3-4 hours per week working on this course outside of the lectures and tutorials. In this time you are expected to review

More information

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS 1. Relations Recall the concept of a function f from a source set X to a target set Y. It is a rule for mapping

More information

2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B).

2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B). 2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B). 2.24 Theorem. Let A and B be sets in a metric space. Then L(A B) = L(A) L(B). It is worth noting that you can t replace union

More information

MATH 363: Discrete Mathematics

MATH 363: Discrete Mathematics MATH 363: Discrete Mathematics Learning Objectives by topic The levels of learning for this class are classified as follows. 1. Basic Knowledge: To recall and memorize - Assess by direct questions. The

More information

Chapter 1. Logic and Proof

Chapter 1. Logic and Proof Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known

More information

Lecture 5: Functions : Images, Compositions, Inverses

Lecture 5: Functions : Images, Compositions, Inverses Lecture 5: Functions : Images, Compositions, Inverses 1 Functions We have all seen some form of functions in high school. For example, we have seen polynomial, exponential, logarithmic, trigonometric functions

More information

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

CSE 1400 Applied Discrete Mathematics Definitions

CSE 1400 Applied Discrete Mathematics Definitions CSE 1400 Applied Discrete Mathematics Definitions Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Arithmetic 1 Alphabets, Strings, Languages, & Words 2 Number Systems 3 Machine

More information

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

More information

CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS Discrete Mathematics Dr. D. Manivannan (Mani) CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

More information

1.4 Equivalence Relations and Partitions

1.4 Equivalence Relations and Partitions 24 CHAPTER 1. REVIEW 1.4 Equivalence Relations and Partitions 1.4.1 Equivalence Relations Definition 1.4.1 (Relation) A binary relation or a relation on a set S is a set R of ordered pairs. This is a very

More information

Background for Discrete Mathematics

Background for Discrete Mathematics Background for Discrete Mathematics Huck Bennett Northwestern University These notes give a terse summary of basic notation and definitions related to three topics in discrete mathematics: logic, sets,

More information

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR 1 Introduction Foundations of Computing Science Pallab Dasgupta Professor, Dept. of Computer Sc & Engg 2 Comments on Alan Turing s Paper "On Computable Numbers, with an Application to the Entscheidungs

More information

Math 42, Discrete Mathematics

Math 42, Discrete Mathematics c Fall 2018 last updated 10/10/2018 at 23:28:03 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,

More information

Mathematics Review for Business PhD Students Lecture Notes

Mathematics Review for Business PhD Students Lecture Notes Mathematics Review for Business PhD Students Lecture Notes Anthony M. Marino Department of Finance and Business Economics Marshall School of Business University of Southern California Los Angeles, CA 90089-0804

More information

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

Lecture 4: Constructing the Integers, Rationals and Reals

Lecture 4: Constructing the Integers, Rationals and Reals Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 4: Constructing the Integers, Rationals and Reals Week 5 UCSB 204 The Integers Normally, using the natural numbers, you can easily define

More information

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics SHRI ANGALAMMAN COLLEGE OF ENGINEERING AND TECHNOLOGY (An ISO 9001:2000 Certified Institution) SIRUGANOOR, TIRUCHIRAPPALLI 621 105 DEPARTMENT OF MATHEMATICS MA1301 Discrete Mathematics UNIT-I PART-A 1.Give

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.

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