Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a topological vector space on which $X^*$ separates points. Prove that "the weak *-topology of $X^*$ is metrizable if and only if $X$ has a finite or countable Hamel basis"?

(A set $\beta$ is a Hamel basis for a vector space $X$ if $\beta$ is a maximal linearly independent subset of $X$. In other words $\beta$ is a Hamel basis if every $x\in X$ has a unique representation as a finite linear combination of element of $\beta$.)

share|cite|improve this question
up vote 2 down vote accepted

This should be obvious from the characterization of the weak-$^*$ topology as the topology of pointwise convergence and it's easy to show that $\mathbb R^A$ is only metrizable when the cardinality of $A$ is countable. But by the Hahn-Banach theorem $X^*$ has a Hamel basis that's at least the same size as that of $X$ (assuming that $X$ is locally convex. $L^p$ for $0<p<1$ has no non-zero continuous linear functionals) so $X^*$ cannot be metrizable.

I'll leave the details for you to fill out.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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