Skip to main content
1 of 3
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Exactness of Injective Tensor Poducts

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.

ABIM
  • 5.4k
  • 3
  • 19
  • 41