Skip to main content
1 of 2
Bill Johnson
  • 31.5k
  • 5
  • 89
  • 138

The norm preserving condition, is as Mikhail points out, essential to prove that the such an extension does not exist. The question is stated for Banach spaces, but notice that the same question for normed spaces is equivalent to the question for Banach spaces because a bounded sequence of functionals converges weak$^*$ if it converges pointwise on a dense set.

So assume that the question has an affirmative answer in the category of normed spaces. We claim that a stronger thing is true; namely, in the set up of the OP, the superspace $Z$ of $Y$ can be taken to be $X$ itself. Indeed, the union of a nested family of extensions that are weak$^*$ convergent gives extension to the union of the domains of the extending functionals, so one can Zornicate just as in the standard proof of the Hahn-Banach theorem. More explicitly, consider all $(Z, (z_n^*)_n)$ such that $Y \subset Z $, $Z$ is a subspace of $X$, and $(z_n^*)_n$ are linear functionals in the unit ball of $Z^*$ such that for all $n$, $z_n^*$ extends $y_n^*$, and $(z_n^*)_n$ converges pointwise on $Z$. Partially order by $(Z, (z_n^*)_n) \le (W, (w_n^*)_n)$ provided $Z\subset W$ and for all $n$, $z_n^* \subset w_n^*$, and observe that the hypothesis in Zorn's Lemma applies.

To see that the OP's question has a negative answer, let $X=\ell_\infty$, $Y=c_0$, and let $y_n^*$ be the unit vector basis for $\ell_1= c_0^*$. There are not uniformly bounded weak$^*$ convergent extensions to $\ell_\infty$ because weak$^*$ converging sequences in $\ell_\infty^*$ are weakly convergent.

Bill Johnson
  • 31.5k
  • 5
  • 89
  • 138