Bourbaki

Corollary 3

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

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

Let n⩾1n\geqslant 1 be an integer. The group Rn\mathbf{R}^n is in duality with itself with respect to the mapping (x,y)↦(x, y)\mapsto exp(2iπx⋅yi\pi x\cdot y), and the dual measure of Lebesgue measure on Rn\mathbf{R}^n is Lebesgue measure. The groups Zn\mathbf{Z}^n and Tn=Rn/Zn\mathbf{T}^n=\mathbf{R}^n/\mathbf{Z}^n are in duality with respect to the mapping obtained by passing to the quotient from the mapping (n,x)↦(n, x)\mapsto exp(2iπx⋅yi\pi x\cdot y), and the dual Haar measure of the counting measure on Zn\mathbf{Z}^n is the normalised Haar measure on (R/Z)n(\mathbf{R}/\mathbf{Z})^n.

This results from Lemma 7 of II, p. 225, Proposition 10 of II, p. 217 and Corollary 2.

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.