[离散数学课件-乔维声]第5章函数.pptVIP

第5章 函数 5.1 函数与特殊类型函数 5.2 函数的运算 5.3 集合的势与可数集 5.4 自然数与数学归纳法 习 题 5 5.1 函数与特殊类型函数 5.1.1 函数的定义 考虑下面几个由图示表示的集合A到集合B的关系（见图 5― 1）。 在这６个关系中， 后４个关系ρ3， ρ4， ρ5， ρ6与ρ1， ρ2不同， 它们都有下面两个特点： （1） 其定义域为A； （2） A中任一元素a对应唯一一个B中的元素b。 定义 5.1 ― 1 设ｆ是集合A到集合B的关系， 若对A中每个元素a， 都存在B中唯一的元素b， 使得aｆb， 则称关系ｆ是由A到B的一个函数（或映射）， 记为ｆ： A→B。 A叫函数ｆ的前域， B叫函数ｆ的陪域。 当关系ｆ是函数时， aｆb常记作b＝ｆ(a),称b为a的像（或函数值）， 称a为b的像源。 由定义可知， 函数ｆ： A→B是满足以下两点的特殊的关系： (1) Df＝A， 即集合A的每个元素有像， 这称为像的存在性。 (2) 若f(a)＝b1且f(a)＝b2， 则有b1＝b2， 这称为像的唯一性。 例 1 判断下列关系中哪个能构成函数： (1) ρI2， ρ＝｛(i2， i)|i∈I｝ 解 因为 Dρ＝ZI， 所以ρ不满足像的存在性， 故ρ不是函数。 又有1ρ1， 1ρ(-1)， 所以 ρ也不满足像的唯一性。 (2) 设A＝｛1， 2， 3， 4｝， B＝｛b1， b2， b3｝， ρ1A×B，ρ2A×B， 其中 ρ1＝｛(1， b1)， (2， b1)， (3， b1)｝ ρ2＝｛(1， b1)， (2， b2)， (3， b3)， (2， b1)｝ 解 ρ1不是函数， 因为4∈A无像； ρ2也不是函数， 因为2ρ2b2， 2ρ2b1， 像不唯一。 (3) ρ＝｛(S， ) |SU｝， U是全集 ， 是S的补集。 解 SU， 即S∈2U， ρ是2U到2U的函数。 定义 5.1 ― 2 设有函数f： A→B， g： C→D， 若有A＝C、 B＝D且对所有的x∈A， 有f(x)＝g(x)， 则称函数f和g相等， 记为f＝g。 定义 5.1 ― 3 集合A到集合B的所有函数的集合记为BA， 即 BA＝｛f|f： A→B｝ 定理 5.1 ― 1 当A和B是有限集合时,有 ? |BA|＝|B||A| 证明 设|A|＝m， |B|＝n（m， n∈Ｎ）； 又设A＝｛a1， a2， …， am｝。 因为 Df＝A，所以 f＝｛(a1， f(a1))， (a2， f(a2))， …， (am ， f(am))｝。 而每个f(ai)（i∈Ｎm）都有n种可能， {n·n·…·n } ＝n m个 m个即 |BA|＝|B||A| 这就是为什么用记号BA表示集合｛f|f： A→B｝的原因。 5.1.2 特殊类型函数 定义 5.1 ― 4 设f是一个由集合A到集合B的函数， (1) 若对所有a， b∈A， 当a≠b时， 有f(a)≠f(b)， 则称f为由A到B的内射。 (2) 若Rf＝B， 则称f为由A到B的满射。 (3) 若f 既是内射又是满射， 则称f为由A到B的双射。 例2 判断图5 ― 1中的４个函数ρ3， ρ4， ρ5， ρ6是内射， 满射， 还是双射？ 解 因为a1ρ3b3， a5ρ3b3， 所以ρ3不是内射； 又因为 b5无像源， 所以 ρ3也不是满射。 同理可知