离散数学第四章ppt.ppt

第四章 函数第一节 函数的基本概念 第二节 函数的复合和反函数 三、单侧逆函数 见147页定义4.3-4 * 内容：函数的定义，性质。 重点：掌握函数的定义，单射、满射、 双射的概念及判定。 一、函数的定义。 而 不是函数。 1、定义： 都存在唯一的 称 (前域）， 为二元关系，若对任意的 成立，则 ，使得 为函数。其中ran称为陪域 例如： 是函数， 3、有关集合和关系的运算对函数都适合。 2、记号：如 ， 若 。 ，记 4、函数的定义域，值域。 设 (1) 则称 满足： 是集合，若函数 ， ，(2) 。 的函数，记作 到 是从 符号 的全体构成的集合。 的函数 到 表示从 例如：函数 到 ，是从实数集 ， ， 的函数，即 函数 到 ，是从正实数集 ， 。 的函数，即 例1、 。 ，求 ， 解：题目要求从 定义，有 的所有函数，依函数 到 例1、 。 ，求 ， 解：题目要求从 定义，有 的所有函数，依函数 到 解：故 例1、 。 ，求 ， 一般，若 则 。 不全为0)， ( ， 二、函数的性质。 1、满射：若 (或到上的) 。 是满射的 ，则称 2、单射：若 ，则 (或一一的)。 ，则 ， 称是单射的 3、双射：若 是双射的 (或一一到上的)。 既是满射，又是单射，则称 也不是满射。 例2、判断以下 若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到 的是否从 (1) ， ， 解： 的函数， 到 是从 但 不是单射， 例2、判断以下 若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到 的是否从 解： 的函数， 到 不是从 (1) ， ， 例2、判断以下 若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到 的是否从 (1) ， ， 解： 的函数， 到 不是从 但它不是单射， 也不是满射。 (2) (实数集) 解： 的函数， 到 是从 解： 的双射函数。 到 是从 解： 的函数。 到 不是从 且是单射的， 但不是满射的 。 (3) (正整数集) 解： 的函数， 到 是从 解： 的函数。 到 不是从 是满射的。 不是单射的， (3) (正整数集) 解： 的函数， 到 是从 三、常用的一些函数。 1、常函数， ( 都有 ， 为常数) ， 2、恒等函数， 都有 ， ， 3、特征函数， ，其中 ， ， 。 内容：复合函数，反函数。 一般：基本掌握复合函数， 反函数的定义及求法。 一、复合函数。 1、定义：设函数 则 ，称为 的复合函数。 ， ，对任意 ， ， 例1、设 ， ， ， 求 ，其中 。 ， ， ， ， ， 解：因为 的复合函数也是从 的函数 。 到 的函数，所以所求 到 均为从 解： 例1、设 ， ， ， 求 ，其中 。 ， ， ， ， ， 解： 例1、设 ， ， ， 求 ，其中 。 ， ， ， ， ， 解： 例1、设 ， ， ， 求 ，其中 。 ， ， ， ， ， 解： 例1、设 ， ， ， 求 ，其中 。 ， ， ， ， ， 2、性质。 因此， 设 ， (1) 若 也是满射的。 是满射的，则 证： ， 使 满射，故 ，由于 对这个 ， 使 满射，故 ，又由于 所以 是满射。 2、性质。 设 ， (2) 若 也是单射的。 是单射的，则 证： 故 ， ，且 单射， ，由于 ，若 又由 即 ， 的单射，有 ， 所以 是单射的。 2、性质。 二、反函数。 设 ， (3) 若 也是双射的。 是双射的，则 证：综合(1)、(2)，即得 是双射的。 1、定义：设函数 也是双射的，称 反函数。 的 是 是双射的，则 例2、判断以下函数是否存在反函数，若存在， 请写出反函数，否则，请说明理由。 (1) ， 解： 不存在反函数， 因为 。 不是单射， (2) ， 解： 是双射的， 存在反函数 。 ， 例2、判断以下函数是否存在反函数，若存在， 请写出反函数，否则，请说明理由。 (3) ， 解： 是双射的， 存在反函数 。 ，