2.6等价关系与等价类答题.ppt

分类 无处不在 图书馆：{文学，数学，信息，工程技术，……} 学生：{旷课的，正常出勤的} 政党：{共产党，国民党，九三学社，……} …… 具体到信息科学领域：它是模式识别、机器学习和数据挖掘中的一个重要研究问题 可见，掌握分类的理论与方法是非常有必要的 分类是什么？ 问题实质：集合的划分 A为非空集合，S ={S1, S2 , …, Sm}，其中 Si ? A , Si ≠ Φ(i = 1, 2, …, m),且 ，另有Si∩Sj=?(i ≠j), 称S 是A的划分（或分划）。 问题：划分的原则和方法？ 数学是从实际生活当中抽象出来的理论，旨在利用这些抽象的理论去更好的指导实践。 在此，由分类这样一个感性的、简单的、朴素的概念引出一个抽象的、极为重要的数学概念——等价关系。 Here we go… 主要内容 具体学习目标 基础：关系的性质 等价关系与等价类 等价关系、等价类和商集的定义 等价类的性质 等价关系与划分的对应关系 前沿：粗糙集理论 小结 学习目标 理解三个定义 掌握等价类和等价关系的求法 理解等价关系与划分的关系 学会一些解决问题的方法 回顾：关系的性质及判断方法 自反关系 R在X上自反?(?x)(x∈X→xRx) 对称关系 R在X上自反?(?x)(?y)(x∈X∧y ∈X ∧xRy →yRx) 传递关系 R在X上自反 ? (?x)(?y) (?z)(x∈X∧y∈X∧z ∈X∧xRy∧yRz →xRz) 1.1 等价关系 定义1：（等价关系） 集合A上的关系R，如果它是自反的，对称的，且可传递的，则称R是A上的等价关系。 a, b∈R 称a等价于b，记做a~b 。 例子： 同乡关系 平面几何中的三角形间的相似关系是等价关系 集合上的恒等关系和全域关系为等价关系。 朋友关系（～传递性） 认识关系（ ～对称性v～传递性） 例1: 设I为整数集,R={x,y|x?y(mod k)},证明R是等价关系。 (同余关系：R={x,y|(x-y)/k∈Z, x,y∈I}记做x?y(mod k)}) 证明： 设任意a,b,c∈I (1) ∵ a-a=k?0, ∴ a,a∈R (2) 若a?b(mod k),a-b=kt (t为整数),则b-a=-kt, 所以b ? a(mod k) (3) 若a?b(mod k)，b?c(mod k),则a-b=kt, b-c=ks (t,s为整数）,a-c=a-b+b- c=k(t+s),所以 a=c(mod k) 因此， R是等价关系。 举例：I＝{1,2,3,4,5,8}是整数集合,R={x,y| x?y(mod 3) ,x,y∈I} 上面已经证明了R是等价关系：1~4, 2~5~8, 3. 1.2 等价类 定义2：（等价类） R是集合A上的等价关系，对任何一个确定 a ∈ A，集合[a] R ={x| x ∈ A∧xRa}称为元素a形成的R等价类，简称为a的等价类，简记做[a], a是[a]的代表元素。 例子：前面例1中 [1]R=[4]R={1, 4} [2]R=[5]R= [8]R={2, 5, 8} [3]R={3} 1.3 商集 定义3：（商集） R是集合A上的等价关系，其等价类集合{[a]R | a∈A}，称作A关于R的商集，记做A/R 。 例子：前面例1中 A/R= {{1, 4}, {2, 5, 8}, {2, 3}} “商”的解释 在正整数的除法中，如果我们用线段表示数，则m除以n所得到的商可以看作线段n切割线段m的最大次数（而最终剩余的线段则表示余数） 类似地，一个集合A关于等价关系R的商可以看作是用R对A中的元素尽可能进行分类的结果，其表现形式是由等价类构成的集合，即把所有等价的元素放在一起 2. 等价类的性质 等价类的性质 设R为非空集A上的等价关系, ?a,b∈A，则： (1) [a]R ≠ Φ (2) 若aRb, 则[a]R=[b]R (3) 若aR’b, 则[a]R∩[b]R=? (4) ∪{[a]R|a∈A}=A 性质1：[a]R ≠ Φ 证明： ∵ a∈A, 根据自反性有aRa，必然有a∈[a]R ∴……