分别连续与联合连续双线性映射的示例及Banach-Steinhaus定理相关结论的应用问询

嘿，刚好我在泛函分析基础课里讲过这个点，除了你提到的Banach代数例子，还有几个非常适合在同一课程里展开的实用应用，分享给你：

• 算子复合运算的连续性：拿Banach空间(X)上的有界线性算子空间(\mathcal{B}(X))来说，算子复合((T,S) \mapsto T \circ S)是个双线性映射。先看分别连续性：固定(T)，映射(S \mapsto T\circ S)是线性的，而且(|T\circ S| \leq |T| |S|)，显然连续；固定(S)同理。用「分别连续蕴含联合连续」的结论，直接就能推出算子复合是联合连续的——这个结论在后续学算子谱理论、C*-代数入门的时候都是基础中的基础，而且用这个推论来证比直接套一致有界原理写证明要简洁太多，学生一下子就能get到这个结论的价值。

• 对偶空间配对的连续性：考虑Banach空间(X)和它的对偶(X^)之间的双线性配对(\langle f, x \rangle = f(x))，这个映射的分别连续性很明显：固定(x)，(f \mapsto f(x))是(X^)上的连续线性泛函；固定(f)，(x \mapsto f(x))是(X)上的连续线性泛函。用我们的结论可以直接导出这个配对是联合连续的，也就是存在常数(C)使得(|f(x)| \leq C|f| |x|)——这其实就是对偶配对的基本连续性，在凸分析、弱拓扑的学习里经常用到，而且推导过程完全贴合Banach-Steinhaus定理的应用场景，能帮学生把知识点串起来。

• 张量积映射的连续性判定：在Banach空间张量积的入门内容里，考虑从(X \times Y)到某个Banach空间(Z)的分别连续双线性映射。根据我们的结论，这类映射自动是联合连续的，而这正是定义投射张量积(X \otimes_\pi Y)的核心依据之一——因为联合连续的双线性映射可以延拓到投射张量积上成为连续线性映射，这个应用能让学生直观理解张量积为什么要这么定义，以及Banach-Steinhaus定理的推论在空间构造中的作用。

这些例子都和Banach-Steinhaus定理的核心逻辑（一致有界性）紧密相关，而且都是泛函分析基础课程里后续会用到的关键结论，用来拓展这个知识点的应用再合适不过啦。

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