Định nghĩa toán học của positive operator
Trong không gian Hilbert với tích vô hướng , một toán tử tuyến tính được gọi là positive operator nếu nó tự liên hợp (self‑adjoint) và thỏa mãn
Điều này có nghĩa rằng mọi vectơ trong không gian khi tác động bởi sẽ cho giá trị biểu thức không âm. Trong trường hợp phức tạp là không gian Hilbert phức, điều kiện tự liên hợp thường được tự động thỏa mãn nếu thực và không âm. :contentReference[oaicite:0]{index=0}
Liên hệ với toán tử tự liên hợp và phổ toán tử
Một positive operator không chỉ thỏa mãn điều kiện về biểu thức bậc hai trên mọi vectơ mà còn có đặc điểm quan trọng là phổ (spectrum) của nó nằm trong khoảng không âm. Cụ thể với thì
\sigma(T) \subset [0, \infty)\end{script>
Đồng thời, trong trường hợp