希尔伯特空间
密度算符是带有单位迹的希尔伯特空间上的非负算符。数学上，量子操作是希尔伯特空间"H"与"G"上迹类算符空间间的线性映射Φ，存在：