17.3 偏导数和方向导数 ​

摘录 ​

1. （梯度与导数矩阵）根据定理17.3.8和引理17.3.5，我们可以知道若有函数$f:E\to {\mathbb{R}}^m$在某个集合$F$上的偏导数存在且连续，那么在$F$中的任意一个内点$x_0$处，全体方向导数都存在且有公式：$$D_{(v_1,...,v_n)}f(x_0)=\sum _{j=1}^n{v}_j\frac{\text{part}f}{\text{part}{x}_j}(x_0)$$​ 特别地，如果$f:E\to \mathbb{R}$是一个实值函数，并且定义$f$在$x_0$处的梯度$\mathrm{\nabla }f(x_0)$为$n$维行向量为${\displaystyle \mathrm{\nabla }f(x_0):=(\frac{\text{part}f}{\text{part}{x}_1}(x_0),...,\frac{\text{part}f}{\text{part}{x}_n}(x_0))}$。那么只要$x_0$是某个梯度存在且连续的内点，我们就有公式：$$D_{v}f(x_0)=v\cdot \mathrm{\nabla }f(x_0)$$​ 更一般地，如果$f:E\to {\mathbb{R}}^m$是一个函数，其中$f=(f_1,...,f_m)$，而$F$是满足$f$的偏导数存在且连续的$E$的子集，$x_0$是$F$的内点，那么根据定理17.3.8我们有：$$\begin{array}{rl}{f}^{\prime }(x_0)(v_j{)}_{1\le j\le n}& =\sum _{j=1}^n{v}_j\frac{\text{part}f}{\text{part}{x}_j}(x_0)\\ & ={(\sum _{j=1}^n{v}_j\frac{\text{part}{f}_i}{\text{part}{x}_j}(x_0))}_{i=1}^m\end{array}$$​ 考虑到$f^{\prime }(x_0)$是一个线性映射，于是上面的式子可以改写为：$$L_{Df(x_0)}(v_j{)}_{1\le j\le n}$$其中$Df(x_0)$是如下所示的$m\times n$矩阵：$$\begin{array}{rl}Df(x_0)& :={(\frac{\text{part}{f}_i}{\text{part}{x}_j}(x_0))}_{1\le i\le m;1\le j\le n}\\ & =\left(\begin{array}{cccc}{\displaystyle \frac{\text{part}{f}_1}{\text{part}{x}_1}(x_0)}& {\displaystyle \frac{\text{part}{f}_1}{\text{part}{x}_2}(x_0)}& \cdots & {\displaystyle \frac{\text{part}{f}_1}{\text{part}{x}_n}(x_0)}\\ {\displaystyle \frac{\text{part}{f}_2}{\text{part}{x}_1}(x_0)}& {\displaystyle \frac{\text{part}{f}_2}{\text{part}{x}_2}(x_0)}& \cdots & {\displaystyle \frac{\text{part}{f}_2}{\text{part}{x}_n}(x_0)}\\ ⋮& ⋮& \ddots & ⋮\\ {\displaystyle \frac{\text{part}{f}_m}{\text{part}{x}_1}(x_0)}& {\displaystyle \frac{\text{part}{f}_m}{\text{part}{x}_2}(x_0)}& \cdots & {\displaystyle \frac{\text{part}{f}_m}{\text{part}{x}_n}(x_0)}\end{array}\right)\end{array}$$​ 也即：$$(D_{v}f(x_0){)}^T=(f^{\prime }(x_0)v{)}^T=Df(x_0)v^T$$​ 矩阵$Df(x_0)$有时也被称为$f$在$x_0$处的导数矩阵或者微分矩阵。考虑到梯度的定义，我们同样可以把$Df$写成：$$Df(x_0)=\left(\begin{array}{c}{\displaystyle \frac{\text{part}f}{\text{part}{x}_1}(x_0{)}^T,{\displaystyle \frac{\text{part}f}{\text{part}{x}_2}(x_0{)}^T,\cdots ,{\displaystyle \frac{\text{part}f}{\text{part}{x}_n}(x_0{)}^T}}}\end{array}\right)=\left(\begin{array}{c}\mathrm{\nabla }{f}_1(x_0)\\ \mathrm{\nabla }{f}_2(x_0)\\ ⋮\\ \mathrm{\nabla }{f}_m(x_0)\end{array}\right)$$​ 如果特别考虑$f$是一个实值函数的情景，那么$Df$就是$\mathrm{\nabla }f$。

定义 ​

1. （17.3.1 方向导数）设$E$是${\mathbb{R}}^n$的子集，$f:E\to {\mathbb{R}}^m$是一个函数，$x_0$是$E$的内点，并设$v$是${\mathbb{R}}^n$中的向量。如果极限

   $$\underset{t\to 0;t>0,x_0+tv\in E}{lim}\frac{f(x_0+tv)-f(x_0)}{t}$$

   存在，那么我们称**$f$在$x_0$处沿方向$v$可微**，并将上述极限记作$D_{v}f(x_0)$：

   $$D_{v}f(x_0):=\underset{t\to 0;t>0}{lim}\frac{f(x_0+tv)-f(x_0)}{t}$$

   （注：应当将这个概念与可微的定义做比较，由于方向导数的除数是标量因此我们可以直接通过极限去定义它；我们不在边界给出定义，但是如果只是为了定义“朝里”方向上的方向导数，那么也可以在边界上给出方向导数的定义）

2. （17.3.7 偏导数）设$E$是${\mathbb{R}}^n$的子集，$f:E\to {\mathbb{R}}^m$是一个函数，$x_0$是$E$的内点，并设$1\le j\le n$。如果极限

   $$\underset{t\to 0;t\ne 0,x_0+t{e}_j\in E}{lim}\frac{f(x_0+t{e}_j)-f(x_0)}{t}$$

   存在，那么我们定义$f$在$x_0$处关于变量$x_j$的偏导数为${\displaystyle \frac{\text{part}f}{\text{part}{x}_j}(x_0)}$为：

   $$\frac{\text{part}f}{\text{part}{x}_j}(x_0):=\underset{t\to 0;t\ne 0,x_0+t{e}_j\in E}{lim}\frac{f(x_0+t{e}_j)-f(x_0)}{t}=\frac{\text{d}}{\text{d}t}f(x_0+t{e}_j){|}_{t=0}$$

   （注：偏导数即将函数视为$x_j$的单变量函数然后求导；如果我们将$f$写为$f=(f_1,...,f_m)$，那么显然有${\displaystyle \frac{\text{part}f}{\text{part}{x}_j}(x_0)=(\frac{\text{part}{f}_1}{\text{part}{x}_j}(x_0),...,\frac{\text{part}{f}_m}{\text{part}{x}_j}(x_0))}$；注意区分偏导数与方向导数，这点我们会在习题17.3.2中讨论）

命题 ​

1. （17.3.5 全导数与方向导数？）设$E$是${\mathbb{R}}^n$的子集，$f:E\to {\mathbb{R}}^m$是一个函数，$x_0$是$E$的内点，并设$v$是${\mathbb{R}}^n$中的向量。如果$f$在$x_0$处可微，那么$f$在$x_0$处沿方向$v$也可微，并且

   $$D_{v}f(x_0)=f^{\prime }(x_0)v$$

   （注：这个命题说明了全可微性蕴含了方向可微性，但是反过来这个命题并不成立）

2. （17.3.8 偏导数与全导数？）设$E$是${\mathbb{R}}^n$的子集，$f:E\to {\mathbb{R}}^m$是一个函数，$F$是$E$的子集，并设$x_0$是$F$的内点。如果$f$在$F$上的全体偏导数${\displaystyle \frac{\text{part}f}{\text{part}{x}_j}}$都存在，并且它们在$x_0$处也都是连续的，那么$f$在$x_0$处是可微的，并且线性变换$f^{\prime }(x_0):{\mathbb{R}}^n\to {\mathbb{R}}^m$定义有

   $$f^{\prime }(x_0)(v_j{)}_{1\le j\le n}=\sum _{j=1}^n{v}_j\frac{\text{part}f}{\text{part}{x}_j}(x_0)$$

   （注：这给出了另一种确定全导数的方法）

课后习题 ​

17.3.1 证明引理17.3.5（这与习题17.2.2类似） ​

若$f$在$x_0$处可微，那么存在线性映射$L$使得极限

$$\underset{x\to x_0;x\in E\mathtt{\text{}}\{x_0\}}{lim}\frac{\Vert f(x)-(f(x_0)+L(x-x_0))\Vert }{\Vert x-x_0\Vert }=0$$

换言之也即对任意的$\epsilon >0$，存在$\delta >0$使得对任意的$x\in B(x_0,\delta )\mathtt{\text{}}\{x_0\}$都有：

$$\frac{\Vert f(x)-(f(x_0)+L(x-x_0))\Vert }{\Vert x-x_0\Vert }<\epsilon$$

于是考虑任意的$v\in {\mathbb{R}}^n$，对任意的$\epsilon >0$，根据上面的结论我们知道存在一个$\delta >0$使得对任意的$x\in B(x_0,\delta )\mathtt{\text{}}\{x_0\}$都有：

$$\frac{\Vert f(x)-(f(x_0)+L(x-x_0))\Vert }{\Vert x-x_0\Vert }<\frac{\epsilon }{\Vert v\Vert }$$

特别地，我们考察满足$x=x_0+tv$（其中$t>0$）的$x\in B(x_0,\delta )\mathtt{\text{}}\{x_0\}$（于是显然有${\displaystyle t<\frac{\delta }{\Vert v\Vert }}$）。于是上面的式子可以改写为：

$$\frac{\Vert f(x_0+tv)-f(x_0)-L(tv)\Vert }{t\Vert v\Vert }<\frac{\epsilon }{\Vert v\Vert }⟺\Vert \frac{f(x_0+tv)-f(x_0)}{t}-Lv\Vert <\epsilon$$

换言之即：对任意的$\epsilon >0$，存在${\displaystyle \frac{\delta }{\Vert v\Vert }>0}$使得对任意的$t$满足$t>0$且${\displaystyle |t|<\frac{\delta }{\Vert v\Vert }}$有

$$\Vert \frac{f(x_0+tv)-f(x_0)}{t}-Lv\Vert <\epsilon$$

从而根据收敛的定义，即有${\displaystyle D_{v}f(x_0)=\underset{t\to 0;t>0,x_0+tv\in E}{lim}\frac{f(x_0+tv)-f(x_0)}{t}=Lv}$，考虑到$L$就是$f^{\prime }(x_0)$，于是引理17.3.5得证。

17.3.2 设$E$是${\mathbb{R}}^n$的子集，$f:E\to {\mathbb{R}}^m$是一个函数，$x_0$是$E$的内点，并设$1\le j\le n$。证明：${\displaystyle \frac{\text{part}f}{\text{part}{x}_j}(x_0)}$存在当且仅当$D_{e_j}f(x_0)$与$D_{-e_j}f(x_0)$都存在且互为相反数（也即$D_{e_j}f(x_0)=-D_{-e_j}f(x_0)$），据此进一步得到${\displaystyle \frac{\text{part}f}{\text{part}{x}_j}(x_0)=D_{e_j}f(x_0)}$ ​

分别证明充分必要性。

---

若${\displaystyle \frac{\text{part}f}{\text{part}{x}_j}(x_0)}$存在（我们简记为$L$），则根据极限的定义即对任意的$\epsilon >0$，存在$\delta >0$使得对任意的$t\in (-\delta ,0)\cup (0,\delta )$都有：

$$\Vert \frac{f(x_0+t{e}_j)-f(x_0)}{t}-L\Vert <\epsilon$$

从而对任意的$z\in (0,\delta )$，我们有：

$$\{\begin{array}{ll}{\displaystyle \Vert \frac{f(x_0+z{e}_j)-f(x_0)}{z}-L\Vert <\epsilon }& z\in (0,\delta )\\ {\displaystyle \Vert \frac{f(x_0+(-z)e_j)-f(x_0)}{(-z)}-L\Vert <\epsilon }& -z\in (-\delta ,0)\end{array}$$

特别地，由于对第二个式子化简，我们有：

$$\Vert \frac{f(x_0+z(-e_j))-f(x_0)}{z}-(-L)\Vert <\epsilon$$

于是第一第二个式子分别对应了极限${\displaystyle \underset{t\to 0;t>0}{lim}\frac{f(x_0+t{e}_j)-f(x_0)}{t}=L}$与${\displaystyle \underset{t\to 0;t>0}{lim}\frac{f(x_0+t(-e_j))-f(x_0)}{t}=L}$，即$D_{e_j}f(x_0)$与$D_{-e_j}f(x_0)$都存在且互为相反数，从而必要性得证。

---

若$D_{e_j}f(x_0)$与$D_{-e_j}f(x_0)$都存在且互为相反数（我们分别记为$L$与$-L$），于是即对任意的$\epsilon >0$，分别存在${\delta }_1,{\delta }_2>0$使得：

$$\{\begin{array}{l}\mathrm{\forall }t\in (0,{\delta }_1),{\displaystyle \Vert \frac{f(x_0+t{e}_j)-f(x_0)}{t}-L\Vert <\epsilon }\\ \mathrm{\forall }t\in (0,{\delta }_2),{\displaystyle \Vert \frac{f(x_0+t(-e_j))-f(x_0)}{t}-(-L)\Vert <\epsilon }\end{array}$$

于是我们令$\delta :=min({\delta }_1,{\delta }_2)$，从而对任意的$t\in (-\delta ,0)\cup (0,\delta )$，我们有：

$$\{\begin{array}{l}\text{if}t\in (0,\delta )⟹t\in (0,{\delta }_1),{\displaystyle \Vert \frac{f(x_0+t{e}_j)-f(x_0)}{z}-L\Vert <\epsilon }\\ \text{if}t\in (-\delta ,0)⟹-t\in (0,{\delta }_2),{\displaystyle \Vert \frac{f(x_0+(-t)(-e_j))-f(x_0)}{(-t)}-(-L)\Vert <\epsilon }\end{array}$$

再化简第二行的式子，有：

$$\{\begin{array}{l}\text{if}t\in (0,\delta )⟹t\in (0,{\delta }_1),{\displaystyle \Vert \frac{f(x_0+t{e}_j)-f(x_0)}{z}-L\Vert <\epsilon }\\ \text{if}t\in (-\delta ,0)⟹-t\in (0,{\delta }_2),{\displaystyle \Vert \frac{f(x_0+t{e}_j)-f(x_0)}{t}-L\Vert <\epsilon }\end{array}$$

从而根据极限的定义我们有${\displaystyle \underset{t\to 0;t\ne 0,x_0+t{e}_j\in E}{lim}\frac{f(x_0+t{e}_j)-f(x_0)}{t}=L}$，于是结论得证。

---

综上，于是题目结论得证。

17.3.3 设$f:{\mathbb{R}}^2\to \mathbb{R}$是具有如下定义的函数：当$(x,y)\ne (0,0)$时，${\displaystyle f(x,y):=\frac{x^3}{x^2+y^2}}$；当$(x,y)=(0,0)$时，${\displaystyle f(x,y):=0}$。证明：$f$在$(0，0)$处不可微，尽管$f$在$(0,0)$处沿着任何方向$v\in {\mathbb{R}}^2$都可微。解释为什么这不与定理17.3.8相矛盾 ​

不妨使用反证法去证明$f$在$(0，0)$处不可微。我们设$f$是在$(0,0)$处可微的且导数为$L:{\mathbb{R}}^2\to \mathbb{R}$，从而对任意的$\epsilon >0$，都存在$\delta >0$使得当$(x,y)\ne 0\in {\mathbb{R}}^2$满足$\Vert (x,y)-0\Vert <\delta$（也就是$x^2+y^2<{\delta }^2$）的时候都有：

$$\frac{\Vert f(x,y)-(f(0,0)+L((x,y)-(0,0)))\Vert }{\Vert (x,y)-(0,0)\Vert }<\epsilon ⟺\frac{{\displaystyle |\frac{x^3}{x^2+y^2}-L(x,y)|}}{\sqrt{x^2+y^2}}<\epsilon$$

特别地，由于$L$是一个线性变换，因此存在一个$1\times 2$矩阵$A=\left(\begin{array}{cc}a& b\end{array}\right)$使得：

$$L(x,y)=\left(\begin{array}{cc}a& b\end{array}\right)\left(\begin{array}{c}x\\ y\end{array}\right)=ax+by$$

于是我们的反证假设即存在两个实数$a,b$使得对任意的$\epsilon >0$，存在$\delta >0$使得：

$$\begin{array}{}\text{(1)}& \frac{{\displaystyle |\frac{x^3}{x^2+y^2}-ax-by|}}{\sqrt{x^2+y^2}}<\epsilon \end{array}$$

对所有的满足$\sqrt{x^2+y^2}<\delta$的$(x,y)$成立。假如$b$是一个非零实数，则我们考虑$\epsilon =|b|/2$的情况，此时考虑点$(0,\delta /2)$代入$(1)$式：

$$\frac{|b\delta /2|}{\delta /2}=|b|>|b|/2$$

与“对所有的满足$\sqrt{x^2+y^2}<\delta$的$(x,y)$成立$(1)$式”的假设矛盾，因此$b$只能是$0$。然后类似地假如$a$是一个非零实数，则我们考虑$\epsilon =|1-a|/2$的情况，在上面$b=0$的前提下将点$(\delta /2,0)$代入$(1)$式：

$$\frac{|\delta /2-a\delta /2|}{|\delta /2|}=|1-a|>|1-a|/2$$

同样与“对所有的满足$\sqrt{x^2+y^2}<\delta$的$(x,y)$成立$(1)$式”的假设矛盾，因此$a$同样也只能是$0$。但是如果$a,b$都为$0$也会导出矛盾，这是因为：

对任意的$0<\epsilon <1$，我们单独考察所有形如$(\sigma ,0)$的点，代入$(1)$式有：

$$\begin{array}{}\text{(2)}& \frac{\Vert f(x,y)-(f(0,0)+L((x,y)-(0,0)))\Vert }{\Vert (x,y)-(0,0)\Vert }=\frac{|\sigma |}{\sqrt{{\sigma }^2}}=1>\epsilon \end{array}$$

这和导数定义要求的“对任意$\epsilon >0$，都存在$\delta >0$使得对任意的$(x,y)$满足$\Vert (x,y)-(0,0)\Vert <\delta$都有$(2)$式小于$\epsilon$”矛盾（因为无论$\delta$多小你总是能找到小于$\delta$的$\sigma$）。

---

另一方面，$f$在$(0,0)$处沿着任何方向$v\in {\mathbb{R}}^2$都可微。设$v:=(a,b)$，根据方向导数的定义我们有：

$$D_{(a,b)}f(0,0)=\underset{t\to 0;t>0}{lim}\frac{{\displaystyle \frac{t^3{a}^3}{t^2{a}^2+t^2{b}^2}}}{t}=\frac{a^3}{a^2+b^2}$$

因此$f$是在$(0,0)$处沿着任意方向可微的。

（事实上也可以先证明这一点再利用引理17.3.5来证明$f$在$(0,0)$不是全可微的，这里仅提供思路）

之所以不与定理17.3.8矛盾，是因为$f$在$(0,0)$处关于变量$x,y$的偏导存在但是不连续，这一点可以尝试从方向$(a,2a)$逼近$(0,0)$取计算得到：

$$\underset{a\to 0}{lim}\frac{\text{part}f}{\text{part}x}(a,2a)=\frac{13}{25}\ne 1\underset{a\to 0}{lim}\frac{\text{part}f}{\text{part}y}(a,2a)=-\frac{4}{25}\ne 0$$

因此$f$不是符合定理17.3.8要求的函数，自然也不能应用定理17.3.8。

17.3.4 设$f:{\mathbb{R}}^n\to {\mathbb{R}}^m$是一个可微函数，并且对于所有的$x\in {\mathbb{R}}^n$都有$f^{\prime }(x)=0$。证明：$f$是一个常值函数（提示：你可能会用到一元函数的平均值定理（推论10.2.9）或者微积分基本定理。但是需要注意这些定理并不能对多元函数进行直接类比，不建议使用第一性原理来解题）；另一个更难的挑战是，尝试将定义域${\mathbb{R}}^n$换成${\mathbb{R}}^n$的一个连通开子集$\mathrm{\Omega }$后再证明这个命题 ​

（思路不是本人想的， 转述别人的证明）

我们直接来证明对${\mathbb{R}}^n$的一个连通开子集$\mathrm{\Omega }$的结论，对于${\mathbb{R}}^n$也是通用的。为了完成这个证明，我们需要完成两个部分结论的证明：

我们设$f$具有$f(x)=(f_1(x),...,f_m(x))$的形式。

结论1：设$a,b\in \mathrm{\Omega }$，若对任意的$t\in [0,1]$都有$a+t(b-a)\in \mathrm{\Omega }$，则有$f(a)=f(b)$。

证明：

对任意的$1\le i\le m$，我们定义函数$g:[0,1]\to \mathbb{R}$有：

$$g(t):=f_i(a+t(b-a))$$

注意到对任意的$t_0\in (0,1)$有：

$$g^{\prime }(t_0)=\underset{t\to 0}{lim}\frac{f(a+(t+t_0)(b-a))-f(a+t(b-a))}{t}$$

由方向导数定义此极限的左极限为$D_{b-a}f(a+t_0(b-a))$，右极限为$-D_{a-b}f(a+t_0(b-a))$。而由于$f^{\prime }(a+t_0(b-a))=0$，因此根据引理17.3.5我们有$D_{b-a}f(a+t_0(b-a))=-D_{a-b}f(a+t_0(b-a))=0$，也即$g$在$t_0$处可微且导数为$0$。

此时根据平均值定理我们有：

$$0=\frac{g(0)-g(1)}{0-1}⟺f_i(a)=f_i(b)$$

由于$i$是任意的因此这也表明了有$f(a)=f(b)$，结论得证。

对任意的$a,b\in \mathrm{\Omega }$，若对任意的$t\in [0,1]$都有$a+t(b-a)\in \mathrm{\Omega }$，则我们称$a,b$之间存在直线道路；若存在$\mathrm{\Omega }$中的有限点列$(p_i{)}_{i=0}^l$满足$p_0=a$，$p_l=b$且对任意的$1\le i\le l$都有$p_{i-1},p_i$之间存在直线道路，则我们称两个点$a,b\in \mathrm{\Omega }$之间存在有限折线道路，并记为$a\sim b$。

由于我们已经证明了结论1，因此不难发现通过归纳法我们可以得证对任意的$a,b\in \mathrm{\Omega }$若有$a\sim b$则有$f(a)=f(b)$。由于$\mathrm{\Omega }$是非空的因此我们设$x_0\in \mathrm{\Omega }$，然后定义集合$\mathrm{\Gamma }$为：

$$\mathrm{\Gamma }:=\{p\in \mathrm{\Omega }:p\sim x_0\}$$

首先$\mathrm{\Gamma }$必然是非空的（$x_0\in \mathrm{\Gamma }$），其次对任意的$p\in \mathrm{\Gamma }$由于$p\sim x_0$因此有$f(x_0)=f(p)$，最后我们显然可以证明$\sim$是一个等价关系（所以它满足自反性，对称性，传递性公理）。为了证明$f$是一个常值函数，我们希望能够证明$\mathrm{\Gamma }=\mathrm{\Omega }$，于是尝试证明结论2。

结论2：$\mathrm{\Gamma }$是是$\mathrm{\Omega }$的一个又开又闭的子集。

证明：

先证明$\mathrm{\Gamma }$是一个开集，于是我们需要证明对任意的$p\in \mathrm{\Gamma }$存在$r>0$使得$B(p,r)\subseteq \mathrm{\Gamma }$。

首先由于$\mathrm{\Omega }$是一个开集，因此存在一个$r>0$使得$B(p,r)\subseteq \mathrm{\Omega }$。此时对任意的$q\in B(p,r)$，我们可以注意到显然$p,q$之间存在直线道路，进而有$p\sim q$，从而根据$\sim$的传递性我们有$q\sim x_0⟹q\in \mathrm{\Gamma }$，从而有$B(p,r)\subseteq \mathrm{\Gamma }$。

然后证明$\mathrm{\Gamma }$是一个闭集，于是我们需要证明对任意的$(p_i{)}_{i=0}^{\mathrm{\infty }}$是$\mathrm{\Gamma }$中的收敛点列（设其收敛于$p$），都有$p\in \mathrm{\Gamma }$。

一方面，由于$\mathrm{\Omega }$是一个开集，因此存在一个$r>0$使得$B(p,r)\subseteq \mathrm{\Omega }$；另一方面，因为点列$(p_i{)}_{i=0}^{\mathrm{\infty }}$收敛因此存在$N\ge 0$使得对任意的$i\ge N$都有$\Vert p_i-p\Vert <r$。于是我们有$p_N\in B(p,r)$，类似于开集证明中的讨论我们知道有$p_N\sim p$，同理利用传递性公理我们有$p\sim x_0⟹p\in \mathrm{\Gamma }$。

综上，于是结论得证。

由于$\mathrm{\Gamma }$是非空的又开又闭集，若$\mathrm{\Gamma }\ne \mathrm{\Omega }$则根据不连通集的定义可以得到$\mathrm{\Omega }$是不连通的，这和$\mathrm{\Omega }$是连通开集的前提矛盾，因此只能有$\mathrm{\Gamma }=\mathrm{\Omega }$。再结合上面的讨论于是我们证明了“对任意的$p\in \mathrm{\Omega }$有$f(x_0)=f(p)$”，也即$f$是一个常值函数，题目结论得证。

---

题外话：这里其实也证明了${\mathbb{R}}^n$的任意一个连通开子集$\mathrm{\Omega }$都是道路连通的（两点之前存在有限折线道路那么我们很容易分段列出它们之间的道路函数）

本节相关跳转 ​

实分析 10.2 局部最大值、局部最小值以及导数

实分析 11.9 微积分的两个基本定理

实分析 17.2 多元微积分中的导数