集合论第三课 等价关系与偏序关系.ppt

* * * * * * * * * * * * 定理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为全序集或线性次序集，记为(A, ?)或(A, R) 。 实例：字典序 第3次作业 1. 设R是A上的等价关系，S={(a,b)|存在c?A使得aRc且cRb}，证明S也是A上的等价关系。 2. 设R是A上的传递和自反关系, 设T是A上的二元关系：(a,b)?T当且仅当(a,b)和(b,a)都属于R, 证明T是一个等价关系。 3. 配套教材230页习题17 * * T这一集合族当中只包含一个集合，它就等于A。那么这一个集合A能不能构成A自身的划分呢？划分的定义当中有3点要求，我们逐一来对照一下 集合族中的所有集合非空.显然满足 集合族当中所有集合的并集等于A,这一点显然满足 3. 若i≠j（i,j=1,2,…,n），则Ai交Aj等于空集，也就是说，从集合族当中任取两个集合Ai、Aj，若Ai≠Aj，则Ai交Aj等于空集。这个要求的 核心是一个“若..则..”推论关系，我们前面说过，数学上碰到这样的推论，都是形式推论。对于只包含 一个集合A的集合族，从中任取两个集合，必然是A和A,也就是说这两个集合必然相等，使得形式推论的前提为假，从而整个推论关系为真。又由于 从集合族中任取两个集合，都使得这一推论为真。集合族T满足划分定义的第2点要求。 既然这3点要求都满足，T当然构成A的一个划分。 * * * * * * * * * * * * * * * * * * * * * * * 2.6 等价关系与划分 定义2.12（划分） 设A是一个集合。{Ai }是一组不同的集合, 且Ai ??, i=1, …, n 。若 A1 ? A2 ??? An=A， Ai ? Aj=?（i, j=1, …n, i?j）， 则称?={A1, A2, …, An}是A的一个划分。 其中每个Ai称为划分?的一个块。 显然，A的划分是2A的子集。 例2.21 设A={a, b, c}，A的子集组成的以下集合(是2A的子集)，哪些是A的划分？ P={{a,b}, {c}} S={{a}, {b}, {c}} T={{a, b, c}} U={{a}, {c}} V={{a, b}, {b, c}} W={{a, b}, {a, c}, {c}} P, S, T是A的划分，其余不是A的划分。 2 划分的块数可以是有限的或无限的 例2.22：整数集I的划分: ?1={E, O}，其中E为偶数集，O为奇数集； ?2={{0}, {-1, 1}, {-2, 2}, {-3, 3}, ……}也是I的一个划分。 定义2.13（等价关系） 设R是A上的二元关系，若R是自反的、对称的和传递的，则称R是A上的等价关系。若aRb，则称a与b等价。 例2.23 设A是一个学生集合, 定义A上二元关系R: a, b?R当且仅当a与b同年龄. R是等价关系. 2.6 等价关系与划分 定义2.14（等价类） 设R是A上的等价关系，对于每个a?A，与a等价的全体元素构成的集合称为由a生成的关于R的等价类，记为[a]R，即 [a]R ={x | x?A，xRa}，a称为该等价类的代表元。 根据上下文可以确定R时，将[a]R简记为[a]。 定义2.15（商集） 设R是A上的等价关系，关于R的全体等价类构成的集合称为A关于R的商集，记为A/R，即A/R={[a] | a?A}。