关于Rudin泛函分析定理1.14(a)中邻域包含性证明的疑问

嘿，这个问题问得特别关键——拓扑向量空间（TVS）里没有度量、范数加持的时候，数乘连续性的应用确实不像欧氏空间那样直观，咱们从定义出发一步步理清楚：

首先得明确拓扑向量空间的数乘连续性公理：数乘映射$m: \mathbb{F} \times X \to X$（$\mathbb{F}$是实数域$\mathbb{R}$或复数域$\mathbb{C}$）是连续映射，而我们要用到的是这个映射在原点$(0, 0) \in \mathbb{F} \times X$处的连续性。

根据拓扑中连续映射的定义：对于$X$中$0$的任意邻域$U$，存在$\mathbb{F} \times X$中$(0, 0)$的邻域$W$，使得只要$(\alpha, x) \in W$，就有$m(\alpha, x) = \alpha x \in U$。

接下来，$\mathbb{F} \times X$配备的是乘积拓扑，所以这个邻域$W$一定可以写成$\Delta \times V$的形式：

• $\Delta$是$\mathbb{F}$中$0$的一个邻域
• $V$是$X$中$0$的一个邻域

而数域$\mathbb{F}$（$\mathbb{R}$或$\mathbb{C}$）自身的拓扑是由绝对值诱导的，所以$0$的邻域$\Delta$必然包含一个形如${\alpha \in \mathbb{F} \mid |\alpha| < \delta}$的开集，其中$\delta > 0$。

现在把这些串起来：取这个$\delta > 0$和对应的邻域$V$，那么对于任意满足$|\alpha| < \delta$的标量$\alpha$，以及任意$x \in V$，都有$(\alpha, x) \in \Delta \times V \subset W$，因此$\alpha x \in U$。这就意味着$\alpha V \subset U$对所有$|\alpha| < \delta$成立。

简单说，这里完全不需要$X$上有度量或范数，只用到了TVS的核心公理（数乘连续），以及数域自身的拓扑性质——这也是拓扑向量空间定义的精妙之处：用拓扑公理替代了度量的限制，却依然能保留线性运算的连续性。

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