It is hardly an exaggeration to say that, if the study of general topolog- ical vector spaces is justified at all, it is because of the needs of distribu- tion and Linear PDE * theories (to which one may add the theory of convolution in spaces of hoi om orphic functions). The theorems based on TVS ** theory are generally of the "foundation" type: they will often be statements of equivalence between, say, the existence - or the approx- imability -of...