第4章 二元关系和函数(6).pptVIP

4. 6 函数的定义和性质 函数概念是最基本的数学概念之一，也是最重要的数学工具。初中数学中函数定义为对自变量每一确定值都有一确定的值与之对应的因变量；高中数学中函数又被定义为两集合元素之间的映射。 现在，我们要把后一个定义作进一步的深化，用一个特殊关系来具体规定这一映射，称这个特殊关系为函数，因为关系是一个集合，从而又将函数作为集合来研究。 离散结构之间的函数关系在计算机科学研究中也已显示出极其重要的意义。我们在讨论函数的一般特征时，总把注意力集中在离散结构之间的函数关系上，但这并不意味着这些讨论不适用于其它函数关系。 定义4.6.1 设X，Y为集合，如果f为X到Y的关系（fX×Y），且对每一x∈X，都有唯一的y∈Y，使〈x,y〉∈f，称f为X到Y的函数，记为f：X→Y。当X=X1×X2×…×Xn时，称f为n元函数。函数也称映射。 换言之，函数是特殊的关系，它满足 （1）函数的定义域是X，而不能是X的某个真子集。 （2）若〈x,y〉∈f，〈x,y′〉∈f，则y＝y′（单值性）。 由于函数的第二个特性，人们常把〈x,y〉f或xfy这两种关系表示形式，在f为函数时改为y=f(x)。这时称x为自变元，y为函数在x处的值；也称y为x的像点，x为y的源点。一个源点只能有唯一的像点，但不同的源点允许有共同的像点。 注意，函数的上述表示形式不适用于一般关系。（因为一般关系不具有单值性。） 例1 设A={a,b},B={1,2,3}，判断下列集合是否是A到B的函数。 F1={〈a,1〉,〈b,2〉}, F2={〈a,1〉,〈b,1〉}， F3={〈a,1〉,〈a,2〉}, F4={〈a,3〉} 解 F1,F2是函数，F3,F4不是函数， 但若不强调是A到B的函数，则F4是函数， 其定义域为{a}。 例2 下列关系中哪些能构成函数？ （1）{〈x,y〉|x,y∈ N, x+y10} （2）{〈x,y〉|x,y∈ N, x+y=10} （3）{〈x,y〉|x,y∈ R, |x|=y} （4）{〈x,y〉|x,y∈ R, x=|y|} （5）{〈x,y〉|x,y∈ N, |x|=|y|} 解 只有（3）能构成函数。 由于函数归结为关系，因而函数的表示及运算可归结为集合的表示及运算，函数的相等的概念、包含概念，也便归结为关系相等的概念及包含概念。 ? 定义4.6.2 设f:A→B，g:C→D，如果A=C，B＝D，且对每一x∈A，有f(x)＝g(x)，称函数f等于g,记为f=g。 如果AC，B＝D，且对每一x∈A， 有f(x)＝g(x)，称函数f包含于g，记为f g。 事实上，当不强调函数是定义在哪个集合上的时候，由于函数是序偶的集合（特殊的关系），所以f=g的充分必要条件是f g且g f。 例3 设A={a,b},B={1,2,3}。由A→B能生成多少个不同的函数？由B→A能生成多少个不同的函数？ g1={〈1,a〉,〈2,a〉,〈3,a〉} g2={〈1,a〉,〈2,a〉,〈3,b〉} g3={〈1,a〉,〈2,b〉,〈3,a〉} g4={〈1,a〉,〈2,b〉,〈3,b〉} g5={〈1,b〉,〈2,a〉,〈3,a〉} g6={〈1,a〉,〈2,a〉,〈3,b〉} g7={〈1,b〉,〈2,a〉,〈3,b〉} g8={〈1,b〉,〈2,b〉,〈3,b〉} 定理4.6.1 设|A|=m，|B|=n，那么{f|f:A→B}的基数为 nm，即共有nm个A到B的函数。 证明 设A={a1,a2,…,am},B={b1,b2,…,bn}，那么每一个f:A→B由一张如下的表来规定: 其中b i1，b i2，…，b im为取自b1，b2，…，bn 的允许元素重复的排列，这种排列总数为n m个。 因此，上述形式的表恰有n m张，恰对应全部n m个 A到B的函数。 由于上述缘故，当A,B是有穷集合时，我们以B A 记所有A到B的全体函数的集合： B A={f|f:A→B}