Closed unit ball in $c_0$ is weak* dense in the closed unit ball of $l^{\infty}?$

842 Views Asked by At

Let $l^{\infty}(\mathbb{N})$ denotes the set of all bounded sequences, which has weak* topology as it is the dual of $l^{1}(N).$ Let $c_0$ denotes the subspace consisting of sequences which converges to zero. I have the following question:

Is the norm closed unit ball of $c_0$ is weak* dense in the norm closed unit ball of $l^{\infty}(\mathbb{N})?$

1

There are 1 best solutions below

1
On BEST ANSWER

As explained by anonymous, this can be achieved by a cut-off argument.

However, it can be proved in a more general way. Let $X$ be a Banach space, $J : X \to X^{**}$ the canonical embedding into the bidual.

For a Banach space $Y$, we denote by $B_Y$ the unit ball of $Y$.

Now, we will show that $J(B_X)$ is weak-$*$ dense in $B_{X^{**}}$. We will use the bipolar theorem in the dual pairing of $X^{**}$ (with the weak-$*$ topology) and $X^*$ (with the weak topology). It is easy to show $$J(B_X)^\circ := \{x^* \in X^* : J(x)(x^*) \le 1 \; \forall x \in B_X\} = B_{X^*}$$ and $$(B_{X^*})^\circ := \{x^{**} \in X^{**} : x^{**}(x^*) \le 1 \; \forall x^* \in B_{X^*}\} = B_{X^{**}}.$$ Hence, $$J(B_X)^{\circ\circ} = B_{X^{**}}$$ and the bipolar theorem tells you that the weak-$*$ closure of $J(B_X)$ is $B_{X^{**}}$.

(Note that $J(B_X)$ is always closed and, if $X$ is not reflexive, we have $J(B_X) \ne B_{X^{**}}$ and $J(B_X)$ is not weak-$*$ closed.)

To apply this result to your situation, one recalls that the dual of $c_0$ is isometric to $\ell^1$ and the dual of $\ell^1$ is isometric to $\ell^\infty$. Moreover, under these identifications, the canonical embedding $J : c_0 \to \ell^\infty$ is the identity.