设X和Y是集合.pptVIP

第四章 函数 * * 定义4.1 设X和Y是集合，如果f是X到Y的关系，且对每一个x∈X，都有唯一的y∈Y，使得x,y∈f，则称关系f为函数，记作f：X→Y。 如果x,y∈f，则x称为自变量，y称为在f作用下x的像（或f在x处的函数值）。一般用y=f(x)表示x,y∈f。 定义4.2 设函数f:A→B, g:C→D:，如果A=C, B=D,且对于所有x∈A有f(x)=g(x)，则称函数f和g相等，记作f=g。 定义4.3 设A, B为集合，所有从A到B的函数构成集合BA，读作“B上A”。即 BA={ f | f:A→B }。 定义4.4 设函数 f : X→Y， (1)对任意x1,x2∈X，当x1≠x2时必有f(x1)≠f(x2)，或者f(x1)＝f(x2)时必有x1＝x2，则称f是单射的(一对一映射)。 (2)对任意y∈Y，均有x∈X，使y=f(x)，即Ran(f)=Y，则称f是满射的。 (3)若f既是单射又是满射，则称f是双射的(一一对应映射)。 定义4.5 设函数 f : X→Y，如果存在某个y0∈Y，对于每个x∈X都有f(x)= y0，则f称为常值函数。 定义4.6 设函数IX :X→X，如果对于每个x∈X都有IX(x)=x，即 IX ={ x,x | x