关系:X,Y是两个非空集合, 记
若
则称R是X到Y的一个二元关系,简称关系。
若
,记
。
当
时,称
是
上的一个关系。
目录
偏序关系
设是
上的一个关系,若
满足:
(1)自反性:对任意的 ,有
;
(2)反对称性:若,则
;
(3)传递性:若, 则
;
则称 是
上的一个偏序关系。
例:
中,小于或等于关系,即满足偏序关系,可以有关系矩阵
偏序集
一般用符号 来表示偏序关系,从而,称
是一个偏序集。
偏序关系
偏序集
可比性
设 是一个偏序集,对任意
,若
与
至少有一个成立,则称
与
可比;反之,若
与
都不成立,则称
与
不可比;
若
且
,则记
全序集
若对任意的,都有
与
可比,则称
是一个线性序或全序。并称
是一个线性序集或全序集。
一个线性序集也称为一条链,偏序集的线性序的子集 (在原偏序关系下) 构成一条链。
偏序集+可比性
全序集
最值与上下界
设是一个偏序集.
若存在,使得对任意的
,有
,则称
是
的最大元;
若存在, 使得对任意的
, 有
,则称
是
的最小元。
设是一个偏序集,
.
若存在,对任意的
, 有
则称
是
的一个上界;
若存在,对任意的
,有
,则称
是
的一个下界。
上下确界
设是一个偏序集,
.
若是
的一个上界,且对
的任意上界
,都有
,则称
是
的最小上界或上确界,记
若是
的一个下界,且对
的任意下界
,都有
, 则称
是
的最大下界或下确界,记
。
若的上、下确界存在,则记: