Math 42, Discrete Mathematics
|
|
- Coral Brown
- 5 years ago
- Views:
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
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 informationSection 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 informationRelations. 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 informationDefinition: 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 informationMath 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 informationNotes. 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 informationCSC 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 informationRelations 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 informationWeek 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 informationReading 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 informationChapter 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 information14 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 informationChapter 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 informationMath.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 informationWeek 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 informationChapter 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 information5. 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 informationCHAPTER 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 informationCSE 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 informationSets 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 informationRelations. 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 informationDiscrete 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 information1.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 informationLinear 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 informationCSE 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 informationToday. 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 informationLecture 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 informationNordhaus-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 informationFoundations 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 informationCountable 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 informationMathematics 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 informationRelations. 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 informationDiscrete 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 informationDiscrete 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 information9. 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 information1 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 informationChapter 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 informationRela%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 informationMATHEMATICS. 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 information8.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 informationCountable 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 informationChapter 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 informationHomework 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 informationDRAFT 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 informationRelations --- 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 informationMath 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 informationName (please print) Mathematics Final Examination December 14, 2005 I. (4)
Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,
More informationRelations. 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 informationPart 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 informationAlgebraic 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 information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationAlgebraic 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 informationMath 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 informationSection 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 informationAutomated 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 informationMATH 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 informationSet 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 informationSet 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 informationCOMP 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 informationThe 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 informationMatrix 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 informationLecture 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 informationCOT3100 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 informationChapter 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 informationCS 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 informationchapter 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 information1. 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 informationICS 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 informationChapter 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 informationRANK 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 informationCMPSCI 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 informationParity 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 informationSection 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 informationDetailed 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 informationWhat 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 informationMATH 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 informationIndian 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
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 informationAny 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 informationMATH1240 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 informationRESEARCH 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 informationSolutions 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 informationDefinition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.
4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be
More informationCSE 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 informationCDMTCS 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 informationREVIEW 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 informationProbabilistic 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 informationArrangements, 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 information1 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 informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationMulti-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 informationReference 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 informationChapter 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 informationCounting 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 informationHomework 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 information1. 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 informationSome 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 informationMATH 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 informationEquivalence, 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 information16 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