Weakly Convergent Sequence in Hilbert Space with Convergent Norm is Convergent

Theorem
Let $\struct {\HH, \innerprod \cdot \cdot}$ be a Hilbert space.

Let $\sequence {x_n}_{n \mathop \in \N}$ be a sequence in $\HH$.

Let $x \in X$ be such that:


 * $x_n \weakconv x$

and:


 * $\norm {x_n} \to \norm x$

where $\weakconv$ denotes weak convergence.

Then:


 * $x_n \to x$

Proof
Let $\norm \cdot$ be the inner product norm for $\struct {\HH, \innerprod \cdot \cdot}$.

From Sequence in Normed Vector Space Convergent to Limit iff Norm of Sequence minus Limit is Null Sequence, we have:


 * $x_n \to x$




 * $\norm {x_n - x} \to 0$

From Complex Sequence is Null iff Positive Integer Powers of Sequence are Null, it suffices to show that:


 * $\norm {x_n - x}^2 \to 0$

We have:

From Weak Convergence in Hilbert Space, we have:


 * $\innerprod {x_n} x \to \innerprod x x = \norm x^2$

since $x_n$ converges weakly to $x$.

From Weak Convergence in Hilbert Space: Corollary, we also have:


 * $\innerprod x {x_n} \to \innerprod x x = \norm x^2$

From hypothesis, we have:


 * $\norm {x_n}^2 \to \norm x$

Then, from Sum Rule for Real Sequences, we have:


 * $\norm {x_n - x}^2 \to 0$

so:


 * $x_n \to x$