Tanto la matriz como el operador son autoadjuntos (y por tanto hermíticos), semidefinido positivos, de traza unidad, y pueden ser de dimensión tanto finita como infinita.