- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
(离散数学)二元关系48
离散数学 离散数学 三、应用 例30:设F,G,H ?RR,且F(x) = 2x + 5,G(x) = x – 7, 求F ? G,G ? F,G ? G,G ? H,G –1。 解:F ? G(x) = F(G(x)) = F(x–7) = 2(x–7)+5 = 2x–9; G ? F(x) = G(F(x)) = G(2x+5) = (2x+5) –7= 2x–2; G ? G(x) = G(G(x)) = G(x –7) = (x–7) –7= x–14 ; G –1(x) = x + 7 离散数学 例15 关系的性质 解:(1) 对称性。 判断图中关系具有哪些性质? a? b? ?c a? b? ?c a? b? ?c (2) 反对称性、传递性。 (3) 自反性、反对称性、传递性。 离散数学 若A中有三个元素x, y, z,满足xRy且yRz, 即(x ? y)/3?Z且(y ? z)/3?Z,则有(x ? z)/3?Z, 于是xRz,R是传递的。 例16:设A = { 1, 2, …, 10 },对于A上的关系 R = { x, y | (x ? y)/3?Z }, R具有哪些性质? 关系的性质 解:对任意x?A,有(x ? x)/3 = 0?Z,则 x, x ?R, R是自反的。 若xRy,即(x ? y)/3?Z,则有(y - x)/3?Z, 于是yRx,R是对称的。 离散数学 对任意x, y?R?且 y, z?R?有x ? y ? y ? z,则有 x ? z,即x, z?R?,则R?是传递的。 关系的性质 例18:设A = { a, b } ,关系R?具有哪些性质? 解: R? = { ?, ?, ?, {a}, ?, {b}, ?, {a, b}, {a}, {a}, {a}, {a, b}, {b}, {b}, {b}, {a, b}, {a, b}, {a, b} } 由?,?,{a},{a},{b},{b},{a,b},{a,b}均属于R?,则R?是自反的; 对任意x, y? R?有x ? y,当x ? y时,有y, x?R?,则R?是反对称的; 离散数学 如例3:设A = { 1, 2, …, 10 },对于A上的关系 R = { x, y | (x ? y)/3?Z } 若 x, y ?等价关系R,则记作x ~ y。 §4.5 等价关系 一、等价关系的概念 等价关系: A上的关系R是自反的、对称的和传递的, 则称R为等价关系。 由R具有自反性、对称性和传递性,知R是等价关系, 且1 ~ 4 ~ 7 ~ 10,2 ~ 5 ~ 8,3 ~ 6 ~ 9 离散数学 二、等价类 等价类:设R是A上的等价关系,对任意x?A,令 [x]R = { y | y?A ? xRy }, 则称[x]R为x关于R的等价类。 简称为x的等价类。简记为[x] 于是有[1] = [4] = [7] = [10] = {1, 4, 7, 10}, [2] = [5] = [8] = {2, 5, 8}, [3] = [6] = [9] = {3, 6, 9} 离散数学 二、等价类 等价类的性质:设R是A上的等价关系, 对任意x,y?A,下列结论成立: (1) [x] ? ?,且[x] ? A; (2) xRy 当且仅当[x] = [y]; (3) 若x y ,则[x]∩[y] = ?; (4) 。 R 离散数学 三、商集 集合A在等价关系R下的商集: 设R是A上的等价关系,以R的不交的等价类 为元素的集合叫作A在R下的商集,记作A?R, 即A?R = { [x]R | x?A} 故:A?R = { {1, 4, 7, 10}, {2, 5, 8}, {3, 6, 9} } 例3有:[1] = [4] = [7] = [10] = {1, 4, 7, 10}, [2] = [5] = [8] = {2, 5, 8},
文档评论(0)