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.

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

Where can I find the proof that $l_\infty^*$ is weeak$^*$-separable?

I want to re-examine the proof of that fact.

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

I'm not entirely sure what you're asking. I suppose you're asking why $l_{\infty}^{\ast}$ is weak$^{\ast}$-separable. To see this, simply note that $l_1$ is dense in the weak$^{\ast}$-topology of $l_{\infty}^{\ast}$ (by Goldstine's theorem). Obviously, $l_1$ contains a countable norm-dense subset $S$, which is also weak$^{\ast}$-dense because the norm-closure is always smaller than the weak$^\ast$-closure. You'll find a proof of the (rather tautological) Golstine theorem on the Wikipedia page I linked to.

Added later: Of course, this does by no means imply that $l_{\infty}^{\ast}$ is second countable in the weak$^{\ast}$-topology. In fact, for an infinite-dimensional Banach space the weak$^{\ast}$-topology is not even first countable (even if its restriction to the unit ball is metrizable for duals of separable Banach spaces).

Added even later: The only thing used in the above argument is of course the separability of $l_1$. Verbatim the same argument shows

The bidual of a separable Banach space is weak$^{\ast}$-separable.

However, I don't know whether the converse holds.

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.