北京工业大学 2017年数学分析第0题
📝 题目
三．（15 分）已知 $\displaystyle \lim _{x \rightarrow i} f(x)=b$ ，证明对佢意数列 $\displaystyle \left\{a_{n}\right\}, a_{n} \neq a$ ，若 $\displaystyle \lim _{n \rightarrow \infty} a_{n}=a$ ，都有 $\displaystyle \lim _{n \rightarrow \infty} f\left(a_{n}\right)=b$ 。
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：明确已知条件和要证明的结论
已知 $\displaystyle \lim_{x \to a} f(x) = b$，即对任意 $\varepsilon > 0$，存在 $\delta > 0$，使得当 $0 < |x - a| < \delta$ 时，有 $|f(x) - b| < \varepsilon$。要证明：对任意数列 $\{a_n\}$，满足 $a_n \neq a$ 且 $\displaystyle \lim_{n \to \infty} a_n = a$，都有 $\displaystyle \lim_{n \to \infty} f(a_n) = b$。
公式：\lim_{x \to a} f(x) = b
提示：注意函数极限定义中要求 $0 < |x-a| < \delta$，即 $x$ 不能等于 $a$，这与数列条件 $a_n \neq a$ 对应。
步骤 2/5
目标：根据函数极限定义，对任意给定的ε找到对应的δ
任取 $\varepsilon > 0$，由 $\displaystyle \lim_{x \to a} f(x) = b$ 的定义，存在 $\delta > 0$，使得当 $0 < |x - a| < \delta$ 时，有 $|f(x) - b| < \varepsilon$。
公式：\forall \varepsilon > 0, \exists \delta > 0, \forall x: 0 < |x-a| < \delta \Rightarrow |f(x)-b| < \varepsilon
提示：这里的δ依赖于ε，是函数极限定义的核心。
步骤 3/5
目标：利用数列极限定义，将δ转化为数列的项数条件
因为 $\displaystyle \lim_{n \to \infty} a_n = a$，对上述 $\delta > 0$，存在正整数 $N$，使得当 $n > N$ 时，有 $|a_n - a| < \delta$。又已知 $a_n \neq a$，所以当 $n > N$ 时，有 $0 < |a_n - a| < \delta$。
公式：\forall \delta > 0, \exists N \in \mathbb{N}, \forall n > N: |a_n - a| < \delta
提示：注意数列极限定义中不要求 $a_n \neq a$，但题目条件已给出，因此可直接得到 $0 < |a_n - a|$。
步骤 4/5
目标：将函数极限条件应用于数列的项
当 $n > N$ 时，$a_n$ 满足 $0 < |a_n - a| < \delta$，由函数极限的条件，有 $|f(a_n) - b| < \varepsilon$。
公式：0 < |a_n - a| < \delta \Rightarrow |f(a_n) - b| < \varepsilon
提示：这里将 $x$ 替换为 $a_n$，注意 $a_n$ 是数列中的点，但函数极限定义对任意满足条件的 $x$ 都成立。
步骤 5/5
目标：总结得到数列极限结论
因此，对任意 $\varepsilon > 0$，存在 $N$，当 $n > N$ 时，恒有 $|f(a_n) - b| < \varepsilon$。由数列极限的定义，即 $\displaystyle \lim_{n \to \infty} f(a_n) = b$。证毕。
公式：\lim_{n \to \infty} f(a_n) = b
提示：注意这里证明的是海涅定理的一个方向，即函数极限存在可推出所有相应数列极限存在且相等。
步骤 6/6
目标：总结：海涅定理的必要性部分
上述证明表明，若函数在 $x=a$ 处极限存在，则任何以 $a$ 为极限且 $a_n \neq a$ 的数列，其函数值数列都收敛到同一极限 $b$。这是海涅定理（Heine定理）的必要性方向。
公式：$\lim_{x\to a}f(x)=b \Rightarrow \forall \{a_n\}\to a, a_n\neq a: \lim_{n\to\infty}f(a_n)=b$
提示：该定理常用于证明函数极限不存在：只需构造两个不同数列，其函数值极限不同。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。