离散数学-函数.pptVIP

5-1 函数的基本概念 一.概念 定义：X与Y集合，f是从X到Y的关系，如果任何x∈X， 都存在唯一y∈Y，使得x,y∈f,则称f是从X到Y的函数， (变换、映射)，记作f:X ?Y, 或X Y. 如果f:X?X是函数, 也称f是X上的函数. 下面给出A={1,2,3}上几个关系，哪些是A到A的函数？ 1。 2。 。 1。 2。 。 1。 2。 。 1。 2。 。 3 3 3 3 R2 R1 R3 R4 离散数学-函数全文共20页，当前为第1页。 下面哪些是R到R的函数？ f={x,y|x,y∈R∧y= } g={x,y|x,y∈R∧x2+y2=4 } h={x,y|x,y∈R∧y= x2 } r ={x,y|x,y∈R∧y=lgx } v ={x,y|x,y∈R∧y= } __ 1 x √ x 离散数学-函数全文共20页，当前为第2页。 2.定义域、值域和陪域(共域) 设f:X?Y, f的定义域(domain)，记作dom f，或Df 即 Df =dom f={x|x∈X∧?y(y∈Y∧x,y?f)} =X f的值域(range) ：记作ran f， 或Rf 即或f(X) Rf =ran f=f(X)={y| y∈Y∧?x(x∈X∧x,y?f)} f的陪域(codomain):即是Y(称之为f的陪域)。 离散数学-函数全文共20页，当前为第3页。 二. 函数的表示方法 有 枚举法、关系图、关系矩阵、谓词描述法。 三.从X到Y的函数的集合YX： YX ={f| f:X?Y} YX ：它是由所有的从X到Y函数构成的集合 例 X={1,2,3} Y={a,b} 求所有从X到Y函数． 结论： 　若X、Y是有限集合，且|X|=m，|Y|=n，则|YX|=|Y||X|=nm。从X到Y的关系= |P(X ? Y)|= 2nm. 规定：从?到?的函数只有f=?。 　　　从?到Y的函数只有f=?。 　　　若X≠?，则从X到?的函数不存在。 离散数学-函数全文共20页，当前为第4页。 四. 特殊函数 1. 常值函数：函数f:X?Y ，如果?y0∈Y, 使得对?x∈X, 有f(x)=y0 , 即ran f={y0} ,称f是常值函数。 2.恒等函数：恒等关系IX是X到X函数，即IX:X?X,称之为恒等函数。显然对于?x∈X，有 IX(x)=x 。 五 .两个函数相等 设有两个函数f:A?B g:A?B, f=g 当且仅当 对任何x∈A，有f(x)=g(x)。  离散数学-函数全文共20页，当前为第5页。 六. 函数的类型 例子： X1 Y 。 。 。 。 。 1 2 3 a b 。 c s X Y 。 。 。 。 。 1 2 3 a b 4 。 。 c g X1 Y1 。 。 。 。 。 1 2 3 a b d 。 。 c h X Y 。 。 。 。 。 1 2 3 a b 4 。 。 c f Rf=Y Rs=Y Rg?Y Rh?Y1 一对一 一对一 离散数学-函数全文共20页，当前为第6页。 函数的类型 1.满射的：f:X?Y是函数，如果 ran f=Y,则称f 是满射的。 2.入射的：f:X?Y是函数，如果对于任何x1,x2∈X, 如果 x1≠x2 有f(x1)≠f(x2),(或者若f(x1)=f(x2),则x1=x2), 则称f 是入射的，也称f 是单射的，也称f 是一对一的。 3.双射的：f:X?Y是函数，如果 f 既是满射的，又是 入射的，则称 f 是双射的，也称f 是一一对应的。 特别地：?：??Y是单射； ?：???是双射。 思考题：如果 f:X?X是入射的函数，则必是满射的，所 以 f 也是双射的。此命题在什么条件下成立吗？ 离散数学-函数全文共20页，当前为第7页。 5-2 函数的复合 关系的复合： 设R是从X到Y的关系，S是从Y到Z的关系， 则R和S的复合关系记作R? S 。定义为： R? S ={x,z|x?X?z?Z??y(y?Y ?x,y?R?y,z?S)} 离散数学-函数全文共20页，当前为第8页。 函数的复合 定义：设 f:X?Y, g:W?Z是函数,若f(X)?W,则 g? f ={x,z|x?X?z?Z??y(y?Y ?x,y?f?y,z?g)} 称为g在f的左边可复合。 离散数学-函数全文共20页，当前为第9页。 定理：两个函数的复合