关于收敛实序列有界证明中取ε=1的疑问及替代边界探讨

1. 为啥要取ε=1？ #

其实这就是个“图省事”的选择！收敛序列的定义里，ε是任意正实数，但我们证明有界性的时候，根本不需要ε的“任意性”——我们只需要一个固定的、确定的正数，来把n>N之后的所有项的绝对值框在某个范围内就行。

选1完全是因为它简单、直观，换成ε=0.5、ε=√2甚至任何正数都不影响证明逻辑。你想，当n>N时，|xₙ - L| < ε，那根据三角不等式，|xₙ| ≤ |xₙ-L| + |L| < ε + |L|。只要ε是固定的，这个|L|+ε就是个确定的数，能用来约束后面的所有项。选1只是最顺手的选择而已。

2. 为啥非得指定ε的具体值？ #

这得回到我们的目标：证明序列有界，就是要找一个统一的、固定的数K，让所有|xₙ|都不超过K。如果我们一直抱着“任意ε>0”不放，那|L|+ε就会跟着ε变——ε可以无限小，也可以无限大，这样根本没法得到一个固定的K。

收敛定义里的“任意ε”是用来刻画序列无限趋近于L的，但在有界性证明里，我们只需要利用收敛性的“存在性”：既然对任意ε都存在对应的N，那对某个特定的ε（比如1），肯定能找到对应的N。用这个N把序列分成前N项（有限项，肯定有最大值）和后面的项（都能被|L|+ε框住），两者的最大值就是整个序列的界。这就够了，不需要ε的任意性。

3. 如果取K=max{|x₁|,|x₂|,...,|x_N|,|L|+ε}，证明还成立吗？ #

当然成立！只要这里的ε是某个固定的正实数，同时N是对应这个ε的那个正整数（也就是满足“当n>N时，|xₙ-L|<ε”的N）。

拆解一下：

• 前N项是有限个实数，它们的绝对值的最大值肯定存在，而且这个最大值≤K；
• 对于n>N的项，根据三角不等式，|xₙ| ≤ |xₙ-L| + |L| < ε + |L| ≤ K；
  这样所有项的绝对值都被K管住了，完全符合有界的定义。

说白了，取ε=1只是这个一般情况的一个特例，换成任何固定的ε>0都没问题，证明的逻辑完全一样。

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