《北大离散数学05》.pptVIP

* 《集合论与图论》第5讲 * 一些特殊关系 空关系 恒等关系 全域关系 整除关系 小于等于关系,… 包含关系, 真包含关系 * 《集合论与图论》第5讲 * 特殊关系 设A是任意集合, 则可以定义A上的: 空关系: ? 恒等关系: IA = { x,x | x?A } 全域关系: EA = A?A = { x,y | x?A ? y?A} * 《集合论与图论》第5讲 * 特殊关系(续) 设A?Z, 则可以定义A上的: 整除关系: DA = { x,y | x?A ? y?A ? x|y } 例: A={1,2,3,4,5,6}, 则 DA= {1,1,1,2,1,3,1,4,1,5,1,6, 2,2,2,4,2,6,3,3,3,6,4,4, 5,5,6,6}. # * 《集合论与图论》第5讲 * 特殊关系(续) 设A?R, 则可以定义A上的: 小于等于(less than or equal to)关系: LEA = { x,y | x?A ? y?A ? x?y } 小于(less than)关系, LA = { x,y | x?A ? y?A ? xy } 大于等于(greater than or equal to)关系 大于(great than)关系,… * 《集合论与图论》第5讲 * 特殊关系(续) 设A为任意集合, 则可以定义P(A)上的: 包含关系: