离散--第五章 函数

第5章 函数
• 5.1 函数定义及其性质

• 5.2 函数的复合与反函数

5.1 函数定义及其性质
• 5.1.1 函数的定义
– 函数定义
– 从A到B的函数
• 5.1.2 函数的像与完全原像
• 5.1.3 函数的性质
– 函数的单射、满射、双射性
– 构造双射函数
函数定义
定义5.1 设 f 为二元关系, 若 x∈domf 都存在唯一的
y∈ranf 使 x f y 成立, 则称 f为函数. 对于函数f, 如果有
x f y, 则记作 y=f(x), 并称 y 为 f在 x 的值.
例如 f1={<x1,y1>,<x2,y2>,<x3,y2>}
f2={<x1,y1>,<x1,y2>}
f1是函数, f2不是函数
函数相等
从A到B的函数
定义5.3 设A, B为集合, 如果
(1) f 为函数
(2) domf = A
(3) ranf  B,
则称 f 为从A到B的函数, 记作 f : A→B.
实例
f : N→N, f(x)=2x 是从 N 到 N 的函数
g : N→N, g(x)=2也是从 N 到 N 的函数
B上A
定义5.4 所有从A到B的函数的集合记作BA, 读作“ B上A”
符号化表示为
BA ={ f | f : A→B }
计数：
|A|=m, |B|=n, 且m, n>0, |BA|=nm.
重要函数的定义
定义5.5
(1) 设f： A→B, 如果存在 c∈B 使得对所有的 x∈A 都有
f(x)=c, 则称 f : A→B是常函数.
(2) 称 A 上的恒等关系 IA为 A 上的恒等函数, 对所有的
x∈A 都有 IA(x)=x.
(3) 设<A, ≼>, <B, ≼>为偏序集， f : A→B，如果对任意
的 x1, x2∈A, x1≺x2, 就有 f(x1) ≼ f(x2), 则称 f 为单调递增
的；如果对任意的 x1, x2∈A, x1≺x2, 就有 f(x1) ≺ f(x2), 则
称 f 为严格单调递增的.
类似的也可以定义单调递减和严格单调递减的函数.

 A'(a)    1 0,, a a A A '  A'
(4) 设 A 为集合, 对于任意的 A’ A, A’ 的特征函数
A’: A→{0,1} 定义为

属于子集  那么就等于1 ，不属于子集，等于0
实例：设A={