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

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

指数函数

定义和性质

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

性质

• 指数函数是一个群同态：即保持 $(\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}$$

三角函数

定义：（正弦函数、余弦函数）
$$\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$
• 和差化积公式、和角倍角公式等三角公式

参考书：

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