No, weak convergence alone does not imply strong convergence. A sequence can converge weakly to a limit without the norm of the difference converging to zero.
Conditions: H is a Hilbert space.; (xn) is a sequence in H converging weakly to l.; No assumption is made about the convergence of ∥xn∥ to ∥l∥.
No, weak convergence alone does not imply strong convergence. A sequence can converge weakly to a limit without the norm of the difference converging to zero.
Conditions: H is a Hilbert space.; (xn) is a sequence in H converging weakly to l.; No assumption is made about the convergence of ∥xn∥ to ∥l∥.
Strong convergence implies weak convergence because the Cauchy-Schwarz inequality bounds the difference of inner products by the product of the norm of the difference and the norm of the test vector. If the sequence converges strongly, the norm of the difference goes to zero, forcing the inner product difference to go to zero for any fixed test vector.
Conditions: H is a Hilbert space.; (xn) is a sequence in H.; (xn) converges strongly to l (i.e., ∥xn−l∥→0).; v is an arbitrary element of H.
Strong convergence implies weak convergence because the Cauchy-Schwarz inequality bounds the difference of inner products by the product of the norm of the difference and the norm of the test vector. If the sequence converges strongly, the norm of the difference goes to zero, forcing the inner product difference to go to zero for any fixed test vector.
Conditions: H is a Hilbert space.; (xn) is a sequence in H.; (xn) converges strongly to l (i.e., ∥xn−l∥→0).; v is an arbitrary element of H.
The extra assumption required is that the norms of the sequence converge to the norm of the limit, i.e., ∥xn∥→∥l∥. When combined with weak convergence, this condition implies strong convergence.
Conditions: H is a Hilbert space.; (xn) is a sequence in H converging weakly to l.; ∥xn∥ converges to ∥l∥.
The extra assumption required is that the norms of the sequence converge to the norm of the limit, i.e., ∥xn∥→∥l∥. When combined with weak convergence, this condition implies strong convergence.
Conditions: H is a Hilbert space.; (xn) is a sequence in H converging weakly to l.; ∥xn∥ converges to ∥l∥.