Fonctionnelle linéaire positive
Bonjour,
Je suis en train de lire dans le livre de Reed-Simon : Methods of Modern mathematical physics I (Page 224, VII- Les mesures spectrales, les 4 premières lignes d'introduction) et il y a quelque chose que je ne comprends pas. Il dit :
Je suis en train de lire dans le livre de Reed-Simon : Methods of Modern mathematical physics I (Page 224, VII- Les mesures spectrales, les 4 premières lignes d'introduction) et il y a quelque chose que je ne comprends pas. Il dit :
" Let us fix $A$, a bounded self-adjoint operator. Let $\psi \in H$. Then $f\mapsto \langle \psi ,f(A)\psi \rangle $ is a positive linear functional on $C(\sigma (A) )$.
Traduction.
On fixe $A$, un opérateur auto-adjoint borné. Soit $\psi\in H$. Alors $f\mapsto \langle \psi ,f(A)\psi \rangle $ est une fonctionnelle linéaire strictement positive sur $C(\sigma (A))$.
On fixe $A$, un opérateur auto-adjoint borné. Soit $\psi\in H$. Alors $f\mapsto \langle \psi ,f(A)\psi \rangle $ est une fonctionnelle linéaire strictement positive sur $C(\sigma (A))$.
Notation.
-$H$ est un espace de Hilbert.
-$\sigma (A)$ spectre de l'opérateur $A$.
-$C(\sigma (A))$ l'ensemble des fonctions continues sur le spectre $\sigma (A)$.
-$H$ est un espace de Hilbert.
-$\sigma (A)$ spectre de l'opérateur $A$.
-$C(\sigma (A))$ l'ensemble des fonctions continues sur le spectre $\sigma (A)$.
Question.
Je ne vois pas pourquoi $f\mapsto \langle \psi ,f(A)\psi \rangle $ est strictement positive ?
Merci d'avance ! Je ne vois pas pourquoi $f\mapsto \langle \psi ,f(A)\psi \rangle $ est strictement positive ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Ici, 'positif' pour une forme linéaire $J$ sur $C(\sigma(A)$ veut dire : pour $f\in C(\sigma(A))$, si $f\geq0$ alors $J(f)\geq0$.
Or, si $f$ est une fonction continue positive sur $\sigma(A)$, alors $f(A)$ est un opérateur positif, donc $\langle f(A)\xi,\xi\rangle\geq0$.
Je ne savait pas que la definition de fonctionnelle positive voulais dire que (Edit $f$) est supposé positif.