函数及特殊函数

函数及特殊函数

小象实战讲义 · 人工智能数学基础

函数是数学分析乃至整个高等数学的基石，它描述了变量之间最核心的依赖关系。在人工智能领域，无论是构建模型、定义损失函数，还是描述数据的映射关系，都离不开对函数的深刻理解。本节我们将从集合映射的角度，严谨地定义函数，系统学习六类基本初等函数、函数的运算与性质，并认识几个在数学分析中扮演重要角色的特殊函数。学完本节，你将能清晰地定义函数，熟练运用各类基本函数，并理解函数性质在后续微积分学习中的基础作用。

💡 核心导读

本节将为你构建完整的函数知识框架：

1. 从映射到函数：理解函数作为“数集到数集的映射”这一定义的本质，掌握定义域、值域、自变量、因变量等核心概念。
2. 六类基本初等函数：系统回顾常数、幂、指数、对数、三角函数及反三角函数，它们是构建一切复杂函数的“原子”。
3. 函数的运算与构造：学习如何通过四则运算、复合与求逆，由基本函数生成更复杂的函数，特别是理解复合运算的“链条”思想。
4. 特殊函数面面观：认识符号函数、取整函数、狄利克雷函数和黎曼函数，理解它们虽“特殊”却对理解函数本质和构造反例至关重要。
5. 函数的四大性质：掌握有界性、单调性、周期性、奇偶性的定义与判别，并完成一个关于奇函数反函数性质的证明练习。

从映射到函数：严谨的定义

函数是数学中描述两个变量之间依赖关系的最基本工具。从集合论的角度，我们可以给出一个非常清晰的定义：

定义（函数）：设 $X$ 是实数集 $\mathbb{R}$ 的一个子集。如果存在一个对应法则 $f$，使得对于 $X$ 中的 每一个 数 $x$，在实数集 $\mathbb{R}$ 中都有 唯一确定 的数 $y$ 与之对应，则称 $f$ 为从 $X$ 到 $\mathbb{R}$ 的一个函数，记作： $$f: X \rightarrow \mathbb{R}$$ 其中箭头左侧的 $X$ 为定义域，右侧的 $\mathbb{R}$ 为陪域，该记号表示从定义域到实数集的一个映射。

对于函数 $y = f(x)$，我们有以下基本术语：

• $x$ 称为自变量，其取值范围 $X$ 称为函数的定义域。
• $y$ 称为因变量，其所有可能取值的集合 ${f(x) | x \in X}$ 称为函数的值域，记作 $f(X)$。

声明一个函数，必须同时明确其对应法则 $f$ 和定义域 $X$。 两者缺一不可。例如，$y=1$ 在定义域 $(0,1)$ 上和定义域 $(2,3)$ 上是两个不同的函数，尽管它们的对应法则相同，但定义域不同。

六类基本初等函数

基本初等函数是构成更复杂函数的基础模块，共有以下六类：

1. 常数函数：$y = c$ （$c$ 为常数）。其图像是一条平行于 $x$ 轴的直线。 $$f(x) = c, \quad x \in \mathbb{R}$$

2. 幂函数：$y = x^{\alpha}$ （$\alpha$ 为实数，通常讨论 $\alpha > 0$ 的情形）。

   • 例如：$y = x^2$（抛物线），$y = \sqrt{x} = x^{1/2}$（上半支抛物线）。

3. 指数函数：$y = a^{x}$ （$a > 0$ 且 $a \neq 1$）。自变量位于指数位置。

   • 最常见的是以自然常数 $e$ 为底的指数函数：$y = e^{x}$。其图像过点 $(0,1)$，单调递增。

4. 对数函数：$y = \log_a x$ （$a > 0$ 且 $a \neq 1$）。它与指数函数 $y = a^x$ 互为反函数。

   • 最常用的是自然对数：$y = \ln x = \log_e x$。

5. 三角函数：包括正弦 $\sin x$、余弦 $\cos x$、正切 $\tan x$、余切 $\cot x$、正割 $\sec x$、余割 $\csc x$。 它们之间的关系可以通过“三角函数六边形法则”辅助记忆：

   • 平方关系（三个倒三角形）：$\sin^2 x + \cos^2 x = 1$， $1 + \tan^2 x = \sec^2 x$， $1 + \cot^2 x = \csc^2 x$。
   • 倒数关系（三组对角线）：$\sin x \cdot \csc x = 1$， $\cos x \cdot \sec x = 1$， $\tan x \cdot \cot x = 1$。
   • 商数关系（顺时针旋转）：例如，$\tan x = \frac{\sin x}{\cos x}$， $\sin x = \frac{\cos x}{\cot x}$ 等。

6. 反三角函数：三角函数的反函数。由于三角函数具有周期性，不是一一映射，因此需要限制定义域来保证可逆。

   • 反正弦 $\arcsin x$：定义域为 $[-1, 1]$，值域为 $[-\frac{\pi}{2}, \frac{\pi}{2}]$。它对应于正弦函数在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 上的反函数。
   • 反余弦 $\arccos x$：定义域为 $[-1, 1]$，值域为 $[0, \pi]$。它对应于余弦函数在 $[0, \pi]$ 上的反函数。
   • 反正切 $\arctan x$：定义域为 $\mathbb{R}$，值域为 $(-\frac{\pi}{2}, \frac{\pi}{2})$。它对应于正切函数在 $(-\frac{\pi}{2}, \frac{\pi}{2})$ 上的反函数。

函数的运算

由基本初等函数出发，通过以下运算可以得到更丰富的函数类。

1. 四则运算：设函数 $f(x)$ 和 $g(x)$ 的定义域分别为 $D_f$ 和 $D_g$，且 $D = D_f \cap D_g \neq \varnothing$，则可在 $D$ 上定义：

   • 和（差）函数：$(f \pm g)(x) = f(x) \pm g(x)$
   • 积函数：$(f \cdot g)(x) = f(x) \cdot g(x)$
   • 商函数：$\left(\frac{f}{g}\right)(x) = \frac{f(x)}{g(x)}$，其中要求 $g(x) \neq 0$。

2. 复合运算：这是函数运算中极为重要的一种。直观理解是“函数的函数”。

   定义（复合函数）：设有函数 $f: A \to B$ 和 $g: B \to C$。则复合函数 $g \circ f: A \to C$ 定义为： $$(g \circ f)(x) = g(f(x)), \quad \forall x \in A.$$ 即先用 $f$ 作用于 $x$，得到中间结果 $f(x) \in B$，再用 $g$ 作用于这个中间结果。

3. 求反函数（逆运算）：并非所有函数都有反函数。一个函数 $f: X \to Y$ 存在反函数 $f^{-1}: Y \to X$ 的充要条件是 $f$ 必须是双射（既单射又满射）。

   • 单射：定义域中不同的 $x$ 映射到值域中不同的 $y$。
   • 满射：值域 $Y$ 中的每一个 $y$，在定义域 $X$ 中都有原像 $x$ 使得 $f(x)=y$。
   • 若 $f$ 可逆，则 $f^{-1}(y) = x \iff f(x) = y$。

初等函数：由基本初等函数经过有限次的四则运算和复合运算所得到的函数，统称为初等函数。它们是数学分析研究的主要对象。

几个重要的特殊函数

除了初等函数，还有一些函数因其独特的性质而在分析学中占有特殊地位。

1. 符号函数 (Sign Function)： $$\operatorname{sgn}(x) = \begin{cases} 1, & x > 0,\ 0, & x = 0,\ -1, & x < 0. \end{cases}$$ 其功能是提取一个实数的符号。

2. 取整函数/高斯函数 (Floor Function)： $$\lfloor x \rfloor = \max{ n \in \mathbb{Z} \ | \ n \le x }.$$ 即不超过 $x$ 的最大整数。其图像呈阶梯状，故也称阶梯函数。

3. 狄利克雷函数 (Dirichlet Function)： $$D(x) = \begin{cases} 1, & x \in \mathbb{Q} \ (\text{有理数}),\ 0, & x \in \mathbb{R} \setminus \mathbb{Q} \ (\text{无理数}). \end{cases}$$ 这是一个处处不连续、处处不可导的典型病态函数，常被用来构造反例。

4. 黎曼函数 (Riemann Function)：定义在 $(0, 1)$ 上。 $$R(x) = \begin{cases} 0, & x \text{ 为无理数},\ \frac{1}{q}, & x = \frac{p}{q} \ (\text{其中 } p,q \in \mathbb{N}^+, \ \gcd(p,q)=1). \end{cases}$$ 这个函数在所有无理点连续，在所有有理点间断，是一个性质非常有趣的函数。

函数的四大基本性质

研究函数，离不开对其性质的刻画。

1. 有界性：

   • 有上界：$\exists M \in \mathbb{R}, \ \forall x \in X, \ f(x) \le M$。
   • 有下界：$\exists m \in \mathbb{R}, \ \forall x \in X, \ f(x) \ge m$。
   • 有界：既有上界又有下界，即 $\exists M > 0, \ \forall x \in X, \ |f(x)| \le M$。
   • 例：$\sin x$ 是有界函数（$|\sin x| \le 1$）；$f(x)=1/x$ 在 $(0, +\infty)$ 上有下界但无上界。

2. 单调性：设函数 $f(x)$ 在区间 $I$ 上有定义。

   • 单调递增：$\forall x_1, x_2 \in I, \ x_1 < x_2 \Rightarrow f(x_1) \le f(x_2)$。
   • 严格单调递增：将上述 “$\le$” 改为 “$<$”。
   • 单调递减与严格单调递减的定义类似。
   • 注意：单调性必须针对整个区间而言。例如，一个函数在无理数集上递减，但在整个区间上可能完全不单调。

3. 周期性：若 $\exists T > 0$，使得 $\forall x \in X$，有 $x+T \in X$ 且 $f(x+T) = f(x)$，则称 $f(x)$ 为周期函数，$T$ 为其一个周期。

   • 例：$\sin x, \cos x$ 的周期为 $2\pi$；$\tan x$ 的周期为 $\pi$。

4. 奇偶性：讨论奇偶性，首先要求定义域 $X$ 关于原点对称（即 $x \in X \Rightarrow -x \in X$）。

   • 奇函数：$\forall x \in X, \ f(-x) = -f(x)$。图像关于原点对称，如 $\sin x$。
   • 偶函数：$\forall x \in X, \ f(-x) = f(x)$。图像关于 $y$ 轴对称，如 $\cos x$。

一个重要性质：奇函数的反函数（若存在）也是奇函数。 证明概要：设 $y = f(x)$ 是奇函数且可逆，其反函数为 $x = f^{-1}(y)$。由 $f$ 是奇函数，有 $f(x) = -f(-x)$。若 $f(x) = y$，则 $f(-x) = -y$。根据反函数定义，这意味着 $f^{-1}(y) = x$ 且 $f^{-1}(-y) = -x$。因此，$f^{-1}(-y) = -f^{-1}(y)$，故 $f^{-1}$ 也是奇函数。

📝 动手练一练

1. 复合函数定义域：已知函数 $f(x) = \ln(1-x)$， $g(x) = \sqrt{x}$。求复合函数 $f(g(x))$ 的定义域。 参考答案：$f(g(x)) = f(\sqrt{x}) = \ln(1-\sqrt{x})$。要使该函数有意义，需满足：① $x \ge 0$（$g(x)$ 定义域要求）；② $1 - \sqrt{x} > 0$（对数函数真数大于0）。由②得 $\sqrt{x} < 1$，即 $x < 1$。综合①和②，定义域为 $[0, 1)$。

2. 函数性质判断：判断函数 $f(x) = x \cdot \sin x$ 在 $\mathbb{R}$ 上的有界性和奇偶性。 参考答案：

   • 有界性：无界。因为当 $x = 2k\pi + \frac{\pi}{2} (k \in \mathbb{Z}, k \to +\infty)$ 时，$\sin x = 1$，$f(x) = x \to +\infty$。
   • 奇偶性：定义域 $\mathbb{R}$ 关于原点对称。计算 $f(-x) = (-x) \cdot \sin(-x) = (-x) \cdot (-\sin x) = x \sin x = f(x)$。故 $f(x)$ 是偶函数。

# 使用Python验证基本初等函数图像及简单性质
import numpy as np
import matplotlib.pyplot as plt

# 设置中文字体
plt.rcParams['font.sans-serif'] = ['SimHei']
plt.rcParams['axes.unicode_minus'] = False

# 创建画布
fig, axes = plt.subplots(2, 3, figsize=(15, 10))
axes = axes.flatten()

# 1. 常数函数
x = np.linspace(-2, 2, 400)
axes[0].plot(x, np.full_like(x, 2), 'b-', label='y = 2')
axes[0].set_title('常数函数')
axes[0].legend()
axes[0].grid(True)

# 2. 幂函数
x_pos = np.linspace(0.01, 2, 200)
axes[1].plot(x_pos, x_pos**2, 'r-', label='y = x^2')
axes[1].plot(x_pos, np.sqrt(x_pos), 'g-', label='y = sqrt(x)')
axes[1].set_title('幂函数')
axes[1].legend()
axes[1].grid(True)

# 3. 指数函数
x = np.linspace(-2, 2, 400)
axes[2].plot(x, np.exp(x), 'purple', label='y = e^x')
axes[2].axhline(y=1, color='gray', linestyle='--', alpha=0.5)
axes[2].axvline(x=0, color='gray', linestyle='--', alpha=0.5)
axes[2].set_title('指数函数 (e^x)')
axes[2].legend()
axes[2].grid(True)

# 4. 对数函数
x_pos = np.linspace(0.01, 4, 400)
axes[3].plot(x_pos, np.log(x_pos), 'orange', label='y = ln(x)')
axes[3].axvline(x=1, color='gray', linestyle='--', alpha=0.5)
axes[3].axhline(y=0, color='gray', linestyle='--', alpha=0.5)
axes[3].set_title('对数函数 (ln x)')
axes[3].legend()
axes[3].grid(True)

# 5. 三角函数
x = np.linspace(-2*np.pi, 2*np.pi, 400)
axes[4].plot(x, np.sin(x), 'b-', label='y = sin(x)')
axes[4].plot(x, np.cos(x), 'r--', label='y = cos(x)')
axes[4].set_title('三角函数')
axes[4].legend()
axes[4].grid(True)

# 6. 符号函数
x = np.linspace(-2, 2, 1000)
y = np.sign(x)
axes[5].plot(x, y, 'k-', drawstyle='steps-mid', label='y = sgn(x)')
axes[5].plot(0, 0, 'ko', fillstyle='full', markersize=8) # 原点实心点
axes[5].set_title('符号函数')
axes[5].legend()
axes[5].grid(True)
axes[5].set_ylim(-1.5, 1.5)

plt.tight_layout()
plt.show()

# 验证奇函数反函数性质：以 f(x) = x^3 为例
print("验证奇函数 f(x) = x^3 的反函数也是奇函数：")
# 生成一些数据点
x_vals = np.array([-2, -1, 0, 1, 2])
f_vals = x_vals ** 3  # f(x) = x^3
# 反函数 f^{-1}(y) = y^{1/3}
inv_f_vals = np.cbrt(f_vals)  # 立方根函数

print(f"x: {x_vals}")
print(f"f(x): {f_vals}")
print(f"f^{-1}(f(x)) = x: {inv_f_vals}")
print(f"检查 f^{-1}(-y) = -f^{-1}(y):")
for y in f_vals:
    lhs = np.cbrt(-y)
    rhs = -np.cbrt(y)
    print(f"  y={y:.2f}: f^{{-1}}(-y)={lhs:.2f}, -f^{{-1}}(y)={rhs:.2f}, 相等？{np.isclose(lhs, rhs)}")

本章小结

本节我们系统学习了函数的理论基础，从严谨的集合映射定义出发，构建了完整的知识体系。

要点回顾：

1. 函数本质：函数是数集间的单值映射，由对应法则和定义域共同唯一确定。
2. 函数家族：六类基本初等函数（常数、幂、指数、对数、三角、反三角）是构建复杂函数的基石。通过四则运算、复合、求逆，可以生成庞大的初等函数家族。
3. 特殊成员：符号函数、取整函数、狄利克雷函数、黎曼函数等特殊函数，虽然形式不常见，但对深入理解函数连续性、可积性等概念至关重要。
4. 性质刻画：有界性、单调性、周期性、奇偶性是描述函数形态的四大基本性质，是后续分析函数极限、导数、积分等行为的基础。

行动清单：

1. 亲手绘制：在纸上或使用编程工具，亲手绘制本节提到的所有基本初等函数和特殊函数的图像，直观感受其形态。
2. 关系推导：根据三角函数六边形，完整推导出所有平方、倒数、商数关系，并理解其几何意义。
3. 性质证明：仿照奇函数反函数性质的证明过程，尝试独立证明“偶函数的反函数（若存在）也是偶函数”这一命题是否成立，并思考原因。

— 小象教研组