离散数学第四章.ppt

第四章 二元关系和函数 第一节 集合的笛卡儿积和二元关系 第二节 关系的运算 第三节 关系的性质 第四节 关系的闭包 第五节 等价关系和偏序关系 第六节 函数的定义和性质 第七节 函数的复合和反函数 第四章 小结和例题 (3) 其中有多少种偏序关系？ 所以，有3种偏序关系。 例8、设 ，问： 解：因 只有以下三种： 只有2个元素，不同的哈斯图 不满足自反性，所以既不是等价关系， 又不是偏序关系。 例8、设 ，问： (4) 是偏序关系吗？ 是等价关系吗？ 和空关系 解： 所以 满足自反，对称和反对称，传递， 既是等价关系，又是偏序关系。 内容：函数的定义，性质。 重点：掌握函数的定义，单射、满射、 双射的概念及判定。 一、函数的定义。 而 不是函数。 1、定义： 都存在唯一的 称 ， 为二元关系，若对任意的 成立，则 ，使得 为函数。 例如： 是函数， 3、有关集合和关系的运算对函数都适合。 2、记号：如 ， 若 。 ，记 4、函数的定义域，值域。 设 (1) 则称 满足： 是集合，若函数 ， ，(2) 。 的函数，记作 到 是从 符号 的全体构成的集合。 的函数 到 表示从 例如：函数 到 ，是从实数集 ， ， 的函数，即 函数 到 ，是从正实数集 ， 。 的函数，即 例1、 。 ，求 ， 解：题目要求从 定义，有 的所有函数，依函数 到 例1、 。 ，求 ， 解：题目要求从 定义，有 的所有函数，依函数 到 解：故 例1、 。 ，求 ， 一般，若 则 。 不全为0)， ( ， 二、函数的性质。 1、满射：若 (或到上的) 。 是满射的 ，则称 2、单射：若 ，则 (或一一的)。 ，则 ， 称是单射的 3、双射：若 是双射的 (或一一到上的)。 既是满射，又是单射，则称 也不是满射。 例2、判断以下 若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到 的是否从 (1) ， ， 解： 的函数， 到 是从 但 不是单射， 例2、判断以下 若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到 的是否从 解： 的函数， 到 不是从 (1) ， ， 例2、判断以下 若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到 的是否从 (1) ， ， 解： 的函数， 到 不是从 但它不是单射， 也不是满射。 (2) (实数集) 解： 的函数， 到 是从 解： 的双射函数。 到 是从 解： 的函数。 到 不是从 且是单射的， 但不是满射的 。 (3) (正整数集) 解： 的函数， 到 是从 解： 的函数。 到 不是从 是满射的。 不是单射的， (3) (正整数集) 解： 的函数， 到 是从 三、常用的一些函数。 1、常函数， ( 都有 ， 为常数) ， 2、恒等函数， 都有 ， ， 3、特征函数， ，其中 ， ， 。 商集： 如例6中的(4)的划分确定 等价关系 2、集合 的一个等价关系。 的一个划分确定 如下： 上的一个 3、 的一个划分。 上的一个等价关系可确定 若 即商集 诱导的划分。 的一个划分，称为由 ，就是 上的等价关系，则所有等价类的集合， 为 即 如例2中由 诱导的划分， 。 由以上可知，集合 集合 上的等价关系与 的划分是一一对应的。 例7、设 求出 ， 上的所有的等价关系。 解：只需列出 并找出由它们确定的等价关系。 上所有的划分， 例7、设 求出 解： 的等价关系为 上的所有的等价关系。 ， 的不同划分只有以上五种，设对应于划分 ，则有 例7、设 求出 解： 的等价关系为 上的所有的等价关系。 ， 的不同划分只有以上五种，设对应于划分 ，则有 则由此等价关系诱导的划分中 (1) 共有几个划分块？ (2) 求其中最大的块。 (3) 求其中最小的块。 例8、设 ： 上定义等价关系 ，在 解：依题意得： 差为0的: 差为1的： 差为2的： 即第一元素与第二元素之差相等的有序对互相 等价，将 中的元素按差划分。 差为 的： 差为 的： 解：(1) 共有5个划分块。 (2) 最大的划分块为： (3) 最小的划分块为： 和 三、偏序关系。 1、偏序关系的定义。 若 则称 记作 满足自反，反对称，传递， 上关系 上的偏序关系，简称偏序， 为 。 ，记 ，若 集合 记作 。 一起叫做偏序集， 上的偏序关系 与 例1、偏序关系的常见例子。 有理数集上的小于等于关系 正整数集上的整除关系 集合 上的恒等关系 幂集 上的包含关系 2、偏序集中的两元素可比，盖住的定义。 设 ， 为偏序集， 若 则称 成立， 或 是可比