离散数学电子教材.pdfVIP

第4章映射（函数）

映射（函数）是一个基本的数学概念，它是一个特殊的二元关系，我们可以把映射看作

输入输出关系，它把一个集合（输入集合）的元素变成另一个集合（输出集合）的元素。例

如，计算机中的程序可以把•定范围内的任•组数据变化成另一组数据，它就是•个映射。

映射的概念经常出现在开关理论、自动机理论和可计算理论等领域中，在计算机科学中

有着广泛的应用。

4映射（数的概念

.1函）

考虑下面几个由图4-1所示的集合x到集合y的关系。

图4-1

在这6个关系中，后4个关系凡，为,凡与与，R?不同，它们都有下面两

个特点：

(1)其定义域为X；

(2)x中任一元素。对应唯一一个y中的元素〃。

我们称具有这样两个特征的关系为映射(函数)。

定义4.1」设x,y是两个任意的集合，而/是x到y的一个关系，若对每一个

XGX,都存在一个唯一的,，£丫，使得,)，)£/,则称关系/为x到y的映射

(Mapping),记作

/：X—y或

若无〈,)»£/,则称A•为自变量(IndependentVariable),称y为映射/在/处的值(或

像(Image)),£/亦可记作y=/(x),/的值域ran/q丫，有时也记为R”即

R/={y|yw丫△(Hr)(xeX.\y=/(%)))

或记为

f(X)={f(x)\xEX}

集合Y称为/的共域，R亦称为映射f的像集合。对于A之X,称/(A)为A的像(Image

}

ofA),定义为

/(A)={,f(x)\xeA)={.y|3x(x£A/\y=/(x))}

显然，，/S)=。({©)={/(x)}(xeX),

映射f是x到y的特殊的二元关系，其特殊性在于：

(1)dom/=X,即关系/的前域是X本身，而不是X的真子集。

(2)若则映射/在x处的值)，是唯一的，即

x〈，y〉w『Ax〈,z)£/ny=z

例4.1.1设乂={«b,c,d},y={1,2,3,4,5}，且有/={4〈1〉,低3〉,化4〉,a4〉},

求dom于、和/(x)o

解dom/=X={aybyC.d]

ran/={1,3,4)

/3)=1J®=3J(c)=4(d)=4

例4.1.2判别下列关系中哪个构成映射。

(1)/={由底/?}

2

(2)/={(x,^|xe/?}

(3)/={(%),x)|x,xG+X10)

2122

(4)/={(x,x^|x,xG+X=10)

12122

(5)/={(xx)|x,xGN,x2为小于再的素数个数}

p22

⑹/={(x,y〉k，y