集合论第三课等价关系与偏序关系摘要.pptVIP

* * * * * * * * * * * * 定理2.23 设偏序集（A, ? ）, B?A，在B中存在最大元（最小元）必为极大元（极小元）。 写出集合A={a, b, c}的幂集P(A)，并画出偏序集(P(A), ?)的哈斯图。 /*北京航空航天大学1996考研试题*/ 2.7 次序关系 二 拟序关系 定义2.22（拟序关系） A上的二元关系 R是反自反的和传递的，称R为A上的拟序关系。称(A, R)为拟序集，或记为(A, )。（不意味着小于） 定理2.24 A上的二元关系 R是拟序的，则R必为反对称的。 证明：反证法 2.7 次序关系 定理2.25 设R是A上的二元关系，则 (1)若R是A上的拟序关系，则r(R)=R?IA是A上的偏序关系； (2) R是A上的偏序关系，则R-IA是A上的拟序关系； 证明方法：根据定义给出的性质证明。 2.7 次序关系 三 全序关系 定义2.23（全序关系） 设?是集合A 上的二元关系，如果对于A中任意两个元素a, b?A，必有a ? b或b ? a，则称 ?是A上的全序关系（或线性次序关系）。 定义2.24（全序集） 若集合A具有全序关系? 或R，则称A为全序集或线性次序集，记