[Math] How to prove that the weak topology is strictly weaker than the norm topology

functional-analysisgeneral-topology

Let $H$ be a Hilbert space. I read that the weak topology is weaker than the norm topology but I couldn't work out how to prove it. It is clear to me that by definition the weak topology is at least as weak as the norm topology (since the norm topology also makes all continuous functionals continuous).

But how to prove that it is strictly weaker?

Best Answer

To show that the weak topology is strictly weaker, you need a norm-open set that is not weakly open. The unit ball $B=\{x:\|x\|<1\}$ is such a set. Indeed, suppose it is weakly open. By the definition of the weak topology, there exists a finite set of functionals $f_1,\dots,f_n$ such that $$ \{x: |f_k(x)|<1 \text{ for }k=1,\dots,n\} \subset B $$ But from any $n+1$ linearly independent elements $x_1,\dots,x_{n+1} \in X$ you can make a nonzero linear combination $x_0$ such that $f_k(x_0)=0$ for all $k=1,\dots,n$. (Think of the rank of the matrix $(f_i(x_j))$.) It follows that $tx_0\in B$ for all $t\in\mathbb{R}$, which is impossible.