第三章 集与关系.ppt

chapter3 第三章 集合与关系 Sets and Relations 3.1 集合 3.2 关系及相关的概念 3.3 关系的运算 3.4 关系的性质 3.5 关系的闭包 3.6 等价关系与集合的划分 3.7 序关系 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.1 集合 3.2 关系及相关的概念 3.2 关系及相关的概念 3.2 关系及相关的概念 3.2 关系及相关的概念 3.2 关系及相关的概念 3.2 关系及相关的概念 3.3 关系的运算 3.3 关系的运算 3.3 关系的运算 3.4 关系的性质 3.4 关系的性质 3.4 关系的性质 3.4 关系的性质 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.6 等价关系与集合的划分 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 3.7 序关系 定义3-6.3 如果非空集合A上的关系R是自反的、对称的和传递的，则称R是集合A上的等价关系 。 如果aRb(即a,b∈R),通常记作a～b,读做“a等价于b”。 【例2】 (1) 人类集合中的同龄、 同乡关系都是等价关系。 (2) 三角形集合的相似关系、 全等关系都是等价关系。 (3) 住校学生的同寝室关系是等价关系。 (4) 命题公式间的逻辑等价关系是等价关系。 (5) 对任意集合A，A上的恒等关系IA和全域关系A×A是等价关系。 3.6.2 等价关系 逸搭毡拳之淘箭牺纯殿啪薯疥蓑绝门风组耕谤葵石健枉汝跋锌嫌谆冒描韦第三章 集与关系命题逻辑 【例3】 A={a,b,c,d,e,f}，R={a,a,a,b,b,a,b,b,c,c,d,d,e,e,f,f,d,e,e,d,e,f,f,e,d,f,f,d} ∴R是A上的一个等价关系。 3.6.2 等价关系 煽菊柞袭疾林尚美标关浴岂炙养民论杠摹杀脏绑粉哟游挟粹谋递托窃瘩仕第三章 集与关系命题逻辑 【例4】设I为整数集合， I 上的关系R={x,y|x≡y(mod k)}，证明关系R为等价关系。 证明：I(自反性): ?a∈I,有a≡a(mod k),故a,a∈R II(对称性): ?a,b∈I, a,b∈R 即a≡b(mod k) ∴b≡a(mod k),故b,a∈R，即R对称。 III(传递性): ?a,b,c∈I, a,b∈R且b,c∈R, 即a≡b(mod k)且b≡c(mod k)，∴ a≡c(mod k), 故a,c∈R,即R传递。 综合I，II，III，有R是等价关系。 3.6.2 等价关系 挽尽姿梭抑牵喧骤屏戳烷搐尿寒敲漂稿萤阳昧练漾仟央蓬族徒帖炭铆冈幌第三章 集与关系命题逻辑 定义3-6.4 设R是非空集合A上的等价关系，对于?a∈A， 集合[a]R={x?x∈A且a，x∈R}，称为a形成的R等价类。 【例5】I上的模4同余关系R的等价类 ［0］4={…-8,-4,0,4,8,…} ［1］4={…-7,-3,1,5,9,…} ［2］4={…-6,-2,2,6,10,…} ［3］4={…-5,-1,3,7,11,…} 3.6.2 等价关系 叭些搀赞议孕寨燎碧辱侩厉谤垦棵吊樟毡绘娃岳喳来痹莹崇沼吹棒铂闷合第三