函数及其运算.pptVIP

??? ??∈??→??? ??∈??∧ ??,?? ∈?? * * * * * 若A和B皆是非空的有限集合，从A到B的不同的函数有？个 |B||A|个。 a1, a2,…, a|A|的像, 均有|B|种选择 * * * * * * * * * * * * * * * 函数及其运算 离散数学－集合论 南京大学计算机科学与技术系 回顾 关系：笛卡尔积的子集 关系的运算 集合运算；复合运算；逆 0-1矩阵运算 关系的性质 reflexivity, ir-~; symmetry, anti-~; transitivity 图特征；矩阵特征 提要 函数的定义 子集的像 单射与满射 反函数 函数的复合 函数加法与乘法 函数 function 的定义 设 A 和 B 为非空集合，从集合A到B的函数 f 是对元素的一种指派，对A的每个元素恰好指派B的一个元素。记作 f :A?B。 Well defined 良定义 f :A?B：函数的型构 f 的定义域（domain）是A，f 的伴域（codomain）是B 如果 f 为A中元素a指派的B中元素为b，就写成 f a b。此时，称 b是a的像，而a是b的一个原像。 A中元素的像构成的集合称为f的值域 range （ f的像 image）。 函数也称为映射 mapping 或变换 transformation 函数是一种特殊的关系 A 和 B 为非空集合, 若关系 R?A?B 满足 对于 A 中的每个元素 a，B 中都有且仅有一个元素 b 使得 aRb 则 R 是一个从 A 到 B 的函数。 如何用逻辑公式表达上述条件？ 函数举例 下取整函数 ?x?: R → Z 函数 f 的图像: a, b | a?A ? f a b Java Program int floor float real … x y floor: float → int 函数举例 某课程成绩 Program CourseGrade grade StudentName sname，CourseName cname … Function： Grade: StudentName ×CourseName→ CourseGrade 姓名 课程 成绩 张明 离散数学 A 李宁 程序设计 B 王琴 数据结构 A … … … 函数原型 函数型构 signature 函数举例 设A为非空集合，A上的 恒等函数?A:A?A定义为 ?A x x，x?A 设U为非空集合，对任意的A?U, 特征函数?A:U? 0,1 定义为： ?A x 1，x?A ?A x 0，x?U-A 如果要记录每节离散数学课的到课情况？ 函数 function 的相等 函数相等 f g if dom f dom g codom f codom g ?x x?dom f →f x g x 子集在函数下的像 设 f 是从集合A到B的函数，S 是A的一个子集。S 在 f 下的像，记为f S ，定义如下： f S t | ?s?S t f s 备注：f A 即为 f 的值域。 B f S :T A S f S的像和逆像 S的像:T a b c b的逆像 T的逆像是什么？ 并集的像 设函数 f: A?B，且X，Y是A的子集，则 f X?Y f X ?f Y 证明: f X?Y ? f X ?f Y 对任意的t，若t?f X?Y , 则存在s?X?Y, 满足f s t; 假设s?X, 则t?f X , 假设s?Y, 则t?f Y , ?t?f X ?f Y f X ?f Y ? f X?Y 对任意的t，若t?f X ?f Y 情况1：t?f X , 则存在s?X? X?Y, 满足f s t, ?t? f X?Y 情况2： t?f Y , 同样可得t? f X?Y ? t? f X?Y 交集的像 设函数 f : A?B，且X，Y是A的子集，则 f X?Y ? f X ?f Y A B X Y a1 a2 c f ? 在f X ?f Y 中，但不在f X?Y 中 函数性质 ?:A?B是单射（一对一的） injection, injective function, one-to-one function ?x1, x2?A, 若x1?x2，则? x1 ?? x2 //等价的说法：?x1, x2?A, 若? x1 ? x2 ，则x1 x2 //另一种等价的说法？ ?:A?B是满射（映上的） surjection, surjective fu