【数学分析笔记】第1章第2节：映射与函数（3）-CSDN博客

本文链接：https://blog.csdn.net/qq_30204431/article/details/141183663

1. 集合与映射

1.15.4 函数的参数表示

自变量 $x$ 和因变量 $y$ 不好直接表示，可以引入参数 $t$ ，则 $\left\{\begin{array}{ll} x=x(t) \\ y=y(t) \end{array}\right.,t\in[a,b]$ ，这样一个表示间接地反映了变量 $x$ 和变量 $y$ 之间的函数关系：
$\textbf{X}=\{x|x=x(t),t\in[a,b]\},\textbf{Y}=\{y|y=y(t),t\in[a,b]\}$
$f:\textbf{X}\longrightarrow \textbf{Y}$
$x=x(t)\longmapsto y(t)$
【例】 $x^{2}+y^{2}=R^{2}$

$\left\{\begin{array}{ll} x=R\text{cos}t \\ y=R\text{sin}t \end{array}\right.,t\in[0,\pi]$ （恰好是上半个圆周）
$\left\{\begin{array}{ll} x=R\text{cos}t \\ y=R\text{sin}t \end{array}\right.,t\in[\pi,2\pi]$ （表示下半个圆周）

【例1.2.15】【旋转线】地面上有一个轮子，车轮在地面上滚动，轮子上有一点A，随着轮子在地面上滚动，这点A在空间描出了一条曲线，求曲线的函数关系。

$\left\{\begin{array}{ll} x=t-\text{sin}t \\ y=1-\text{cos}t \end{array}\right.,t\in[0,+\infty)$
（转动角度可以无限大，因为可以一直转，转一圈是 $2\pi$ ，转两圈就是 $4\pi$ ，以此类推）

1.16 函数的简单特性

1.16.1 有界性

$y=f(x),x\in\textbf{D}$ ，若存在 $m$ 和 $M$ 使得 $m\le f(x)\le M,x\in\textbf{D}$ ，则称 $f (x)$ 有界， $m$ 为一个下界， $M$ 为一个上界，上下界不唯一。
【注】 $\textbf{D}$ 为定义域。
等价定义：存在一个 $X > 0$ ，使得 $|f(x)|\le X,x\in\textbf{D}$ .

1.16.2 单调性

$y=f(x),x\in\textbf{D}$ ，若对任意 $x_{1},x_{2}\in\textbf{D}$ ，如果 $x_{1}<x_{2}\Rightarrow f(x_{1})\le f(x_{2})$ ，则称函数 $f$ 在 $\textbf{D}$ 上单调增加，记为 $f\uparrow$ 。
$y=f(x),x\in\textbf{D}$ ，若对任意 $x_{1},x_{2}\in\textbf{D}$ ，如果 $x_{1}<x_{2}\Rightarrow f(x_{1})< f(x_{2})$ ，则称函数 $f$ 在 $\textbf{D}$ 上严格单调增加，记为 $f$ 严格 $\uparrow$ 。
$y=f(x),x\in\textbf{D}$ ，若对任意 $x_{1},x_{2}\in\textbf{D}$ ，如果 $x_{1}<x_{2}\Rightarrow f(x_{1})\ge f(x_{2})$ ，则称函数 $f$ 在 $\textbf{D}$ 上单调减少，记为 $f\downarrow$ 。
$y=f(x),x\in\textbf{D}$ ，若对任意 $x_{1},x_{2}\in\textbf{D}$ ，如果 $x_{1}<x_{2}\Rightarrow f(x_{1})> f(x_{2})$ ，则称函数 $f$ 在 $\textbf{D}$ 上严格单调减少，记为 $f$ 严格 $\downarrow$ 。

【例】 $y=x^{3},a^{x}(a>1),\text{arctan}x$ 都是单调增加函数，而且还都是严格单调增加函数。
【例】 $y=a^{x}(0<a<1),\text{arccot}x$ 都是单调减少函数，而且还都是严格单调减少函数。
【例】 $y=x^{2},\left\{\begin{array}{ll} 在[0,+\infty)上单调增加 \\ 在(-\infty,0]上单调减少 \end{array}\right.$
【例】 $y=\text{sin}x\left\{\begin{array}{ll} 在[2n\pi,2n\pi+\frac{\pi}{2}]上单调增加 \\ 在[2n\pi+\frac{\pi}{2},2n\pi+\frac{3\pi}{2}上单调减少 \end{array}\right.$

1.16.3 奇偶性

设函数定义域 $\textbf{D}$ 关于原点对称，即 $x\in\textbf{D}\Leftrightarrow -x\in\textbf{D}$ ，若在 $\textbf{D}$ 上， $f (x) = f (- x)$ ，则称 $f$ 是偶函数；若在 $\textbf{D}$ 上， $f (x) = - f (x)$ ，则称 $f$ 是奇函数。

【例】 $y=\text{sin}x$ 是奇函数， $y=\text{cos}x$ 是偶函数， $y=x^{3}$ 是奇函数。

【例1.2.16】判断 $f(x)=\frac{1}{1+a^{x}}-\frac{1}{2}$ 的奇偶性。
【解】 $f(-x)=\frac{1}{1+a^{-x}}-\frac{1}{2}$
对 $\frac{1}{1+a^{-x}}$ 分子分母都乘 $a^{x}$ 则
$f(-x)=\frac{a^{x}}{1+a^{x}}-\frac{1}{2}=(\frac{a^{x}}{1+a^{x}}-1)+\frac{1}{2}=\frac{-1}{1+a^{x}}+\frac{1}{2}=-f(x)$
所以 $f (x)$ 为奇函数。

1.16.4 周期性

设 $\textbf{D}$ 是函数的定义域，要求 $x\in\textbf{D}\Rightarrow x\pm T\in\textbf{D}$ ，且满足 $f(x)=f(x\pm T)$ ，则称 $T (T > 0)$ 为 $f$ 的一个周期。
如果在所有的周期中有最小的 $T$ ，则称它为最小周期。
【问题】是否周期函数都有最小周期？
【例1.2.17】【狄利克雷（Dirichlet）函数】
$D(x)=\left\{\begin{array}{ll} 0,& x为无理数 \\ 1,& x为有理数 \end{array}\right.$
有理数 $r > 0$ 都是狄利克雷函数的周期， $D(x)=D(x\pm r)$ （无理数+ $r$ =无理数，有理数+ $r$ =有理数）
则任何大于0的有理数都是它的周期，故狄利克雷函数没有最小周期。

1.17 两个重要的不等式

【定理1.2.1】【三角不等式】对任意实数 $a, b$ ，则有 $||a|-|b||\le |a+b| \le |a|+|b|$
【证】 $-|a||b|\le ab\le |a||b|$
则 $-|a||b|+a^{2}+b^{2}\le ab+a^{2}+b^{2}\le |a||b|+a^{2}+b^{2}$
即 $(|a|-|b|)^{2}\le (a+b)^{2}\le (|a|+|b|)^{2}$
亦即（开根号） $||a|-|b||\le |a+b| \le |a|+|b|$
【注】上式称为三角不等式的原因：考虑将 $a, b$ 看作向量，

则 $\le |a|+|b|$ 表示三角形的两边之和大于第三边， $||a|-|b||\le |a+b|$ 表示三角形的一条边大于另外两条边之差。
【定理1.2.2】【平均值不等式】若有 $a_{1},a_{2},...,a_{n}$ （ $n$ 个正数)，将 $\frac{a_{1}+a_{2}+...+a_{n}}{n}$ 称为算术平均，把 $\sqrt[n]{a_{1}a_{2}...a_{n}}$ 称为几何平均， $\frac{n}{\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}}$ 称为调和平均，则有：
$\frac{a_{1}+a_{2}+...+a_{n}}{n}\ge \sqrt[n]{a_{1}a_{2}...a_{n}}\ge \frac{n}{\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}}$
等号成立的条件是 $a_{1}=a_{2}=...=a_{n}$ 。
【证】对于左边的不等式：
$n = 1, 2$ 已知（中学的）
$n = 4$ ， $\frac{a_{1}+a_{2}+a_{3}+a_{4}}{4}\ge \frac{2\sqrt{a_{1}a_{2}}+2\sqrt{a_{3}a_{4}}}{4}=\frac{\sqrt{a_{1}a_{2}}+\sqrt{a_{3}a_{4}}}{2} \ge \sqrt[2]{\sqrt{a_{1}a_{2}}\times\sqrt{a_{3}a_{4}}}=\sqrt[4]{a_{1}a_{2}a_{3}a_{4}}$
$n=8,...,n=2^{k}$ 不等式成立；
若 $n\ne 2^{k}$ ，则存在 $l\in\mathbb{N}^{+}$ ，使得 $2^{l-1}<n<2^{l}$
令 $\sqrt[n]{a_{1}a_{2}...a_{n}}=\bar{a}$
在 $a_{1},a_{2},...,a_{n}$ 后面加上一些 $\bar{a}$ 使得其数量为 $2^{l}$ ，则应该加 $2^{l}-n$ 个 $\bar{a}$
则新构成的序列的算术平均为 $\frac{1}{2^{l}}(a_{1}+a_{2}+...+a_{n}+(2^{l}-n)\bar{a})\ge\sqrt[2^{l}]{a_{1}a_{2}...a_{n}(\bar{a})^{2^{l}-n}}=\sqrt[2^{l}]{(\bar{a})^{n}(\bar{a})^{2^{l}-n}}=\sqrt[2^{l}]{(\bar{a})^{2^{l}}}=\bar{a}$
即 $a_{1}+a_{2}+...+a_{n}+(2^{l}-n)\bar{a}\ge2^{l}\bar{a}$
亦即 $a_{1}+a_{2}+...+a_{n}-n\bar{a}\ge 0$
所以 $\frac{a_{1}+a_{2}+...+a_{n}}{n}\ge\bar{a}=\sqrt[n]{a_{1}a_{2}...a_{n}}$
对于右边的不等式：
将 $\frac{1}{a_{1}},\frac{1}{a_{2}},...,\frac{1}{a_{n}}$ 代入左边不等式：
$\frac{\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}}{n}\ge\sqrt[n]{\frac{1}{a_{1}}\frac{1}{a_{2}}...\frac{1}{a_{n}}}$
由于 $a_{1},a_{2},...,a_{n}$ 均为正数，则取倒数得
$\frac{n}{\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}}\le\sqrt[n]{a_{1}a_{2}...a_{n}}$
即 $\sqrt[n]{a_{1}a_{2}...a_{n}}\ge\frac{n}{\frac{1}{a_{1}}+\frac{1}{a_{2}}+...+\frac{1}{a_{n}}}$
所以不等式右边得证（右边的证法是自己想出来的，不一定严谨，欢迎数院大佬批评指正）