离散数学：第7章函数.pdfVIP

§7. 1 基本概念 第七章 函数 如果关系f 满足单值性： §7. 1 基本概念 若 x , y ∈f 且 x , z ∈f ，则y = z ； §7. 2 函数的复合 那么就称f 为函数。 §7. 3 特殊性质的函数 R = { 1, 2 , 1, 3 , 2, 2 } 不是函数，因为它 §7. 4 集合的特征函数 不满足单值性， 1, 2 , 1, 3 ∈R 。 确定型程序可看作函数，对于给定输入，至多有一 作业 种输出。非确定型程序不能看作函数，只能看作关 系，对于给定输入可有不同输出。 从X 到Y 的函数 { x , y , x + y | x ∈N ∧y ∈N}是从 N ×N 到 N 的函数，因为任何两个自然数之和都是 定义7.1 设 f 是从集合X 到 Y 的关系。若对每个 x ∈X 存在唯一y ∈Y 使得 x , y ∈f ，则称f 为 自然数，并且和是唯一的。 从X 到 Y 的函数，记为f : X →Y。 { x , y , x / y | x ∈R ∧y ∈R ∧y ≠0}不是 这里从X 到 Y 的函数指的是单值全函数，满足以 从 下三个条件： R ×R 到 R 的函数，因为它的定义域不是R 1. f ⊆X ×Y ×R ，而是R ×(R −{0})。 2. dom(f ) = X ，即处处有定义 2 S = { x , x | x ∈R } 不是从 R 到 R 的函 3. f 是函数，即单值性。 数，因为它不满足单值性， 1, −1 , 1, 1 注：因为函数的单值性是不能倒过来的，所以函数 ∈S ；也不是全函数，负数不在定义域中。 的逆关系不一定是函数。 例7.3设U 是全集， ρ(U )是其幂集。对于ρ(U ) 定义7.2 对于函数f : X →Y，若 x , y ∈f ， 的任意两个元素：集合A 、B ，他们的交集 则称x 为自变量，y 为函数f 在 x 处的值。也 和并集的运算是从ρ(U ) ×ρ(U ) 到 ρ(U ) 的 称y 为在f 作用下x 的象，而称x 为y 的一个象源。 函数。 常用y =f (x) 表示 x , y ∈f 。 类似可得：∩, ∪, −, + 是从 ρ(U ) ×ρ(U ) 到 注意：f (x) 表示一个变值，f 代表一个集合， ρ(U ) 的函数。 因此f ≠f (x) ∼是从 ρ(U ) 到 ρ(U ) 的函数。