二元关系和函数.ppt

极大元 设 是一个偏序集合，且B是A的子集， 对于B中一个元素b，如果B中没有任何元素x， 满足b≠x，且b x，则称b为B的极大元。 极小元 设 是一个偏序集合，且B是A的子集， 对于B中一个元素b，如果B中没有任何元素x， 满足b≠x，且x b，则称b为B的极小元。 例P99/4.16 极大元和极小元不是唯一的 极大元之间没有关系，极小元既是 极大元在哈斯图的顶部，极小元相反 4.5等价关系和偏序关系——偏序关系 * * 最大元 设 是一个偏序集合，且B是A的子集， 对于B中某个元素b，如果对B中每个元素x， 都有x b，则称b为 的最大元。 最小元 设 是一个偏序集合，且B是A的子集， 对于B中某个元素b，如果对B中每个元素x， 都有b x，则称b为 的最小元。 极大元和最大元是有区别的，最大元是唯一的， 极大元却不，极大元含有不可比元素 例P99/4.16 4.5等价关系和偏序关系——偏序关系 * * 上界 最小上界（上确界） 下界 最大下界（下确界） 4.5等价关系和偏序关系——偏序关系 * * 上界与最大元是有区别的，B的最大元必须属于B，而上界不一定属于B，但要属于A 最大元如果存在，则唯一，上下界则不是唯一的 2 3 6 8 12 16 24 32 例