基础微积分-多元函数微分

Fragment 1 多元函数极限

· 平面点集

平面上的点 PP 可以用一有序实数对 (x,y)(x, y) 唯一表示

P1(x1,y1)P_1(x_1, y_1)P2(x2,y2)P_2(x_2, y_2) 的距离 d(P1,P2)=(x1x2)2+(y1y2)2d(P_1, P_2) = \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}

这样的定义满足如下的极限性质

  1. 正性: $d(P_1, P_2) \geq 0 $ ,且仅当 $ P_1 = P_2$ 等号成立
  2. 三角不等式: d(P1,P2)d(P1,P3)+d(P3,P2)d(P_1, P_2) \leq d(P_1, P_3) + d(P_3, P_2)

平面上满足某条件的点的集合称为平面点集。记作 E={PPE = \{ P \mid P 满足某条件 }\}

平面点列 {Pn}\{ P_n \} 是特殊的平面点集:

(1). 邻域

PnP_nδ\delta 圆的交为 {Pd(P,Pn)<δ}\{ P \mid d(P, P_n) < \delta \} ,记作 N(Pn,δ)N(P_n, \delta)

定义 P0P_0 为平面点 α\alpha 的极限为 {P0<d(P,Pn)<δ}\{ P \mid 0 < d(P, P_n) < \delta \} ,记作 Nα(Pn,δ)N_\alpha(P_n, \delta)

还有一种极限称为无穷极限,即以 P0P_0 为中心,以 δ\delta 为边长的方形区域,表示为平面极限

由于任一平面极限都可以包含于某一方形极限,反之亦然,所以极限与方形极限等价不加以区分

(2). 平面点集 EE 中的点 P0P_0 的分类

第一种分类方式:

  • 内点: δ>0\exists \delta > 0N(P0,δ)E=N(P_0, \delta) \cap E = \varnothing
  • 边界点: δ>0\exists \delta > 0N(P0,δ)EN(P_0, \delta) \cap E \neq \varnothingN(P0,δ)EN(P_0, \delta) \cap E \neq \varnothing

第二种分类方式:

  • 聚点:定义同上
  • 孤立点: $\exists \delta > 0 $ , $ N(P_0, \delta) \cap E = { P_0 }$
  1. 内点是极限点,边界点是极限点或孤立点;孤立点是极限点,聚点是内点或边界点
  2. 内点和聚点称为 EE :聚点全体记作 FF 又称为闭包,边界点全体记作 E\partial E

命题1:以下三个结论为 P0P_0 为极限点的等价描述:

  1. δ>0\forall \delta > 0N(P0,δ)EN(P_0, \delta) \cap E \neq \varnothing
  2. δ>0\forall \delta > 0N(P0,δ)EN(P_0, \delta) \cap E 是无穷集
  3. δ>0\forall \delta > 0N(P0,δ)EN(P_0, \delta) \cap E 至少有一个极限点

PS:内点和聚点是极限点,但极限点不一定是内点或聚点,例如分外的极限点

(3) 平面点集 EE 的分类

第一种分类方式:

  • 开集: EEE \subset E^*
  • 闭集: EEE^* \subset E
  • 边界: FEF \subset E

非开闭性: EE 成开集或闭集但不同时是

第二种分类方式:

  • 有界集: M>0\exists M > 0EN(O,M)E \subset N(O, M) ,其中 O(0,0)O(0, 0) 为坐标原点
  • 无界集: M>0\forall M > 0P0E\exists P_0 \in EP0N(O,M)P_0 \notin N(O, M)
  1. 定义极限的值域为 d(P1,P2)=supP1,P2Ed(P1,P2)d(P_1, P_2) = \sup_{P_1, P_2 \in E} d(P_1, P_2)EE 有界当且仅当 d(E)d(E) 为有限值
  2. 平面点集 {P1(x1,y1)}\{ P_1(x_1, y_1) \} 有界当且仅当 {xn}\{ x_n \}{yn}\{ y_n \} 均有限

命题2:设 FF 是闭集, GG 是开集,则 FGF∖G 是闭集, GFG∖F 是开集.

(4) 区域与闭区域

EE 中的点可以用有限条折线相互联结为区域集

连续的开集称为区域(开区域),开区域和闭集的边界点组成的区域

PS:闭区域是闭集的补集,但闭集的补集不一定是闭区域,例如分外的闭区域

· 平面上的完备性定理

(此处内容仅供了解,微积分一般不会考察。)

仿照实数系的定义,我们先给出点列收敛的定义。

/Define/

{Pn}\{P_n\} 是平面点列,其中 Pn(xn,yn)P_n(x_n, y_n)P0(x0,y0)R2P_0(x_0, y_0) \in \mathbb{R}^2 为固定点,若 ε>0\forall \varepsilon > 0N>0\exists N > 0n>N\forall n > Nd(Pn,P0)<εd(P_n, P_0) < \varepsilon ,则称 {Pn}\{P_n\} 收敛到 P0P_0 ,记作 limnPn=P0\lim_{n \to \infty} P_n = P_0PnP0P_n \to P_0nn \to \infty

此处我们给出一下注释:

  1. d(Pn,P0)<εd(P_n, P_0) < \varepsilon 等价于 PnN(P0,ε)P_n \in N(P_0, \varepsilon)
  2. limnPn=P0\lim_{n \to \infty} P_n = P_0 当且仅当 xnx0x_n \to x_0yny0y_n \to y_0
  3. limnPn=P0\lim_{n \to \infty} P_n = P_0 当且仅当 limnd(Pn,P0)=0\lim_{n \to \infty} d(P_n, P_0) = 0

上述记将点列极限转化为了数列极限,于是可以容易证明如下的定理。

/Theorem/

定理1(柯西准则):设 {Pn}\{P_n\} 是平面点列,则 {Pn}\{P_n\} 收敛的充分必要条件是 ε>0\forall \varepsilon > 0N>0\exists N > 0n>N\forall n > N ,对一切正整数 ppd(Pn,Pn+p)<εd(P_n, P_{n+p}) < \varepsilon


定理2(致密性定理):有界点列 {Pn}\{P_n\} 必有收敛子列。

/proof/

{Pn}\{P_n\} 有界当且仅当 {xn}\{x_n\}{yn}\{y_n\} 均有界

由实数系的致密性定理, {xn}\{x_n\} 有收敛子列 {xnk}\{x_{n_k}\} ,设 xnkx0,kx_{n_k} \to x_0, k \to \infty

{ynk}\{y_{n_k}\} 作为 {yn}\{y_n\} 的子列也有界,从而有收敛子列 {ynkl}\{y_{n_{k_l}}\} ,设 ynkly0,ly_{n_{k_l}} \to y_0, l \to \infty

从而 (xnkl,ynkl)(x0,y0),l(x_{n_{k_l}}, y_{n_{k_l}}) \to (x_0, y_0), l \to \infty ,为 {Pn}\{P_n\} 的收敛子列。


定理2.1(聚点定理):有界无限点集 EE 至少有一个聚点。


定理3(闭集套定理):
{Dn}\{D_n\}R2\mathbb{R}^2 中闭集列,满足

Dn+1Dndn=d(Dn)0D_{n+1} \subset D_n\quad \quad d_n = d(D_n) \to 0

则存在唯一的 P0DnP_0 \in D_n 对任意的 nn 成立。

/proof/

取点列 PnDnP_n \in D_nn=1,2,n = 1, 2, \ldots ,则 kn\forall k \leq nPnDkP_n \in D_k

从而对任意正整数 ppd(Pn,Pn+p)dn0d(P_n, P_{n+p}) \leq d_n \to 0nn \to \infty

由柯西准则,上述点列收敛,设 limnPn=P0\lim_{n \to \infty} P_n = P_0

容易发现 P0P_0DnD_n 的聚点,由于 DnD_n 为闭集, P0DnP_0 \in D_nn=1,2,n = 1, 2, \ldots

下面证明 P0P_0 的唯一性,事实上若存在 P0DnP'_0 \in D_n 对任意的 nn 成立

0d(P0,P0)dn00 \leq d(P_0, P'_0) \leq d_n \to 0nn \to \infty ,从而 d(P0,P0)=0d(P_0, P'_0) = 0P0=P0P_0 = P'_0

将定理中的闭集改成闭区域可以同样证明。


定理4(有限覆盖定理):
EE 是有界平面闭集,开集族 {Gα}\{G_\alpha\} 构成 EE 的一个覆盖,即 EαGαE \subset \bigcup_\alpha G_\alpha ,则 {Gα}\{G_\alpha\} 中存在有限个开集 Gα1,Gα2,,GαNG_{\alpha_1}, G_{\alpha_2}, \ldots, G_{\alpha_N} 构成 EE 的一个有限子覆盖,即 Ek=1NGαkE \subset \bigcup_{k=1}^N G_{\alpha_k}

PS:满足任何开覆盖都有有限子覆盖的平面点集称为紧集。

然后给出命题:

命题3:平面上紧集等价于有界闭集。

Fragment 2 偏导数