F-南京大学.PDFVIP

函数及其运算 离散数学－集合论 南京大学计算机科学与技术系 内容提要  函数的定义  子集的像  单射与满射  反函数  函数的复合  函数加法与乘法 函数(function)的定义  设A和B为非空集合，从集合A到B 的函数f 是对元 素的一种指派，对A 的每个元素恰好指派B 的一个 元素。记作f :A→B 。  f 的定义域 （domain ）是A  f 的伴域 （codomain ）是B  如果f 为A 中元素a指派的B 中元素为b ，就写成f (a)=b 。 此时，称b是a 的像，而a是b 的一个原像。  A 中元素的像构成的集合称为f 的值域 （f 的像）。  函数也称为映射(mapping)或变换(transformation) 函数(function)的定义  备注  函数在其定义域中的每个元素都有唯一的取值  函数的值域是其伴域的子集  函数相等f =g iff  dom(f )=dom(g)  ∀x (x ∈dom(f ) →f (x)=g (x))  codom(f )=codom(g)  若A和B 皆是非空的有限集合，从A到B 的不同的函数有 |B||A|个。(a , a ,…, a 的像, 均有|B|种选择) 1 2 |A| 函数举例  某课程成绩 Adams A Chou B Goodfriend C Rodriguez D Stevens F 函数举例  下取整函数x：R →Z y Java Program int floor(float real) {…} x  函数f 的图像: {(a, b) | a ∈A ∧f (a)=b} 函数举例  设A为非空集合，A上的恒等函数ι :A→A定义为 A  ι (x)=x ，x ∈A A  设U 为非空集合，对任意的A⊆U, 特征函数 χ :U→{0,1} 定义为： A  χ (x)=1，x ∈A A  χ (x)=0，x ∈U-A A 子集在函数下的像  设f 是从集合A到B 的函数，S是A 的一个子集。S在f 下的像，记为f (S)，定义如下：  f (S)={ t | ∃s∈S (t=f (s)) }  备注：f (A)即为f 的值域。 S的像 S f (S) B A