LL.1函数和选择公理 ⊥111函数定义 定义11.1.1对集合A到集合B的关系f,若满足下列条件: 1)对任意的x∈dom(f,存在唯一的y∈ran(f),使xy成 (2)dom(f)=A 则称f从A到B的函数,或称f把A映射到B(有的书称f为全 函数、映射、变换 0一个从A到B的函数f,可以写成f:A→B,这时若xy,则 一可记作f:x→y或f(×)=y °若A到B的关系f只满足条件(1),且有dom(f)<A,则称f为 从A到B的部分函数(有的书上称f为函数),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为函数)