Bourbaki

Remarque 2

Étiquette 0E7K, permanente. À citer comme [Bourbaki, Tag 0E7K].

Integration, chapter IX, § 6. Promesures et mesures sur un espace localement convexe

Soit QQ une forme quadratique sur le dual E′E' d'un espace localement convexe EE. S'il existe une promesure sur EE de transformée de Fourier e−Q/2e^{-Q/2}, la forme quadratique QQ est nécessairement positive : la fonction e−Q/2e^{-Q/2} est en effet bornée sur E′E'; donc, pour tout x′∈E′x' \in E', la fonction t↦e−t2Q(x′)/2=e−Q(tx′)/2t \mapsto e^{-t^2 Q(x')/2} = e^{-Q(t x')/2} sur R\mathbf{R} est bornée, d'où Q(x′)⩾0Q(x') \geqslant 0.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.