更新时间:2024-05-21 16:32
态是博雷尔概率测度的非交换对应。
若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,则称ρ为忠实态。