Library / Spectral Theories / Chapter IV / § 3
Proposition 15
Tag 031C, permanent. Cite it as [Bourbaki, Tag 031C].
Théories spectrales, chapter IV, § 3. Distributions et distributions tempérées
Let ν \nu ν be a tempered measure on R n \mathbf{R}^n R n . The restriction of ν \nu ν to S ( R n ) \mathscr{S}(\mathbf{R}^n) S ( R n ) is a tempered distribution. It is zero if and only if the measure ν \nu ν is zero.
Since ν \nu ν is tempered, there exists a positive integer k k k such that the mapping x ↦ ∥ x ∥ − k x\mapsto \|x\|^{-k} x ↦ ∥ x ∥ − k is ν \nu ν -integrable on the complement of the unit ball in R n \mathbf{R}^n R n . For every Schwartz function φ ∈ S ( R n ) \varphi \in \mathscr{S}(\mathbf{R}^n) φ ∈ S ( R n ) , one has
∣ ⟨ ν , φ ⟩ ∣ ⩽ ( ∫ ∥ x ∥ ⩽ 1 d ν ) q ~ 0 , 0 ( φ ) + ( ∫ ∥ x ∥ > 1 ∥ x ∥ − k d ν ) q ~ 0 , k ( φ )
|\langle \nu , \varphi \rangle |\leqslant (\int_{\|x\|\leqslant 1}d\nu )\widetilde{q}_{0,0}(\varphi ) +(\int_{\|x\|>1}\|x\|^{-k}d\nu )\widetilde{q}_{0,k}(\varphi )
∣ ⟨ ν , φ ⟩ ∣ ⩽ ( ∫ ∥ x ∥ ⩽ 1 d ν ) q 0 , 0 ( φ ) + ( ∫ ∥ x ∥ > 1 ∥ x ∥ − k d ν ) q 0 , k ( φ )
therefore the restriction of ν \nu ν to S ( R n ) \mathscr{S}(\mathbf{R}^n) S ( R n ) is a tempered distribution.
The last assertion follows from Prop. 6 of IV, p. 206 since D ( R n ) \mathscr{D}(\mathbf{R}^n) D ( R n ) is contained in S ( R n ) \mathscr{S}(\mathbf{R}^n) S ( R n ) .
We shall identify the space M t ( R n ) \mathscr{M}^t(\mathbf{R}^n) M t ( R n ) with a subspace of S ′ ( R n ) \mathscr{S}'(\mathbf{R}^n) S ′ ( 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.