math-chap4-4.离散数学_二元关系.ppt

庄伯金 bjzhuang@bupt.edu.cn * 商集与集合的划分 定义：设R为非空集合A上的等价关系，以R的所有等价类为元素的集合称为A关于R的商集，记作A/R，即A/R={[x]|x∈A}。 定义：设A为非空集合，若A的子集族?满足： ???； ?x?y(x,y ∈?∧x≠y→x∩y=?)； ∪?=A。 则称?为A的一个划分，称?中的元素为A的划分块。 商集A/R是A的一个划分。 商集与集合的划分 定理：对于集合A的任何一个划分，存在A上的一个等价关系R，使得该划分为A关于R的商集A/R。反之亦然。 庄伯金 bjzhuang@bupt.edu.cn * 庄伯金 bjzhuang@bupt.edu.cn * 偏序关系 定义：设R为非空集合A上的一个关系，若R具有自反性、反对称性和传递性，则称R为A上的偏序关系，记作?。如果x,y∈?，则称x小于或等于y。 定义：设R为非空集合A上的偏序关系，定义 ?x,y∈A，x?y?x?y∧x≠y； ?x,y∈A，x与y可比?x?y∨y?x。 定义：集合A和A上的偏序关系?一起叫做偏序集，记作(A,?)。 定义：设R为非空集合A上的偏序关系，如果?x,y∈A，x与y都是可比的，则称R为A上的全序关系（或线序关系）。 庄伯金 bjzhuang@bupt.edu.cn * 偏序图的表示 哈斯图 排序：若x?y，将x放在y的下方； 连线：?x,y