上册 2.1 函数的连续性 第22题

数学分析早年真题

📝 题目

22.用有限覆盖定理、致密性定理、区间套定理证明下列结论. (1)若函数 $f(x)$ 在闭区间 $[a, b]$ 上连续,则 $f(x)$ 在 $[a, b]$ 上有界. (2)若 $f(x)$ 定义在 $[a, b]$ 上仅有第一类不连续点,证明 $f(x)$ 在 $[a, b]$ 上有界. (3)若 $f(x)$ 定义在 $[a, b]$ 士 且 $\forall x_{0} \in[a, b], \lim _{x \rightarrow x_{0}} f(x)$ 存在,证明 $f(x)$ 在 $[a, b]$ 上有界. (4)设函数 $f(x)$ 定义在开区间 $(a, b)$ 内,若对任意的 $c \in(a, b)$ ,都有 $\lim _{x \rightarrow c} f(x)$(或 $f_{+}^{\prime}(x), f_{-}^{\prime}(x)$ )存在,且 $\lim _{x \rightarrow a^{+}} f(x)$ 和 $\lim _{x \rightarrow b^{+}} f(x)$ 也存在,则 $f(x)$ 在开区间 $(a, b)$ 内有界。华中师大 2009 ,扬州大学 2003) (5)若 $f(x)$ 定义在 $(-\infty,+\infty)$ 上,$\forall x \in[a, b]$ ,存在 $x$ 的邻域使 $f(x)$ 在该邻域内有界.证明:$f(x)$ 在 $[a, b]$ 上有界。 (6)证明:若函数 $f(x)$ 在 $[a, b]$ 上无界,则必存在 $[a, b]$ 上的某点,使得 $f(x)$ 在该点的任何邻域内无界. (7)设函数 $f(x)$ 在闭区间 $[a, b]$ 上无界,证明:(1)$\exists\left\{x_{n}\right\} \subset[a, b]$ ,使得 $\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\infty$ ; (2)$\exists c \in[a, b]$ ,使得 $\forall \delta>0, f(x)$ 在 $(c-\delta, c+\delta) \cap[a, b]$ 上无界.

💡 答案解析

\section*{证明过程:} (1)方法 1:用致密性定理证明 反证法。设 $f(x)$ 在闭区间 $[a, b]$ 上连续,但无界,则存在点列 $\left\{x_{n}\right\}, x_{n} \in[a, b]$ ,满足 $\left|f\left(x_{n}\right)\right|>n$ ,即 $\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\infty$ 。由致密性定理,存在子列 $\left\{x_{n_{k}}\right\}, \lim _{k \rightarrow x} x_{n_{k}}=\xi$ ,且 $\xi \in[a, b]$ 。因为 $f(x)$ 在点 $\xi$ 连续,所以有 $\lim _{k \rightarrow \infty} f\left(x_{n_{k}}\right)=f(\xi)$ 。这与 $\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\infty$ 产生矛盾,所以 $f(x)$ 在 $[a, b]$ 上有界。 方法2:用有限覆盖定理证明 由局部有界性,对每一点 $x^{\prime} \in[a, b]$ 都存在邻域 $U\left(x^{\prime}, \delta_{x^{\prime}}\right)$ 及正数 $M_{x^{\prime}}$ 使 $|f(x)| \leqslant M_{x^{\prime}}, x \in U\left(x^{\prime} ; \delta_{x^{\prime}}\right) \cap[a, b]$ . 考虑开区间集 $H=\left\{U\left(x^{\prime} ; \delta_{x^{\prime}}\right) \mid x^{\prime} \in[a, b]\right\} . H$ 是 $[a, b]$ 的一个无限开覆盖,由有限开覆盖定理,存在 $H$ 的一个有限点集 $H^{*}=\left\{U\left(x_{i}^{\prime} ; \delta_{x_{i}^{\prime}}\right) \mid x_{i}^{\prime} \in[a, b], i=1,2, \cdots, k\right\}$ 也覆盖 $[a, b]$ ,且存在正整数 $M_{1}, M_{2}, \cdots, M_{k}$ 使对一切 $x \in U\left(x_{i}^{\prime} ; \delta_{x_{i}^{\prime}}\right) \cap[a, b]$ 有 $|f(x)| \leqslant M_{i}, i=1,2, \cdots, k$ . 令 $M=\max _{1 \leqslant i \leqslant k} M_{i}$ ,则对 $\forall x \in[a, b], x$ 必属于某 $U\left(x_{i}^{\prime} ; \delta_{x_{i}^{\prime}}\right)$ 。于是 $|f(x)| \leqslant M_{i} \leqslant M$ ,即 $f(x)$ 在 $[a, b]$上有界。 $(2 \sim 5)$ 与(1)相同。 (6)已知函数 $f(x)$ 在 $[a, b]$ 上无界,将 $[a, b]$ 二等分,则函数 $f(x)$ 至少在其中之一闭区间上无界,否则与函数 $f(x)$ 在 $[a, b]$ 上无界矛盾。将其中 $f(x)$ 无界的闭区间记为 $\left[a_{1}, b_{1}\right]$ 。再将 $\left[a_{1}, b_{1}\right]$ 二等分,则函数 $f(x)$ 至少在其中之一闭区间上无界,记为 $\left[a_{2}, b_{2}\right]$ 。如此继续下去,得闭区间列 $\left\{\left[a_{n}, b_{n}\right]\right\}$ ,且满足下列条件: (1)$\left[a_{n+1}, b_{n+1}\right] \subset\left[a_{n}, b_{n}\right]$ ;(2)$\displaystyle b_{n}-a_{n}=\frac{b-a}{2^{n}}$ ;(3)函数 $f(x)$ 在 $\left[a_{n}, b_{n}\right]$ 上无界,$n=1,2, \cdots$ 。由闭区间套定理,存在唯一的 $\xi \in\left[a_{n}, b_{n}\right], n=1,2, \cdots$ .因为 $\xi$ 的任何邻域 $(\xi-\varepsilon, \xi+\varepsilon)$ 内闭含有某个 $\left[a_{n}, b_{n}\right]$ ,所以 $f(x)$ 在 $(\xi-\varepsilon, \xi+\varepsilon)$ 无界。 (7)(1)因为 $f(x)$ 在 $[a, b]$ 上无界,故 $\forall M>0, \exists x \in[a, b]$ ,使 $|f(x)|>M$ 。 让 $M$ 依次取 $1,2,3, \cdots$ ,相应地 $\exists x_{n} \in[a, b](n=1,2, \cdots)$ ,使得 $\left|f\left(x_{n}\right)\right|>n$ 。故 $\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\infty$ 。 (2)由致密性定理,数列 $\left\{x_{n}\right\}$ 存在收敛子列 $\left\{x_{n_{1}}\right\}$ ,设为 $\lim _{k \rightarrow \infty} x_{n_{1}}=c \in[a, b]$ .对 $\forall \delta>0, \exists K_{1}>0$ ,当 $k>K_{1}$ 时,$x_{n_{k}} \in U(c ; \delta) \cap[a, b]$ . 另一方面,因为 $\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\infty$ ,故 $\forall M>0, \exists K_{2}>0$ ,当 $k>K_{2}$ 时,有 $\left|f\left(n_{k}\right)\right|>M$ 。 综上,当 $k>K=\max \left\{K_{1}, K_{2}\right\}$ 时,有 $x_{n_{k}} \in U(c ; \delta) \cap[a, b],\left|f\left(n_{k}\right)\right|>M$ 。故 $f(x)$ 在 $U(c ; \delta) \cap[a, b]$上无界。

📋 详细解题步骤

步骤 1/5
目标:用致密性定理证明连续函数在闭区间上有界
反证法。假设 $f(x)$ 在 $[a,b]$ 上连续但无界,则存在点列 $\{x_n\} \subset [a,b]$ 使得 $|f(x_n)| > n$,即 $\lim_{n\to\infty} f(x_n) = \infty$。由致密性定理(Bolzano-Weierstrass定理),$\{x_n\}$ 有收敛子列 $\{x_{n_k}\}$,设 $\lim_{k\to\infty} x_{n_k} = \xi \in [a,b]$。由于 $f$ 在 $\xi$ 连续,有 $\lim_{k\to\infty} f(x_{n_k}) = f(\xi)$,这与 $\lim_{n\to\infty} f(x_n) = \infty$ 矛盾。故 $f$ 在 $[a,b]$ 上有界。
提示:注意子列极限点 $\xi$ 属于闭区间 $[a,b]$,连续性保证极限与函数值相等。
步骤 2/5
目标:用有限覆盖定理证明连续函数在闭区间上有界
由局部有界性,对每一点 $x' \in [a,b]$,存在邻域 $U(x', \delta_{x'})$ 和正数 $M_{x'}$ 使得 $|f(x)| \leq M_{x'}$ 对 $x \in U(x', \delta_{x'}) \cap [a,b]$ 成立。考虑开覆盖 $H = \{U(x', \delta_{x'}) \mid x' \in [a,b]\}$。由有限覆盖定理,存在有限子覆盖 $\{U(x_i', \delta_{x_i'})\}_{i=1}^k$ 覆盖 $[a,b]$,并对应有界常数 $M_i$。令 $M = \max_{1\leq i\leq k} M_i$,则对任意 $x \in [a,b]$,$x$ 属于某个 $U(x_i', \delta_{x_i'})$,故 $|f(x)| \leq M_i \leq M$,即 $f$ 在 $[a,b]$ 上有界。
提示:有限覆盖定理要求开覆盖,注意邻域是开区间。
步骤 3/5
目标:用区间套定理证明无界函数存在点使任何邻域内无界
已知 $f(x)$ 在 $[a,b]$ 上无界。将 $[a,b]$ 二等分,则至少有一个子区间上 $f$ 无界(否则两个子区间都有界,则原区间有界,矛盾)。记无界子区间为 $[a_1,b_1]$。再将 $[a_1,b_1]$ 二等分,取无界子区间 $[a_2,b_2]$。如此继续,得到闭区间套 $\{[a_n,b_n]\}$,满足 $[a_{n+1},b_{n+1}] \subset [a_n,b_n]$,$b_n-a_n = (b-a)/2^n$,且 $f$ 在每个 $[a_n,b_n]$ 上无界。由区间套定理,存在唯一的 $\xi \in \bigcap_{n=1}^\infty [a_n,b_n]$。对任意 $\varepsilon>0$,当 $n$ 充分大时 $[a_n,b_n] \subset (\xi-\varepsilon, \xi+\varepsilon)$,而 $f$ 在 $[a_n,b_n]$ 上无界,故 $f$ 在 $(\xi-\varepsilon, \xi+\varepsilon)$ 内无界。
提示:区间套定理要求区间长度趋于0,且每个区间都是闭的。
步骤 4/5
目标:用致密性定理证明无界函数存在点列趋于无穷
因为 $f(x)$ 在 $[a,b]$ 上无界,所以对任意 $M>0$,存在 $x \in [a,b]$ 使得 $|f(x)| > M$。依次取 $M=1,2,3,\dots$,得到点列 $\{x_n\} \subset [a,b]$ 满足 $|f(x_n)| > n$,从而 $\lim_{n\to\infty} f(x_n) = \infty$。
提示:注意无界的定义:对任意正数 $M$,存在点使得函数绝对值大于 $M$。
步骤 5/5
目标:用致密性定理证明无界函数存在点使任何邻域内无界(另一种方法)
由第4步得到点列 $\{x_n\}$ 满足 $\lim_{n\to\infty} f(x_n) = \infty$。由致密性定理,$\{x_n\}$ 有收敛子列 $\{x_{n_k}\}$,设 $\lim_{k\to\infty} x_{n_k} = c \in [a,b]$。对任意 $\delta>0$,存在 $K_1$ 使得当 $k>K_1$ 时 $x_{n_k} \in (c-\delta, c+\delta) \cap [a,b]$。又因为 $\lim_{k\to\infty} f(x_{n_k}) = \infty$,对任意 $M>0$,存在 $K_2$ 使得当 $k>K_2$ 时 $|f(x_{n_k})| > M$。取 $K = \max\{K_1,K_2\}$,则当 $k>K$ 时,$x_{n_k} \in (c-\delta, c+\delta) \cap [a,b]$ 且 $|f(x_{n_k})| > M$,故 $f$ 在 $(c-\delta, c+\delta) \cap [a,b]$ 上无界。
提示:注意子列极限点 $c$ 可能不是 $\{x_n\}$ 的极限,但子列收敛到 $c$。

📷 拍照上传批改

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