定义1
设 X X X 是赋范线性空间, x n ∈ X , n = 1 , 2 , ⋯ , x _ { n } \in X , n = 1 , 2 , \cdots , xn∈X,n=1,2,⋯,如果存在 x ∈ X , x \in X , x∈X, 使得 ∥ x n − x ∥ \left\| x _ { n } - x \right\| ∥xn−x∥ → 0 ( n → ∞ ) , \rightarrow 0 ( n \rightarrow \infty ) , →0(n→∞), 则称点列 { x n } \left\{ x _ { n } \right\} { xn} 强收敛于 x , x , x, 如果对任意的 f ∈ X ′ , f \in X ^ { \prime } , f∈X′, 都有 f ( x n ) → f ( x ) ( n → f \left( x _ { n } \right) \rightarrow f ( x ) ( n \rightarrow f(xn)→f(x)(n→ ∞ ) , \infty ) , ∞), 则称点列 { x n } \left\{ x _ { n } \right\} { xn} 弱收敛于 x . x . x.
显然强收敛必定弱收敛,但弱收敛不一定强收敛
例1
设则 ∥ e n ∥ = 1 , \left\| e _ { n } \right\| = 1 , ∥en∥=1, 故 ∣ e n } \left| e _ { n } \right\} ∣en} 不强收敛 X = l 2 , e n = ( ⏟ n − 1 ↑ , 1 , 0 , ⋯ ) , n = 1 , 2 , ⋯ , X = l^{2},e_{n} = \left(⏟_{n−1\uparrow },1,0,⋯\right),n = 1,2,⋯, X=l2,en=(⏟n−1↑,1,0,⋯),n=1,2,⋯,于0,但对任何
y ∈ ( l 2 ) ′ = l 2 , y = ( η 1 , η 2 , ⋯ ) , ∑ i = 1 ∞ ∣ η i ∣ 2 < ∞ , y \in \left( l ^ { 2 } \right) ^ { \prime } = l ^ { 2 } , \quad y = \left( \eta _ { 1 } , \eta _ { 2 } , \cdots \right) , \sum _ { i = 1 } ^ { \infty } \left| \eta _ { i } \right| ^ { 2 } < \infty , y∈(l2)′=l2,y=(η1,η2,⋯),i=1∑∞∣ηi∣2<∞,
我们有 ⟨ e n , y ⟩ = η n → 0 ( n → ∞ ) , \left\langle e _ { n } , y \right\rangle = \eta _ { n } \rightarrow 0 ( n \rightarrow \infty ) , ⟨en,y⟩=ηn→0(n→∞),故 { e n } \left\{ e _ { n } \right\} { en} 弱收敛于0.
定义2
设 X X X 是赋范线性空间, X ′ X ^ { \prime } X′ 是 X X X 的 共轭空间,泛函列 f n ∈ X ′ ( n = 1 , 2 , ⋯ ) , f _ { n } \in X ^ { \prime } ( n = 1 , 2 , \cdots ) , fn∈X′(n=1,2,⋯), 如果存在 f ∈ X ′ , f \in X ^ { \prime } , f∈X′, 使得
- (1) ∥ f n − f ∥ → 0 ( n → ∞ ) , \left\| f _ { n } - f \right\| \rightarrow 0 ( n \rightarrow \infty ) , ∥fn−f∥→0(n→∞),则称 { f n } \left\{ f _ { n } \right\} { fn} 强收敛于 f ; f ; f;
- (2)对任意 x ∈ X , x \in X , x∈X