离散数学——函数

函数的概念

函数或映射

A，B 是集合，f ⊆ A × B，对于任意的 x ∈ A，均有唯一的 y ∈ B，使得 (x,y) ∈ f，则称 f 为 A 到 B的函数关系，简称为 A 到 B 的函数或者 A 到 B 的映射。
记作 f：A→B。

若 A 为有限集合，则 f 也为有限集合，且 | σ |=| A |。
(x,y) ∈ f，称 x 为自变元，y 称为在 f 作用下 x 的像。
(x,y) ∈ f 亦可记为 y = f ( x )，且记 f（A）= { f ( x ) ︱ x ∈ X }。

注意：
1.函数的前域（定义域）为 A，即dom f = A。
2.一个 x ∈A只能对应于唯一的一个 y，即如果 f(x) = y 且 f(x) = z，则 y = z。
3. f 的值域（像集合）ran f ⊆B，也记为R f 。即：
R f = ran f = { y | ∃ x [ ( x ∈ A ) 且 ( y = f ( x ) ) ] }

定义：函数 f，g： A→B，对于任意的 x ∈ A 有 f(x) = f(y)，则称函数 f 和函数 g 相等。

单射或入射

设 σ 是 A 到 B 内的映射，如果对任意 a ∈ A，b ∈ A 且 a ≠ b，都有 σ (a) ≠ σ (b)，就称 σ 是 A 到 B 的单射或入射或一对一映射。
也可理解为：σ (a) = σ (b) ，则 a = b。
必要条件：︳A ︳<= ︳B ︳

满射

设 σ 是 A 到 B 内的映射，如果 B 中每一个元素都一定是 A 中某元素的映象，就称 σ 是 A 到 B 的到上映射（满射）。
即 ran f = B，即对任意的 y ∈ B，必然存在x ∈ A使得 y = f(x) 。
必要条件： ︳A ︳>= ︳B ︳

1-1映射或双射

设 σ 是集合 A 到集合 B 内的映射。如果 σ 既是 A 到 B 的满射，又是 A 到 B 的入射，则称 σ 为 A 到 B 的1-1映射或双射。
必要条件： ︳A ︳= ︳B ︳

逆函数

当且仅当函数是双射时，作为关系的函数，其逆关系才是函数，并且是双射函数。

映射的乘积