Definition 2
Tag 09SE, permanent. Cite it as [Bourbaki, Tag 09SE].
Integration, IX, p. 80, § 6. Promeasures and measures on a locally convex space
Let be a locally convex space. For every positive quadratic form on , the promeasure on whose Fourier transform is equal to is called the Gaussian promeasure on with variance , and is denoted . A promeasure on is said to be Gaussian if there exists a positive quadratic form on such that .
By an abuse of language, a bounded measure on will be said to be Gaussian with variance if the associated promeasure is equal to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.