半序偏序关系.pptVIP

第六节 半序（偏序）关系;定义1 设R为非空集合A上的关系。如果R是自反的、反对称的和传递的，则称 R 为 A上的半序(偏序)关系，记为 ? 。 对一个偏序关系 ? ，如果x, y? ? ，则记为 x ? y。 注： 1. 集合A上的恒等关系IA是A上的偏序关系，但空关系和全 域关系EA 一般不是A上的偏序关系。 2. 实数域上的小于等于关系（大于等于关系），自然数域上 的整除关系，集合的包含关系等都是偏序关系。;注：在具有偏序关系的集合A中任二元素 x 和 y 之间必有下列四 种情形之一： x ? y ，y ? x ，x=y ，x 与 y 不可比。 例 设A={1, 2, 3} ? 是A上的整除关系，则：1 ? 2, 1 ? 3, 1＝1, 2＝2, 3＝3， 2 和 3 不可比； (2) ? 是 A 上的大于等于关系，则: 2 ? 1, 3 ? 1, 3 ? 2, 1＝1, 2＝2，3＝3。;定义3 设R为非空集合A上的偏序关系，如果?x, y?A, x 与 y 都是可比的, 则称R为A上的全序关系。 例如 大于等于关系（小于等于关系）是全序集，但整除关系一般不是全序集。 定义4 带有某种指定的偏序关系 ? 的集合A称为