Equivalent definitions of Injective Banach Spaces

A Banach space $X$ is said to be injective if for all Banach spaces $W,Z$ with $W\subset Z$, and operators $T\in B(W,X)$, $T$ can be extended to all of $Z$ with the same norm.

Equivalently, $X$ is injective if it is complemented by a norm $1$ projection in any Banach space containing it.


Labelling the first definition as $(1)$ and the second definition as $(2)$, the proof for $(1)\Rightarrow (2)$ is brief.

If $X\subset Y$ for some Banach space $Y$, then applying $(1)$ to the identity map on $X$ yields the projection.


The $(2)\Rightarrow (1)$ direction I have been stuck on for a couple of days. Can anyone offer a hint? Thanks very much in advance!


You can isometrically embed $X$ into $\ell^\infty(\Gamma)$ where $\Gamma$ is some humongous set of indices (e.g., take every point of the unit ball of $X^*$ as an index).

Given $T:W\to X$, think of it as $T:W\to \ell^\infty(\Gamma)$ and extend it to $\widetilde T: Z\to \ell^\infty(\Gamma)$ preserving the norm (the special form of the norm on $\ell^\infty(\Gamma)$ will help.) Then do the obvious thing.