上游充通大 SJTU School Of Software 2009-2-2 2.2函数[离散数学中) 定义： 给定集合A和B,函数f是AxB的一个子集，使得ai、 aj∈A,bi、bj∈B,f(ai)=bi,f(aj)=bj, bi≠bj→ai≠aj。 或f:A→B f∈AxB 上函数，当且仅当f(A)=B; 中函数，当且仅当f(A)cB; 一对一函数：ai、aj∈A,ai≠aj→f(ai)f(aj): 多对一函数：存在ai、aj∈A,ai≠a但f(ai)=f(aj): 软件学院SJTU School Of Software 2009-2-2 软件学院 2.2 函数(离散数学中) 定义: 给定集合A和B,函数f是A×B的一个子集,使得ai、 aj∈A,bi、bj∈B, f(ai)=bi, f(aj)=bj, bi≠bj⇒ai≠aj。 或 f:A→B f⊆ A×B 上函数，当且仅当f(A)=B; 中函数，当且仅当f(A)⊂B; 一对一函数： ai、aj∈A, ai≠aj ⇒f(ai)≠f(aj); 多对一函数： 存在ai、aj∈A, ai≠aj 但f(ai)=f(aj);