基于ε-δ连续性定义证明紧致集上极限收敛性的技术问询

嘿，你的直觉完全没错——这个命题确实成立，而且紧致性在这里扮演了核心角色，咱们一步一步用ε-δ语言结合紧致集的性质来严谨证明它：

先明确所有已知条件 #

• $D \subseteq \mathbb{R}^n$ 是紧致集（在 $\mathbb{R}^n$ 中，紧致等价于有界闭集，且满足序列紧致性：任何 $D$ 中的序列都有收敛到 $D$ 内点的子列）
• $\mathbf{x}:[0, \infty) \rightarrow D$ 是连续函数，$V:D \rightarrow \mathbb{R}$ 是连续函数
• $V(\mathbf{x}) = 0$ 当且仅当 $\mathbf{x} = \mathbf{0}$
• $\lim_{t \rightarrow \infty}V(\mathbf{x}(t)) = 0$

证明思路：反证法 + 紧致集的序列紧致性 #

假设结论不成立，即 $\lim_{t\rightarrow \infty} \mathbf{x}(t) \neq \mathbf{0}$。根据极限的否定性ε-δ定义：

存在某个固定的 $\varepsilon_0 > 0$，使得对任意的 $T > 0$，总能找到 $t > T$ 满足 $|\mathbf{x}(t) - \mathbf{0}| \geq \varepsilon_0$（也就是 $|\mathbf{x}(t)| \geq \varepsilon_0$）

基于这个否定结论，我们可以构造一个序列 ${t_k}$，满足 $t_k \rightarrow \infty$（当 $k \rightarrow \infty$ 时），且对所有 $k$，$|\mathbf{x}(t_k)| \geq \varepsilon_0$。

因为 $D$ 是紧致集，序列 ${\mathbf{x}(t_k)} \subseteq D$ 必然存在一个收敛子列（不妨直接取这个序列本身，子列的性质不影响推导），设它收敛到 $\mathbf{x}_0 \in D$（$D$ 是闭集，所以收敛极限属于 $D$）。

接下来利用 $V$ 的连续性：
根据连续函数的极限性质（等价于ε-δ定义），若 $\mathbf{x}(t_k) \rightarrow \mathbf{x}0$，则 $\lim{k \rightarrow \infty} V(\mathbf{x}(t_k)) = V(\mathbf{x}0)$。但已知 $\lim{t \rightarrow \infty}V(\mathbf{x}(t)) = 0$，所以这个极限必然是 $0$，即 $V(\mathbf{x}_0) = 0$。

结合已知条件“$V(\mathbf{x}) = 0$ 当且仅当 $\mathbf{x} = \mathbf{0}$”，可得 $\mathbf{x}_0 = \mathbf{0}$。

但这里出现了矛盾：
因为 $\mathbf{x}(t_k) \rightarrow \mathbf{0}$，根据极限的ε-δ定义，对于 $\varepsilon_0/2 > 0$，存在某个 $K > 0$，当 $k > K$ 时，$|\mathbf{x}(t_k) - \mathbf{0}| < \varepsilon_0/2$，这和我们构造序列时的 $|\mathbf{x}(t_k)| \geq \varepsilon_0$ 完全矛盾。

因此，最初的假设不成立，即 $\lim_{t\rightarrow \infty} \mathbf{x}(t) = \mathbf{0}$ 必然成立。

补充说明 #

如果 $D$ 只是开集而不是紧致集，这个结论就不一定成立了——因为构造的序列 ${\mathbf{x}(t_k)}$ 的收敛极限可能落在 $D$ 之外，此时 $V$ 在该点没有定义，就无法利用 $V(\mathbf{x}_0)=0$ 推出 $\mathbf{x}_0=\mathbf{0}$，这也是题目中强调紧致性的原因。

备注：内容来源于stack exchange，提问作者Derek Pan