Projective tensor product

The projective tensor product is a construction in functional analysis and tensor algebra that generalizes the notion of the tensor product of vector spaces to arbitrary topological vector spaces. It is particularly useful when dealing with dual spaces and various types of convergence in topological spaces.