Remark
Tag 0311, permanent. Cite it as [Bourbaki, Tag 0311].
Théories spectrales, chapter IV, § 3. Distributions et distributions tempérées
A sequence in converges if and only if, for every , the sequence converges to a function in endowed with the topology of compact convergence. One then has and converges to .
In fact, the condition is necessary. Conversely, if the sequences converge to functions for every , then it follows from FVR, II, p. 2, th. 1, that , which means that the sequence converges to in .
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.