离散数学第三章ppt.ppt

集合论简介 第二章 集合的基本概念和运算 2.1 集合论的基本概念 2.2 集合上的运算 2.5 集合的笛卡尔乘积 第三章 二元关系 3.1 基本概念 3.4 次序关系 3. 定理：设 是偏序集合，B是A的子集 则： (1)如果b是B的最大元素，那么b是B的 极大元素. (2)如果b是B的最么大元素，那b是B的 lub. (3)如果b是B的一个上界且 ，那么b是B的最大元素. 同理可得,最小元素、极小元素、glb之间关系。 三、拟序集合 定义：如果集合A上的二元关系R是传递的和反自反的，那么R叫做A上的拟序。 A，R称为拟序集合，常用符号表示拟序。 例如（1）实数集合中的 是拟序关系 （2）集合中的真包含是拟序关系。 3.5 等价关系和划分 解： 二、偏序集中极小元，极大元，最小元， 最大元，上界，下界，上确界，下确界。 1、极大、小元，最大、小元。 由定义知： 中没有比它小的元 极小元 极大元 一定存在，可能多个 中没有比它大的元 ， ， 二、偏序集中极小元，极大元，最小元， 最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 定义：设 ， 为偏序集， (1) 若存在 则称 成立， ，使得 的上界。 为 (2) 若存在 则称 成立， ，使得 的下界。 为 二、偏序集中极小元，极大元，最小元， 最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 (3) 令 为 定义：设 ， 为偏序集， 的上确界(最小上界)。（记为lub) 中最小元 ，称 (4) 令 为 的下确界(最大下界)。(记为glb) 中最大元 ，称 二、偏序集中极小元，极大元，最小元， 最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 由定义知： 上界 中其它元 下界 中其它元 不一定存在，若存在 不一定只有一个 ，小于 ，大于 二、偏序集中极小元，极大元，最小元， 最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 由定义知： 上确界——最小的上界 下确界——最大的下界 不一定存在， 若存在必唯一 (1) 例5、 求 上、下界，上、下确界。 ， ，偏序集 的最大、小元，极大、小元， 解： 的最大元：无，最小元：无， 极大元： ， ，极小元： 上界： ， ，下界： 上确界： 。 ，下确界： (2) 例5、 求 上、下界，上、下确界。 ， ，偏序集 的最大、小元，极大、小元， 解： ，最小元：无， 的最大元： ， 极大元： ，极小元： 上界： ， ，下界： 上确界： 。 ，下确界： 注：显然拟序是反对称的 内容：等价关系，划分。 重点：(1) 掌握等价关系和等价类的概念， (2) 之间的联系， 的划分 上的等价关系与集合 一、等价关系。 1、等价关系的定义。 若 则称 满足自反，对称，传递， 上关系 上的等价关系。 为 若 。 ，记 (2) 三角形的全等关系，三角形的相似 关系是等价关系。 (3) 在一个班级里“年龄相等”的关系 是等价关系。 例1、(1) 集合 是等价关系。 上的恒等关系，全域关系 例2、 (其中 验证 称模3的同余关系)， 上的等价关系。 为 ， 也就是 证明：显然， 是等价关系。 满足自反，对称，传递，所以 例2、 的关系图如下： 其中 。 ， 推广 ：整数集 的同余关系是等价关系： 上模 事实上：(1) 故 是自反的。 ， ， ， (2) 若 则 是对称的。 ， ，故 ， ，即 推广 ：整数集 的同余关系是等价关系： 上模 事实上：(3) 若 即 因 所以 是传递的。 ， ，故 ， ， ， ， ， 由(1)，(2)，(3)， 是等价关系。 2、等价类。 (1) 定义：设 对 则称 简称 的等价类，记 的等价类， 关于 为 ，记 上的等价关系， 是非空集合 在例2中，有 例6、判断下图中的关系分别具有哪些性质。 解： 既是对称又是反对称的，传递的。 是空关系，是反自反， 例6、判断下图中的关系分别具有哪些性质。 解： 既是对称又是反对称的，传递的。 是恒等关系，是自反的， 例6、判断下图中的关系分别具有哪些性质。 解： 传递的。 是全域关系，是自反的，对称的， 例6、判断下图中的关系分别具有哪些性质。 解： 反对称的，传递的。 既不是自反也不是反自反的， 例6、判断下图中的关系分别具有哪些性质。 解： 又不是反对称，不是传递的。 是反自反的，既不是对称 例7、设 判断 是否传递的。 上关系， ， 解：因 是传递的。 ，所以 因 所以 ，