数学分析学习(一)：映射与不等式

前言

最近学习了陈纪修老师编著的《数学分析》的书籍，这里是我学习的随笔。

基础部分

这里主要包括映射，单射，满射，双射，逆映射，函数，重要不等式的学习。

一. 映射

设A和B是两个非空集合($X\subseteq \mathbb{R},Y\subseteq \mathbb{R}$)，按照某种对应关系$f$，对于任意的$x\in X$，存在唯一确定的$y\in Y$于之相对应，则称$f$为$X$到$Y$的映射，记作$X\stackrel{f}{\to }Y$
如果这里的$A$和$B$的集合是非空数集，那么$f$就是集合$A$到集合$B$的函数。
$D_f=X$称为$f$的定义域，$R_f\subseteq Y$称为$f$的值域。其中为$x$称为在$f$映射下$y$的逆像(原像)，$y$称为在$f$映射下$x$的像。
对于映射而言，像具有唯一性，而逆像(原像)不具有唯一性。

1.1 满射

如果对于映射$f$，$R_f=Y$，则称映射$f$为满射。
即对于任意的$y\in Y$，存在$x\in X$，使得$y=f(x)$

1.2 单射

如果对于映射$f$，逆像也是唯一的，则称映射$f$为单射。
即对于任意的$x_1$ $x_2$，若$x_1\ne x_2$，有$f(x_1)\ne f(x_2)$

1.3 双射

如果映射$f$即是单射也是满射，那么则称$f$为双射(也叫一一映射)。

1.4 逆映射

$f$为$X$到$Y$的一个映射，并且满足单射。同时构造$g:Y\stackrel{g}{\to }X$
也是一个映射，则称$g是f的逆映射$。

二. 常用不等式

2.1 三角不等式

$||a|-|b||\le |a\pm b|\le |a|+|b|$

要证明上面的不等式，可以利用下面的不等式，该不等式显然成立。
$-|a||b|\le ab\le |a||b|$

1.先证明：$||a|-|b||\le |a+b|\le |a|+|b|$
证明：由不等式$-|a||b|\le ab\le |a||b|$，式子同时乘以2，再加上$|a{|}^2$和$|b{|}^2$，得到$|a{|}^2-2|a||b|+|b{|}^2\le |a{|}^2+2ab+|b{|}^2\le |a{|}^2+2|a||b|+|b{|}^2$，继而得到$(|a|-|b|{)}^2\le (a+b{)}^2\le (|a|+|b|{)}^2$，开方后即证。

2.证明：$||a|-|b||\le |a-b|\le |a|+|b|$
证明：还是由不等式$-|a||b|\le ab\le |a||b|$，式子同时乘以-1得到$-|a||b|\le -ab\le |a||b|$后面的证明和上面的大同小异，最后得到$(|a|-|b|{)}^2\le (a-b{)}^2\le (|a|+|b|{)}^2$，再开方后即证。

2.2 四个不等式

$$\sqrt[n]{\frac{{a_1}^2+{a_2}^2+{a_3}^2+\cdot \cdot \cdot {a_n}^2}{n}}\ge \frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n}{n}\ge \sqrt[n]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n}\ge \frac{n}{\frac{1}{a_1}+\frac{1}{a_2}+\frac{1}{a_3}+\cdot \cdot \cdot \frac{1}{a_n}}$$

平方平均数$\ge$算术平均数$\ge$几何平均数$\ge$调和平均数

这些不等式对于后续的证明是非常重要。

证明
$$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n}{n}\ge \sqrt[n]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n}$$
首先引入不等式$$a+b\ge 2\sqrt{ab}(基本不等式)$$
首先证明不等式$\frac{a_1+a_2+a_3+a_4}{4}\ge \sqrt[4]{a_1{a}_2{a}_3{a}_4}$
$$\frac{1}{2}(\frac{a_1+a_2}{2}+\frac{a_3+a_4}{2})\ge \frac{1}{2}(\sqrt{a_1{a}_2}+\sqrt{a_3{a}_4})\ge \sqrt{\sqrt{a_1{a}_2}\sqrt{a_3{a}_4}}=\sqrt[4]{a_1{a}_2{a}_3{a}_4}$$
化简后得到$\frac{a_1+a_2+a_3+a_4}{4}\ge \sqrt[4]{a_1{a}_2{a}_3{a}_4}$
以上证明对于$n=2^k$的情况都适用。(可以考虑数学归纳法证明)

接下来考虑$n\ne 2^k$的情况:
如果$n\ne 2^k$，取$l\in N^{+}$，使得$2^{l-1}\le n\le 2^l$。既然不等式不是$2^l$，那么我们加上一些数字，变成$2^l$，首先规定$\sqrt[n]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n}=\overline{a}$。同时，$a_1{a}_2{a}_3\cdot \cdot \cdot a_n={\overline{a}}^n$当$n\ne 2^l$的时候，补充$(2^l-n)个\overline{a}$
$$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n+(2^l-n)\overline{a}}{2^l}\ge \sqrt[2^l]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n(2^l-n)\overline{a}}=(a_1{a}_2{a}_3\cdot \cdot \cdot a_n{\overline{a}}^{2^l-n}{)}^{\frac{1}{2^l}}$$
$$\Downarrow$$
$$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n+(2^l-n)\overline{a}}{2^l}\ge (a_1{a}_2{a}_3\cdot \cdot \cdot a_n{)}^{\frac{1}{2^l}}\frac{\overline{a}}{{\overline{a}}^{\frac{n}{2^l}}}={\overline{a}}^{\frac{n}{2^l}}\frac{\overline{a}}{{\overline{a}}^{\frac{n}{2^l}}}=\overline{a}$$
$$\Downarrow$$
$$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n-n\overline{a}}{2^l}+\overline{a}\ge \overline{a}$$
$$\Downarrow$$
$$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n}{2^l}\ge \frac{n\overline{a}}{2^l}$$
$$\Downarrow$$
$$a_1+a_2+a_3+\cdot \cdot \cdot a_n\ge n\overline{a}$$
$$\Downarrow$$
$$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n}{n}\ge \sqrt[n]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n}$$
证毕。
对于$\sqrt[n]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n}\ge \frac{n}{\frac{1}{a_1}+\frac{1}{a_2}+\frac{1}{a_3}+\cdot \cdot \cdot \frac{1}{a_n}}$的证明。只需要用不等式$\frac{a_1+a_2+a_3+\cdot \cdot \cdot a_n}{n}\ge \sqrt[n]{a_1{a}_2{a}_3\cdot \cdot \cdot a_n}$替换为$\frac{1}{a_1},\frac{1}{a_2},\frac{1}{a_3},\cdot \cdot \cdot ,\frac{1}{a_n}$后即可得证明。

总结

以上都是学习数学分析的基础知识，大部分都是高中学习过的。下一篇将涉及数学分析的基石，实数的相关理论。

下一篇：数学分析学习(二)