高等微积分笔记 Lesson 12

高等微积分 Lesson 12

最值定理

(所有函数的)有界性定理 \Longrightarrow (每个函数的)最值定理

/Proof/ (证明最值定理)

由有界性定理,知道ff[a,b][a,b]上有界;再由确界定理,知道M=supf\exist M=\sup\Im f.

若能证明MfM\in\Im f,就能证明MMf\Im f的最大值,也就证明了ff有最大值.

反证法,假设MfM\notin\Im f,令g(x)=1/(Mf(x))g(x)=1/(M-f(x)). 用到gg的有界性定理,知道gg若在[a,b][a,b]上连续,则其在[a,b][a,b]上有界.

M=supfM=\sup\Im fnZ+\forall n\in\Z_+M1nM-\frac{1}{n}不是f\Im f的上界,从而 \exist f(x)>M1nf(x)>M-\frac{1}{n},也就是0<Mf(x)<1n0<M-f(x)<\frac{1}{n},从而 g(x)>ng(x)>n.

其中,上面三个高亮部分合起来就是“有界性定理不成立”之意.

证毕.

也可以直接用有限覆盖定理证明最值定理.

/Proof/ (证明最值定理)

M=supfM=\sup\Im f,来证明MfM\in\Im f.

反证,设MfM\notin\Im f. x0[a,b]\forall x_0\in[a,b]limxx0f(x)=f(x0)<f(x0)+M2\underset{x\to x_0}{\lim}f(x)=f(x_0)<\frac{f(x_0)+M}{2}.

可知,δx0>0\exist\delta_{x_0}>0使得xBδ(x0)D\forall x\in B_{\delta}(x_0)\cap Df(x)<f(x)+M2=marked asMx0f(x)<\frac{f(x)+M}{2}\overset{\text{marked as}}{=}M_{x_0}()(*).

Ux0=Bδ(x0)=(x0δx0,x0+δx0)U_{x_0}=B_\delta(x_0)=(x_0-\delta_{x_0},x_0+\delta_{x_0})是开区间,注意U={Ux0x0D}\mathscr{U}=\{U_{x_0}|x_0\in D\}一族开区间,x0DUx0x0D{x0}=D\underset{x_0\in D}{\bigcup}U_{x_0}\supseteq\underset{x_0\in D}{\bigcup}\{x_0\}=D.

利用 Borel 定理,知道Ux1UxmD\exist U_{x_1}\cup\cdots\cup U_{x_m}\supseteq D,即xD\forall x\in Df(x)max{Mx1,,Mxm}=Kf(x)\leq\max\{M_{x_1},\cdots,M_{x_m}\}=K,表明K=supfMxi<MK=\sup\Im f\leq M_{x_i}< M,矛盾!

假设不成立,最值定理成立.

证毕.

注记:使用最值定理,一定要验证D=[a,b]D=[a,b],除此之外最值定理均不成立.

问:经常需要建立fC(R,R)f\in C(\R,\R)的最值存在性,如何做?

具体的,问题出在远处的ff值来竞选最值,所以如果命令远处的ff趋于正(负)无穷,那么其便失去了竞选最小(大)值的权利.

/Claim/

fC(R,R)f\in C(\R,\R)limxf(x)=+\underset{x\to\infty}{\lim}f(x)=+\infty(即M\forall MK>0\exist K>0使得x>K\forall |x|>Kf(x)>Mf(x)>M),则ffR\R上有最小值.

当然还有对偶的版本,若limxf(x)=\underset{x\to\infty}{\lim}f(x)=-\infty,则ffR\R上有最大值maxf\max f.

/Proof/

由极限定义,得到:M\forall MK>0\exist K>0使得x>K\forall |x|>Kf(x)>Mf(x)>M,在这里把f(0)f(0)当作MM,那么远处的函数值都不计入考虑.

[K,K][-K,K]上应用最值定理即可.

列紧性定理

字面意思上来说,这个定理指的是“数列”的“紧致性”. 当然,在引入拓扑之后,人们发现广义的紧致性要强于列紧性,所以之后大多数都在讨论紧致性.

/Definition/

XX紧致,若XX的任何开覆盖都有有限子覆盖.

死去的回忆开始攻击我,topology.

可以发现,这个定义和 Borel 定理有很深的联系.

[a,b][a,b]紧致,R\R(a,b](a,b](a,b)(a,b)都不紧致.

为什么开区间不紧致?因为我们能用开区间“制备”一个开覆盖,它没有有限子覆盖.

X=(a,b)X=(a,b),考虑开覆盖U={Un=(a+1/n,b1/n)}\mathscr{U}=\{U_n=(a+1/n,b-1/n)\},显然nN0Un=(a,b)\underset{n\geq N_0}{\bigcup}U_n=(a,b),但是由于UnUn+1U_n\subseteq U_{n+1},所以任何有限个UnU_n之并实际上等于UmaxnU_{\max n},而(a,b)\neq(a,b).

/Definition/

XX是列紧的,如果XX中任何无穷点列都有一个子序列收敛(到XX中的点).

所谓{xn}\{x_n\}的一个子序列,指的是从这个序列中挑出一些点构成一个新的序列.

/Theorem/

有界闭区间[a,b][a,b]是列紧的. 也即,[a,b][a,b]中的任何无穷点列{xn}\{x_n\}都有一个子列收敛到[a,b][a,b]中某点.

改述:任何有界序列都有收敛子列.

分析:我们应该如何证明?需要找到子列{xk}\{x_k\},还要找到limkxk=L\underset{k\to\infty}{\lim}x_k=L. 显然,先找LL是更加 judicious 的选择.

怎样找LL呢?它应该有一个特点,在LL附近汇聚了很多点xx_*.

/Definition/

XRX\subseteq\R,称aRa\in\RXX的一个聚点,

应该满足何种条件?若我在aa附近的任意小邻域中都能找到XX的点,那么XX的点就“聚集”在aa附近了.

如果对任何aa的邻域Bδ(a)B_\delta(a)Bδ(a)(Xa)B_\delta(a)\cap(X|a)\neq \varnothing.

即,aa的任何去心邻域皆有XX中的点.

为什么要强调去心邻域?因为aa本身可能也是XX的点.

/Claim/

XXR\R的有界无穷点集,则XX必有聚点.

/Proof/

反证法. 设X[a,b]X\subseteq[a,b]且无聚点,则x0[a,b]\forall x_0\in[a,b]Bδ(x0)(Xx0)=\exist B_\delta(x_0)\cap(X|x_0)=\varnothing. 记Ux0=Bδ(x0)U_{x_0}=B_\delta(x_0)Ux0X1|U_{x_0}\cap X|\leq 1()(*).

注意到{Ux0x0[a,b]}\{U_{x_0}|x_0\in[a,b]\}是一族开集且覆盖[a,b][a,b].

Borel\overset{\text{Borel}}{\Longrightarrow} Ux1Uxm[a,b]\exist U_{x_1}\cup\cdots\cup U_{x_m}\supseteq [a,b]

()\overset{(*)}{\Longrightarrow} xi=1mUxiXm|x|\leq\sum_{i=1}^m|U_{x_i}\cap X|\leq m,与X=+|X|=+\infty矛盾!

假设不成立.

证毕.

这个时候就能来证明列紧性定理.

/Proof/ (证明列紧性定理)

X={yRxk=y}=xX=\{y\in\R|\exist x_k=y\}=x_*步点集,若X<+|X|<+\infty,则存在无穷多个x=x_*=同一个LL.

取这些xx_*构成的常值点序列,这是收敛的.

以下设X=+|X|=+\inftyX[a,b]X\subseteq[a,b] Claim\overset{\text{Claim}}{\Longrightarrow} XX有聚点LL. 之后按如下方式构造{x}\{x_*\}子列:

LL聚点的定义,取xi1B1(L)(XL)x_{i_1}\in B_1(L)\cap(X|L),且这个集合非空. 假设已经构造好xi1,,xikx_{i_1},\cdots,x_{i_k},来找ximx_{i_m}im>iki_m>i_k.

我们想要绕着LL画一个开球,把之前的所有点都排除在外面,但是里面的点的指标都大于外面的点的指标. 为了实现这个目的,令d=min{xiL,1iik,xiL}d=\min\{|x_{i}-L|,1\leq i\leq i_k,x_i\neq L\},然后取Bd/2(L)B_{d/2}(L),在这个去心开球里面找到下一个xik+1x_{i_{k+1}},以这种方法迭代这个子列,满足0<xik+1L<12xikL0<|x_{i_{k+1}}-L|<\frac{1}{2}|x_{i_k}-L|,显然有limkxik=L\underset{k\to\infty}{\lim}x_{i_k}=L.

证毕.

应用:

/Example/ (给出 Cauchy 收敛原理的一个快速证明)

{x}\{x_*\}是 Cauchy 列,来证明收敛.

Cauchy 列 \Longrightarrow {x}\{x_*\}有界 \Longrightarrow \exist子序列{xik}k=1\{x_{i_k}\}^\infty_{k=1}收敛(极限是LL).

对于ε>0\forall\varepsilon>0,由 Cauchy 列定义,N\exist N使得m,nN\forall m,n\geq Nxmxn<ε|x_m-x_n|<\varepsilon.

特别地,取m=ikm=i_k\to\infty,得到limk+xikxn=Lxnε\underset{k\to+\infty}{\lim}|x_{i_k}-x_n|=|L-x_n|\leq\varepsilon,这表明极限为LL.

另外一个应用有关于一致连续性. 为了说明,我们先简介一致连续性.

在分析的语言中,只要提到“一致”,这个概念一般是技术上的,没有特别直观的含义.

回忆fC(D,R)f\in C(D,\R),等价于ffDD中每一点x0x_0处连续,用εδ\varepsilon-\delta语言表述就是ε>0\forall\varepsilon>0δ=δx0\exist\delta=\delta_{x_0}(依赖于x0x_0),使得xx0<δx0\forall|x-x_0|<\delta_{x_0},有f(x)f(x0)<ε|f(x)-f(x_0)|<\varepsilon.

在这里,每一个x0x_0对应一个不一定相同的δx0\delta_{x_0}.

为了让每处的行为“一致”,我们考虑让δx0\delta_{x_0}相同.

/Definition/

ffDD上一致连续,如果ε>0\forall\varepsilon>0δ>0\exist\delta>0(不依赖于xx),使得x,yD\forall x,y\in D,只要xy<δ|x-y|<\delta,则f(x)f(y)<ε|f(x)-f(y)|<\varepsilon.

显然,一致连续强于连续. 但是要注意,谈论一致连续时涉及区间DD.

/Example/ (连续的ff未必一致连续,也即一致连续强于连续)

f(x)=1xf(x)=\frac{1}{x}D=(0,1)D=(0,1)fC(D,R)f\in C(D,\R). 来证明ff(0,1)(0,1)上不一致连续.

/Proof/

反证法:设ff(0,1)(0,1)上一致连续,即ε>0\forall\varepsilon>0δ>0\exist\delta>0xy<δ\forall|x-y|<\delta,有f(x)f(y)<ε|f(x)-f(y)|<\varepsilon.

取定ε=1\varepsilon=1δ>0\exist\delta>0xy<δ\forall|x-y|<\deltax,yDx,y\in D),有f(x)f(y)<1|f(x)-f(y)|<1.

y=x+δ2y=x+\frac{\delta}{2}0<x<1δ20<x<1-\frac{\delta}{2}),有xy=δ2<δ|x-y|=\frac{\delta}{2}<\delta. 而

1x1y=yxxy1>f(x)f(y)=δ/2x(x+δ/2)1limx0+δ/2x(x+δ/2)=+\begin{aligned} |\frac{1}{x}-\frac{1}{y}|&=\frac{y-x}{xy}\\\\ 1>|f(x)-f(y)|&=\frac{\delta/2}{x(x+\delta/2)}\\\\ 1\geq&\lim_{x\to0+}\frac{\delta/2}{x(x+\delta/2)}=+\infty \end{aligned}

矛盾!

证毕.

/Theorem/

有界闭区间上的连续函数都一致连续(紧致空间上的连续函数皆一致连续).

这个定理以后还会使用两次.

/Proof/

反证法,设D=[a,b]D=[a,b]fC(D,R)f\in C(D,\R)ffDD上不一致连续. 即,ε>0\exist\varepsilon >0δ>0\forall\delta>0x,yD\exist x,y\in D使得xy<δ|x-y|<\deltaf(x)f(y)ε|f(x)-f(y)|\geq \varepsilon(包含\infty个结论,每一个δ>0\delta>0找出一对x,yx,y).

特别地,对δ=1n\delta=\frac{1}{n}xn,ynD\exist x_n,y_n\in Dxnyn<1n|x_n-y_n|<\frac{1}{n}f(xn)f(yn)ε|f(x_n)-f(y_n)|\geq\varepsilon.

注意到{xn}\{x_n\}有界,因为xn[a,b]x_n\in[a,b],由列紧性定理,知道\exist收敛子序列{xik}L\{x_{i_k}\}\to LL[a,b]L\in[a,b].

xikyik<1/ik|x_{i_k}-y_{i_k}|<1/i_kk\forall k,得到xik1/ik<yik<xik+1/ikx_{i_k}-1/i_k<y_{i_k}<x_{i_k}+1/i_k,再使用夹逼定理,证明limyik=L\lim y_{i_k}=L.

利用ffLL处连续,可得f(L)=f(limxik)=limkf(xik)f(L)=f(\lim x_{i_k})=\underset{k\to\infty}{\lim}f(x_{i_k}),对yiky_{i_k}同理,这与f(xik)f(yik)ε|f(x_{i_k})-f(y_{i_k})|\geq\varepsilon矛盾!

证毕.

至此,列紧性定理的有关内容就讲完了,接下来是一些比较简单的应用.

/Claim/

ff[0,+)[0,+\infty)上连续,limx+f(x)=L\underset{x\to+\infty}{\lim}f(x)=Lf(x0)L\exist f(x_0)\leq L,则ff[0,+)[0,+\infty)上有最小值.

实际上这也是在“剥夺\infty处竞选最小值的权利”,因为近处已经有一个点小于无穷远处的极限了.

这里给出两个证明.

/Proof/

证法1:

Situation 1:若f(x1)<L\exist f(x_1)<L,此时limx+f(x)=L>f(x1)\underset{x\to+\infty}{\lim}f(x)=L>f(x_1),知道M\exist MxM\forall x\geq Mf(x)>f(x1)f(x)>f(x_1)(显然0x1M0\leq x_1\leq M).

[0,M][0,M]上用最值定理知道有最小值f(xmin)f(x_{\min}). 从而x>M\forall x>Mf(x)>f(x1)f(xmin)f(x)>f(x_1)\geq f(x_{\min}),表明f(xmin)f(x_{\min})全局最小.

Situation 2:若上面一种情况不发生,则x\forall xf(x)Lf(x)\geq L,条件f(x0)L\exist f(x_0)\leq L \Longrightarrow f(x0)=Lf(x_0)=L.

证法2:投机取巧(?)

既然定义域是[0,+)[0,+\infty),是一条射线,何不将这个定义域通过一种坐标变换编码成一种新的定义域[0,1)[0,1)

考虑对应的坐标变换是h(x)h(x),逆映射是h1(t)h^{-1}(t).

g(t)=f(h1(t))g(t)=f(h^{-1}(t))gC([0,1))g\in C([0,1)),则limt1g(t)=limt1f(h1(t))=limx+f(x)=L\underset{t\to1-}{\lim}g(t)=\underset{t\to1-}{\lim}f(h^{-1}(t))=\underset{x\to+\infty}{\lim}f(x)=L.

f(x0)L\exist f(x_0)\leq L \Longleftrightarrow g(t0)L\exist g(t_0)\leq L. 所有内容都可以相互翻译!

但是gg有何好处?这是11是一个可去的间断点,可以将gg连续地解析延拓到g~C([0,1])\tilde{g}\in C([0,1]),其中

g~(t)={g(t),0t<1limt1g~(t)=L,t=1\tilde{g}(t)=\left\{\begin{array}{lr} g(t)\,,\quad0\leq t<1\\ \underset{t\to1-}{\lim}\tilde{g}(t)=L\,,\quad t=1 \end{array}\right.

根据最值定理,可知g~\tilde g[0,1][0,1]上有最小值. 但是我们担心这个最小值取在11这个点处,这个点无法被翻译回原来的语言,因为它对应正无穷.

g(t0)L=g~(1)\exist g(t_0)\leq L=\tilde g(1),可知11这个点一定不是g~\tilde g的唯一最小值点,所以g~\tilde g存在一个最小值点tmin[0,1)t_{\min}\in[0,1),所以ff[0,+)[0,+\infty)上有最小值点xminx_{\min}.

证毕.

上面第二种证明方法是相当有意义的!

/Claim/

ff[0,+)[0,+\infty)上连续且limx+f(x)=LR\underset{x\to+\infty}{\lim}f(x)=L\in\R,则ff[0,+)[0,+\infty)上一致连续.

/Proof/

同上面的证明,定义g(t)=f(h1(t))g(t)=f(h^{-1}(t))limt1g(t)=L\underset{t\to1-}{\lim}g(t)=L.

其中,h(x)=x1+xh(x)=\frac{x}{1+x}.

然后继续将gg连续延拓到[0,1][0,1]上为g~\tilde gg~\tilde g一致连续,再由h:[0,+)[0,1)h:[0,+\infty)\to[0,1)ff一致连续.

可得ε>0\forall\varepsilon>0δ>0\exist\delta>0t1,t2[0,1]\forall t_1,t_2\in[0,1],若t1t2<δ|t_1-t_2|<\delta,则g~(t1)g~(t2)<ε|\tilde g(t_1)-\tilde g(t_2)|<\varepsilon,以此验证ff的一致连续性.

ε>0\forall\varepsilon>0,取上述δ\delta,若x1x2<δ|x_1-x_2|<\delta,有

h(x1)h(x2)=x11+x1x21+x2=x1x2(1+x1)(1+x2)<δg~(h(x1))g~(h(x2))<εf(x1)f(x2)<ε\begin{aligned} |h(x_1)-h(x_2)|&=|\frac{x_1}{1+x_1}-\frac{x_2}{1+x_2}|=\frac{|x_1-x_2|}{(1+x_1)(1+x_2)}<\delta\\\\ \Longrightarrow&|\tilde g(h(x_1))-\tilde g(h(x_2))|<\varepsilon\\\\ &|f(x_1)-f(x_2)|<\varepsilon \end{aligned}

相当于使用复合极限定理. 命题得证.

证毕.


高等微积分笔记 Lesson 12
https://physnya.top/2024/10/25/integral12/
作者
菲兹克斯喵
发布于
2024年10月25日
许可协议