10-L01 函数的概念.pdfVIP

离散数学基础 离散数学基础 2017-11-29 • 单元内容提示 − 函数的概念和性质 − 逆函数和函数的复合 − 同构函数  (同构偏序和同构格) − 子集的特征函数 − 递归关系和递归函数 • 定义：函数 −ƒ  为集合 A 到集合 B  的函数当且仅当： (1) ƒ  为 A 到 B  的二元关系，记为 ƒ : A →B (2) Dom(ƒ) = A (3) 对任意的 x ∈A, y, y′∈B 有  (x, y)∈f ∧(x, y’)∈f  → y=y′ − 函数关系中定义域的任何一个元素仅与值域中的某一个元素发生联系。 − 显然  Ran(f ) ⊆ B 。B  也称为函数ƒ  的陪域。 • 定义：函数 − 设 R  是集合 A  到集合 B  的二元关系，x ∈A 。x  的 R‐关联集是 B  中所有与 x 有关系 R  的元素的集合： R(x) = { y | (x, y)∈R, y ∈B }  » 对于 A 1⊆A ，A 1  的 R‐关联集定义为：      R(A ) = { y | (x, y)∈R for some x in A ,  y ∈B }  1 1     = ∪x ∈A1R(x)  −对任意的 x ∈A ，有|R(x)|=1  时，称 R  为 A 到 B  的函数 • 定义：函数 − 函数 ƒ：A → B   也称为映射。 −通常用 y = ƒ(x) 表示  (x, y)∈ƒ  ，也称 x  为自变量， y  为 在 ƒ  下关于 x  的 函数值。 − 称 y  为 x 在 ƒ  下的像并称 x  为 y 在 ƒ  下的原像。 » 按照函数的定义，这里的 y  是由 x  唯一确定的。 −对函数 ƒ : A → B  ， A 1 ⊆ A ，定义  ƒ(A ) = {y |(∃x)(x ∈A ∧y =ƒ(x))}  为子集 A  在 ƒ  下的像。  1 1 1 • 例1 ：  − 考察下列二元关系  ƒ = {(x , x )|x , x ∈N 且 x +x 10 }  1  1 2 1 2 1 2 ƒ = {(y , y )|y , y ∈R 且 y 2=y }  2  1 2 1 2 2 1  ƒ = {(y , y )|y , y ∈R 且 y =y 2 }  3  1 2 1 2 2 1 ƒ = {(z , z )|z , z ∈N, z 为小于 z 的素数个数}  4  1 2 1 2 2  1  − 其中，ƒ ，ƒ 不是函数，ƒ ，ƒ 是函数。  1 2  3  4   • 函数相等  − 设函数 f  : A→B, g : C→D。若 A = C, B = D, 且对所有 x ∈A, 有 f  (x) = g(x)，则称  f  和 g 相等，记作 f  =g 。  − 把函数看成是二元关系，两个函数相等就是这两个二元关系等价。  • 满射（满函数/映上函数）  − 设函数 f  : A→B ，若  Ran(f ) = B ，则称 f  是一个满射。  • 单射（单函数/一对一函数）  − 设函数 f  : A→B ，若对任意 x , x ∈A ，有 x  ≠ x  ⇒ f (x ) ≠ f (x )，则称 f   是一个 1 2 1 2 1