Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question

1 Answer 1

up vote 1 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|improve this answer

Your Answer

 
discard

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.