弱拓扑、弱*拓扑与对应收敛定义的关联推导问询

嘿，我来帮你理清这个拓扑和收敛性之间的关联，其实核心就是拓扑收敛的定义和邻域基的作用，咱们一步步拆解：

一、弱拓扑下的收敛推导 #

首先回忆拓扑空间中序列收敛的核心定义：序列 $x_n$ 收敛到 $x$，当且仅当对 $x$ 的任意一个邻域 $U$，存在正整数 $N$，当 $n>N$ 时，$x_n \in U$。

对于弱拓扑，它在0点处的邻域基就是你提到的形式：
$$N(f_1,...,f_n;\epsilon)={x :|f_i(x)|<\epsilon, \text{for }i=1,\dots,n}$$
而任意点 $x$ 处的邻域，就是0点邻域平移得到的：$x + N(f_1,...,f_n;\epsilon) = { y \in X : |f_i(y - x)| < \epsilon, i=1,...,n }$。

现在我们双向推导弱收敛的等价性：

1. 从弱拓扑收敛到逐点收敛（即式(1)）：
   假设 $x_n$ 弱收敛到 $x$，任取 $f \in X^$，要证 $f(x_n) \to f(x)$。
   对任意 $\epsilon>0$，考虑 $x$ 的邻域 $U = x + N(f;\epsilon) = { y : |f(y - x)| < \epsilon }$。根据拓扑收敛定义，存在 $N$，当 $n>N$ 时 $x_n \in U$，也就是 $|f(x_n - x)| < \epsilon$，即 $|f(x_n) - f(x)| < \epsilon$，这就证得了 $f(x_n) \to f(x)$ 对所有 $f \in X^$ 成立。

2. 从逐点收敛到弱拓扑收敛：
   假设对所有 $f \in X^$，$f(x_n) \to f(x)$。现在任取 $x$ 的一个弱邻域 $U$，根据弱拓扑邻域基的定义，$U$ 包含某个形如 $x + N(f_1,...,f_k;\epsilon)$ 的邻域（$\epsilon>0$，$f_1,...,f_k \in X^$）。
   因为对每个 $f_i$，$f_i(x_n) \to f_i(x)$，所以对每个 $i$，存在 $N_i$，当 $n>N_i$ 时 $|f_i(x_n) - f(x)| < \epsilon$。取 $N = \max{N_1,...,N_k}$，当 $n>N$ 时，对所有 $i=1,...,k$ 都有 $|f_i(x_n - x)| < \epsilon$，也就是 $x_n \in x + N(f_1,...,f_k;\epsilon) \subset U$。这就满足了拓扑收敛的定义，所以 $x_n$ 弱收敛到 $x$。

二、弱*拓扑下的收敛推导 #

弱拓扑的情况几乎是对称的，只是把角色调换了：
弱拓扑在 $X^$ 的0点处的邻域基是：
$$N(x_1,...,x_n;\epsilon)={ f \in X^ :|f(x_i)|<\epsilon, \text{for }i=1,\dots,n}$$
任意 $f \in X^$ 处的邻域是 $f + N(x_1,...,x_n;\epsilon) = { g \in X^ : |g(x_i) - f(x_i)| < \epsilon, i=1,...,n }$。

同样双向推导：

1. 从弱*拓扑收敛到逐点收敛（即式(2)）：
   假设 $f_n$ 弱*收敛到 $f$，任取 $x \in X$，对任意 $\epsilon>0$，考虑 $f$ 的邻域 $U = f + N(x;\epsilon) = { g : |g(x) - f(x)| < \epsilon }$。根据拓扑收敛定义，存在 $N$，当 $n>N$ 时 $f_n \in U$，即 $|f_n(x) - f(x)| < \epsilon$，所以 $f_n(x) \to f(x)$ 对所有 $x \in X$ 成立。

2. 从逐点收敛到弱*拓扑收敛：
   假设对所有 $x \in X$，$f_n(x) \to f(x)$。任取 $f$ 的一个弱邻域 $U$，它包含某个 $f + N(x_1,...,x_k;\epsilon)$（$\epsilon>0$，$x_1,...,x_k \in X$）。
   对每个 $x_i$，$f_n(x_i) \to f(x_i)$，所以存在 $N_i$，当 $n>N_i$ 时 $|f_n(x_i) - f(x_i)| < \epsilon$。取 $N = \max{N_1,...,N_k}$，当 $n>N$ 时，所有 $i$ 都满足 $|f_n(x_i) - f(x_i)| < \epsilon$，即 $f_n \in f + N(x_1,...,x_k;\epsilon) \subset U$，满足拓扑收敛的定义，故 $f_n$ 弱收敛到 $f$。

简单来说，邻域基的构造直接对应了“有限个线性泛函/点上的误差控制”，而拓扑收敛要求对所有这样的邻域都能进入，这就等价于对每个单独的泛函/点都能控制误差——也就是逐点收敛的定义。

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