- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
定理7.7 设 R 是 A上的关系, m, n∈N, 则 (1) Rm?Rn = Rm+n (2) (Rm)n = Rmn 幂运算的性质 证 用归纳法 (1) 对于任意给定的m∈N, 施归纳于n. 若n=0, 则有 Rm?R0 = Rm?IA = Rm = Rm+0 假设 Rm?Rn = Rm+n, 则有 Rm?Rn+1 = Rm ?(Rn ?R) = (Rm ?Rn)?R = Rm+n+1 , 所以对一切m,n∈N 有 Rm?Rn = Rm+n. * 证明 (2) 对于任意给定的m∈N, 施归纳于n. 若n=0, 则有 (Rm)0 = IA = R0 = Rm×0 假设 (Rm)n = Rmn, 则有 (Rm)n+1 = (Rm)n?Rm = (Rmn)?Rn = Rmn+m = Rm(n+1) 所以对一切m,n∈N 有 (Rm)n = Rmn. * 定理7.8 设R 是A上的关系, 若存在自然数 s, t (st) 使得 Rs=Rt, 则 (1) 对任何 k∈N有 Rs+k = Rt+k (2) 对任何 k, i∈N有 Rs+kp+i = Rs+i, 其中 p = t?s (3) 令S = {R0,R1,…,Rt?1}, 则对于任意的 q∈N 有Rq∈S 幂运算的性质 证 (1) Rs+k = Rs?Rk = Rt ?Rk = Rt+k (2) 对k归纳. 若k=0, 则有Rs+0p+i = Rs+i 假设 Rs+kp+i = Rs+i, 其中p = t?s, 则 Rs+(k+1)p+i = Rs+kp+i+p = Rs+kp+i?Rp = Rs+i?Rp = Rs+p+i = Rs+t?s+i = Rt+i = Rs+i 由归纳法命题得证. * 证明 (3) 任取 q∈N, 若 q t, 显然有 Rq∈S, 若q ≥ t, 则存在自然数 k 和 i 使得 q = s+kp+i, 其中0≤i≤p?1. 于是 Rq = Rs+kp+i = Rs+i 而 s+i ≤ s+p?1 = s+t?s?1 = t?1 从而证明了 Rq∈S. * 7.4 关系的性质 定义7.11 设 R 为A上的关系, (1) 若 ?x(x∈A→x,x?R), 则称 R 在 A 上是自反的. (2) 若 ?x(x∈A→x,x?R), 则称 R 在 A 上是反自反的. 实例: 自反:全域关系EA, 恒等关系IA, 小于等于关系LA, 整除关系DA 反自反:实数集上的小于关系、幂集上的真包含关系. A={1,2,3}, R1, R2, R3是A上的关系, 其中 R1={1,1,2,2} R2={1,1,2,2,3,3,1,2} R3={1,3} R2 自反 ,R3 反自反,R1既不是自反的也不是反自反的. * 对称性与反对称性 定义7.12 设 R 为 A上的关系,? (1) 若?x?y( x,y∈A∧x,y∈R→y,x∈R), 则称 R 为 A上对称的关系. (2) 若?x?y( x,y∈A∧x,y∈R∧y,x∈R→x=y), 则称 R 为A上的反对称关系. 实例:对称关系:A上的全域关系EA, 恒等关系IA和空关系? 反对称关系:恒等关系IA和空关系也是A上的反对称关系. 设A={1,2,3}, R1, R2, R3和R4都是A上的关系, 其中 R1={1,1,2,2},R2={1,1,1,2,2,1} R3={1,2,1,3},R4={1,2,2,1,1,3} R1:对称和反对称; R2:只有对称;R3:只有反对称; R4:不对称、不反对称 * 传递性 定义7.13 设R为A上的关系, 若 ?x?y?z(x,y,z∈A∧x,y∈R∧y,z∈R→x,z∈R), 则称 R 是A上的传递关系. 实例: A上的全域关系 EA,恒等关系 IA和空关系 ?,小于等 于和小于关系,整除关系,包含与真包含关系 设 A={1,2,3}, R1, R2, R3是A上的关系, 其中 R1={1,1,2,2}
文档评论(0)