作业帮 > 数学 > 作业

离散数学偏序集上界和下界怎么求?

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/22 11:59:36
离散数学偏序集上界和下界怎么求?
最好弄个例题和哈斯图加详解,只给答案看不懂,请说明为啥它是上下界
定义 设为偏序集, BÍA, yÎA.
(1) 若"x(x∈B→x≼y) 成立, 则称 y 为B的上界.
(2) 若"x(x∈B→y≼x) 成立, 则称 y 为B的下界.
(3) 令C={y | y为B的上界}, 则称C的最小元为B的最小上界 或 上确界.
(4) 令D={y | y为B的下界}, 则称D的最大元为B的最大下界 或 下确界.
n下界、上界、下确界、上确界不一定存在
n下界、上界存在不一定惟一
n下确界、上确界如果存在,则惟一
n集合的最小元就是它的下确界,最大元就是它的上确界;反之不对.