关于证明$(B(A),\|\cdot\|_\infty)$是巴拿赫空间的疑问

嘿，我完全懂你的困惑——这确实是初学函数空间完备性时很容易绕进去的坑！

你说的没错：对每个固定的$x \in A$，数列${f_n(x)}$是$\mathbb{R}$里的柯西列，靠实数的完备性，我们确实能知道它会收敛到某个实数，甚至可以直接把这个极限定义成函数$f(x) = \lim_{n\to\infty} f_n(x)$。但问题是，光这一步根本不够，我们还有两个核心问题没解决，而这正是证明里后续步骤要补的：

1. 得先确认这个极限函数$f$属于$B(A)$啊！ #

$B(A)$是有界函数的集合，我们不能默认逐点收敛出来的$f$一定有界。毕竟${f_n}$是柯西列，根据无穷范数的定义，存在某个$N$，当$m,n > N$时，$|f_m - f_n|_\infty < 1$——这意味着对所有$x \in A$，$|f_m(x) - f_n(x)| < 1$。

固定$n=N+1$，$f_{N+1}$是有界的（因为它属于$B(A)$），设$|f_{N+1}|\infty = M$，那对任意$x$：
$$|f(x)| = \lim{m\to\infty} |f_m(x)| \leq \lim_{m\to\infty} \left(|f_m(x) - f_{N+1}(x)| + |f_{N+1}(x)|\right) \leq 1 + M$$
这样才证明了$f$是有界的，确实属于$B(A)$。

2. 逐点收敛≠按无穷范数收敛！ #

你提到$\mathbb{R}$里所有范数等价，但这里的场景完全不一样：我们不是在单个$\mathbb{R}$空间里讨论收敛，而是在函数空间里讨论按$|\cdot|_\infty$的收敛——也就是一致收敛。

逐点收敛只保证对每个单独的$x$，$f_n(x)$趋近于$f(x)$，但一致收敛要求对所有$x \in A$，$f_n(x)$趋近于$f(x)$的速度是“同步”的。举个直观的反例：
比如$A = [0,1)$，$f_n(x) = x^n$，这个序列逐点收敛到$f(x)=0$，但$|f_n - f|_\infty = 1$，永远不会趋近于0——这就说明逐点收敛和按无穷范数收敛是完全不同的概念。

所以我们必须单独证明：对任意$\epsilon > 0$，存在$N$，当$n > N$时，所有$x \in A$都满足$|f_n(x) - f(x)| < \epsilon$，这才是$|f_n - f|_\infty \to 0$的定义。

总结一下：实数的完备性只是帮我们找到了逐点收敛的极限函数，但要证明$(B(A),|\cdot|_\infty)$是巴拿赫空间，我们还得确认这个极限函数在空间里，并且序列是按空间的范数（一致收敛）收敛到它的——这两步缺一不可。

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