离散数学课件-第4讲-7.pptVIP

一、偏序 定义1：集合S上的关系R，如果它是自反的、反对称的 和传递的，就称为偏序。 集合S与偏序R一起叫做偏序集，记作（S,R）. 例如数值的≤、≥关系和集合的?都是偏序关系。 【example 1】证明“大于或等于”关系（ ≥ ）是整数集合上 的偏序。 solution： 因为对所有整数a，有a ≥a， ≥是自反的。 如果a ≥b且b ≥a，那么a=b，因此≥是反对称的。 最后，因为a ≥b和b ≥c，所以≥是传递的。 从而≥是整数集合上的偏序且（Z, ≥ ）是偏序集。 【example 2】整除关系“ | ”是正整数集合上的偏序，因为由前 几节所述，它是自反的、反对称的和传递的。我们看到 （Z+, | ）是偏序集（Z+表示正整数集合）。 【example 3】证明包含关系?是集合S的幂集上的偏序。 Solution： 因为只要A是S的子集，就有A ?A, ?是自反的。 因为A ?B和B ?A推出A=B，因此它是反对称的。 最后，因为A ?B和B ?C推出A ? B, ?是传递的。 因此， ? 是P(S)上的偏序，且（ P(S) ， ? ）是偏序集。 在任意一个偏序集中记号a ? b表示(a，b)?R.使用这个记号 是由于“小于或等于”关系是偏序关系