A Banach space is a topological group under addition. The dual is a topological group under the weak$^*$ topology. The weak$^*$ topology is weaker than the operator norm topology, so is it first-countable? It is also Hausdorff. (Seems intuitively obvious, might require the Hahn-Banach Theorem to make rigorous). So by the Birkhoff-Kakutani Theorem it should be metrizable. But I believe this is only the case for the finite-dimensional case. Where is my reasoning wrong?

  • 3
    $\begingroup$ "The weak* topology is weaker than the operator norm topology, so is first-countable" is, except in the finite-dimensional case, wrong. $\endgroup$ – Daniel Fischer Jan 11 '14 at 16:44
  • 4
    $\begingroup$ First countability doesn't transfer to stronger or weaker topologies. Discrete topology and trivial topology are both always first countable and any topology is between the two. $\endgroup$ – tomasz Jan 11 '14 at 16:52

If a topological space is metrizable, then it has to be first countable.

It turns out that, if $X$ has uncountable base (as a linear space), then the weak$^*$ topology of $X^*$ is not first countable. See

The weak$^*$ topology on $X^*$ is not first countable if $X$ has uncountable dimension.

But, even if the dimension of a normed space is $\aleph_0$, then its dual shall coincide with the dual of the completion of $X$, which will have dimension $2^{\aleph_0}$, and hence the weak$^*$ topology of $X^*$ will not be first countable, as well.

  • 1
    $\begingroup$ Is the weak* topology on $X^*$ induced by the completion of $X$ the same as the weak* topology on $X^*$ induced by $X$? $\endgroup$ – David Mitra May 29 '14 at 22:20
  • $\begingroup$ If and only if $X$ is complete. I'm sure that was a rhetorical question by @DavidMitra, but just in case somebody doesn't know: if $Y$ is a (linear) subspace of the completion of $X$ such that $\lambda\lvert_Y = \mu\lvert_Y \implies \lambda = \mu$ for $\lambda,\mu\in X^\ast$, then the dual space of $X^\ast$ with the weak* topology induced by $Y$ is $Y$, so no two such subspaces induce the same weak* topology on $X^\ast$. $\endgroup$ – Daniel Fischer May 30 '14 at 23:44
  • $\begingroup$ Please explain more about when "the dimension of a normed space is ℵ 0 " part. Reading above result, I can not understand it or give me a reference about it. $\endgroup$ – niki Jan 8 '15 at 8:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.