- 1、本文档共88页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二章 关系(16学时) 本章教学要求及重点难点 理解笛卡尔积和关系的基本概念; 熟练掌握关系的三种基本运算; 掌握关系的两种表示方法; 理解关系的基本性质; 重点:复合运算,逆运算,闭包运算;关系矩阵和关系图;关系的性质;等价关系,偏序关系。 难点:偏序关系的理解和应用。 §2.1 笛卡尔积 一,概念 二,笛卡尔积 笛卡尔积的基数 解释 笛卡尔积等式的证明 几个恒等式 练习 §2.2 关系 例 例 关系的图示 定义域、值域 逆关系 关系图 关系矩阵 普遍关系、恒等关系 §2.3 关系的复合 一,关系作为集合运算 二,关系的复合运算 理解 复合运算的规律 复合运算结合律证明 说明 定理 §2.4 复合关系的关系矩阵和关系图 一,复合关系的关系矩阵 运算规则 定理3 定理4 定理5 二,复合关系的关系图 小结:构造复合关系 课堂练习 §2.5 关系的性质 ⑴ 自反关系 对称关系 反对称关系 可传递关系 判断关系的性质1、2 判断关系的性质3 判断关系的性质4 判断关系的性质5 判断关系的性质6 判断关系的性质7 判断关系的性质8 说明 判断关系的性质9 证明关系的性质1、2 证明关系的性质3、4 §2.7 等价关系 等价类 等价类性质 定理 9 定理 10 补充性质 小结 §2.8 偏序 一, 概念 例 二, 偏序的逆关系 三, 全序和良序 注 四, 次序图 例 第二章总结 一, 概念 二, 证明 结束 二,笛卡尔积 复合运算等式证明 §2.6 闭包 一,传递闭包 传递闭包 说明 构造传递闭包 二, 几种特殊的闭包 三, 有关闭包的性质 定理 7 定理 8 §2.8 偏 序 偏序关系:集合 A 上的关系ρ , 如果它是自反、反对称且 可传递的,则称ρ为 A 上的一个偏序关系。 或者,具有下列性质的关系 ρ 称为偏序关系: ⑴ 对所有的 a∈A,有aρa; ⑵ 对所有的 a, b∈A,若有 aρb且 bρa ,就必有 a =b; ⑶ 对所有的a, b, c∈A,若有aρb,和 bρa , 则有 aρc “偏序关系”也叫做“偏序”,用“≤”符号表示。 定义:设≤是集合 A 上的偏序,对于 a、b∈A,若有 a≤b 或 b≤a,则称 a 和 b 是可比的,否则称 a 和 b 是不可比的 一,概念 有关习题:p69 36 例 1 定义在实数集 R 上的“小等于”关系 ≤ 是偏序。 例 2 定义在正整数集 N 上的“小等于”关系 ≤ 是偏序。 例 3 定义在正整数集 N 上的整除关系,是偏序。 例 4 一个集合的幂集上的包含关系是偏序关系。 例 5 英语词典中词的出现顺序是一个偏序。 注:所谓“偏序关系”,实质上是一种规定,使集合上的 部分或全部元素能够按这种规定进行“大小顺序”排列 有关习题:p69 36 定理:偏序的逆关系也是一个偏序 证明:设 β 是任意集合 A 上 的偏序关系,ρ 是 β 的逆关系 对任意 a,b,c∈A ∵ 有a β a ∴有 aρ a ∴ρ 是自反的 如果有 aρ b 成立,且 b≠a 则有 b β a 由β 是 A 上 的偏序知,a β b 不成立 ∴ bρ a 不成立 ∴ρ 是反对称的 如果有 aρ b 且 bρ c 成立,则有 b β a 且 c β b 成立 由 β 的可传递性,有 c β a 成立 因而有 aρ c 成立 ∴ρ 是可传递的 ∴ρ 是 A 上 的一个偏序关系 有关习题:p68 36、38、40、41 ∴原命题成立 二、偏序的逆关系 课堂思考:给出一个关系实例,使它既是偏序关系又是等价关系 全序 :设 ≤ 是集合 A 上的一个偏序关系,对任意a, b∈A 有a≤b 或 b≤a ,则称≤为A上的一个全序 。 有关习题:p68 37、38 三,全序和良序 *良序 :设≤是集合 A 上的一个偏序,若对于 A 的每一个非 空子集 S ? A,在 S 中存在一个元素 as(称为 S 的最小 元素),使得对于所有的 s∈S,有as ≤s,则称它为 A上 的一个良序。 课堂思考:举一个集合例子,使得包含关系是幂集 2A 上的 一个全序。 例 注 : ⒈“
文档评论(0)