Continuous convergence and functional analysis

The usual setting for Functional Analysis is the category LCS of locally convex topological vector spaces. There are, however, advantages in working in a larger setting, the category CVS of convergence vector spaces—even if oneʹs interest is restricted to LCS. In CVS, one has access to a dual structure, continuous convergence, unavailable in LCS. w that theorems such as Grothendieckʹs completion theorem, Ptakʹs closed graph and open mapping theorems and the Banach-Steinhaus theorem are transformed from technical results in LCS to transparent and elegant results when examined in CVS with continuous convergence. In the theory of distributions, important bilinear mappings such as evaluations, multiplication and convolution, which are separately continuous when viewed in LCS, become jointly continuous in CVS.