Weak topology on an infinite-dimensional normed vector space is not metrizable

I've been pondering over this problem for a while now, but I can't come up with a proof or even a useful approach...

Let $X$ be am infinite-dimensional normed vector space over $\mathbb{K}$ (that is either $\mathbb{R}$ or $\mathbb{C}$). Then the weak topology $\sigma(X,X^*)$ is not metrizable, i.e. there is no metric $d$ such that the induced topology of $d$ coincides with $\sigma(X,X^*)$.

Can anyone help me with this?


The original answer is correct, and here I only want to elaborate every steps in details (to earn some contribution points if possible :)) Hopefully they are correct.

We claim:

(1) $\text{dim} X^* \geq \text{dim} X$, and equality holds iff $\text{dim} X < \infty$:

This is a well known theorem, e.g. one possible proof is on pages 244-248 of Jacobson's {Lectures in Abstract Algebra: II. Linear Algebra.}


(2) Dual space of $X^*$ of normed vector space $X$ is Banach with norm $||\cdot ||_{X^*}$:

Let $\{T_n\}\subset X^*$ a Cauchy sequence. Then for each fixed $x$, the sequence $\{T_nx\}\subset \Phi$ is a Cauchy sequence, which converges by completeness to some element of $\Phi$ denoted $Tx$. The map $x\mapsto Tx$ is linear; we have to check that it is continuous and that $\lVert T_n-T\lVert_{X^*}\to 0$.

We get $n_0$ such that if $n,m\geq n_0$ then for each $x$ $\lVert T_nx-T_mx\rVert_\Phi\leq\lVert x\rVert $ and letting $m\to+\infty$ we obtain $\lVert T_nx-Tx\rVert_\Phi \leq\lVert x\rVert $ so $\lVert Tx\rVert\leq \lVert x\rVert+ \lVert T_{n_0}\rVert\lVert x\rVert$ and $T$ is continuous.

Fix $\varepsilon>0$. We can find $N$ such that if $n,m\geq N$ and $x\in E$ then $\lVert T_nx-T_mx\rVert_\Phi\leq \varepsilon\lVert x\rVert$. Letting $m\to \infty$, we get for $n\geq N$ and $x\in X$ that $\lVert T_nx-Tx\rVert_\Phi\leq \varepsilon\lVert x\rVert$, and taking the supremum over the $x\neq 0$ we get for $n\geq N$ that $\lVert T-T_n\rVert_{X^*}\leq \varepsilon$.


(3) Every proper subspace of a normed vector space has empty interior.

We only need to show that the only subspace of a normed vector space $X$ that has a non-empty interior, is $X$ itself. Suppose subspace $S$ has a nonempty interior. Then it contains some ball $B(x,r) = \{y : \|y-x\| < r\}$. Now the idea is that every point of $V$ can be translated and rescaled to put it inside the ball $B(x,r)$. Namely, if $z \in V$, then set $y = x + \frac{r}{2 \|z\|} z$, so that $y \in B(x,r) \subset S$. Since $S$ is a subspace, we have $z = \frac{2 \|z\|}{r} (y-x) \in S$. So $S=V$.


(4) Finite-dimensional subspace of normed vector space is closed.

Suppose we have a convergent sequence $\{x_n\}$ such that $||x_n-x||\rightarrow 0$ and thus it is a Cauchy sequence as $||x_n-x_m||\leq ||x_n-x||+||x_m-x||$ . Since $\forall n, x_n=\sum_{i=1}^{K} \alpha_{n,i} x'_i, \alpha_{n,i} \in \Phi$, we know $\forall i, \{\alpha_{n,i} \}_n$ forms a Cauchy sequence in $\Phi$ as well and thus converge to some $\alpha_i \in \Phi$. Clearly, $x= \sum_{i=1}^{K} \alpha_{n,i} x' _i$ is inside the subspace.


By claim 2 we know $(X^*,||\cdot||_{X^*})$ is a Banach space. Suppose the Banach space $(X^*,||\cdot||_{X^*})$ has a countable basis $\{v_n; n\in\mathbb N\}$. Let us denote $X^*_n=[v_1,\dots,v_n]$, the linear span by the first n basis, which is a subspace as $\forall x,y\in X^*_n, \alpha,\beta \in \Phi, $ we know $\alpha x + \beta y = \sum_{i=1}^{n } (\alpha \lambda_{x,i}+ \lambda_{y,i}) v_i \in X^*_n$ where $x=\sum_{i=1}^{n }\lambda_{x,i}v_i, y=\sum_{i=1}^{n }\lambda_{y,i}v_i$. Then we have:

  • $X^*=\bigcup\limits_{n=1}^\infty X^*_n$
  • $X^*_n$ is a finite-dimensional subspace of $X^*$, hence it is closed by claim 4.
  • $X_n^*$ is a proper subspace of $X^*$, so it has empty interior by claim 3.

So we see that $ (\overline{X}^*_n)^\circ = X_n^\circ=\emptyset$, which means that $X^*_n$ is nowhere dense. So $X^*$ is a countable union of nowhere dense subsets and thus is of first category, which contradicts the Baire's category theorem. Therefore, we only need to show that $(X^*,||\cdot||_{X^*})$ has at most countable basis, which would then imply $\text{dim} X^* < \infty$ since otherwise we would have countable basis and it derives contradictions as shown above. Then by claim 1 we know $\text{dim} X < \infty$.


Now we show there exists a countable set $F\subset X^*$ such that every $ f\in X^*$ is a (finite) linear combination of elements in $F$.

Notice a collection of neighborhoods of the form $$B=\left\{x\in X: |f_i(x)|<1,\ f_i\in X^*, 1\leq i\leq K \right\} $$ forms local base of the weak topology, which means that any neighborhood of zero contains some neighborhood of this form.

Then suppose $\{A_\alpha \}_{\alpha\in\mathbb{N}}$ forms a countable local base of weak topology, we know that for each $A_\alpha$ there exists $$B_\alpha = \left\{x\in X: |f^\alpha_i(x)|<1,\ f^\alpha_i\in X^*, \ 1\leq i\leq K^\alpha\right\} \subset A_\alpha.$$ We claim that $$F= \bigcup_{\alpha\in\mathbb{N}} \left\{f^\alpha_i, 1\leq i\leq K^\alpha \right\} ,$$ which is countable, satisfies that every $f\in X^*$ is a (finite) linear combination of elements in $F$. Given $f\in X^*$ continuity gives us that $\{x\in X, |f(x)|<1 \}$ forms a zero neighborhood; so it contains some basic neighborhood $A_\alpha$. Thus $$B_\alpha \subset A_\alpha\subset \{x\in X,\ |f(x)|<1\}.$$ Suppose $f_1(x)=\cdots = f_{K^\alpha}(x)=0$. Then $|f(x)|<1$. The key observation is that we also have $f_1(nx)=\cdots = f_{K^\alpha}(nx)=0$ for all $n>0$. That is $|f(nx)|<1$ for all $n$, which implies $|f(x)|<1/n$ for all $n$ and so $f(x)=0$. This means that $$\bigcup_{j=1}^{K^\alpha}\ker f_j\subset \ker f.$$ This implies (see, for instance Lemma 3.9 in Rudin Functional Analysis) that $f$ is a linear combination of $f_1(x), \cdots, f_{K^\alpha}(x)$.


Let $X$ be a normed space. You can show that if the weak topology of $X$ admits a countable base of open sets at $0$, then $X$ is finite dimensional:

  • Prove the existence of a countable set $\{\zeta_n\}$ in $X^*$ such that every $\zeta \in X^*$ is a finite linear combination of the $\zeta_n$.
  • Derive from this that $X^*$ is finite dimensional.
  • Deduce that $X$ is finite dimensional.