复函数逐点收敛的唯一性证明及证明思路正确性验证

首先明确逐点收敛的定义：

函数序列$(g_n)$在$A \subseteq \mathbb{C}$上逐点收敛于$g: A \to \mathbb{C}$，当且仅当：对任意$x \in A$，任意$\epsilon > 0$，存在$N \in \mathbb{N}$，当$n > N$时，$|g_n(x) - g(x)| < \epsilon$。

证明过程： #

假设存在两个不同的函数$g, f: A \to \mathbb{C}$，使得$(g_n)$同时逐点收敛于$g$和$f$（即$f \neq g$）。

因为$f \neq g$，所以存在$x_0 \in A$，使得$f(x_0) \neq g(x_0)$。取$\epsilon = \frac{|g(x_0) - f(x_0)|}{2}$，显然$\epsilon > 0$。

根据逐点收敛的定义：

• 对于$(g_n) \to g$，存在$N_1 \in \mathbb{N}$，当$n > N_1$时，$|g_n(x_0) - g(x_0)| < \epsilon$；
• 对于$(g_n) \to f$，存在$N_2 \in \mathbb{N}$，当$n > N_2$时，$|g_n(x_0) - f(x_0)| < \epsilon$。

令$N = \max{N_1, N_2}$，当$n > N$时，上述两个不等式都成立。此时用三角不等式推导：
$$
|g(x_0) - f(x_0)| \leq |g(x_0) - g_n(x_0)| + |g_n(x_0) - f(x_0)| < \epsilon + \epsilon = 2\epsilon
$$

代入$\epsilon = \frac{|g(x_0) - f(x_0)|}{2}$，得到：
$$|g(x_0) - f(x_0)| < |g(x_0) - f(x_0)|$$

这是一个明显的矛盾，说明我们最开始“存在两个不同极限函数”的假设不成立。因此，逐点收敛的函数序列的极限函数一定是唯一的。

对你原始证明的修正说明： #

你的整体思路是对的，但有两个关键细节需要调整：

• 不能直接取$\epsilon = |g - f|$，因为$g$和$f$是函数，$|g - f|$不是一个固定的正数，必须针对某个具体的$x_0$（使得$f(x_0) \neq g(x_0)$的点）来定义$\epsilon$；
• 必须通过三角不等式推导矛盾，这是完成唯一性证明的核心环节，不能省略。

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