Injective tensor product

In functional analysis, an area of mathematics, the injective tensor product is a particular topological tensor product, a topological vector space (TVS) formed by equipping the tensor product of the underlying vector spaces of two TVSs with a compatible topology. It was introduced by Alexander Grothendieck and used by him to define nuclear spaces. Injective tensor products have applications outside of nuclear spaces: as described below, many constructions of TVSs, and in particular Banach spaces, as spaces of functions or sequences amount to injective tensor products of simpler spaces.