Every Bounded Seq. in a Reflexive Space X has a Weak Con. Subseq.

Every Bounded Sequence in a Reflexive Space X has a Weakly Convergent Subsequence

Recall from the Helley's Theorem page that if $X$ is a normed linear space and $X$ is separable then every bounded sequence in $X^*$ has a weak-* convergent subsequence.

We will use Helley's theorem to show that if $X$ is a normed linear space and $X$ is reflexive then every bounded sequence in $X$ has a weakly convergent subsequence.

Proposition 1: Let $X$ be a normed linear space. If $X$ is reflexive then every bounded sequence in $X$ has a weakly-convergent subsequence.
  • Proof: Let $(x_n)$ be a bounded sequence in $X$. Let:
(1)
\begin{align} \quad X_0 = \mathrm{cl} (\mathrm{span} (x_1, x_2, ...)) \end{align}
  • Note that $X_0$ is separable. It is clear that all finite linear combinations of points in $(x_n)$ with rational coefficients is a countable dense subset of $X_0$.
  • Let $J_0 : X_0 \to X_0^{**}$ be the natural embedding of $X_0$ into $X_0^{**}$. Consider the sequence $(J_0(x_n))$. This sequence is a bounded sequence in $X^{**}$. By Helley's theorem, there exists a weak-* convergent subsequence, $(J_0(x_{n_k})$. Say, $(J_0(x_{n_k}))$ weak-* converges to $\varphi \in X_0^{**}$.
  • Since $X_0$ is reflexive there exists an $x_0 \in X_0$ such that $J(x_0) = \varphi$.
  • Since $(J_0(x_{n_k}))$ weak-* converges to $J_0(x_0)$ we have that for every $f \in X^*$:
(2)
\begin{align} \quad \lim_{k \to \infty} \hat{x_{n_k}} (f) = \hat{x_0} (f) \end{align}
  • Or equivalently, for all $f \in X^*$:
(3)
\begin{align} \quad \lim_{k \to \infty} f(x_{n_k}) = f(x_0) \end{align}
  • So $(x_{n_k})$ weakly converges to $x_0$. $\blacksquare$
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License