连续·可导·偏导·可微关系全图

← 返回目录

这一页解决一个核心混乱：一元里「可导」是个很强的条件（直接推出连续、可微），但到了多元，「偏导数存在」变成一个极弱的条件——它连连续都推不出。很多人把一元的直觉照搬到多元，于是判断处处出错。本页按 一元关系 → 多元四概念 → 核心关系全图 → 反例 → 判定流程 组织，最后给一张速查表和自检清单。

一一元函数：可导 = 可微 ⇒ 连续

一元函数 $y=f(x)$ 在 $x_0$ 处，三个概念的关系非常简单：

$$\text{可导}\ \Longleftrightarrow\ \text{可微}\ \Longrightarrow\ \text{连续}$$

① 可导 ⟺ 可微（一元里二者等价）

可微指 $\Delta y = A\,\Delta x + o(\Delta x)$，此时必有 $A=f'(x_0)$；反之可导就能写成这个形式。所以一元中可导与可微是一回事，微分 $\mathrm dy=f'(x_0)\,\mathrm dx$。

② 可导 ⇒ 连续（单向）

$$\lim_{x\to x_0}\big(f(x)-f(x_0)\big)=\lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0}\cdot(x-x_0)=f'(x_0)\cdot 0=0$$

差商有极限，乘上 $(x-x_0)\to0$，故函数值之差 $\to0$，即连续。

③ 连续 ⇏ 可导（反例）

$f(x)=|x|$ 在 $0$ 连续，但 $f'_-(0)=-1\ne f'_+(0)=1$，左右导数不等，不可导（尖点）。更狠的 $f(x)=\sqrt[3]{x}$ 在 $0$ 连续，导数为 $+\infty$（竖直切线）。

一元记忆：可导是最强的——它一手拿连续、一手拿可微。反过来都不成立。

二多元函数的四个概念（以二元 $z=f(x,y)$ 为例）

多元里「可导」这个词被拆成了好几个互不相同的概念，必须分清：

① 连续

$$\lim_{(x,y)\to(x_0,y_0)} f(x,y)=f(x_0,y_0)\quad(\text{沿任意路径趋近都相等})$$

② 偏导数存在

把另一个变量固定，只对一个变量求导：

$$f_x(x_0,y_0)=\lim_{\Delta x\to0}\frac{f(x_0+\Delta x,\,y_0)-f(x_0,y_0)}{\Delta x}$$

本质：偏导只刻画函数沿 $x$ 轴、$y$ 轴两个方向的变化率。它对「斜着」「绕着」逼近原点时的行为一无所知——这正是它弱的根源。

③ 可微

全增量能被线性主部逼近，余项是比 $\rho$ 高阶的无穷小：

$$\Delta z=f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)=A\,\Delta x+B\,\Delta y+o(\rho),\quad \rho=\sqrt{\Delta x^2+\Delta y^2}$$

若可微，则必有 $A=f_x,\ B=f_y$，全微分 $\mathrm dz=f_x\,\mathrm dx+f_y\,\mathrm dy$。这是多元里真正对应「一元可导」的概念。

④ 偏导数连续

$f_x(x,y),\,f_y(x,y)$ 作为新函数，在该点连续。这是最强的条件（记作 $C^1$）。

三多元核心关系全图 ⭐ 全章最重要

四个概念之间的蕴含关系，全部画在这张图里。实线箭头成立，反向一律不成立：

                  偏导数连续  (C¹，最强)
                        │
                        │ ⇒   充分条件，非必要
                        ▼
      连续 ◀═════════ 可  微 ═════════▶ 偏导数存在
            可微⇒连续    │              可微⇒偏导存在
                        ▼
              (全微分 dz = fₓ dx + f_y dy)


     ✗ 反向箭头全部不成立：
        连续        ⇏ 可微
        偏导数存在   ⇏ 可微
        可微        ⇏ 偏导数连续

     ✗ 而且「连续」与「偏导数存在」之间：互不蕴含
        连续      ⇏ 偏导存在   （尖锥 √(x²+y²)）
        偏导存在  ⇏ 连续        （xy/(x²+y²)）

四条「成立」的箭头（要会证 / 会举反例说明非充要）

命题	成立?	说明
可微 ⇒ 连续	✓	$\Delta z\to0$，与一元同理
可微 ⇒ 偏导数存在	✓	且 $A=f_x,\ B=f_y$
偏导数连续 ⇒ 可微	✓	充分非必要（最常用的判可微手段）
偏导数存在 ⇒ 可微	✗	多元最大的坑，需另验余项

一句话锁死全图：「偏导连续 ⇒ 可微 ⇒ 连续 + 偏导存在」一路单向；反推全错；连续与偏导存在彼此谁也推不出谁。

四一元 vs 多元的根本差异

对比	一元 $f(x)$	多元 $f(x,y)$
"可导"对应谁	可导 = 可微	对应可微，不是"偏导存在"
导数推连续	可导 ⇒ 连续	偏导存在 ⇏ 连续
推连续靠谁	可导即可	必须可微才行
充分判据	—	偏导连续 ⇒ 可微

为什么偏导这么弱？ 偏导数 $f_x,f_y$ 只盯着两条坐标轴方向。函数完全可以「在 $x$ 轴、$y$ 轴上都乖乖为 $0$（偏导存在），却在 $y=x$ 这条斜线上突然跳到 $\tfrac12$」——于是偏导存在、却既不连续也不可微。可微要求的是所有方向一起被同一张切平面逼近，强得多。

五四个经典反例（把图钉死）

反例 A · 偏导存在，但不连续（更不可微）⭐

$$f(x,y)=\begin{cases}\dfrac{xy}{x^2+y^2}, & (x,y)\ne(0,0)\\[6pt] 0, & (x,y)=(0,0)\end{cases}$$

偏导存在：沿 $x$ 轴 $f(x,0)\equiv0\Rightarrow f_x(0,0)=0$；同理 $f_y(0,0)=0$。两个偏导都存在。
不连续：沿 $y=x$ 趋于原点，$f=\dfrac{x^2}{2x^2}=\dfrac12\ne0$；沿 $x$ 轴则为 $0$。路径不同极限不同 ⇒ 极限不存在 ⇒ 不连续。

一例同时打掉两条："偏导存在 ⇏ 连续"、"偏导存在 ⇏ 可微"（因为可微必连续）。

反例 B · 连续，但偏导不存在

$$f(x,y)=\sqrt{x^2+y^2}\quad(\text{圆锥面，尖点在原点})$$

处处连续；但 $f_x(0,0)=\lim\limits_{x\to0}\dfrac{|x|}{x}$ 左右不等，偏导不存在（就像一元 $|x|$ 的尖点）。说明 连续 ⇏ 偏导存在。

反例 C · 连续 + 偏导存在，仍不可微 ⭐ 易漏

$$f(x,y)=\begin{cases}\dfrac{xy}{\sqrt{x^2+y^2}}, & (x,y)\ne(0,0)\\[6pt] 0, & (x,y)=(0,0)\end{cases}$$

连续：$\left|\dfrac{xy}{\sqrt{x^2+y^2}}\right|\le\sqrt{x^2+y^2}\to0=f(0,0)$。✓
偏导存在：$f(x,0)\equiv0\Rightarrow f_x(0,0)=0$，同理 $f_y(0,0)=0$。✓
不可微：验余项 $\dfrac{\Delta z-(0\cdot\Delta x+0\cdot\Delta y)}{\rho}=\dfrac{xy}{x^2+y^2}$，沿 $y=x$ 等于 $\tfrac12\ne0$ ⇒ 极限非 $0$ ⇒ 不可微。

这是最该记的一个：连续 ✓、偏导存在 ✓，但仍然不可微。所以做题时「偏导存在又连续」都不能直接下「可微」的结论，必须回到定义验余项。

反例 D · 可微，但偏导数不连续

$$f(x,y)=\begin{cases}(x^2+y^2)\sin\dfrac{1}{\sqrt{x^2+y^2}}, & (x,y)\ne(0,0)\\[6pt] 0, & (x,y)=(0,0)\end{cases}$$

这是一元 $x^2\sin\frac1x$ 的多元版：在原点可微（全微分为 $0$），但 $f_x$ 在原点附近振荡、不连续。说明 可微 ⇏ 偏导连续——即「偏导连续 ⇒ 可微」只是充分非必要。

六判定「是否可微」的标准流程

先求两个偏导 $f_x(x_0,y_0),\ f_y(x_0,y_0)$。任何一个不存在 → 直接不可微（可微必有偏导）。
看偏导是否连续：若 $f_x,f_y$ 在该点连续 → 直接判可微（充分条件，最省事）。
偏导存在但（不连续 / 不确定） → 回到定义验余项，计算 $$\lim_{\rho\to0}\frac{\Delta z-\big[f_x\Delta x+f_y\Delta y\big]}{\rho},\quad \rho=\sqrt{\Delta x^2+\Delta y^2}.$$ 极限 $=0$ → 可微；极限 $\ne0$ 或不存在 → 不可微。

口诀：偏导不存在→不可微；偏导连续→可微；卡在中间→定义验余项。验余项常用取特殊路径（如 $y=x$）让极限非 0 来否定可微。

七速查表

蕴含关系总表（多元，✓ 成立 / ✗ 不成立）

从 \ 能否推出	连续	偏导存在	可微	偏导连续
偏导连续	✓	✓	✓	—
可微	✓	✓	—	✗
偏导存在	✗	—	✗	✗
连续	—	✗	✗	✗

反例对照

函数（原点处）	连续	偏导存在	可微	说明的命题
$\frac{xy}{x^2+y^2}$	✗	✓	✗	偏导存在 ⇏ 连续/可微
$\sqrt{x^2+y^2}$	✓	✗	✗	连续 ⇏ 偏导存在
$\frac{xy}{\sqrt{x^2+y^2}}$	✓	✓	✗	连续+偏导存在 ⇏ 可微
$(x^2{+}y^2)\sin\frac{1}{\sqrt{x^2+y^2}}$	✓	✓	✓	可微 ⇏ 偏导连续

一元 vs 多元速记

	一元	多元
"可导/可微"	可导 ⟺ 可微	可微（≠偏导存在）
推连续	可导 ⇒ 连续	仅可微 ⇒ 连续
偏导/导数存在 ⇒ 连续	✓	✗

八看懂自检

不用死背，下面每条能用自己的话讲清，这一面就稳了：

说得清一元里「可导 = 可微 ⇒ 连续」，且反向都不成立
分得清多元四个概念：连续 / 偏导存在 / 可微 / 偏导连续
背得出关系全图：偏导连续 ⇒ 可微 ⇒ 连续 + 偏导存在，反推全错
讲得清「偏导存在」为什么弱——只管两条坐标轴方向
立刻举出「偏导存在但不连续」的例子 $\frac{xy}{x^2+y^2}$
记得「连续 + 偏导存在仍不可微」的例子 $\frac{xy}{\sqrt{x^2+y^2}}$
知道判可微三步：偏导不存在→否；偏导连续→可微；否则定义验余项
会用「取 $y=x$ 让极限非 0」来否定连续或可微

✅ 全部能讲清后告诉我，下一步可以补「方向导数与梯度」「多元复合 / 隐函数求导」，或配一组针对性练习（含详解）。