Double Dual of $ \ell^\infty$

204 Views Asked by At

For my quetion in MO is $\forall X$, $X^{**}$=X$\oplus Y$ for a $Y$ another set I am not really sure in Thomas answer why the first assumption saying that such a $Y$ exist iff the sequence $0 \to X \to \varphi(X^∗)^∗ \to \eta \mathrm{coker}\varphi \to 0$ splits?