For (algebraic) tensor products, it is well-known that the functor $A\otimes_R \cdot:Mod_R\rightarrow Mod_R$ is only (left-) exact when $A$ is a flat $R$-module. In partiuclar, all vector spaces are flat. What happens in the continuous (archimedean) setting?:
Let $B$ be a separable infinite-dimensional Banach space and suppose that $ f:E\rightarrow F, $ is a continuous linear injective map from a separable nuclear space $E$ to a separable Banach space $F$, both infinite-dimensional (if it matters). Let $\otimes_{\epsilon}$ denote the injective tensor product of LCS.
Is the map $ 1_{B}\otimes f: B\otimes_{\epsilon} E \rightarrow B\otimes_{\epsilon} F, $ a continuous linear 1-1 map also?
Related: This post is related to this unanswered post.