南京大学《离散数学》课件-第3周.pdfVIP

等价关系与划分 离散数学：第5讲 上一讲内容的回顾 关系的几类重要性质 自反 对称 传递 性质满足的充分必要条件 性质与运算之间的关系 闭包的定义与存在性 计算关系R的传递闭包的Warshall算法 等价关系与划分 等价关系的定义 等价关系的关系图的特征 等价类 定义 非空集合A上等价关系R的等价类的性质 商集 集合的划分 等价关系与集合划分的对应 等价关系的定义 满足性质：自反、对称、传递 “等于”关系的推广 例子 对3同余关系 RNN， xRy iff. 存在正整数k，l，使得 k l x y 。 等价类 R 是非空集合A 上的等价关系，x A ， 等价类[x]R {y|y A  xRy} 等价类的性质 每个等价类是A 的一个非空子集。 如果xRy ，则[x] [y] 如果非xRy ，则[x][y]  所有等价类的并集等于A 商集A/R：所有等价类的集合 等价关系的关系图 一个例子 A {1,2,3,4,5} R {1,1,2,2,3,3,4,4,5,5, 1,2,2,1,3,4,4,3} 1 3 2 4 5 集合的划分 定义：集合A 的划分 A 的非空子集族： • 包含A 中所有元素 • 不同的子集不相交 对于任意集合A上的任意关系R： A/R是一个划分 等价关系与集合划分的 一一对应关系 非空集合A上的任意等价关系对应与一个 特定的划分：A 的商集。 针对 集合A 的任意一个划分 可以定义一 个等价关系R： xRy iff. X,y在同一划分块中。 等价关系与划分对应： 一个例子 建立1000个集合, 每个集合包括1至2000之间的一个奇 数以及该奇数与2的k次幂的乘积, 但最大不超过2000。 可以证明这1000个集合的集合是集合{1,2,3,..., 2000} 上的一个划分。注意任意两个1到2000之间的正整数 k x,y在同一划分块中当且仅当x/y 2 。(k为整数)。 定义集合{1,2,3,..., 2000}上的一个关系R，任意x,y ， k xRy 当且仅当x/y 2 。易证这是一个等价关系。其商集 即上面的划分。 利用以上讨论，可证： “从1,2,...,2000 中任取1001个 k 数，其中必有两个数x,y ，满足x/y 2 。(k为整数)。 交叉划分 若 和 和都是A上的划分，则 1 2  {x