数学分析复习：基本初等函数的构造

本篇文章适合个人复习翻阅，不建议新手入门使用

基本初等函数的构造

1. 多项式函数的构造

多项式函数是指如下的函数
$$\mathbb{R}\to \mathbb{R},x\mapsto a_d{x}^d+a_{d-1}{x}^{d-1}+\cdots +a_{1}x+a_0$$其中 $a_0,\dots ,a_d\in \mathbb{R}$

注：这里的幂均为整数幂，由域公理即可定义，但现在我们还未定义一般的幂

2. 指数函数的构造

定义：（指数函数）
$$exp:\mathbb{R}\to \mathbb{R},x\mapsto exp(x)=e^x=\sum _{k=0}^{\infty }\frac{x^k}{k!}$$注：需验证良定义性：即每一点均收敛（只需将阶乘放缩为幂函数）

注：在定义以 e 为底的对数函数之后，再来定义一般的指数函数

性质

• 指数函数是一个群同态：即保持 $(\mathbb{R},+)$ 到 $({\mathbb{R}}_{>0},\cdot )$ 的运算$$e^{x+y}=e^x\cdot e^y$$

证明
$$\begin{array}{rl}{e}^x\cdot e^y& =(\sum _{k=0}^{\infty }\frac{x^k}{k!})(\sum _{k=0}^{\infty }\frac{y^k}{k!})\\ & =\sum _{k=0}^{\infty }\sum _{i+j=k}\frac{x^i}{i!}\frac{x^j}{j!}\\ & =\sum _{k=0}^{\infty }\frac{1}{k!}\sum _{i+j=k}\frac{k!}{i!j!}{x}^i\cdot y^j\\ & =\sum _{k=0}^{\infty }\frac{1}{k!}(x+y{)}^k=e^{x+y}\end{array}$$

3. 三角函数的构造

定义：（正弦函数、余弦函数）
$$\cos z=\frac{e^{iz}+e^{-iz}}{2},\sin z=\frac{e^{iz}-e^{-iz}}{2i}$$由此导出 Euler 公式
$$e^{iz}=\cos z+i\sin z$$注：正切、余切等函数仍和中学的定义一样，通过正余弦的商定义

性质

• $(\cos z{)}^2+(\sin z{)}^2=1$
• $|\sin z|\le 1,|\cos z|\le 1$
• 和差化积公式、和角倍角公式等三角公式

类似三角函数可定义如下所谓双曲正弦和双曲余弦函数
定义：双曲正弦，双曲余弦
$$\mathrm{sh}x=\frac{e^x-e^{-x}}{2},\mathrm{ch}x=\frac{e^x+e^{-x}}{2}$$

4. 对数函数的构造

我们希望用指数函数的反函数去定义对数函数，为此先引入一些结论
命题
设严格单调的连续函数 $f:[a,b]\to \mathbb{R}$，那么 $f$ 是从 $[a,b]$ 到 $[f(a),f(b)]$ 的双射，且其逆映射 $f^{-1}$ 连续

证明
由严格单调性知 $f$ 是单射，由介值定理知 $f$ 是满射，故逆映射存在。
且 $f^{-1}$ 也单调并与 $f$ 的单调性一致（反证法易证）
连续性：用反证法，若 $f^{-1}$ 有不连续点 $x_0$，则可构造非空开区间
$$(\underset{x\to x_0^{-}}{\lim }{f}^{-1}(x),\underset{x\to x_0^{+}}{\lim }{f}^{-1}(x))$$由构造可知，这个开区间一定不在 $[a,b]$ 内，这不可能

定义：以 e 为底的对数函数
由于指数函数 $exp:\mathbb{R}\to {\mathbb{R}}_{>0},x\mapsto e^x$ 是双射，则我们用 $log:{\mathbb{R}}_{>0}\to \mathbb{R}$ 表示 exp 的反函数，称为以 e 为底的对数函数

性质

1. 是 ${\mathbb{R}}_{>0}$ 上的单调递增的连续函数
2. 对任意 $x,y>0$，有 $\log (xy)=\log (x)+\log (y)$

定义：对数函数
对 $a,x\in {\mathbb{R}}_{>0}$，定义对数函数为
$${\log }_{a}x=\frac{\log x}{\log a}$$

性质

1. 是 ${\mathbb{R}}_{>0}$ 上的单调的连续函数
2. 对任意 $x,y>0$，有 ${\log }_a(xy)={\log }_a(x)+{\log }_a(y)$

定义：指数函数
对 $a\in {\mathbb{R}}_{>0},x\in \mathbb{R}$，定义指数函数为
$$a^x=e^{{\log }_{a}x}$$

性质

1. 是 $\mathbb{R}$ 上的单调的连续函数
2. $a^{{\log }_{a}x}=x$
3. $a^{x+y}=a^x{a}^y$

5. 幂函数的构造

定义：幂函数
对 $a\in \mathbb{R},x\in {\mathbb{R}}_{>0}$，定义幂函数为
$$x^{\alpha }=e^{\alpha \log x}$$

性质

1. 是 ${\mathbb{R}}_{>0}$ 上的连续函数
2. $(xy{)}^{\alpha }=x^{\alpha }{y}^{\alpha },(x^{\alpha }{)}^{\beta }=x^{\alpha \beta }$

参考书：

• 《数学分析》陈纪修 於崇华 金路
• 《数学分析之课程讲义》清华大学数学系及丘成桐数学中心
• 《数学分析习题课讲义》谢惠民 恽自求 易法槐 钱定边 著