Racine d'un opérateur positif
Bonjour
Je sèche sur un exercice d'opérateurs dans un espace de Hilbert.
Donc on a bien existence et unicité de la racine d'un opérateur positif. Cette racine commute avec tout le commutant de l'opérateur.
On prend $A$ et $B$ deux opérateurs positifs qui commutent et je dois montrer que $\ A \leq B \iff \sqrt{A} \leq \sqrt{B}$.
Le sens réciproque se montre facilement en utilisant qu'un produit de deux opérateurs positifs reste positif.
Par contre pour le sens direct je sèche complètement.
J'ai essayé de reprendre ma démonstration de cours (on a utilisé le DL de $\sqrt{1-t}$) mais ça n'aboutit pas.
Si quelqu'un a une idée je suis preneur, merci.
Je sèche sur un exercice d'opérateurs dans un espace de Hilbert.
Donc on a bien existence et unicité de la racine d'un opérateur positif. Cette racine commute avec tout le commutant de l'opérateur.
On prend $A$ et $B$ deux opérateurs positifs qui commutent et je dois montrer que $\ A \leq B \iff \sqrt{A} \leq \sqrt{B}$.
Le sens réciproque se montre facilement en utilisant qu'un produit de deux opérateurs positifs reste positif.
Par contre pour le sens direct je sèche complètement.
J'ai essayé de reprendre ma démonstration de cours (on a utilisé le DL de $\sqrt{1-t}$) mais ça n'aboutit pas.
Si quelqu'un a une idée je suis preneur, merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses