方世昌离散数学第三版教材课件第4章函数.docVIP

方世昌离散数学第三版教材课件第4章函数 41 函数的基本概念 42 特殊函数类 43 逆函数 41 函数的基本概念 411 函数的定义 函数亦称映射或变换其定义如下 定义41―1 设X和Y是集合一个从X到Y的函数f记为fX→Y是一个满足以下条件的关系对每一x∈X都存在唯一的y∈Y使〈xy〉∈f 　　〈xy〉∈f通常记作f x yX叫做函数f的前域Y叫做f的陪域在表达式f x y中x叫做函数的自变元y叫做对应于自变元x的函数值 　　从定义可看出X到Y的函数f和一般X到Y的二元关系的不同有以下两点 1 X的每一元素都必须作为f的序偶的第一个成分出现 2 如果f x y1和f x y2那么y1 y2 通常我们也把函数f看作是一个映射 变换 规则它把X的每一元素映射到 变换为 Y的一个元素因而f x 又叫做x的映象 在定义一个函数时我们必须指定前域陪域和变换规则变换规则必须覆盖所有可能的自变元的值例如 fI→If x ＝0如果x≤0f x x－1如果x＞0 定义了一个函数 如果函数的前域是有限的那么可以通过列表或画有向图表述变换规则例如 g｛abcd｝→｛123｝ g a 1 g b 2 g c 2 g d 1 定义了一函数 　　　定义 41―2 　设fX→YgW→Z如果X WY Z且对每一x∈X有f x g x 则称f g 函数相等的定义和关系相等的定义是一致的它们必须有相同的前域与陪域和相等的序偶集合例如 函数fI→If x x2和 函数f｛123｝→If x x2 是两个不同的函数 定义41―3 设f是从X到Y的函数X′是前域X的子集那么f X′ 表示Y的子集 f X′ ｛y｜x x∈X′∧y f x ｝叫做函数f下X′的映象整个前域的映象f X 叫做函数f的映象 或叫f的值域 　　　对任何函数f X→Y定义41-3含蓄地指定了另一函数FF ρ X →ρ Y 对任一X′　 XF X′ ｛y｜　 x x∈X′∧y f x ｝f和F显然不是相同的函数f的前域和陪域是集合X和Yf映射X的元素到Y的元素 F的前域和陪域是集合ρ X 和ρ Y F映射X的子集到Y的子集如图41-2所示 例41-1 1 假定f｛abcd｝→｛1234｝用图41―3定义 2 设fI→Ix≤0时f x 0x＞0时f x x－1那么 f －1 0 f ｛－1｝ ｛0｝ f 0 0 f ｛0｝ ｛0｝ f 1 0 f ｛1｝ ｛0｝ f 2 1 f ｛123｝ N f 3 2 f ｛2468｝ ｛1357｝ f 4 3 f ｛0－1－2｝ ｛0｝  通常用YX表示从集合X到集合Y的所有函数的集合应用这样的符号有其方便之处因为如果X和Y都是有限集合时设｜X｜ m ｜Y｜ N 则｜YX｜ Nm ｜Y｜｜X｜这是因为对每个自变元它的函数值都有N 种取法故共有nm 种从X到Y的函数 函数的前域X时常是某个集合叉积具有前域 例41-2 a 设X ｛abz｝Y ｛010226｝fX→Y f a 01f b 02f z 26f是一个简单的编码函数 b S N →N S N N 1S 叫皮亚诺后继函数 c X和Y是非空集合PX×Y→XP xy xP称为投影函数 d X和Y是非空集合fX→ρ X×Y f x ｛x｝×Y函数值｛x｝×Y代表X×Y在x处的截痕f叫截痕函数 e 如果X Y是任意集合那么空关系是从X到Y的无义的函数叫空函数如