西北工业大学 2026年数学分析第0题

考研真题

📝 题目

十.(5 分)函数 $\displaystyle f(x)$ 在 $\displaystyle (-\infty,+\infty)$ 上各阶可导,且存在 $\displaystyle M>0$ ,使得 $$ \left|f^{(k)}(x)\right| \leq M, \forall x \in(-\infty,+\infty), k=1,2, \cdots $$ 如果在一无限有界集 $E$ 上,$\displaystyle f(x) \equiv 0$ ,证明:在 $\displaystyle (-\infty,+\infty)$ 上,$\displaystyle f(x) \equiv 0$ .

💡 答案解析

暂无答案解析

📋 详细解题步骤

步骤 1/5
目标:理解已知条件并明确目标
已知函数 $f(x)$ 在 $\mathbb{R}$ 上无穷次可导,且存在常数 $M>0$ 使得对所有 $k\in\mathbb{N}^+$ 和所有 $x\in\mathbb{R}$ 有 $|f^{(k)}(x)|\le M$。此外,存在一个无限有界集 $E$,使得 $f(x)=0$ 对任意 $x\in E$ 成立。需要证明 $f(x)\equiv 0$ 在 $\mathbb{R}$ 上成立。
公式:|f^{(k)}(x)| \leq M, \forall x \in \mathbb{R}, k=1,2,\dots
提示:注意条件中导数一致有界是全局性的,这是后续泰勒展开余项控制的关键。
步骤 2/5
目标:利用聚点定理找到零点集的极限点
由于 $E$ 是无限有界集,根据波尔查诺-魏尔斯特拉斯定理,$E$ 至少有一个聚点(极限点),记作 $x_0$。于是存在 $E$ 中互异的点列 $\{x_n\}$ 使得 $x_n\to x_0$,且 $f(x_n)=0$。由 $f$ 的连续性,取极限得 $f(x_0)=\lim_{n\to\infty}f(x_n)=0$。
公式:x_0 \text{ 是 } E \text{ 的聚点}, \quad f(x_0)=0
提示:聚点存在性依赖于 $E$ 的有界性和无限性,缺一不可。
步骤 3/5
目标:用泰勒公式和导数一致有界证明聚点处所有高阶导数为零
我们采用归纳法。假设已证 $f(x_0)=f'(x_0)=\dots=f^{(m-1)}(x_0)=0$,考虑 $f^{(m)}(x_0)$。对任意 $x\in E$ 且 $x\neq x_0$,将 $f(x)=0$ 在 $x_0$ 处展开到 $m$ 阶(带拉格朗日余项): $$0 = f(x) = \frac{f^{(m)}(\xi)}{m!}(x-x_0)^m,$$ 其中 $\xi$ 介于 $x$ 与 $x_0$ 之间。由于 $x\neq x_0$,必有 $f^{(m)}(\xi)=0$。取 $x\to x_0$(沿 $E$ 中的点列),则 $\xi\to x_0$,由 $f^{(m)}$ 的连续性(可导必连续)得 $f^{(m)}(x_0)=\lim_{\xi\to x_0}f^{(m)}(\xi)=0$。归纳完成,所有阶导数在 $x_0$ 处为零。
公式:f^{(k)}(x_0)=0, \quad k=0,1,2,\dots
提示:归纳基础 $f(x_0)=0$ 已由连续性得到;注意余项中 $\xi$ 依赖于 $x$,但极限过程仍有效。
步骤 4/5
目标:利用泰勒展开证明 $x_0$ 的某邻域内 $f(x)\equiv 0$
由各阶导数一致有界 $|f^{(n)}(\xi)|\le M$ 及 $f^{(k)}(x_0)=0$,对任意 $x$ 和任意正整数 $n$,带拉格朗日余项的泰勒公式给出: $$|f(x)| = \left|\frac{f^{(n)}(\xi)}{n!}(x-x_0)^n\right| \le \frac{M}{n!}|x-x_0|^n.$$ 对任意固定的 $x$,当 $n\to\infty$ 时右边趋于 $0$,因此 $f(x)=0$。特别地,存在 $\delta>0$ 使得在区间 $(x_0-\delta, x_0+\delta)$ 上 $f(x)\equiv 0$。
公式:|f(x)| \leq \frac{M}{n!}|x-x_0|^n \to 0 \quad (n\to\infty)
提示:这里 $n$ 可以任意大,不等式对每个 $n$ 成立,取极限后得到 $f(x)=0$,无需 $|x-x_0|<1$ 的条件,因为 $n!$ 增长比任何指数快。
步骤 5/5
目标:由局部恒零延拓至整个实数轴
令 $S = \{ x\in\mathbb{R} : f \text{ 在 } x \text{ 的某邻域内恒为零}\}$。由第4步知 $x_0\in S$,故 $S$ 非空。$S$ 显然是开集(由定义)。下证 $S$ 也是闭集:设 $y$ 是 $S$ 的聚点,则存在 $S$ 中点列 $y_n\to y$,每个 $y_n$ 有邻域 $(y_n-\delta_n, y_n+\delta_n)$ 上 $f\equiv 0$。由于 $f$ 连续且 $f(y_n)=0$,得 $f(y)=0$。进一步,对 $y$ 重复第3步的论证(因为 $y$ 也是零点集的聚点),可知 $y$ 的所有阶导数也为零,从而 $y$ 的某邻域内 $f\equiv 0$,即 $y\in S$。故 $S$ 是闭集。$\mathbb{R}$ 中既开又闭的非空子集只能是 $\mathbb{R}$ 本身,因此 $S=\mathbb{R}$,即 $f(x)\equiv 0$ 对一切 $x\in\mathbb{R}$ 成立。
公式:S \text{ 既开又闭} \Rightarrow S=\mathbb{R}
提示:连通性论证是分析中常用技巧,注意这里用到了 $f$ 在聚点处所有导数也为零的结论,这依赖于导数一致有界性。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。