Let $E$ a nvs and $F \neq \{0\}$ a linear subspace. By Hahn-Banach theorem we know that $F^* \neq \emptyset$ and for every $f \in F^*$ the set $E_f := \{\text{ continuous linear extensions of f } \}$ is also non-empty. So by the axiom of choice there is a function $\Phi: F^* \to E^*$ such that for every $f \in F^*$ we have $\Phi(f) \in E^*$ a continuous linear extension of $f$. My question is if it is always possible to make $\Phi$ linear? So $E^*$ always contains some subspace that is isometric isomorphic to $F^*$.
If $F$ is dense we can guarantee the unicity of the Hahn-Banach extension so the linearity it is clear (because the sum of extesions is always an extension of the sum).