- 1、本文档共34页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
序关系
单元2.6 序关系
第一编集合论 第2章二元关系
2.8 序关系
1
内容提要
• 偏序关系、偏序集、哈斯图;
• 全序关系、全序集
• 拟序关系、拟序集、三歧性
• 拟全序关系、拟全序序集;
• 良序、良序集
• 最大元、最小元、极大元、极小元、上界、下界、上
确界、下确界
• 链、反链
2
偏序关系、偏序集
定义2.19 设A,RAA ,若R是自反、反对称、
传递的,则称R 为A 上的偏序关系。常用≼表示偏
序关系,读作 “小于等于”
x,yR xRy x≼y
定义2.20 设≼是A 上偏序关系,称A,≼为偏序集。
3
例2.15(1)(2)
• (1) AR, A, , A,
= { x,y | x,y A xy }
= { x,y | x,y A xy }
• (2) AZ ={x|x Zx0}, A,|
+
| = { x,y | x,y A x |y }
4
例2.15(3) A ,
• A P(A), ={x,y|x,y A xy}
• A={a,b}, A 1={,{a},{b}}, A 2={{a},{a,b}},
A 3=P(A)={,{a},{b},{a,b}}
=I {,{a},,{b}}
1 A 1
=I { {a},{a,b}}
2 A 2
=I {,{a},,{b},,{a,b},
3 A 3
{a},{a,b}, {b},{a,b}}
5
例2.15(4) ,≼
加细
• A, 是由A 的一些划分组成的集合
≼加细={x,y|x,y x是y 的加细}
• A={a,b,c}, A 1={{a,b,c}}, A 2={{a},{b,c}},
A 3={{b},{a,c}},A 4={{c},{a,b}},A 5={{a},{b},{c}}
={A ,A }, ={A ,A }, ={A ,A ,A ,A ,A }
1 1 2 2 2 3 3 1 2 3 4 5
≼ =I {A ,A }, ≼ =I ,
1 1 2 1 2 2
≼ =I {A ,A ,A ,A ,A ,A ,A ,A ,
3 3 2 1 3 1 4 1 5 1
A ,A ,A ,A
文档评论(0)