nLab positive operator

Contents

Contents

Definition

On Hilbert spaces

A positive operator is a linear operator AA on a Hilbert space (H,,)(H, \langle -,-\rangle) such that the quadratic form

vv,Av v \mapsto \langle v, A v\rangle

for vHv \in H is positive semi-definite.

Proposition

Every positive operator AA on a Hilbert space is self-adjoint.

Proof

Let B=12(A+A )B = \frac{1}{2}(A + A^\dagger) and C=12i(A A)C = \frac{1}{2}i(A^\dagger - A). Then BB and CC are self-adjoint, and A=B+iCA = B + iC. Now, v,Av=v,Bv+iv,Cv\langle v, A v \rangle = \langle v, B v \rangle + i \langle v, C v \rangle is real for any vv, so v,Cv=0\langle v, C v \rangle = 0 for all vv. Hence C=0C = 0 and A=BA = B.

In C *C^\ast-algebras

More generally:

Definition

An element AA of an (abstract) C*-algebra is called positive if it is self-adjoint and its spectrum is contained in [0,)[0, \infinity).

Here, ‘positive’ means positive semidefinite; see at inner product for the family of variations of this notion. (The relevant inner product here is that associated with the quadratic form above: v,wv,Awv, w \mapsto \langle v, A w\rangle.)

In dagger-categories

Yet more generally, in a dagger category a morphism ff is positive if it is of the form f=g gf = g^\dagger \circ g for some morphism gg.

(eg. Selinger 2005 Def. 4.1)

References

Discussion in dagger-compact categories with an eye twoards completely positive maps on spaces of density matrices:

Last revised on September 22, 2023 at 14:17:55. See the history of this page for a list of all contributions to it.