die durch \begin{eqnarray}({i_X}(x))(x^{\prime}) =x^{\prime} (x)\quad (x\in X,x^{\prime} \in X^{\prime} )\end{eqnarray} definierte Abbildung i_X : X → X″ eines Banachraums X in seinen Bidualraum.

Nach dem Satz von Hahn-Banach (Hahn-Banach-Sätze) ist i_X stets isometrisch. Ist i_X surjektiv, nennt man X reflexiv.