《离散数学教学资料》09-划分等价关系.ppt

A={1,2,3,4,5,6,7,8}， R是A上的模3同余关系， 求由R诱导的划分。 解：A/R = { {1,4,7}, {2,5,8}, {3,6} } 是A的一个划分， 且是由R诱导的划分。 例： 定理： 设S是非空集合A的一个划分， 则存在A上唯一的等价关系R， 使A/R=S。 设A是非空集合， S是A的一个划分， S = {S1, S2, …, Sm} ， 求由划分S诱导的等价关系R： R = ∪Si?S (Si×Si) A={1,2,3,4,5,6,7,8}， S = { {1,4,7}, {2,5,8}, {3,6} } S是A的一个划分, 求由S诱导的等价关系。 解：R = {1,4,7}×{1,4,7} ∪ {2,5,8}×{2,5,8} ∪ {3,6}×{3,6} = . . . . . . 例： 等价关系， 反映了集合中元素的严格分类， 不同类之间没有重合。 A = {1,2,3,4}， 问A上等价关系的数目？ 解：欲求A上等价关系的数目 先求A的划分的数目。 考虑划分中划分块的类型： 4 = 2+2 = 1+3 = 1+1+2 = 1+1+1+1 例： 集合A有如下划分： {{1,2,3,4}} 1 {{1,2},{3,4}} {{1,3},{2,4}} {{1,4},{2,3}} C42/2＝3 {{1},{2,3,4}} {{2},{1,3,4}} {{3},{1,2,4}} {{4},{1,2,3}} C4１＝4 {{1},{2},{3,4}} {{1},{3},{2,4}} {{1},{4},{2,3}} {{2},{3},{1,4}} {{2},{4},{1,3}} {{3},{4},{1,2}} C42＝6 {{1},{2},{3},{4}} 1 1 + 3 + 4 + 6 + 1 = 15 A可有15种不同的划分， A上可有15种不同的等价关系。 A上可有２n２=2 16=65536种不同的二元关系，其中： 最小划分：对应全域关系 最大划分：对应恒等关系 有补充， 见“办公网”或收邮件。 作业： 3.10　等价关系 定义：设A是非空集合， 若S＝{S1，S2，…，Sm}，且 ① Si ≠ Φ ( 1≤i≤m ) ② Si ∩ Sj ＝ Φ ( 1≤i＜j≤m ) ③ ∪Si ＝ S1∪S2∪…∪Sm ＝ A 则称S是A的划分，称Si为A的划分块。 一、划分 各划分块非空 不同划分块不相交 所有划分块的并集是 A 定义：设A是非空集合， S = { S1，S2，…，Sm }， T = { T1，T2，…，Tn }， S 和 T 是 A 的两个划分， 若对于每一个 Si，都有 Tj， 使得 Si 是 Tj 的子集， 则称 S 是 T 的加细。 例：A = {1,2,3,4} A的划分： S1 = {{1,2},{3},{4}} S2 = {{1},{2},{3},{4}} 最大划分 S3 = {{1,2,3,4}} 最小划分 S1是S3的加细 , S2是S1的加细 , S2是S3的加细 说明： ① A 的划分， 是 A 的幂集 P(A) 的子集 ② 最大(最细)划分：{ {a}｜a?A } 最小(最粗)划分：{ A } 例：S 是任意非空集合, P(S) - {Φ}能否构成S的划分？ 解：(1) 若 |S| =1: (2) 若 |S| 1: 定义： 设R是集合A上的二元关系，