Math 42, Discrete Mathematics

Size: px
Start display at page:

Download "Math 42, Discrete Mathematics"

Transcription

1 c Fall 2018 last updated 12/05/2018 at 15:47:21 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, 8th Ed., the ocial text adopted for this course.

2 Binary from A to B Denition Let A and B be sets. A binary relation from A to B is a subset of A B Suppose R A B is a relation from A to B. If (a, b) R, we write arb and say that a is related to b by R. If (a, b) / R, we write a Rb. Remark A relation as dened above is called binary because it involves ordered pairs. We could talk about ternary relations involving ordered triples, quaternary relations involving ordered quadruples, n-ary relations involving ordered n-tuples, etc. Since we will restrict our investigation to the binary case, we will henceforth simply speak of relations," instead of binary relations."

3 Examples Examples 1. Suppose A = {students in this Math 42 class} and B = {countries in the world other than the US}. Let R 1 = {(a, b) a has visited b}. 2. If f : A B is a function, then R 2 = {(a, f(a)) a A} is a relation, called the graph of the function. Remarks Conversely, if R A B is a relation with the property that every element of A is the rst entry in precisely one ordered pair of R, then setting f(a) = b whenever (a, b) R denes a function f : A B. Note that R 1 illustrates the fact that a given a A may correspond under a relation to many elements b Bor none.

4 Examples 3. R 3 = A B. 4. R 4 = A B A B. For the most part, we will be interested in relations where B = A. Denition A relation on A is a subset of A A, i.e., a relation from A to A. Examples The relations 3 and 4 above are relations on A when B = A. 5. For any set A, R 5 = {(a, a) a A} is a relation on A. This relation, of course, is just equality, and we write a 1 = a 2 " instead of a 1 R 5 a 2."

5 Examples Examples 6. R 6 = {(a 1, a 2 ) a 1 a 2 }. We write a 1 a 2 " instead of a 1 R 6 a 2." For the following examples, let A = Z R 7 = {(a 1, a 2 ) a 1 a 2 }. We write a 1 a 2 " instead of a 1 R 7 a 2." 8. R 8 = {(a 1, a 2 ) a 1 > a 2 }. We write a 1 > a 2 " instead of a 1 R 8 a 2." Remark 7 and 8 can be dened for A any subset of R. 9. R 9 = {(a 1, a 2 ) a 1 divides a 2 }. We write a 1 a 2 " instead of a 1 R 9 a 2."

6 Examples Examples 10. If A = P(S), for some set S, we may dene the relation R 10 = {(X, Y) X Y}. We write X Y" instead of XR 10 Y." For the following examples, let A = {all triangles}. 11. R 11 = {(a 1, a 2 ) a 1 is congruent to a 2 }. We write a 1 = a2 " instead of a 1 R 11 a 2." 12. R 12 = {(a 1, a 2 ) a 1 is similar to a 2 }. We write a 1 a 2 " instead of a 1 R 12 a 2." Remark For technical reasons, it turns out that there is no set of all triangles." But at this point there's no harm in pretending that there is.

7 Examples For the following two examples, let A be the set of all human beings, living and dead. 13. R 13 = {(a 1, a 2 ) a 1 is Facebook friends with a 2 }. 14. R 14 = {(a 1, a 2 ) a 1 loves a 2 }. 15. Let A = {(p, q) p, q Z q 0} and dene (p 1, q 1 )R 15 (p 2, q 2 ) if and only if p 1 q 2 = p 2 q 1. Warning The set A is already a set of ordered pairs. So the relation R 15 is a set of ordered pairs of ordered pairs: ((p 1, q 1 ), (p 2, q 2 )). This relation is much more complicated than the others but it is nonetheless very important.

8 Properties of on A Denitions Let R be a relation on A. R is called reexive if ara for all a A. That is, if a A, (a, a) R. R is called symmetric if a 1 Ra 2 implies a 2 Ra 1. That is, if (a 1, a 2 ) A A, ((a 1, a 2 ) R) ((a 2, a 1 ) R). R is called antisymmetric if a 1 Ra 2 and a 2 Ra 1 implies a 1 = a 2. R is called transitive if a 1 Ra 2 and a 2 Ra 3 implies a 1 Ra 3. That is, if (a 1, a 2, a 3 ) A A A, (((a 1, a 2 ) R) (a 2, a 3 ) R)) ((a 1, a 3 ) R)

9 Properties of Example Table 1: Properties of Example R S T A R3 Y Y Y R4 Y Y Y R5 Y Y Y Y R6 Y R7 Y Y Y R8 Y Y R9 Y Y Y R10 Y Y Y R11 Y Y Y R12 Y Y Y R13 Y R14 R15 Y Y Y

10 A type of relation on A that is very important in many branches of mathematics is an equivalence relation. Denition A relation R on a set A is called an equivalence relation on A if R is 1. reexive, 2. symmetric, & 3. transitive. Example Let A = Z and x a positive integer n. Dene a relation R 16 on A by R 16 = {(r, s) r s = nk for some k Z} = {(r, s) n divides r s evenly} (1)

11 Examples Claim R 16 is an equivalence relation on Z. Proof. Reexive If r Z, we must show that rr 16 r. But r r = 0 = n 0, which is what we need. Symmetric If rr 16 s, we must show sr 16 r. rr 16 s gives us that r s = nk for some k Z. But then s r = nk = n( k), and k Z. So we have what we need. Transitive If rr 16 s and sr 16 t, then r s = nk and s t = nl for some k, l Z. Then r t = (r s) + (s t) = nk + nl = n(k + l). And since (k + l) Z, we have rr 16 t, which is what we needed.

12 Examples Remarks If (r, s) R 16 i.e., rr 16 swe write r s (mod n) and say r is congruent to s modulo n." If n = 2, r s (mod 2) if and only if r and s have the same parity, i.e., are both odd or both even.

13 Examples Example Recall that when A = {(p, q) p, q Z q 0}, we dened (p 1, q 1 )R 15 (p 2, q 2 ) if and only if p 1 q 2 = p 2 q 1. Claim R 15 is an equivalence relation on Z (Z {0}). Proof. Reexive If (p, q) A, then pq = pq. So (p, q)r 15 (p, q), as needed. Symmetric If (p 1, q 1 )R 15 (p 2, q 2 ), then p 1 q 2 = p 2 q 1. But then p 2 q 1 = p 1 q 2. So (p 2, q 2 )R 15 (p 1, q 1 ), as desired.

14 Examples Example (cont'd) Proof. (cont'd) Transitive If (p 1, q 1 )R 15 (p 2, q 2 ) and (p 2, q 2 )R 15 (p 3, q 3 ), then p 1 q 2 = p 2 q 1, and p 2 q 3 = p 3 q 2. So p 1 q 3 q 2 = p 2 q 3 q 1 = p 2 q 1 q 3 = p 3 q 1 q 2. (2) But the extreme left and right ends of (2) both contain a factor of q 2 0. Dividing by q 2 gives p 1 q 3 = p 3 q 1, and hence the desired (p 1, q 1 )R 15 (p 3, q 3 ).

15 Denition Two elements a 1, a 2 A that are related by an equivalence relation Ri.e., that satisfy a 1 Ra 2 are called equivalent. The notation a 1 a 2 is often used to denote that a 1 and a 2 are equivalent with respect to a particular equivalence relation. (Although specic equivalence relations like congruence mod n, and, of course, equality, have their own symbols, and =.)

16 Classes Denition If is an equivalence relation on A, and if a A, then we dene [a], the equivalence class of a, by [a] = {b A b a}. (3) Remark In cases where more than one equivalence relation on A is under consideration, we write [a] R = {b A bra} to emphasize the particular equivalence relation R.

17 Classes Examples Example Recall that for a xed positive integer n, we dened the relation R 16 by R 16 = {(r, s) r s = nk for some k Z} = {(r, s) n divides r s evenly} Moreover, we proved that R 16 is an equivalence relation. So what are the equivalence classes for R 16? If m Z, we have [m] = {k Z k m mod n} = {k Z k m = nl for some l Z} = {k Z k = m + nl for some l Z} = {m, m ± n, m ± 2n,...} (4) (5)

18 Classes Examples Example Recall that when A = {(p, q) p, q Z q 0}, we dened (p 1, q 1 )R 15 (p 2, q 2 ) if and only if p 1 q 2 = p 2 q 1. Furthermore, we proved that R 15 is an equivalence relation. So what are the equivalence classes for R 15? If (p, q) A, we have [(p, q)] = {(r, s) A (r, s) (p, q)} (6) Case 1 (r, s) (0, q) if and only if r = 0. So [(0, q)] = {(0, s) s 0} (7)

19 Classes Examples Example (cont'd) Case 2 If p 0, (r, s) (p, q) rq = ps r p = s q = v Q {0} (8) so (r, s) = (vp, vq). Thus, [(p, q)] = {(r, s) (r, s) (p, q)} = {(vp, vq) v Q {0}} A (9)

20 Classes Examples Example (cont'd) For example, [(1, 2)] = {(1, 2), ( 1, 2), (2, 4), ( 2, 4), (3, 6),...} (10) Remark When we use the rational numbersnumbers of the form p/q where p, q Z and q 0we're actually dealing with the equivalence classes discussed in this example because we're using the fact that 1 2 = 1 2 = 2 4 = 2 4 = 3 6 = 3 6 =... That's why this rather complicated example is important.

21 Partitions Denition A partition of a set S is a collection of disjoint nonempty subsets of S whose union is all of S. In other words, P = {A i A i S i I} is a partition of S if and only if 1. A i i I; 2. A i A j = i j I; and 3. i I A i = S. Remark We call the A i in a partition mutually exclusive and exhaustive because they are mutually exclusive and together they exhaust all the possible elements of S.

22 Partitions Figure 1: A Partition of a Set

23 Partitions Partitions are intimately related to equivalence relations, as the following theorem shows. Theorem Let R be an equivalence relation on a set S. Then the equivalence classes of R form a partition of S. Conversely, given a partition {A i i I} of the set S, there is an equivalence relation R that has the sets A i, i I, as its equivalence classes.

24 Partitions Proof. " Assume that R is an equivalence relation on S and Let P = {[s] s S} be the set of its equivalence classes. We must show that P is a partition of S. 1. For each equivalence class [s] P, s [s] by reexivity, so [s]. 2. Given [s], [t] P, we must show that either [s] = [t] or [s] [t] =. Suppose u [s] [t], i.e., [s] [t]. Then u s and u t. Now if v [s], then v s. But symmetry of the relation gives that s u, and transitivity then implies that v u; transitivity again gives v t. Hence [s] [t]. A similar argument gives that [t] [s], and so [s] = [t].

25 Partitions Proof. (cont'd) 3. s S [s] S since [s] S s S. On the other hand, for every s S, s [s] s S [s]. Thus s S [s] = S, as needed. " If P = {A i i I} is a partition of S, we must show that P denes an equivalence relation R on S whose equivalence classes are the A i. Dene the relation R by s t if and only if s, t A i0 for some i 0 I, i.e., if and only if s and t are in the same piece of the partition. Reexive If s S, then since i I A i = S, we must have s A i0 for some i 0 I. But since s is in the same A i0 as itself, s s.

26 Partitions Proof. (cont'd) Symmetric If s t, then s, t A i0 for some i 0 I. But then t, s A i0, and so t s. Transitive If s t and t v, then s, t A i0 for some i 0 I, and t, v A j0 for some j 0 I. Then t A i0 A j0. This implies that A j0 = A i0, so s, v A i0, and thus s v, as needed.

27 Partitions Example Example Let A = R. And consider P = {[k + i/ , k + i/ ) k Z, i = 0,..., 99} (11) Claim P is a partition of A = R. So that means that P gives rise to an equivalence relation. Dene x y if and only if 100x = 100y This is the equivalence relation that gives rise to the partition P.

28 Partitions Example Example (cont'd) What's it all about? This is the equivalence relation we get when we round a number to the nearest hundredth. A similar argument yields the equivalence relation of rounding to any specied decimal place.

29 Partitions Example Example Suppose f : X Y is a function. Dene a relation on X by x 1 x 2 if and only if f(x 1 ) = f(x 2 ). Show that is an equivalence relation. Proof. Reexive For each x X, f(x) = f(x) since = is reexive. Thus x x. Symmetric If x 1 x 2, then f(x 1 ) = f(x 2 ). But = is symmetric, so f(x 2 ) = f(x 1 ), and thus x 2 x 1. Transitive x 1 x 2 and x 2 x 3, then f(x 1 ) = f(x 2 ) and f(x 2 ) = f(x 3 ). But then f(x 1 ) = f(x 3 ) by the transitivity of =, and so x 1 x 3, as needed.

30 Partitions Example Example (cont'd) Remark Note that the same resultwith the same proofwould hold if were an equivalence relation on Y and we dened on X by x 1 x 2 if and only if f(x 1 ) f(x 2 ) Suppose that f : R R is given by f(x) = sin x and that we dene x 1 x 2 if and only if f(x 1 ) = f(x 2 ). What is [π/2], i.e., the equivalence class represented by π/2? [π/2] = {x R sin x = sin π/2 = 1} = {π/2 + k2π k Z}. (12) Note that x 2 x 1 if and only if x 2 x 1 = k 2π for some k Z. Does this look familiar?

31 Partitions Example Let A = R and dene on A by where k Z. a b if and only if a b = k 2π, (13) Remarks The relation dened in (13) is an equivalence relation. The proof is similar to the proof that congruence modulo n is an equivalence relation. The relation is the same relation as the one dened by the sine function above.

32 Matrices Denition A matrix is a rectangular array of numbers. A matrix with m rows and n columns is called an m n matrixpronounced m by n matrix. The plural of matrix is matrices. There's no such thing as a matrice. A matrix with the same number of rows as columns is called square. Two matrices are equal if they have the same number of rows and the same number of columns and the corresponding entries in every position are equal.

33 Matrices A generic matrix looks like a 11 a 12 a 1n a 21 a 22 a 2n A =..., (14) a m1 a m2 a mn or A = [a ij ], for short. We call a ij the (i, j)th entry or element of A. The left-hand subscript gives the row number, while the right-hand subscript gives the column number. Thus a ij gives the element that occupies the intersection of the i-th row and the j-th column. Remark Matrices are ubiquitous in science, mathematics, and even business, but we will be interested only in binary matrices, matrices whose entries are only 0's and 1's.

34 and Matrices Given a relation R on the set A = {a 1,..., a n }, we build a binary matrix M = [m ij ] as follows: m ij = { 1 if a i Ra j 0 if a i Ra j. (15)

35 and Matrices Example Let A = {2, 3, 4, 5, 6} and suppose R is dened by arb if and only if a b mod 3. Then R = {(2, 2), (2, 5), (3, 3), (3, 6), (4, 4), (5, 2), (5, 5), (6, 3), (6, 6)}. The matrix M associated to R is M = (16)

36 and Matrices Could we detect Reexivity in R by looking at M? How? Note that for Reexivity, we need ara for all a A. But since the elements of A are all numbered, that means we need a i Ra i for all i = 1,..., n. And that will be true exactly when m ii = 1 for all i = 1,..., n, i.e., when all the diagonal entries of M are 1's. Could we detect Symmetry in R by looking at M? How? For Symmetry, we need a j Ra i whenever we have a i Ra j, i.e., we need m ji = 1 whenever m ij = 1. On the other hand, if m ij = 0 and m ji = 1, we would have a i Ra j and a j Ra i, contradicting symmetry. So we conclude that R will be symmetric if and only if m ji = m ij for all i, j = 1,..., n. A square matrix M is called symmetric if m ji = m ij for all i, j = 1,..., n. So R will be symmetric exactly when its corresponding matrix M is symmetric.

37 Boolean Product of Matrices Denition Let S = {0, 1}, we dene two operations on S as follows: { 1 if a 1 = a 2 = 1 a 1 a 2 = 0 otherwise, a 1 a 2 = { 0 if a 1 = a 2 = 0 1 otherwise. (17) (18) Remark Note that if we interpret 1 as T and 0 as F, these are precisely the operations of disjunction ( ) and conjunction ( ) we studied in Chapter 1.

38 Denition Given two n n binary matrices A and B, the Boolean product C = A B is the n n binary matrix whose (i, j)th entry c ij is given by: c ij = (a i1 b 1j ) (a i2 b 2j ) (a in b nj ) (19) (See p. 192, Rosen, 8th Ed., for this denition.) Remark We denote A A by A [2]. Denition Given two n n binary matrices N and M, we say N M if n ij m ij for all i, j = 1,..., n.

39 Binary Matrices and Transitivity Facts Suppose R 1 and R 2 are two relations on A = {a 1,..., a n }, and M R1 and M R2 are their binary matrices, then M R1 M R2 if and only if R 1 R 2. A relation R on A = {a 1,..., a n } is transitive, if and only if M [2] R M R.

40 with Digraphs Denition A directed graph, or digraph, consists of a set V of vertices (or nodes) together with a set E of ordered pairs of elements of V called edges (or arcs). The vertex a is called the initial vertex of the edge (a, b) and the vertex b is called the terminal vertex of this edge. Remark Note any relation R on a set A = {a 1,..., a n } immediately gives rise to a digraph: let V = A and let E = R. This works because R is already a set of ordered pairs of the elements of V = A.

41 Digraphs Figure 2: Digraph 1

42 with Digraphs Example The matrix for the relation R represented by the digraph in Figure 2 is M R = (20) Is R reexive? No, since not all the diagonal entries of M R are 1s: m 11 = 0 = m 22 Is R symmetric? No, since M R is not a symmetric matrix. is R transitive? Well, we need to compute M [2] R.

43 with Digraphs Example (cont'd) The matrix M [2] R in Figure 2 is for the relation represented by the digraph N R = M [2] R = (21) Since n 11 = 1 and m 11 = 0, R cannot be transitive. Why is n 11 = 1? Because, for example, m 13 m 31 = 1 1 = 1. This means that a 1 Ra 3 and a 3 Ra 1. Transitivity would then imply a 1 Ra 1. But m 11 = 0, so a 1 Ra 1, a contradiction.

44 with Digraphs Example (cont'd) Remark Note that n 14 = 0 while m 14 = 1. What's the signicance of this? The fact that m ij = 1 encodes the fact that we can get from a i to a j in one step, while n ij = 0 encodes the impossibility of getting from a i to a j in exactly two steps. So here we can get from a 1 to a 4 in one step but not in two steps.

45 Digraphs Figure 3: Digraph 2

46 with Digraphs Example The matrix for the relation R represented by the digraph in Figure 3 is M R = (22) Is R reexive? Yes, since all the diagonal entries of M R are 1s. Is R symmetric? Yes, since M R is a symmetric matrix. is R transitive? Well, we need to compute M [2] R.

47 with Digraphs Example (cont'd) The matrix M [2] R in Figure 3 is for the relation represented by the digraph N R = M [2] R = (23) Since n 34 = 1 and m 34 = 0, R cannot be transitive. Why is n 34 = 1? Because, for example, m 31 m 14 = 1 1 = 1. This means that a 3 Ra 1 and a 1 Ra 4. Transitivity would then imply a 3 Ra 4. But m 34 = 0, so a 3 Ra 4, a contradiction.

48 Example (cont'd) Now suppose we consider the relation represented by the digraph in Figure 3 but with A = {a, c, d, b}, i.e., with the elements of A written in a dierent order. The new matrix M R will be M R = (24) Notice that we can partition the matrix M R into blocks as follows: M R = (25)

49 Digraphs Figure 4: Digraph 3

50 with Digraphs Example The matrix for the relation R represented by the digraph in Figure 4 is M R = (26) Is R reexive? Yes, since all the diagonal entries of M R are 1s. Is R symmetric? No, since M R is not a symmetric matrix. is R antisymmetric? Well, we haven't looked at that yet.

51 with Digraphs Example (cont'd) Recall that R is antisymmetric if and only if a i Ra j and a j Ra i together imply that a i = a j, i.e., i = j. In terms of the matrix M R, this means that if i j and m ij = 1, then we must have m ji = 0. M R satises this condition, so R is antisymmetric. The matrix M [2] R for the relation represented by the digraph in Figure 4 is N R = M [2] R = = = M R (27) But since N R M R, R is transitive.

Math 42, Discrete Mathematics

Math 42, Discrete Mathematics c Fall 2018 last updated 12/10/2018 at 18:16:18 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

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

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

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

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

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y. Relations Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 7.1, 7.3 7.5 of Rosen cse235@cse.unl.edu

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

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

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

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

Chapter 9: Relations Relations

Chapter 9: Relations Relations Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair

More information

14 Equivalence Relations

14 Equivalence Relations 14 Equivalence Relations Tom Lewis Fall Term 2010 Tom Lewis () 14 Equivalence Relations Fall Term 2010 1 / 10 Outline 1 The definition 2 Congruence modulo n 3 Has-the-same-size-as 4 Equivalence classes

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

Math.3336: Discrete Mathematics. Chapter 9 Relations

Math.3336: Discrete Mathematics. Chapter 9 Relations Math.3336: Discrete Mathematics Chapter 9 Relations 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

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

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

5. Partitions and Relations Ch.22 of PJE.

5. Partitions and Relations Ch.22 of PJE. 5. Partitions and Relations Ch. of PJE. We now generalize the ideas of congruence classes of Z to classes of any set X. The properties of congruence classes that we start with here are that they are disjoint

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

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric

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

Relations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B.

Relations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B. Relations Binary Relation Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation Let R A B be a relation from A to B. If (a, b) R, we write a R b. 1 Binary Relation Example:

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

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

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................

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 Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric

More information

Today. Binary relations establish a relationship between elements of two sets

Today. Binary relations establish a relationship between elements of two sets Today Relations Binary relations and properties Relationship to functions n-ary relations Definitions Binary relations establish a relationship between elements of two sets Definition: Let A and B be two

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

Nordhaus-Gaddum Theorems for k-decompositions

Nordhaus-Gaddum Theorems for k-decompositions Nordhaus-Gaddum Theorems for k-decompositions Western Michigan University October 12, 2011 A Motivating Problem Consider the following problem. An international round-robin sports tournament is held between

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

Countable and uncountable sets. Matrices.

Countable and uncountable sets. Matrices. CS 441 Discrete Mathematics for CS Lecture 11 Countable and uncountable sets. Matrices. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Arithmetic series Definition: The sum of the terms of the

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

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

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

Discrete Mathematics. Chapter 4. Relations and Digraphs Sanguk Noh

Discrete Mathematics. Chapter 4. Relations and Digraphs Sanguk Noh Discrete Mathematics Chapter 4. Relations and Digraphs Sanguk Noh Table Product sets and partitions Relations and digraphs Paths in relations and digraphs Properties of relations Equivalence relations

More information

9. Quantifier-free Equality and Data Structures

9. Quantifier-free Equality and Data Structures 9. Quantifier-free Equality and Data Structures The Theory of Equality T E Σ E : {=, a, b, c,..., f, g, h,..., p, q, r,...} uninterpreted symbols: constants a, b, c,... functions f, g, h,... predicates

More information

1 I A Q E B A I E Q 1 A ; E Q A I A (2) A : (3) A : (4)

1 I A Q E B A I E Q 1 A ; E Q A I A (2) A : (3) A : (4) Latin Squares Denition and examples Denition. (Latin Square) An n n Latin square, or a latin square of order n, is a square array with n symbols arranged so that each symbol appears just once in each row

More information

Chapter 2 - Relations

Chapter 2 - Relations Chapter 2 - Relations Chapter 2: Relations We could use up two Eternities in learning all that is to be learned about our own world and the thousands of nations that have arisen and flourished and vanished

More information

Rela%ons and Their Proper%es. Slides by A. Bloomfield

Rela%ons and Their Proper%es. Slides by A. Bloomfield Rela%ons and Their Proper%es Slides by A. Bloomfield What is a rela%on Let A and B be sets. A binary rela%on R is a subset of A B Example Let A be the students in a the CS major A = {Alice, Bob, Claire,

More information

MATHEMATICS. IMPORTANT FORMULAE AND CONCEPTS for. Final Revision CLASS XII CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION.

MATHEMATICS. IMPORTANT FORMULAE AND CONCEPTS for. Final Revision CLASS XII CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION. MATHEMATICS IMPORTANT FORMULAE AND CONCEPTS for Final Revision CLASS XII 2016 17 CHAPTER WISE CONCEPTS, FORMULAS FOR QUICK REVISION Prepared by M. S. KUMARSWAMY, TGT(MATHS) M. Sc. Gold Medallist (Elect.),

More information

8.5 Sequencing Problems

8.5 Sequencing Problems 8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,

More information

Countable and uncountable sets. Matrices.

Countable and uncountable sets. Matrices. Lecture 11 Countable and uncountable sets. Matrices. Instructor: Kangil Kim (CSE) E-mail: kikim01@konkuk.ac.kr Tel. : 02-450-3493 Room : New Milenium Bldg. 1103 Lab : New Engineering Bldg. 1202 Next topic:

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

Homework 3 Solutions, Math 55

Homework 3 Solutions, Math 55 Homework 3 Solutions, Math 55 1.8.4. There are three cases: that a is minimal, that b is minimal, and that c is minimal. If a is minimal, then a b and a c, so a min{b, c}, so then Also a b, so min{a, b}

More information

DRAFT CONCEPTUAL SOLUTION REPORT DRAFT

DRAFT CONCEPTUAL SOLUTION REPORT DRAFT BASIC STRUCTURAL MODELING PROJECT Joseph J. Simpson Mary J. Simpson 08-12-2013 DRAFT CONCEPTUAL SOLUTION REPORT DRAFT Version 0.11 Page 1 of 18 Table of Contents Introduction Conceptual Solution Context

More information

Relations --- Binary Relations. Debdeep Mukhopadhyay IIT Madras

Relations --- Binary Relations. Debdeep Mukhopadhyay IIT Madras Relations --- Binary Relations Debdeep Mukhopadhyay IIT Madras What is a relation? The mathematical concept of relation is based on the common notion of relationships among objects: One box is heavier

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

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

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

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

Algebraic Methods in Combinatorics

Algebraic Methods in Combinatorics Algebraic Methods in Combinatorics Po-Shen Loh June 2009 1 Linear independence These problems both appeared in a course of Benny Sudakov at Princeton, but the links to Olympiad problems are due to Yufei

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

Algebraic Methods in Combinatorics

Algebraic Methods in Combinatorics Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets

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

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

Automated Program Verification and Testing 15414/15614 Fall 2016 Lecture 7: Procedures for First-Order Theories, Part 1

Automated Program Verification and Testing 15414/15614 Fall 2016 Lecture 7: Procedures for First-Order Theories, Part 1 Automated Program Verification and Testing 15414/15614 Fall 2016 Lecture 7: Procedures for First-Order Theories, Part 1 Matt Fredrikson mfredrik@cs.cmu.edu October 17, 2016 Matt Fredrikson Theory Procedures

More information

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM (FP1) The exclusive or operation, denoted by and sometimes known as XOR, is defined so that P Q is true iff P is true or Q is true, but not both. Prove (through

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

Set Basics. P. Danziger

Set Basics. P. Danziger - 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

More information

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Relations Luay Nakhleh Computer Science Rice University Chapter 9, Section 1-6 Reading Material When we defined the Sorting Problem, we stated that to sort the list, the elements

More information

The Pigeonhole Principle

The Pigeonhole Principle The Pigeonhole Principle 2 2.1 The Pigeonhole Principle The pigeonhole principle is one of the most used tools in combinatorics, and one of the simplest ones. It is applied frequently in graph theory,

More information

Matrix Arithmetic. a 11 a. A + B = + a m1 a mn. + b. a 11 + b 11 a 1n + b 1n = a m1. b m1 b mn. and scalar multiplication for matrices via.

Matrix Arithmetic. a 11 a. A + B = + a m1 a mn. + b. a 11 + b 11 a 1n + b 1n = a m1. b m1 b mn. and scalar multiplication for matrices via. Matrix Arithmetic There is an arithmetic for matrices that can be viewed as extending the arithmetic we have developed for vectors to the more general setting of rectangular arrays: if A and B are m n

More information

Lecture 9 : PPAD and the Complexity of Equilibrium Computation. 1 Complexity Class PPAD. 1.1 What does PPAD mean?

Lecture 9 : PPAD and the Complexity of Equilibrium Computation. 1 Complexity Class PPAD. 1.1 What does PPAD mean? CS 599: Algorithmic Game Theory October 20, 2010 Lecture 9 : PPAD and the Complexity of Equilibrium Computation Prof. Xi Chen Scribes: Cheng Lu and Sasank Vijayan 1 Complexity Class PPAD 1.1 What does

More information

COT3100 SI Final Exam Review

COT3100 SI Final Exam Review 1 Symbols COT3100 SI Final Exam Review Jarrett Wendt Spring 2018 You ve learned a plethora of new Mathematical symbols this semester. Let s see if you know them all and what they re used for. How many

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

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader

More information

1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.

1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b. 20 [161016-1020 ] 3.3 Binary relations In mathematics, as in everyday situations, we often speak about a relationship between objects, which means an idea of two objects being related or associated one

More information

ICS 6N Computational Linear Algebra Matrix Algebra

ICS 6N Computational Linear Algebra Matrix Algebra ICS 6N Computational Linear Algebra Matrix Algebra Xiaohui Xie University of California, Irvine xhx@uci.edu February 2, 2017 Xiaohui Xie (UCI) ICS 6N February 2, 2017 1 / 24 Matrix Consider an m n matrix

More information

Chapter 1 Vector Spaces

Chapter 1 Vector Spaces Chapter 1 Vector Spaces Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field

More information

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Discussiones Mathematicae General Algebra and Applications 23 (2003 ) 125 137 RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Seok-Zun Song and Kyung-Tae Kang Department of Mathematics,

More information

CMPSCI 250: Introduction to Computation. Lecture #11: Equivalence Relations David Mix Barrington 27 September 2013

CMPSCI 250: Introduction to Computation. Lecture #11: Equivalence Relations David Mix Barrington 27 September 2013 CMPSCI 250: Introduction to Computation Lecture #11: Equivalence Relations David Mix Barrington 27 September 2013 Equivalence Relations Definition of Equivalence Relations Two More Examples: Universal

More information

Parity Versions of 2-Connectedness

Parity Versions of 2-Connectedness Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida

More information

Section 0. Sets and Relations

Section 0. Sets and Relations 0. Sets and Relations 1 Section 0. Sets and Relations NOTE. Mathematics is the study of ideas, not of numbers!!! The idea from modern algebra which is the focus of most of this class is that of a group

More information

Detailed Proof of The PerronFrobenius Theorem

Detailed Proof of The PerronFrobenius Theorem Detailed Proof of The PerronFrobenius Theorem Arseny M Shur Ural Federal University October 30, 2016 1 Introduction This famous theorem has numerous applications, but to apply it you should understand

More information

What are relations? f: A B

What are relations? f: A B What are relations? Ch 9.1 What are relations? Notation Informally, a relation is a set of pairs of objects (or in general, set of n-tuples) that are related to each other by some rule. We will focus first

More information

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

MATH 433 Applied Algebra Lecture 22: Review for Exam 2. MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric

More information

Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai , India. Instructor N.Sadagopan Scribe: P.

Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai , India. Instructor N.Sadagopan Scribe: P. Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India An Institute of National Importance www.iiitdm.ac.in

More information

β α : α β We say that is symmetric if. One special symmetric subset is the diagonal

β α : α β We say that is symmetric if. One special symmetric subset is the diagonal Chapter Association chemes. Partitions Association schemes are about relations between pairs of elements of a set Ω. In this book Ω will always be finite. Recall that Ω Ω is the set of ordered pairs of

More information

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City? Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of

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

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices Linear and Multilinear Algebra Vol. 00, No. 00, Month 200x, 1 15 RESEARCH ARTICLE An extension of the polytope of doubly stochastic matrices Richard A. Brualdi a and Geir Dahl b a Department of Mathematics,

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

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.

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. 4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be

More 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 Describe and use algorithms for integer operations based on their expansions Relate algorithms for integer

More information

CDMTCS Research Report Series Explicit Denition of the Binary Reected Gray Codes Marston Conder Department of Mathematics University of Auckland Auckl

CDMTCS Research Report Series Explicit Denition of the Binary Reected Gray Codes Marston Conder Department of Mathematics University of Auckland Auckl CDMTCS Research Report Series Explicit Denition of the Binary Reected Gray Codes Marston Conder Department of Mathematics University of Auckland Auckland, New Zealand CDMTCS-041 June 1997 Centre for Discrete

More information

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set

More information

Probabilistic Proofs of Existence of Rare Events. Noga Alon

Probabilistic Proofs of Existence of Rare Events. Noga Alon Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical

More information

Arrangements, matroids and codes

Arrangements, matroids and codes Arrangements, matroids and codes first lecture Ruud Pellikaan joint work with Relinde Jurrius ACAGM summer school Leuven Belgium, 18 July 2011 References 2/43 1. Codes, arrangements and matroids by Relinde

More information

1 Matrices and Systems of Linear Equations

1 Matrices and Systems of Linear Equations Linear Algebra (part ) : Matrices and Systems of Linear Equations (by Evan Dummit, 207, v 260) Contents Matrices and Systems of Linear Equations Systems of Linear Equations Elimination, Matrix Formulation

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

Multi-coloring and Mycielski s construction

Multi-coloring and Mycielski s construction Multi-coloring and Mycielski s construction Tim Meagher Fall 2010 Abstract We consider a number of related results taken from two papers one by W. Lin [1], and the other D. C. Fisher[2]. These articles

More information

Reference Material /Formulas for Pre-Calculus CP/ H Summer Packet

Reference Material /Formulas for Pre-Calculus CP/ H Summer Packet Reference Material /Formulas for Pre-Calculus CP/ H Summer Packet Week # 1 Order of Operations Step 1 Evaluate expressions inside grouping symbols. Order of Step 2 Evaluate all powers. Operations Step

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

Counting Methods. CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo

Counting Methods. CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo Counting Methods CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 48 Need for Counting The problem of counting

More information

Homework 1 Solutions ECEn 670, Fall 2013

Homework 1 Solutions ECEn 670, Fall 2013 Homework Solutions ECEn 670, Fall 03 A.. Use the rst seven relations to prove relations (A.0, (A.3, and (A.6. Prove (F G c F c G c (A.0. (F G c ((F c G c c c by A.6. (F G c F c G c by A.4 Prove F (F G

More information

1. CONFIGURATIONS We assume familiarity with [1]. The purpose of this manuscript is to provide more details about the proof of [1, theorem (3.2)]. As

1. CONFIGURATIONS We assume familiarity with [1]. The purpose of this manuscript is to provide more details about the proof of [1, theorem (3.2)]. As REDUCIBILITY IN THE FOUR-COLOR THEOREM Neil Robertson 1 Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA Daniel P. Sanders 2 School of Mathematics Georgia Institute

More information

Some Edge-magic Cubic Graphs

Some Edge-magic Cubic Graphs Some Edge-magic Cubic Graphs W. C. Shiu Department of Mathematics Hong Kong Baptist University 4 Waterloo Road, Kowloon Tong Hong Kong, China. and Sin-Min Lee Department of Mathematics and Computer Science

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

Equivalence, Order, and Inductive Proof

Equivalence, Order, and Inductive Proof 2/ chapter 4 Equivalence, Order, and Inductive Proof Good order is the foundation of all things. Edmund Burke (729 797) Classifying things and ordering things are activities in which we all engage from

More information

16 Chapter 3. Separation Properties, Principal Pivot Transforms, Classes... for all j 2 J is said to be a subcomplementary vector of variables for (3.

16 Chapter 3. Separation Properties, Principal Pivot Transforms, Classes... for all j 2 J is said to be a subcomplementary vector of variables for (3. Chapter 3 SEPARATION PROPERTIES, PRINCIPAL PIVOT TRANSFORMS, CLASSES OF MATRICES In this chapter we present the basic mathematical results on the LCP. Many of these results are used in later chapters to

More information