Positiver Operator

Ein selbstadjungierter Operator A auf einem Hilbertraum ist positiv (A ≥ 0), wenn ⟨ψ|A|ψ⟩ ≥ 0 für alle Vektoren ψ in seinem Definitionsbereich; äquivalent hat A ein nicht-negatives Spektrum und besitzt eine eindeutige positive Quadratwurzel A = B†B, falls A beschränkt und selbstadjungiert ist.