Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have started to add some of the basic definitions and facts to Schwartz space, tempered distribution and Fourier transform of distributions.
Notice that we had an entry titled “Schwartz space” already since May 2013 (rev 1 by Andrew Stacey) which considered not spaces of smooth functions with rapidly decreasing derivatives, but locally convex TVSs $E$ “with the property that whenever $U$ is an absolutely convex neighbourhood of $0$ then it contains another, say $V$, such that $U$ maps to a precompact set in the normed vector space $E_V$.”
I had not been aware of this use of “Schwartz space” before, and Andrew gave neither reference nor discussion of the evident question, whether “the” Schwartz space is “a” Schwartz space. In June 2015 somebody saw our entry and shared his confusion about this point on Maths.SE here, with no reply so far.
I see that this other use of “Schwartz space” appears in Terzioglu 69 (web) where it is attributed to Grothendieck.
(Just driving by …)
I got the definition from (where else?) The Convenient Setting of Global Analysis, where it is given on p585 after Result 52.24 (that result is referenced from Jarchow, 1981, 10.4.3, p202 and Horvath, 1966, p277). It wouldn’t surprise me that it went back to Grothendieck, nor even that I knew of that at the time. I just had a quick look in Pietsch’s book on Nuclear Spaces, there was stuff on s-Nuclear spaces but not on Schwartz spaces - however, I suspect that the two may be the same.
Certainly the Schwartz space is a Schwartz space. The reason for this definition is to figure out what characterises the Schwartz space in terms of functional analytic properties.
Oh, and I replied to the Math.SE question for the sake of completeness.
(belated reply, had missed this while being on vacation)
Thanks, Andrew! I have edited the entry Schwartz space a little, following your pointers.
and I have cross-linked with Fréchet space: here
1 to 4 of 4