Bourbaki

Lemma 8

Tag 0314, permanent. Cite it as [Bourbaki, Tag 0314].

Théories spectrales, chapter IV, § 3. Distributions et distributions tempérées

Let B be a bounded subset of D(Rn)\mathscr{D}(\mathbf{R}^n). The topology induced on B by the topology of S(Rn)\mathscr{S}(\mathbf{R}^n) coincides with the topology induced by D(Rn)\mathscr{D}(\mathbf{R}^n).

Since the inclusion of D(Rn)\mathscr{D}(\mathbf{R}^n) in S(Rn)\mathscr{S}(\mathbf{R}^n) is continuous, the topology on B induced by D(Rn)\mathscr{D}(\mathbf{R}^n) is finer than that induced by S(Rn)\mathscr{S}(\mathbf{R}^n). On the other hand, there exists a compact subset K of Rn\mathbf{R}^n such that B⊂CK∞(Rn)B\subset \mathscr{C}_K^{\infty}(\mathbf{R}^n). For every α∈Nn\alpha \in \mathbf{N}^n, one then has pα,K(φ)⩽q~α,0(φ)p_{\alpha ,K}(\varphi )\leqslant \widetilde{q}_{\alpha ,0}(\varphi ), which implies that the topology induced by S(Rn)\mathscr{S}(\mathbf{R}^n) is finer than that induced by D(Rn)\mathscr{D}(\mathbf{R}^n).

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.

Machine translation of the English, by gpt-5-mini, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.