Symmetric operator

For physical consistency, the mean values of any dynamical variable β€…π’œ must be real numbers: this implies that the mean values of the operator β€…A which describes β€…π’œ must be real, i.e. that

⟨ψ, AΟˆβŸ©β€„=β€„βŸ¨Οˆ, Aψ⟩* =β€„βŸ¨Aψ,β€†ΟˆβŸ©,β€Šβ€Οˆβ€„βˆˆβ€„π’Ÿ(A), where β€…π’Ÿ(A) is the domain of the operator β€…A.

It can be proved that this condition is equivalent to the following:

⟨ψ, AΟ‡βŸ©β€„=β€„βŸ¨Aψ,β€†Ο‡βŸ©,β€Šβ€Οˆ,β€†Ο‡β€„βˆˆβ€„π’Ÿ(A).

Having defined the linear operator β€…A† in β€…β„‹, which is called the adjoint of β€…A, such that

⟨Aβ€ Οˆ,β€†Ο‡βŸ©β€„=β€„βŸ¨Οˆ, AΟ‡βŸ©,β€Šβ€Οˆ,β€†Ο‡β€„βˆˆβ€„β„‹, it follows that β€…A must be Hermitian, i.e. its domain must be such that β€…π’Ÿ(A)β€„βŠ†β€„π’Ÿ(A†) and β€…A must coincide with β€…A† in β€…π’Ÿ(A).

Definition: Hermitian operators whose domain is dense in β€…β„‹ are calledsymmetric.

In particular, if a bounded linear operator is symmetric, it is also a Hermitian and self-adjoint operator.

Category:Mathematical Structure Category:Handbook of Quantum Information

Last modified: 

Monday, October 26, 2015 - 17:56