映射与函数

映射

映射概念

定义：设$X、Y$是两个非空集合，如果存在一个法则$f$，使得对$X$中每个元素按法则$f$，在$Y$中有唯一确定的元素$y$与之对应，那么称$f$为从$X$到$Y$的映射，记作
$$f:X\to Y,$$
其中$y$成为元素$x$（在映射$f$下）的像，并记作$f(x)$，即
$$y=f(x),$$
而元素$x$称为元素$y$（在映射$f$下）的一个原像；集合$X$成为映射f的定义域，记作$D_f$，即$D_f=X$；$X$中所有元素的像所组成的集合称为映射$f$的值域，记作$R_f$或$f(X)$，即
$$R_f=f(X)=f(x)|x\in X,$$
注意事项：

1. 构成一个映射必须具备以下三个要素：

   （1）集合X，即定义域$D_f=X$；

   （2）集合Y，即值域的范围：$R_f\subset Y$；

   （3）对应法则$f$，使对每个$x\in X$，有唯一确定的$y=f(x) $与之对应

2. （1）对每个$x\in X$，元素x的像y是唯一的；

   （2）对每个$y\in R_f$，元素y的原像不一定是唯一的；

   （3）映射f的值域$R_f$是Y的一个子集，即$R_f\subset Y$，不一定$R_f=Y$

逆映射与复合映射

定义：设f是X到Y的单射，则由定义，对每个$y\in R_f$，有唯一的$x\in X$，适合$f(x)=y$，于是，我们可定义一个从$R_f$到$X$的新映射$g$，即
$$g:R_f\to X,$$
对每个$y\in R$，规定$g(y)=x$，这x满足$f(x)=y$.这个映射g称为f的逆映射，记作$f^{-1}$，其定义域$D_{f^{-1}}=R_f$，值域$R_{f^{-1}}=X$.

按照上述定义，只有单射才存在逆映射。

设有两个映射
$$g:X\to Y_1,f:Y_2\to Z,$$
其中$Y1\subset Y_2$，则由映射g和f可以定出一个从X到Z的对应法则，它将每个$x\in X$映成$f[g(x)]\in Z$.显然，这个对应法则确定了一个从X到Z的映射，这个映射成为映射g和f构成的复合映射，记作$f\circ g$，即
$$f\circ g:X\to Z,(f\circ g)(x)=f[g(x)],x\in X.$$
由复合映射的定义可知，映射g和f构成复合映射的条件是：g的值域$R_g$必须包含在f的定义域内，即$R_g\subset D_f$。否则，不能构成复合映射。

函数

定义：设数集$D\subset R$，则称映射$f:D\to R$为定义在D上的函数，通常简记为
$$y=f(x),x\in D,$$
其中x称为自变量，y成为因变量，D成为定义域，记作$D_f$，即$D_f=D$.

函数的定义中，对每个$x\in D$，按对应法则f，总有唯一确定的值y与之对应，这个值称为函数f在x处的函数值，记作$f(x)$，即$y=f(x)$。因变量y与自变量x之间的这种依赖关系，通常称为函数关系。函数值$f(x)$的全体所构成的集合称为函数f的值域，记作$R_f$或$f(D)$，即
R f = f ( D ) = { y ∣ y = f ( x ) , x ∈ D } . R_f=f(D)=\{y|y=f(x), x\in D\}. Rf​=f(D)={y∣y=f(x),x∈D}.
需要指出，按照上述定义，记号$f$和$f(x)$的含义是有区别的：前者表示自变量x和因变量y之间的对应法则，而后者表示与自变量x对应的函数值。但为了叙述方便，习惯上常用记号$“f(x),x\in D”$来表示定义在D上的函数。

函数是从实数集到实数集的映射，其值域总在R内，因此构成函数的要素是：定义域$D_f$及对应法则$f$。如果两个函数的定义域相同，对应法则也相同，那么这两个函数就是相同的，否则就是不同的。

函数的几种特性

函数的有界性

定义 设$y=f(x)$在集合X上有定义，如果存在正数M，使得对任意的$x\in X$，都有$|f(x)|\le M$，则称$f(x)$在X上有界。

注：

（1）常见的有界函数有，$|sinx|\le 1，|cosx|\le 1，|arcsinx|\le \frac{\pi }{2}，|arctanx|\le \frac{\pi }{2}$

（2）对于任意正数M，若总存在$x_1\in X$，使得$f(x_1)>M$，则称$f(x)$在X上无界

（3）函数的有界（无界）是针对具体区间而言的。

如：
$$f(x)=\frac{1}{x},x\in (1,2)$$
在这个区间内，函数有界，$f(x)\le 1$

如：
$$f(x)=\frac{1}{x},x\in (0,1)$$
在这个区间内，函数无界

函数的单调性

定义　设$y=f(x)$在区间I上有定义，如果对于区间I上任意两点$x_1$及$x_2$，当$x_1<x_2$时，恒有$f(x_1)<f(x_2)$（或$f(x_1)>f(x_2)$），则称$f(x)$在区间I上是单调增加（或单调减少）。

注：经常使用导数来判定函数在区间上的单调性。

函数的奇偶性

定义 设$y=f(x)$的定义域D关于原点对称。如果对于任一$x\in D$，恒有$f(-x)=f(x)$，则称f(x)在D上是偶函数，如果恒有f(-x)=-f(x)，则称f(x)在D上是奇函数。

注：

（1）奇 $\pm$ 奇=奇函数， 偶 $\pm$ 偶=偶函数， 奇 * 奇=偶函数， 偶 * 偶=偶函数， 奇 * 偶=奇函数

（2）常见的偶函数有：$x^2、|x|、cosx、f(x)+f(-x)$

​ 常见的奇函数有：$sinx、arcsinx、tanx、arctanx、ln(x+\sqrt{1+x^2})、f(x)-f(-x)$

（3）偶函数的图形关于y轴对称，奇函数的图形关于原点对称。

函数的周期性

定义 如果存在一个正数T，使得对于任一x，有$f(x+T)=f(x)$，则称f(x)是周期函数，T称为$f(x)$的周期。

注：

常见的周期函数有，sinx，cosx以$2\pi$为周期，$tanx,|sinx|,sin2x$以$\pi$ 为周期

狄利克雷函数
$$D(x)=\{\begin{array}{l}1,x\in Q,\\ 0,x\in Q^C.\end{array}$$
这是一个周期函数，任何正有理数r都是它的周期。因为不存在最小的正有理数，所以没有最小周期。

反函数

定义 设$y=f(x)$的定义域为D，值域为$R_f$，如果对于任一$y\in R_f$，有唯一确定的$x\in D$，使得$y=f(x)$，则称$x=f^{-1}(y)$为$y=f(x)$的反函数。

注：
（1）单调函数必有反函数。

如$y=x^3 \rightarrow x=\sqrt [3]y $

（2）有时将$y=f(x)$的反函数也写成$y=f^{-1}(x)$，在同一坐标系中，$y=f(x)$和$y=f^{-1}(x)$的图形关于直线y=x对称，而$y=f(x)$和$x=f^{-1}(y)$的图形是重合的。

（3）$f[f^{-1}(x)]=x，f^{-1}[f(x)]=x$

复合函数

定义 设$y=f(u)$的定义域为$D_f$，函数$u=g(x)$的定义域为$D_g$，且其值域$R_g\subset D_f$，则称$y=f[f(x)]$为函数$y=f(u)$和$u=g(x)$的复合函数。

初等函数

定义 由常数和基本初等函数经过有限次的四则运算和有限次的复合运算得到的且能用一个式子表示的函数，称为初等函数。

注：幂函数、指数函数、对数函数、三角函数及反三角函数称为基本初等函数。

需要熟悉图形、性质及常用变形公式