§ 第 3 周起每周一交作业,作业成绩占总成绩的 15% ; § 平时不定期的进行小测验,占总成绩的 15% ; § 期中考试成绩占总成绩的 20% ;期终考试成绩占总成绩的 50% § 张宓

Slides:



Advertisements
Similar presentations
Equivalence Relations
Advertisements

Equivalence Relations
Chap6 Relations Def 1: Let A and B be sets. A binary relation from A
Relations.
Representing Relations Using Matrices
Applied Discrete Mathematics Week 11: Graphs
CSE115/ENGR160 Discrete Mathematics 05/03/11 Ming-Hsuan Yang UC Merced 1.
Sets, Relation and Functions A set is a collection of objects (elements) or a container of objects. Defining sets –Empty set (Ø): no elements –Universal.
Discrete Mathematics Lecture#11.
Relations Chapter 9.
CS555Spring 2012/Topic 61 Cryptography CS 555 Topic 6: Number Theory Basics.
Equivalence Relations MSU CSE 260. Outline Introduction Equivalence Relations –Definition, Examples Equivalence Classes –Definition Equivalence Classes.
Logics for Data and Knowledge Representation Introduction to Algebra Chiara Ghidini, Luciano Serafini, Fausto Giunchiglia and Vincenzo Maltese.
Exam 2 Review 8.2, 8.5, 8.6, Thm. 1 for 2 roots, Thm. 2 for 1 root Theorem 1: Let c 1, c 2 be elements of the real numbers. Suppose r 2 -c 1.
Exam 2 Review 7.5, 7.6, |A1  A2  A3| =∑|Ai| - ∑|Ai ∩ Aj| + |A1∩ A2 ∩ A3| |A1  A2  A3  A4| =∑|Ai| - ∑|Ai ∩ Aj| + ∑ |Ai∩ Aj ∩ Ak| - |A1∩
Finite Groups & Subgroups. Order of a group Definition: The number of elements of a group (finite or infinite) is called its order. Notation: We will.
Properties of Relations In many applications to computer science and applied mathematics, we deal with relations on a set A rather than relations from.
Chapter 9. Chapter Summary Relations and Their Properties Representing Relations Equivalence Relations Partial Orderings.
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
2.6 Equivalence Relation §1.Equivalence relation §Definition 2.18: A relation R on a set A is called an equivalence relation if it is reflexive, symmetric,
Chapter 9. Section 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.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Rosen, Section 8.5 Equivalence Relations
Lecture 4.3: Closures and Equivalence Relations CS 250, Discrete Structures, Fall 2013 Nitesh Saxena Adopted from previous lectures by Cinda Heeren.
§ 每周五交作业,作业成绩占总成绩的 10% ; § 平时不定期的进行小测验,占总成绩的 20% ; § 期中考试成绩占总成绩的 20% ;期终考 试成绩占总成绩的 50% § 每周五下午 1 ; 00—3 : 00 ,答疑 § 地点:软件楼 301.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
§Discrete mathematics §Discrete i.e. no continuous §Set theory, Combinatorics, Graphs, Modern Algebra(Abstract algebra, Algebraic structures), Logic, classic.
Problem Statement How do we represent relationship between two related elements ?
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
UNIT - 2.  A binary operation on a set combines two elements of the set to produce another element of the set. a*b  G,  a, b  G e.g. +, -, ,  are.
Section 7.5 Equivalence Relations Longin Jan Latecki Temple University, Philadelphia
Chapter 8: Relations. 8.1 Relations and Their Properties Binary relations: Let A and B be any two sets. A binary relation R from A to B, written R : A.
8.4 Closures of Relations Definition: The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
8.5 Equivalence Relations
RelationsCSCE 235, Spring Introduction A relation between elements of two sets is a subset of their Cartesian products (set of all ordered pairs.
Set Theory Concepts Set – A collection of “elements” (objects, members) denoted by upper case letters A, B, etc. elements are lower case brackets are used.
1 Equivalence relations Binary relations: –Let S1 and S2 be two sets, and R be a (binary relation) from S1 to S2 –Not every x in S1 and y in S2 have such.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications (5 th Edition) Kenneth H. Rosen Chapter 7 Relations.
§R1∪R2§R1∪R2 §R 1 ∩R 2 R1-R2R1-R2 2.4 Operations on Relations.
Divisibility and Modular Arithmetic
Section 9.1. Section Summary Relations and Functions Properties of Relations Reflexive Relations Symmetric and Antisymmetric Relations Transitive Relations.
Chapter8 Relations 8.1: Relations and their properties.
Relations Chapter 9 Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill.
The Relation Induced by a Partition
Representing Relations Using Digraphs
Relations and Their Properties
Citra Noviyasari, S.Si, MT
CSE15 Discrete Mathematics 05/03/17
Relations Binary relations represent relationships between the elements of two sets. A binary relation R from set A to set B is defined by: R  A 
Equivalence Relations
Relations Chapter 9.
Lecture # 14 Types of Relations
RELATION KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS )
Dr. Ameria Eldosoky Discrete mathematics
Lecture 4.3: Closures and Equivalence Relations
Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103 Chapter 9 Relations Slides are adopted from.
Discrete Mathematics Chapter 7 Relations.
8.5 Equivalence Relations
Discrete Math (2) Haiming Chen Associate Professor, PhD
Equivalence Relations
Lecture 4.3: Closures and Equivalence Relations
2.4 Operations on Relations
Definition 2. 20: Let R be an equivalence relation on a set A
9.5 Equivalence Relations
Equivalence relations
Equivalence Relations
Equivalence Relations
Rayat Shikshan Sanstha’s S.M.Joshi College, Hadapsar -28
Chapter 8 (Part 2): Relations
Presentation transcript:

§ 第 3 周起每周一交作业,作业成绩占总成绩的 15% ; § 平时不定期的进行小测验,占总成绩的 15% ; § 期中考试成绩占总成绩的 20% ;期终考试成绩占总成绩的 50% § 张宓 §BBS id:abchjsabc 软件楼 103 § 杨侃 § 程义婷 §BBS id:chengyiting § 刘雨阳 ,软件楼

§2.Composition §Definition 2.14: Let R 1 be a relation from A to B, and R 2 be a relation from B to C. The composition of R 1 and R 2, we write R 2  R 1, is a relation from A to C, and is defined R 2  R 1 ={(a,c)|there exist some b  B so that (a,b)  R 1 and (b,c)  R 2, where a  A and c  C}. §(1)R 1 is a relation from A to B, and R 2 is a relation from B to C §(2)commutative law?  §R 1 ={(a 1,b 1 ), (a 2,b 3 ), (a 1,b 2 )} §R 2 ={(b 4,a 1 ), (b 4,c 1 ), (b 2,a 2 ), (b 3,c 2 )}

§Associative law? §For R 1  A×B, R 2  B×C, and R 3  C×D §R 3  (R 2  R 1 )=?(R 3  R 2 )  R 1 §subset of A×D §For any (a,d)  R 3  (R 2  R 1 ), (a,d)  ?(R 3  R 2 )  R 1, §Similarity, (R 3  R 2 )  R 1  R 3  (R 2  R 1 ) §Theorem 2.3 : Let R 1 be a relation from A to B, R 2 be a relation from B to C, R 3 be a relation from C to D. Then R 3  (R 2  R 1 )=(R 3  R 2 )  R 1 (Associative law)

§Definition 2.15: Let R be a relation on A, and n  N. The relation R n is defined as follows. §(1)R 0 ={(a,a)|a  A}), we write I A.  (2)R n+1 =R  R n. §Theorem 2.4: Let R be a relation on A, and m,n  N. Then  (1)R m  R n =R m+n §(2)(R m ) n =R mn

§A={a 1,a 2, ,a n },B={b 1,b 2, ,b m } §R 1 and R 2 be relations from A to B. §M R1 =(x ij ), M R2 =(y ij ) §M R1 ∪ R2 =(x ij  y ij ) §M R1∩R2 =(x ij  y ij ) §  0 1  0 1 § § §Example:A={2,3,4},B={1,3,5,7} §R 1 ={(2,3),(2,5),(2,7),(3,5),(3,7),(4,5),(4,7)} §R 2 ={(2,5),(3,3),(4,1),(4,7)} §Inverse relation R -1 of R : M R -1 =M R T, M R T is the transpose of M R.

§A={a 1,a 2, ,a n },B={b 1,b 2, ,b m }, C={c 1,c 2, ,c r }, §R 1 be a relations from A to B, M R1 =(x ij ) m  n, R 2 be a relation from B to C, M R2 =(y ij ) n  r. The composition R 2  R 1 of R 1 and R 2,

§Example : R={(a,b),(b,a),(a,c)},is not symmetric §+ (c,a),  R'={(a,b),(b,a),(a,c), (c,a)} , R' is symmetric. §Closure

2.5 Closures of Relations §1.Introduction §Construct a new relation R‘, s.t. R  R’, §particular property, §smallest relation §closure §Definition 2.17: Let R be a relation on a set A. R' is called the reflexive(symmetric, transitive) closure of R, we write r(R)(s(R),t(R) or R + ), if there is a relation R' with reflexivity (symmetry, transitivity) containing R such that R' is a subset of every relation with reflexivity (symmetry, transitivity) containing R.

§Condition: §1)R' is reflexivity(symmetry, transitivity) §2)R  R' §3)For any reflexive(symmetric, transitive) relation R", If R  R", then R'  R" §Example : If R is symmetric, s(R)=? §If R is symmetric , then s(R)=R §Contrariwise, If s(R)=R , then R is symmetric §R is symmetric if only if s(R)=R §Theorem 2.5: Let R be a relation on a set A. Then §(1)R is reflexive if only if r(R)=R §(2)R is symmetric if only if s(R)=R §(3)R is transitive if only if t(R)=R

§Theorem 2.6: Let R 1 and R 2 be relations on A, and R 1  R 2. Then §(1)r(R 1 )  r(R 2 ) ; §(2)s(R 1 )  s(R 2 ) ; §(3)t(R 1 )  t(R 2 ) 。 §Proof: (3)R 1  R 2  t(R 1 )  t(R 2 ) §Because R 1  R 2 ,  R 1  t(R 2 ) §t(R 2 ) :transitivity

§Example:Let A={1,2,3},R={(1,2),(1,3)}. Then §2.Computing closures §Theorem 2.7: Let R be a relation on a set A, and I A be identity(diagonal) relation. Then r(R)=R ∪ I A (I A ={(a,a)|a  A}) §Proof : Let R'=R ∪ I A. §Definition of closure §(1)For any a  A, (a,a)  ?R'. §(2) R  ?R'. §(3)Suppose that R'' is reflexive and R  R'' , R'  ?R''

§Theorem 2.8 : Let R be a relation on a set A. Then s(R)=R ∪ R -1. §Proof : Let R'=R ∪ R -1 §Definition of closure §(1) R', symmetric? §(2) R  ?R'. §(3)Suppose that R'' is symmetric and R  R'' , R'  ?R'')

§Example : symmetric closure of “<” on the set of integers,is“≠” § , §Let A is no empty set. §The reflexive closure of empty relation on A is the identity relation on A §The symmetric closure of empty relation on A, is an empty relation.

Theorem 2.9: Let R be a relation on A. Then Theorem 2.10 : Let A be a set with |A|=n, and let R be a relation on A. Then

§Example : A={a,b,c,d},R={(a,b),(b,a), (b,c),(c,d)}, t(R)=?

2.6 Equivalence Relation §1.Equivalence relation §Definition 2.18: A relation R on a set A is called an equivalence relation if it is reflexive, symmetric, and transitive. §Example: Let m be a positive integer with m>1. Show that congruence modulo m is an equivalence relation. R={(a,b)|a  b mod m} §Proof: (1)reflexive (for any a  Z , aRa?) §(2)symmetric (for any aRb , bRa?) §(3)transitive (for aRb , bRc , aRc?)

§2.Equivalence classes §partition §Definition 2.19: A partition or quotient set of a nonempty set A is a collection  of nonempty subsets of A such that §(1)Each element of A belongs to one of the sets in . §(2)If A i and A j are distinct elements of , then A i ∩A j = . §The sets in  are called the bocks or cells of the partition. §Example: Let A={a,b,c}, §P={{a,b},{c}},S={{a},{b},{c}},T={{a,b,c}}, §U={{a},{c}},V={{a,b},{b,c}},W={{a,b},{a,c},{c}}, §infinite

§Example : congruence modulo 2 is an equivalence relation. §For any x  Z, or x=0 mod 2,or x=1 mod 2, i.e or x  E,or x  O. §And E∩O=  §E and O , §{E, O} is a partition of Z

§Definition 2.20: Let R be an equivalence relation on a set A. The set of all element that are related to an element a of A is called the equivalence class of a. The equivalence class of a with respect to R is denoted by [a] R, When only one relation is under consideration, we will delete the subscript R and write [a] for this equivalence class. §Example : equivalence classes of congruence modulo 2 are [0] and [1] 。 §[0]={…,-4,-2,0,2,4,…}=[2]=[4]=[-2]=[-4]=… §[1]={…,-3,-1,1,3,…}=[3]=[-1]=[-3]=… §the partition of Z  =Z/R={[0],[1]}

§Exercise: P146 32,34 §P151 1,2,13, 17, 23,24 §P167 15,16,22,24,26,27,28,29,32, 36