如何严谨证明区域$G$中级数一致收敛蕴含其子区域一致收敛

嘿，我太懂这种“道理明明在脑子里但就是不知道怎么落笔”的感觉了——很多看似“显然”的数学结论，恰恰是帮你吃透定义细节的绝佳练习。咱们把这个问题拆解开，从定义出发一步步写，就清晰了：

首先，先明确已知条件和要证的结论：

• 已知：级数$\sum u_n(z)$在区域$G$上一致收敛于和函数$s(z)$，也就是满足一致收敛的定义：
  $$\forall \epsilon>0 \exists N \in \mathbb{N}, \text{当} \ n>N \ \text{时，对} \ \boldsymbol{\text{所有}} \ z \in G \ \text{都有} \ |s(z)-s_n(z)|<\epsilon \tag{1}$$
  （这里的$s_n(z)$是级数的前$n$项部分和）
• 要证：对任意子区域$G_1 \subset G$，该级数在$G_1$上也一致收敛于$s(z)$。

接下来就是关键的一步——别跳过“显然”背后的细节：
因为$G_1$是$G$的子区域，所以每一个$z \in G_1$必然属于$G$。

现在回到一致收敛的定义，我们要验证$G_1$上的一致收敛：
任取$\epsilon>0$，根据已知条件（$G$上的一致收敛），我们能找到一个只依赖于$\epsilon$的正整数$N$——这个$N$不随$z$的位置变化，对整个$G$都适用。

那对于这个$N$，当$n>N$时，所有$z \in G_1$（因为$z \in G_1 \implies z \in G$），都满足$|s(z)-s_n(z)|<\epsilon$。

这完全符合级数在$G_1$上一致收敛的定义！

为什么这个“显然”值得抠细节？ #

很多人觉得这题太简单，但核心是要明确：一致收敛的核心是存在一个全局的$N$（不依赖于$z$），而子区域的点都包含在原区域里，所以针对原区域找到的$N$，对更小的子区域依然有效——这不是“理所当然”，而是严格遵循定义推导出来的。

反过来想，如果是子区域一致收敛，却推不出原区域的一致收敛（比如原区域是无界的，子区域是有界的），但咱们这个正向推导的逻辑是完全严谨的。

内容的提问来源于stack exchange，提问作者the_eraser