Positive operator

Definition: Given a Hilbert space \; \mathcal{H} and \; A \in L(\mathcal{H}), \; A is said to be a positive operator if \; \langle A x, x \rangle for every \; x \in \mathcal{H}.

A positive operator on a complex Hilbert space is necessarily a symmetric operator and has a self-adjoint extension that is also a positive operator.

The set of positive bounded operators on a Hilbert space forms a cone in the algebra of all bounded operators.