基本初等函数

在高等数学与微积分学中，基本初等函数（Basic Elementary Functions）是一切复杂解析表达式与实变函数分析的基石。

利用下方的交互画板，可通过正交几何投影直观观察函数的定义域与值域，借助动态镜像与旋转变换验证奇偶性，并通过水平界限夹逼带探究函数的有界性。

---

理论精析与公理化表述

1. 四大基本特性的数学定义

设函数 $f:D\to \mathbb{R}$，其中 $D=\mathrm{dom}(f)\subseteq \mathbb{R}$ 为定义域，$R=\mathrm{ran}(f)=\{f(x)\mid x\in D\}$ 为值域。

(1) 定义域 (Domain) 与值域 (Range)

• 定义域：使函数关系在实数域 $\mathbb{R}$ 内有确定意义的自变量 $x$ 的全体集合：$$\mathrm{dom}(f)=\{x\in \mathbb{R}\mid f(x)\in \mathbb{R}\}$$在几何上对应曲线向 $x$ 轴作正交投影所覆盖的区间（注意区分实心闭端点与空心开端点）。
• 值域：因变量 $y$ 的取值集合：$$\mathrm{ran}(f)=\{y\in \mathbb{R}\mid \mathrm{\exists }x\in D,y=f(x)\}$$在几何上对应曲线向 $y$ 轴作水平正交投影所覆盖的区间。

(2) 奇偶性与几何对称性 (Parity & Symmetry)

奇偶性的前提是定义域 $D$ 关于原点对称（即 $\mathrm{\forall }x\in D⟹-x\in D$）：

• 偶函数 (Even Function)：$$\mathrm{\forall }x\in D,f(-x)=f(x)$$几何特征：图像关于 $y$ 轴对称。沿 $y$ 轴翻折 ${180}^{\circ }$ 后曲线与自身完全重合。
• 奇函数 (Odd Function)：$$\mathrm{\forall }x\in D,f(-x)=-f(x)$$几何特征：图像关于坐标原点 $(0,0)$ 中心对称。绕原点旋转 ${180}^{\circ }$ 后曲线与自身完全重合。

(3) 有界性 (Boundedness)

• 有界定义：若存在正数 $M>0$，使得：$$\mathrm{\forall }x\in X\subseteq D,|f(x)|\le M$$则称 $f(x)$ 在集合 $X$ 上有界；否则称为无界。
• 几何直观：存在两条水平边界线 $y=M$ 与 $y=-M$，整条函数曲线完全落在夹逼条带 $[-M,M]$ 之内（例如 $\sin x$ 夹在 $[-1,1]$ 之间，$\arctan x$ 夹在 $(-\frac{\pi }{2},\frac{\pi }{2})$ 之间）。

---

五大类基本初等函数特性对照表

函数类别	标准形式	定义域 $\mathrm{dom}(f)$	值域 $\mathrm{ran}(f)$	奇偶性	有界性	导数 $f^{\prime }(x)$
幂函数	$y=x^{\alpha }$ ($\alpha \in \mathbb{R}$)	随 $\alpha$ 变化（$\alpha =2$ 为 $\mathbb{R}$，$\sqrt{x}$ 为 $[0,+\mathrm{\infty })$）	取决于 $\alpha$	$\alpha$ 为奇整数为奇，偶整数为偶	大多在 $\mathbb{R}$ 上无界	$\alpha x^{\alpha -1}$
指数函数	$y=a^x$ ($a>0,a\ne 1$)	$\mathbb{R}$	$(0,+\mathrm{\infty })$	非奇非偶	$f(x)>0$ 下有界，无上界	$a^x\ln a$
对数函数	$y={\log }_{a}x$ ($a>0,a\ne 1$)	$(0,+\mathrm{\infty })$	$\mathbb{R}$	非奇非偶	无界	$\frac{1}{x\ln a}$
三角函数	$y=\sin x$	$\mathbb{R}$	$[-1,1]$	奇函数	严格有界 ($M=1$)	$\cos x$
	$y=\cos x$	$\mathbb{R}$	$[-1,1]$	偶函数	严格有界 ($M=1$)	$-\sin x$
	$y=\tan x$	$x\ne k\pi +\frac{\pi }{2}$	$\mathbb{R}$	奇函数	无界	${\sec }^{2}x$
反三角函数	$y=\arcsin x$	$[-1,1]$	$[-\frac{\pi }{2},\frac{\pi }{2}]$	奇函数	严格有界 ($M=\frac{\pi }{2}$)	$\frac{1}{\sqrt{1-x^2}}$
	$y=\arccos x$	$[-1,1]$	$[0,\pi ]$	非奇非偶（点对称）	严格有界 ($M=\pi$)	$-\frac{1}{\sqrt{1-x^2}}$
	$y=\arctan x$	$\mathbb{R}$	$(-\frac{\pi }{2},\frac{\pi }{2})$	奇函数	严格有界 ($M=\frac{\pi }{2}$)	$\frac{1}{1+x^2}$

---

几何对偶：反函数与对角镜像

若单射函数 $y=f(x)$ 存在反函数 $x=f^{-1}(y)$，习惯上记为 $y=f^{-1}(x)$。

• 对偶关系：原函数上的点 $(a,b)$ 必对应反函数上的点 $(b,a)$。
• 对称轴：$y=f(x)$ 与 $y=f^{-1}(x)$ 的图像关于一、三象限角平分线 $y=x$ 严格轴对称。
• 典型对偶族：
  • 指数函数 $y=e^x$ 与自然对数函数 $y=\ln x$；
  • 正弦主值区间 $y=\sin x(x\in [-\frac{\pi }{2},\frac{\pi }{2}])$ 与反正弦函数 $y=\arcsin x$；
  • 正切主值区间 $y=\tan x(x\in (-\frac{\pi }{2},\frac{\pi }{2}))$ 与反正切函数 $y=\arctan x$。

---

延伸学习与相关教学资源

• 微积分导数万能法与微分题解规范：深入解析一阶微分形式不变性在复合函数与反函数求导中的代数化极速求解技巧。
• DI 表格积分法快速求解：初等函数乘积微积分与分部积分法的直观极速计算工具。
• 空间解析几何 3D 实验室：从一元初等函数图像进阶至空间曲面、二次曲面与多元几何可视化。
• 高等数学课程中心：系统查看高等数学（微积分）全套课程讲义、期末备考与教学课件。