13序关系.ppt.pptVIP

3-12 序关系 定义1：设A是一个集合，如果A上的一个关系，满足自反性，反对称性和传递性，则称R是A上的一个偏序关系，并把它记为“ ”。序偶A, 称作偏序集。 定义2：在偏序集A, 中，如果x， A是一个集合，如果A上的一个关系，满足自反性，反对称性和传递性，则称R是A上的一个偏序关系，并把它记为“ ”。序偶A, 称作偏序集。 定义5： 设A， 是一个偏序集合，B是A的子集，对于B中的一个元素b，如果B中没有任何元素x,满足b?x且b x，则称b为B的极大元。 同理，对于b?B，如果B中没有任何元素x，满足b?x且x b，则称b为B的极小元。 定义6： 令＜A， ＞是一个偏序集，且B是A的子集，若有某个元素 b?B，对于 B中每一个元素x有x b，则称b为＜B， ＞的最大元。 同理，若有某个元素的b?B，对每一个x?B有b x，则称b为＜B， ＞的最小元。 定理1 令＜A， ＞是一个偏序集且B?A，若B有最大（最小）元，则必是唯一的。 定义7： 设＜A， ＞为一偏序集，对于B?A，如有a?A，且对B的任意元素x，都满足x a，则称 a为子集 B的上界。 同样地，对于 B的任意元素x，都满足a x，则称a为B的下界。 定义8：设＜A， ＞为偏序集且B?A为一子集，a为B的任一上界，若对B的所有上界y均有a y，则称a为B的最小上界（上确界），记作LU