Développement : Racine carrée d'un opérateur hermitien positif dans un espace de Hilbert

Détails/Enoncé :

Soit $H$ un espace de Hilbert et $T$ un opérateur positif (continu). Alors il existe une racine carrée $S$ de $T$ : $S$ est un opérateur hermitien positif et vérifie $S^2=T$.

Versions :