求证有界序列与收敛于0的序列的乘积收敛性

嘿，你的思路方向完全没问题！这其实就是经典的「有界数列乘收敛到0的数列仍收敛到0」定理的核心直觉，咱们把你的想法补得更严谨些就能变成正式证明了：

• 先明确两个关键定义：

  • 序列$A$收敛到0：对任意给定的正数$\varepsilon$，总能找到一个正整数$N_1$，当$n > N_1$时，$|A_n|$可以小于任何你想要的正数（这是收敛到0的$\varepsilon-N$定义核心）。
  • 序列$B$有界：存在一个正数$M$，使得对所有正整数$n$，都有$|B_n| \leq M$（简单说就是$B$的所有项都不会超出$[-M, M]$这个范围）。

• 你提到的「存在某一项后所有$A_n$介于-1和1之间」，这是收敛到0的一个直接推论：取$\varepsilon=1$，就能找到对应的$N_0$，当$n>N_0$时$|A_n|<1$。但更关键的是，我们可以任意缩小$|A_n|$的上限，而不只是到1——这才是证明乘积收敛的核心。

• 要证明$A_nB_n$收敛到0，本质是要证：对任意$\varepsilon>0$，存在$N$，当$n>N$时$|A_nB_n| < \varepsilon$。利用$B$的有界性，我们可以把乘积的绝对值拆成$|A_n| \cdot |B_n| \leq |A_n| \cdot M$。那只要让$|A_n| < \frac{\varepsilon}{M}$，就能让$|A_nB_n| < \varepsilon$了。

• 因为$A$收敛到0，对于$\frac{\varepsilon}{M}$这个正数，必然存在$N_1$，当$n>N_1$时$|A_n| < \frac{\varepsilon}{M}$。取$N = \max(N_0, N_1)$（其实$N_0$可以不用，直接用$N_1$就行），当$n>N$时：
  $$|A_nB_n| \leq |A_n| \cdot M < \frac{\varepsilon}{M} \cdot M = \varepsilon$$
  这就完全满足了收敛到0的定义。

• 你提到的「若$B=0$」的情况是个特例：此时所有$B_n=0$，乘积$A_nB_n$也全是0，显然收敛到0，这也完全包含在上面的证明里（此时$M=0$，$|A_nB_n|=0<\varepsilon$直接成立）。

总的来说，你抓的「$A$收敛到0后足够小，$B$有界不会‘捣乱’，乘积被$A$主导趋近于0」这个直觉非常准确，只要把这个直觉用收敛的定义严谨表述出来，就是完整的证明了。

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