Bourbaki

Example

Tag 02K6, permanent. Cite it as [Bourbaki, Tag 02K6].

Théories spectrales, chapter II, § 1. Transformation de Fourier

A measure ν\nu on Rn\mathbf{R}^n is said to be tempered if there exists a positive integer rr such that the continuous mapping x↦(1+∥x∥)−rx\mapsto (1+\|x\|)^{-r} is ν\nu-integrable on Rn\mathbf{R}^n. The restriction of ν\nu to S(Rn)\mathscr{S}(\mathbf{R}^n) is a tempered distribution. It is zero if and only if the measure ν\nu is zero.

Let p∈[1,+∞]p\in [1,+\infty ] and f∈Lp(Rn)f\in \mathscr{L}^p(\mathbf{R}^n). Then the measure f⋅dxf\cdot dx with density ff with respect to Lebesgue measure is tempered. In particular, Lebesgue measure μ\mu on Rn\mathbf{R}^n is tempered, and every bounded measure on Rn\mathbf{R}^n is tempered.

For every p∈[1,+∞]p\in [1,+\infty ], one can identify Lp(Rn)L^p(\mathbf{R}^n) with a subspace of S′(Rn)\mathscr{S}'(\mathbf{R}^n) by the linear mapping f↦f⋅dxf\mapsto f\cdot dx; this mapping is continuous.

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.4, gpt-5-6-mini, 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.