离散数学-8 函数

8.1 函数的定义与性质

定义8.1 设 F 为二元关系, 若x∈domF 都存在唯一的y∈ranF 使 xFy 成立, 则称 F 为函数 对于函数F, 如果有 xFy, 则记作 y=F(x), 并称 y 为F 在 x 的值.

定义8.2 设F, G 为函数, 则

 F=G FG∧GF

如果两个函数F 和 G 相等, 一定满足下面两个条件：

(1) domF=domG

(2) x∈domF=domG 都有F(x)=G(x)

定义8.3 设A, B为集合, 如果

f 为函数, domf=A, ranfB,

则称 f 为从A到B的函数, 记作 f：A→B.

定义8.4 所有从A到B的函数的集合记作B^A, 符号化表示为

 B^A = { f | f：A→B }

|A|=m, |B|=n, 且m, n>0, |B^A|=n^m

A=, 则B^A=B^={ }

A≠且B=, 则B^A=^A= 

定义8.5 设函数 f：A→B, A₁A, B₁B

(1) A₁在 f 下的像 f(A₁) = { f(x) | x∈A₁}, 函数的像 f(A)= { f(x) | x∈A}

(2) B₁在 f 下的完全原像 f ^1(B₁)={ x|x∈A∧f(x)∈B₁}

定义8.6 设 f：A→B,