Skip to main content
added 452 characters in body
Source Link
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$$Y=c$ (the space of convergent sequences under the supremum norm), and let $y_n^*$ be the unit vector basis for $\ell_1= c_0^*$$\ell_1 \subset c^*$. There are not uniformly bounded weak$^*$ convergent extensions to $\ell_\infty$ because weak$^*$ converging sequences in $\ell_\infty^*$ are weakly convergent.

EDIT 12/30/17: If you want an explicit example in the separable setting to the OP's original formulation, again let $X=\ell_\infty$, $Y=c$ (the space of convergent sequences under the supremum norm), let $y_n^*$ be the unit vector basis for $\ell_1 \subset c^*$, and let $z_0 $ be the element of $\ell_\infty$ whose odd coordinates are all $1$ and whose even coordinates are all $-1$.

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.

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$ (the space of convergent sequences under the supremum norm), and let $y_n^*$ be the unit vector basis for $\ell_1 \subset c^*$. There are not uniformly bounded weak$^*$ convergent extensions to $\ell_\infty$ because weak$^*$ converging sequences in $\ell_\infty^*$ are weakly convergent.

EDIT 12/30/17: If you want an explicit example in the separable setting to the OP's original formulation, again let $X=\ell_\infty$, $Y=c$ (the space of convergent sequences under the supremum norm), let $y_n^*$ be the unit vector basis for $\ell_1 \subset c^*$, and let $z_0 $ be the element of $\ell_\infty$ whose odd coordinates are all $1$ and whose even coordinates are all $-1$.

Source Link
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.