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

*; 学习内容; 偏序;【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.使用这个记号 是由于“小于或等于”关系是偏序关系的范例。 注意：符号 ? 表示任意偏序关系，并不仅仅是“小于或等于”关系。 记号ab表示a ? b但a≠b.如果ab,我们说“a小于b”或 “b大于a”。 当a与b是偏序集（S, ? ）的元素时，不一定有a