General Topology – Weak Closure and Metrizability of Weak Topology

convergence-divergencefunctional-analysisgeneral-topology

Let $\{e_n|n\in \mathbb N\}$ be an orthonormal basis of Hilbert space $\mathcal H$ and put $I = \left\{\sqrt n e_n|n\in \mathbb N\right \}$. Show that $0$ belongs to the weak closure of I but no sequence from $I$ is weakly convergent to $0$. Conclude from this that weak topology on $\mathcal H$ does not satisfy the first axiom of countability and hence is not metrizable.

Best Answer

  • $0$ is an element of the weak closure of $I$: fix a basic neighborhood of $0$ for the weak topology, say $O:=\bigcap_{j=1}^N\{x,|f_j(x)|<\delta\}$ where $\delta>0$ and $f_j$ are linear continuous functionals. We have to show that $O$ contains an element $\sqrt n\cdot e_n$ for some $n$. If not, representing the linear functional $f_j$ by the vector $y_j$, we would have $$\sum_{j=1}^N\|y_j\|^2=\sum_{j=1}^N\sum_{n=1}^\infty|\langle e_n,y_{j}\rangle|^2=\sum_{n=1}^\infty\sum_{j=1}^N|\langle e_n,y_{j}\rangle|^2\geqslant\sum_{n=1}^\infty\frac{\delta^2}{n}=\infty.$$

  • Let $\{x_n\}$ a sequence of $I$. If there are infinitely many different terms, say $\{\sqrt k\,e_k,\ k\in A\}$ where $A\subset\Bbb N$ is infinite, write the sequence $x_k:=\sqrt{n_k}e_{n_k}$ where $n_k$ is an increasing sequence of integers. The sequence $\{x_k\}$ is not bounded an so cannot be weakly convergent. If there are only finitely many different terms, we extract a subsequence constant equal to one of them, proving we can't have convergence to $0$.

  • If there were a decreasing countable basis of neighborhood at $0$ , say $\{V_n,n\in\Bbb N\}$ (for the weak topology), we would be able for each $n$, $x_{k_n}\in I\cap V_n$ by the first point (and the definition of the closure). And this sequence would converge weakly to $0$, a contradiction by the second item of the list.

  • A metric space $(S,d)$ satisfies the first axiom of countability, as if $x\in S$, the collection $\{B_d(x,n^{-1}),n\in\Bbb N^*\}$ would be a countable basis of neighborhoods.