Lemma 9
Tag 0319, permanent. Cite it as [Bourbaki, Tag 0319].
Théories spectrales, chapter IV, § 3. Distributions et distributions tempérées
A linear mapping of into is a tempered distribution if and only if for every family in , the linear form is bounded on the set of functions such that for every .
In fact, the space is bornological (EVT, III, p. 12, prop. 2), and every bounded subset of is contained in one of the bounded sets described in the statement.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.