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

I am trying to figure out if the statement holds true, the literature i am following says that its not true but i don't seem to understand,

If $Y$ is a Banach space and let subspace $A \subset Y'$, such that $Y'$ is a dual . $A$ is norm closed if and only if $A$ is weak star closed ?

Looks like reflexivity comes into play to argue this statement . Thank you for your hints !

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

From Goldstine's Theorem, it follows that $X$ is weak* dense in $X^{**}$. Now $X$ is norm closed in $X^{**}$. If $X$ were weak* closed in $X^{**}$, we would have $X=X^{**}$. Of course, this is not always the case.

share|cite|improve this answer
E.g., $c_0$ is norm-closed but not weak* closed in $\ell^\infty$, and $K(H)$ is norm-closed but not weak* closed in $B(H)$ (when $H$ is an infinite dimensional Hilbert space). – Jonas Meyer Dec 13 '12 at 18:57
@David Mitra : you used homogeneity of scalar multiplication to say that the whole $X$ is weak* dense $X^{**}$ right ? I find this fact cool about topological vector spaces :D – Theorem Dec 13 '12 at 19:14

Take $Y = \ell^1$, so $Y' = \ell^\infty$, and let $A = c_0$ be the space of all sequences which converge to 0. It is easy to see that $A$ is norm closed, but in fact $A$ is weak-* dense in $Y'$ (since a sequence converges weak-* in $Y'$ iff it is bounded and converges pointwise).

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.