Skip to main content

Section 1.1 函数

Subsection 1.1.1 集 合

Subsubsection 1.1.1.1 集合的概念

集合是指所考察的具有共同特征的对象的总体,集合简称集. 例如某校一年级学生全体组成了一个集合; 平面上过某个定点的直线全体组成了一个集合; 能够被 3 整除的自然数的全体组成了一个集合; 等等. 组成集合的每一个对象称为该集合的元素, 简称元. 通常用大写字母\(A, B, X, Y, \cdots\)表示集合, 小写字母 \(a, b, x, y, \cdots\) 表示集合的元素,若 \(x\) 是集合 \(A\) 的元素,则称 \(x\) 属于 \(A\text{,}\) 记作 \(x \in A\text{;}\)\(x\) 不是 \(A\) 的元素,则称 \(x\) 不属于 \(A\text{,}\) 记作 \(x \bar{\in} A\)\(x \notin A\text{.}\) 表示集合的方法通常有两种: 一种是列举法,另一种是描述法.
所谓列举法, 就是把集合中全体元素一一列举出来并写在大括号内. 例如, 由元素 \(a_{1}, a_{2}, \cdots, a_{n}\) 组成的集合 \(A\text{,}\)记作
\begin{equation*} A=\left\{a_{1}, a_{2}, \cdots, a_{n}\right\} . \end{equation*}
所谓描述法,就是把集合中的元素的公共特征描述出来.例如集合 \(B\) 由具有某种特性的元素 \(x\) 的全体组成,记作 \(B=\{x \mid x\) 具有的特征 \(\}\text{.}\) 大括号内竖线左侧是这个元素的一般形式,坚线右侧是这个集合的元素所具有的公共特征.例如,集合 \(M\) 是由满足 \(x^{2}-4 x+3 \geqslant 0\)\(x\) 的全体组成的集合,记作
\begin{equation*} M=\left\{x \mid x^{2}-4 x+3 \geqslant 0\right\} . \end{equation*}
由有限个元素组成的集合称为有限集, 由无穷多个元素组成的集合称为无限集. 不含任何元素的集合称为空集,记作 \(\varnothing\text{.}\) 通常用 \(\mathbf{N}\) 表示非负整数 (自然数)集, 用 \(\mathbf{Z}\) 表示整数集, 用 \(\mathbf{Q}\) 表示有理数集,用 \(\mathbf{R}\) 表示实数集, 用 \(\mathbf{C}\) 表示复数集, 即
\begin{equation*} \begin{aligned} & \mathbf{N}=\{0,1,2, \cdots, n, \cdots\} ; \\ & \mathbf{Z}=\{0, \pm 1, \pm 2, \cdots, \pm n, \cdots\} ; \\ & \mathbf{Q}=\left\{\left.\frac{p}{q}\right|{p} \in \mathbf{Z}, q \in \mathbf{N}_{+}, \text {且 } p \text { 与 } q \text { 互质 }\right\} . \end{aligned} \end{equation*}
在表示数集的字母右上角标上的"\(+\)"表示该数集内去掉 0 和负数以后的集合. 例如,
\begin{equation*} \mathbf{N}_{+}=\{1,2, \cdots, n, \cdots\} . \end{equation*}

Subsubsection 1.1.1.2 集合的运算

\(A, B\) 是两个集合,若 \(A\) 的每个元素都是 \(B\) 的元素,则称 \(A\)\(B\) 的子集,记作 \(A \subset B\)\(B \supset A\text{.}\) 对于任一集合 \(A\text{,}\) 因为 \(\varnothing \subset A, A \subset A\text{,}\) 所以 \(\varnothing, A\) 都是集合 \(A\)的子集.
若两个集合 \(A, B\) 满足 \(A \subset B\)\(B \subset A\text{,}\)则称集合 \(A\)\(B\) 相等,记作 \(A=B\text{.}\)\(A \subset B\text{,}\)\(A \neq B\text{,}\)则称 \(A\)\(B\) 的真子集. 集合有下列几种基本运算:
\(A, B\) 为两个集合, 由所有属于 \(A\) 或属于 \(B\) 的元素组成的集合,称为集合 \(A\)\(B\) 的并集 (简称并), 记作 \(A \cup B\text{,}\)
\begin{equation*} A \cup B=\{x \mid x \in A \text { 或 } x \in B\} \text {; } \end{equation*}
由所有既属于 \(A\) 又属于 \(B\) 的元素组成的集合,称为集合 \(A\)\(B\) 的交集(简称交), 记作 \(A \cap B\text{,}\)
\begin{equation*} A \cap B=\{x \mid x \in A \text { 且 } x \in B\} \text {; } \end{equation*}
由所有属于 \(A\) 但不属于 \(B\) 的元素组成的集合,称为集合 \(A\)\(B\) 的差集(简称差), 记作 \(A \backslash B\text{,}\)
\begin{equation*} A \backslash B=\{x \mid x \in A \text { 但 } x \notin B\} \text {. } \end{equation*}
假设考察的集合都是集合 \(I\) 的子集,称 \(I\) 为全集或基本集, 称差集合 \(I \backslash A\)\(A\)\(I\) 中的余集或补集, 记作 \(A^{C}\text{,}\)
\begin{equation*} A^{C}=I \backslash A=\{x \mid x \in I \text { 但 } x \notin A, A \subset I\} \text {. } \end{equation*}
集合的运算可用图 1-1 直观表示 (图中阴影部分为运算结果).
集合的运算有下列性质:
  1. 交换律 \(\quad A \cup B=B \cup A, A \cap B=B \cap A\text{;}\)
  2. 结合律
    \begin{equation*} \begin{aligned} A \cup(B \cup C)\amp =(A \cup B) \cup C, \\ A \cap(B \cap C)\amp =(A \cap B) \cap C ; \end{aligned} \end{equation*}
  3. 分配律
    \begin{equation*} \begin{aligned} (A \cup B) \cap C\amp=(A \cap C) \cup(B \cap C)\\ (A \cap B) \cup C\amp=(A \cup C) \cap(B \cup C) \end{aligned} \end{equation*}
  4. 幂等律 \(A \cup A=A, A \cap A=A\text{;}\)
  5. 吸收律 \(A \cup(A \cap B)=A, A \cap(A \cup B)=A\text{;}\)
  6. 对偶律 (德・摩根律)
    \begin{equation*} \begin{aligned} & (A \cup B)^{C}=A^{C} \cap B^{C}, \\ & (A \cap B)^{C}=A^{C} \cup B^{C} . \end{aligned} \end{equation*}

Subsubsection 1.1.1.3 区间

高等数学中最常用的一类数集是区间. 介于两个实数 \(a\)\(b\) 之间的全体实数构成的数集称为区间. 实数 \(a\)\(b\) 称为区间的端点,两端点间的距离 \(|b-a|\) 称为区间的长度.一般有如下几种区间:
数集 \(\{x \mid a<x<b\}\) 称为开区间,记作 \((a, b)\text{;}\) 数集 \(\{x \mid a \leqslant x \leqslant b\}\) 称为闭区间, 记作 \([a, b]\text{.}\)
\begin{equation*} (a, b)=\{x \mid a<x<b\},[a, b]=\{x \mid a \leqslant x \leqslant b\} . \end{equation*}
类似地有左开右闭区间 \((a, b]\) 和左闭右开区间 \([a, b)\) :
\begin{equation*} (a, b]=\{x \mid a<x \leqslant b\},[a, b)=\{x \mid a \leqslant x<b\} . \end{equation*}
以上区间都称为有限区间. 引人记号 \(+\infty\) (读作正无穷大),\(-\infty\) (读作负无穷大) , 则可类似地定义无限区间 (或称无穷区间) :
\begin{equation*} \begin{aligned} & (a,+\infty)=\{x \mid a<x<+\infty\}, \\ & (-\infty, b)=\{x \mid-\infty<x<b\}, \\ & {[a,+\infty)=\{x \mid a \leqslant x<+\infty\},} \end{aligned} \end{equation*}
\begin{equation*} \begin{aligned} & (-\infty, b]=\{x \mid-\infty<x \leqslant b\} \\ & (-\infty,+\infty)=\{x \mid-\infty<x<+\infty\}=\mathbf{R} . \end{aligned} \end{equation*}
在不需要考虑区间的具体形式时,可简单地将其称为“区间”,并且常用 \(I\) 表示.

Subsubsection 1.1.1.4 邻域

邻域是今后常用的概念. 以点 \(a\) 为中心的任何开区间称为点 \(a\) 的邻域,记作 \(U(a)\text{.}\) 对于任意的正数 \(\delta\text{,}\) 开区间 \((a-\delta, a+\delta)\) 称为点 \(a\)\(\delta\) 邻域,也简称点 \(a\) 的邻域, \(a\) 称为邻域的中心, \(\delta\) 称为邻域的半径, 记作 \(U(a, \delta)\text{,}\)
\begin{equation*} U(a, \delta)=\{x \mid a-\delta<x<a+\delta\}=\{x|| x-a \mid<\delta\}, \end{equation*}
所以 \(U(a, \delta)\) 表示与 \(a\) 的距离小于 \(\delta\) 的一切 \(x\) 的全体. 例如,
\begin{equation*} U\left(-1, \frac{1}{2}\right)=\left\{x|| x-(-1) \mid<\frac{1}{2}\right\}=\left(-\frac{3}{2},-\frac{1}{2}\right) . \end{equation*}
\(U(a, \delta)\) 中去掉邻域中心 \(a\) 的集合, 称为点 \(a\) 的去心 \(\delta\) 邻域, 记作 \(\dot{U}(a, \delta)\text{,}\)
\begin{equation*} \dot{U}(a, \delta)=\{x|0<| x-a \mid<\delta\} . \end{equation*}
为了方便使用,有时把开区间 \((a-\delta, a)\) 称为 \(a\) 的左 \(\delta\) 邻域, 开区间 \((a, a+\delta)\)称为 \(a\) 的右 \(\delta\) 邻域.
Checkpoint 1.1.1. 练习题.
求解下列不等式, 结果用区间格式表示.
\begin{equation*} -7 \lt 3 x + 3 \lt 7 \end{equation*}
答案:
注记: 区间并符号 \(\cup\) 可用字母"U"代替, 例如 \((0,1)\cup[2,3]\) 可输入 "(0,1)U[2,3]".

Subsection 1.1.2 变量与函数的概念

观察自然与社会现象时会遇见各种不同的量, 其中有些量在所考察过程中保持不变,这种量称为常量; 另一些量在所考察过程中发生变化, 取不同的值, 这种量称为变量. 通常以 \(a, b, c\) 等表示常量, 用 \(x, y, z\) 等表示变量. 在同一过程中往往有几个变量相互联系、相互影响地变化着,遵循着一定的客观规律, 如果能用数学方式精确地描述出这些变化的因果关系, 就能把握事物的发展趋势,函数就是变量变化关系最基本的数学描述.

Example 1.1.2.

设有半径为 \(R\) 的圆, 记该圆内接正 \(n\) 边形周长为 \(L\text{,}\)则对每一个边数 \(n\text{,}\)都对应着一个确定的周长 \(L\) 的值. 这个对应规则可以用公式表示为
\begin{equation*} L=2 n R \sin \frac{\pi}{n} \end{equation*}

Example 1.1.3.

在真空中从高 \(h\) 处自由下落的物体, 下落距离 \(s\) 与时间 \(t\) 都是变量. 假设物体开始降落时间为 0 , 着地时间为 \(T\text{,}\) 则对于区间 \([0, T]\) 内的每一个下落时间 \(t\text{,}\) 都对应着一个确定的下落距离 \(s\) (见图 1-2). 这个对应规则可以用公式表示为
\begin{equation*} s=\frac{1}{2} g t^2 . \end{equation*}
在上面的例子中,如果对各个变量的具体意义进行抽象, 则可以看见其具有共同点: 含有两个变量, 不妨叫做 \(x\)\(y\text{;}\) 当一个变量 (例如 \(x\) ) 在某一个范围内每取定一值时, 另一个变量 (例如 \(y\) ) 按照某个法则有确定的值与之对应.

Definition 1.1.4.

定义 1 设 \(x, y\) 为两个变量, \(D\) 为一非空数集, 若对于每一个 \(x \in D\text{,}\)按某种法则 \(f\text{,}\) 变量 \(y\) 总有确定的值与之对应,则称 \(y\)\(x\) 的函数, 记作 \(y=f(x) . x\) 称为自变量, \(y\) 称为因变量, \(D\) 称为函数的定义域, 记为 \(D(f) . y\) 的一切值所成的数集称为函数的值域, 记为 \(W(f)=\{y \mid y=f(x), x \in D\}\text{.}\)
在函数定义中, 定义域 \(D\) 和对应法则 \(f\) 是两个要素, 自变量与因变量采用什么符号表示则无关紧要. 只有定义域 \(D\) 和对应法则 \(f\) 都相同的两个函数, 才能认定其为相同的函数. 例如, 3 个函数 \(f, g, h\) 分别定义为
\begin{equation*} \begin{aligned} f(x)&=x^{2}, D(f)=[0,1] ; \\ g(t)&=t^{2}, D(g)=[0,1] ; \\ h(x)&=x^{2}, D(h)=[-1,1] ; \end{aligned} \end{equation*}
则有
\begin{equation*} f=g, f \neq h. \end{equation*}
在实际问题中, 函数的定义域是由实际问题的背景确定的. 例如, Example 1.1.2\(D(L)=\left\{n \mid n \in \mathbf{N}_{+}, n \geqslant 3\right\}\text{,}\) Example 1.1.3\(D(s)=[0, T]\text{.}\) 对于一般的函数, 其定义域是使因变量有确定实数值的自变量的全体所组成的集合. 例如, 函数 \(y=\sqrt{x^{2}-1}\) 的定义域是由 \(x^{2}-1 \geqslant 0\) 的全体实数组成的集合,即 \(D=(-\infty,-1] \cup[1,+\infty)\text{;}\) 函数 \(y=\ln x+\sqrt{5-x}\) 的定义域为 \(0<x \leqslant 5\text{,}\)\(D=(0,5]\text{.}\) 如上所述,由实际问题的背景所确定的函数的定义域称为实际定义域,而使对应法则 \(f\) 有意义的自变量的全体称为函数的自然定义域. 今后,如果没有特别的说明,求函数的定义域通常就是求函数的自然定义域.
设函数 \(y=f(x)\) 是定义在 \(D\) 上的函数,在 \(x O y\) 平面上对于每个 \(x \in D\text{,}\) 可确定平面上一点 \(M(x, f(x))\text{,}\)点集
\begin{equation*} C=\{(x, y) \mid y=f(x), x \in D\} \end{equation*}
画出平面上一条曲线, 该曲线称为 \(y=f(x)\) 的图形 (见图 1-3).
除了用一个数学式子表示函数外, 有些函数随着自变量取不同的值, 函数关系也不同, 这种函数称为分段函数.

Example 1.1.5.

符号函数
\begin{equation*} y=\operatorname{sgn} x= \begin{cases}-1, & x<0 \\ 0, & x=0 \\ 1, & x>0\end{cases} \end{equation*}
其定义域 \(D=(-\infty,+\infty)\text{,}\) 值域 \(W=\{-1,0,1\}\) (见图 1-4).

Example 1.1.6.

例 4 取整函数
\begin{equation*} y=[x], \end{equation*}
其中 \([x]\) 表示不超过 \(x\) 的最大整数, 即 \(y=[x]=k, \quad x \in[k, k+1), k=0, \pm 1, \pm 2, \cdots\text{,}\) 其定义域 \(D=(-\infty,+\infty)=\mathbf{R}\text{,}\) 值域 \(W=\{0, \pm 1\text{,}\) \(\pm 2, \cdots\}=\mathbf{Z}\text{.}\) 这是一个分为无限多段的分段函数, 它的图形是阶梯曲线 (见图 1-5),在 \(x\) 为整数值处图形发生跳跃, 跃度为1.
例如 \([1.3]=1,[-1.2]=-2,[-\pi]=-4, [\sqrt{3}]=1,[5]=5, \cdots\text{.}\)

Example 1.1.7.

如图 1-6 所示的图形, 在 \(O\)\(A\) 之间引一条平行于 \(y\) 轴的直线 \(M N\text{,}\) 试将直线 \(M N\) 左边阴影部分的面积 \(S\) 表示为 \(x\) 的函数.
Solution.
解 当直线 \(M N\) 上点的 \(x\) 坐标位于区间 \([0,1]\)内, 即 \(x \in[0,1]\) 时, \(S=\frac{1}{2} x^{2}\text{;}\) 当直线 \(M N\) 上点的 \(x\) 坐标位于区间 \((1,2]\) 内, 即 \(x \in(1,2]\) 时, \(S=\frac{1}{2} \times 1^{2}+(x-1) \cdot 1=x-\frac{1}{2}\text{.}\) 因此,
\begin{equation*} S=S(x)= \begin{cases}\frac{1}{2} x^{2}, & 0 \leqslant x \leqslant 1, \\ x-\frac{1}{2}, & 1<x \leqslant 2,\end{cases} \end{equation*}
其定义域 \(D=[0,2]\text{,}\) 值域 \(W=\left[0, \frac{3}{2}\right]\text{.}\)
用数学公式表示函数的方法称为函数的解析表示法. 除了解析表示法外, 函数有时也可用表格法(如三角函数表、对数表等)与图形法(如气温图、心电图)等方式表示. 在函数定义中,对于定义域 \(D\) 内任一点 \(x\text{,}\) 若按照对应法则 \(f, y\) 只有唯一确 定的值与之对应,则称 \(y=f(x)\)\(x\) 的单值函数; 若 \(y\) 有两个或两个以上的值与之对应,则称 \(y=f(x)\)\(x\) 的多值函数. 对于多值函数, 通常可以限制 \(y\) 的取值范围使之成为单值函数. 例如, 由 \(x^{2}+y^{2}=1\) 所表示的函数 \(y= \pm \sqrt{1-x^{2}}\) 和反三角函数 \(y=\arcsin x\)都是多值函数. 对于 \(y= \pm \sqrt{1-x^{2}}\text{,}\) 若限制 \(y \geqslant 0\text{,}\) 则有 \(y=\sqrt{1-x^{2}}\text{;}\) 若限制 \(y \leqslant 0\text{,}\)则有 \(y=-\sqrt{1-x^{2}}\text{.}\) 此时它们都是 \(x\) 的单值函数,称它们是由 \(x^{2}+y^{2}=1\) 所表示的函数的两个单值分支. 而对于函数 \(y=\arcsin x\text{,}\) 任取 \(-x \in[-1,1]\text{,}\) 则有无穷多个 \(y\) 值与之对应. 若限制 \(-\frac{\pi}{2} \leqslant y \leqslant \frac{\pi}{2}\text{,}\)\(y=\arcsin x\) 就是一个单值函数, 称为 \(y=\arcsin x\) 的主值或主值分支. 其他反三角函数也有类似的情况. 今后要讨论的函数, 如果没有特别的说明, 指的都是单值函数.

Subsection 1.1.3 函数的几种性质

Subsubsection 1.1.3.1 单调性

对于区间 \(I \subset D(f)\) 上任取的两个值 \(x_{1}, x_{2}\) : 当 \(x_{1}<x_{2}\) 时, 恒有
\begin{equation*} f\left(x_{1}\right)<f\left(x_{2}\right), \end{equation*}
则称函数 \(f(x)\)\(I\) 上是单调增加的 (见图 1-7a); 当 \(x_{1}<x_{2}\) 时, 恒有
\begin{equation*} f\left(x_{1}\right)>f\left(x_{2}\right), \end{equation*}
则称函数 \(f(x)\)\(I\) 上是单调减少的 (见图 1-7b).
单调增加函数和单调减少函数统称为单调函数, \(I\) 称为单调区间. 单调增加函数的图形表现为自左至右上升的曲线段 (见图 1-7a); 单调减少函数的图形表现为自左至右下降的曲线段 (见图 1-7b).
这里需要注意的是, 函数的单调性与自变量的取值范围有关. 例如, \(y=x^{3}\)\((-\infty,+\infty)\) 是单调增加的; \(y=x^{2}\)\((-\infty, 0)\) 是单调减少的, 在 \((0,+\infty)\) 是单调增加的; 而 \(y=\sin x\)\(\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)\) 上是单调增加的, 在 \(\left(\frac{\pi}{2}, \frac{3 \pi}{2}\right)\) 上是单调减少的.

Subsubsection 1.1.3.2 奇偶性

设函数 \(y=f(x)\) 的定义域 \(D\) 是关于原点对称的,若
\begin{equation*} f(-x)=f(x), \forall x \in D \end{equation*}
成立,则称 \(f(x)\) 为偶函数; 若
\begin{equation*} f(-x)=-f(x), \forall x \in D \end{equation*}
成立,则称 \(f(x)\) 为奇函数. 偶函数的图形关于 \(y\) 轴对称, 奇函数的图形关于原点对称 (见图 1-8). 例如, \(y=x^{2}, y=\cos x\) 都是 \((-\infty,+\infty)\) 上的偶函数,而 \(y=x^{3}, y=\sin x\) 都是 \((-\infty,+\infty)\) 上的奇函数.

Subsubsection 1.1.3.3 有界性

设区间 \(I \subset D(f)\text{,}\) 若存在常数 \(M\text{,}\) 使得
\begin{equation*} f(x) \leqslant M, \forall x \in I \end{equation*}
成立,则称 \(f(x)\) 在区间 \(I\) 上有上界,称 \(M\)\(f(x)\) 的一个上界; 若存在常数 \(m\text{,}\)使得
\begin{equation*} f(x) \geqslant m, \forall x \in I \end{equation*}
成立,则称 \(f(x)\) 在区间 \(I\) 上有下界,称 \(m\)\(f(x)\) 的一个下界.
在区间 \(I\) 上既有上界又有下界的函数 \(f(x)\) 称为 \(I\)上的有界函数,否则称 \(f(x)\)\(I\) 上的无界函数. \(f(x)\)\(I\) 上的有界函数 (见图 1-9) 等价于存在常数 \(K>0\text{,}\) 使得
\begin{equation*} |f(x)| \leqslant K, \forall x \in I . \end{equation*}
例如 \(y=\sin x, y=\cos x\)\((-\infty,+\infty)\) 上都是有界函数. 事实上有
\begin{equation*} |\sin x| \leqslant 1,|\cos x| \leqslant 1, x \in(-\infty,+\infty) . \end{equation*}
注意 函数 \(f(x)\) 的有界性也与自变量的取值范围有关. 例如 \(f(x)=\lg x\)\((0,10)\) 内有上界, 而无下界; 在 \((0.1,+\infty)\) 内有下界 -1 , 而无上界; 在区间 \((0.1,10)\) 内有界. 事实上有
\begin{equation*} |\lg x| \leqslant 1, x \in(0.1,10) . \end{equation*}

Subsubsection 1.1.3.4 周期性

设函数 \(y=f(x)\) 的定义域为 \(D\text{,}\) 若存在正数 \(l\text{,}\) 使得对于 \(\forall x \in D\text{,}\)\(x+l \in D\text{,}\)\(f(x+l)=f(x)\) 成立,则称 \(f(x)\) 为周期函数, \(l\)\(f(x)\) 的周期. 满足上述关系的最小正数 \(l\) 称为 \(f(x)\) 的最小正周期, 通常称周期函数的周期就是指最小正周期. 例如, \(y=\sin x\)\(y=\cos x\) 都是以 \(2 \pi\) 为周期的周期函数; \(y=\tan x\)\(y=\) \(\cot x\) 都是以 \(\pi\) 为周期的周期函数 \(; y=x-[x]\) 是以 1 为周期的周期函数; 常数 \(y=\) \(C\) 也可以看作周期函数,但它无最小正周期. 以 \(l\) 为周期的周期函数 \(f(x)\text{,}\) 在其定义域内每个长度为 \(l\) 的区间上, 函数图形有相同的形状 (见图 1-10).

Subsection 1.1.4 反函数

在函数关系中, 自变量和因变量的关系是相对的. 在问题研究中, 有时需要对换自变量和因变量的位置. 例如, 对于Example 1.1.3 中的自由落体运动, 若要了解物体下落距离 \(s\) 是怎样随下落时间 \(t\) 变化的,则有
\begin{equation*} s=f(t)=\frac{1}{2} g t^{2}, D(f)=[0, T], W(f)=[0, h] . \end{equation*}
若要了解物体下落距离 \(s\) 需要多少下落时间 \(t\) 时, 则有
\begin{equation*} t=\varphi(s)=\sqrt{\frac{2 s}{g}}, D(\varphi)=[0, h], W(\varphi)=[0, T] . \end{equation*}
可见,在同一问题中根据研究的目标不同, 自变量和因变量的地位也会不同.

Definition 1.1.8.

定义 2 设函数 \(y=f(x)\) 的定义域为 \(D(f)\text{,}\) 值域为 \(W(f)\text{.}\) 如果对于 \(W(f)\)中任一 \(y\text{,}\)\(D(f)\) 中必有唯一的 \(x\text{,}\) 使得 \(f(x)=y\text{,}\) 那么把 \(y\) 看作自变量, \(x\) 看作因变量所确定的函数关系 \(x=f^{-1}(y)=\varphi(y)\) 称为 \(y=f(x)\) 的反函数. 相对于反函数 \(x=\varphi(y)\) 来说, 原来的函数 \(y=f(x)\) 称为直接函数.
如果 \(x=\varphi(y)\)\(y=f(x)\) 的反函数, 那么 \(y=f(x)\) 也是 \(x=\varphi(y)\) 的反函数, 因此, \(y=f(x)\)\(x=\varphi(y)\) 互为反函数. 习惯上,用 \(x\) 表示自变量, 用 \(y\) 表示函数. 因此, 反函数 \(x=\varphi(y)\) 可记作 \(y=\varphi(x)\text{,}\)有时也记为 \(y=f^{-1}(x)\text{.}\) 在求反函数时, 通常就是指求这种习惯上的反函数. 按照上面的定义,虽然 \(y=f(x)\) 是单值函数, 但反函数 \(x=\varphi(y)\) 不一定存在.例如, \(y=x^{2}\) 的定义域 \(D=(-\infty,+\infty)\text{,}\) 值域 \(W=[0,+\infty)\text{.}\)\(y \in W\) 时, 有两个 \(x\) 与之对应, 即 \(x= \pm \sqrt{y}\text{.}\) 因此, \(y=f(x)=x^{2}\) 的反函数不存在. 但是, 对于 \(y=x^{2}\text{,}\) \(x \in[0,+\infty)\text{,}\) 函数 \(y\)\([0,+\infty)\) 上是单值且单调增加, 其反函数 \(x=\sqrt{y}\)\([0,+\infty)\) 上也是单值且单调增加. 一般地, 如果在区间 \(D\) 上定义的函数 \(y=f(x)\) 是单值单调的, 那么其反函数 \(x=\varphi(y)\)\(W=\{y \mid y=f(x), x \in D\}\) 上也是单值单调的,且单调性相同. 事实上,若函数 \(y=f(x)\) 在区间 \(D\) 上单值并且单调增加, 则任取 \(y_{1}, y_{2} \in W(f)\text{,}\)\(y_{1}<y_{2}\text{,}\)\(f\) 的定义存在 \(x_{1}, x_{2} \in D\text{,}\) 使 \(\varphi\left(y_{1}\right)=x_{1}, \varphi\left(y_{2}\right)=x_{2}\text{.}\)\(x_{1}>x_{2}\text{,}\) 则由 \(y=f(x)\) 单调增加, 必有 \(y_{1}>y_{2}\text{;}\)\(x_{1}=x_{2}\text{,}\) 则显然有 \(y_{1}=y_{2}\text{.}\)这两种情形都与假设 \(y_{1}<y_{2}\) 矛盾, 故必有 \(x_{1}<x_{2}\text{.}\) 即反函数 \(x=f^{-1}(y)=\varphi(y)\)\(W(f)\) 上也单调增加. 单调减少的情况同理可证. 现在来看当 \(y=f(x)\) 为单值单调函数时, 函数 \(y=f(x)\) 与它的反函数 \(y=\) \(\varphi(x)\) 的图形有何关系. 因为 \(y=f(x)\)\(x=\varphi(y)\) 是变量 \(x\)\(y\) 的同一个方程, 所以在 \(x O y\) 平面内它们有同一个图形 (见图 1-11a). 把反函数 \(x=\varphi(y)\) 记为 \(y=\varphi(x)\) 后, 不难看出, 在同一坐标平面内, \(y=f(x)\)\(y=\varphi(x)\) 的图形是关于直线 \(y=x\) 对称的 (见图 1-11b).
事实上,设 \(P(a, b)\)\(y=f(x)\) 图形上的任一点,如图 1-11b 所示, \(b=f(a)\text{,}\) \(a=\varphi(b)\text{.}\) 即反函数 \(y=\varphi(x)\) 的图形上必有一点 \(Q(b, a)\)\(P(a, b)\) 对应, 而 \(P\)\(Q\)关于直线 \(y=x\) 对称. 同样, 对于反函数 \(y=\varphi(x)\) 图形上任一点也必有函数 \(y=\) \(f(x)\) 图形上的一点与之对应,而且这两点也关于直线 \(y=x\) 对称. 因此, 由 \(y=f(x)\) 的图形容易作出它的反函数 \(y=\varphi(x)\) 的图形.

Subsection 1.1.5 复合函数

在实际问题中往往会遇到一个函数跟另一个函数发生联系的情况. 例如, 在匀加速直线运动中, 要研究动能与时间 \(t\) 的关系时, 因为物体的动能为 \(E=\frac{1}{2} m v^{2}\text{,}\)而且物体的运动速度 \(v=a t\) (其中 \(m\) 为物体的质量, \(a\) 为常数), 因此将 \(v=a t\) 代人 \(E=\frac{1}{2} m v^{2}\)
\begin{equation*} E=\frac{1}{2} m a^{2} t^{2} . \end{equation*}
这个函数就是 \(E=\frac{1}{2} m v^{2}\)\(v=a t\) 的复合函数.

Definition 1.1.9.

定义 3 设函数 \(y=f(u)\) 定义域为 \(D(f)\text{,}\) 函数 \(u=\varphi(x)\) 的值域为 \(W(\varphi)\text{.}\) 如果 \(D(f) \cap W(\varphi) \neq \varnothing\text{,}\) 则称函数 \(y=f[\varphi(x)]\)\(y=f(u)\)\(u=\varphi(x)\) 的复合函数, \(u\) 称为中间变量.
函数 \(y=f(u)\) 与函数 \(u=\varphi(x)\) 的复合函数通常记为 \(f \circ \varphi\text{,}\)
\begin{equation*} (f \circ \varphi)(x)=f[\varphi(x)] . \end{equation*}
由定义可知,复合函数 \(f[\varphi(x)]\) 的定义域或者是 \(\varphi(x)\) 的定义域的一部分, 或者与 \(\varphi(x)\) 的定义域完全相同.

Example 1.1.10.

设函数 \(y=\cos ^{2} u, u=x^{3}\text{,}\) 则复合函数为 \(y=\cos ^{2} x^{3}\text{,}\) 定义域为 \((-\infty,+\infty)\text{,}\)它与 \(u=x^{3}\) 的定义域完全相同.

Example 1.1.11.

例 7 设函数 \(y=\sqrt{u}, u=1-x^{2}\text{,}\) 则复合函数为 \(y=\sqrt{1-x^{2}}\) 的定义域为 \([-1,1]\text{,}\) 它与 \(u=1-x^{2}\) 的定义域 \((-\infty,+\infty)\) 不同, 是后者的一部分.

Example 1.1.12.

例 8 函数 \(y=\sqrt{1-u}\)\(u=x^{2}+2\) 无法复合.
因为函数 \(y=\sqrt{1-u}\) 的定义域为 \(D(f)=(-\infty, 1]\text{,}\) 而函数 \(u=x^{2}+2\) 的值域为 \(W(\varphi)=[2,+\infty)\text{,}\) 因此 \(D(f) \cap W(\varphi)=\varnothing\text{.}\) 所以函数 \(y=\sqrt{1-u}\)\(u=x^{2}+2\)不能构成复合函数.

Example 1.1.13.

例 9 设 \(f(x)=\left\{\begin{array}{ll}\mathrm{e}^{x}, & x<1, \\ x, & x \geqslant 1,\end{array} \varphi(x)=\left\{\begin{array}{ll}x+2, & x<0, \\ x^{2}-1, & x \geqslant 0,\end{array}\right.\right.\)\(f[\varphi(x)]\text{.}\)
Solution.
\(f[\varphi(x)]= \begin{cases}\mathrm{e}^{\varphi(x)}, & \varphi(x)<1 \\ \varphi(x), & \varphi(x) \geqslant 1 .\end{cases}\)
  1. \(\varphi(x)<1\) 时, 由 \(x<0\)\(\varphi(x)=x+2<1\text{,}\)\(x<-1\text{,}\)\(x \geqslant 0\)\(\varphi(x)=x^{2}-1<1\text{,}\)\(0 \leqslant x<\sqrt{2}\text{.}\)
  2. \(\varphi(x) \geqslant 1\) 时, 由 \(x<0\)\(\varphi(x)=x+2 \geqslant 1\text{,}\)\(-1 \leqslant x<0\text{,}\)\(x \geqslant 0\)\(\varphi(x)=x^{2}-1 \geqslant 1\text{,}\)\(x \geqslant \sqrt{2}\text{.}\)
所以
\begin{equation*} f[\varphi(x)]= \begin{cases}\mathrm{e}^{x+2}, & x<-1, \\ x+2, & -1 \leqslant x<0, \\ \mathrm{e}^{x^{2}-1}, & 0 \leqslant x<\sqrt{2}, \\ x^{2}-1, & x \geqslant \sqrt{2} .\end{cases} \end{equation*}
复合函数也可以由多个函数复合而成. 例如, 由 \(y=\cos ^{2} u, u=t^{3}, t=\mathrm{e}^{x}\text{,}\) 则可以得到 \(y=\cos ^{2}\left(\mathrm{e}^{3 x}\right)\text{.}\) 实际上, 对于一个给定的复合函数, 真正关注的是要搞清楚它是由哪些简单的函数、经过哪些层次复合起来的. 例如, \(y=\sqrt{\ln \tan ^{2} x}\) 是由 \(y=\sqrt{u}, u=\ln v, v=w^{2}, w=\tan x\) 等 4 个简单函数复合而成的; \(y=\cos \sqrt{1+\mathrm{e}^{x^{2}}}\) 是由 \(y=\cos u, u=\sqrt{v}, v=1+w, w=\mathrm{e}^{t}, t=x^{2}\) 等 5 个简单函数复合而成的.

Subsection 1.1.6 函数的四则运算

\(f(x), g(x)\) 的定义域分别为 \(D(f)\)\(D(g)\text{,}\)\(D=D(f) \cap D(g) \neq \varnothing\text{,}\) 则可以定义这两个函数的四则运算:
  1. 加减法 \((f \pm g)(x)=f(x) \pm g(x), \quad x \in D\text{;}\)
  2. 乘法 \((f \cdot g)(x)=f(x) \cdot g(x), \quad x \in D\text{;}\)
  3. 除法 \(\left(\frac{f}{g}\right)(x)=\frac{f(x)}{g(x)}, \quad x \in D \backslash\{x \mid g(x)=0\}\text{.}\)

Example 1.1.14.

例 10 设函数
\begin{equation*} f(x)=\left\{\begin{array}{ll} 1-x, & x<0, \\ 2, & 0 \leqslant x<1, \\ x, & x \geqslant 1, \end{array} \quad g(x)= \begin{cases}1+x, & x<-1, \\ -1, & -1 \leqslant x \leqslant 0, \\ -x, & x>0,\end{cases}\right. \end{equation*}
试写出函数 \(F(x)=f(x)+g(x)\) 的表达式, 并求 \(F(-3), F(-0.5), F(0.3), F(2)\) 的值.
Solution.
解 函数 \(F(x)\) 的定义域 \(D=(-\infty,+\infty)\text{,}\) 由于 \(f(x)\)\(g(x)\) 都是分段函数,且分界点不全相同,一般说来 \(F(x)\) 也是分段函数, 且以 \(f(x)\)\(g(x)\) 的所有分界点作为分界点, 可列表如下:
Table 1.1.15.
\(x\) \((-\infty,-1)\) \(-1\) \((-1,0)\) 0 \((0,1)\) 1 \((1,+\infty)\)
\(f(x)\) \(1-x\) 2 \(x\)
\(g(x)\) \(1+x\) \(-1\) \(-x\)
\(F(x)\) 2 \(-x\) 1 \(2-x\) 0
于是有 \(F(x)= \begin{cases}2, & x<-1, \\ -x, & -1 \leqslant x<0, \\ 1, & x=0, \\ 2-x, & 0<x<1, \\ 0, & x \geqslant 1,\end{cases}\) 且有 \(F(-3)=2, F(-0.5)=0.5, F(0.3)=1.7, F(2)=0\text{.}\)

Example 1.1.16.

例 11 设 \(f(x)\) 是定义在 \((-l, l)\) 上的函数,试证明在 \((-l, l)\) 内, \(f(x)\) 可以表示为一个偶函数与一个奇函数之和.
Solution.
证 令 \(g(x)=\frac{1}{2}[f(x)+f(-x)], h(x)=\frac{1}{2}[f(x)-f(-x)]\text{,}\)
\begin{equation*} f(x)=g(x)+h(x) . \end{equation*}
因为 \(g(-x)=\frac{1}{2}[f(x)+f(-x)]=g(x)\text{,}\) 所以 \(g(x)\) 是偶函数. 又因为 \(h(-x)=\frac{1}{2}[f(-x)-f(x)]=-h(x)\text{,}\) 所以 \(h(x)\) 是奇函数. 这就证明了在 \((-l, l)\)\(f(x)\) 可表示为一个偶函数与一个奇函数之和.

Subsection 1.1.7 初等函数

在中学数学已经讨论过以下几种函数:
  1. 常数函数: \(y=C\) ( \(C\) 为常数).
  2. 幂函数: \(y=x^{\mu}\) (常数 \(\left.\mu \in \mathbf{R}\right)\text{.}\)
  3. 指数函数: \(y=a^{x}(a>0\text{,}\)\(a \neq 1)\text{.}\)\(0<a<1\) 时, \(a^{x}\) 单调减少; 当 \(a>1\)时, \(a^{x}\) 单调增加.
    特别地, 当 \(a=\mathrm{e}\) 时, \(y=\mathrm{e}^{x}\text{,}\) 其中常数 \(\mathrm{e}=2.718281828459045 \cdots\) 是一个无理数, 这个以 \(\mathrm{e}\) 为底的指数函数在科学技术的理论研究和实际应用中经常用到, \(\mathrm{e}\) 的意义将在 Subsection 1.2.4 中叙述.
  4. 对数函数: \(y=\log _{a} x(a>0\)\(a \neq 1)\text{.}\)\(0<a<1\) 时, \(\log _{a} x\) 单调减少; 当 \(a>1\) 时, \(\log _{a} x\) 单调增加. 特别地, 当 \(a=\mathrm{e}\) 时, \(y=\log _{\mathrm{e}} x\) 记作 \(y=\ln x\text{,}\) 它称为自然对数函数.
  5. 三角函数: \(y=\sin x, y=\cos x, y=\tan x, y=\cot x\) 都是周期函数,并且其中 \(\sin x, \tan x, \cot x\) 都是奇函数,而 \(\cos x\) 是偶函数.
  6. 反三角函数: \(y=\sin x, x \in\left[-\frac{\pi}{2}, \frac{\pi}{2}\right]\) 的反函数 \(y=\arcsin x\)\([-1,1]\) 上单调增加; \(y=\cos x, x \in[0, \pi]\) 的反函数 \(y=\arccos x\)\([-1,1]\) 上单调减少; \(y=\tan x, x \in\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)\) 的反函数 \(y=\arctan x\)\((-\infty,+\infty)\) 上单调增加; \(y=\cot x, x \in(0, \pi)\) 的反函数 \(y=\operatorname{arccot} x\)\((-\infty,+\infty)\) 上单调减少.
以上几类函数称为基本初等函数. 由基本初等函数经过有限次的四则运算和有限次的复合步骤所得到的并且能用一个数学式子表示的函数称为初等函数.
例如 , \(y=\sin ^{2}(3 x+1)\text{,}\) \(y=\sqrt{1-(\ln \cos x)^{2}}\text{,}\) \(y=\frac{\lg x+\sqrt[3]{x}+2 \tan x}{10^{x}-x+1}\) 等都是初等函数. 但是,一般的分段函数不是初等函数. 如Example 1.1.5Example 1.1.6 中的符号函数和取整函数都不是初等函数。

Example 1.1.17.

例 12 一个正圆锥外切于半径为 \(R\) 的半球, 半球的底面在圆雉的底面上 (剖面见图 1-12), 试将圆雉的体积表示为圆雉底半径 \(r\) 的函数.
Solution.
解 按题意,半球大小不变, 它的半径 \(R\) 为常量, 圆雉的体积随着它的高 \(h\) 与底半径 \(r\) 而定, 则
\begin{equation*} V=\frac{1}{3} \pi r^{2} h . \end{equation*}
现在要将 \(h\)\(r\) 表示出来, 由图 1-12 可知, \(C D=\sqrt{r^{2}-R^{2}}\text{,}\) 由于 \(\triangle A M D \backsim \sim\) \(\triangle M C D\text{,}\) 所以
\begin{equation*} \frac{r}{\sqrt{r^{2}-R^{2}}}=\frac{h}{R}, h=\frac{r R}{\sqrt{r^{2}-R^{2}}} . \end{equation*}
于是得
\begin{equation*} V=\frac{1}{3} \pi r^{3} \frac{R}{\sqrt{r^{2}-R^{2}}}, R<r<+\infty \text {. } \end{equation*}

Example 1.1.18.

例 13 曲柄连杆机构 (见图 1-13) 是利用曲柄 \(O C\) 的旋转运动, 通过连杆 \(C B\)使滑块 \(B\) 做往复直线运动, 设 \(O C=r, B C=l\text{,}\) 曲柄以等角速度 \(\omega\)\(O\) 旋转, 求滑块位移的大小 \(S\) 与时间 \(t\) 之间的函数关系 (假定曲柄 \(O C\) 开始做旋转运动时, \(C\) 在点 \(A\) 处).
Solution.
解 由图 1-13 可知, \(S=O D+D B\text{,}\)\(O D=r \cos \theta, C D=r \sin \theta, \theta=\omega t\text{.}\)
于是
\begin{equation*} OD=rcos \omega t,CD=rsin \omega t \end{equation*}
而在直角三角形 \(C D B\) 中, \(D B=\sqrt{l^{2}-r^{2} \sin ^{2} \omega t}\text{.}\)
\begin{equation*} S=r \cos \omega t+\sqrt{l^{2}-r^{2} \sin ^{2} \omega t} \quad(0 \leqslant t<+\infty) . \end{equation*}

Example 1.1.19.

例 14 某工厂生产某型号车床, 年产量为 \(a\) 台, 分若干批进行生产, 每批生产准备费为 \(b\) 元, 设产品均匀投人市场, 且上一批用完后立即生产下一批, 即平均库存量为批量的一半. 设每年每台库存费为 \(c\) 元. 显然, 生产批量大则库存费高, 生产批量少则批数增多, 因而生产准备费高. 试求一年中库存费同生产准备费之和与批量的函数关系.
Solution.
解 设批量为 \(x\text{,}\)库存费同生产准备费之和为 \(P(x)\text{.}\) 因为年产量为 \(a\text{,}\) 所以每年生产的批数为 \(\frac{a}{x}\) (设其为整数), 则生产准备费为
\begin{equation*} b \cdot \frac{a}{x} . \end{equation*}
又因为平均库存量为 \(\frac{x}{2}\text{,}\) 故库存费为 \(c \cdot \frac{x}{2}\text{.}\) 因此, 可得
\begin{equation*} P(x)=b \cdot \frac{a}{x}+c \cdot \frac{x}{2}=\frac{a b}{x}+\frac{c x}{2} . \end{equation*}
函数的定义域为 \((0, a]\) 中的正整数因子.

Example 1.1.20.

例 15 某运输公司规定货物的吨公里运价为: 在 \(a\) 公里以内,每公里 \(k\) 元; 超过 \(a\) 公里部分,每公里为 \(\frac{4}{5} k\) 元. 求运价 \(m\) 和里程 \(s\) 之间的函数关系.
Solution.
解 根据题意可列出函数关系:
\begin{equation*} m= \begin{cases}k s & 0<s \leqslant a \\ k a+\frac{4}{5} k(s-a), & s>a\end{cases} \end{equation*}
这里运价 \(m\) 和里程 \(s\) 的函数关系是用分段函数表示的, 函数的定义域为 \((0,+\infty)\text{.}\)

Technology 1.1.21. 初等函数图像.

通过下图的交互, 你可以画出课本上的大部分图形. 注意: 下图选中颜色后按回车键确认选色.
Figure 1.1.22. 用数学软件画图

Subsection 1.1.8 双曲函数与反双曲函数

在工程技术中常用到一类被称为双曲函数的初等函数, 它们定义如下:
  1. 双曲正弦 \(\operatorname{sh} x=\frac{\mathrm{e}^{x}-\mathrm{e}^{-x}}{2}\text{,}\) 定义域为 \((-\infty,+\infty)\text{,}\) 值域为 \((-\infty,+\infty)\text{;}\)
  2. 双曲余弦 \(\operatorname{ch} x=\frac{\mathrm{e}^{x}+\mathrm{e}^{-x}}{2}\text{,}\) 定义域为 \((-\infty,+\infty)\text{,}\) 值域为 \([1,+\infty)\text{;}\)
  3. 双曲正切 \(\operatorname{th} x=\frac{\operatorname{sh} x}{\operatorname{ch} x}=\frac{\mathrm{e}^{x}-\mathrm{e}^{-x}}{\mathrm{e}^{x}+\mathrm{e}^{-x}}\text{,}\) 定义域为 \((-\infty,+\infty)\text{,}\) 值域为 \((-1,1)\text{.}\)以上函数图形见图 1-14.
显然, \(\operatorname{sh} x\) 与 th \(x\) 都是奇函数, \(\operatorname{ch} x\) 是偶函数; 由于 \(\mid\) th \(x \mid<1\text{,}\) 所以 th \(x\) 是有界函数; 在 \((0,+\infty)\)\(\operatorname{sh} x, \operatorname{ch} x, \operatorname{th} x\) 都是单调增加的. 双曲函数有类似于三角函数的一些性质. 容易验证
\begin{equation*} \begin{gathered} \operatorname{sh}(x \pm y)=\operatorname{sh} x \operatorname{ch} y \pm \operatorname{ch} x \operatorname{sh} y, \\ \operatorname{ch}(x \pm y)=\operatorname{ch} x \operatorname{ch} y \pm \operatorname{sh} x \operatorname{sh} y, \\ \operatorname{sh} 2 x=2 \operatorname{sh} x \operatorname{ch} x, \\ \operatorname{ch} 2 x=2 \operatorname{ch}^{2} x-1, \\ \operatorname{ch}^{2} x-\operatorname{sh}^{2} x=1 . \end{gathered} \end{equation*}
双曲函数 \(y=\operatorname{sh} x, y=\operatorname{ch} x(x \geqslant 0), y=\operatorname{th} x\) 的反函数分别定义为
  1. 反双曲正弦 \(y=\operatorname{arsh} x\text{;}\)
  2. 反双曲余弦 \(y=\operatorname{arch} x\text{;}\)
  3. 反双曲正切 \(y=\operatorname{arth} x\text{.}\)
此外, 反双曲函数也可以从双曲函数的定义中反解出来, 并用对数函数表示. 例如, 由双曲正弦 \(y=\frac{\mathrm{e}^{x}-\mathrm{e}^{-x}}{2}\) 可解得 \(\mathrm{e}^{x}=y \pm \sqrt{y^{2}+1}\text{,}\)\(\mathrm{e}^{x}\) 不取负值, 故舍去 ``\(-\)"号便得
\begin{equation*} x=\ln \left(y+\sqrt{y^{2}+1}\right), \end{equation*}
\(x\) 表示自变量, \(y\) 表示函数,则反双曲正弦函数为
\begin{equation*} y=\operatorname{arsh} x=\ln \left(x+\sqrt{x^{2}+1}\right), \end{equation*}
其定义域为 \((-\infty,+\infty)\text{,}\) 值域为 \((-\infty,+\infty)\text{.}\) 又如, 由双曲余弦 \(y=\frac{\mathrm{e}^{x}+\mathrm{e}^{-x}}{2}\) 可解得 \(\mathrm{e}^{x}=y \pm \sqrt{y^{2}-1}\text{,}\)
\begin{equation*} x=\ln \left(y \pm \sqrt{y^{2}-1}\right)= \pm \ln \left(y+\sqrt{y^{2}-1}\right) . \end{equation*}
由此可知, 双曲余弦的反函数是双值的. 取其正值的一支作为该函数的主值,于是有
\begin{equation*} x=\ln \left(y+\sqrt{y^{2}-1}\right), \end{equation*}
\(x\) 表示自变量, \(y\) 表示函数,则反双曲余弦函数为
\begin{equation*} y=\operatorname{arch} x=\ln \left(x+\sqrt{x^{2}-1}\right), \end{equation*}
其定义域为 \([1,+\infty)\text{,}\) 值域为 \([0,+\infty)\) 类似地,还可得
\begin{equation*} y=\operatorname{arth} x=\frac{1}{2} \ln \frac{1+x}{1-x}, \end{equation*}
其定义域为 \((-1,1)\text{,}\) 值域为 \([-\infty,+\infty)\text{.}\) 这 3 个反双曲函数的图形分别如图 1-15(a~c) 所示.

Subsection 1.1.9 * 映 射

函数是一种特殊的映射,下面介绍映射的概念.

Definition 1.1.23.

定义 4 设 \(X, Y\) 是两个非空集合, 若存在一个法则 \(f\text{,}\) 使得对于 \(X\) 中每个元素 \(x\text{,}\) 按法则 \(f\text{,}\)\(Y\) 中有唯一确定的元素 \(y\) 与之对应, 则称法则 \(f\) 为从 \(X\)\(Y\) 的映射, 记作
\begin{equation*} f: X \rightarrow Y \end{equation*}
这时称元素 \(y\) 为元素 \(x\) 在映射 \(f\) 下的像,并记作 \(f(x)\text{,}\)\(y=f(x)\text{;}\) 而元素 \(x\) 称为元素 \(y\) 在映射 \(f\) 下的原像; 集合 \(X\) 称为映射 \(f\) 的定义域, 记作 \(D(f)\text{,}\)\(D(f)=X\text{;}\) \(X\) 中所有元素的像所组成的集合称为映射 \(f\) 的值域, 记作 \(W(f)\)\(f(X)\text{,}\)
\begin{equation*} W(f)=f(X)=\{f(x) \mid x \in X\} \end{equation*}

Definition 1.1.24.

定义 5 设 \(f\) 是从 \(X\)\(Y\) 的映射, 若 \(W(f)=Y\text{,}\)\(Y\) 中任一元素 \(y\) 都是 \(X\)中某一元素的像,则称 \(f\) 是从 \(X\)\(Y\) 的满射; 若对于 \(X\) 中任意两个不同元素 \(x_{1} \neq x_{2}\text{,}\) 总有 \(f\left(x_{1}\right) \neq f\left(x_{2}\right)\text{,}\) 则称 \(f\) 是从 \(X\)\(Y\) 的单射; 若映射 \(f\) 既是单射, 又是满射,则称 \(f\)\(x\)\(y\) 的一一映射 (或双射).
例如, \(f: \mathbf{R} \rightarrow \mathbf{R}\text{,}\) 对任一 \(x \in \mathbf{R}, f(x)=x^{2}\) 是一个映射, 但不是单射, 也不是满射,其值域 \(W(f)=f(\mathbf{R})=\{y \mid y \geqslant 0\}\)\(\mathbf{R}\) 的一个真子集; 而 \(f: \mathbf{R} \rightarrow Y, Y=\{y|| y \mid \leqslant 1\}\text{,}\) 对任一 \(x \in \mathbf{R}, y=f(x)=\sin x\) 是一个满射, 但不是单射, 对任一 \(y \in W(f)=Y\text{,}\)\(D(f)=\mathbf{R}\) 中有很多个原像, 如 \(y=0\text{,}\) 有原像 \(x=k \pi, k \in \mathbf{Z} ;\) 再如 , \(f:[1,4] \rightarrow[1,2], y=f(x)=\sqrt{x}\) 是一个一一映射(双射).

Definition 1.1.25.

定义 6 设 \(f\) 是从 \(X\)\(Y\) 的单射,则对任一 \(y \in W(f)\text{,}\)有唯一的 \(x \in X\text{,}\)使 \(f(x)=y\text{,}\)于是可以导出一个从 \(W(f)\)\(X\) 的映射 \(g\text{,}\) 它称为 \(f\) 的逆映射, 记为 \(f^{-1}\text{,}\)
\begin{equation*} g=f^{-1}: W(f) \rightarrow X \end{equation*}
对任一 \(y \in W(f)\text{,}\) 规定 \(g(y)=f^{-1}(y)=x\text{.}\) 由此可见, \(f^{-1}\) 的定义域 \(D\left(f^{-1}\right)=W(f)\text{,}\) 值域 \(W\left(f^{-1}\right)=X\text{,}\) 故只有单射 \(f\) 才存在逆映射。 例如 \(, f:[0, \pi] \rightarrow[-1,1], y=f(x)=\cos x\) 存在逆映射 \(x=f^{-1}(y)=\arccos y\text{.}\)

Definition 1.1.26.

定义 7 设有两个映射 \(g: X \rightarrow Y_{1}, f: Y_{2} \rightarrow Z\text{,}\)\(Y_{1} \subset Y_{2}\text{,}\) 则由 \(h(x)=\) \(f[g(x)\) ] 所确定的映射 \(h: X \rightarrow Z\) 称为 \(g\)\(f\) 的复合映射, 记作 \(h=f \circ g\text{,}\)
\begin{equation*} \begin{gathered} h=f \circ g: X \rightarrow Z, \\ (f \circ g)(x)=f[g(x)], x \in X . \end{gathered} \end{equation*}
应当注意,上述复合映射概念中,只有当 \(Y_{1} \subset Y_{2}\text{,}\)\(W(g) \subset D(f)\) 中时才能复合.
例如, 映射 \(g: \mathbf{R} \rightarrow[-1,1]\text{,}\) 对任 一 \(x \in \mathbf{R}, g(x)=\sin x\text{,}\) 映射 \(f:[-1,1] \rightarrow\) \([0,1]\text{,}\) 对任一 \(u \in[-1,1], f(u)=\sqrt{1-u^{2}}\text{,}\) 则有复合映射
\begin{equation*} (f \circ g)(x)=f[g(x)]=f(\sin x)=\sqrt{1-\sin ^{2} x}=|\cos x| . \end{equation*}
因此,函数 \(f: D \rightarrow f(D)\) 是从实数集到实数集的映射; 若函数 \(f\) 是一个单射,则它的逆映射 \(f^{-1}: f(D) \rightarrow D\) 为函数 \(f\) 的反函数.

Subsection 1.1.10 SageMath的基本功能

Subsubsection 1.1.10.1 计算器功能

点击Evaluate(Sage), 获取结果.

Subsubsection 1.1.10.2 求解方程功能

Subsubsection 1.1.10.3 函数图像

Subsection 1.1.11 本节知识图谱

Instructions.

层级从大到小: 绿--红--蓝-紫. 将鼠标放在知识点上, 可发现知识间的关系.
Figure 1.1.27. 第一章第一节知识图谱

Subsection 1.1.12 习题 1-1

  1. 求下列函数的定义域:
    1. \(f(x)=\frac{x+1}{x^{2}-x-2}\text{;}\)
    2. \(f(x)=\frac{\log _{3}(4-x)}{x^{2}}\text{;}\)
    3. \(f(x)=\frac{\sqrt{x+2}}{\sin \pi x}\text{;}\)
    4. \(f(x)=\arccos (2 \sin x)\text{;}\)
    5. \(f(x)=\sqrt{\sin x}+\sqrt{16-x^{2}}\text{;}\)
    6. \(f(x)=\frac{1}{\sqrt{x-x^{2}}}\text{.}\)
  2. 下列函数是否相等? 为什么?
    1. \(f(x)=\sqrt{x^{2}}, g(x)=|x|\text{;}\)
    2. \(f(x)=\sin \left(3 x^{2}+1\right), g(t)=\sin \left(3 t^{2}+1\right)\text{;}\)
    3. \(f(x)=\frac{x^{2}-4}{x-2}, g(x)=x+2\text{.}\)
  3. \(f(x-1)=x^{2}\text{,}\)\(f(x+1)\text{.}\)
  4. \(\varphi(x)=x^{2}+x+1\text{,}\)\(\varphi\left(x^{2}\right),[\varphi(x)]^{2}, \varphi[\varphi(x)]\text{.}\)
  5. 设函数 \(f(x)\)\([0,1]\) 上有定义,求下列函数的定义域:
    1. \(f(x+1)\text{;}\)
    2. \(f(\sin x)\text{;}\)
    3. \(f\left(\log _{a} x\right)\text{;}\)
    4. \(f\left(a^{-x}\right)\text{.}\)
  6. 作出下列函数的简图 :
    1. \(y=\sqrt{x+1}\text{;}\)
    2. \(y=\sin 2\left(x+\frac{\pi}{3}\right)\text{;}\)
    3. \(y=x^{2}, 0 \leqslant x \leqslant 1\text{,}\)
    4. \(y=\frac{1}{2}(\sin x+|\sin x|)\text{;}\)
    5. \(y=x-[x]\text{;}\)
    6. \(y=-|x-2|\text{.}\)
  7. 下列函数哪些是偶函数, 哪些是奇函数, 哪些是非奇非偶函数?
    1. \(y=\sin (2 x+1)\text{;}\)
    2. \(y=|x| \sin \frac{1}{x}\text{;}\)
    3. \(y=\ln \left(x+\sqrt{x^{2}+1}\right)\text{;}\)
    4. \(y=\cos (\sin x)\text{;}\)
    5. \(y=[x]\text{;}\)
    6. \(\displaystyle y=\operatorname{sgn} x= \begin{cases}1, & x>0, \\ 0, & x=0, \\ -1, & x<0 .\end{cases}\)
  8. 设函数 \(y=f(x)(-\infty<x<+\infty)\) 的图形对称于直线 \(x=a\)\(x=b(a<b)\text{,}\) 证明 \(f(x)\)是周期函数.
  9. 试将函数 \(f(x)=\sqrt[3]{1+x}\) 表示成一个奇函数与一个偶函数之和.
  10. 若在 \([-l, l]\) 上定义的函数 \(f(x)\) 既是奇函数, 又是偶函数, 试证明 \(f(x) \equiv 0\text{.}\)
  11. 试证 \(f(x)=x-[x]\) 是以 1 为周期的周期函数.
  12. 判断下列函数在定义域内的有界性、单调性及奇偶性:
    1. \(y=\frac{x}{1+x^{2}}\text{;}\)
    2. \(y=x+\ln x\text{;}\)
    3. \(y=\mathrm{e}^{-x}\text{;}\)
    4. \(y=x+|x|\text{.}\)
  13. 求下列函数的反函数及其定义域:
    1. \(y=\frac{1-x}{1+x}\text{;}\)
    2. \(y=3^{4 x+5}\text{;}\)
    3. \(y=\sqrt[3]{\frac{1+2 \ln x}{2-\ln x}}\text{;}\)
    4. \(\displaystyle y= \begin{cases}x^{2}, & x \geqslant 1, \\ 2 x-1, & x<1 \text {; }\end{cases}\)
    5. \(y=\frac{a^{x}}{a^{x}+1}\text{;}\)
    6. \(y=4 \arcsin \sqrt{1-x^{2}}, x \in[0,1]\text{.}\)
  14. 下列初等函数由哪些基本初等函数复合而成:
    1. \(y=\left(\sin x^{2}\right)^{5}\text{;}\)
    2. \(y=\tan \sqrt{\ln x}\text{;}\)
    3. \(y=\sqrt[3]{\arccos \frac{1}{x^{3}}}\text{;}\)
    4. \(y=\cos \left(\sin \mathrm{e}^{\sqrt{x}}\right)\text{.}\)
  15. 已知 \(f(x)\) 的定义域 \([0,1]\text{,}\) 求下列函数的定义域:
    1. \(y=f(2 \sin x)\text{;}\)
    2. \(y=f\left(e^{2}\ln x\right)\text{;}\)
    3. \(y=f\left(\frac{-4 \arctan x}{\pi}\right)\text{;}\)
    4. \(y=f\left(\frac{1}{2}+\frac{t}{4}\right)+f\left(\frac{3}{2}-\frac{t}{2}\right)\text{;}\)
  16. \(f(x)=\frac{x}{\sqrt{1+x^{2}}}(x \geqslant 0)\text{,}\)\(\overbrace{f(f(\cdots f(x) \cdots))}^{n \text { 次复合 }}\) 的函数表达式.
  17. \(x \neq 0\) 时,若 \(f(x)=x g\left(\frac{1}{x}\right)\text{,}\) 试证明 \(g(x)=x f\left(\frac{1}{x}\right)\text{.}\)
  18. \(f(x)=\mathrm{e}^{x^{2}}, f[\varphi(x)]=1-x\text{,}\)\(\varphi(x) \geqslant 0\text{,}\)\(\varphi(x)\text{,}\) 并写出它的定义域.
  19. \(f(x)=a x^{2}+b x+c, f(0)=1\text{,}\)\(f(x+1)=f(x)+2 x\text{,}\)\(f(x)\text{.}\)
  20. 将一块半径为 \(R\) 的圆形铁皮自中心处剪去圆心角为 \(\alpha\) 的扇形后,把剩下的部分围成一个雉形漏斗,求漏斗的容积 \(V\) 与圆心角 \(\alpha\) 的函数关系.
  21. 已知将美元兄换成加拿大元时币面数值增加 \(12 \%\text{,}\)将加拿大元兄换成美元时, 币面数值减少 \(12 \%\text{,}\)试分别建立其函数关系, 并证明这两个函数不互为反函数. 若某人将 10000 美元兑换两次,则亏损了多少美元?
  22. 某运输公司规定某种货物的运输收费标准为: 不超过 200 公里,每吨公里收费 6 元; 200 公里以上, 但不超过 500 公里, 每吨公里收费 4 元; 500 公里以上, 每吨公里收费 3 元, 试建立运费与路程的函数关系.
  23. 一无盖的长方体木箱, 容积为 \(1 \mathrm{~m}^{3}\text{,}\) 高为 \(2 \mathrm{~m}\text{,}\) 设底面一边的长为 \(x \mathrm{~m}\text{,}\)试将木箱的表面积表示为 \(x\) 的函数.
  24. 在一圆柱形容器内注人某种溶液, 该容器底半径为 \(R\text{,}\) 高为 \(H\text{,}\) 当注人溶液后液面的高度为 \(h\) 时, 溶液的体积为 \(V\text{,}\) 试将 \(h\) 表示为 \(V\) 的函数, 并指出其定义区间.