第16讲w收敛与w收敛 教学目的 掌握弱收敛与弱'收敛的概念和基本性质。 授课要点 序列弱收敛的定义和基本性质。 2序列弱收敛的定义和基本性质 3强弱序列有界性,闭性,完备性,紧性的比较, 有了共轭空间的知识,现在让我们引入一种新的收敛概念 定义1设X是线性赋范空间,X是X的共轭空间,xn,x∈X, 若对于每个∫∈X",imf(x)=f(x),则称序列{xn}弱(O)收敛 于x,记为x=O- limx,或xn-。>x。 以往所讲的依范数收敛,有时又称为强收敛.必要时记之为 定理1弱收敛序列的极限是惟一的. 证明设xn∈X,xnx,xn—"→y,则f∈X f(x)→f(x),f(xn)→f(y).于是f(x)=f(y),由Hahn- Banach 定理的推论知道x=y 定理2设X是线性赋范空间,xn,x,yn,y∈X,,元∈Φ, →>x,yn—>y,A→元,则 xn+yn—>x+y,克nxn 这一结论表明弱极限运算是线性的 证明f∈X”,直接计算得到 f(r,+yn)=f(r)+f(o,)f(x)+f()=f(+y
1 第 16 讲 w收敛与 w∗收敛 教学目的： 掌握弱收敛与弱 * 收敛的概念和基本性质。 授课要点： 1 序列弱收敛的定义和基本性质。 2 序列弱 * 收敛的定义和基本性质。 3 强弱序列有界性，闭性，完备性，紧性的比较。 有了共轭空间的知识，现在让我们引入一种新的收敛概念. 定义 1 设 X 是线性赋范空间，X ∗ 是 X 的共轭空间， n x ，x∈ X ， 若对于每个 f X ∗ ∈ ， lim ( n ) ( ) n f x fx →∞ = ，则称序列 {xn} 弱（ ω ）收敛 于 x ,记为 lim n n x ω x →∞ = − ，或 n x x ω → 。 以往所讲的依范数收敛，有时又称为强收敛 . 必要时记之为 s n x → x 。 定理 1 弱收敛序列的极限是惟一的. 证 明 设 n x ∈ X ， w n x → x ， w n x → y ， 则 f X ∗ ∀ ∈ ， f ( ) x fx n → ( ) ，f ( ) x fy n → ( ) .于是 f ( x fy ) = ( ) ，由 Hahn－Banach 定理的推论知道 x = y . 定 理 2 设 X 是线性赋范空间， ,, , n n x xy y X ∈ ， , λn λ ∈Φ ， w n x → x ， w n y y → ， λn → λ ，则 w n n x + y xy → + ， w n n λ x →λx . 这一结论表明弱极限运算是线性的. 证明 f X ∗ ∀ ∈ ，直接计算得到 f ( x y fx fy fx fy fx y nn n n += + → + = + ) () ( ) ( ) ( ) ( )
f(nxn)=λf(xn)→f(x)=f(xx) 即是所要的结论 定理3若x-→x,则xn-">x 证明对于每个∫∈X”, f(x)-f(x)s/|x,-对 若|xn-x→0,则f(x)→f(x),故得之 例1弱收敛的序列可能不是强收敛的。设en∈P(p>1) e.={0-010…,n21对于每个/∈()=P(p2+q2=小),不 妨设∫=(n,nh2…),其中∑mn0 此时f(e)=n→0,故en一”→0.但|p=1,故nx0 定理4在有限维空间中,强收敛和弱收敛是一致的 证明只须证明其中任一弱收敛序列是强收敛的.实际上,若 ,y0∈④",x)-"→x0,由于(@)→Φ”,取线性泛函f, 当x={x1…x}时,月(x)=x,(=1…,n)。则f∈(@”), 由于(x“)→(x)甲x→x(k→)(=1…m),换句话说 x)依坐标收敛于x0,故x)必依范数收敛于x 尽管一般来说弱收敛序列不必强收敛,但下面定理反映出弱收敛 与强收敛的联系是紧密的
2 f ( ) λnn n n x fx fx f x = →= λλ λ ( ) ( ) ( ) ， 即是所要的结论. 定理 3 若 s n x → x ，则 w n x → x . 证明 对于每个 f X ∗ ∈ ， f ( ) x fx f x x n n −≤ − ( ) ， 若 0 n x x − → ，则 f ( ) x fx n → ( ) ，故得之. 例 1 弱收敛的序列可能不是强收敛的 . 设 ( ) p n elp ∈ ＞1 ， 0, ,01,0, n n e = " " ，n ≥1. 对于每个 ( ) ( ) 1 1 1 p q f l lp q ∗ − − ∈ = += ，不 妨设 ( ) 1 2 f = η η, ," ，其中 1 q n n η ∞ = ∑ ＜∞ ，于是 0 ηn → . 此时 ( ) 0 n n f e = → η ,故 0 w n e → . 但 1 n p e = ，故 0 n e → . 定理 4 在有限维空间中，强收敛和弱收敛是一致的. 证明 只须证明其中任一弱收敛序列是强收敛的. 实际上，若 ( ) k x ， (0) n x ∈Φ ， (k ) w (0) x →x ，由于 ( ) n n ∗ Φ → Φ ，取线性泛函 i f ， 当 x = {x x 1, , " n} 时， fi i ( ) x x = ， (i n =1, , " ) 。则 ( ) n i f ∗ ∈ Φ ， ( ) ( ) k k( ) i i f x x = ， ( ) ( ) 0 0( ) i i f x x = , 由于 ( ) ( ) ( ) ( ) k 0 i i f x fx → 即 ( ) ( ) ( )( ) 0 1, , k i i x → →∞ = xk i n " ，换句话说， ( ) k x 依坐标收敛于 ( ) 0 x ，故 (k ) x 必依范数收敛于 (0) x . 尽管一般来说弱收敛序列不必强收敛，但下面定理反映出弱收敛 与强收敛的联系是紧密的
定理5若xn"x,则存在{x}中元素的凸组合构成的序列 yn}(即y=∑x:n20,∑=1),y一→x 证明考虑集合E=Co{xnn≥l,只须证明x∈E 由凸集的隔离定理,对于紧集{x}和闭凸集E,存在∫∈x”和两 实数1,2(K<)使得 Ref(x)<K≤F<Ref(y),vy∈E 特别地,取y=xn可知这是与ⅵ∈X",∫(xn)→f(x)矛盾的 为了进一步刻划弱收敛,让我们引入自然嵌入算子的概念.首先 我们有 定理6对于每个x∈X,在X'上定义泛函x”,使 x()=f(x),Vf∈X 则x“∈X”并且||=对 证明由定义,V1,2∈X,a,B∈Φ, (af+Bf2)=(af+B52)() af(x)+B2(x) ax"()+Bx"(2), 故x*是线性泛函.由于 x(O)=|(x)s1|
3 定理 5 若 0 w n x → x ，则存在 {xn} 中元素的凸组合构成的序列 {yn} （即 1 n i i k n nn i y rx = = ∑ ； 0 i nr ≥ ， 1 1 n i k n i r = ∑ = ）， 0 s n y x → . 证 明 考虑集合 E co x n = { n ; 1 ≥ }，只须证明 0 x ∈E . 由凸集的隔离定理，对于紧集 {x0} 和闭凸集 E ，存在 f X ∗ ∈ 和两 实数 1 2 r r, （ 1 2 r r ＜ ）使得 Re Re f ( ) x r r fy 0 12 ＜＜＜ ( ) ， ∀y E ∈ . 特别地，取 n y x = 可知这是与 f X ∗ ∀ ∈ ， 0 () () n f x fx → 矛盾的. 为了进一步刻划弱收敛，让我们引入自然嵌入算子的概念. 首先 我们有 定理 6 对于每个 x X ∈ ，在 X ∗ 上定义泛函 x∗∗ ，使 x ( ) f fx( ) ∗∗ = ， f X ∗ ∀ ∈ ， 则 x X ∗∗ ∗∗ ∈ 并且 x x ∗∗ = . 证 明 由定义， 1 2 f , f X ∗ ∀ ∈ ， α, β ∈Φ ， x (αβ αβ f f f fx 12 12 ) ( )( ) ∗∗ + =+ = + α β f1 2 ( x fx ) ( ) α β x ( f xf 1 2 ) ( ) ∗∗ ∗∗ = + ， 故 x∗∗ 是线性泛函. 由于 x ( ) f fx x f ( ) ∗∗ = ≤
所以()|,x”ex 对于x≠0,由Hahn一 Banach定理的推论,存在∫∈x”,/=1并 且f(x)=|,从而 x|2x(O)=|/(x)=|对 故||= 当x=0时,取 定义2称算子J:X→X”,J=x”, "(=f(),f 是从X到X”的自然嵌入算子 若J(X)=X”,称X是自反空间 定理7自然嵌入算子是从X到X”的子空间上的等距同构 证明若Jx=x”,2=x”,则∈X,x”()=f(x) x2"()=f(x2),从而由定义 (ax”+Bx2“)(0)=ax"()+Bx“() (x)+Bf(x2) f(ax,+Bx2) 即J(ax+Bx2)=ax”+Bx2”=ax+B/x2,J是线性的
4 所以 x ( ) f x ∗∗ ≤ ， x X ∗∗ ∗∗ ∈ . 对于 x ≠ 0 ，由 Hahn－Banach 定理的推论，存在 f X ∗ ∈ , f =1并 且 f ( ) x x = ，从而 x x f fx x ( ) ( ) ∗∗ ∗∗ ≥ == , 故 x x ∗∗ = . 当 x = 0 时，取 x 0 ∗∗ = . 定义 2 称算子 JX X : → ∗∗ ， Jx x∗∗ = ， x ( ) () f fx ∗∗ = ， f X ∗ ∀ ∈ (321 − − ) 是从 X 到 X ∗∗ 的自然嵌入算子. 若 JX X ( ) ∗∗ = ，称 X 是自反空间. 定理 7 自然嵌入算子是从 X 到 X ∗∗ 的子空间上的等距同构. 证 明 若 1 1 Jx x ∗∗ = ， 2 2 Jx x ∗∗ = ，则 f X ∗ ∀ ∈ ， x1 1 ( f fx ) () ∗∗ = ， x2 2 ( ) f fx( ) ∗∗ = ，从而由定义 (αβ α β x12 1 2 x f xf xf )( ) ( ) ( ) ∗∗ ∗∗ ∗∗ ∗∗ + =+ = + α β f ( x fx 1 2 ) ( ) = + f (α β x x 1 2 ) , 即 ( ) 12 1 2 Jx x x x αβ α β ∗∗ ∗∗ +=+ 1 2 =αJx Jx + β ， J 是线性的
由定理1知==1设y={x,x∈x},则y0使得 |x≤M/,Vx∈E 定理8集合ECX是w有界集,当且仅当E是有界集 证明若E有界,即存在M>0,|x≤M,x∈E,则对于每个 f∈X", (x)s|sfM=My,wx∈E E是w有界集 反之,若E是w有界的,J是从X到X”的自然嵌入,则J/(E)是 X"的子集对于每个∫∈X”, x()=|(x)sMn,vx∈(E) J(E)在X上点点有界,根据共鸣定理(注意X”为 Banach空间),存
5 由定理 1 知 Jxx x ∗∗ = = . 设 Y Jx x X = ∈ { , }, 则 Y X ∗∗ ⊂ 为线 性子空间， J 是从 X 到 Y 上的等距同构. 将等距同构的空间看作同一空间，我们可以将 X 看作 X ∗∗ 的线性 子空间，即 X X ∗∗ ⊂ . 容易知道，当 X 是 Banach 空间时， X 是 X ∗∗ 的 闭线性子空间. 若 X 不是完备的，考虑 X ∗∗ 的闭子空间 J X( ) ，一方 面 J X( ) 为 Banach 空间，另一方面 X (即 J X( ))在 J X( ) 中稠密，故 可以将 J X( ) 看成 X 的完备化空间. 这样，借助于二次共轭空间，我 们得到了线性赋范空间的一种完备化方法. 定义 3 设 X 为线性赋范空间， X ∗ 是 X 的共轭空间. 称集合 E ⊂ X 是 弱 ( ) w 有界集，若对于每个 f X ∗ ∈ ，存在 0 M f ＞ 使 得 f x ≤ M ， ∀x E ∈ . 定理 8 集合 E ⊂ X 是 w 有界集，当且仅当 E 是有界集. 证明 若 E 有界，即存在 M＞0， x ≤ M ， x E ∈ ，则对于每个 f X ∗ ∈ ， ( ) f f x f x fM M ≤≤= ， ∀x E ∈ E 是 w 有界集. 反之，若 E 是 w 有界的，J 是从 X 到 X ∗∗ 的自然嵌入，则 J E( ) 是 X ∗∗ 的子集.对于每个 f X ∗ ∈ ， ( ) ( ) f x f fx M ∗∗ = ≤ , x J E( ) ∗∗ ∀ ∈ ， J E( ) 在 X ∗ 上点点有界，根据共鸣定理(注意 X ∗ 为 Banach 空间)，存
在M>0,|x“M,wx∈J(E),但==,x∈E故 |x≤M,Wx∈E,E是有界集 定理9xn—>x当且仅当下面两条成立 (2)存在GcX, span C在X中稠密,并且对于每个∫∈G f(x)→f( 证明若x"→x,显然{xn}是W有界集,由定理3 supr0,取f∈ span g, f-∫<E,关于∫",存在n,当n≥时 从而 f(x)-f(x)(x)-f(x)+f"(x,)-f(x) 8+f <(2 6
6 在 M＞0， x M ∗∗ ≤ ， x J E( ) ∗∗ ∀ ∈ ，但 Jx x x ∗∗ = = ， ∀ ∈x E ,故 x ≤ M ， ∀x E ∈ ， E 是有界集. 定理 9 w n x → x 当且仅当下面两条成立： (1) 1 sup n n x ≥ ＜∞ ； (2) 存在 G X ∗ ⊂ ，span G 在 X ∗ 中稠密，并且对于每个 f G∈ ， f ( x fx n ) → ( ) . 证 明 若 w n x → x ，显然 {xn} 是 w 有界集，由定理 3 ， 1 sup n n x ≥ ＜∞ ，后半部分结论自然成立，必要性得证. 反之，设 xn ≤ ∀ M n ( ) ，不妨也设 x ≤ M ，当 f ( x fx n ) () → 对 于 G 中的所有 f 成立时，由于极限运算的线性，对于 span G 中的每 个 f 仍然成立.现在若 f X ∗ ∈ ，对于任意的 ∀ε＞0，取 f ′∈ span G ， f f − ′ ＜ε ，关于 f ′ ，存在 0 n ，当 0 n n ≥ 时 fx fx ′ ′ ( n ) − ( ) ＜ε , 从而 f ( ) () x fx fx f x f x f x n nn n −≤ − + − ( ) ′ ′′ ( ) ( ) ( ) + − f ′( x fx ) ( ) n n ≤ − ++ − f f x f fx ′ ′ ε ＜( ) 2 1. M + ε
故 例2(1p<叫)中的序列x0=(x°)m收敛于x0=(x吗)的 充要条件是 ()sp<;(2)W21x→x(n→) 实际上,由(P)=P(p2+g=1),设=10…01,0 G={;i2,则f∈P并且对于每个i (x")=x(n=12…) 最后, span G在鬥中是稠密的,对照定理8即得出所要的结论 例3L[a,b](1<p<∞)中的序列x=xn()弱收敛于x=x() 的充要条件是 (1)sup|xl<∞; (2)并且对于每个b∈[,b] imx、O)d=∫x()d 实际上,设G={ue[小],其中是区间[a的特征函 数。显然a∈[b](p2+q-=1),并且由 Lebesque积分理论
7 故 w n x → x . 例 2 ( ) 1 p l p ＜ ＜∞ 中的序列 () () ( ) n n i x = x w收敛于 () () ( ) 0 0 i x = x 的 充要条件是: (1) ( ) 1 sup n p n x ≥ ＜∞ ; （2） ∀i ≥1, ( ) ( ) ( ) 0 . n i i x xn → →∞ 实际上，由 ( ) ( ) 1 1 1 p q l lp q ∗ − − = += ， 设 0, ,0,1,0, i i f = " " ， G fi = ≥ { i ; 1} ，则 q i f ∈l 并且对于每个 i ， ( ) ( ) ( ) ( ) 1, 2, n n i i fx x n = = " ， ( ) ( ) 0 0( ). i i f x x = 最后，span G 在 q l 中是稠密的，对照定理 8 即得出所要的结论. 例 3 [ , 1 ]( ) p L ab p ＜ ＜∞ 中的序列 xn n = x t( ) 弱收敛于 x0 0 = x t( ) 的充要条件是 （1） 1 sup n p n x ≥ ＜∞ ； （2）并且对于每个 t ab 0 ∈[ , ]， () () 0 0 0 lim t t n n a a x t dt x t dt →∞ = ∫ ∫ . 实际上，设 [ ] G t ab = ∈ {χ a t, ; , [ ]} ，其中 [ ] a t, χ 是区间 [a t, ] 的特征函 数。显然 [ ] [ ] , , q a t χ ∈ L ab ( ) 1 1 p q 1 − − + = ，并且由 Lebesque 积分理论
spanG在]中稠密。现在记与x1相应的泛函为f,则 (x)= dt f(x)=(0)m=mx,()h 对照定理8即得出所要的结论 例4C[ab]中的序列{x}弱收敛于x的充要条件是 Sup|xx
8 span G 在 [ , ] q L ab 中稠密。现在记与 [ ] 0 a t, χ 相应的泛函为 0t f ，则 ( ) [ ] () () 0 0 0 000 , , b t t a t a a f x x t dt x t dt = = χ ∫ ∫ ( ) [ ] () () 0 0 0 , . b t tn n n a t a a f x x t dt x t dt = = χ ∫ ∫ 对照定理 8 即得出所要的结论. 例 4 C ab [ , ] 中的序列 {xn} 弱收敛于 0 x 的充要条件是 1 sup n n x ≥ ＜∞ ，并且对于每个 t ab ∈[ , ]， xn (t xt ) → 0 ( ) . 实际上，对于每个 t ab ∈[ , ]，定义 ft ( x xt ) = ( ) ，则 t f 是 C ab [ , ] 上 的线性泛函，并且 ft ( ) x xt x = ≤ ( ) ，故 1 t f ≤ ， ft [a b, ] ∗ ∈ . 若 0 w n x → x ，必有 1 sup n n x ≥ ＜∞ 并 且 ftn t ( x fx ) → ( 0 ) ， 即 xn ( )t xt → 0 ( ) ( ) n → ∞ . 反之，对于每个 f [a b, ] ∗ ∈ ，存在 a t V ab ( ) 0 [ , ] ∗ ∈ ，使得 ( ) () () b a f x xtd t = α ∫ ， ∀ ∈ x (t C ab ) [ , ] 若定理中所说的条件成立，即 n x ≤ M 并且 xn (t xt ) → 0 ( ) , ∀ ∈t ab [ , ] ， 由 Stiltjes－Lebesque 控制收敛定理得 () () () () 0 lim . b b n n a a x td t x td t α α →∞ = ∫ ∫ 即 lim n ( ) ( 0 ) n f x fx →∞ = ， f 是任意的，故 0 w n x → x
定义4设X是线性赋范空间,X”是X的共轭空间,fn,f∈X 若x∈X,fn(x)→f(x),则称序列n弱星(w*)收敛于f,记为 f=v- .lim f或∫—">∫ 定理10w收敛序列的极限是惟一的 证明设fn”)f,J一”→∫,则Vx∈X,f(x)→f(x) fn(x)→f(x),于是f(x)=f(x),wx∈x,故∫=f 定理11设f,f∈X,fn—"→∫,则∫">f 证明若—">f,则vx∈X", (f)→x"( 但XcX”,Vx∈X若Jx=x”,则 fn(x)=x()→x”()=f(x), 例5收敛而不w收敛的泛函序列设en∈l,e如同例1.由 于c=1,wx=( en(x)=xn→>0,故 另一方面,()=P,取x”=(11…)∈P,则x”(en)=1 故en0 定理12设X是X的共轭空间,f,f∈X,则f-”→∫当
9 定义 4 设 X 是线性赋范空间，X ∗ 是 X 的共轭空间， nf , f X ∗ ∈ ， 若 x X ∈ ， fn () () x fx → ，则称序列 nf 弱 星 (w*）收敛于 f ,记 为 lim n n f w f ∗ →∞ = − 或 w nf f ∗ → . 定理 10 w∗ 收敛序列的极限是惟一的. 证明 设 w nf f ∗ → ， w nf f ∗ → ′ ， .则 ∀ x X ∈ ，fn ( x fx ) () → ， fn ( ) x fx → ′( ) ，于是 f ( ) '( ), , x fx x X = ∀ ∈ 故 f = f '. 定理 11 设 nf ， f X ∗ ∈ ， w nf → f ，则 w nf f ∗ → . 证明 若 w nf → f ，则 x X ∗∗ ∗∗ ∀ ∈ ， ( ) ( ), n x f xf ∗∗ ∗∗ → 但 X X ∗∗ ⊂ ， ∀ ∈x X 若 Jx x∗∗ = ，则 ( ) ( ) ( ) ( ), n n f x x f x f fx ∗∗ ∗∗ = →= 故 w nf f ∗ → . 例 5 w∗ 收敛而不 w 收敛的泛函序列. 设 1 n e l ∈ ， n e 如同例 1. 由 于 1 0 c l ∗ = ， ( ) 12 0 ∀x = ∈ xx c , ,"" ， ( ) 0 n n ex x = → ，故 0 w n e ∗ → . 另一方面， ( ) 1 l l ∗ ∞ = ，取 x0 (1,1, ) l ∗∗ ∞ = "" ∈ ，则 0 ( ) 1 n x e ∗∗ = . 故 0 w n e → . 定理 12 设 X ∗ 是 X 的共轭空间， nf ， f X ∗ ∈ ，则 w* nf → f 当
且仅当 sup,∞并且存在EcX, span e在X中稠密,对于每个 x∈E,f(x)→f(x) 证明与定理9类似,此处略 定义5线性赋范空间X中的子集A称为是弱序列闭集,若 vxn∈A,xn-"x0时,x∈A.称A是弱序列紧集,若A中任一无 穷序列有子序列弱收敛于A中元。空间X称为是弱序列完备的,若X 中的每个弱 Cauchy序列(即vf∈X,fn(x)是 Cauchy序列)都是弱收 敛序列 在前面我们已经证明过一个集合的弱有界与按范数有界等价.现 在我们证明 定理13设X是线性赋范空间,AcX是凸集,则A是(强)闭集 当且仅当A是弱序列闭集.特别地,一个线性子空间是闭的当且仅当 它是弱序列闭的 证明设A是弱序列闭的,xn∈A,x-x,自然有 x">x0,由弱序列闭性x0∈A,故A是(强)闭的 反之,若A(强)闭,x∈A,x一”→x,由定理5,存在{x}的 凸组合构成的序列{yn},y一→x,但A是凸集,所以yn∈A,A (强)闭,故x∈A.于是A弱序列闭 定理14线性赋范空间中的每个弱序列紧集是弱序列闭的 证明设A是弱序列紧的,xn∈A,x ,则存在子列 x∈A,由弱序列极限的惟一性x0=x∈A 定理15若X”是可分的,X必为可分的
10 且仅当 1 sup n n x ≥ ＜∞ 并且存在 E ⊂ X ，span E 在 X 中稠密，对于每个 x E ∈ ， fn ( x fx ) () → . 证明与定理 9 类似，此处略. 定 义 5 线性赋范空间 X 中的子集 A 称为是弱序列闭集，若 n ∀ ∈ x A， 0 w n x → x 时， 0 x ∈ A . 称 A 是弱序列紧集，若 A 中任一无 穷序列有子序列弱收敛于 A 中元。空间 X 称为是弱序列完备的，若 X 中的每个弱 Cauchy 序列(即 f X ∗ ∀ ∈ ， fn ( x) 是 Cauchy 序列)都是弱收 敛序列. 在前面我们已经证明过一个集合的弱有界与按范数有界等价. 现 在我们证明 定理 13 设 X 是线性赋范空间， A ⊂ X 是凸集，则 A 是(强)闭集 当且仅当 A 是弱序列闭集. 特别地，一个线性子空间是闭的当且仅当 它是弱序列闭的. 证 明 设 A 是弱序列闭的， n x ∈ A ， 0 s n x →x ，自然有 0 w n x → x ，由弱序列闭性 0 x ∈ A ，故 A 是（强）闭的. 反之，若 A (强)闭， n x ∈ A， 0 w n x → x ，由定理 5，存在 {xn} 的 凸组合构成的序列 {yn} ， 0 s n y x → ，但 A 是凸集，所以 n y A ∈ ， A （强）闭，故 0 x ∈ A . 于是 A 弱序列闭. 定理 14 线性赋范空间中的每个弱序列紧集是弱序列闭的. 证明 设 A 是弱序列紧的， n x ∈ A ， 0 w n x → x ，则存在子列 0 k w n x → ∈ x A ′ ，由弱序列极限的惟一性 0 0 x = x A ′ ∈ . 定理 15 若 X ∗ 是可分的， X 必为可分的