设(xn)v O为O中的条件稠密序列,定义d:Oo×Oo→ R+byd(x)*, Y*) =Xn∈Nn | hx*- Y*, xni | 1+| hx*- Y*, xni |,x*, Y*∈ Oo。(A.1)简单的检查表明,它是一个定义良好的条件函数,并且是Ooo上的平移不变量距离。实际上,作为一个局部凸的条件拓扑向量空间,X分隔了X的点*更重要的是Oo。此外,{x*∈ 十、*: |hx*, xki |<r,16k6n}v十、*∈ 十、*: d(0,x)*) < r+2-n+1= Br+2-n+1(0),每n∈ N和r>0。这表明d在Oo上生成的条件拓扑比σ(X)弱*, 十) 也就是τdvσ(X*, 十) 。其次,我们证明了这些拓扑是一致的。为此,我们考虑身份映射Id:(Oo,σ(X)*, 十) )→ (Oo,d)这是一个双射。让(x)*α) voo是一个条件网收敛,这样的度量的构造可以在X上类似地完成*通过考虑X上元素的条件稠密序列(xn),以及X上由d诱导的拓扑*因此比σ(X)弱*, 十) 。σ(X)*, 十) 到X*∈ Oo。对于r>0,选择k∈ N以至于pn>k-n<r.自x以来*α、 x*∈ Ooandxn∈ O、 因此| hx*α- 十、*, xni | 6每n 2∈ N.因此,d(xα,x)6X16n6k | hx*α- 十、*, xni |+2r(A.2)自| hx*α- 十、*, xni|→ 每n 0∈ N、 因此,每r>0,lim sup d(xα,x)6 2r。这表明Id是连续的。现在,(Oo,σ(X)*, 十) )是条件紧的,这是由于Banach-Alaoglu的条件变换,而(C,d)是条件Hausdorff,因此Id是条件双连续的。因此,V∈ τd每V∈ σ(X)*, 十) 表明τd=σ(X*, 十) 相对于Oo。证明(命题6.1)。通过(On)X中0的条件可数邻域表示,定义Oonof的条件限制。显然,<nis条件σ(X*, 十) -每n的上半连续。此外,根据Banach-Alaoglu的条件版本,Oonisσ(X*, 十) 紧凑型。