第7章 格与布尔代.ppt

复习：偏序关系 (partial order) 3.12 偏序集合 定义3.12―1 如果集合A上的二元关系R是自反的,反对称的和传递的,那么称R为A上的偏序,称序偶〈A,R〉为偏序集合. 如果R是偏序,〈A,R〉常记为〈A,?〉, ?是偏序符号,由于? 难以书写,通常写作≤,读做“小于或等于”,因为“小于或等于”也是一种偏序,故不会产生混乱.R是偏序时,aRb就记成a≤b. 如果R是集合A上的偏序,则 也是A上的偏序;如果用≤表示 ,可用≥表示R.〈A,≤〉和〈A,≥〉都是偏序集合,并互为对偶. 例1 (a)〈I,≤ 〉是偏序集合,这里≤表示整数中的“小于或等于”关系 (b)〈ρ(A), 〉是偏序集合,这里是集合间的包含关系 (c)A={2,4,6,8},D代表整除关系,M代表整倍数关系,则 D={〈2,2〉,〈4,4〉,〈6,6〉,〈8,8〉,〈2,4〉,〈2,6〉,〈2,8〉,〈4,8〉} M={〈2,2〉,〈4,4〉,〈6,6〉,〈8,8〉,〈4,2〉,〈6,2〉,〈8,2〉,〈8,4〉} 〈A,D〉,〈A,M〉都是偏序集合,且互为对偶 例2 (a)P={1,2,3,4},〈P,≤〉的哈斯图为图3.4―2 (b)A={2,3,6,12,24,36},〈A,整除