更新时间:2024-05-21 16:32

态是博雷尔概率测度的非交换对应。

定义

设A为的巴拿赫*代数。则态是A的一个正线性泛函ρ,满足。

若A含归一化单位元1,则最后的条件相当于。

量子力学

巴拿赫*代数的态源于C*代数与量子力学的关系。

经典力学中,系统的可观测量是相空间M上的函数f:M→,则在相空间某个区域找到系统的概率,由概率测度μ给出,则系统处于态μ时,可观测量f的期望值为。

设一个量子系统的可观测量的集合生成的算子代数A,A是一个C*代数。A的一个元(可观测量)在态φ的期望值为φ(a)。

性质

设A为含单位元的巴拿赫*代数。

设ρ为A的线性泛函,若,则ρ为态。

给定A的任意元x,都有态ρ满足。而根据GNS构造,由态ρ可得GNS对(πx,ξx),取π=⊕xπx,即得A在希尔伯特空间上的表示。故根据Gelfand-Naimark定理,任何含单位元的C*代数都同构于算子C*代数。该定理也可以推广到不含单位元的情况。

态空间凸集

相关概念

若a≥0与ρ(a)=0可推出a=0,则称ρ为忠实态。

若A为C*代数,ρ为A的态,则A的一个归一化的为一个非平凡可迹态。

态空间的极值点称为纯态,其余称为混合态

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}