有界闭区域多元连续函数性质

有界闭区域 $D \subset \mathbb{R}^n$ 上多元连续函数的前两个性质：有界性和最值定理的证明。

在开始证明前，需要明确一个核心的预备定理：致密性定理（波尔查诺-魏尔斯特拉斯定理）。该定理指出，有界闭区域上的任意点列必定存在一个收敛的子列，且该子列的极限点仍属于该闭区域。这个定理是连接“有界性”与“闭集”性质的桥梁，在以下证明中起着关键作用。

---

1. 有界性定理的证明

定理陈述：若函数 $f$ 在有界闭区域 $D$ 上连续，则 $f$ 在 $D$ 上有界。即存在常数 $M > 0$，使得对一切点 $P \in D$，都有 $|f(P)| \le M$。

证明（反证法）：

1. 假设：假设 $f$ 在 $D$ 上无界。那么，对于任意大的自然数 $n$，总能在 $D$ 内找到一个点 $P_n$，使得函数值的绝对值超过 $n$，即 $|f(P_n)| > n$。这样，我们就构造出了一个点列 $\{P_n\} \subset D$。
2. 利用有界闭区域构造收敛子列：
   • 由于 $D$ 是有界的，所以点列 $\{P_n\}$ 也是有界的。
   • 根据致密性定理，有界点列 $\{P_n\}$ 必然存在一个收敛的子列 $\{P_{n_k}\}$。设其极限为 $P_0$，即 $\lim_{k \to \infty} P_{n_k} = P_0$。
   • 由于 $D$ 是闭的，极限点 $P_0$ 必然属于 $D$ （$P_0 \in D$）。
3. 利用连续性导出矛盾：
   • 已知函数 $f$ 在 $D$ 上连续，所以在点 $P_0 \in D$ 处也连续。根据连续的定义，当 $P_{n_k} \to P_0$ 时，对应的函数值应满足：

     $$\lim_{k \to \infty} f(P_{n_k}) = f(P_0)$$

     这意味着数列 $\{f(P_{n_k})\}$ 收敛，因此它必有界。
   • 但是，根据我们最初构造点列的方式，对于子列中的每一个点 $P_{n_k}$，都满足 $|f(P_{n_k})| > n_k$。当 $k \to \infty$ 时，$n_k \to \infty$，因此 $|f(P_{n_k})| \to \infty$。这与“数列 $\{f(P_{n_k})\}$ 有界”相矛盾。
4. 结论：假设不成立，因此 $f$ 在 $D$ 上必定有界。

2. 最大值和最小值定理的证明

定理陈述：若函数 $f$ 在有界闭区域 $D$ 上连续，则 $f$ 在 $D$ 上一定能取到最大值和最小值。即存在点 $Q_1, Q_2 \in D$，使得对于任意点 $P \in D$，有 $f(Q_1) \le f(P) \le f(Q_2)$。

证明思路：我们只需要证明最大值的情况，最小值的情况可以通过考虑函数 $-f$ 类似地得到。

1. 确定上确界：

   • 由有界性定理，函数值集合 $f(D) = \{f(P) \mid P \in D\}$ 是一个有界实数集。
   • 根据实数集的确界原理，这个集合必有上确界，记作 $M = \sup_{P \in D} f(P)$。我们的目标是证明存在一点 $Q \in D$，使得 $f(Q) = M$。

2. 假设取不到最大值：

   • 假设：对于 $D$ 中所有的点 $P$，都有 $f(P) < M$。也就是说，$f$ 在 $D$ 上无法取到其上确界 $M$。

3. 构造一个辅助函数：

   • 根据假设，对任意 $P \in D$，有 $M - f(P) > 0$。我们可以构造一个新的函数：

     $$g(P) = \frac{1}{M - f(P)}, \quad P \in D$$

   • 由于分母 $M - f(P)$ 在 $D$ 上恒为正且连续（因为 $f$ 连续），因此 $g$ 也是在 $D$ 上的连续函数。
   • 根据有界性定理，连续函数 $g$ 在有界闭区域 $D$ 上应该有界。

4. 利用上确界的性质导出矛盾：

   • 因为 $M$ 是 $f$ 的上确界，根据上确界的定义，存在一个点列 $\{P_n\} \subset D$，使得当 $n \to \infty$ 时，$f(P_n) \to M$。
   • 对于这个点列，我们考察 $g(P_n)$ 的值：

     $$g(P_n) = \frac{1}{M - f(P_n)}$$

   • 当 $n \to \infty$，$f(P_n) \to M$ 时，分母 $M - f(P_n) \to 0^+$，因此有：

     $$\lim_{n \to \infty} g(P_n) = +\infty$$

   • 这意味着函数 $g$ 在 $D$ 上是无界的。

5. 结论：

   • 步骤3中，我们根据连续性推导出 $g$ 应该有界；步骤4中，我们又根据“假设取不到最大值”推导出 $g$ 无界。这两个结论相互矛盾。
   • 因此，最初的假设“$f$ 取不到最大值”是错误的。所以，必定存在一点 $Q \in D$，使得 $f(Q) = M$，即 $f$ 在 $D$ 上能取到最大值。

同理，考虑函数 $-f$，可以证明 $f$ 在 $D$ 上也能取到最小值。