第4章 函数hhs.pptVIP

An Introduction to Database Systenm 第四章 函数 * */73 */73 4.1 函数的概念 4.2 逆函数与复合函数 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 定义1：任何两个集合 X 和 Y , f 是 X 到 Y 的 一个关系，若对每个 x ? X, 有唯一 y ? Y 使得x,y ? f, 称关系 f 为函数(映射), 记作 x —自变元 y —在 f 作用下 x 的象 x,y ? f 亦可记作 y = f (x), f ( X )={f (x)| x ? X} 前域(定义域) domf=X，值域ranf Y 例： 设 X ={张三、李四、王五}， Y ={法国、美国、俄罗斯、英国} f ={张三,美国李四,俄罗斯王五,英国} 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 例：判断下列关系哪个构成函数 , , x x x x { ) 2 2 1 2 1 x1的素数个数} 为不大于 x N f c ù ? = ? ? ? 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 关系是X ? Y 的子集，并不都能成为 X 到 Y 的函数。 函数的定义域是X, 而不是X 的 某个真子集； 一个 x 只能对应于唯一的 y ； 例 X={a,b,c}, Y={0,1} X?Y={a,0,b,0,c,0,a,1,b,1,c,1 一般地，|X|=m, |Y|=n,由 X 到 Y 的任意函数的定义域是 X ,在函数中每个恰有 m 个序偶,又任何x ? X ,可以有 n 个元素中的任何一个作为它的像,故共有 nm (|Y| |X| ) 个不同函数. 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 设函数 f: A ? B、 g: C ? D,如果A=C , B=D , 且对于所有 x? A 和 x? C有 f(x) = g(x) , 则称函数 f 和 g相等，记作 f = g 。 应满足两个条件 dom( f ) = dom( g ) ?x? dom( f ) = dom( g ) 都有 f(x) = g(x) 例：函数 f(x) = (x2 -1)/(x+1), g(x) =x-1, 请判断函数 f 和 g是否相等。 因为 dom(f )={x x? R ù x ? -1} dom(g )= R 所以 dom(f ) ?dom(g) 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 ))) ( ( ( x f y X x x Y y y = ù ? $ ? ? f 从X ? Y的映射中，若 ran f = Y (即 Y 的每一个元素是 X 中一个或多个元素的像点), 则称这个映射为满射的. 满射 从X ? Y的映射中, 若 X 中没有两个元素有相同的象, 则称这个映射为入射. （一对一映射） 入射 )) ( ) ( , ( 2 1 2 1 2 1 2 1 x f x f x x X x x x x 1 ? 1 ù ? 从X ? Y的映射, 若既是满射又是入射的，则称这个映射是双射的。 双射 f f 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 入射 映射函数 双(入、满)射 满射 例 4.1 函数的概念 1 函数定义 2 函数与关系 3 函数相等 4 特殊函数 定理：令 X 和 Y 是有限集，若 X 和 Y 的元素个数相同，即| X | = | Y |，则 f: X ? Y是入射的，当且仅当它是一个满射。 此定理对无限集不一定成立。 例如：f: I ? I , f(x)=2x 整数映射到偶整数(入射、非满射) 常函数：设 f:A→B, 如果存在c∈B使得对所有的 x∈A都有 f(x)=c, 则称 f:A→B是常函数. 恒等函数：称 A上的恒等关系IA为A上的恒等函数, 对所有的x∈A都 有IA(x)=x. 4.2 逆函数与复合函数 1 逆函数定义 2 复合函数与关系 关系与逆关系: y,x ?R-1 ? x,y?R 函数与逆函数: 定义域 (dom(f -1) ? Y) 函数值 (多一对应) 反函数存在的条件 (1) 任给函数F, 它的逆F ?1不一定是函数, 只是一个二元关系. (2) 任给单射函数 f:A→B, 则f ?1是函数, 且是从ranf 到A的双 射函数, 但不一定是从B到A的双射函数 (3