Développement #1010

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

Contenu : 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$.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42