Opérateur Positif

Un opérateur autoadjoint A sur un espace de Hilbert est positif (noté A ≥ 0) si ⟨ψ|A|ψ⟩ ≥ 0 pour tous les vecteurs ψ de son domaine ; équivalemment A possède un spectre non négatif et admet une racine carrée positive unique A = B†B lorsque A est borné et autoadjoint.