第11章 函 数.pptVIP

第11章 函 数 上一章研究了关系的自反，传递、对称等性质，并针对这些性质研究了—些特殊的关系，如等价关系、偏序关系．这一章研究的各类函数是另外一些特殊的关系，这是从它们的单值性、定义域和值域的性质来讨论的．函数是一个基本的数学概念．通常的实函数是在实数集合上讨论的．这里推广了实函数概念，讨论在任意集合上的函数． 11．1 函数和选择公理 11.1.1 函数定义 定义11.1.1 对集合A到集合B的关系f，若满足下列条件： (1)对任意的x∈dom(f)，存在唯一的y∈ran(f)，使xfy成立； (2)dom(f)=A 则称f为从A到B的函数，或称f把A映射到B(有的书称f为全函数、映射、变换) 一个从A到B的函数f，可以写成f：A→B，这时若xfy，则可记作f：x|→y或f(x)=y. 若A到B的关系f只满足条件(1)，且有dom(f)?A，则称f为从A到B的部分函数(有的书上称f为函数)， 函数的两个条件可以写成 (1)(?x)(?y1)(?y2)((xfy1^xfy2)→y1=y2)， (2)(?x)(x∈A→(?y)(y∈B^xfy))． 函数的第—个条件是单值性，定义域中任一x与B中唯一的y有关系，因此，可以用f(x)表示这唯一的y．第二个条件是A为定义域，A中任一x都与B中某个y有关系.注意不能把单值性倒过来